PS. Regarding your question, the most interesting picture from Mattia's
post may be this one:
https://01463712226776492098.googlegroups.com/attach/b73a1865b2cd9/Graph4.png?part=0.2&view=1&vt=ANaJVrHCraV7Lgu6NW4LjwDKXcZwOb5y2X2uJ_BELhOb4UcsnjdDgjPg15K-sRObNkY6KYQNBWk0hiHNneA9-NYRzNxjqztTfh4fCxvOgJNh0-WQMoxTZoU
It shows both theorems about Algebraic and Topological structures on the
same picture.
In my eyes, on this graph, the most interesting theorems will be those
bridging otherwise unrelated regions. I'm curious which they are.
(And sorry for the double posting)
On 13/04/2020 19:04, Thierry Arnoux wrote:
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/7f5b7553-1d19-dd87-c5c7-52a380cabacb%40gmx.net.
