Professional Documents
Culture Documents
1 Gaia
1 Gaia
Espazio Bektorialak
Ziur ohituta zaudetela bektoreak erabiltzen, planoan edo espazioan. Bektoreen ezaugarri
nagusietako bat da batu daitezkeela eta eskalarrez biderka daitezkeela. Oinarrizko pro-
pietate hauetan zentratzen bagara, beste egitura aljebraiko bat definituko dugu, espazio
bektorialarena.
Definizioa 1.1. Izan bedi K gorputza. Orduan, V multzo bat K-ren gainean espazio
bektoriala dela (edo laburkiago K-espazio bektoriala dela) esaten dugu honako baldintza
hauek betetzen badira:
(i) V -ren gainean badago eragiketa bat definiturik, + ikurraz adierazten duguna, eta
(V, +) talde abeldarra da.
(ii) Badago biderketa bat definiturik λ ∈ K eta v ∈ V elementu guztien artean, pro-
pietate hauek betetzen dituena:
Orduan, V -ko elementuei bektoreak deitzen zaie eta K gorputzekoei, berriz, eskalarrak.
Eskalarren eta bektoreen arteko biderketari eskalarrezko biderketa deitzen zaio.
(a) K-ren batuketak eta biderketak elkartze propietatea eta trukatze propietatea
betetzen dituzte.
(b) K-n elementu neutroa dugu batuketarekiko, 0 ikurraz adierazten duguna (tes-
tuinguru honetan 0-k ez du zero zenbaki osoa adierazten)
(c) λ ∈ K elementu bakoitzak alderantzizkoa du batuketarekiko, −λ ikurraz adie-
razten duguna.
(d) K-n elementu neutroa dugu biderketarekiko, 1 ikurraz adierazten duguna.
(e) λ ∈ K, λ 6= 0 elementu bakoitzak alderantzizkoa du biderketarekiko, λ−1
ikurraz adierazten duguna (edo, beste batzuetan, 1/λ).
(a) V -ren batuketak elkartze propietatea eta trukatze propietatea betetzen ditu.
Oro har, n, m ∈ N edozein izanik, n × m tamainako (hau da, n errenkada eta m zuta-
berekin) K-ren gaineko matrizeen multzoa K-espazio bektoriala da, eragiketak aurreko
bi formuletan bezala definitzen badira. (Askotan, A matrize bat laburki adierazteko
A = (aij ) idazten dugu, A-ren tamaina ezaguna bada. Orduan, Mn,m (K) espazio bek-
torialaren eragiketak hauek dira: (aij ) + (bij ) = (aij + bij ) eta λ(aij ) = (λaij ). Espazio
bektorial hau Mn,m (K) ikurraren bidez adierazten dugu. Matrizeak karratuak badira,
hau da, n = m denean, Mn (K) idazten dugu sinpleago Mn,n (K)-ren ordez.
Izan bedi K[x] polinomio guztien multzoa K gorputzaren gainean. Hau da,
V = {f : A −→ K | f aplikazioa}.
(ii) λ ∈ K eta f ∈ V izanik, λf definitzen dugu A-tik K-ra, irudiak honela hartuta:
(λf )(a) = λf (a), ∀a ∈ A. Kontutan izan λ eta f (a) biderka daitezkeela, biak K-n
daudelako eta K gorputza delako.
Proposizioa 1.4. Izan bedi V espazio bektoriala. Orduan honako propietate hauek
betetzen dira (ulertuta u, v eta w bektoreak eta λ, µ eskalarrak direla):
(i) u + w = v + w =⇒ u = v
(ii) 0v = 0, ∀v ∈ V
(iii) λ0 = 0, ∀λ ∈ K
(v) λv = 0 ⇐⇒ λ = 0 edo v = 0
(vi) λv = µv eta v 6= 0 =⇒ λ = µ
(vii) λv = λw eta λ 6= 0 =⇒ v = w.
Definizioa 1.5. Izan bedi V espazio bektoriala eta W V -ren azpimultzoa. Orduan, W
V -ren azpiespazio (bektoriala) dela esaten dugu W espazio bektoriala bada V -k dituen
batuketarekiko eta eskalarrezko biderketarekiko. Orduan W ≤ V idazten dugu.
Praktikan oso erraza da azpimultzo bat azpiespazioa den edo ez erabakitzea, ondo-
rengo teoremari esker.
Teorema 1.6. Izan bitez V K-espazio bektoriala eta W V -ren azpimultzo ez-hutsa.
Orduan, W V -ren azpiespazioa da baldin eta soilik baldin honako bi baldintza hauek
betetzen badira:
(i) ∀w1 , w2 ∈ W, w1 + w2 ∈ W
(ii) ∀λ ∈ K eta ∀w ∈ W, λw ∈ W.
Froga. Demagun lehenengo W V -ren azpiespazioa dela. Orduan, V -ren batuketa eragi-
keta bat da W -ren gainean eta, hori dela eta, W -ko bi elementuren baturak W -n egon
behar du. Era berean argudia dezakegu eskalarrezko biderketarekin eta, beraz, eskalar
baten eta W -ko bektore baten biderkadurak W -n egon behar du. Horrela, (i) eta (ii)
betetzen dira.
Ikus dezagun, alderantziz, (i) eta (ii) nahikoak direla W V -ren azpiespazioa izate-
ko. Alde batetik, garbi dago V -ren batuketa eta eskalarrezko biderketa W -n eragiketak
ematen dituztela, emaitzak W -n daudelako (i)-engandik eta (ii)-rengatik. Beraz, baka-
rrik ikusi behar dugu W -k espazio bektorialaren definizioko baldintzak betetzen dituela
eragiketa hauekiko.
Lehenengo eta behin (W, +) taldea dela ikusi behar dugu. Ohartu + elkarkorra
dela W -ren gainean, V -ren gainean badelako eta W ⊆ V delako. Izan bedi orain w ∈ W
edozein (gutxienez horrelako elementu bat dago, W ez baita hutsa hipotesiagatik.) Aplika
dezagun orain (ii) propietatea:
λ = 0 ∈ K, w ∈ W =⇒ 0w ∈ W =⇒ 0 ∈ W
λ = −1 ∈ K, w ∈ W =⇒ (−1)w ∈ W =⇒ −w ∈ W.
Beraz 0 elementu neutroa W -n dago eta w ∈ W guztien alderantzizkoa, −w, W -n dago.
Beraz, (W, +) taldea da. Ez dugu gehiagorik behar W espazio bektoriala dela ondorioz-
tatzeko: ohartu espazio bektorialaren definizioko gainontzeko baldintzak automatikoki
betetzen direla W -ren gainean, W ⊆ V izateagatik.
Adibideak 1.8. (i) Jakina, V espazio bektoriala bada, orduan V V -ren azpiespazioa
da.
(ii) Edozein espazio bektorialetan, {0} azpiespazioa da: nabaria da aurreko teoremako
bi baldintzak betetzen dituela.
(iv) Guztiz era berean ikus daiteke ax + by = 0 ekuazioaz emandako edozein zuzen, hau
da, jatorritik igarotzen den edozein zuzen, R2 -ren azpiespazioa dela.
0∈
/ W bada ,W ez da azpiespazioa
Beraz, garbi dago noiz den zuzen bat R2 -ren azpiespazioa: baldin eta soilik baldin
jatorritik igarotzen bada. Zuzen hauei zuzen bektorialak deritze.
(vi) Hala ere, 0 ∈ W baldintza ez da nahikoa azpiespazioa izateko. Adibidez, (0, 0), R2 -
ren neutroa y = x2 parabolaren gainean dago, baina parabola hau ez da azpies-
pazioa: (1, 1) eta (−1, 1) parabolako puntuak dira, baina (1, 1) + (−1, 1) = (0, 2)
ez.
(vii) R2 -ren zuzenekin argudiatu dugun bezala, R3 espazioaren plano bat azpiespazioa
da zehatz-mehatz jatorritik igarotzen denean. Gogoratu R3 -ren plano orokor baten
ekuazioa ax + by + c = d dela, a, b, c, d ∈ R izanik. Orduan, plano bat azpiespazioa
da baldin eta soilik baldin d = 0 bada. Plano hauei plano bektorialak deritze.
Teorema 1.9. Izan bitez V espazio bektoriala eta U eta W V -ren bi azpiespazio. Orduan,
U ∩ W ere V -ren azpiespazioa da.
v ∈ U ∪ W =⇒ v ∈ U ∨ v ∈ W
=⇒ λv ∈ U ∨ λv ∈ W
=⇒ λv ∈ U ∪ W.
Beraz, U ∪ W -k azpiespazio izateko duen arazo bakarra baturekin aurkitzen dugu. Gai-
nera, v1 , v2 ∈ U ∪ W bi bektore hartuta, honako posibilitate hauek ditugu: a) biak U -n
egotea (eta ez dago problemarik batuketarentzat); b) biak W -n egotea (eta ezta ere ez
dago problemarik batuketarentzat); c) v1 eta v2 elementuetako bat U -n dago eta bestea
W -n dago. Azken hau da kasu problematiko bakarra: aurreko adibidean ikusi bezala, ez
du zertan v1 + v2 ∈ U ∪ W izan behar.
Laburbilduz, U ∪ W -k azpiespazioa izateko duen arazo bakarra hau da: U -ko eta
W -ko bektoreen baturak ez daudela oro har U ∪ W -ren barruan. Arazo hau konpontzeko
asmoz, ondorengo definizioa ematen dugu.
Definizioa 1.10. Izan bitez U eta W V -ren azpiespazioak. Orduan, U -ren eta W -ren
batura, U + W ikurraren bidez adierazten duguna, U -ren eta W -ren bektoreen arteko
batura guztien multzoa da:
U + W = {u + w | u ∈ U, w ∈ W }.
Teorema 1.11. Izan bitez V espazio bektoriala eta U eta W V -ren bi azpiespazio. Or-
duan U + W ere V -ren azpiespazioa da.
Froga. Aurreko teorema bat erabiliko dugu. Lehenengo eta behin, U + W ez da hutsa,
U eta W ez hutsak direlako. Bestalde, U + W -ren definizioa kontuan hartuta,
v ∈ U + W =⇒ ∃u ∈ U, ∃w ∈ W non v = u + w
=⇒ ∃u ∈ U, ∃w ∈ W non λv = λu + λw
=⇒ λv ∈ U + W.
Honek U + W azpiespazioa dela frogatzen du.
Ohartu U U + W -ren barruan dagoela: u ∈ U bada, orduan u = u + 0 moduan idatz
dezakegu, 0 ∈ W izanik, eta beraz u ∈ U + W . Era berean W U + W -ren barruan dago.
Beraz, irudikatu ahal ditugu U, W, U ∩W eta U +W azpiespazioen arteko partekotasunak.
W = {(x, y) ∈ R2 : x − y = 0} = {(x, x) : x ∈ R}
⇐⇒ a = (x − y)/2, b = (x + y)/2.
Beraz honela deskoposatzen da R2 -ko bektore orokor bat U -ko baten eta W -ko baten
batura bezala:
x−y x−y x+y x+y
(x, y) = ( ,− )+( , ).
2 2 2 2
Honenbestez U + W = R2 dela frogaturik gelditzen da. Espazio bektorialen dimentsioa
sartzen denean, azken berdintza hau frogatzeko modu askoz ere azkarrago bat emango
da. Metodo hori aplikatuz, orokorkiago ikusiko dugu R2 -ko bi edozein zuzen bektorial
desberdinen batura R2 osoa dela.
Ondoren galdetzen gara noiz gertatuko den baturaren bektoreek deskonposizio baka-
rra izatea eta noiz ez. Erantzuna hurrengo kontzeptuak emango digu.
Definizioa 1.13. Izan bitez V espazio bektoriala eta U, W ≤ V . Orduan, U -ren eta
W -ren batura zuzena dela esango dugu U ∩ W = {0} bada. Hori azpimarratu nahi
badugu, U + W -ren ordez U ⊕ W idatziko dugu.
Teorema 1.14. Izan bitez V espazio bektorial eta U, W ≤ V . Orduan, baliokideak dira:
v = u1 + w1 , v = u2 + w2 =⇒
u1 + w1 = u2 + w2 =⇒ u1 − u2 = w2 − w1 .
Azken berdintzaren ezkerraldeko gaia, u1 − u2 , U -n dago, U azpiespazioa izateagatik.
Era berean, eskuinaldeko gaia W -n dago. Bi gai horiek berdinak direnez, bai U -n bai
W -n daude, hau da, U ∩ W ebakiduran daude. Baina, U -ren eta W -ren batura zuzena
denez, badakigu U ∩ W = {0} dela. Laburbilduz, azken berdintzaren bi gaiak zero dira.
Ondorioz,
u1 − u2 = 0 =⇒ u1 = u2 eta w1 − w2 = 0 =⇒ w1 = w2 ,
nahi bezala.
(ii)=⇒ (i). U +W -ko bektoreen deskonposizioa bakarra dela suposaturik, U ∩W = {0}
ondorioztatu behar dugu. Berdintza hau frogatzeko, bi partekotasunak ikusiko ditugu.
Alde batetik, garbi dago ⊇ betetzen dela, 0 azpiespazio guztietan dago eta. Besterik,
izan bedi v ∈ U ∩ W eta ikus dezagun v = 0 dela. Horretarako, nahikoa da (ii) aplikatzea
0-ren bi deskonposizio hauei:
=⇒ v = 0.
Definizioa 1.15. Izan bedi V espazio bektoriala eta W ≤ V . Orduan, V -ren beste
azpiespazio bat, U , V -ren barruan W -ren osagarri bat dela esaten dugu V = U ⊕ W
bada. Bestela esanda, bi baldintza hauek betetzen badira:
(i) U + W = V
(ii) U ∩ W = {0}.
Demagun V espazio bektoriala dela eta S V -ren azpimultzo ez-hutsa dela, baina
ez V -ren azpiespazioa. Orduan, S multzoa azpiespazio batetaraino luzatu nahi genu-
ke. Ohartu S azpiespazio ez izateko hau gertatu behar dela: gutxienez behin, S-ko bi
elementuren batura ez egotea S-n edo S-ko elementu bat eskalar batez biderkatzean S-
tik kanpo gelditzea. Beraz, S-tik abiatuta azpiespazio bat lortu nahi badugu, S-ko bi
edozein elementuren baturak gehitu beharko ditugu eta era berean S-ko elementuak edo-
zein eskalarrez biderkatzean lortzen diren bektoreak. Baina, luzatutako multzo berria
azpiespazioa izateko, berriro ere beren elementuekin egindako baturek eta eskalarrez-
ko biderkadurek multzoaren barruan egon behar dute eta, ez badaude, berriro gehitu
beharko ditugu. Beraz,
v1 + v2 , v1 + v2 + v3 , v1 + v2 + v3 + v4 , λ1 v1 ,
λ1 v1 + v2 , λ1 v1 + v2 + v3 eta λ1 v1 + λ2 v2
λ1 v1 + λ2 v2 + λ3 v3 + λ4 v4 , non λi ∈ K eta vi ∈ S.
idatziko dugu.
Adibideak 1.19. (1) Ohartu 0 bektorea edozein bektore multzoren konbinazio lineala
dela: nahikoa da λi guztiak 0-ren berdinak hartzea.
(2) Zein dira e1 = (1, 0) eta e2 = (0, 1), R2 -ko bektoreen konbinazio linealak? Horre-
tarako, hartu λ1 , λ2 ∈ R edozein eta kalkulatu:
Teorema 1.20. Izan bedi V espazio bektoriala eta S ⊆ V ez hutsa. Orduan, S-ko
bektoreekin egindako konbinazio lineal guztien multzoa V -ren azpiespazio da. Azpiespazio
hau adierazteko hSi idazten dugu eta S-k sortutako azpiespazioa deitzen diogu. Beraz,
n
X
hSi = { λi vi | n ∈ N eta λi ∈ K, vi ∈ S, ∀i ∈ {1, . . . , n}}.
i=1
Froga. Garbi dago bi konbinazio lineal batzerakoan, edo konbinazio lineal eskalar batez
biderkatzerakoan, beste konbinazio lineal bat lortzen dela.
ei = (0, . . . i−1
, . . . , 0, 1, 0, . . . n−i
, . . .0).
Orduan, λ1 , . . . , λn ∈ K izanik,
λ1 e1 + · · · + λn en = (λ1 , . . . , λn )
dugu. Beraz, hv, wi, y = 0 planoaren barruan dago. Besterik, har dezagun (x, 0, z)
puntu orokor bat y = 0 planoaren gainean, eta ikus dezagun (λ + µ, 0, µ) moduan idatz
daitekeela. Honetarako, ekuazio bat askatu behar dugu, x eta z balio ezagunak izanik,
eta λ eta µ, berriz, ezezagunak:
(x, 0, z) = (λ + µ, 0, µ) ⇐⇒ x = λ + µ, z = µ ⇐⇒ λ = x − z, µ = z.
Soluzioa dagoenez, (x, 0, z) ∈ hv, wi dugu eta frogaturik gelditzen da hv, wi eta y = 0
planoa bat datozela.
Teorema 1.22. Izan bitez V espazio bektoriala eta S, T ⊆ V . Orduan baliokideak dira:
(i) hSi ⊆ hT i
(ii) S-ko bektore guztiak T -koen konbinazio lineal gisa jar daitezke.
(i) S azpimultzo bat V -ren sistema sortzailea dela esaten dugu V = hSi bada.
(ii) V finituki sortua dela esaten dugu elementu kopuru finitu batekin sor badaiteke.
Adibideak 1.24. (1) Alde batetik, R2 = hR2 i denez, R2 R2 -ren sistema sortzailea da.
Oro har, edozein espazio bektorial bere buruaren sistema sortzailea da, baina hau ez
da batere interesgarria, sistema sortzaile txikiagoak eman daitezkeelako beti. Adibidez,
{(1, 0), (0, 1)} eta {(1, 1), (1, 0)} multzoak R2 -ren sistema sortzaileak dira. Honek froga-
tzen du, bereziki R2 finituki sortua dela.
(2) Orokorkiago, K n espazio bektorial finituki sortua da: {e1 , . . . , en } horren sistema
sortzaile finitua da.
λ1 v1 + · · · + λn vn = 0, vi ∈ S eta λi ∈ K =⇒ λ1 = · · · = λn = 0.
Adibideak 2.2. (i) {0} multzoa linealki dependentea dugu argi eta garbi: 1.0 = 0 da,
1 koefizientea 0-ren desberdina izanik. Arrazoi beragatik, 0 duen edozein multzo
linealki dependentea da.
(ii) Baldin eta v 6= 0 bada, orduan {v} multzoa linealki independentea da.
(iii) Ikus dezagun {(1, 1), (1, 2)} linealki independentea dela R2 -n:
⇐⇒ λ = 0, µ = 0.
Lema honetan oinarrituz, garbi dago bi bektore noiz diren linealki dependenteak.
Teorema 2.4. Izan bedi V espazio bektoriala. Orduan, bi bektore linealki dependenteak
dira baldin eta soilik baldin proportzionalak badira (hau da, bektoreetako bat bestearen
multiploa bada).
Eta bi bektore baino gehiago ditugunean ere, jakin dezakegu noiz diren linealki de-
pendenteak.
Teorema 2.5. Izan bitez V espazio bektoriala eta S ⊆ V . Orduan, baliokideak dira:
(ii) S-ko bektoreetako bat S-ko beste bektore batzuen konbinazio lineala da.
Teorema 2.6. Izan bitez V espazio bektoriala eta S ⊆ V linealki independentea. De-
magun v ∈ V bektorea ez dela S-ko bektoreen konbinazio lineala. Orduan, S ∪ {v} ere
linealki independentea da.
Teorema 2.7. Izan bitez V espazio bektoriala eta S V -ren sistema sortzailea. Demagun
v ∈ S bektorea S-ko gainontzeko bektoreen konbinazio lineala dela. Orduan, S − {v} ere
V -ren sistema sortzailea da.
Froga. Izan bedi u ∈ V bektore orokor bat eta ikus dezagun S − {v}-ko bektoreen
konbinazio lineal gisa jar daitekeela. Erabiltzen badugu S V -ren sistema sortzailea dela,
u = λ1 v1 + · · · + λn vn
(i) vi bektoreetako bat ere ez da v-ren berdina. Orduan ez dugu ezer egin behar.
Definizioa 2.8. Izan bitez V espazio bektoriala eta β ⊆ V . Orduan, β, V -ren oina- rria
dela esango dugu aldi berean linealki independentea eta V -ren sistema sortzailea bada.
Adibideak 2.9. 1) β = {(1, 0), (0, 1)} multzoa R2 -ren oinarria da. Orokorkiago,
{e1 , . . . , en } K n -ren oinarria da. Oinarri hau da K n -n gehienetan erabiltzen dena eta
horregatik K n -ren oinarri kanonikoa deitzen zaio.
2) β = {(1, 0), (1, 1)} ere R2 -ren oinarria da. Beraz, espazio bektorial batek oinarri
bat baino gehiago izan dezake.
3) Erraz egiazta daiteke,
1 0 0 1 0 0 0 0
{ , , , }
0 0 0 0 1 0 0 1
Teorema 2.10. Izan bedi V espazio bektoriala eta demagun β = {v1 , . . . , vn } V -ren
oinarria dela. Orduan, v ∈ V bektore bakoitzeko λ1 , . . . , λn eskalar bakarrak existitzen
dira non
v = λ1 v1 + · · · + λn vn
den. Ondorioz, V = hv1 i ⊕ · · · ⊕ hvn i dugu.
Froga. Alde batetik β V -ren sistema sortzailea izateagatik, garbi dago v-k enuntziatuko
bezalako deskonposizio bat onartzen duela. Ikus dezagun, deskonposizio hori bakarra
dela. Horretarako, bi deskonposizio harturik, koefizienteak bat datozela frogatuko dugu.
Izan ere,
v = λ1 v1 + · · · + λn vn eta v = µ1 v1 + · · · + µn vn ⇐⇒
λ1 v1 + · · · + λn vn = µ1 v1 + · · · + µn vn ⇐⇒
(λ1 − µ1 )v1 + · · · + (λn − µn )vn = 0 ⇐⇒
λ1 − µ1 = · · · = λn − µn = 0 ⇐⇒
λ1 = µ1 , . . . , λn = µn ,
nahi bezala. Azkenik, V = hv1 i ⊕ · · · ⊕ hvn i berdintzaren esanahia da v ∈ V bakoitza
era bakar batean jar daitekeela v = w1 + . . . + wn moduan, wi ∈ hvi i izanik. Ohartu
propietate hau dela, hain zuzen ere, frogatu berri duguna.
v = (λ1 , · · · , λn )β
idazten dugu.
v = (x1 , . . . , xn ) = x1 e1 + · · · + xn en
2) Azken propietate hau ez da betetzen kanonikoa ez den K n -ren beste edozein oi-
narriarekiko. Adibidez, hartu β = {(1, 0), (1, 1)}, R2 -ren oinarria dena. Zein dira (3, 4)
bektorearen koordenatuak β-rekiko? Horretarako, (3, 4) = λ(1, 0) + µ(1, 1) berdintza
ekuazio bat bezala ikusi behar dugu, eta λ eta µ ezezagunen balioak aurkiktu behar
ditugu. Hau erraza da:
λ + µ = x eta µ = y ⇐⇒ λ = x − y eta µ = y
eta (x, y) = (x − y, y)β . Adibide honetan erabilitako metodoa orokorra da eta K n -ko
edozein bektoreren koordenatuak lortzeko balio du, K n -ren edozein oinarriarekiko:
Behin β oinarri bat finkaturik, gauza bera da bektore bat ezagutzea edo
(i) S, V -ren sistema sortzailea bada, orduan S-ren barruan V -ren oinarri bat aurki
dezakegu.
(ii) T ⊆ V linealki independentea bada, orduan T , V -ren oinarri batetaraino luza dai-
teke. Gainera, luzapena egiteko gehitu behar ditugun bektoreak ezagutzen dugun
V -ren edozein sistema sortzailetatik (bereziki, edozein oinarritatik) har daitezke.
Froga. (i) Lehenengo eta behin, S linealki independentea bada, orduan S, V -ren oinarria
da eta bukatu dugu. Beraz, S linealki dependentea dela suposa dezakegu. Orduan,
badakigu existitzen dela v ∈ S non S − {v} ere V -ren sistema sortzailea den. Orduan,
S − {v} linealki independentea bada, V -ren oinarria da. Bestela, beste elementu bat ken
dezakegu sistema sortzailetik. Horrela jarraituz, eta S finitua denez, momenturen batean
V -ren oinarri bateraino helduko gara.
(ii) Izan bedi S, V -ren sistema sortzaile finitu finkoa. Gertatzen bada T , V -ren sistema
sortzailea dela, orduan T, V -ren oinarria da eta bukatu dugu. Demagun bada, hT i ⊂ V
dela. Orduan, existitzen da v ∈ S bektore bat, ezin dena T -ko bektoreen konbinazio
lineal modura jarri. (Bestalde, V = hSi ≤ hT i izango genuke, kontraesan bat dena).
Orain, T ∪ {v} ere linealki indenpendenta dela ondorioztatzen dugu. Berriro ere, T ∪ {v}
sistema sortzailea bada, orduan V -ren oinarria da, eta ez bada, w ∈ S beste elementu
bat gehitu dezakegu linealki independentea izateko propietatea mantenduz. Prozedura
hau jarraituz ez badugu V -ren oinarritik lortzen, azkenean T multzoari S-ren elementu
guztiak gehituko dizkiogu eta horren emaitza, hau da, S ∪ T , oraindik ere linealki inde-
pendentea izango da. Baina S ∪ T -k V osoa sortzen du (dagoeneko S-k sortzen duelako),
eta beraz V -ren oinarri bat lortu dugu azkenik.
Teorema 2.14. Izan bedi V espazio bektoriala. Orduan, V -ren oinarri guztiek bektore
kopuru bera dute.
Definizioa 2.15. Izan bedi V , K-espazio bektoriala. Orduan, V -ren oinarriek duten
bektore kopuruari V -ren dimentsioa deitzen zaio eta dim V ikurraz adierazten da. Azpi-
marratu nahi badugu K gorputza zein den, orduan dimK V idatziko dugu.
Beraz, dimK n = n, dimM2 (K) = 4 eta dimK[x] = ∞ dugu. Ohartu baita ere
dim{0} = 0 dela, {0}-ren oinarri bat multzo hutsa baita: aurretik h∅i = {0} dela eta ∅
linealki indenpendentea dela ikusi dugu.
Korolarioa 2.16. Izan bedi V espazio bektoriala eta demagun dimV = n finitua dela.
Orduan:
(i) S, V -ren sistema sortzailea bada, orduan |S| ≥ n dugu. Gainera, S, V -ren oinarria
da baldin eta soilik baldin |S| = n bada.
Adibidea 2.17. Ikus dezagun S = {(2, 1, 1), (1, 2, 1), (1, 1, 2)}, R3 -ren oinarria dela.
Ohartu |S| = 3 = dimR3 dela, beraz nahikoa da S, R3 -ren sistema sortzailea edo lineal-
ki independentea dela ikustea, ez ditugu bi propietateak frogatu behar. Errazagoa da
independentzi lineala ikustea.
3 Azpiespazioen dimentsioa
Teorema 3.1. Izan bitez V dimentsio finituko espazio bektoriala eta W ≤ V . Orduan:
(i) dimW ≤ dimV . Gainera, dimW = dimV dugu baldin eta soilik baldin W = V
bada.
Froga. Has gaitezen (ii) ataletik. Izan bedi βW , W -ren oinarria. Orduan, βW linealki
independentea da eta badakigu, V -ren oinarri bateraino luza daitekeela.
Dei diezaiogun β, V -ren oinarri horri eta ikus dezagun (i) betetzen dela. Alde batetik,
Bestetik,
W = V ⇐⇒ dimW = dimV
=⇒ W = hβW i = hβi = V.
Teorema 3.3. Izan bitez V dimentsio finituko espazio bektoriala eta W ≤ V . Orduan,
W -k azpiespazio osagarri bat du V -ren barruan.
Froga. Izan bedi βW = {v1 , . . . , vr } W -ren oinarri bat eta luza dezagun V -ren oinarri
bateraino: β = {v1 , . . . , vr , vr+1 , . . . , vn }. Orduan, badakigu W = hv1 i ⊕ · · · ⊕ hvr i dela
eta
V = hv1 i ⊕ · · · ⊕ hvr i ⊕ hvr+1 i ⊕ · · · ⊕ hvn i
dugu. Beraz,
U = hvr+1 i ⊕ · · · ⊕ hvn i
definitzen badugu, V = W ⊕ U dugu eta U , W -ren azpiespazio osagarri bat da V -ren
barruan.
Teorema 3.4. (Grassmann-en formula). Izan bitez V espazio bektoriala eta U eta W
dimentsio finituko V -ren bi azpiespazio. Orduan,
(iii) Lortutako U -ren eta W -ren oinarrien bildura U + W -ren oinarria da.
Korolarioa 3.5. Izan bitez V espazio bektoriala eta U eta W dimentsio finituko V -ren
azpiespazioak. Orduan, U -ren eta W -ren batura zuzena bada,
dugu eta U ⊕W -ren oinarri bat lortzeko, nahikoa da U -ren edozein oinarri W -ren edozein
oinarrirekin biltzea.
xn
Definizioa 4.1. Izan bedi V dimentsio finituko espazio bektoriala eta demagun β =
{v1 , . . . , vn } eta β 0 = {v1 0 , . . . , vn 0 } V -ren bi oinarri direla. Orduan, β-tik β 0 -erako oinarri
aldaketaren matrizea n tamainako matrize karratu bat da, bere zutabeak izanik β 0 -
eko bektoreen koordenatuen zutabeak β oinarriarekiko: matrize horren j. zutabea vj 0
bektorearen koordenatuak osatzen dute.
Dei diezaiogun P β-tik β 0 -erako oinarri aldaketaren matrizeari. Orduan, honako
erlazio hau betetzen da:
(v1 0 . . . vn 0 ) = (v1 . . . vn ).P
Teorema 4.3. Izan bedi V K-espazio bektoriala, n dimentsiokoa, eta demagun β eta
β 0 V -ren bi oinarri direla. Izan bitez P β-tik β 0 -erako aldaketaren matrizea eta Q, be-
rriz, alderantzizko aldaketaren matrizea. Orduan, Q, P -ren alderantzizkoa da. Bereziki,
oinarri aldaketen matrizeak GLn (K)-n daude.
Froga. Aurreko teorema aplikatuz, β-tik β-ra pasatzen den matrizea P Q da. Baina, β-tik
β-ra pasatzen den matrizea In identitatea da. Ondorioz, P Q = In . Era berean QP = In
dugu eta, beraz, P eta Q matrizeak elkarren alderantzizkoak dira biderketarekiko.
Egia esan, β = {v1 , . . . , vn } oinarri bat badugu eta P ∈ GLn (K) hartzen badugu,
orduan matrize hori β 0 = {v1 0 , . . . , vn 0 } oinarri berri bat definitzeko erabil dezakegu,
lehenagoko berdintza bera erabiliz:
Teorema 4.5. Izan bitez V dimentsio finituko espazio bektoriala eta β eta β 0 V -ren bi
oinarri. Demagun v ∈ V bektorearen koordenatuen zutabeak X eta X 0 direla β-rekiko eta
β 0 -ekiko, hurrenez hurren. Orduan,
X = P.X 0
X = P X 0 =⇒ X 0 = P −1 X.
Azken formula honek koordenatu berriak zaharren funtzioan ematen ditu, nahi bezala,
baina horretarako erabiltzen duen matrizea P −1 da. Gogoratu matrize hau alderantzizko
aldaketaren matrizea dela, hau da, β 0 -etik β-rako aldaketaren matrizea.
Adibideak 4.6. 1) Izan bitez β = {e1 , e2 , e3 } R3 -ren oinarri kanonikoa eta β 0 =
{(1, 1, 1), (0, 1, 1), (0, 0, 1)}, hau ere R3 -ren oinarria. Izan bedi v = (x, y, z) ∈ R3 bek-
tore orokor bat. Zein dira x0 , y 0 eta z 0 , v-ren koordenatuak β 0 oinarriarekiko? Eman
U = h(1, 2, 1), (2, 1, 2)i eta W = {(λ + µ, λ − µ, µ) | λ, µ ∈ R} azpiespazioak koordenatu
berriekiko.
Azken teoremaren arabera, β 0 -etik β-rako aldaketaren matrizea behar dugu, dei die-
zaiogun Q. Horretarako, e1 , e2 eta e3 β 0 -eko bektoreen konbinazio lineal bezala idatzi
behar ditugu. Hau erraza da:
Beraz,
1 0 0
Q = −1
1 0 .
0 −1 1
Orduan, azken teorema aplikatuz,
0
x 1 0 0 x
y 0 = −1 1 0 y
z0 0 −1 1 z
Hortaz, koordenatu berriak zaharren funtzioan ematen dituzten ekuazioak hauek dira:
(**)
x0 = x
y 0 = −x + y
z 0 = −y + z
Informazio hau eskura izanik, U eta W azpiespazioak koordenatu berriekiko deskriba
ditzakegu. Alde batetik, (1, 2, 1) = (1, 1, −1)β 0 eta (2, 1, 2) = (2, −1, 1)β 0 denez, U =
h(1, 1, −1)β 0 , (2, −1, 1)β 0 i dugu koordenatu berriekiko. Bestetik,
(λ + µ, λ − µ, µ) = (λ + µ, −2µ, −λ + 2µ)β 0
Egoera honi buelta eman dakioke, hau da, goikoak bezalako ekuazioak zuzenean erabil
daitezke koordenatuen aldaketa bat egiteko, oinarrien aldaketa aipatu gabe, Q = (qij )
matrize alderanzkarria den baldintzapean. Hau zehatzago enuntziatzen dugu hurrengo
teoreman.
Teorema 4.7. Izan bitez V n dimentsioko K-espazio bektoriala eta β, V -ren oinarria.
Idatz dezagun x1 , . . . , xn , v ∈ V bektore orokor baten koordenatuak adierazteko, β oina-
rriarekiko. Orduan, Q = (qij ) ∈ GLn (K) matrize bat aukeratzen badugu eta definitzen
baditugu x1 0 , . . . , xn 0 (***)-ko ekuazioen bidez, badago β 0 V -ren oinarri bat halakoa non
β 0 -ekiko v-ren koordenatuak x1 0 , . . . , xn 0 diren. Orduan, Q matrizeari koordenatu alda-
ketaren matrizea deitzen diogu.
Froga. Hau pentsatu baino errazagoa da: Q alderanzkarria denez, P = Q−1 matrizea
har dezakegu. Izan bedi β 0 β-tik lortzen den oinarria, P matrizearen bitartez. Orduan,
X eta X 0 v-ren koordenatuen zutabeak badira, β-rekiko eta β 0 -ekiko, badakigu X 0 =
P −1 X = QX dela eta beraz x1 0 , . . . , xn 0 eta x1 , . . . , xn koordenatuen arteko erlazioa
(***) ekuazioen bidez emanda dago, nahi bezala.