{"entities":{"Q2603618":{"pageid":2614361,"ns":120,"title":"Item:Q2603618","lastrevid":44463261,"modified":"2025-11-23T03:21:23Z","type":"item","id":"Q2603618","labels":{"en":{"language":"en","value":"Diskrete R\u00e4ume."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2523834"}},"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":"Q2603618$F4A451E6-D0FD-4116-A9D1-AC91AA9FCB8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c01c533b46617a166e12fac6fbdb4ce082cbbd68","datavalue":{"value":{"text":"Diskrete R\u00e4ume.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2603618$5778B60E-88EF-453F-B7E4-90BB964EA2E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ff67e6efe86d40959655159f9bf967adb1c2065","datavalue":{"value":"63.1163.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603618$F07006D5-8C86-4735-8A3F-46EE73014B25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a6903551564e0f3a14ef595826ea478e17130e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2579687,"id":"Q2579687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2603618$4383BD3B-9A7E-4AAA-9949-4302D4548824","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":"Q2603618$398EDDF5-A56B-4F78-95CF-15F22B830542","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"06d14dad2d9ce86754365d2e9be418ee7eca5efc","datavalue":{"value":"Gegenstand der Arbeit ist in erster Linie der Aufbau der Homologietheorie der diskreten R\u00e4ume (vgl. unten), wobei au\u00dfer einer Endlichkeitsvoraussetzung (lokale Endlichkeit, vgl. unten) keine zus\u00e4tzliche Annahme gemacht wird, im Unterschied zu \\textit{Tucker} (Ann. Math., Princeton, (2) 37 (1936), 92-100; JFM 62.0675.*) und \\textit{Kolmogoroff} (Rec. math., Moscou, (2) 1 (1936), 97-102; JFM 62.0671.*). Dabei wird unter einem \\textit{diskreten} Raum \\(D\\) verstanden ein topologischer Raum mit \\textit{Kolmogoroff}schem Trennungsaxiom, in welchem die Summe beliebig vieler abgeschlossener Mengen abgeschlossen ist. Ferner hei\u00dfe \\(D\\) \\textit{lokal-endlich}, wenn f\u00fcr jeden Punkt \\(p\\in D\\) der Durchschnitt \\(H (p)\\) bzw. \\(S (p)\\) aller, \\(p\\) enthaltenden abgeschlossenen bzw. offenen Mengen (die sogenannte H\u00fclle bzw. der Stern von \\(p\\)) endlich ist. Man erh\u00e4lt einen beliebigen lokal endlichen (bzw. endlichen) diskreten Raum, wenn man in einem simplizialen (bzw. in einem endlichen simplizialen) Komplex gewisse Nebensimplexe streicht. Die diskreten R\u00e4ume lassen sich also auffassen als Verallgemeinerung der gew\u00f6hnlichen simplizialen Komplexe. Ein diskreter Raum hei\u00dft \\textit{multiplikativ}, wenn der Durchschnitt eines beliebigen Systems seiner \\(H(p)\\)-Mengen entweder leer oder selbst eine \\(H(p)\\)-Menge ist. -- Der Begriff des diskreten Raumes ist identisch mit dem Begriff der teilweise geordneten Menge. Als \\(r\\)-dimensionaler algebraischer Komplex \\(f^r\\) von \\(D\\) mit dem Koeffizientenbereich \\(I\\) wird erkl\u00e4rt eine schief-symmetrische Funktion \\(f^r(p_0, p_1,\\ldots, p_r)\\) \u00fcber der Menge aller \\((r +1)\\)-tupel von Punkten \\(p_\\varrho \\) aus \\(D\\) als Definitions- und mit Elementen der Abelschen Gruppe \\(I\\) als Wertebereich, wo \\(f\\neq 0\\) h\u00f6chstens dann, wenn die \\(p_0, \\ldots, p_r\\) einer geordneten Teilmenge von \\(D\\) angeh\u00f6ren (\\(D\\) als teilweise geordnete Menge aufgefa\u00dft). Als (unterer) Randoperator \\(g_uf^r\\) von \\(f^r\\) wird erkl\u00e4rt der \\((r-1)\\)-dimensionale Komplex \\( \\sum _{p\\in D}f^r(p,p_0, \\ldots, p_{r-1})\\). Auf Grund dieser Komplex- und Randdefinition k\u00f6nnen in \u00fcblicher Weise die Begriffe Zyklus, Homologie, \\textit{Betti}sche Gruppen erkl\u00e4rt werden. Ihre Motivierung finden sie durch den Begriff der \\textit{baryzentrischen Unterteilung} \\(D_0\\) von \\(D\\); unter \\(D_0\\) versteht man dabei die (im Sinne der \u00fcblichen Beziehung des Enthaltenseins) teilweise geordnete Menge aller geordneten Teilmengen von \\(D\\). Ist \\(D\\) lokal-endlich, so ist \\(D_0\\) ein gew\u00f6hnlicher simplizialer Komplex, ist \\(D\\) sogar ein Zellenkomplex im \u00fcblichen Sinne, so f\u00fchrt \\(D_0\\) zur baryzentrischen Unterteilung im klassischen Sinne. Ferner ist die oben angedeutete Definition der \\textit{Betti}schen Gruppen von \\(D\\) inhaltlich identisch mit der \u00fcblichen Definition der \\textit{Betti}schen Gruppen f\u00fcr \\(D_0\\). -- Au\u00dfer \\(D_0\\) werden dem \\(D\\) noch vier andere Komplexe zugeordnet; f\u00fcr multiplikative \\(D\\) besitzen diese f\u00fcnf zugeordneten Komplexe s\u00e4mtlich die gleichen Homologieeigen\\-schaften. Unter Bezugnahme hierauf wird festgestellt, da\u00df f\u00fcr multiplikative \\(D\\) die obige Homologietheorie auch gewonnen werden kann, indem man diese \\(D\\) als im kleinen bikompakte R\u00e4ume auffa\u00dft und auf sie dann die von \\textit{Kolmogoroff} (C. R. Acad. Sci., Paris, 202 (1936), 1144-1147; JFM 62.0675.*) gegebenen allgemeinen Definitionen anwendet. Zum Schlusse wird, neben einem \u00dcberf\u00fchrungssatz (welcher sich auf gewisse, mit \\(D\\) bzw. \\(D_0\\) (nicht invariant) verkn\u00fcpfte Punktmengen bezieht) folgendes gezeigt: Jedes Kompaktum l\u00e4\u00dft sich mittels einer \\(2\\varepsilon \\)-\u00dcberf\u00fchrung in die, als Polyeder aufgefa\u00dfte, baryzentrische Unterteilung jeder seiner endlichen abgeschlossenen bzw. offenen multiplikativen \\(\\varepsilon \\)-\u00dcberdeckungen stetig abbilden. (Als diskrete R\u00e4ume treten hierbei die endlichen \u00dcberdeckungen des Kompaktums auf.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2603618$24627A47-9C89-40E1-A6C9-2BBCA77085C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dd87976d787dee99ba4fc6350ec143c0c26e1f2","datavalue":{"value":"2523834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603618$8568CAF2-D719-429F-B246-55EEBD32ECCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6bf7a851983e4c23d10f88d575f557d50b90314","datavalue":{"value":{"entity-type":"item","numeric-id":1090965,"id":"Q1090965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2603618$4006C2A9-F789-4CFB-AF16-3E8975CE3C88","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":"Q2603618$DF34EA7B-96AD-4C71-A2BB-54CB863BADD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2603618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2603618"}}}}}