{"entities":{"Q2554142":{"pageid":2564885,"ns":120,"title":"Item:Q2554142","lastrevid":72775068,"modified":"2026-04-14T07:44:34Z","type":"item","id":"Q2554142","labels":{"en":{"language":"en","value":"Kompakt erzeugte Vektorr\u00e4ume und Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3383045"}},"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":"Q2554142$6CECFD07-8F31-44B9-87A3-C1BA0AA6FD04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f05f7019e6d2b31e1618b63f603f8ab289013aa","datavalue":{"value":{"text":"Kompakt erzeugte Vektorr\u00e4ume und Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2554142$6857F229-9196-46A8-B326-9EE7BCF972F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b919e664203a5174407f868c1efd7d9ba03c149c","datavalue":{"value":"0242.46003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2554142$D437730F-CD95-4209-B452-C3A8069B3BB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f63901df5e2c4783bf9163ad0b47c24b8405052","datavalue":{"value":{"entity-type":"item","numeric-id":1153587,"id":"Q1153587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2554142$4EAF1208-3509-4669-BA92-C7C35F8151A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"583d5634d5ee6575aaa37bb42a0c5602371241ea","datavalue":{"value":{"entity-type":"item","numeric-id":163387,"id":"Q163387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2554142$67C4BE96-B470-48DD-AD89-F5C2EEE1C5D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-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":"Q2554142$D43AA45B-CD37-4C56-A05D-EFE5218F0129","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c6a96ae819492bba47e48634c7d9c7400099c2d","datavalue":{"value":"Es handelt sich bei dieser Arbeit um den -- meiner Ansicht nach gelungenen -- Versuch, Analysis in nicht normierten Vektorr\u00e4umen zu betreiben. Es gelingt dem Autor, die wichtigsten S\u00e4tze der Analysis (z.B. Kettenregel, Mittelwertsatz, Taylorformel, Satz von Stokes) sowie Fixpunkts\u00e4tze, mit deren Hilfe man gew\u00f6hnliche Differentialgleichungen l\u00f6sen kann, zu beweisen, wenn man in \\glqq geeigneten\\grqq{} R\u00e4umen arbeitet und den Begriff der Ableitung in vern\u00fcnftiger Weise definiert. \\glqq Geeignet\\grqq{} sind die reellen, folgenvollst\u00e4ndigen, kompakt erzeugten Vektorraume, f\u00fcr die der Durchschnitt der konvexen Nullumgebungen nur aus dem Nullvektor besteht; sie bilden zusammen mit den stetigen bzw. stetigen und linearen Abbildungen eine Kategorie mit beliebigen Produkten, die als Objekte u.a. die Fr\u00e9chet-R\u00e4ume enth\u00e4lt. Der Ableitungsbegriff wird wie folgt eingef\u00fchrt. Seien \\(E, F\\) geeignete kompakt erzeugte Vektorr\u00e4ume, \\(G\\) eine offene Teilmenge von \\(E\\) und \\(\\alpha: G\\to F\\) eine Abbildung. \\(\\alpha\\) hei\u00dft stetig differenzierbar, wenn es eine stetige und in der zweiten Variablen lineare Abbildung \\(d\\alpha: G \\times E\\to F\\) gibt, so da\u00df die auf \\(\\{(x,y,t)\\in G \\times E \\times \\mathbb R; x + yt \\in G\\}\\) definierte \\glqq Rest\\grqq{}-Abbildung  \\[  (x,y,t) \\mapsto \\begin{cases} \\frac{\\alpha(x+yt) - \\alpha(x) - d\\alpha(x,yt)}{t} &\\text{ f\u00fcr } t\\ne 0; \\\\  0   &\\text{ f\u00fcr } t = 0 \\end{cases} \\]  stetig ist. Folgenvollst\u00e4ndigkeit und gen\u00fcgend viele offene konvexe Mengen ben\u00f6tigt man u.a. zum Nachweis der Existenz primitiver Funktionen f\u00fcr Abbildungen, die auf einem offenen Intervall definiert sind, sowie dazu, die Konstanz einer stetig differenzierbaren Funktion mit verschwindender Ableitung auf einer zusammenh\u00e4ngenden Menge zu beweisen.   Der Verf. arbeitet konsequent und erfolgreich mit kategoriellen Begriffsbildungen, insbesondere mit (co-) adjungierten Funktoren. Als Beispiel dazu m\u00f6ge der Satz \u00fcber die Existenz von Tensorprodukten in der Kategorie der kompakt erzeugten Vektorr\u00e4ume gelten, aus dem ohne M\u00fche nicht weniger als 22 Korollare abgeleitet werden (s. 25 ff).   In einem einleitenden Kapitel werden einige weniger gel\u00e4ufige Begriffsbildungen (z. B. multiplikative und abgeschlossene Kategorien) zusammengestellt sowie der Satz von Freyd \u00fcber die Existenz adjungierter Funktoren bewiesen. Der mit der Sprache der Kategorien nicht vertraute Leser d\u00fcrfte jedoch trotzdem M\u00fche haben, die Arbeit zu verstehen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2554142$BEA0D04C-FB03-4A27-8E0B-6BEB270AEB6F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"264ef32aa19ed92751710502cd5ef6b44cb1d132","datavalue":{"value":{"entity-type":"item","numeric-id":2554141,"id":"Q2554141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2554142$32734FBB-E355-4756-A2A1-E9E4B37FA6D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"76781b2bf74b6abd57abe05712bd3a963a715b75","datavalue":{"value":"46-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2554142$22782246-8C55-4E30-B051-2F1280E3DC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"331446d474121f92ae37d8964606dbf79214cf4e","datavalue":{"value":"46Axx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2554142$95D59F8B-4B9A-48B1-AFE0-BEA8BF019380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28df56e2682a7ab5f4ec568c80a2ac517d321a8","datavalue":{"value":"46M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2554142$6AC20452-D1EC-4CB4-879E-1A6844E416B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"22d2a3a118e9582fdfbbcdc1acb664145592ec19","datavalue":{"value":"46M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2554142$79B6E8EC-AC22-42C3-9970-AABD60527467","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4401a1c079379b63102b8e6e4308c1118b23b1d5","datavalue":{"value":"3383045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2554142$E5C25DA1-6A08-4981-8C38-B8C50A650906","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":"Q2554142$4580B1CA-BCB1-40E6-81C3-DAE65738F144","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90e3625c6d237bde544fdeb0056f4fc81a385ef1","datavalue":{"value":"10.1007/BFB0058377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2554142$F419C759-0EFD-4D19-A963-3FDBBADBE2F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kompakt erzeugte Vektorr\u00e4ume und Analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kompakt_erzeugte_Vektorr%C3%A4ume_und_Analysis"}}}}}