{"entities":{"Q2580903":{"pageid":2591646,"ns":120,"title":"Item:Q2580903","lastrevid":44404635,"modified":"2025-11-22T17:27:10Z","type":"item","id":"Q2580903","labels":{"en":{"language":"en","value":"La dualit\u00e9 dans les espaces vectoriels topologiques."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2500648"}},"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":"Q2580903$2A3354BB-0C02-4F90-8C00-AD2165433813","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4aaaec47ad574fe81e26c44bcd1866a1381f529","datavalue":{"value":{"text":"La dualit\u00e9 dans les espaces vectoriels topologiques.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2580903$7FB6C45B-5E89-42E4-9B00-347F2EBFA5CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14db8288928767bea41e3d163d5f91c4b82812bc","datavalue":{"value":"68.0238.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580903$54EF909A-C894-4E2A-B0B7-B36F0B81AC35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"154bb5cf77dae21fc635838c22be377a97119141","datavalue":{"value":{"entity-type":"item","numeric-id":560036,"id":"Q560036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580903$4D7BDBAF-99C0-48E2-AFC6-151BB959391E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e8d5cfa941f0abf28997ed7977dfb1ee35cd2f","datavalue":{"value":{"time":"+1942-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":"Q2580903$548C9355-BB06-47F4-A28A-572F50739241","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"732cc1a5b17c92c3e1638e604478d34e2d5db0cf","datavalue":{"value":"http://www.numdam.org/item?id=ASENS_1942_3_59__107_0/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2580903$0391F997-76EC-46F5-AE86-4198B472D6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c50329e5f0e9285be305aad01d03c94e9bb55322","datavalue":{"value":"https://eudml.org/doc/81561","type":"string"},"datatype":"url"},"type":"statement","id":"Q2580903$D4083433-751D-4078-9763-18E02F63CE34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ac9389bedf90219da5f32e2498b2d39aafd947d","datavalue":{"value":"Teil I. \\(E\\) und \\(E^\\prime\\) seien lineare Vektorr\u00e4ume bez\u00fcglich des K\u00f6rpers der komplexen Zahlen. F\u00fcr alle \\(x \\in E\\), \\(x^\\prime \\in E^\\prime\\) sei eine Bilinearform \\(B(x, x^\\prime)\\) erkl\u00e4rt, so da\u00df aus \\(B(x, x^\\prime) = 0\\) f\u00fcr alle \\(x \\in E\\) stets \\(x^\\prime = 0\\) und aus \\(B(x, x^\\prime) = 0\\) f\u00fcr alle \\(x^\\prime \\in E^\\prime\\) stets \\(x = 0\\) folgt. \\(B(x, x^\\prime)\\) ist f\u00fcr festes \\(x^\\prime\\) eine Linearform \\(B_{x^\\prime}\\) in \\(E\\). Die Umgebungen \\(\\sup\\limits_{1 \\leqq i \\leqq n} | B(x, x_i^\\prime) | \\leqq 1\\), \\, \\(x_i^\\prime\\) feste Punkte aus \\(E^\\prime\\), von 0 erkl\u00e4ren auf \\(E\\) eine Topologie, die schwache Topologie \\(\\sigma (E, E^\\prime)\\), durch die \\(E\\) zu einem lokalkonvexen Raum wird. \\(E^\\prime\\) ist der duale Raum zu \\(E\\), d. h. der Raum aller im Sinn der schwachen Topologie auf \\(E\\) stetigen Linearfunktionen. Entsprechendes gilt f\u00fcr \\(E\\). \\ \\(x\\) und \\(x^\\prime\\) hei\u00dfen orthogonal, wenn \\(B(x, x ) = 0\\) ist. Ist \\(M\\) eine Teilmenge von \\(E\\), so sei \\(M^*\\) die Menge der zu allen \\(x \\in M\\) orthogonalen \\(x^\\prime \\in E^\\prime\\). Aus dem Hahn-Banachschen Erweiterungssatz f\u00fcr Linearfunktionen folgt, da\u00df \\(M^{**}\\) die abgeschlossene H\u00fclle von \\(M\\) ist, \\(M^* = M^{***}\\).  \\(A\\) sei ein Teilraum von \\(E\\). \\ \\(\\sigma(E, E^\\prime)\\) induziert eine Topologie in \\(A\\). In bezug auf diese Topologie sei \\(A^\\prime\\) der duale Raum zu \\(A\\). \\ \\(A\\) und \\(A^\\prime\\) bilden ein Paar von R\u00e4umen im Sinne der obigen Definition, wenn \\(B(x, x^\\prime) = x^\\prime (x)\\) gesetzt wird, \\(x^\\prime\\) eine Linearfunktion auf \\(A\\); also ist in \\(A\\) die Topologie \\(\\sigma (A, A^\\prime)\\) erkl\u00e4rt; sie stimmt mit der durch \\(\\sigma (E, E^\\prime)\\) induzierten \u00fcberein. \\(A^\\prime\\) ist der duale Raum zur abgeschlossenen H\u00fclle \\(\\bar A\\) von \\(A\\). Wird \\(A^\\prime\\) mit der Topologie \\(\\sigma (A^\\prime, \\bar A)\\) versehen, so ist \\(A^\\prime\\) isomorph zum Quotientenraum \\(E^\\prime/A^*\\), der mit der durch \\(\\sigma (E^\\prime, E)\\) bestimmten Topologie des Quotientenraumes versehen ist. Analog gilt: Ist \\(A\\) linear abgeschlossen in \\(E\\), so ist der schwach duale Raum \\(F^\\prime\\) zu \\(F = E/A\\) isomorph zu \\(A^*\\) und \\(\\sigma(F, F^\\prime)\\) ist identisch mit der Quotiententopologie \\(\\sigma (E, E^\\prime)\\) nach \\(A\\).  \\(u\\) sei eine lineare Abbildung von \\(E\\) in \\(F\\); zu \\(E\\) und \\(F\\) m\u00f6gen \\(E^\\prime\\) und \\(F^\\prime\\) geh\u00f6ren mit den Bilinearrelationen \\(B(x, x^\\prime)\\), \\(C(y, y^\\prime)\\). \\ \\(u\\) ist dann und nur dann schwach stetig, d. h. stetig im Sinne der Topologien \\(\\sigma (E, E^\\prime)\\) bzw. \\(\\sigma(F, F^\\prime)\\), wenn f\u00fcr jedes \\(y^\\prime\\) in \\(F^\\prime\\) durch \\(x \\to C (u (x), y^\\prime)\\) eine stetige Linearform in \\(E\\) gegeben wird. Zu jedem \\(y^\\prime \\in F^\\prime\\) geh\u00f6rt genau ein \\(x^\\prime\\) in \\(E^\\prime\\), so da\u00df \\(C (u (x), y^\\prime) = B(x, x^\\prime)\\) ist. Die so definierte Abbildung \\(u^\\prime\\) von \\(F^\\prime\\) in \\(E^\\prime\\) hei\u00dft zu \\(u\\) transponiert. Sie ist ebenfalls stetig \\(u\\) ist dann und nur dann eineindeutig, wenn \\(u^\\prime (F^\\prime)\\) \u00fcberall dicht in \\(E^\\prime\\) ist. Dann wird ein L\u00f6sbarkeitskriterium f\u00fcr Gleichungen \\(u(x) = y_0\\) abgeleitet. Daraus folgt: Ist \\(u(E)\\) abgeschlossen in \\(F\\), so ist \\(u(x) = y_0\\) dann und nur dann l\u00f6sbar, wenn \\(y_0\\) orthogonal zur Urbildmenge \\(u^\\prime(0)\\) der 0 bei \\(u^\\prime\\) ist. \\ \\(u(E)\\) ist dann und nur dann abgeschlossen, wenn \\(u^\\prime\\) ein Homomorphismus von \\(F^\\prime\\) auf \\(u^\\prime (F^\\prime)\\) ist. Diese Theorie ist im wesentlichen eine Verallgemeinerung der Theorie der vollkommenen R\u00e4ume von G. K\u00f6the und O. Toeplitz auf beliebige lokalkonvexe R\u00e4ume. Die Idee der dualen R\u00e4ume ist noch weitergef\u00fchrt worden.  Die Anwendbarkeit dieser Theorie wird in Teil II bewiesen, in dem die Haupts\u00e4tze der Theorie der normierten R\u00e4ume (Banachr\u00e4ume) unter Verwendung der Theorie der Dualit\u00e4t neu hergeleitet werden. Neben den klassischen Resultaten, wie sie etwa in der Arbeit von \\textit{F. Hausdorff} ( J. reine angew. Math. 167 (1932), 294-311; F. d. M. \\(58_{\\text{II}}\\), 1113) enthalten sind, werden auch zum ersten Mal mit Beweisen die Resultate von \\textit{N. Bourbaki} (C. R. Acad. Sci., Paris, 206 (1938), 1701-1704; F. d. M. \\(64_{\\text{II}}\\), 1098) dargestellt, darunter der Satz: Ein normierter Raum \\(E\\) ist dann und nur dann reflexiv, wenn die Einheitskugel aller \\(x\\) in \\(E\\) mit \\(\\| x \\| \\leqq 1\\) schwach kompakt ist. Im Anhang wird auf ein damit zusammenh\u00e4ngendes Kriterium von \\textit{H. H. Goldstine} (Duke math. J. 4 (1938), 125-131; F. d. M. \\(64_{\\text{I}}\\), 369) n\u00e4her eingegangen. Ein Teil der Resultate wurde in zwei Noten angek\u00fcndigt (C. R. Acad. Sci., Paris, 211 (1940), 94-97, 129-131; F. d. M. 66, 531 (JFM 66.0531.*), 532).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580903$5C5678F7-3089-4CED-955C-8DDB5982A857","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13c9cd904d4232120bf8fe2838f344bef86d32c5","datavalue":{"value":"2500648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580903$61A8ACEB-D39D-409C-BC16-C63E7D13AE0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bde7635f22575ffd2518b928108d7750605f2117","datavalue":{"value":{"entity-type":"item","numeric-id":1227043,"id":"Q1227043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580903$15C4BC39-9F79-4714-A723-701EC4B6FC23","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":"Q2580903$C04DDC32-F469-45EA-B21F-C4E840BB6969","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62b827679152476432e406ad6782fec04e0ee8f9","datavalue":{"value":"W2284115164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580903$A9D057C5-0CCF-4EB8-9392-79B15E7EA96D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"367192054b90c26e5b8e90d276fd813e8a8ed321","datavalue":{"value":"Q106785838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580903$79130D9B-94CD-4A87-8867-46755F4A833C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12181580f9f66f6757442b75be24e07996ee7372","datavalue":{"value":"10.24033/ASENS.895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580903$8FF7A29A-A9AB-4578-9541-F04D26925733","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2580903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2580903"}}}}}