{"entities":{"Q575645":{"pageid":577412,"ns":120,"title":"Item:Q575645","lastrevid":62879055,"modified":"2026-04-11T08:51:15Z","type":"item","id":"Q575645","labels":{"en":{"language":"en","value":"Beweis des Mengerschen Einbettungssatzes."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2557752"}},"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":"Q575645$31266839-6B68-44FC-9823-1F23075EEBC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3004ee17450df915ec93b2fc731dc4b650fd0b2e","datavalue":{"value":{"text":"Beweis des Mengerschen Einbettungssatzes.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q575645$56B81270-D16B-4B6D-9D20-C53068FC1ACD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd8519e34714d2b5e37989c1659c0f6e2395d7af","datavalue":{"value":"57.0747.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q575645$BC2ACA1E-7E10-4AD3-A79B-9393F47A94E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fc482c9fc48b27cbbb42595b8d6bcf17ccf7f31","datavalue":{"value":"10.1007/BF01455842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q575645$F44005F0-CA96-4210-A6BB-6DE91980A40F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d61c52a74ddeff0392c88458b535ca3becfcb0d3","datavalue":{"value":{"entity-type":"item","numeric-id":575644,"id":"Q575644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q575645$AD63E0E2-B034-4559-A385-68E2B41E3104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a8aaa87a3a229e106832b4f53e997e5473e2116","datavalue":{"value":{"entity-type":"item","numeric-id":913672,"id":"Q913672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q575645$78393108-F903-4DE0-8C67-63444DAD6A25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q575645$97087CB7-C65A-4CAF-B1D4-88CB425C00F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0130902a9dcdeca58c7452ef77c67f7d7741a88","datavalue":{"value":{"time":"+1931-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":"Q575645$32584B36-85B7-4808-AE7A-252F0AF0C207","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e0428d47343cf5bc2fca113a4941cb0f508d6d1","datavalue":{"value":"https://eudml.org/doc/159534","type":"string"},"datatype":"url"},"type":"statement","id":"Q575645$8EFD241B-CBA4-48E9-9BC4-A6476567EC7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"379693616b4cb4eb852dfa8cd39fc0aaa8aecdf1","datavalue":{"value":"Nach \\textit{Alexandroff} (Annals of Math. (2) 30 (1928), 101-187; F. d. M. 54, 609) kann jeder \\(n\\)-dimensionale kompakte Raum durch ein \\(n\\)-dimensionales Projektionsspektrum approximiert werden, d. h. es gibt eine Folge von \\(n\\)-dimensionalen Komplexen, in der gewisse Simplexfolgen (``Ketten'') als Punkte und gewisse Mengen von Simplexfolgen als Umgebungen definiert werden k\u00f6nnen, so da\u00df der dadurch entstehende Raum dem zu approximierenden Raum hom\u00f6omorph ist. Man wei\u00df, da\u00df jeder \\(n\\)-dimensionale Komplex in den \\((2n + 1)\\)-dimensionalen Raum eingebettet werden kann, und der Beweis des Mengerschen Einbettungssatzes, den die Verf. hier geben, besteht nun darin, zu zeigen, da\u00df die Komplexe eines \\(n\\)-dimensionalen Projektionsspektrums in der Weise in den \\(R^{2n+1}\\) eingebettet werden k\u00f6nnen, da\u00df jede Kette von Simplexen im \\(R^{2n+1}\\) gegen einen Punkt konvergiert und verschiedene Ketten gegen verschiedene Punkte konvergieren; die Menge der Limespunkte der Ketten ist dann ein eineindeutiges stetiges Bild der einzubettenden Menge.  Um die Einbettung des Projektionsspektrums durchzuf\u00fchren, wird zun\u00e4chst gezeigt: Man kann ein Projektionsspektrum (unter Erhaltung des approximierten Raumes) so ab\u00e4ndern, da\u00df in dem abge\u00e4nderten Spektrum \\(K_1, K_2, K_3,\\dots\\) jeder Komplex mit geradem Index ein Teilkomplex der baryzentrischen Unterteilung des vorangehenden Komplexes ist. Bettet man nun \\(K_1\\) in den \\(R^{2n+1}\\) ein, so ist zugleich auch \\(K_2\\) mit eingebettet; da ferner im Projektionsspektrum jeder \\(K_{i+1}\\) eindeutig und simplizial auf den vorangehenden \\(K_i\\) abgebildet ist, liegt auf dem eingebetteten \\(K_2\\) im \\(R^{2n+1}\\) ein eindeutiges stetiges Bild von \\(K_3\\), und durch beliebig kleine Verr\u00fcckung der Ecken erh\u00e4lt man daraus ein eineindeutiges Bild des \\(K_3\\) im \\(R^{2n+1}\\), usw. Durch die Einschaltung der baryzentrischen Unterteilungen wird erreicht, da\u00df die Simplexdurchmesser der \\(K_i\\) mit wachsendem \\(i\\) gegen Null gehen; die Konvergenz der einzelnen Ketten folgt aus einer Vorschrift \u00fcber die Kleinheit der Verr\u00fcckung, durch die die Eineindeutigkeit der Einbettung der \\(K_i\\) mit ungeradem \\(i\\) hergestellt wird; da\u00df verschiedene Simplexketten gegen verschiedene Punkte konvergieren, hat seinen Grund darin, da\u00df zwei zu verschiedenen Ketten geh\u00f6rige Simplices \\(t_i\\) und \\(t_i^\\prime\\) eines \\(K_i\\) schlie\u00dflich zueinander fremd und auch nicht mehr beide in einem h\u00f6herdimensionalen Simplex von \\(K_i\\) enthalten sein k\u00f6nnen. (Eine kleine Inkorrektheit beim Beweis der Eineindeutigkeit -die auf (\\(5_1\\)), S. 741, folgende Behauptung \\(\\ll\\!\\pi(T_2) = T_1\\), falls dim \\(T_2 = \\) dim \\(\\pi (T_2)\\!\\gg\\) und die entsprechende Behauptung im Anschlu\u00df an (\\(5_m\\)) auf S. 742 braucht nicht immer zuzutreffen -- l\u00e4\u00dft sich leicht beseitigen.)  Die Beweismethode liefert noch den folgenden Zusatz: Eine eindeutige stetige Abbildung eines \\(n\\)-dimensionalen kompakten metrischen Raumes in einen mindestens \\((2n + 1)\\)-dimensionalen euklidischen Raum kann durch beliebig kleine stetige Ab- \u00e4nderung in eine Hom\u00f6omorphie verwandelt werden.","type":"string"},"datatype":"string"},"type":"statement","id":"Q575645$857CA3C5-C437-440B-94FD-1519B5C31855","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"144a6eebf639ea543bd03fa2e7064384b1e7bf2e","datavalue":{"value":{"entity-type":"item","numeric-id":593326,"id":"Q593326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q575645$95C2D2F6-AE7C-45DE-B90E-BB701C19A734","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb031717fd93dbe6c36431048b568aa4637f275e","datavalue":{"value":"2557752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q575645$8627BE8A-4FCA-46BC-BA80-3315F216C769","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":"Q575645$A08E19AF-6D30-4921-AB06-311094BFD342","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Beweis des Mengerschen Einbettungssatzes.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Beweis_des_Mengerschen_Einbettungssatzes."}}}}}