पहचान प्रमेय

वास्तविक विश्लेषण और जटिल विश्लेषण में, गणित की शाखाएँ, विश्लेषणात्मक फलनों के लिए सर्वसमिका प्रमेय दर्शाती हैं: दिए गए फलन f और g विश्लेषणात्मक एक प्रक्षेत्र (गणितीय विश्लेषण) D पर ( $$\mathbb{R}$$ के विवृत और जुड़े हुए उपसमुच्चय या $$\mathbb{C}$$), यदि कुछ $$S \subseteq D$$ पर f = g है,जहां $$S $$ का संचयन बिंदु है, तो D पर f = g है।

इस प्रकार एक विश्लेषणात्मक फलन पूरी तरह से में एक विवृत प्रतिवेश, या यहां तक ​​​​कि D के एक गणनीय उपसमुच्चय पर इसके मानो द्वारा निर्धारित किया जाता है परंतु इसमें एक अभिसरण अनुक्रम सम्मिलित हो। यह सामान्य रूप से वास्तविक-अवकल फलनों के लिए सही नहीं है, यहां तक कि अनंत रूप से वास्तविक-अवकल फलनों के लिए भी सही नहीं है। इसकी तुलना में, विश्लेषणात्मक फलन बहुत अधिक कठिन धारणा हैं। अनौपचारिक रूप से, कभी-कभी यह कहकर प्रमेय को सारांशित करता है कि विश्लेषणात्मक फलन कठिन हैं जैसा कि कहते हैं, सतत फलन जो अस्पष्ट हैं।

जिस आधारभूत तथ्य से प्रमेय स्थापित किया गया है वह टेलर श्रृंखला में एक पूर्णसममितिक फलन की विस्तार क्षमता है।

प्रक्षेत्र D पर संबद्धता की धारणा आवश्यक है। उदाहरण के लिए, यदि D में दो असंयुक्त विकृत समुच्चय होते हैं, और $$f$$ विकृत समुच्चय पर $$0$$ और दूसरे पर $$1$$ हो सकता है, जबकि $$g$$ पर $$0$$ और दूसरे पर 2 हो सकता है।

लेम्मा
यदि प्रक्षेत्र $$ f $$ पर दो पूर्णसममितिक फलन $$ g $$ और $$c$$ एक समुच्चय $$D$$ पर सहमत होते हैं जिसमें $$f = g $$ में एक संचय बिंदु $$D$$ होता है, तो में एक चक्र पर $$c$$ पर केंद्रित होता है।

इसे प्रमाणित करने के लिए $$f^{(n)}(c)= g^{(n)}(c)$$ सभी $$n\geq 0$$ के लिए दिखाना अधिकतम है।

यदि यह स्थिति नहीं है, तो $$ m $$ को $$f^{(m)}(c)\ne g^{(m)}(c)$$ के साथ सबसे छोटा गैर-ऋणात्मक पूर्णांक मान ले। समरूपता द्वारा, हमारे पास $$ c $$ के कुछ विवृत प्रतिवेश U में निम्नलिखित टेलर श्रृंखला प्रतिनिधित्व है::



\begin{align} (f - g)(z) &{}=(z - c)^m \cdot \left[\frac{(f - g)^{(m)}(c)}{m!} + \frac{(z - c) \cdot (f - g)^{(m+1)}(c)}{(m+1)!} + \cdots  \right]  \\[6pt] &{}=(z - c)^m \cdot h(z). \end{align} $$ निरंतरता से $$ h $$ के आसपास कुछ छोटी विवृत चक्र $$ B$$ में $$c$$ शून्य नहीं है। परन्तु फिर $$f-g\neq 0$$ विद्ध समुच्चय पर $$B-\{c\}$$ होता है। यह इस धारणा का खंडन करता है कि $$c$$ का $$\{f = g\}$$ संचयन बिन्दु है।

यह लेम्मा दिखाता है कि एक सम्मिश्र संख्या $$ a \in \mathbb{C}$$ के लिए सूत्र (गणित) $$f^{-1}(a)$$ एक असतत (और इसलिए गणनीय) समुच्चय है, जब तक $$f \equiv a$$ होता है।

प्रमाण
उस समुच्चय को परिभाषित करें जिस पर $$f$$ और $$g$$ समान टेलर विस्तार है: $$S = \left\{ z \in D \mid f^{(k)}(z) = g^{(k)}(z) \text{ for all } k \geq 0\right\} = \bigcap_{k=0}^\infty \left\{ z \in D \mid \left(f^{(k)}- g^{(k)}\right)(z) = 0\right\}.$$ हम दिखाएंगे कि $$S$$ गैर-रिक्त, विवृत और संवृत है। फिर $$D$$ के जुड़ाव से, $$S$$ को सभी $$D$$ का होना चाहिए, जिसका अर्थ $$f=g$$ पर $$S=D$$ है।

लेम्मा द्वारा, $$f = g$$ पर केंद्रित चक्र में $$c$$ में $$D$$, उनके पास $$c$$ समान टेलर श्रृंखला है, इसलिए $$c\in S$$, $$S$$ रिक्त नहीं है।

चूँकि $$f$$ और $$g$$ मे $$D$$ और $$\forall w\in S$$ पर पूर्णसममितिक हैं, w पर f और g की टेलर श्रृंखला में गैर-शून्य अभिसरण त्रिज्या है। इसलिए, विवृत चक्र $$B_r(w)$$ भी कुछ r के लिए S में स्थित है। तो S विवृत है।

$$f$$ और $$g$$ के समरूपता द्वारा, उनके पास पूर्णसममितिक अवकलन हैं, इसलिए सभी $$f^{(n)}, g^{(n)}$$ निरंतर हैं। इसका तात्पर्य है कि $$ \{z \in D \mid (f^{(k)} - g^{(k)})(z) = 0\}$$ सभी $$k$$ के लिए संवृत है। $$S$$ संवृत समुच्चय का प्रतिच्छेदन है, इसलिए यह संवृत है।

पूर्ण लक्षण वर्णन
चूंकि सर्वसमिका प्रमेय दो पूर्णसममितिक फलन की समानता से संबंधित है, इसलिए हम केवल अंतर पर विचार कर सकते हैं जो पूर्णसममितिक रहता है और जब एक पूर्णसममितिक फलन समान रूप से $0$ होता है तो केवल इसकी विशेषता हो सकती है। निम्नलिखित परिणाम में पाया जा सकता है।

अनुरोध
मान लीजिए $G\subseteq\mathbb{C}$ सम्मिश्र तल के एक गैर-रिक्त, सम्बद्ध वाले विवृत उपसमुच्चय को निरूपित करें। $h:G\to\mathbb{C}$  के लिए निम्नलिखित समतुल्य हैं।


 * 1) $h\equiv 0$  पर $G$ ;
 * 2) समुच्चय $G_{0}=\{z\in G\mid h(z)=0\}$  एक समुच्चय का एक सीमा बिंदु $z_{0}$  होता है
 * 3) समुच्चय $G_{\ast}=\bigcap_{n\in\N_0} G_{n}$  रिक्त नहीं है, जहाँ $G_{n} := \{z\in G\mid h^{(n)}(z)=0\}$  होता है।

प्रमाण
निर्देश (1 $\Rightarrow$ 2) और (1 $\Rightarrow$  3) सामान्य रूप से प्रग्रहण करती है।

(3 $\Rightarrow$ 1) के लिए, $G$  की संयोजकता से यह प्रमाणित करने के लिए पर्याप्त है कि गैर-रिक्त उपसमुच्चय, $G_{\ast}\subseteq G$, क्लोपेन है चूंकि सांस्थितिक समष्टि जुड़ा हुआ है यदि और केवल यदि उसके पास कोई उपयुक्त क्लोपेन उपसमुच्चय नहीं है। चूँकि होलोमॉर्फिक (पूर्ण-सममितिक) फलन अनंत रूप से भिन्न होते हैं, अर्थात $h\in C^{\infty}(G)$  यह स्पष्ट है कि $G_{\ast}$  संवृत है। स्पष्टता दिखाने के लिए कुछ पर $u \in G_{\ast}$  पर विचार करें। एक विवृत गोलक $U\subseteq G$  युक्त $u$  पर विचार करें, जिसमें $h$  पर केंद्रित एक अभिसरण टेलर-श्रृंखला $u$  विस्तार है अतः $u\in G_{\ast}$  के आधार पर, इस श्रृंखला के सभी गुणांक $0$  होते है, जहाँ से $h\equiv 0$  पर $U$  होता है। यह इस प्रकार है कि $h$  के सभी $n$ -वें अवकल $0$  पर $U$  होता है, जहाँ $U\subseteq G_{\ast}$ है। अतः प्रत्येक $u\in G_{\ast}$  के $G_{\ast}$  आंतरिक भाग में स्थित है।

(2 $\Rightarrow$ 3) की ओर, एक संचयन बिंदु $z_{0}\in G_{0}$ ठीक करें। अब हम प्रेरण द्वारा प्रत्यक्ष प्रमाणित करते हैं कि $z_{0}\in G_{n}$  प्रत्येक $n \in \N_0$  के लिए समान होता है। इसके लिए $r\in(0,\infty)$  को $h$  के आसपास $z_{0}$  के घात शृंखला विस्तार के अभिसरण त्रिज्या से प्रबलता से छोटा होना चाहिए, $\sum_{k\in\mathbb{N}_{0}}\frac{h^{(k)}(z_{0})}{k!}(z-z_{0})^{k}$  द्वारा दिए गए अभी $n\geq 0$  को सही करे और मान लो $z_{0}\in G_{k}$  सभी $k < n$  के लिए समान होता है। फिर $z \in \bar{B}_{r}(z_{0}) \setminus \{z_{0}\}$ के लिए घात श्रृंखला विस्तार लब्धि का प्रकलन

ध्यान दें कि, चूंकि $r$ घात श्रृंखला की त्रिज्या से छोटा है, कोई भी उस शक्ति श्रृंखला $R(\cdot)$  को आसानी से प्राप्त कर सकता है और सतत है और इस प्रकार $\bar{B}_{r}(z_{0})$  से परिबद्ध है।

अब, चूंकि $z_{0}$ में संचयन बिन्दु है जो $G_{0}$  बिंदुओं का एक क्रम $(z^{(i)})_{i}\subseteq G_{0}\cap B_{r}(z_{0})\setminus\{z_{0}\}$ है जिसके लिए अभिसरण $z_{0}$  होता है।

तब से $h\equiv 0$ पर $G_{0}$  और प्रत्येक $z^{(i)}\in G_{0}\cap B_{r}(z_{0})\setminus\{z_{0}\}$  के बाद से, व्यंजक ($$) मे लब्धि

$R(\cdot)$ पर की सीमा से $\bar{B}_{r}(z_{0})$  प्राप्त होता है। यह इस प्रकार है कि $h^{(n)}(z_{0})=0$, जहाँ से $z_{0}\in G_{n}$  प्राप्त है। प्रेरण के माध्यम से अपेक्षा धारण करता है।

क्यू ई डी

यह भी देखें

 * विश्लेषणात्मक निरंतरता
 * रीमैन सतहों के लिए सर्वसमिका प्रमेय