நேரியல் கோப்பு

U, V இரு திசையன் வெளிகள், இரண்டுக்கும் அளவெண் களங்கள் ஒன்றே என்று கொள்வோம்.

கீழ்க்கண்ட இரண்டு நிபந்தனைக்குட்பட்டால், ${\displaystyle T:U\mapsto V}$ ஒரு நேரியல் கோப்பு (உருமாற்றம், செயல்முறை) எனப்படும்:

(நே.கோ.1): ${\displaystyle u_{1},u_{2}}$ இரண்டும் ${\displaystyle U}$ இல் எதுவாக இருந்தாலும் ${\displaystyle T(u_{1}+u_{2})=T(u_{1})+T(u_{2})}$ ;

(நே.கோ.2): ${\displaystyle U}$ இலுள்ள எல்லா ${\displaystyle u}$ க்கும், எல்லா அளவெண்கள் ${\displaystyle \alpha }$ க்கும், ${\displaystyle T(\alpha u)=\alpha T(u).}$

இங்கு, T ஐப்பற்றின அரையில், U அரசு வெளி (Domain Space) என்றும், V பிம்ப வெளி (Image space) என்றும் சொல்லப்படும்.

அளவெண் களம் ${\displaystyle \mathbf {F} }$ ஐக்குறிப்பிட்டுச்சொல்லவேண்டியிருந்தால், ${\displaystyle \mathbf {F} -}$ நேரியல் (கோப்பு) என்று சொல்வோம்.

• ${\displaystyle T(\mathbf {0} _{U})=\mathbf {0} _{V}}$

• ${\displaystyle T(-u)=-T(u),u\in U.}$

• ${\displaystyle T(\alpha _{1}u_{1}+\alpha _{2}u_{2}+...+\alpha _{n}u_{n})=\alpha _{1}T(u_{1})+\alpha _{2}T(u_{2})+...+\alpha _{n}T(u_{n}),}$ . இங்கு ${\displaystyle \alpha }$ க்களெல்லாம் அளவெண்கள், எல்லா ${\displaystyle u}$ க்களும் ${\displaystyle U}$ விலுள்ள உறுப்புகள்.

• ${\displaystyle U}$ வின் ஏதாவதொரு அடுக்களத்தின் உறுப்புகளை ${\displaystyle T}$ எங்கு எடுத்துச்செல்கிறதோ அதைப்பொருத்து முழு ${\displaystyle T}$ இன் பண்புகளும் தீர்மனிக்கப்படுகின்றன.

${\displaystyle U}$ விலுள்ள ஒவ்வொரு ${\displaystyle u}$ க்கும், ${\displaystyle T(u)=\mathbf {0} _{U}}$ என்று வரையறுக்கப்பட்டால் ${\displaystyle T:U\mapsto V}$ சூனியக்கோப்பு எனப்பெயர் பெறும்.

${\displaystyle U}$ விலுள்ள ஒவ்வொரு ${\displaystyle u}$ க்கும், ${\displaystyle T(u)=u}$ என்று வரையறுக்கப்பட்டால் ${\displaystyle T:U\mapsto U}$ முற்றொருமைக்கோப்பு எனப்பெயர் பெறும். அதற்குக்குறியீடு ${\displaystyle I_{U}}$ .

அதனால் ${\displaystyle U}$ விலுள்ள ஒவ்வொரு ${\displaystyle u}$ க்கும், ${\displaystyle I_{U}(u)=u}$ .

கீழேயுள்ளவை நேரியல் கோப்புகள்:

• ${\displaystyle T:V_{3}\mapsto V_{3}}$ . வரையறை: ${\displaystyle T(x,y,z)=(x,y,-z).}$ இது எல்லா புள்ளிகளையும் xy-தளத்தில் பிரதிபலிக்கிறது.

• ${\displaystyle T:{\mathcal {P}}\mapsto {\mathcal {P}}.}$ வரையறை: ${\displaystyle {\mathcal {P}}}$ இலுள்ள ஒவ்வொரு ${\displaystyle p}$ க்கும் ${\displaystyle T(p)=p(0).}$

• ${\displaystyle T:{\mathcal {P}}(a,b)\mapsto {\mathcal {P}}(a,b).}$ வரையறை: ${\displaystyle (a,b)}$ இலுள்ள எல்லா ${\displaystyle x}$ க்கும்,

${\displaystyle T(p)(x)=xp(x)}$ .

• ${\displaystyle T:V_{2}\mapsto V_{2}}$ . வரையறை: ${\displaystyle T(x,y)=(0,y-x).}$

• ${\displaystyle T:{\mathcal {P}}\mapsto {\mathcal {P}}.}$ வரையறை: ${\displaystyle {\mathcal {P}}}$ இலுள்ள ஒவ்வொரு ${\displaystyle p}$ க்கும் ${\displaystyle T(p)=p'}$ .

இங்கு ${\displaystyle p'}$ என்பது ${\displaystyle p}$ இன் வகைக்கெழு. இது வகையீட்டு (நேரியல்) கோப்பு எனப்படும்.

• ${\displaystyle D:{\mathcal {C}}^{(1)}(a,b)\mapsto {\mathcal {C}}(a,b)}$ . வரையறை: ${\displaystyle D(f)=f'.f'}$ என்பது ${\displaystyle f}$ இன் வகைக்கெழு. ${\displaystyle D}$ க்கு வகையீட்டு செயல்முறை (Differential Operator) எனப்பெயர்.

• ${\displaystyle {\mathcal {I}}:{\mathcal {C}}(a,b)\mapsto \mathbf {R} }$ வரையறை: ${\displaystyle {\mathcal {I}}(f)=\int _{a}^{b}f(x)dx}$ . ${\displaystyle {\mathcal {I}}}$ க்கு தொகையீட்டு செயல்முறை (Integral Operator) எனப்பெயர்.

• ${\displaystyle f:\mathbf {C} \mapsto \mathbf {C} .}$ வரையறை: ${\displaystyle f(z)={\overline {z}}}$ . இது ஒரு ${\displaystyle \mathbf {R} }$ -நேரியல் கோப்பு.

• ${\displaystyle L_{A}:\mathbf {R} ^{n}\mapsto \mathbf {R} ^{m}.}$ இங்கு ${\displaystyle A}$ மெய்யெண்களாலான ஒரு ${\displaystyle m\times n}$ அணி. வரையறை: ${\displaystyle \mathbf {R} ^{n}}$ இலுள்ள ஒவ்வொரு ${\displaystyle u}$ க்கும் ${\displaystyle L_{A}(u)=Au.}$

(${\displaystyle Au}$ என்பது அணிப்பெருக்கல்).

கீழேயுள்ளவை நேரியல் கோப்புகள் அல்ல:

• ${\displaystyle u_{0}\neq 0}$ ஐ ${\displaystyle U}$ இல் ஒரு குறிப்பிட்ட திசையனாகக்கொள். ${\displaystyle T:U\mapsto U}$  : வரையறை: ${\displaystyle U}$ விலுள்ள ஒவ்வொரு ${\displaystyle x}$ க்கும்

${\displaystyle T(x)=x+u_{0}}$ . இதற்கு நகர்த்தல் கோப்பு (Translation operator)எனப்பெயர்.

• ${\displaystyle T:V_{2}\mapsto V_{2}}$ . வரையறை: ${\displaystyle T(x,y)=(x^{2},y^{2})}$

• ${\displaystyle f:\mathbf {C} \mapsto \mathbf {C} .}$ வரையறை: ${\displaystyle f(z)={\overline {z}}}$ . இங்கு அளவெண்களத்தை ${\displaystyle \mathbf {C} }$ ஆக எடுத்துக்கொண்டால் , இது ஒரு ${\displaystyle \mathbf {C} }$ -நேரியல் கோப்பு அல்ல. ஏனென்றால் நே. கோ.2 தவறுகிறது.

${\displaystyle T:U\mapsto V,U,V,}$ திசையன்வெளிகள், ${\displaystyle T}$ நேரியல் கோப்பு.

${\displaystyle R(T)=\{T(u):u\in U\},}$ அ-து, ${\displaystyle T}$ இன் எல்லா பிம்பங்களும் சேர்ந்த கணம். இதற்கு ${\displaystyle T}$ இன் வீச்சு (Range of T) என்று பெயர்.

${\displaystyle N(T)=\{u\in U:T(u)=\mathbf {0} _{V}\},}$ அ-து, ${\displaystyle V}$ இலுள்ள சூனியத் திசையனுக்கு ${\displaystyle T}$ யால் எடுத்துச் செல்லப்படும் எல்லா ${\displaystyle U}$ -உறுப்புகளும் சேர்ந்த கணம். இதற்கு ${\displaystyle T}$ இன் சுழிவு (Null space of T / kernel of T) அல்லது உட்கரு என்று பெயர்.

வீச்சு, சுழிவு இரண்டுமே சம்பந்தப்பட்ட திசையன் வெளிகளின் உள்வெளிகள்.

கணிதத்தில், முக்கியமாக நுண்புல இயற்கணிதத்தில், அமைவியம் (Morphism) என்பது கணித அமைப்பு களுக்கிடையேயுள்ள போக்குவரத்து.

இரண்டு கணித அமைப்புகளுக்கிடையே அவைகளுக்குள்ள ஏதோ ஒரு அமைப்பை சிதறாமல் காக்கும் ஒரு அமைவியத்திற்குப் பொதுப்பெயர் காப்பமைவியம் (Homomorphism). அது எந்த அமைப்பைக்காக்கிறதோ அதைப்பொருத்து அதனுடைய பெயரும் மாறுபடும்.

${\displaystyle T:U\mapsto V,U,V,}$ திசையன்வெளிகள், ${\displaystyle T}$ நேரியல் கோப்பு. ${\displaystyle U=\mathbf {R} ^{n},V=\mathbf {R} ^{m}}$ ஆகவும் இருந்தால், ${\displaystyle T}$ க்கு ஒரு ${\displaystyle m\times n}$ அணிக்குறிகாட்டி (Matrix representation) இருக்கும். அவ்வணியை ${\displaystyle M}$ என்று குறிப்போம்.

• வெளி அமைவியம் (epimorphism): T ஒரு முழுக்கோப்பானால் (onto map, surjective map), அ-து, R(T) = V ஆக இருந்தால், T ஒரு வெளி அமைவியம் எனப்படும். இந்த பட்சத்தில், M இனுடைய நிரல்களின் அளாவல் V ஆக இருக்கும்.

• ஒன்றமைவியம் (monomorphism): T ஒரு ஒன்றுக்கொன்றான இயைபுடைய கோப்பாக (one-one map, injective map)இருந்தால், அ-து, ${\displaystyle u\leftrightarrow T(u),}$ ${\displaystyle U}$ க்கும் ${\displaystyle R(T)}$ க்கும் ஒன்றுக்கொன்றான இயைபை ஏற்படுத்தினால்,${\displaystyle T}$ ஒரு ஒன்றமைவியம் எனப்படும். இந்த பட்சத்தில், M இனுடைய நிரல்கள் நேரியல் சார்பற்றதாக இருக்கும்.

• சம அமைவியம் (isomorphism): ${\displaystyle T}$ ஒரு வெளி அமைவியமாகவும், ஒன்றமைவியமாகவும் இருந்தால் அது சம அமைவியம் எனப்படும். இந்த பட்சத்தில்${\displaystyle M}$ இனுடைய நிரல்கள் ${\displaystyle V}$ க்கு ஒரு அடுக்களமாக அமையும்.

• உள் அமைவியம் (endomorphism): ${\displaystyle T:U\mapsto U}$ ; அ-து, அரசு வெளியும் பிம்ப வெளியும் ஒன்றாகவே இருந்தால், ${\displaystyle T}$ ஒரு உள் அமைவியம் எனப்படும். இப்பொழுது M ஒரு சதுர அணியாக இருக்கும்.

• தன்னமைவியம் (automorphism): ${\displaystyle T:U\mapsto U}$ , அ-து, ${\displaystyle T}$ ஒரு உள் அமைவியம்; மேலும் அது ஒரு சம அமைவியமாகவும் இருந்தால், ${\displaystyle T}$ ஒரு தன்னமைவியம் எனப்படும். இந்த பட்சத்தில் M ஒரு வழுவிலா அணி (non-singular matrix) யாக இருக்கும்.