रेखीय मानचित्र

"रैखिक परिवर्तन" redirects here. For आंशिक रैखिक परिवर्तन, see मोबियस परिवर्तन.

Not to be confused with रैखिक प्रकार्य.

गणित में, और अधिक विशेष रूप से रैखिक बीजगणित में, एक रेखीय नक्शा (जिसे एक रेखीय नक्शा, रैखिक परिवर्तन, सदिश स्थान समरूपता या कुछ संदर्भों में रैखिक फलन भी कहा जाता है) दो सदिश स्थानों के बीच एक नक्शा $V\to W$ है जो सदिश जोड़ और अदिश गुणज के संचालन को संरक्षित करता है। रिंग (गणित) पर इकाई (गणित) के अधिक सामान्य मामले के लिए समान नाम और समान परिभाषा का भी उपयोग किया जाता है, जैसे इकाई समरूपता देखें।

यदि एक रेखीय नक्शा एक आक्षेप है तो इसे रेखीय समरूपता कहा जाता है। ऐसे मामले में जहां $V=W$, एक रेखीय नक्शा को (रैखिक) अंतःरूपांतरण कहा जाता है। कभी-कभी 'रैखिक संचालक' शब्द इस मामले को संदर्भित करता है, लेकिन रैखिक संचालक शब्द के विभिन्न सम्मेलनों के लिए अलग-अलग अर्थ हो सकते हैं, उदाहरण के लिए, इसका उपयोग इस बात पर जोर देने के लिए किया जा सकता है कि $V$ तथा $W$ वास्तविक संख्या सदिश स्थान हैं (जरूरी नहीं कि $V=W$ के साथ) ), या इसका उपयोग इस बात पर जोर देने के लिए किया जा सकता है कि $V$ एक कार्य स्थान है, जो कार्यात्मक विश्लेषण में एक आम सम्मेलन है। कभी-कभी रेखीय फलन शब्द का वही अर्थ होता है जो रेखीय नक्शे का होता है, जबकि गणितीय विश्लेषण में ऐसा नहीं होता।

V से W तक का एक रेखीय नक्शा हमेशा V की उत्पत्ति को W की उत्पत्ति से मानचित्रित करता है। इसके अलावा, यह V में रैखिक उप-स्थानों को W में रैखिक उप-स्थानों पर मैप करता है (संभवतः एक निम्न आयाम (वेक्टर स्थान)); उदाहरण के लिए, यह वी में उत्पत्ति (ज्यामिति) के माध्यम से एक विमान (ज्यामिति) को या तो डब्ल्यू में मूल के माध्यम से एक विमान, डब्ल्यू में मूल के माध्यम से एक रेखा (ज्यामिति), या डब्ल्यू में मूल के माध्यम से नक्शा करता है। रैखिक नक्शे अक्सर हो सकते हैं मैट्रिक्स (गणित) के रूप में प्रतिनिधित्व किया जा सकता है, और सरल उदाहरणों में दो आयामों में घूर्णन और प्रतिबिंब शामिल हैं।

श्रेणी सिद्धांत की भाषा में, रेखीय नक्शा सदिश स्थानों के आकारिकी हैं।

परिभाषा और प्रथम परिणाम

होने देना $V$ तथा $W$ एक ही फ़ील्ड (गणित) पर वेक्टर रिक्त स्थान बनें $K$. एक समारोह $f:V\to W$ यदि किन्हीं दो सदिशों के लिए एक रेखीय नक्शा कहा जाता है ${\textstyle \mathbf {u} ,\mathbf {v} \in V}$ और कोई अदिश $c\in K$ निम्नलिखित दो शर्तें संतुष्ट हैं:

• योगात्मक नक्शा / जोड़ का संचालन
  $$f(\mathbf {u} +\mathbf {v} )=f(\mathbf {u} )+f(\mathbf {v} )$$
• डिग्री 1 का सजातीय कार्य / स्केलर गुणन का संचालन
  $$f(c\mathbf {u} )=cf(\mathbf {u} )$$

इस प्रकार, एक रेखीय नक्शा को संक्रिया संरक्षण कहा जाता है। दूसरे शब्दों में, इससे कोई फर्क नहीं पड़ता कि रैखिक नक्शा पहले (उपरोक्त उदाहरणों के दाहिने हाथ की तरफ) या बाद में (उदाहरण के बाएं हाथ की तरफ) जोड़ और स्केलर गुणा के संचालन के बाद लागू होता है।

योग द्वारा#सहयोगिता को किसी भी सदिश के लिए + के रूप में निरूपित किया जाता है ${\textstyle \mathbf {u} _{1},\ldots ,\mathbf {u} _{n}\in V}$ और अदिश ${\textstyle c_{1},\ldots ,c_{n}\in K,}$ निम्नलिखित समानता रखती है:

$$f(c_{1}\mathbf {u} _{1}+\cdots +c_{n}\mathbf {u} _{n})=c_{1}f(\mathbf {u} _{1})+\cdots +c_{n}f(\mathbf {u} _{n}).$$

इस प्रकार एक रैखिक नक्शा वह है जो रैखिक संयोजन को संरक्षित करता है।

वेक्टर रिक्त स्थान के शून्य तत्वों को निरूपित करना $V$ तथा $W$ द्वारा ${\textstyle \mathbf {0} _{V}}$ तथा ${\textstyle \mathbf {0} _{W}}$ क्रमशः, यह इस प्रकार है कि ${\textstyle f(\mathbf {0} _{V})=\mathbf {0} _{W}.}$ होने देना $c=0$ तथा ${\textstyle \mathbf {v} \in V}$ डिग्री 1 की एकरूपता के समीकरण में:

$$f(\mathbf {0} _{V})=f(0\mathbf {v} )=0f(\mathbf {v} )=\mathbf {0} _{W}.$$

एक रेखीय नक्शा $V\to K$ साथ $K$ स्वयं के ऊपर एक आयामी सदिश समष्टि के रूप में देखे जाने को एक रेखीय फलन कहा जाता है। ये कथन किसी भी वाम-मॉड्यूल के लिए सामान्य हैं ${\textstyle {}_{R}M}$ एक अंगूठी के ऊपर $R$ बिना संशोधन के, और स्केलर गुणन को उलटने पर किसी भी सही-मॉड्यूल के लिए।

उदाहरण

• एक प्रोटोटाइप उदाहरण जो रैखिक नक्शाों को उनका नाम देता है, एक फ़ंक्शन है $f:\mathbb {R} \to \mathbb {R} :x\mapsto cx$, जिनमें से किसी फ़ंक्शन का ग्राफ़ मूल बिंदु से होकर जाने वाली एक रेखा है।
• अधिक आम तौर पर, कोई समरूपता ${\textstyle \mathbf {v} \mapsto c\mathbf {v} }$ कहाँ पे $c$ एक सदिश समष्टि के मूल में केन्द्रित एक रेखीय नक्शा है।
• शून्य नक्शा ${\textstyle \mathbf {x} \mapsto \mathbf {0} }$ दो वेक्टर रिक्त स्थान (एक ही क्षेत्र (गणित) पर) के बीच रैखिक है।
• किसी भी मॉड्यूल पर पहचान कार्य एक रैखिक ऑपरेटर है।
• वास्तविक संख्याओं के लिए, नक्शा ${\textstyle x\mapsto x^{2}}$ रेखीय नहीं है।
• वास्तविक संख्या के लिए, नक्शा ${\textstyle x\mapsto x+1}$ रैखिक नहीं है (लेकिन एक परिशोधन परिवर्तन है)।
• यदि $A$ एक है $m\times n$ असली मैट्रिक्स, फिर $A$ से एक रेखीय नक्शा को परिभाषित करता है $\mathbb {R} ^{n}$ प्रति $\mathbb {R} ^{m}$ एक कॉलम वेक्टर भेजकर $\mathbf {x} \in \mathbb {R} ^{n}$ कॉलम वेक्टर के लिए $A\mathbf {x} \in \mathbb {R} ^{m}$. इसके विपरीत, परिमित-आयामी सदिश स्थानों के बीच किसी भी रेखीय नक्शा को इस तरीके से प्रदर्शित किया जा सकता है; देखें § Matrices, नीचे।
• यदि ${\textstyle f:V\to W}$ वास्तविक मानक रिक्त स्थान के बीच एक आइसोमेट्री है जैसे कि ${\textstyle f(0)=0}$ फिर $f$ एक रैखिक नक्शा है। यह परिणाम जटिल आदर्श स्थान के लिए आवश्यक रूप से सत्य नहीं है। * व्युत्पन्न सभी अलग-अलग कार्यों के स्थान से सभी कार्यों के स्थान तक एक रेखीय नक्शा को परिभाषित करता है। यह सभी चिकने कार्यों के स्थान पर एक रैखिक ऑपरेटर को भी परिभाषित करता है (एक रैखिक ऑपरेटर एक रैखिक एंडोमोर्फिज्म है, अर्थात एक फ़ंक्शन और कोडोमेन के समान डोमेन के साथ एक रैखिक नक्शा)। एक उदाहरण है
  $${\frac {d}{dx}}\left(c_{1}f_{1}(x)+c_{2}f_{2}(x)+\cdots +c_{n}f_{n}(x)\right)=c_{1}{\frac {df_{1}(x)}{dx}}+c_{2}{\frac {df_{2}(x)}{dx}}+\cdots +c_{n}{\frac {df_{n}(x)}{dx}}.$$
• कुछ अंतराल पर एक निश्चित अभिन्न (गणित) I पर सभी वास्तविक-मूल्यवान समाकलनीय फलनों के स्थान से एक रेखीय नक्शा है I प्रति $\mathbb {R}$. उदाहरण के लिए,
  $$\int _{a}^{b}\left[c_{1}f_{1}(x)+c_{2}f_{2}(x)+\dots +c_{n}f_{n}(x)\right]\,dx={c_{1}\int _{a}^{b}f_{1}(x)\,dx}+c_{2}\int _{a}^{b}f_{2}(x)\,dx+\cdots +c_{n}\int _{a}^{b}f_{n}(x)\,dx.$$
• एक निश्चित एकीकरण प्रारंभिक बिंदु के साथ एक अनिश्चित अभिन्न (या एंटीडेरिवेटिव) सभी वास्तविक-मूल्यवान अभिन्न कार्यों के स्थान से एक रैखिक नक्शा को परिभाषित करता है $\mathbb {R}$ सभी वास्तविक-मूल्यवान, अलग-अलग कार्यों के स्थान पर $\mathbb {R}$. एक निश्चित प्रारंभिक बिंदु के बिना, निरंतर कार्यों के रैखिक स्थान द्वारा अलग-अलग कार्यों के भागफल स्थान (रैखिक बीजगणित) के लिए प्रतिपक्षी नक्शा।
• यदि $V$ तथा $W$ एक क्षेत्र पर परिमित-आयामी वेक्टर रिक्त स्थान हैं F, संबंधित आयामों के m तथा n, फिर वह फ़ंक्शन जो रैखिक नक्शाों को मैप करता है ${\textstyle f:V\to W}$ प्रति n × m मैट्रिक्स में वर्णित तरीके से § Matrices (नीचे) एक रैखिक नक्शा है, और यहां तक ​​​​कि एक रैखिक समरूपता भी है।
• एक यादृच्छिक चर का अपेक्षित मान# परिभाषा (जो वास्तव में एक फ़ंक्शन है, और एक वेक्टर अंतरिक्ष के ऐसे तत्व के रूप में) रैखिक है, यादृच्छिक चर के लिए $X$ तथा $Y$ अपने पास $E[X+Y]=E[X]+E[Y]$ तथा $E[aX]=aE[X]$, लेकिन यादृच्छिक चर का प्रसरण रैखिक नहीं होता है।

• 

  The function ${\textstyle f:\mathbb {R} ^{2}\to \mathbb {R} ^{2}}$ with ${\textstyle f(x,y)=(2x,y)}$ is a linear map. This function scales the ${\textstyle x}$ component of a vector by the factor ${\textstyle 2}$.

• 

  The function ${\textstyle f(x,y)=(2x,y)}$ is additive: It doesn't matter whether vectors are first added and then mapped or whether they are mapped and finally added: ${\textstyle f(\mathbf {a} +\mathbf {b} )=f(\mathbf {a} )+f(\mathbf {b} )}$

• 

  The function ${\textstyle f(x,y)=(2x,y)}$ is homogeneous: It doesn't matter whether a vector is first scaled and then mapped or first mapped and then scaled: ${\textstyle f(\lambda \mathbf {a} )=\lambda f(\mathbf {a} )}$

रेखीय विस्तार

अक्सर, एक सदिश समष्टि के उपसमुच्चय पर इसे परिभाषित करके और फिर एक रेखीय नक्शा का निर्माण किया जाता है extending it by linearity डोमेन के रैखिक अवधि के लिए। एlinear extensionएक समारोह का (गणित) $f$ के एक समारोह का विस्तार है $f$ कुछ सदिश स्थान के लिए जो एक रेखीय नक्शा है। मान लीजिए $X$ तथा $Y$ वेक्टर रिक्त स्थान हैं और $f:S\to Y$ कुछ सबसेट पर परिभाषित एक फ़ंक्शन है $S\subseteq X.$ फिर $f$ एक रेखीय नक्शा तक बढ़ाया जा सकता है $F:\operatorname {span} S\to Y$ अगर और केवल अगर जब भी $n>0$ एक पूर्णांक है, $c_{1},\ldots ,c_{n}$ अदिश हैं, और $s_{1},\ldots ,s_{n}\in S$ ऐसे सदिश हैं $0=c_{1}s_{1}+\cdots +c_{n}s_{n},$ तो अनिवार्य रूप से $0=c_{1}f\left(s_{1}\right)+\cdots +c_{n}f\left(s_{n}\right).$ यदि का रैखिक विस्तार $f:S\to Y$ मौजूद है तो रैखिक विस्तार $F:\operatorname {span} S\to Y$ अद्वितीय है और

$$F\left(c_{1}s_{1}+\cdots c_{n}s_{n}\right)=c_{1}f\left(s_{1}\right)+\cdots +c_{n}f\left(s_{n}\right)$$

सभी के लिए रखता है $n,c_{1},\ldots ,c_{n},$ तथा $s_{1},\ldots ,s_{n}$ ऊपरोक्त अनुसार। यदि $S$ रैखिक रूप से स्वतंत्र है तो प्रत्येक कार्य $f:S\to Y$ किसी भी वेक्टर अंतरिक्ष में एक (रैखिक) नक्शा के लिए एक रैखिक विस्तार होता है $\;\operatorname {span} S\to Y$ (इसका उलटा भी सच है)।

उदाहरण के लिए, यदि $X=\mathbb {R} ^{2}$ तथा $Y=\mathbb {R}$ फिर असाइनमेंट $(1,0)\to -1$ तथा $(0,1)\to 2$ सदिशों के रैखिक रूप से स्वतंत्र सेट से रैखिक रूप से बढ़ाया जा सकता है $S:=\{(1,0),(0,1)\}$ पर एक रेखीय नक्शा के लिए $\operatorname {span} \{(1,0),(0,1)\}=\mathbb {R} ^{2}.$ अद्वितीय रैखिक विस्तार $F:\mathbb {R} ^{2}\to \mathbb {R}$ वह नक्शा है जो भेजता है $(x,y)=x(1,0)+y(0,1)\in \mathbb {R} ^{2}$ प्रति

$$F(x,y)=x(-1)+y(2)=-x+2y.$$

प्रत्येक (अदिश-मूल्यवान) रैखिक कार्यात्मक $f$ एक वास्तविक या जटिल सदिश स्थान के सदिश उप-स्थान पर परिभाषित $X$ सभी के लिए एक रैखिक विस्तार है $X.$ वास्तव में, हन-बनच प्रमेय | हन-बनच प्रभुत्व विस्तार प्रमेय यह भी गारंटी देता है कि जब यह रैखिक कार्य करता है $f$ कुछ दिए गए सेमिनॉर्म का प्रभुत्व है $p:X\to \mathbb {R}$ (जिसका अर्थ है कि $|f(m)|\leq p(m)$ सभी के लिए धारण करता है $m$ के क्षेत्र में $f$) तो . के लिए एक रैखिक विस्तार मौजूद है $X$ उस पर भी हावी है $p.$

मैट्रिक्स

Main article: Transformation matrix

यदि $V$ तथा $W$ परिमित-आयामी वेक्टर रिक्त स्थान हैं और वेक्टर अंतरिक्ष का आधार प्रत्येक वेक्टर अंतरिक्ष के लिए परिभाषित किया गया है, फिर प्रत्येक रैखिक नक्शा से $V$ प्रति $W$ एक मैट्रिक्स (गणित) द्वारा दर्शाया जा सकता है। यह उपयोगी है क्योंकि यह ठोस गणना की अनुमति देता है। मैट्रिसेस रैखिक नक्शाों के उदाहरण देते हैं: if $A$ एक वास्तविक है $m\times n$ मैट्रिक्स, फिर $f(\mathbf {x} )=A\mathbf {x}$ एक रैखिक नक्शा का वर्णन करता है $\mathbb {R} ^{n}\to \mathbb {R} ^{m}$ (यूक्लिडियन स्पेस देखें)।

होने देना $\{\mathbf {v} _{1},\ldots ,\mathbf {v} _{n}\}$ का आधार हो $V$. फिर हर वेक्टर $\mathbf {v} \in V$ गुणांक द्वारा विशिष्ट रूप से निर्धारित किया जाता है $c_{1},\ldots ,c_{n}$ क्षेत्र में $\mathbb {R}$:

$$\mathbf {v} =c_{1}\mathbf {v} _{1}+\cdots +c_{n}\mathbf {v} _{n}.$$

यदि ${\textstyle f:V\to W}$ एक रैखिक नक्शा है,

$$f(\mathbf {v} )=f(c_{1}\mathbf {v} _{1}+\cdots +c_{n}\mathbf {v} _{n})=c_{1}f(\mathbf {v} _{1})+\cdots +c_{n}f\left(\mathbf {v} _{n}\right),$$

जिसका अर्थ है कि फलन f पूर्णतया सदिशों द्वारा निर्धारित होता है $f(\mathbf {v} _{1}),\ldots ,f(\mathbf {v} _{n})$. अब चलो $\{\mathbf {w} _{1},\ldots ,\mathbf {w} _{m}\}$ का आधार हो $W$. फिर हम प्रत्येक वेक्टर का प्रतिनिधित्व कर सकते हैं $f(\mathbf {v} _{j})$ जैसा

$$f\left(\mathbf {v} _{j}\right)=a_{1j}\mathbf {w} _{1}+\cdots +a_{mj}\mathbf {w} _{m}.$$

इस प्रकार, समारोह $f$ पूरी तरह से के मूल्यों से निर्धारित होता है $a_{ij}$. यदि हम इन मानों को a में रखते हैं $m\times n$ आव्यूह $M$, तो हम आसानी से इसका उपयोग वेक्टर आउटपुट की गणना करने के लिए कर सकते हैं $f$ किसी भी वेक्टर के लिए $V$. लेना $M$, हर कॉलम $j$ का $M$ एक वेक्टर है

$${\begin{pmatrix}a_{1j}\\\vdots \\a_{mj}\end{pmatrix}}$$

तदनुसार $f(\mathbf {v} _{j})$ जैसा कि ऊपर परिभाषित किया गया है। इसे और स्पष्ट रूप से परिभाषित करने के लिए, कुछ कॉलम के लिए $j$ जो नक्शा से मेल खाती है $f(\mathbf {v} _{j})$,

$$\mathbf {M} ={\begin{pmatrix}\ \cdots &a_{1j}&\cdots \ \\&\vdots &\\&a_{mj}&\end{pmatrix}}$$

कहाँ पे $M$ का मैट्रिक्स है $f$. दूसरे शब्दों में, प्रत्येक स्तंभ $j=1,\ldots ,n$ एक संबंधित वेक्टर है $f(\mathbf {v} _{j})$ जिसके निर्देशांक $a_{1j},\cdots ,a_{mj}$ स्तंभ के तत्व हैं $j$. एक एकल रैखिक नक्शा को कई आव्यूहों द्वारा दर्शाया जा सकता है। ऐसा इसलिए है क्योंकि मैट्रिक्स के तत्वों के मान चुने गए आधारों पर निर्भर करते हैं।

एक रैखिक परिवर्तन के मैट्रिक्स को नेत्रहीन रूप से दर्शाया जा सकता है:

1. मैट्रिक्स के लिए ${\textstyle T}$ के सापेक्ष ${\textstyle B}$: ${\textstyle A}$
2. मैट्रिक्स के लिए ${\textstyle T}$ के सापेक्ष ${\textstyle B'}$: ${\textstyle A'}$
3. संक्रमण मैट्रिक्स से ${\textstyle B'}$ प्रति ${\textstyle B}$: ${\textstyle P}$
4. संक्रमण मैट्रिक्स से ${\textstyle B}$ प्रति ${\textstyle B'}$: ${\textstyle P^{-1}}$

File:Linear transformation visualization.svg

कोई नहीं

ऐसा कि नीचे बाएँ कोने में शुरू ${\textstyle \left[\mathbf {v} \right]_{B'}}$ और निचले दाएं कोने की तलाश में ${\textstyle \left[T\left(\mathbf {v} \right)\right]_{B'}}$, कोई बायें-गुणा करेगा—अर्थात्, ${\textstyle A'\left[\mathbf {v} \right]_{B'}=\left[T\left(\mathbf {v} \right)\right]_{B'}}$. समतुल्य विधि एक ही बिंदु से दक्षिणावर्त जाने वाली लंबी विधि होगी जैसे कि ${\textstyle \left[\mathbf {v} \right]_{B'}}$ के साथ वाम-गुणा किया जाता है ${\textstyle P^{-1}AP}$, या ${\textstyle P^{-1}AP\left[\mathbf {v} \right]_{B'}=\left[T\left(\mathbf {v} \right)\right]_{B'}}$.

दो आयामों में उदाहरण

द्वि-आयामी अंतरिक्ष में R² रैखिक नक्शाों का वर्णन 2 × 2 मैट्रिक्स (गणित) द्वारा किया जाता है। ये कुछ उदाहरण हैं:

• रोटेशन (गणित)
  • 90 डिग्री वामावर्त:
    $$\mathbf {A} ={\begin{pmatrix}0&-1\\1&0\end{pmatrix}}$$
  • θ वामावर्त कोण से:
    $$\mathbf {A} ={\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}}$$
• प्रतिबिंब (गणित)
  • एक्स अक्ष के माध्यम से:
    $$\mathbf {A} ={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}$$
  • वाई अक्ष के माध्यम से:
    $$\mathbf {A} ={\begin{pmatrix}-1&0\\0&1\end{pmatrix}}$$
  • मूल बिंदु से θ कोण बनाने वाली रेखा के माध्यम से:
    $$\mathbf {A} ={\begin{pmatrix}\cos 2\theta &\sin 2\theta \\\sin 2\theta &-\cos 2\theta \end{pmatrix}}$$
    * सभी दिशाओं में 2 से स्केलिंग (ज्यामिति):
    $$\mathbf {A} ={\begin{pmatrix}2&0\\0&2\end{pmatrix}}=2\mathbf {I}$$
• कतरनी नक्शा:
  $$\mathbf {A} ={\begin{pmatrix}1&m\\0&1\end{pmatrix}}$$
• निचोड़ मैपिंग:
  $$\mathbf {A} ={\begin{pmatrix}k&0\\0&{\frac {1}{k}}\end{pmatrix}}$$
• y अक्ष पर प्रक्षेपण (रैखिक बीजगणित):
  $$\mathbf {A} ={\begin{pmatrix}0&0\\0&1\end{pmatrix}}.$$

रैखिक नक्शाों का वेक्टर स्थान

रेखीय नक्शों की संरचना रेखीय है: यदि $f:V\to W$ तथा ${\textstyle g:W\to Z}$ रैखिक हैं, तो उनकी संबंध रचना भी है ${\textstyle g\circ f:V\to Z}$. यह इस प्रकार है कि किसी दिए गए क्षेत्र K पर सभी वेक्टर रिक्त स्थान का वर्ग (सेट सिद्धांत), K-रैखिक नक्शाों के साथ-साथ आकारिकी के रूप में, एक श्रेणी (गणित) बनाता है।

एक रेखीय नक्शा का प्रतिलोम फलन, जब परिभाषित किया जाता है, फिर से एक रेखीय नक्शा होता है।

यदि ${\textstyle f_{1}:V\to W}$ तथा ${\textstyle f_{2}:V\to W}$ रैखिक हैं, तो उनका बिंदुवार योग भी उतना ही है $f_{1}+f_{2}$, जिसे द्वारा परिभाषित किया गया है $(f_{1}+f_{2})(\mathbf {x} )=f_{1}(\mathbf {x} )+f_{2}(\mathbf {x} )$.

यदि ${\textstyle f:V\to W}$ रैखिक है और ${\textstyle \alpha }$ जमीनी क्षेत्र का एक तत्व है ${\textstyle K}$, फिर नक्शा ${\textstyle \alpha f}$, द्वारा परिभाषित ${\textstyle (\alpha f)(\mathbf {x} )=\alpha (f(\mathbf {x} ))}$, रैखिक भी है।

इस प्रकार सेट ${\textstyle {\mathcal {L}}(V,W)}$ से रेखीय नक्शाों का ${\textstyle V}$ प्रति ${\textstyle W}$ स्वयं एक सदिश समष्टि बनाता है ${\textstyle K}$, कभी-कभी निरूपित ${\textstyle \operatorname {Hom} (V,W)}$. इसके अलावा, उस मामले में ${\textstyle V=W}$, यह सदिश स्थान, निरूपित ${\textstyle \operatorname {End} (V)}$, नक्शों की रचना के तहत एक साहचर्य बीजगणित है, क्योंकि दो रेखीय नक्शों की रचना फिर से एक रेखीय नक्शा है, और नक्शों की रचना हमेशा साहचर्य होती है। इस मामले पर नीचे और अधिक विस्तार से चर्चा की गई है।

फिर से परिमित-आयामी मामले को देखते हुए, यदि आधारों को चुना गया है, तो रैखिक नक्शाों की संरचना मैट्रिक्स गुणन से मेल खाती है, रैखिक नक्शाों का जोड़ मैट्रिक्स जोड़ से मेल खाता है, और स्केलर के साथ रैखिक नक्शाों का गुणन के गुणन से मेल खाता है स्केलर के साथ मेट्रिसेस।

एंडोमोर्फिज्म और ऑटोमोर्फिज्म

Main articles: Endomorphism and Automorphism

एक रैखिक परिवर्तन ${\textstyle f:V\to V}$ का एंडोमोर्फिज्म है ${\textstyle V}$; ऐसे सभी एंडोमोर्फिज्म का सेट ${\textstyle \operatorname {End} (V)}$ योग, संघटन और अदिश गुणन के साथ जैसा कि ऊपर परिभाषित किया गया है, क्षेत्र पर पहचान तत्व के साथ एक साहचर्य बीजगणित बनाता है ${\textstyle K}$ (और विशेष रूप से एक अंगूठी (बीजगणित))। इस बीजगणित का गुणक पहचान तत्व पहचान कार्य है ${\textstyle \operatorname {id} :V\to V}$.

का एंडोमोर्फिज्म ${\textstyle V}$ वह भी एक समरूपता है जिसे ऑटोमोर्फिज्म कहा जाता है ${\textstyle V}$. दो ऑटोमोर्फिज्म की संरचना फिर से एक ऑटोमोर्फिज्म है, और सभी ऑटोमोर्फिज्म का सेट है ${\textstyle V}$ एक समूह (गणित) बनाता है, का ऑटोमोर्फिज्म समूह ${\textstyle V}$ जिसे द्वारा दर्शाया गया है ${\textstyle \operatorname {Aut} (V)}$ या ${\textstyle \operatorname {GL} (V)}$. चूंकि ऑटोमोर्फिज्म ठीक वे एंडोमोर्फिज्म हैं, जिनमें रचना के तहत व्युत्क्रम होते हैं, ${\textstyle \operatorname {Aut} (V)}$ रिंग में यूनिट (रिंग थ्योरी) का समूह है ${\textstyle \operatorname {End} (V)}$.

यदि ${\textstyle V}$ परिमित आयाम है ${\textstyle n}$, फिर ${\textstyle \operatorname {End} (V)}$ सभी के साहचर्य बीजगणित के लिए समरूपता है ${\textstyle n\times n}$ प्रविष्टियों के साथ मेट्रिसेस ${\textstyle K}$. ऑटोमोर्फिज्म ग्रुप ऑफ ${\textstyle V}$ सामान्य रैखिक समूह के लिए समूह समरूपता है ${\textstyle \operatorname {GL} (n,K)}$ के सभी ${\textstyle n\times n}$ प्रविष्टियों के साथ उलटा मैट्रिक्स ${\textstyle K}$.

कर्नेल, छवि और रैंक-शून्यता प्रमेय

Main articles: Kernel (linear algebra), Image (mathematics), and Rank of a matrix

यदि ${\textstyle f:V\to W}$ रैखिक है, हम कर्नेल (रैखिक ऑपरेटर) और छवि (गणित) या किसी फ़ंक्शन की श्रेणी को परिभाषित करते हैं ${\textstyle f}$ द्वारा

$${\begin{aligned}\ker(f)&=\{\,\mathbf {x} \in V:f(\mathbf {x} )=\mathbf {0} \,\}\\\operatorname {im} (f)&=\{\,\mathbf {w} \in W:\mathbf {w} =f(\mathbf {x} ),\mathbf {x} \in V\,\}\end{aligned}}$$

${\textstyle \ker(f)}$ की एक रेखीय उपसमष्टि है ${\textstyle V}$ तथा ${\textstyle \operatorname {im} (f)}$ की एक उपसमष्टि है ${\textstyle W}$. निम्नलिखित आयाम सूत्र को रैंक-शून्यता प्रमेय के रूप में जाना जाता है:

$$\dim(\ker(f))+\dim(\operatorname {im} (f))=\dim(V).$$

जो नंबर ${\textstyle \dim(\operatorname {im} (f))}$ के मैट्रिक्स की कोटि भी कहलाती है ${\textstyle f}$ और के रूप में लिखा ${\textstyle \operatorname {rank} (f)}$, या कभी कभी, ${\textstyle \rho (f)}$; संख्या ${\textstyle \dim(\ker(f))}$ कर्नेल (मैट्रिक्स) को कहा जाता है# . के सबस्पेस गुण ${\textstyle f}$ और के रूप में लिखा गया है ${\textstyle \operatorname {null} (f)}$ या ${\textstyle \nu (f)}$.यदि ${\textstyle V}$ तथा ${\textstyle W}$ परिमित-आयामी हैं, आधार चुने गए हैं और ${\textstyle f}$ मैट्रिक्स द्वारा दर्शाया गया है ${\textstyle A}$, फिर की रैंक और शून्यता ${\textstyle f}$ मैट्रिक्स के रैंक और शून्यता के बराबर हैं ${\textstyle A}$, क्रमश।

कोकरनेल

Main article: Cokernel

एक रेखीय परिवर्तन का एक सूक्ष्मतर अपरिवर्तनीय ${\textstyle f:V\to W}$ कोकरनेल है, जिसे इस रूप में परिभाषित किया गया है

$$\operatorname {coker} (f):=W/f(V)=W/\operatorname {im} (f).$$

यह कर्नेल के लिए दोहरी धारणा है: जैसे कर्नेल डोमेन का एक उप-स्थान है, सह-कर्नेल लक्ष्य का एक भागफल स्थान (रैखिक बीजगणित) है। औपचारिक रूप से, किसी का सटीक क्रम होता है

$$0\to \ker(f)\to V\to W\to \operatorname {coker} (f)\to 0.$$

इनकी व्याख्या इस प्रकार की जा सकती है: हल करने के लिए एक रैखिक समीकरण f('v') = 'w' दिया गया है,

• कर्नेल सजातीय समीकरण f('v') = 0 के समाधान का स्थान है, और इसका आयाम समाधान के स्थान में स्वतंत्रता की डिग्री की संख्या है, यदि यह खाली नहीं है;
• सह-कर्नेल विकट का स्थान है: बाधा जिसे समाधान संतुष्ट करना चाहिए, और इसका आयाम स्वतंत्र बाधाओं की अधिकतम संख्या है।

सह-कर्नेल का आयाम और छवि का आयाम (रैंक) लक्ष्य स्थान के आयाम तक जुड़ जाता है। परिमित आयामों के लिए, इसका अर्थ है कि भागफल स्थान W/f(V) का आयाम लक्ष्य स्थान का आयाम घटा छवि का आयाम है।

एक साधारण उदाहरण के रूप में, नक्शा पर विचार करें f: 'R'² → आर², f(x, y) = (0, y) द्वारा दिया गया है। फिर एक समीकरण f(x, y) = (a, b) के हल के लिए, हमारे पास a = 0 (एक बाधा) होना चाहिए, और उस स्थिति में समाधान स्थान (x, b) या समकक्ष रूप से कहा गया है, ( 0, बी) + (एक्स, 0) (स्वतंत्रता की एक डिग्री)। कर्नेल को सबस्पेस (x, 0) <V के रूप में व्यक्त किया जा सकता है: x का मान समाधान में स्वतंत्रता है - जबकि कोकर्नेल को नक्शा W → 'R' के माध्यम से व्यक्त किया जा सकता है, ${\textstyle (a,b)\mapsto (a)}$: एक वेक्टर (ए, बी) दिया गया है, ए का मान समाधान होने में बाधा है।

अनंत-आयामी मामले को दर्शाने वाला एक उदाहरण नक्शा f: 'R' द्वारा वहन किया जाता है^∞ → आर, ${\textstyle \left\{a_{n}\right\}\mapsto \left\{b_{n}\right\}}$ बी के साथ₁ = 0 और बी_{n + 1} = ए_nn> 0 के लिए। इसकी छवि में पहले तत्व 0 के साथ सभी अनुक्रम होते हैं, और इस प्रकार इसके कोकर्नेल में समान प्रथम तत्व वाले अनुक्रमों के वर्ग होते हैं। इस प्रकार, जबकि इसके कर्नेल का आयाम 0 है (यह केवल शून्य अनुक्रम को शून्य अनुक्रम में मैप करता है), इसके सह-कर्नेल का आयाम 1 है। चूंकि डोमेन और लक्ष्य स्थान समान हैं, कर्नेल का रैंक और आयाम जुड़ जाता है एक ही कार्डिनल नंबर के लिए # को-कर्नेल के रैंक और आयाम के रूप में कार्डिनल जोड़ (${\textstyle \aleph _{0}+0=\aleph _{0}+1}$), लेकिन अनंत-आयामी मामले में यह अनुमान नहीं लगाया जा सकता है कि एंडोमोर्फिज्म के कर्नेल और सह-कर्नेल का एक ही आयाम (0 ≠ 1) है। नक्शा h: 'R' के लिए विपरीत स्थिति प्राप्त होती है^∞ → आर, ${\textstyle \left\{a_{n}\right\}\mapsto \left\{c_{n}\right\}}$ सी के साथ_n= ए_{n + 1}. इसकी छवि संपूर्ण लक्ष्य स्थान है, और इसलिए इसके सह-कर्नेल का आयाम 0 है, लेकिन चूंकि यह सभी अनुक्रमों को मैप करता है जिसमें केवल पहला तत्व गैर-शून्य से शून्य अनुक्रम होता है, इसके कर्नेल का आयाम 1 होता है।

सूचकांक

परिमित-आयामी कर्नेल और सह-कर्नेल वाले एक रैखिक ऑपरेटर के लिए, इंडेक्स को इस प्रकार परिभाषित किया जा सकता है:

$$\operatorname {ind} (f):=\dim(\ker(f))-\dim(\operatorname {coker} (f)),$$

अर्थात् स्वतंत्रता की डिग्री ऋण बाधाओं की संख्या।

परिमित-आयामी वेक्टर रिक्त स्थान के बीच परिवर्तन के लिए, यह रैंक-शून्यता द्वारा मंद (वी) - मंद (डब्ल्यू) का अंतर है। यह इस बात का संकेत देता है कि किसी के पास कितने समाधान या कितनी बाधाएं हैं: यदि बड़े स्थान से छोटे स्थान पर नक्शा किया जाता है, तो नक्शा चालू हो सकता है, और इस प्रकार बाधाओं के बिना भी स्वतंत्रता की डिग्री होगी। इसके विपरीत, यदि छोटे स्थान से बड़े स्थान पर नक्शा किया जाता है, तो नक्शा पर नहीं हो सकता है, और इस प्रकार स्वतंत्रता की डिग्री के बिना भी बाधाएँ होंगी।

एक ऑपरेटर का सूचकांक ठीक 2-टर्म कॉम्प्लेक्स 0 → V → W → 0 की यूलर विशेषता है। ऑपरेटर सिद्धांत में, फ्रेडहोम ऑपरेटरों का सूचकांक अध्ययन का एक उद्देश्य है, जिसका प्रमुख परिणाम अतियाह-सिंगर इंडेक्स प्रमेय है। .

रैखिक परिवर्तनों का बीजगणितीय वर्गीकरण

रेखीय नक्शाों का कोई वर्गीकरण संपूर्ण नहीं हो सकता। निम्नलिखित अधूरी सूची कुछ महत्वपूर्ण वर्गीकरणों की गणना करती है जिन्हें सदिश स्थान पर किसी अतिरिक्त संरचना की आवश्यकता नहीं होती है।

होने देना V तथा W एक क्षेत्र पर वेक्टर रिक्त स्थान को निरूपित करें F और जाने T: V → W एक रेखीय नक्शा बनें।

मोनोमोर्फिज्म

T इंजेक्शन या मोनोमोर्फिज्म कहा जाता है यदि निम्नलिखित समकक्ष शर्तों में से कोई भी सत्य है:

1. T सेट (गणित) के नक्शा के रूप में एक-से-एक इंजेक्शन है।
2. ker T = {0_V}
3. dim(ker T) = 0
4. T मोनिक मॉर्फिज्म या लेफ्ट-कैंसलेबल है, जिसका अर्थ है, किसी भी वेक्टर स्पेस के लिए U और रैखिक नक्शाों की कोई भी जोड़ी R: U → V तथा S: U → V, समीकरण TR = TS तात्पर्य R = S.
5. T उलटा है (रिंग थ्योरी)|बाएं-उलटा, जिसका कहना है कि एक रैखिक नक्शा मौजूद है S: W → V ऐसा है कि ST आइडेंटिटी फंक्शन चालू है V.

एपिमोर्फिज्म

T यदि निम्नलिखित समतुल्य स्थितियों में से कोई भी सत्य है, तो उसे विशेषण या एपिमोर्फिज्म कहा जाता है:

1. T समुच्चय के नक्शा के रूप में विशेषण है।
2. coker T = {0_W}
3. T एपिमोर्फिज्म या राइट-कैंसलेबल है, जो किसी भी वेक्टर स्पेस के लिए कहना है U और रैखिक नक्शाों का कोई भी जोड़ा R: W → U तथा S: W → U, समीकरण RT = ST तात्पर्य R = S.
4. T उलटा है (रिंग थ्योरी) | सही-उलटा, जिसका कहना है कि एक रैखिक नक्शा मौजूद है S: W → V ऐसा है कि TS आइडेंटिटी फंक्शन चालू है W.

समरूपता

T एक आइसोमोर्फिज्म कहा जाता है यदि यह बाएं और दाएं-उलटा दोनों है। यह बराबर है T एक-से-एक और आच्छादित (सेटों का एक आक्षेप) या भी होने के नाते T महाकाव्य और अलौकिक दोनों होने के नाते, और इसलिए एक द्विरूपता है।

यदि T: V → V एक एंडोमोर्फिज्म है, तो:

• यदि, किसी धनात्मक पूर्णांक के लिए n, द n- का पुनरावृति T, Tⁿ, समान रूप से शून्य है, तो T शक्तिहीन बताया गया है।
• यदि T² = T, फिर T निरंकुश कहा जाता है
• यदि T = kI, कहाँ पे k कुछ अदिश है, फिर T स्केलिंग रूपांतरण या अदिश गुणन नक्शा कहा जाता है; स्केलर मैट्रिक्स देखें।

आधार का परिवर्तन

Main articles: Basis (linear algebra) and Change of basis

एक रैखिक नक्शा दिया गया है जो एक एंडोमोर्फिज्म है जिसका मैट्रिक्स ए है, अंतरिक्ष के आधार बी में यह वेक्टर निर्देशांक [यू] को [वी] = ए [यू] के रूप में बदलता है। चूंकि सदिश बी के व्युत्क्रम के साथ बदलते हैं (वैक्टर सहप्रसरण और सदिशों के प्रतिप्रसरण हैं) इसका व्युत्क्रम रूपांतरण [v] = B[v'] है।

इसे पहली अभिव्यक्ति में प्रतिस्थापित करना

$$B\left[v'\right]=AB\left[u'\right]$$

इसलिये

$$\left[v'\right]=B^{-1}AB\left[u'\right]=A'\left[u'\right].$$

इसलिए, नए आधार में आव्यूह A' = B है⁻¹AB, दिए गए आधार का मैट्रिक्स B होने के कारण।

इसलिए, रेखीय नक्शाों को 1-सह- 1-कॉन्ट्रा-सहप्रसरण और वेक्टर वस्तुओं के विपरीत, या प्रकार (1, 1) टेंसर कहा जाता है।

निरंतरता

Main articles: Continuous linear operator and Discontinuous linear map

टोपोलॉजिकल वेक्टर रिक्त स्थान के बीच एक रैखिक परिवर्तन, उदाहरण के लिए आदर्श स्थान, निरंतर कार्य (टोपोलॉजी) हो सकता है। यदि इसका डोमेन और कोडोमेन समान हैं, तो यह एक सतत रैखिक संकारक होगा। एक आदर्श रेखीय स्थान पर एक रेखीय संकारक निरंतर होता है यदि और केवल यदि यह परिबद्ध संकारक है, उदाहरण के लिए, जब डोमेन परिमित-आयामी है। एक अनंत-आयामी डोमेन में असंतत रैखिक ऑपरेटर हो सकते हैं।

एक असीमित, इसलिए असंतत, रैखिक परिवर्तन का एक उदाहरण सर्वोच्च मानदंड से सुसज्जित सुचारू कार्यों के स्थान पर भिन्नता है (छोटे मानों वाले फ़ंक्शन में बड़े मानों के साथ व्युत्पन्न हो सकता है, जबकि 0 का व्युत्पन्न 0 है)। एक विशिष्ट उदाहरण के लिए, sin(nx)/n 0 में परिवर्तित होता है, लेकिन इसका व्युत्पन्न cos(nx) नहीं है, इसलिए भेदभाव 0 पर निरंतर नहीं है (और इस तर्क की भिन्नता से, यह कहीं भी निरंतर नहीं है)।

अनुप्रयोग

रेखीय नक्शाों का एक विशिष्ट अनुप्रयोग ज्यामितीय परिवर्तनों के लिए है, जैसे कि कंप्यूटर ग्राफिक्स में किया जाता है, जहाँ 2D या 3D वस्तुओं का अनुवाद, रोटेशन और स्केलिंग रूपांतरण मैट्रिक्स के उपयोग द्वारा किया जाता है। रेखीय मैपिंग का उपयोग परिवर्तन का वर्णन करने के लिए एक तंत्र के रूप में भी किया जाता है: उदाहरण के लिए कलन में डेरिवेटिव के अनुरूप; या सापेक्षता में, संदर्भ फ्रेम के स्थानीय परिवर्तनों का ट्रैक रखने के लिए एक उपकरण के रूप में उपयोग किया जाता है।

इन परिवर्तनों का एक अन्य अनुप्रयोग नेस्टेड-लूप कोड के संकलक अनुकूलन में है, और संकलक तकनीकों को समानांतर करने में है।

यह भी देखें

• Additive map
• Antilinear map
• Bent function
• Bounded operator
• Cauchy's functional equation
• Continuous linear operator
• Linear functional
• Linear isometry

ग्रन्थसूची

• Axler, Sheldon Jay (2015). Linear Algebra Done Right (3rd ed.). Springer. ISBN 978-3-319-11079-0.
• Bronshtein, I. N.; Semendyayev, K. A. (2004). Handbook of Mathematics (4th ed.). New York: Springer-Verlag. ISBN 3-540-43491-7.
• Halmos, Paul Richard (1974) [1958]. Finite-Dimensional Vector Spaces (2nd ed.). Springer. ISBN 0-387-90093-4.
• Horn, Roger A.; Johnson, Charles R. (2013). Matrix Analysis (Second ed.). Cambridge University Press. ISBN 978-0-521-83940-2.
• Katznelson, Yitzhak; Katznelson, Yonatan R. (2008). A (Terse) Introduction to Linear Algebra. American Mathematical Society. ISBN 978-0-8218-4419-9.
• Lang, Serge (1987), Linear Algebra (Third ed.), New York: Springer-Verlag, ISBN 0-387-96412-6
• Rudin, Walter (1973). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 25 (First ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 9780070542259.
• Rudin, Walter (1976). Principles of Mathematical Analysis. Walter Rudin Student Series in Advanced Mathematics (3rd ed.). New York: McGraw–Hill. ISBN 978-0-07-054235-8.
• Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.
• Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
• Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365.
• Swartz, Charles (1992). An introduction to Functional Analysis. New York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067.
• Tu, Loring W. (2011). An Introduction to Manifolds (2nd ed.). Springer. ISBN 978-0-8218-4419-9.
• Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.