किर्स्ज़ब्रौन प्रमेय

गणित में विशेष रूप से वास्तविक विश्लेषण और कार्यात्मक विश्लेषण में किर्स्जब्रौन प्रमेय यह बताता है कि यदि U कुछ हिल्बर्ट स्थान H₁ का एक उपसमुच्चय है, और H₂ एक अन्य हिल्बर्ट स्थान है,

$f:U\rightarrow H_{2}$

फिर यह एक लिप्सचिट्ज-निरंतर मानचित्र है

$F:H_{1}\rightarrow H_{2}$

जो f का विस्तार करता है और इसमें f के समान ही लिप्सचिट्ज स्थिरांक है।

ध्यान दें कि यह परिणाम विशेष रूप से यूक्लिडियन रिक्त स्थान Eⁿ और E^m पर लागू होता है, और यह इस रूप में था कि किर्स्जब्रौन ने मूल रूप से प्रमेय तैयार किया और सिद्ध किया। उदाहरण के लिए, हिल्बर्ट रिक्त स्थान का संस्करण (श्वार्ट्ज 1969, पृष्ठ 21) में पाया जा सकता है। यदि H₁ एक अलग करने योग्य स्थान है (विशेष रूप से, यदि यह एक यूक्लिडियन स्थान है) तो परिणाम जर्मेलो-फ्रेंकेल समुच्य सिद्धांत में सत्य है; सामान्य मामले के लिए ऐसा प्रतीत होता है कि इसे पसंद के सिद्धांत के किसी रूप की आवश्यकता है; बूलियन अभाज्य आदर्श प्रमेय को पर्याप्त माना जाता है।

प्रमेय का प्रमाण हिल्बर्ट रिक्त स्थान की ज्यामितीय विशेषताओं का उपयोग करता है; बनच रिक्त स्थान के लिए संबंधित कथन सामान्य रूप से सत्य नहीं है, यहां तक कि परिमित-आयामी बनच रिक्त स्थान के लिए भी नहीं।उदाहरण के लिए, प्रति उदाहरण बनाना संभव है जहां डोमेन अधिकतम मानदंड के साथ https://alpha.indicwiki.in/index.php?title=Special:MathShowImage&hash=cf048f74f71721abd7b8df49453d1310&mode=mathml का उपसमुच्य है और $\mathbb {R} ^{m}$ यूक्लिडियन मानदंड रखता है। सामान्यतः प्रमेय $\mathbb {R} ^{m}$ के किसी $\ell _{p}$ आदर्श ($p\neq 2$) (श्वार्ट्ज 1969, पृष्ठ 20) के लिय विफल रहता है।

स्पष्ट सूत्र

एक के लिए $\mathbb {R}$-मूल्यवान फ़ंक्शन एक्सटेंशन द्वारा प्रदान किया जाता है ${\tilde {f}}(x):=\inf _{u\in U}{\big (}f(u)+{\text{Lip}}(f)\cdot d(x,u){\big )},$ कहाँ ${\text{Lip}}(f)$ का लिप्सचिट्ज़ स्थिरांक है $f$ पर U. सामान्य तौर पर, एक एक्सटेंशन के लिए भी लिखा जा सकता है $\mathbb {R} ^{m}$-मूल्यवान कार्यों के रूप में ${\tilde {f}}(x):=\nabla _{y}({\textrm {conv}}(g(x,y))(x,0)$ कहाँ $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}$ और conv(g) g का निचला उत्तल आवरण है।

इतिहास

प्रमेय को मोजेज़ डेविड किर्स्ज़ब्राउन द्वारा सिद्ध किया गया था, और बाद में इसे फ्रेडरिक वैलेंटाइन द्वारा दोहराया गया था, जिन्होंने सबसे पहले यूक्लिडियन विमान के लिए इसे सिद्ध किया था। कभी-कभी इस प्रमेय को किर्स्ज़ब्रौन-वेलेंटाइन प्रमेय भी कहा जाता है।

बाहरी संबंध

• Kirszbraun theorem at Encyclopedia of Mathematics.