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

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

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

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

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

परिभाषा और प्रथम परिणाम
होने देना $$V$$ तथा $$W$$ एक ही फ़ील्ड (गणित) पर वेक्टर रिक्त स्थान बनें $$K$$. एक समारोह $$f: V \to W$$ यदि किन्हीं दो सदिशों के लिए एक रेखीय मानचित्र कहा जाता है $\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}) = c f(\mathbf{u})$$

योग द्वारा#सहयोगिता को किसी भी सदिश के लिए + के रूप में निरूपित किया जाता है $ \mathbf{u}_1, \ldots, \mathbf{u}_n \in V$ और अदिश $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$$ द्वारा $\mathbf{0}_V$ तथा $\mathbf{0}_W$  क्रमशः, यह इस प्रकार है कि $f(\mathbf{0}_V) = \mathbf{0}_W.$  होने देना $$c = 0$$ तथा $\mathbf{v} \in V$  डिग्री 1 की एकरूपता के समीकरण में: $$f(\mathbf{0}_V) = f(0\mathbf{v}) = 0f(\mathbf{v}) = \mathbf{0}_W.$$ एक रेखीय नक्शा $$V \to K$$ साथ $$K$$ स्वयं के ऊपर एक आयामी सदिश समष्टि के रूप में देखे जाने को एक रेखीय फलन कहा जाता है। ये कथन किसी भी वाम-मॉड्यूल के लिए सामान्य हैं ${}_R M$ एक अंगूठी के ऊपर $$R$$ बिना संशोधन के, और स्केलर गुणन को उलटने पर किसी भी सही-मॉड्यूल के लिए।

उदाहरण

 * एक प्रोटोटाइप उदाहरण जो रैखिक मानचित्रों को उनका नाम देता है, एक फ़ंक्शन है $$f: \mathbb{R} \to \mathbb{R}: x \mapsto cx$$, जिनमें से किसी फ़ंक्शन का ग्राफ़ मूल बिंदु से होकर जाने वाली एक रेखा है।
 * अधिक आम तौर पर, कोई समरूपता $\mathbf{v} \mapsto c\mathbf{v}$  कहाँ पे $$c$$ एक सदिश समष्टि के मूल में केन्द्रित एक रेखीय मानचित्र है।
 * शून्य नक्शा $\mathbf x \mapsto \mathbf 0$ दो वेक्टर रिक्त स्थान (एक ही क्षेत्र (गणित) पर) के बीच रैखिक है।
 * किसी भी मॉड्यूल पर पहचान कार्य एक रैखिक ऑपरेटर है।
 * वास्तविक संख्याओं के लिए, मानचित्र $x \mapsto x^2$ रेखीय नहीं है।
 * वास्तविक संख्या के लिए, मानचित्र $x \mapsto x + 1$ रैखिक नहीं है (लेकिन एक परिशोधन परिवर्तन है)।
 * यदि $$A$$ एक है $$m \times n$$ असली मैट्रिक्स, फिर $$A$$ से एक रेखीय मानचित्र को परिभाषित करता है $$\R^n$$ प्रति $$\R^m$$ एक कॉलम वेक्टर भेजकर $$\mathbf x \in \R^n$$ कॉलम वेक्टर के लिए $$A \mathbf x \in \R^m$$. इसके विपरीत, परिमित-आयामी सदिश स्थानों के बीच किसी भी रेखीय मानचित्र को इस तरीके से प्रदर्शित किया जा सकता है; देखें, नीचे।
 * यदि $f: V \to W$ वास्तविक मानक रिक्त स्थान के बीच एक आइसोमेट्री है जैसे कि $ 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{d f_1(x)}{dx} + c_2 \frac{d f_2( x)}{dx} + \cdots + c_n \frac{d f_n(x)}{dx}.$$
 * कुछ अंतराल पर एक निश्चित अभिन्न (गणित) $V$ पर सभी वास्तविक-मूल्यवान समाकलनीय फलनों के स्थान से एक रेखीय मानचित्र है $V$ प्रति $$\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. $$
 * एक निश्चित एकीकरण प्रारंभिक बिंदु के साथ एक अनिश्चित अभिन्न (या एंटीडेरिवेटिव) सभी वास्तविक-मूल्यवान अभिन्न कार्यों के स्थान से एक रैखिक मानचित्र को परिभाषित करता है $$\R$$ सभी वास्तविक-मूल्यवान, अलग-अलग कार्यों के स्थान पर $$\R$$. एक निश्चित प्रारंभिक बिंदु के बिना, निरंतर कार्यों के रैखिक स्थान द्वारा अलग-अलग कार्यों के भागफल स्थान (रैखिक बीजगणित) के लिए प्रतिपक्षी मानचित्र।
 * यदि $$V$$ तथा $$W$$ एक क्षेत्र पर परिमित-आयामी वेक्टर रिक्त स्थान हैं $V$, संबंधित आयामों के $V$ तथा $W$, फिर वह फ़ंक्शन जो रैखिक मानचित्रों को मैप करता है $f: V \to W$ प्रति $n × m$ मैट्रिक्स में वर्णित तरीके से  (नीचे) एक रैखिक नक्शा है, और यहां तक ​​​​कि एक रैखिक समरूपता भी है।
 * एक यादृच्छिक चर का अपेक्षित मान# परिभाषा (जो वास्तव में एक फ़ंक्शन है, और एक वेक्टर अंतरिक्ष के ऐसे तत्व के रूप में) रैखिक है, यादृच्छिक चर के लिए $$X$$ तथा $$Y$$ अपने पास $$E[X + Y] = E[X] + E[Y]$$ तथा $$E[aX] = aE[X]$$, लेकिन यादृच्छिक चर का प्रसरण रैखिक नहीं होता है।

रेखीय विस्तार
अक्सर, एक सदिश समष्टि के उपसमुच्चय पर इसे परिभाषित करके और फिर एक रेखीय मानचित्र का निर्माण किया जाता है डोमेन के रैखिक अवधि के लिए। एएक समारोह का (गणित) $$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 = \R^2$$ तथा $$Y = \R$$ फिर असाइनमेंट $$(1, 0) \to -1$$ तथा $$(0, 1) \to 2$$ सदिशों के रैखिक रूप से स्वतंत्र सेट से रैखिक रूप से बढ़ाया जा सकता है $$S := \{(1,0), (0, 1)\}$$ पर एक रेखीय मानचित्र के लिए $$\operatorname{span}\{(1,0), (0, 1)\} = \R^2.$$ अद्वितीय रैखिक विस्तार $$F : \R^2 \to \R$$ वह नक्शा है जो भेजता है $$(x, y) = x (1, 0) + y (0, 1) \in \R^2$$ प्रति $$F(x, y) = x (-1) + y (2) = - x + 2 y.$$ प्रत्येक (अदिश-मूल्यवान) रैखिक कार्यात्मक $$f$$ एक वास्तविक या जटिल सदिश स्थान के सदिश उप-स्थान पर परिभाषित $$X$$ सभी के लिए एक रैखिक विस्तार है $$X.$$ वास्तव में, हन-बनच प्रमेय | हन-बनच प्रभुत्व विस्तार प्रमेय यह भी गारंटी देता है कि जब यह रैखिक कार्य करता है $$f$$ कुछ दिए गए सेमिनॉर्म का प्रभुत्व है $$p : X \to \R$$ (जिसका अर्थ है कि $$|f(m)| \leq p(m)$$ सभी के लिए धारण करता है $$m$$ के क्षेत्र में $$f$$) तो. के लिए एक रैखिक विस्तार मौजूद है $$X$$ उस पर भी हावी है $$p.$$

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

होने देना $$\{ \mathbf {v}_1, \ldots, \mathbf {v}_n \}$$ का आधार हो $$V$$. फिर हर वेक्टर $$\mathbf {v} \in V$$ गुणांक द्वारा विशिष्ट रूप से निर्धारित किया जाता है $$c_1, \ldots, c_n$$ क्षेत्र में $$\R$$: $$\mathbf{v} = c_1 \mathbf{v}_1 + \cdots + c_n \mathbf {v}_n.$$ यदि $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) मैट्रिक्स के लिए $T$  के सापेक्ष $B$ : $A$
 * 2) मैट्रिक्स के लिए $T$  के सापेक्ष $B'$ : $A'$
 * 3) संक्रमण मैट्रिक्स से $B'$  प्रति $B$ : $P$
 * 4) संक्रमण मैट्रिक्स से $B$  प्रति $B'$ : $P^{-1}$

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

दो आयामों में उदाहरण
द्वि-आयामी अंतरिक्ष में R2 रैखिक मानचित्रों का वर्णन 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}\cos2\theta & \sin2\theta \\ \sin2\theta & -\cos2\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$$ तथा $g: W \to Z$ रैखिक हैं, तो उनकी संबंध रचना भी है $g \circ f: V \to Z$. यह इस प्रकार है कि किसी दिए गए क्षेत्र K पर सभी वेक्टर रिक्त स्थान का वर्ग (सेट सिद्धांत), K-रैखिक मानचित्रों के साथ-साथ आकारिकी के रूप में, एक श्रेणी (गणित) बनाता है।

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

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

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

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

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

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

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

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

कर्नेल, छवि और रैंक-शून्यता प्रमेय
यदि $f: V \to W$ रैखिक है, हम कर्नेल (रैखिक ऑपरेटर) और छवि (गणित) या किसी फ़ंक्शन की श्रेणी को परिभाषित करते हैं $f$  द्वारा $$\begin{align} \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{align}$$

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

कोकरनेल
एक रेखीय परिवर्तन का एक सूक्ष्मतर अपरिवर्तनीय $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'2 → आर2, f(x, y) = (0, y) द्वारा दिया गया है। फिर एक समीकरण f(x, y) = (a, b) के हल के लिए, हमारे पास a = 0 (एक बाधा) होना चाहिए, और उस स्थिति में समाधान स्थान (x, b) या समकक्ष रूप से कहा गया है, ( 0, बी) + (एक्स, 0) (स्वतंत्रता की एक डिग्री)। कर्नेल को सबस्पेस (x, 0)  0 के लिए। इसकी छवि में पहले तत्व 0 के साथ सभी अनुक्रम होते हैं, और इस प्रकार इसके कोकर्नेल में समान प्रथम तत्व वाले अनुक्रमों के वर्ग होते हैं। इस प्रकार, जबकि इसके कर्नेल का आयाम 0 है (यह केवल शून्य अनुक्रम को शून्य अनुक्रम में मैप करता है), इसके सह-कर्नेल का आयाम 1 है। चूंकि डोमेन और लक्ष्य स्थान समान हैं, कर्नेल का रैंक और आयाम जुड़ जाता है एक ही कार्डिनल नंबर के लिए # को-कर्नेल के रैंक और आयाम के रूप में कार्डिनल जोड़ ($\aleph_0 + 0 = \aleph_0 + 1$ ), लेकिन अनंत-आयामी मामले में यह अनुमान नहीं लगाया जा सकता है कि एंडोमोर्फिज्म के कर्नेल और सह-कर्नेल का एक ही आयाम (0 ≠ 1) है। मानचित्र h: 'R' के लिए विपरीत स्थिति प्राप्त होती है∞ → आरundefined, $\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$ एक क्षेत्र पर वेक्टर रिक्त स्थान को निरूपित करें $V$ और जाने $T: V → W$ एक रेखीय मानचित्र बनें।

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

एपिमोर्फिज्म
$c$ यदि निम्नलिखित समतुल्य स्थितियों में से कोई भी सत्य है, तो उसे विशेषण या एपिमोर्फिज्म कहा जाता है:
 * 1) $A$ समुच्चय के मानचित्र के रूप में विशेषण है।
 * 2) $X$ एपिमोर्फिज्म या राइट-कैंसलेबल है, जो किसी भी वेक्टर स्पेस के लिए कहना है $I$ और रैखिक मानचित्रों का कोई भी जोड़ा $R = S$ तथा $S: W → V$, समीकरण $TS$ तात्पर्य $T: V → V$.
 * 3) $I$ उलटा है (रिंग थ्योरी) | सही-उलटा, जिसका कहना है कि एक रैखिक नक्शा मौजूद है $T^{n}$ ऐसा है कि $T^{2} = T$ आइडेंटिटी फंक्शन चालू है $F$.
 * 1) $m$ उलटा है (रिंग थ्योरी) | सही-उलटा, जिसका कहना है कि एक रैखिक नक्शा मौजूद है $T = kI$ ऐसा है कि $sin(nx)/n$ आइडेंटिटी फंक्शन चालू है $n$.

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

यदि $cos(nx)$ एक एंडोमोर्फिज्म है, तो:
 * यदि, किसी धनात्मक पूर्णांक के लिए $n$, द $m$- का पुनरावृति $n$, ᙭᙭᙭᙭᙭, समान रूप से शून्य है, तो $A$ शक्तिहीन बताया गया है।
 * यदि ᙭᙭᙭᙭᙭, फिर $V$ निरंकुश कहा जाता है
 * यदि ᙭᙭᙭᙭᙭, कहाँ पे $W$ कुछ अदिश है, फिर $F$ स्केलिंग रूपांतरण या अदिश गुणन मानचित्र कहा जाता है; स्केलर मैट्रिक्स देखें।

आधार का परिवर्तन
एक रैखिक नक्शा दिया गया है जो एक एंडोमोर्फिज्म है जिसका मैट्रिक्स ए है, अंतरिक्ष के आधार बी में यह वेक्टर निर्देशांक [यू] को [वी] = ए [यू] के रूप में बदलता है। चूंकि सदिश बी के व्युत्क्रम के साथ बदलते हैं (वैक्टर सहप्रसरण और सदिशों के प्रतिप्रसरण हैं) इसका व्युत्क्रम रूपांतरण [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 है−1AB, दिए गए आधार का मैट्रिक्स B होने के कारण।

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

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

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

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

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