Yes, those have been superseded by the “extensible structure” definitions.
Section 10 covers the same material with extensible structures, and the new definition of Hilbert space is is 10.12. Topological Groups, Rings, Fields and vector spaces are in section 12.2. BR, _ Thierry > Le 12 janv. 2020 à 02:33, Jon P <[email protected]> a écrit : > > > Quick question: Why are the following sections marked as depricated in > set.mm? > > PART 18 ADDITIONAL MATERIAL ON GROUPS, RINGS, AND FIELDS (DEPRECATED) > > PART 19 COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED) > > PART 20 COMPLEX HILBERT SPACE EXPLORER (DEPRECATED) > > Has anyone done other work on these areas which superceded them? Are there > people working on these areas now or is there some plan to work on them? It > seems like Hilbert Space stuff is quite an important topic to cover. > -- > 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/94154ce2-6f2a-42bf-8931-6626b4a614ae%40googlegroups.com. -- 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/661BFE83-1890-4AB1-A095-0AA277397AA3%40gmx.net.
