«Գծային արտապատկերում»–ի խմբագրումների տարբերություն

Content deleted Content added
չ clean up, փոխարինվեց: )— → ), , ''' — → ''', (7) oգտվելով ԱՎԲ
Տող 1.
'''Գծային արտապատկերում''' - փաստարկների և արժեքների ավելի ընդհանուր շարքի համար գծային թվային [[ֆունկցիա]]յի ընդհանրացում (ավելի հստակ՝ <math> y=kx </math>) տեսքի ֆունկցիաներ):
 
Գծային արտապատկերումը, ի տարբերություն ոչ գծայինի, բավականին լավ ուսումնասիրված է, ինչը հնարավորություն է տալիս այն հաջողությամբ կիրառել ընդհանուր տեսության վրա, քանի որ նրանց հատկությունները կախված չեն մեծություններից:
Տող 14.
ցանկացած <math>x,y\in V</math> և <math>\alpha\in K</math>։
 
Եթե <math>V</math> և <math>W</math> միևնույն վեկտորային տարածություններ են, ապա <math>f</math>-ը ոչ թե գծային արտապատկերում է, այլ '''գծային ձևափոխություն'''։
 
Եթե կատարվում է միայն առաջին հատկությունը, այդ դեպքում նման արտապատկերումը կոչվում է [[ադդիտիվ արտապատկերում|ադդիտիվ]]։
Տող 28.
<math>\|A\|=\sup_{\|x\|\not =0} \frac {\|Ax\|}{\|x\|}=\sup_{\|x\| =1} {\|Ax\|}:</math>
 
Օպերատորի նորմայի հասկացության ներմուծումը հնարավորություն կտա դիտարկել գծային օպերատորների տարածությունը որպես նորմավորված գծային տարածություն (կարելի է ստուգել համապատասխան ակսիոմների կատարումը ներմուծված նորմայի համար): Եթե <math>W</math> տարածությունը [[բանախովյան տարածություն|բանախովյան]] է, ապա գծային օպերատորների տարածությունը նույնպես բանախովյան է։
 
=== Հակադարձ օպերատոր ===
<math>A^{-1}</math> օպերատորը կոչվում է հակադարձ <math>A</math> գծային օպերատորին, եթե տեղի ունի․ <math>A^{-1}A=AA^{-1}=1</math>։
 
<math>A^{-1}</math> օպերատորը, որը հակադարձ է <math>A</math> գծային օպերատորին, նույնպես հանդիսանում է գծային օպերատոր։ Եթե <math>A</math> -ն գծային անընդհատ օպերատոր է, որն արտապատկերում է մի բանախովյան տարածությունը (կամ <math>F</math>-տարածություն) մյուսին, ապա հակադարձ օպերատորը նույնպես հանդիսանում է անընդհատ գծային օպերատոր։
Տող 37.
'''Գծային արտապատկերման մատրիցա''' – մատրիցա, որն արտահայտում է գծային արտապատկերում ինչ-որ բազիսում։ Որպեսզի այն ստանանք, անհրաժեշտ է ներազդել արտապատկերմամբ վեկտորների բազիսի վրա և ստացված վեկտորների (բազիսային վեկտորների պատկերներ) կոորդինատները գրել մատրիցայի սյուներում։
 
Արտապատկերման մատրիցան նման է վեկտորի կոորդինատներին։ Այդ դեպքում վեկտորի վրա արտապատկերման գործողությունը հավասարազոր է մատրիցայի և նույն բազիսում այդ վեկտորի կոորդինատի սյան արտադրյալին։
 
Ընտրենք <math>\mathbf{e}_k</math> բազիսը։ Դիցուք <math>\mathbf{x}</math>-ը կամայական վեկտոր է։ Այն կարելի է ներկայացնել հետևյալ բազիսով՝
: <math>\mathbf{x} = x^k\mathbf{e}_k</math>,
որտեղ <math>x^k</math>-ն <math>\mathbf{x}</math> վեկտորի կոորդինատն է նշված բազիսում։
Այստեղ, և հետագայում, առաջարկվում է [[Էյնշտեյնի համաձայնագիր | միավորել ըստ համր ինդեկսների]]։
Դիցուք <math>\mathbf{A}</math>-ն ցանկացած գծային արտապատկերում է։ Ներազդելով նախորդ հավասարման վրա երկու կողմերից, կստանանք՝
: <math>\mathbf{Ax} = x^k\mathbf{Ae}_k</math>։
Տող 110.
*:Գծային արտապատկերման պատկերը ձևավորում է ենթատարածություն <math>W</math> գծային տարածությունում։
* <math>M\subset V</math> <ref>M-ը կարող է չլինել ենթատարածություն։</ref> ենթաբազմության պատկեր <math>A</math> գծային փոխակերպուման նկատմամբ կոչվում է <math>AM=\{Ax: x\in M\}</math> բազմությունը։
* <math>V</math> և <math>W</math> գծային տարածությունների [[ուղիղ արտադրյալ|ուղիղ արտադրյալի]]ի արտապատկերումը <math>f\colon V\times U \to W</math> գծային <math>U</math> տարածքին կոչվում է ''[[բիգծային արտապատկերում|բիգծային]]'', եթե այն գծային է նրա երկու արգումենտներով։ <math>f\colon A_1\times\dots\times A_n \to B</math> մեծ թվերի գծային տարածությունների ուղիղ արտադրյալի արտապատկերումը կոչվում է ''[[բազմագծային արտապատկերում|բազմագծային]]'', եթե այն գծային է իր բոլոր արգումենտներով։
* <math>\tilde L</math> օպերատորը կոչվում է ''գծային տարասեռ'' (կամ ''աֆինացված''), եթե այն ունի այսպիսի տեսք՝
*: <math>\tilde L = L + v</math>
: որտեղ <math>L</math> գծային օպերատոր է, իսկ <math>v</math>-ն՝ վեկտոր։
* Դիցուկ <math>A:V\to V</math>։ <math>M\subset V</math> ենթատարածությունը կոչվում է ''ինվարիանտ'' գծային արտապատկերման նկատմամբ, եթե <math>\forall x\in M, Ax\in M</math><ref> Կամ: <math>AM\subset M</math>։</ref>
: Ինվարիանտության չափանիշը։ Դիցուկ <math>M\subset X</math>-ն այնպիսի ենթատարածություն է, որ <math>X</math> տրոհվում է <math>X=M\oplus N</math> [[ուղիղ գումար|ուղիղ գումարին]]ին: Այդ դեպքում <math>M</math> ինվարիանտ է <math>A</math> գծային արտապատկերման նկատմամբ այն և միայն այն դեպքում, երբ <math>P_MAP_M=AP_M</math>, որտեղ <math>P_M</math>-ը [[Պրոյեկտոր (հանրահաշիվ)|պրոյեկտոր]] <math>M</math> ենթատարածության վրա։
* '''Ֆակտոր-օպերատորներ'''<ref>Օգտագործվում է նաև '''ֆակտորօպերատորներ''' գրառումը։</ref>։ Դիցուկ <math>A:V\to V</math>-ը գծային օպերատոր է և դիցուկ <math>M</math>-ը ինչ-որ ինվարիանտ է այդ ենթաբազմության օպերատորի նկատմամբ։ Ձևավորենք [[Ֆակտոտարածություն ըստ ենթատարածության|ֆակտոտարածություն]] <math>V/\,\overset{M}{\sim}</math> ըստ <math>M</math> ենթատարածության։ Այդ դեպքում '''ֆակտոր-օպերատորը''' կոչվում է <math>A^+</math> օպերատորը, որը կիրառվում է <math>V/\,\overset{M}{\sim}</math>-ի վրա <math>\forall x^+\in V/\,\overset{M}{\sim}, A^+ x^+=[Ax]</math> կանոնով, որտեղ <math>[Ax]</math>-ը ֆակտոտարածության դասից է և պարունակում է <math>Ax</math>-ը։
* [[Երկակի տարածություն|Երկակի տարածությունների]]ների մեջ տրված է դեպի հակառակ ուղությունը գնացող [[Երկակի տարածություն# Երկակի արտապատկերումներ|երկակի արտապատկերում]]։
 
== Օրինակներ ==