Hi Jordi, Even if they are developed independently, at some point, both Topology and Algebra join again for topologic-algebraic structures, like Hilbert spaces.
There was this very interesting post by Mattia Morgavi, who drew a graph based on relations between Metamath theorems in set.mm: https://groups.google.com/forum/#!msg/metamath/uFXl6ogSDyQ/2SxbhqFzCwAJ However, it's not visible from his graph whether there are dependencies between Algebra and Topology or not... Note that in set.mm our "early definition" of the complex numbers as a structure with both algebraic and topological properties also forces us to pull some topological definitions earlier than they are really needed. BR, _ Thierry -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/a250bfc2-adc8-8c3c-6127-731c6c66a03c%40gmx.net.
