Lankide:Josune2023/Autobalioak eta autobektoreak
Aljebra linealean, eragile lineal baten bektore propioa edo autobektorea (eigenvector ingelesez) bektore ez-nulu bat da, eta, operadoreak transformatzen duenean, bere buruaren multiplo eskalarra eratzen du, eta, beraz, ez du norabidea aldatzen. Bektoreari dagokion balio propioa, eigenvalue-a edo autobalioa, askotan -ren bidez adierazten dena, autobektorea eskalatzeko faktore hura da.
Geometrikoki, autobektore bat, autobalio erreal ez-zero bati dagokiona, transformaziotik luzatzen den norabidea adierazten du, eta autobalioa bektorea luzatzen den faktorea da. Autobalioa negatiboa bada, norabidea alderantzikatu egiten da.[1]
Oro har, dimentsio anitzeko bektore-espazio batean, autobektorea ez da biratzen.
Definizio formala
[aldatu | aldatu iturburu kodea]T aplikazioa V espazio bektorial baten transformazio lineala bada F eremu baten gainean definituta, eta v zero ez den bektore bat bada V bektore espazioan, orduan v T-ren autobektore bat da baldin eta T(v) v-ren multiplo eskalar bat bada. Honela idatz daiteke hori:non λ baita F eremuan eskalar bat, autobalioa, balio bereizgarria edo v-rekin lotutako erro bereizgarria.
Zuzeneko korrespondentzia dago nxn matrize karratuen eta espazio bektorial baten transformazio linealen artean, espazio bektorialaren edozein oinarri hartuta. Hala, dimentsio finituko bektore espazio batean, autobalioak eta autobektoreak definitzea baliokidea da, matrizeen hizkuntza edo transformazio linealen hizkuntza erabiliz.[2][3]
V dimentsio finituko espazio bat bada, aurreko ekuazioa honela geratuko da[4]non A baita T-aplikazioaren adierazpen matriziala, eta u baita v-ren bektore koordenatua.
Sinopsia
[aldatu | aldatu iturburu kodea]Autobalioak eta autobektoreak leku nabarmena hartzen dute transformazio linealen azterketan. Eigen aurrizkia alemaniar eigen hitzetik hartzen da (cognate con la palabra inglés own) 'egokia', 'karakterisitkoa', 'berekoa' hitzetarako. [5][6] Gorputz zurrunen errotazio-mugimenduaren ardatz nagusiak aztertzeko erabiltzen diren jatorrian, autobalioek eta autobektoreek aplikazio-sorta zabala dute; adibidez, egonkortasun-analisian, bibrazioen analisian, orbita atomikoetan, aurpegiaren azterketan eta matrizearen diagonalizazioan.
Funtsean, T transformazio linealeko v autobektorea zero ez den bektore bat da, eta, T bektoreari aplikatzen zaionean, ez da norabidea aldatzen. T autobektoreari aplikatzean, autobektorea soilik eskalatzen da λ balio eskalarraren bidez, autobalioa deritzona. Baldintza hori honela idatz daiteke:autobalioen ekuazioa edo auto-ekuazioa deitzen zaio. Oro har, λ edozein eskalar izan daiteke. Adibidez, λ negatiboa izan daiteke; kasu horretan, autobektorearen norabidea alderantzikatzen, edo zero edo konplexua izan daiteke.
Hemen erakusten den Mona Lisa-ren irudiak adibide sinple bat erakusten du. Pinturaren puntu bakoitza bektore gisa adieraz daiteke, pinturaren erdigunetik puntu horretara. Adibide honetako transformazio linealari ebaketa-mapa deritzo. Goiko erdiko puntuak eskuinera mugitzen dira, eta beheko erdiko puntuak ezkerrera mugitzen dira, pinturaren erditik pasatzen den ardatz horizontaletik urrun dagoenaren proportzioan. Beraz, jatorrizko irudiaren puntu bakoitza seinalatzen duten bektoreak eskuinerantz edo ezkerrerantz okertzen dira, eta luzeagoak edo laburragoak bihurtzen dira transformazioan. Ardatz horizontaleko puntuak ez dira inolaz ere mugitzen eraldaketa hori aplikatzen denean. Beraz, osagai bertikalik gabe zuzenean eskuinera edo ezkerrera begira dezakeen edozein bektore eraldaketa horren autobektore bat da, mapatzeak ez baitu bere norabidea aldatzen. Gainera, autobektore horiek guztiek balio bera dute, mapatzeak ere ez baitu luzera aldatzen.
Transformazio linealek hainbat forma har ditzakete, bektore-espazio desberdinetan bektoreak mapatuz; beraz, autobektoreek ere forma asko har ditzakete.
Adibidez, transformazio linealak nxn matrize karratuaren forma har lezake, eta, kasu horretan, autobektoreak nx1 matrizeak dira. Transformazio lineala n ordeneko A matrize karratuaren bidez adierazten bada, orduan, aurrean ikusitako auto-ekuazioa matrize biderketa gisa berridatz daitekenon v autobektorea nx1 matrize bat baita. Matrize baterako, autobalioak eta autobektoreak erabil daitezke matrizearen deskonposizioa egiteko, adibidez, diagonalizazioaren bidez.
Autobalioek eta autobektoreek lotura estua duten matematika-kontzeptu asko sortzen dituzte, eta auto aurrizkia modu liberalean aplikatzen da horiek izendatzen dituenean:
- Transformazio lineal baten autobektore guztien multzoari, bakoitza bere autobalioarekin parekatuta, eraldaketa horren autosistema deritzo.[7] [8]
- autobalioa berari dagozkion T-ren autobektore guztien multzoari, zero bektorearekin batera, autoespazio deritzo, edo autobalio horri lotutako T-ren espazio bereizgarria.[9] [10]
- T-ren autobektore-multzo bat T-ren domeinuaren oinarri bat bada, oinarri horri auto-oinarri deritzo.
Historia
[aldatu | aldatu iturburu kodea]Autobalioak aljebra linealaren edo matrizearen teoriaren testuinguruan sartzen dira maiz. Historikoki, ordea, forma koadratikoen[11] eta ekuazio diferentzialen azterketan sortu ziren.
XVIII. mendean, Leonhard Euler-rek aztertu zuen gorputz zurrun baten errotazio-mugimendua eta ardatz nagusien garrantzia aurkitu zuen. Joseph Louis Lagrange konturatu zen ardatz nagusiak inertzia-matrizearen autobektoreak zirela. [12]
XIX. mendearen hasieran, Augustin-Louis Cauchyk ikusi zuen nola erabil zitekeen bere lana lauki-gainazalak sailkatzeko, eta nola orokortu nahi zituen. [12] Cauchy arrazne caractéristique ere sortu zen (sustrai bereizgarria), eta, beraz, orain balio propioa(eigenvalue) du izena; termino hori ekuazio karakteristikoan bizi da. [a]:
Geroago, Joseph Fourier-ek Lagrangeren eta Pierre Simon Laplace-ren lana erabili zuen aldagaiak banatzearen bidezko bero-ekuazioa ebazteko 1822ko Théorie analytique de la chaleur liburu ezagunean. [12] François Sturmek are gehiago garatu zituen Fourier-en ideiak, eta Cauchyri jakinarazi zizkion; hark bere ideiekin konbinatu zituen, eta benetako matrize simetrikoek autobalioak dituztela ikusi zuen. [11] Hori Charles Hermite-k zabaldu zuen 1855ean, eta orain matrize hermitiarrak deitzen zaie. [13]
Aldi berean, gutxi gorabehera, Francesco Brioschik frogatu zuen matrize ortogonalen eigenbalueak zirkulu unitarioan daudela,[11], eta Alfred Clebschek aurkitu zuen inklinazioaren matrize asimetrikoei dagokien emaitza. [13] Azkenik, Karl Weierstrass-ek Laplacek hasitako egonkortasunaren teoriaren alderdi garrantzitsu bat argitu zuen, matrize akastunek ezegonkortasuna eragin dezaketela konturatu baitzen. [12]
Bitartean, Joseph Liouville-k eigenvalue arazoak aztertu zituen, Sturm-en antzekoak; orain, Sturm–Liouville-ren teoria da bere lanetik sortu zen diziplina. [14] Schwarzek Laplaceren ekuazio-ko lehen eigenvalue aztertu zuen XIX. mendearen amaieran, eremu orokorretan; Poincaré-k, berriz, Poisson-en ekuazioa aztertu zuen urte batzuk geroago. [13]
XX. mendearen hasieran, operadore integralen autobalioak aztertu zituen David Hilbert-ek, operadoreak matrize infinitu gisa ikustean. [13] Alemaniako eigen hitza, "norberarena" esan nahi duena, erabili zuen lehena izan zen eigenvalues eta eigenvektoreak denotatzeko 1904an,[modest-alpha 3], nahiz eta Herman von Helmholtz-en erabilera bati jarraitu ahal izan zion.[6] Denbora batez, ingelesezko termino estandarra "berezko balioa" izan zen, baina "eigenvalue" terminorik bereizgarriena gaur egungo estandarra da. [14]
Eigenvalues eta eigenvektoreak konputatzeko lehen zenbakizko algoritmoa 1929an agertu zen, Richard von Mises-ek potentzia-metodoa argitaratu zuenean. Gaur egungo metodo ezagunenetako bat, QR algoritmoa, John G. F. Francis[18] eta Vera Kublanovskaya[19] autoreek proposatu zuten 1961ean. [20][21]
Autobalioak eta matrize-autobektoreak
[aldatu | aldatu iturburu kodea]Eigenbalueak eta eigenvektoreak askotan sartzen zaizkie ikasleei, matrizeetan oinarritutako aljebra linealeko ikastaroen testuinguruan.[15] Gainera, bektore-espazio finitu baten gaineko transformazio linealak matrizeen bidez adieraz daitezke,[2][3], eta hori oso ohikoa da zenbakizko aplikazioetan eta aplikazio konputazionaletan. [16]
Har itzazu n eskalarren zerrenda gisa eratzen diren n-dimentsioko bektoreak, hala nola bektore tridimentsionalak.Esaten da bektore horiek elkarrekiko multiplo eskalarrak direla, edo paraleloak edo kolinealak, baldin eta λ eskala bat badago:Kasu honetan
Har dezagun, orain, n dimentsioko bektoreen transformazio lineal bat
nxn dimentsioko A matrize batek definitutakoa,edonon, ilara bakoitzeko,Gertatzen bada v eta w multiplo eskalarrak direla, hau da:
|
|
(1) |
orduan, v transformazio linealeko autobektore bat da, eta λ eskala-faktorea autobalioa da, autobektore horri dagokiona. (1) ekuazioa A matrizearen autobalio ekuazioa da.
(1) ekuazioa honela adieraz daiteke:
|
|
(2) |
|
|
non I baita nxn identitate-matrizea, eta 0 baita zero bektorea.
Autobalioak eta polinomio bereizgarria
[aldatu | aldatu iturburu kodea](2) ekuazioak badu zero ez den soluzioa baldin eta (A–λI) matrizearen determinantea zero bada. Beraz, ekuazio hau betetzen duten λ balioak dira A-ren autobalioak:
|
|
(3) |
|
|
Leibniz-en formula determinatzaileetarako erabiliz, (3) ekuazioaren eskuineko aldea λ aldagaiaren funtzio polinomiala da, eta polinomio horren maila n da, A matrizearen ordena. Haren koefizienteak A-ren sarreren araberakoak dira, n gradu-terminoa beti (–1)nλn denean izan ezik. Polinomio horri Aren polinomio bereizgarria deitzen zaio. (3) ekuazioari A-ren ekuazio karakteristikoa edo ekuazio sekularra deritzo.
Aljebraren oinarrizko teoremak adierazten du nxn A matrize baten polinomio bereizgarria, n graduaren polinomio bat izanik, n termino linealen biderkaduran faktoriza daitekeela,
|
|
|
|
bakoitza erreala izan daiteke, baina, oro har, zenbaki konplexua da. Polinomioaren erroak zenbatzeko zenbakiak erabiltzen dira baina litekeena da balio ezberdinak ez izatea, eta A-ren autobalioak dira.
Adibide labur gisa, aurrerago adibideen atalean zehatzago deskribatzen dena, har ezazu ondoko matrizea matrizearen determinatzailea hartuta, A matrizearen polinomio bereizgarria kalkulatuko da:Polinomio bereizgarriaren balioa zero denean, λ=1 eta λ=3 erroak ditu, A-ren bi autobalioak. Autobalio bakoitzari dagozkion autobektoreak aurkitzeko ondoko ekuazioa ebatzi
eta v-ren osagaiak lortu. Adibide honetan, honako hauen multiplo eskalar ez-nuluak dira autobektoreak:A matrizeko sarrerak zenbaki errealak badira, polinomio karakteristikoaren koefizienteak ere zenbaki errealak izango dira, baina autobalioek irudimenezko zati ez-nuluak izan ditzakete. Beraz, autobektoren sarrerek ere irudimenezko zati ez-nuluak izan ditzakete. Era berean, autobalioak zenbaki irrazionalak izan daitezke, baita A sarrera guztiak zenbaki arrazionalak badira edo denak osoak badira ere. Hala ere, A-ren sarrerak zenbaki aljebraiko guztiak badira, arrazionalak barne, autobalioak zenbaki aljebrako konplexuak dira.
Benetako koefizienteak dituen polinomio erreal baten erro ez-errealak multzokatu egin daitezke konjokatu konplexuen bikoteetan, hau da, bikote bakoitzeko bi kideekin, zeinuan eta parte erreal berean soilik bereizten diren irudizko zatiak dituztela. Gradua bitxia bada, erdiko balioaren teoremagatik, gutxienez sustraietako bat erreala da. Beraz, ordena bakoitia duen edozein matrize errealek autobalio erreal bat du gutxienez, eta ordena bikoitia duen matrize erreal batek, berriz, baliteke autobalio errealik ez izatea. Autobalio konplexu horiei lotutako autobektoreak ere konplexuak dira, eta bikote konjugatu konplexuetan ere agertzen dira.
Aniztasun aljebraikoa
[aldatu | aldatu iturburu kodea]n ordeneko A matrizeko autobalio bat izanik, aniztasun aljebraikoa autobalio polinomio karakteristikoaren erro gisa duen aniztasuna da, hau da, k osoko handiena, non polinomio hori uniformeki zatitzen baita. [9][25][26
Demagun A matrizeak n eta d·n dimentsio autobalio desberdinak dituela. (4) ekuazioak Aren polinomio bereizgarria zehazten du termino linealak errepikakor izan daitezkeen zenbait terminorekin biderkatzean; polinomio bereizgarria, berriz, autobalio bati dagozkion d terminoen biderkadura gisa idatz daiteke, eta biderkadura hori aniztasun aljebraikoaren potentziarekiko desberdina eta handia da.d = n bada, eskuineko aldea n termino linealen biderkadura da, eta hori (4) ekuazioaren berdina da. Autobalio bakoitzaren aniztasun aljebraikoaren tamaina n dimentsioarekin lotuta dago, honela:μA(λi) = 1 bada, esan ohi da λi autobalio sinplea dela. [17] μA(λi) hurrengo atalean definitutako λi-ren aniztasun geometrikoaren berdina bada, γA(λi) esaten da λi autobalio semisimple dela.
Autoespazioak, aniztasun geometrikoa eta matrizeen autobaseak
[aldatu | aldatu iturburu kodea]Ondoko taulan, planoko eredu-eraldaketa batzuk ageri dira, 2 × 2 matrize, autobalio eta eigenvektoreekin batera.
Ondoko taulan, planoko eredu-eraldaketa batzuk ageri dira, 2 × 2 matrize, autobalio eta eigenvektoreekin batera.
Ondoko taulan, planoko eredu-eraldaketa batzuk ageri dira, 2 × 2 matrize, autobalio eta eigenvektoreekin batera.
Ondoko taulan, planoko eredu-eraldaketa batzuk ageri dira, 2 × 2 matrize, autobalio eta eigenvektoreekin batera.
Ondoko taulan, planoko eredu-eraldaketa batzuk ageri dira, 2 × 2 matrize, autobalio eta eigenvektoreekin batera.
Aplikazioak
[aldatu | aldatu iturburu kodea]Eraldaketa geometrikoen eigenbalioak
[aldatu | aldatu iturburu kodea]Eskala | Eskala desberdina | Errotazioa | Ebakitzaile horizontala | Errotazio hiperbolikoa | |
---|---|---|---|---|---|
Irudia | |||||
Matrizea | |||||
Ezaugarriak |
|||||
Eigenbalueak, | |||||
Multo algebraikoa, |
|||||
Isun geometrikoa, |
|||||
Eigenvektoreak | Bektore ez-nulu guztiak |
Errotazio baten ekuazio karakteristikoa ekuazio koadratiko bat da, diskriminatzailea duena, eta zenbaki negatiboa da θ ez denean 180º-ren multiplo osoa. Beraz, kasu berezi horietan izan ezik, bi eigenbalueak zenbaki konplexuak dira, ; eta eigenvektore guztiek sarrera ez-errealak dituzte. Izan ere, kasu berezi horietan izan ezik, biraketa batek zero ez den bektore bakoitzaren norabidea aldatzen du planoan.
Lauki bat zona bereko laukizuzen batera daraman transformazio linealak (mapa zukutua) autobalio elkarkariak ditu.
Osagai nagusien azterketa(PCA)
[aldatu | aldatu iturburu kodea]Ikus gainera
[aldatu | aldatu iturburu kodea]- Antigenoaren teoria
- Eigenoperator
- Eigenplanoa
- Eigenuneak
- Eigenvalue algoritmoa
- Eigenstateei buruzko sarrera
- Jordania forma arruntean
- Zenbakizko analisiko programen zerrenda
- Problema ez-lineala
- Autobalio arrunta
- Autobalio koadratikoaren problema
- Balio berezia
- Matrize baten espektroa
Zitazioak
[aldatu | aldatu iturburu kodea]- ↑ Burden, Richard L.. (2016). Numerical analysis. (Tenth edition. argitaraldia) ISBN 978-1-305-25366-7. PMC 898154569. (Noiz kontsultatua: 2022-12-20).
- ↑ Ingeniaritzaren oinarri matematikoak II: aljebra lineala : laburpen teorikoa eta ariketak. Universidad del País Vasco, Servicio Editorial = Euskal Herriko Unibertsitatea, Argitarapen Zerbitzua 2002 ISBN 84-8373-480-X. PMC 433406547. (Noiz kontsultatua: 2022-12-20).
- ↑ Axler, Sheldon. (2017). Aljebra lineala ondo egina. Universidad del País Vasco/Euskal Herriko Unibertsitatea, Argitalpen Zerbitzua = Servicio de Publicaciones ISBN 978-84-9082-623-2. PMC 1055568699. (Noiz kontsultatua: 2022-12-20).
- ↑ (Ingelesez) Weisstein, Eric W.. «Eigenvalue» mathworld.wolfram.com (Noiz kontsultatua: 2022-12-20).
- ↑ Betteridge 1965.
- ↑ a b «Eigenvector and Eigenvalue» www.mathsisfun.com.
- ↑ «About Numerical Recipes» numerical.recipes (Noiz kontsultatua: 2023-01-04).
- ↑ (Ingelesez) Weisstein, Eric W.. «Eigenvector» mathworld.wolfram.com (Noiz kontsultatua: 2023-01-04).
- ↑ (Ingelesez) Nering, Evar D.. (1970). Linear Algebra and Matrix Theory. Wiley ISBN 76091646..
- ↑ Nering 1970.
- ↑ Zurutuza, Iñaki. (2000). Oinarrizko aljebra. Elhuyar ISBN 84-95338-18-1. PMC 907330823. (Noiz kontsultatua: 2022-12-22).
- ↑ a b c Hawkins 1975.
- ↑ a b c Kline 1972.
- ↑ Aldrich 2006.
- ↑ Cornell University Department of Mathematics (2016) Lower-Level Courses for Freshmen and Sophomores. Accessed on 2016-03-27.
- ↑ Press et al. 2007.
- ↑ Golub & Van Loan 1996.
Iturriak
[aldatu | aldatu iturburu kodea]
- .
- ISBN 0-471-84819-0..
- ISBN 0-395-14017-X..
- .
- doi: . ISSN 0031-9007. PMID 33124845. Bibcode: 2020PhRvL.125p5901B..
- .
- .
- ISBN 0-534-93219-3..
- doi: ..
- doi: . PMID 2117040..
- ISBN 0-201-01984-1..
- doi: ..
- doi: ..
- ISBN 0-13-537102-3..
- ISBN 978-0-8018-5414-9..
- doi: . Bibcode: 2000ESPL...25.1473G..
- doi: ..
- .
- .
- ISBN 978-1114541016..
- ISBN 0-19-501496-0..
- doi: . Bibcode: 1998CG.....24..243K..
- ISBN 0-486-41147-8. Bibcode: 1968mhse.book.....K..
- doi: ..
- ISBN 978-007139880-0..
- ISBN 978-0-89871-454-8..
- .
- ISBN 978-0521880688..
- ISBN 978-0-387-72828-5..
- doi: . Bibcode: 2017RvMP...89a5005R..
- ISBN 0-486-63518-X..
- doi: . Bibcode: 1958JG.....66..114S..
- .
- Txantiloi:Cite arXiv
- doi: . ISSN 1539-4794. PMID 17700768. Bibcode: 2007OptL...32.2309V..
- .
- .
- Txantiloi:Cite magazine
- .
[[Kategoria:Fisika matematikoa]]
[[Kategoria:Aljebra lineala]]
[[Kategoria:Aljebra abstraktua]]
[[Kategoria:Testuan alemana duten artikuluak]]
[[Kategoria:Gainbegiratu gabeko itzulpenak]]
Aipuaren errorea: <ref>
tags exist for a group named "lower-alpha", but no corresponding <references group="lower-alpha"/>
tag was found