Endomorfismo

testwikitik
Nabigaziora joan Bilaketara joan
Funtzio lineal baten irudikapena

Definizioa:

Endomorfismo[1] bat eremu eta koeremu bera dituen aplikazio lineal bat da. V espazio bektorial baten endomorfismo taldea (End(V)), V-tik V-ra doazen aplikazio linealek osatzen dute:

fEnd(V)vV:(f(v)f(v)V)

Propietateak:

  • Definizioz, alderantzizko funtzioa duten V-ko endomorfismoek, GL(V) multzoa osatzen dute: GL(V)={fEnd(v):gEnd(V):fg(v)=gf(v)=v,vV}
  • fEnd(V) alderanzgarria da baldin eta soilik baldin bere matrize elkartua (βtik βra)[2] alderanzgarria bada
  • Hartu V K gorputzaren gainean dagoela definituta. λK, f-ren balio propioa da baldin eta soilik baldin v0V:f(v)=λv

Matrize elkartuak:

Edozein aplikazio linealek matrize elkartuak dauzka bere baitan, eremuko oinarri bat eta koeremuko bat erlazionatzen dituena. Endomorfismoen kasuan, ββ motako elkartutako matrizeak erabili daitezke funtzioa definitzeko. Honek bisualki asko lagundu dezake. Adibidez, gure funtzioari lotutako matrizea identitate matrizea[3] bada, badakigu funtzioa konstantea dela. Lehen aipatutako propietatean sakonduz, GL(V)-ko funtzioei elkartutako matrizeek GLn(V) taldea osatzen dute, hau da, V espazioaren dimentsioa duten matrize alderanzgarrien taldea[4].

Balio propioak edo autobalioak:

V K gorputzaren gainean definituta egonik, λK, f-ren balio propioa da baldin eta soilik baldin v0V:f(v)=λv.

Adibidez: fEnd(R3):f(x,y,z)=(2x,x+yz,2z): Ohartu f(1,0,1)=(2,0,2)=2(1,0,1) delataz[5].

Gainera, f(0,1,0)=(0,1,0)=1(0,1,0), beraz λ=2 eta λ=1 funtzioaren balio propiak dira, eta (1,0,1),(0,1,0) haiei lotutako bektoreak, hurrenez hurren.

Balio propioei lotutako azpiespazio bektorialak:

Hau jakinda, azpiespazio ezberdinak defini ditzakegu, λ balioari dagokion f-ren azpiespazio propioak deritzonak:

V(λ)={vV:f(v)=λv}.

Ohartu gure eremu eta koeremua V direnez, V(λ)V, edozein balio propiorako. Hain zuzen: (1 = V gaineko funtzio konstantea)

V(λ)={vV:f(v)=λv}={vV:f(v)λv=0}={vV:(fλ1)(v)=0}=ker(fλ1) eta

(fλ1) V-ren gaineko endomorfismo bat denez, V(λ)V.

Hartzen badugu A=Mβ(f) (beta bidezko f-ri elkartutako matrizea), eta dim(V)=n:

Mβ(fλ1)=Mβ(f)Mβ(λ1)=Mβ(f)λMβ(1)=AλIn.

Hemendik erraz lortu dezakegun edozein azpiespazio propioren dimentsioa:

dim(V(λ))=dim(ker(fλ1))=ndim(Im(fλ1))=nrg(AλIn)

Polinomio karakteristikoa:

Matrize ororekin polinomio karakteristikoa izena duen polinomio bat dago lotuta. Polinomio hori sortzeko arrazonamendu bat dago:

Lehenik, konturatu behar gara edozein λ izanik gure A=Mβ(f) matrizearen balio propioa dela baldin eta soilik baldin hau betetzen bada:

XMnx1(K):AX=λX0=λXAX=(λInA)X:X0BX=0:B=λInX

sistemak soluzio ez nulurik badu

detB=0det(λInA)=0

,

Matrize baten autobalioak aurkitzeko prozesua.

Orduan, expresio horri polinomio karakteristikoa deituko diogu.

XA(x)=det(xInA)

eta

λ

polinomio horren erroa bada, orduan A-ren balio propioa da, eta ondorioz endomorfismoarena ere.

Txantiloi:Clear

Erreferentziak

Txantiloi:Erreferentzia zerrenda

Kanpo estekak

Txantiloi:Autoritate kontrola