किर्स्ज़ब्रौन प्रमेय: Difference between revisions
No edit summary |
No edit summary |
||
| Line 16: | Line 16: | ||
== स्पष्ट सूत्र == | == स्पष्ट सूत्र == | ||
<math>\mathbb{R}</math>-मूल्य वाले फंक्शन के लिए विस्तार <math>\tilde f(x):=\inf_{u\in U}\big(f(u)+\text{Lip}(f)\cdot d(x,u)\big),</math> द्वारा प्रदान किया जाता है, जहां <math>\text{Lip}(f)</math>, {{mvar|U}} पर <math>f</math> का लिप्सचिट्ज स्थिरांक है| <ref>{{Cite journal |last=McShane |first=E. J. |date=1934 |title=कार्यों की सीमा का विस्तार|url=https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society/volume-40/issue-12/Extension-of-range-of-functions/bams/1183497871.full |journal=Bulletin of the American Mathematical Society |volume=40 |issue=12 |pages=837–842 |issn=0002-9904}}</ref> सामान्य तौर पर, <math>\mathbb{R}^{m}</math>-मूल्यवान फ़ंक्शंस के लिए एक विस्तार <math>\tilde f(x):= \nabla_{y}(\textrm{conv}(g(x,y))(x,0)</math> के रूप में भी लिखा जा सकता है जहां <math>g(x,y):=\inf_{u\in U}\left\{\langle f(u),y \rangle +\frac{\text{Lip}(f)}{2}\|x-u\|^{2}\right\}+\frac{\text{Lip}(f)}{2} | |||
\|x\|^{2}+\text{Lip}(f)\|y\|^{2}</math> और conv(g) g का निचला उत्तल आवरण है।<ref>{{Cite journal |last=Azagra |first=Daniel |last2=Le Gruyer |first2=Erwan |last3=Mudarra |first3=Carlos |date=2021 |title=Kirszbraun’s Theorem via an Explicit Formula |journal=[[Canadian Mathematical Bulletin]] |language=en |volume=64 |issue=1 |pages=142–153 |doi=10.4153/S0008439520000314 | doi-access=free |issn=0008-4395}}</ref> | \|x\|^{2}+\text{Lip}(f)\|y\|^{2}</math> और conv(g) g का निचला उत्तल आवरण है।<ref>{{Cite journal |last=Azagra |first=Daniel |last2=Le Gruyer |first2=Erwan |last3=Mudarra |first3=Carlos |date=2021 |title=Kirszbraun’s Theorem via an Explicit Formula |journal=[[Canadian Mathematical Bulletin]] |language=en |volume=64 |issue=1 |pages=142–153 |doi=10.4153/S0008439520000314 | doi-access=free |issn=0008-4395}}</ref> | ||
| Line 22: | Line 22: | ||
==इतिहास== | ==इतिहास== | ||
प्रमेय को | प्रमेय को मोजेज डेविड किर्स्जब्राउन द्वारा सिद्ध किया गया था, और बाद में इसे [[फ्रेडरिक वैलेंटाइन]] द्वारा प्रमाणित किया गया था,<ref>{{cite journal |first=F. A. |last=Valentine |title=एक वेक्टर फ़ंक्शन के लिए लिप्सचिट्ज़ कंडीशन प्रिजर्विंग एक्सटेंशन|journal=[[American Journal of Mathematics]] |volume=67 |issue=1 |year=1945 |pages=83–93 |doi=10.2307/2371917 |jstor=2371917 }}</ref> जिन्होंने पहली बार इसे यूक्लिडियन सतह के लिए सिद्ध किया था।<ref>{{cite journal |first=F. A. |last=Valentine |title=एक वेक्टर फ़ंक्शन के विस्तार पर ताकि लिप्सचिट्ज़ स्थिति को संरक्षित किया जा सके|journal=Bulletin of the American Mathematical Society |volume=49 |pages=100–108 |year=1943 |issue=2 |mr=0008251 |doi=10.1090/s0002-9904-1943-07859-7|doi-access=free }}</ref> | ||
कभी-कभी इस प्रमेय को किर्स्जब्रौन-वेलेंटाइन प्रमेय भी कहा जाता है। | |||
==संदर्भ== | ==संदर्भ== | ||
Revision as of 23:41, 6 July 2023
गणित में विशेष रूप से वास्तविक विश्लेषण और कार्यात्मक विश्लेषण में किर्स्जब्रौन प्रमेय यह बताता है कि यदि U कुछ हिल्बर्ट स्थान H1 का एक उपसमुच्चय है, और H2 एक अन्य हिल्बर्ट स्थान है,
फिर यह एक लिप्सचिट्ज-निरंतर मानचित्र है
जो f का विस्तार करता है और इसमें f के समान ही लिप्सचिट्ज स्थिरांक है।
ध्यान दें कि यह परिणाम विशेष रूप से यूक्लिडियन रिक्त स्थान En और Em पर लागू होता है, और यह इस रूप में था कि किर्स्जब्रौन ने मूल रूप से प्रमेय तैयार किया और सिद्ध किया।[1] उदाहरण के लिए, हिल्बर्ट रिक्त स्थान का संस्करण (श्वार्ट्ज 1969, पृष्ठ 21) में पाया जा सकता है।[2] यदि H1 एक अलग करने योग्य स्थान है (विशेष रूप से, यदि यह एक यूक्लिडियन स्थान है) तो परिणाम जर्मेलो-फ्रेंकेल समुच्य सिद्धांत में सत्य है; सामान्य मामले के लिए ऐसा प्रतीत होता है कि इसे पसंद के सिद्धांत के किसी रूप की आवश्यकता है; बूलियन अभाज्य आदर्श प्रमेय को पर्याप्त माना जाता है।[3]
प्रमेय का प्रमाण हिल्बर्ट रिक्त स्थान की ज्यामितीय विशेषताओं का उपयोग करता है; बनच रिक्त स्थान के लिए संबंधित कथन सामान्य रूप से सत्य नहीं है, यहां तक कि परिमित-आयामी बनच रिक्त स्थान के लिए भी नहीं।उदाहरण के लिए, प्रति उदाहरण बनाना संभव है जहां डोमेन अधिकतम मानदंड के साथ https://alpha.indicwiki.in/index.php?title=Special:MathShowImage&hash=cf048f74f71721abd7b8df49453d1310&mode=mathml का उपसमुच्य है और यूक्लिडियन मानदंड रखता है।[4] सामान्यतः प्रमेय के किसी आदर्श () (श्वार्ट्ज 1969, पृष्ठ 20) के लिय विफल रहता है।[2]
स्पष्ट सूत्र
-मूल्य वाले फंक्शन के लिए विस्तार द्वारा प्रदान किया जाता है, जहां , U पर का लिप्सचिट्ज स्थिरांक है| [5] सामान्य तौर पर, -मूल्यवान फ़ंक्शंस के लिए एक विस्तार के रूप में भी लिखा जा सकता है जहां और conv(g) g का निचला उत्तल आवरण है।[6]
इतिहास
प्रमेय को मोजेज डेविड किर्स्जब्राउन द्वारा सिद्ध किया गया था, और बाद में इसे फ्रेडरिक वैलेंटाइन द्वारा प्रमाणित किया गया था,[7] जिन्होंने पहली बार इसे यूक्लिडियन सतह के लिए सिद्ध किया था।[8]
कभी-कभी इस प्रमेय को किर्स्जब्रौन-वेलेंटाइन प्रमेय भी कहा जाता है।
संदर्भ
- ↑ Kirszbraun, M. D. (1934). "Über die zusammenziehende und Lipschitzsche Transformationen". Fundamenta Mathematicae. 22: 77–108. doi:10.4064/fm-22-1-77-108.
- ↑ 2.0 2.1 Schwartz, J. T. (1969). अरेखीय कार्यात्मक विश्लेषण. New York: Gordon and Breach Science.
- ↑ Fremlin, D. H. (2011). "किर्स्ज़ब्राउन का प्रमेय" (PDF). Preprint.
- ↑ Federer, H. (1969). ज्यामितीय माप सिद्धांत. Berlin: Springer. p. 202.
- ↑ McShane, E. J. (1934). "कार्यों की सीमा का विस्तार". Bulletin of the American Mathematical Society. 40 (12): 837–842. ISSN 0002-9904.
- ↑ Azagra, Daniel; Le Gruyer, Erwan; Mudarra, Carlos (2021). "Kirszbraun's Theorem via an Explicit Formula". Canadian Mathematical Bulletin (in English). 64 (1): 142–153. doi:10.4153/S0008439520000314. ISSN 0008-4395.
- ↑ Valentine, F. A. (1945). "एक वेक्टर फ़ंक्शन के लिए लिप्सचिट्ज़ कंडीशन प्रिजर्विंग एक्सटेंशन". American Journal of Mathematics. 67 (1): 83–93. doi:10.2307/2371917. JSTOR 2371917.
- ↑ Valentine, F. A. (1943). "एक वेक्टर फ़ंक्शन के विस्तार पर ताकि लिप्सचिट्ज़ स्थिति को संरक्षित किया जा सके". Bulletin of the American Mathematical Society. 49 (2): 100–108. doi:10.1090/s0002-9904-1943-07859-7. MR 0008251.
