{"entities":{"Q2592731":{"pageid":2603474,"ns":120,"title":"Item:Q2592731","lastrevid":44430120,"modified":"2025-11-22T21:17:34Z","type":"item","id":"Q2592731","labels":{"en":{"language":"en","value":"An application of the theorem on the invariance of domains to existence proofs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2512079"}},"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":"Q2592731$7F6F2DAE-1407-432F-833F-8D42EF735872","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20de22f6f327f3113715b7078b97bcefca6c0096","datavalue":{"value":{"text":"An application of the theorem on the invariance of domains to existence proofs.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2592731$06613297-B4C6-421B-B05B-FFC7995351BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"575d10612d27a2c825e42c6cbed7604953b32380","datavalue":{"value":"65.0828.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2592731$B953C7DD-2C18-480E-BBFA-0AF9E59FD9AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51933362e0993debed39a310e5633e3e81f0d264","datavalue":{"value":{"entity-type":"item","numeric-id":2579939,"id":"Q2579939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2592731$D7A7F290-5D28-4E8E-9255-48A98F5F5AE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q2592731$59042D05-E1F5-4462-90DB-5FC34CC48FDE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee118645a16be7bcbfad4a79ce2d0411a40c4237","datavalue":{"value":"Dem Satz von der Erhaltung der Dimensionszahl kann man folgende Gestalt geben: \\(A\\) sei die Mannigfaltigkeit der Elemente \\(a\\), \\(B\\) eine zusammenh\u00e4ngende Mannigfaltigkeit mit den Elementen \\(b\\) und dim \\(A=\\dim\\,B\\). Ist dann \\(A\\) topologisch auf eine Teilmannigfaltigkeit \\(B'\\) von \\(B\\) derart abbildbar, da\u00df aus \\(a_n \\leftrightarrow b_n\\) folgt lim \\(a_{n}\\leftrightarrow \\lim\\,b_n\\), so f\u00e4llt \\(B'\\) mit \\(B\\) zusammen.  Damit lassen sich Existenzbeweise f\u00fchren; z. B. ergibt sich der Fundamentalsatz der Algebra, wenn \\(a\\) alle \\(n\\)-tupel verschiedener komplexer Zahlen, \\(b\\) alle Polynome mit einfachen Wurzeln durchl\u00e4uft. Ebenso lassen sich die Minkowskischen S\u00e4tze \u00fcber die Existenz eines konvexen K\u00f6rpers zu gegebener St\u00fctz- bzw. Oberfl\u00e4chenfunktion, ausgehend von den Polyedern, beweisen. Die gleiche Methode liefert einen neuen Satz:  \\(\\varSigma \\) bezeichne die Einheitssph\u00e4re um \\(O\\), \\(H\\) eine konvexe, \\(O\\) umschlie\u00dfende Fl\u00e4che, \\(\\sigma \\) eine Menge auf \\(H\\), \\(K(\\sigma )\\) den Inhalt ihres durch Projektion von \\(O\\) aus auf \\(\\varSigma \\) erzeugten Bildes; die Mengenfunktion \\(K(\\sigma )\\) hei\u00dft die Gesamtkr\u00fcmmung. Eine auf \\(\\varSigma \\) definierte Mengenfunktion \\(K(\\sigma )\\) ist dann und nur dann Gesamtkr\u00fcmmung einer konvexen, \\(O\\) umschlie\u00dfenden Fl\u00e4che, wenn 1) sie totaladditiv, 2) nicht negativ ist, 3) \\(K(\\varSigma )=4\\pi \\) wird und 4) f\u00fcr jede konvexe Menge \\(\\sigma _0\\) die Ungleichung \\(K(\\sigma _0)+F(\\omega _0)<4\\pi \\) gilt, in der \\(F(\\omega _0)\\) den Fl\u00e4cheninhalt der zu \\(\\sigma _0\\) dualen Menge \\(\\omega _0\\) bezeichnet; \\(\\omega _0\\) wird also auf \\(\\varSigma \\) von dem r\u00e4umlichen Winkel mit dem Scheitel \\(O\\) ausgesto\u00dfen, dessen Begrenzung die Normalen an die St\u00fctzebenen des \\(\\sigma _0\\) aussto\u00dfenden Winkels mit dem Scheitel \\(O\\) bilden.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2592731$95EE6697-0505-4ABB-BA48-A223D3A286E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d32d6e223a6cff6fdf10c5b7ed01b4f1f21f3cb","datavalue":{"value":"52-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2592731$D032053D-6BCE-4DC0-81EC-5EC8E81BCBB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c3f26ac68e7cb689139b7087e36f9b858324170","datavalue":{"value":"2512079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2592731$5DADD98B-7AFF-4BFA-A29B-57C399106343","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6735a0a751368fd6f7c82a801af9d4e9a086d64c","datavalue":{"value":{"entity-type":"item","numeric-id":560200,"id":"Q560200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2592731$8F69679D-DAF2-4710-9671-BF8BFFB999A6","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":"Q2592731$807AF805-59E6-4B6B-9A80-7363FC6684EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2592731","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2592731"}}}}}