{"entities":{"Q2620311":{"pageid":2631054,"ns":120,"title":"Item:Q2620311","lastrevid":44495937,"modified":"2025-11-23T08:39:12Z","type":"item","id":"Q2620311","labels":{"en":{"language":"en","value":"Sur le premier th\u00e9or\u00e8me fondamental dans la th\u00e9orie des d\u00e9formations continues."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2540251"}},"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":"Q2620311$FC473294-DED8-45F6-B36C-D33B0719C7F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a27c735476ca1151806051a21a81bf174fdce742","datavalue":{"value":{"text":"Sur le premier th\u00e9or\u00e8me fondamental dans la th\u00e9orie des d\u00e9formations continues.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2620311$1A8F8B7E-DFA5-48B5-9136-FCE44841468F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ef6db760fa25f0a593b306d82b491df2e095bc1","datavalue":{"value":"60.0981.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2620311$72AF7D97-4C71-44AA-BAAC-E6C0B1A8D707","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad50a068e5abab45e165bffae14b321b8e092662","datavalue":{"value":{"entity-type":"item","numeric-id":567136,"id":"Q567136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2620311$3E4FB127-E415-4C53-BF17-523706F06F1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"075faf15a8a4e4f2d3e9944b6b9bf9da4889420b","datavalue":{"value":{"entity-type":"item","numeric-id":559961,"id":"Q559961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2620311$6C645944-53C6-46A4-A395-F73DA92A704B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0545e869d8296a0b0654ccbe2e3181b7f2652da8","datavalue":{"value":{"time":"+1934-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":"Q2620311$07725DC3-51B5-4914-8AD4-8F46B95A1993","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1245959f1bd7268617340370d9df787e4ea19fa5","datavalue":{"value":"Unter dem ersten Fundamentalsatz f\u00fcr stetige Abbildungen wird hier folgendes verstanden: Es seien  \\[  \\begin{matrix} y_1 = f_1(x_1,\\cdots,x_n),\\\\ \\hdotsfor 1\\\\ y_n = f_n(x_1,\\cdots,x_n)\\end{matrix} \\tag{*} \\]  statige und partiell differenzierbare Funktionen in einem Gebiet \\(D\\). Ist dann unter dieser Transformation die quadratische Differentialform \\( \\sum _i dx_i^2\\) invariant, d. h. ist  \\[  \\sum _p dy_p^2 = \\sum _{i,k} a_{ik}dx_i dx_k  \\]  mit  \\[  a_{ik} = \\left \\{ \\begin{matrix} 0, &i \\neq k,\\\\ 1, & i = k,\\end{matrix} \\right.  \\]  wo die \\(a_{ik}\\) gegeben sind durch  \\[  a_{ik} = \\sum _p \\frac {\\partial f_p}{\\partial x_i} \\frac {\\partial f_p}{\\partial x_k},  \\]  so ist (*) eine Bewegung, m\u00f6glicherweise durch eine Spiegelung erg\u00e4nzt.  Die bisherigen Beweise f\u00fcr diesen Satz benutzen, um von der partiellen zur totalen Differenzierbarkeit gelangen zu k\u00f6nnen, mehr oder weniger stillschweigend die Stetigkeit der partiellen Ableitungen. Hier wird der Beweis nun zum erstenmal erbracht unter der alleinigen Voraussetzung, da\u00df die partiellen Ableitungen in \\(D\\) \u00fcberall existieren. Eineindeutigkeit der Abbildung wird nicht besonders vorausgesetzt, ist vielmehr eine Folge der Bedingungen.  Um Schreibarbeit zu sparen, kann man sich auf zwei Variablen beschr\u00e4nken. Die Bedingungen lauten dann: Die Funktionen  \\[  u = f(x,y), \\;v =g(x,y) \\tag{\\(\\alpha \\)} \\]  m\u00f6gen folgende Eigenschaften haben:  1) \\(f\\) und \\(g\\) seien in einem Gebiet \\(D\\) gegeben;  2) Die partiellen Ableitungen  \\[  \\frac {\\partial u}{\\partial x}, \\frac {\\partial u}{\\partial y}, \\frac {\\partial v}{\\partial x}, \\frac {\\partial v}{\\partial y}  \\]  existieren als endliche Gr\u00f6\u00dfen in jedem Punkt von \\(D\\);  3) Die Orthogonalit\u00e4tsrelationen  \\[  \\left (\\frac {\\partial u}{\\partial x}\\right )^2 + \\left (\\frac {\\partial u}{\\partial y}\\right )^2 = 1,\\;\\frac {\\partial u}{\\partial x} \\frac {\\partial v}{\\partial x} + \\frac {\\partial u}{\\partial y} \\frac {\\partial v}{\\partial y} = 0, \\;\\left (\\frac {\\partial v}{\\partial x}\\right )^2 + \\left (\\frac {\\partial v}{\\partial y}\\right )^2 = 1 \\tag{\\(\\beta \\)} \\]  sind \u00fcberall in \\(D\\) erf\u00fcllt.  Da nach \\((\\beta )\\) die Ableitungen beschr\u00e4nkt sind, kann man nach einem Satze des Ref. (1919; F. d. M. 47, 243 (JFM 47.0243.*)) schlie\u00dfen, da\u00df \\(f,g\\) fast \u00fcberall in \\(D\\) im \\textit{Stolzs}chen Sinne total differenzierbar sind.  Anderseits sind die partiellen Ableitungen, als Funktionen der ersten \\textit{Baires}chen Klasse, auf einer \u00fcberall dichten Menge stetig. Um einen solchen Stetigkeitspunkt \\(P_0\\) herum ist dann in einer hinreichend Umgebung \\(\\Delta \\) die Abbildung eineindeutig. Diese beiden Bemerkungen zusammen gen\u00fcgen dann, um in \\(\\Delta f\\) und \\(g\\) als von der Form  \\[  f(x,y) = Ax + By + L, g(x,y) = Cx + Dy + M  \\]  zu erkennen. Diese Gebiete \\(\\Delta \\), die teilweise \u00fcbereinander greifen k\u00f6nnen, werden nun zu gr\u00f6\u00dftm\u00f6glichen Gebieten \\(\\Delta _i\\) in endlicher oder abz\u00e4hlbar unendlicher Anzahl innerhalb \\(D\\) zusammengeschlossen. In \\(\\Delta _i\\) sei \\(f_x = A_i, f_y = B_i, g_x = C_i, g_y = D_i.\\) Durch Betrachtung der Grenzpunkte von \\(\\Delta _i\\) wird dann geschlossen, unter abermaliger Heranziehung des \\textit{Baires}chen Satzes, da\u00df die \\(A_i\\), und ebenso die \\(B_i,C_i,D_i\\) zweier benachbarterGebiete \\(\\Delta _i\\) gleich sein m\u00fcssen, da\u00df also in Wirklichkeit \\(D\\) durch nur ein \\(\\Delta \\) erf\u00fcllt wird, womit der Satz bewiesen ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2620311$13582E9E-2C27-4E0B-998C-66EEA2D181FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6cfb142ec36a48326d6424d0acf8aa8fd94f588","datavalue":{"value":"2540251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2620311$AC1FBDDA-E84F-4916-9AFB-8D8082A43B5B","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":"Q2620311$05C4E1AF-92D5-41B3-B2BD-1AF6C6F3A9FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2620311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2620311"}}}}}