हर्मिटियन सहायक

गणित में, विशेष रूप से संकारक सिद्धांत में, आंतरिक उत्पाद स्थान पर प्रत्येक रैखिक संकारक $$ A $$ नियम


 * $$\langle Ax,y \rangle = \langle x,A^*y \rangle,$$

के अनुसार उस स्थान पर एक हर्मिटियन सहायक (या सहायक) संकारक $$A^*$$को परिभाषित करता है, जहां $$\langle \cdot,\cdot \rangle$$ सदिश पर आंतरिक उत्पाद है।

चार्ल्स हर्मिट के बाद सहायक को हर्मिटियन संयुग्म या बस हर्मिटियन भी कहा जा सकता है। इसे प्रायः $A^{†}$       द्वारा दर्शाया जाता है भौतिकी जैसे क्षेत्रों में, विशेषतः जब क्वांटम यांत्रिकी में ब्रा-केट संकेत चिन्ह के साथ संयोजन में उपयोग किया जाता है। परिमित आयामों में जहां संकारकों को मैट्रिक्स (गणित) द्वारा दर्शाया जाता है, हर्मिटियन सहायक संयुग्म स्थानांतरण (जिसे हर्मिटियन ट्रांसपोज़ के रूप में भी जाना जाता है) द्वारा दिया जाता है।

सहायक संकारक की उपरोक्त परिभाषा हिल्बर्ट स्थान $H$ पर परिबद्ध संचालिका तक शब्दशः विस्तारित होती है। परिभाषा को आगे बढ़ाया गया है ताकि असीमित सघन रूप से परिभाषित संकारक को सम्मिलित किया जा सके, जिनका डोमेन स्थलाकृतिक रूप से सघन (टोपोलॉजी) है - लेकिन जरूरी नहीं कि $$H.$$ के बराबर हो।

अनौपचारिक परिभाषा
हिल्बर्ट स्थानों के बीच रेखीय मानचित्र $$A: H_1\to H_2$$ पर विचार करें। किसी भी विवरण का ध्यान रखे बिना, सहायक संकारक (अधिकांश स्थितियों में विशिष्ट रूप से परिभाषित) रैखिक संकारक $$A^* : H_2 \to H_1$$ है जो
 * $$\left\langle A h_1, h_2 \right\rangle_{H_2} = \left\langle h_1, A^* h_2 \right\rangle_{H_1},$$ को पूरा करता है,

जहां $$\langle\cdot, \cdot \rangle_{H_i}$$ हिल्बर्ट स्थान $$H_i$$ में आंतरिक उत्पाद है, जो पहले निर्देशांक में रैखिक है और दूसरे निर्देशांक में प्रतिरेखीय है। उस विशेष स्थिति पर ध्यान दें जहां दोनों हिल्बर्ट स्थान समान हैं और $$A$$ उस हिल्बर्ट स्थान पर एक संकारक है।

जब कोई दोहरी जोड़ी के लिए आंतरिक उत्पाद का व्यापार करता है, तो वह एक संकारक के सहायक को परिभाषित कर सकता है, जिसे एक रैखिक मानचित्र का ट्रांसपोज़ भी कहा जाता है। $$A: E \to F$$, कहाँ $$E, F$$ संगत नॉर्म (गणित) के साथ बानाच रिक्त स्थान हैं $$\|\cdot\|_E, \|\cdot\|_F$$। यहां (फिर से किसी तकनीकी पर विचार न करते हुए), इसके सहायक संकारक को $$A^*f = f \circ A : u \mapsto f(Au), $$ के साथ $$A^*: F^* \to E^*$$ के रूप में परिभाषित किया गया है अर्थात $$f \in F^*, u \in E$$ के लिए  $$\left(A^*f\right)(u) = f(Au)$$।

हिल्बर्ट स्पेस समायोजना में उपरोक्त परिभाषा वास्तव में बानाच स्पेस केस का एक अनुप्रयोग है जब कोई हिल्बर्ट स्पेस को उसके दोहरे के साथ पहचानता है। तब यह स्वाभाविक ही है कि हम एक संकारक $$A: H \to E$$ का सहायक भी प्राप्त कर सकते हैं, जहां $$H$$ एक हिल्बर्ट स्थान है और $$E$$ बानाच स्थान है। फिर दोहरे को $$A^*f = h_f $$ के साथ $$A^*: E^* \to H$$ के रूप में परिभाषित किया जाता है जैसे कि $$\langle h_f, h\rangle_H = f(Ah)$$।

बनच स्थान के बीच असीमित संकारकों के लिए परिभाषा
मान लीजिए $$\left(E, \|\cdot\|_E\right), \left(F, \|\cdot\|_F\right)$$ बनच स्थान हैं। मान लीजिए $$ A: D(A) \to F $$, और $$D(A) \subset E$$, और मान लीजिए कि $$A$$ एक संभवतः असीमित रैखिक ऑपरेटर है जिसे सघन रूप से परिभाषित किया गया है (यानी $$D(A)$$ $$E$$ में सघन है)। फिर इसका सहायक संकारक $$A^*$$ को इस प्रकार परिभाषित किया गया है। डोमेन
 * $$D\left(A^*\right) := \left\{g \in F^*:~ \exists c \geq 0:~ \mbox{ for all } u \in D(A):~ |g(Au)| \leq c \cdot \|u\|_E\right\}$$ है।

अब स्वेच्छाचारी लेकिन निश्चित $$g \in D(A^*)$$ के लिए हम $$f: D(A) \to \R$$ को $$f(u) = g(Au)$$ के साथ सेट करते हैं। $$g$$ की पसंद और $$D(A^*)$$ की परिभाषा के अनुसार, f, $$|f(u)| = |g(Au)| \leq c\cdot \|u\|_E$$ के रूप में $$D(A)$$ पर समान रूप से निरंतर है। फिर हैन-बानाच प्रमेय द्वारा या वैकल्पिक रूप से निरंतरता द्वारा विस्तार के माध्यम से यह $$f$$ का विस्तार उत्पन्न करता है, जिसे सभी $$E$$ पर परिभाषित $$\hat{f}$$ कहा जाता है। यह तकनीकीता बाद में $$D\left(A^*\right) \to (D(A))^*$$ के बजाय $$A^*$$ को संकारक $$D\left(A^*\right) \to E^*$$ के रूप में प्राप्त करने के लिए आवश्यक है। यह भी ध्यान दें कि इसका मतलब यह नहीं है कि $$A$$ को सभी $$E$$ पर विस्तृत किया जा सकता है, लेकिन विस्तारण केवल विशिष्ट तत्वों $$g \in D\left(A^*\right)$$ के लिए काम करता है।

अब हम $$A$$ के जोड़ को

$$\begin{align} A^*: F^* \supset D(A^*) &\to E^* \\ g &\mapsto A^*g = \hat f \end{align}$$

के रूप में परिभाषित कर सकते हैं। इस प्रकार मूल परिभाषित पहचान $$u \in D(A)$$ के लिए $$u \in D(A).$$ है।

हिल्बर्ट रिक्त स्थान के बीच परिबद्ध संकारकों के लिए परिभाषा
मान लीजिए $H$ एक जटिल हिल्बर्ट स्थान है, आंतरिक उत्पाद $$\langle\cdot,\cdot\rangle$$है। एक सतत रैखिक संकारक $A : H → H$ पर विचार करें (रैखिक संकारकों के लिए, निरंतरता एक बंधे हुए संकारक होने के बराबर है)। फिर $A$ का जोड़ सतत रैखिक संकारक $A^{∗} : H → H$ है जो


 * $$\langle Ax, y \rangle = \left\langle x , A^* y\right\rangle \quad \mbox{for all } x, y \in H$$ को संतुष्ट करता है।

इस संकारक का अस्तित्व और विशिष्टता रिज़्ज़ प्रतिनिधित्व प्रमेय से अनुसरण करती है।

इसे एक वर्ग मैट्रिक्स के सहायक मैट्रिक्स के सामान्यीकरण के रूप में देखा जा सकता है जिसमें मानक जटिल आंतरिक उत्पाद से जुड़ी समान गुण होते है।

गुण
परिबद्ध संकारक के हर्मिटियन सहायक के निम्नलिखित गुण तत्काल हैं:


 * 1) अनैच्छिकता (गणित): $A^{∗∗} = A$
 * 2) अगर $A$ व्युत्क्रमणीय है, तो $\left(A^*\right)^{-1} = \left(A^{-1}\right)^*$  के साथ $A^{∗}$ भी व्युत्क्रमणीय है
 * 3) विरोधी-रैखिकता:
 * 4) * $(A + B)^{∗} = A^{∗} + B^{∗}$, जहां $(λA)^{∗} = \overline{λ}A^{∗}$ सम्मिश्र संख्या $\overline{λ}$ के सम्मिश्र संयुग्म को दर्शाता है
 * 5) वितरणात्मक विरोधी : $λ$
 * 1) वितरणात्मक विरोधी : $(AB)^{∗} = B^{∗}A^{∗}$

यदि हम $A$ के संकारक मानदंड को परिभाषित करते हैं
 * $$\| A \|_\text{op} := \sup \left\{\|Ax\| : \|x\| \le 1\right\}$$ द्वारा

तब
 * $$\left\|A^* \right\|_\text{op} = \|A\|_\text{op}.$$

इसके अतिरिक्त,
 * $$\left\|A^* A \right\|_\text{op} = \|A\|_\text{op}^2.$$

एक का कहना है कि एक मानदंड जो इस स्थिति को संतुष्ट करता है वह "सबसे बड़े मूल्य" की तरह व्यवहार करता है, जो स्व-सहायक संकारकों के प्रकरण से अलग है।

एक जटिल हिल्बर्ट स्थान $H$ पर बंधे हुए रैखिक संकारकों का समूह सहायक संचालन और संकारक मानदंड के साथ मिलकर C*-बीजगणित का प्रतिमान बनाते हैं।

परिभाषा
मान लीजिए कि पहले तर्क में आंतरिक उत्पाद $$\langle \cdot, \cdot \rangle$$ रैखिक है। जटिल हिल्बर्ट स्थान $H$ से स्वयं तक सघन रूप से परिभाषित संकारक $A$ एक रैखिक संचालिका है जिसका डोमेन $D(A)$ $H$ का सघन रैखिक उपस्थान है और जिसका मान $H$ में निहित है। परिभाषा के अनुसार, इसके सहायक  $A^{∗}$ का डोमेन $D(A^{∗})$ सभी $y ∈ H$ का समुच्चय है जिसके लिए $z ∈ H$, $$ \langle Ax, y \rangle = \langle x , z \rangle \quad \mbox{for all } x \in D(A)$$ को संतुष्ट करता  है।

$$D(A)$$ के घनत्व और रिज़्ज़ प्रतिनिधित्व प्रमेय के कारण, $$z$$ को विशिष्ट रूप से परिभाषित किया गया है, और, परिभाषा $$A^*y=z$$ द्वारा।

गुण 1.-5. डोमेन और कोडोमेन के बारे में उपयुक्त खंडों के साथ हैं। उदाहरण के लिए, अंतिम संपत्ति अब यह बताती है कि $(AB)^{∗}$, $B^{∗}A^{∗}$ का विस्तार है अगर $A$, $B$ और $AB$ सघन रूप से परिभाषित संकारक हैं।

केर ए$$=(मैं ए)$⊥$
हरएक $$y \in \ker A^*$$ के लिए, रैखिक कार्यात्मक $$x \mapsto \langle Ax,y \rangle = \langle x,A^*y\rangle $$ समान रूप से शून्य है, और इसलिए $$ y \in (\operatorname{im} A)^\perp.$$

इसके विपरीत, यह धारणा कि $$ y \in (\operatorname{im} A)^\perp$$ कार्यात्मकता $$x \mapsto \langle Ax,y \rangle$$ के लिए समान रूप से शून्य होना का कारण बनता है। चूंकि कार्यात्मकता स्पष्ट रूप से परिबद्ध है, इसलिए $$A^*$$ की परिभाषा $$ y \in D(A^*)$$ आश्वासन देता है। यह तथ्य कि, हर किसी  $$ x \in D(A),$$ के लिए$$\langle Ax,y \rangle = \langle x,A^*y\rangle = 0$$  यह दर्शाता है  $$ A^* y \in D(A)^\perp =\overline{D(A)}^\perp = \{0\}, $$ यह देखते हुए कि $$D(A)$$ सघन है।

यह संपत्ति यह दर्शाती है $$\operatorname{ker}A^*$$ तब भी एक स्थलाकृतिक रूप से बंद उपस्थान है जब $$D(A^*)$$ नहीं है।

ज्यामितीय व्याख्या
यदि $$H_1$$ और $$H_2$$ हिल्बर्ट स्थान हैं, तो $$H_1 \oplus H_2$$ आंतरिक उत्पाद $$\bigl \langle (a,b),(c,d) \bigr \rangle_{H_1 \oplus H_2} \stackrel{\text{def}}{=} \langle a,c \rangle_{H_1} + \langle b,d \rangle_{H_2}, $$

के साथ एक हिल्बर्ट स्थान है, जहां $$a,c \in H_1$$ और $$b,d \in H_2$$ हैं।

मान लीजिए $$J\colon H\oplus H \to H \oplus H$$ सिंपलेक्टिक मैपिंग है, यानी $$J(\xi, \eta) = (-\eta, \xi)$$। तो $$ A^* $$ का ग्राफ़ $$G(A^*) =\{(x,y) \mid x\in D(A^*),\ y=A^*x\} \subseteq H \oplus H $$, $$JG(A):$$ $$G(A^*) = (JG(A))^\perp = \{ (x, y) \in H \oplus H : \bigl \langle (x, y), (-A\xi, \xi) \bigr \rangle_{H \oplus H} = 0\;\;\forall \xi \in D(A)\} $$ का आयतीय पूरक है।

अभिअभिकथन समतुल्य


 * $$ \bigl \langle (x, y), (-A\xi, \xi) \bigr \rangle = 0 \quad \Leftrightarrow \quad \langle A\xi, x \rangle = \langle \xi, y \rangle, $$

और


 * $$\Bigl[ \forall \xi \in D(A)\ \ \langle A\xi, x \rangle = \langle \xi, y \rangle \Bigr] \quad \Leftrightarrow \quad x \in D(A^*)\ \&\ y = A^*x $$
 * से अनुसरण करता है।

ए$$बंद है
एक संकारक $$A$$ बंद करने योग्य है यदि ग्राफ़ $$G(A)$$, $$H \oplus H$$ में सांस्थितिक संवरण है। सहायक संचालिका $$A^*$$ का ग्राफ़ $$G(A^*)$$ एक उप-स्थान का आयतीय पूरक है, और इसलिए बंद है।

ए$$ सघन रूप से परिभाषित है ⇔ A बंद करने योग्य है
यदि ग्राफ़ $$G(A)$$ का सांस्थितिक संवरण $$G^\text{cl}(A) \subseteq H \oplus H $$ किसी फलन का ग्राफ़ है तो एक संकारक $$A$$  बंद हो सकता है। चूंकि $$G^\text{cl}(A)$$ एक (बंद) रैखिक उपस्थान है, इसलिए "फलन" शब्द को "रैखिक संकारक" से बदला जा सकता है। इसी कारण से, $$A$$ बंद करने योग्य है यदि और केवल यदि $$(0,v) \notin G^\text{cl}(A)$$ जब तक $$v=0$$ है।

सहायक $$ A^* $$ को सघन रूप से परिभाषित किया गया है यदि और केवल यदि $$A$$ बंद करने योग्य है। यह इस तथ्य से निकलता है कि, प्रत्येक $$v \in H$$ के लिए,
 * $$v \in D(A^*)^\perp\ \Leftrightarrow\ (0,v) \in G^\text{cl}(A),$$

जो, बदले में, समतुल्यताओं की निम्नलिखित श्रृंखला के माध्यम से सिद्ध होता है:

\begin{align} v \in D(A^*)^\perp &\Longleftrightarrow (v,0) \in G(A^*)^\perp \Longleftrightarrow (v,0) \in (JG(A))^\text{cl} = JG^\text{cl}(A) \\ &\Longleftrightarrow (0,-v) = J^{-1}(v,0) \in G^\text{cl}(A) \\ &\Longleftrightarrow (0,v) \in G^\text{cl}(A). \end{align} $$

ए$$ = ए$cl$
समापन $$ A^\text{cl} $$ संकारक $$A$$ का वह संकारक है जिसका ग्राफ़ $$ G^\text{cl}(A) $$ है यदि यह ग्राफ़ किसी फलन का प्रतिनिधित्व करता है। जैसा कि ऊपर बताया गया है, 'फलन "शब्द को "संकारक" से बदला जा सकता है। आगे, $$ A^{**} = A^{\text{cl}},$$ मतलब है कि $$ G(A^{**}) = G^{\text{cl}}(A). $$

इसे सिद्ध करने के लिए, $$J^* = -J,$$ का अवलोकन करें अर्थात $$ \langle Jx,y\rangle_{H \oplus H} = -\langle x,Jy\rangle_{H \oplus H},$$ हरएक $$x,y \in H \oplus H$$ के लिए। वास्तव में,

\begin{align} \langle J(x_1,x_2),(y_1,y_2)\rangle_{H \oplus H} &= \langle (-x_2,x_1),(y_1,y_2)\rangle_{H \oplus H} = \langle -x_2,y_1\rangle_H + \langle x_1,y_2 \rangle_H \\ &= \langle x_1,y_2 \rangle_H + \langle x_2,-y_1 \rangle_H = \langle (x_1,x_2),-J(y_1,y_2)\rangle_{H \oplus H}. \end{align} $$ विशेष रूप से, प्रत्येक $$y \in H \oplus H$$ के लिए और प्रत्येक $$ V \subseteq H \oplus H,$$ $$y \in (JV)^\perp$$  उपस्थान तब भी है अगर और केवल अगर $$Jy \in V^\perp$$ है। इस प्रकार, $$ J[(JV)^\perp] = V^\perp $$ और $$ [J[(JV)^\perp]]^\perp = V^\text{cl}$$ ।  $$ V = G(A),$$  प्रतिस्थापित करने पर $$ G^\text{cl}(A) = G(A^{**})$$ प्राप्त होता है।

ए$$ = (ए$cl$)$$
एक बंद करने योग्य संकारक$$A,$$ $$ A^* = \left(A^\text{cl}\right)^*, $$ के लिए जिसका अर्थ है कि $$G(A^*) = G\left(\left(A^\text{cl}\right)^*\right)$$। वास्तव में,

G\left(\left(A^\text{cl}\right)^*\right) = \left(JG^\text{cl}(A)\right)^\perp = \left(\left(JG(A)\right)^\text{cl}\right)^\perp = (JG(A))^\perp = G(A^*) $$।

विपरीतउदाहरण जहां सहायक को सघन रूप से परिभाषित नहीं किया गया है
मान लीजिए $$H=L^2(\mathbb{R},l),$$ जहाँ $$l$$ रैखिक माप है। एक मापने योग्य, परिबद्ध, गैर-समान रूप से शून्य फलन $$f \notin L^2,$$ चुनें और $$\varphi_0 \in L^2 \setminus \{0\}$$ चुनें। परिभाषित करें

$$A \varphi = \langle f,\varphi\rangle \varphi_0$$।

यह इस प्रकार है कि $$D(A) = \{\varphi \in L^2 \mid \langle f,\varphi\rangle \neq \infty\}.$$ उपस्थान $$D(A)$$ में सघन समर्थन के साथ सभी $$L^2$$ फलनश सम्‍मिलित हैं। चूँकि $$\mathbf{1}_{[-n,n]} \cdot \varphi\ \stackrel{L^2}{\to}\ \varphi,$$ $$A$$ सघन रूप से परिभाषित किया गया है। प्रत्येक $$\varphi \in D(A)$$ और $$\psi \in D(A^*),$$ के लिए
 * $$\langle \varphi, A^*\psi \rangle = \langle A\varphi, \psi \rangle = \langle \langle f,\varphi \rangle\varphi_0, \psi \rangle = \langle f,\varphi \rangle\cdot \langle \varphi_0, \psi \rangle = \langle \varphi, \langle \varphi_0, \psi \rangle f\rangle $$।

इस प्रकार, $$A^* \psi = \langle \varphi_0, \psi \rangle f$$। सहायक संचालिका की परिभाषा के लिए इसकी आवश्यकता है कि $$\mathop{\text{Im}}A^* \subseteq H=L^2$$। चूँकि $$f \notin L^2,$$ यह तभी संभव है जब $$\langle \varphi_0, \psi \rangle= 0$$। इस कारण से, $$D(A^*) = \{\varphi_0\}^\perp$$। इसलिए, $$A^*$$ सघन रूप से परिभाषित नहीं है और $$D(A^*)$$ पर समान रूप से शून्य है। परिणामस्वरूप, $$A$$ बंद करने योग्य नहीं है और इसका कोई दूसरा सहायक $$A^{**}$$ नहीं है।

हर्मिटियन संकारक
एक परिबद्ध संचालिका $A : H → H$ को हर्मिटियन या स्व-सहायक संचालिका कहा जाता है यदि $$A = A^*$$, जो $$\langle Ax, y \rangle = \langle x , A y \rangle \mbox{ for all } x, y \in H$$ के समतुल्य है।

कुछ अर्थों में, ये संकारक वास्तविक संख्याओं की भूमिका निभाते हैं (अपने स्वयं के जटिल संयुग्म के बराबर होते हैं) और एक वास्तविक सदिश स्थल बनाते हैं। वे क्वांटम यांत्रिकी में वास्तविक-मूल्यवान अवलोकन योग्य वस्तुओं के प्रतिरूप के रूप में कार्य करते हैं। संपूर्ण उपचार के लिए स्व-सहायक संकारकों पर लेख देखें।

प्रतिरेखीय संकारकों के सहायक
एक प्रतिरेखीय मानचित्र के लिए जटिल संयुग्मन की क्षतिपूर्ति के लिए सहायक की परिभाषा को समायोजित करने की आवश्यकता है। जटिल हिल्बर्ट स्थान $H$ पर प्रतिरेखीय संकारक $A$ का सहायक संकारक एक प्रतिरेखीय संकारक $A^{∗} : H → H$ है, जिसकी संपत्ति


 * $$\langle Ax, y \rangle = \overline{\left\langle x , A^* y \right\rangle} \quad \text{for all } x, y \in H$$ है।

अन्य सहायक
समीकरण
 * $$\langle Ax, y \rangle = \left\langle x, A^* y \right\rangle$$

औपचारिक रूप से श्रेणी सिद्धांत में सहायक प्रकार्यक के जोड़े के परिभाषित गुणों के समान है, और यहीं से सहायक संचालिका को अपना नाम मिला है।

यह भी देखें

 * गणितीय अवधारणाएँ
 * हर्मिटियन संकारक
 * सामान्य (गणित)
 * ट्रांसपोज़#रैखिक मानचित्र का ट्रांसपोज़
 * संयुग्मी स्थानांतरण
 * भौतिक अनुप्रयोग
 * संकारक (भौतिकी)
 * †-बीजगणित