{"entities":{"Q2603652":{"pageid":2614395,"ns":120,"title":"Item:Q2603652","lastrevid":44463345,"modified":"2025-11-23T03:22:17Z","type":"item","id":"Q2603652","labels":{"en":{"language":"en","value":"Applications of the theory of Boolean rings to general topology."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2523869"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2603652$D051A92D-887D-4282-B810-45AEBE64CAE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f252d935ced6ee7940db67a99797cc3ac1865b06","datavalue":{"value":{"text":"Applications of the theory of Boolean rings to general topology.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2603652$07CAC301-39F1-409C-BD3E-FBDA49441EE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83a98614cf8dca1a3bbbbad344190a7ebe6823d5","datavalue":{"value":"63.1173.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603652$12FB05E9-00D4-4FDC-B163-28C6544995BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"510cc923c56a7b6a478627e17421f3b90f9bc2fd","datavalue":{"value":"10.1090/S0002-9947-1937-1501905-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603652$89CF7E93-D7E7-4070-90B4-152E2275FF21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2603652$6058E37D-7FC0-4255-8C3E-3800BFC54E0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2603652$33D78279-8025-4508-B403-C673915DCCA7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f447fb5dfb5a4925470e90abd2ff82093433241","datavalue":{"value":"Verf. bringt seine in einer fr\u00fcheren Arbeit (Trans. Am. Math. Soc. 40, 37--111 (1936; JFM 62.0033.04)] entwickelte Theorie der Booleschen Ringe in Beziehung zur abstrakten mengentheoretischen Topologie.  Die Menge \\(\\mathfrak E\\) aller Primideale eines \\textit{Boole}schen Ringes \\(A\\) l\u00e4\u00dft sich auf folgende Weise topologisieren: Jede Menge \\(\\mathfrak E(\\mathfrak a)\\) aller derjenigen Primideale von \\(A\\), die nicht Teiler eines beliebigen Ideals \\(\\mathfrak a\\) aus \\(A\\) sind, werde als Umgebung eines jeden Elementes \\(\\mathfrak p\\in \\mathfrak E(\\mathfrak a)\\) definiert. \\(\\mathfrak E\\) wird dadurch ein total zusammenhangsloser, lokal bikompakter \\textit{Hausdorff}scher Raum, und die Teilmengen \\(\\mathfrak E(\\mathfrak a)\\) sind dann gerade die offenen Mengen von \\(\\mathfrak E\\). Die bikompakten offenen Mengen von \\(\\mathfrak E\\) bilden ein topologisch \u00e4quivalentes Umgebungssystem; sie sind als diejenigen \\(\\mathfrak E(\\mathfrak a)\\) gekennzeichnet, f\u00fcr die \\(\\mathfrak a\\) ein Hauptideal aus \\(A\\) ist. Ist umgekehrt \\(\\mathfrak S\\) ein total zusammenhangsloser, lokal bikompakter \\textit{Hausdorff}scher Raum -- Verf. nennt solche R\u00e4ume \\textit{Boole}sche R\u00e4ume --, so bilden die bikompakten offenen Teilmengen von \\(\\mathfrak S\\) einen \\textit{Boole}schen Ring \\(A\\), und der zu \\(A\\) geh\u00f6rige Raum \\(\\mathfrak E\\) der Primideale ist hom\u00f6omorph \\(\\mathfrak S\\). Die Theorie der \\textit{Boole}schen Ringe ist also logisch \u00e4quivalent der Theorie der \\textit{Boole}schen R\u00e4ume. Dieser Zusammenhang zwischen Algebra und Topologie wird vom Verf. weiter verfolgt. Insbesondere besch\u00e4ftigt sich Verf. mit der Konstruktion von \\textit{Boole}schen Universalr\u00e4umen f\u00fcr jede Kardinalzahl. So ist z. B. jeder separable \\textit{Boole}sche Raum hom\u00f6omorph einer Teilmenge des \\textit{Cantor}schen Diskontinuums \\(\\mathfrak D\\) und jeder h\u00f6chstens abz\u00e4hlbare \\textit{Boole}sche Ring somit homomorph dem durch \\(\\mathfrak D\\) bestimmten \\textit{Boole}schen Ring.  Auf dieser Grundlage sucht Verf. nun Darstellungen eines beliebigen topologischen Raumes in \\textit{Boole}schen Ringen zu gewinnen, um so algebraische Methoden auf Probleme der allgemeinen mengentheoretischen Topologie anwenden zu k\u00f6nnen. Das Hilfsmittel besteht in folgenden Begriffsbildungen (vgl. dazu \\textit{P. Alexandroff} and \\textit{H.  Hopf} [Topologie I. Berlin: J. Springer (1935; JFM 61.0602.07)], insbesondere S. 66): Ein beliebiges System \\(Y\\) von nicht leeren abgeschlossenen Teilmengen \\(\\mathfrak Y\\) eines \\(T_1\\)-Raumes \\(\\mathfrak S\\) wird durch die Festsetzung topologisiert, da\u00df jedes Teilsystem von \\(Y\\), das aus allen in einer offenen Menge von \\(\\mathfrak S\\) enthaltenen Mengen \\(\\mathfrak Y\\) besteht, als Umgebung eines jeden seiner Elemente anzusehen ist. \\(Y\\) ist dadurch als ein \\(T_c\\)-Raum erkl\u00e4rt. Ist nun \\(\\mathfrak R\\) ein dem Raum \\(Y\\) hom\u00f6omorpher topologischer Raum, so hei\u00dft die Beziehung zwischen \\(\\mathfrak R\\), \\(\\mathfrak S\\) und \\(Y\\) eine Darstellung von \\(\\mathfrak R\\) in \\(\\mathfrak S\\) verm\u00f6ge \\(Y\\). Die Darstellung hei\u00dft irredundant, wenn jede nicht leere offene Menge von \\(\\mathfrak S\\) wenigstens eine Menge \\(\\mathfrak Y\\) aus \\(Y\\) enth\u00e4lt. Verf. entwickelt zun\u00e4chst eine allgemeine Darstellungstheorie. Das Hauptergebnis ist: Jeder \\(T_0\\)-Raum \\(\\mathfrak R\\) kann in einem geeigneten \\textit{Boole}schen Raum \\(\\mathfrak S\\) irredundant dargestellt werden. F\u00fcr eine solche Darstellung gibt Verf. ein Konstruktionsverfahren an, und es folgt, da\u00df die Darstellung durch \\(\\mathfrak R\\) bis auf Hom\u00f6omorphien bestimmt ist. In Verbindung mit dem Ergebnis des ersten Teiles der Arbeit ergibt sich also, da\u00df die algebraische Theorie der \\textit{Boole}schen Ringe der topologischen Theorie der \\(T_0\\)-R\u00e4ume logisch \u00e4quivalent ist. Auf diese Weise ist es m\u00f6glich, algebraische Methoden auf topologische Fragen anzuwenden. Die wichtigsten Anwendungen betreffen die Einbettungs- oder Erweiterungsprobleme. Hier sollen nur zwei S\u00e4tze angef\u00fchrt werden, die \\textit{Alexandroff} und \\textit{Urysohn} vermutet haben, die aber bisher nicht bewiesen werden konnten: Jeder \\textit{Hausdorff}sche Raum kann als dichte Teilmenge in einem absolut abgeschlossenen \\textit{Hausdorff}schen Raum eingebettet werden. Ein \\textit{Hausdorff}scher Raum ist dann und nur dann bikompakt, wenn jede seiner abgeschlossenen Teilmengen absolut abgeschlossen ist. (III 5 B.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2603652$EFA12921-45AD-4925-AC14-2E42998E762A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9a3f73510d8865a8242b67a2a702a7fc3658210","datavalue":{"value":"54-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603652$EEB87459-87AA-4C75-8F26-F9B21E29EC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603652$2FC1663C-2A97-474D-92D8-8F27BA2E5FF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81246c2d526aa9d9672675830e6857bfd3991c9e","datavalue":{"value":"2523869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603652$66C81263-EF3B-44F9-B7C8-2C717E1DE9C9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2603652$B604D885-25EC-461D-A1DE-98AFC11744F2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5a45632c48fb9a04b55d5972306ca138d3ef94a4","datavalue":{"value":"Q55871801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603652$969913B0-A211-45F8-848A-2FA0C979BCC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a6b697addd869a4de5d0f51cc9e57cb35ed9888","datavalue":{"value":"https://doi.org/10.1090/s0002-9947-1937-1501905-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2603652$BBC5DAA8-3358-4C1E-AC74-9F2809C53DA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d9474cad42c9838f3941e42afe387fabee71379","datavalue":{"value":"W2080638865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603652$4152B44C-7397-48AA-A1C1-B124E1E86D74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa7fcfe0b0abf692371e3f6932f6baaf7062523","datavalue":{"value":{"entity-type":"item","numeric-id":6482889,"id":"Q6482889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2603652$D20B4E2C-9600-48DE-904F-D5776B7F7AEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2603652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2603652"}}}}}