Determinante
Matematikan, determinantea espazio bektorial baten gainean txandakatutako forma multilineal gisa definitzen da. Definizio honek propietate matematiko batzuk adierazten ditu eta matrize baten determinantearen kontzeptua orokortzen du, eremu askotan aplikagarri bihurtuz. Determinantea edo bolumen orientatuaren kontzeptua ekuazio linealen sistemen soluzio-kopurua aztertzeko sartu zen.
Aljebra linealean, determinantea matrize karratu bati esleitutako balioa da. A matrize baten determinantea det(A) edo |A| adierazten da. Matrizearen zutabe- edo errenkada-kopuruari determinantearen ordena deritzo. Determinantea kalkulatzeko, batuketa bat egin behar da: batugai bakoitzean, zutabeen eta errenkaden osagai bana hartu eta biderkatu behar dira; biderkadura bakoitzari zeinu bat, + edo −, egokitzen zaio kontuan hartzen diren osagaien arabera; horrela osatutako biderkadura horiek batu behar dira determinantea lortzeko.
Adibidez, matrizearen determinantea honela idazten da: eta balio hau du: .
Determinanteen historia
aldatuDeterminanteak XVI. mendetik aurrera sortu ziren, hau da, matrizeen aurretik, azken horiek XIX. mendean sortu baitziren. Jiuzhang Suanshu izan zen determinanteen aitzindaria, bera izan baitzen zeroen taula erabiltzen lehena, eta Algoritmo bat aplikatu zuen (gaur egun Gauss-Jordanen eliminazioa izenarekin ezagutzen dugun algoritmoa).
XVIII eta XIX.mendeetako matematikari ospetsuenak determinanteen propietateak garatu zituzten. Historialari gehienek uste dute determinanteen teoria Gottfried Wilhelm Leibnizek sortu zuela.
Determinanteen teoriari buruzko ekarpen oparoenak Augustin-Louis Cauchy matematikari frantzesak egin zituen, izan ere, 1812an 84 orrialdeko memoria bat idatzi zuen, det AB = det A det B formularen lehenengo froga idatzita.
Determinanteen lehenengo kalkuluak
aldatuDeterminante batek ekuazio sistema linealen soluzioen bakartasuna biltzen du. Cardanok 2 ordenako kasu baterako erabili zuen 1545ean, Ars Magna obrarako, bi ezezagun eta bi ekuazio dituen sistema bate soluzioa bilatzeko lege bezala.
Ordena handiagoko determinanteak 100 urte baino beranduago heldu ziren. Seki Takakazu japoniarraren eta Leibniz alemaniarraren eskutik heldu ziren horiek.
Leibnizek ekuazio sistema lineal ezberdinak aztertu zituen. Idazkera matriziala falta zenez, ezezagunen koefizienteak indize pareekin errepresentatzen zituen, horregatik ij erabiltzen zuen aij adierazteko. 1678an 3 ezezagun eta 3 ekuaziotako sistemetan interesatu zen, eta ordena hortako formularen zutabe baten gainean egindako garapena lortu zuen. Urte berean 4 ordenako determinante bat idatzi zuen eta zeinua izan zen egindako akats bakarra. Lan hori ez zen argitaratua izan eta emaitzak 50 urte beranduago aurkitu zituzten, era independientean.
Denbora tarte berean Kowa Sekik determinanteei buruzko eskuizkribu bat argitaratu zuen. Bertan, interpretatzen zailak diren formula orokorrak ageri dira. Formula horiek zuzenak dira 3 eta 4 ordenako matrizeentzat, ordena handiagoko matrizeetan zeinuak txarto adierazten dira.
Edozein dimentsiotako determinanteak
aldatu1748an, MacLaurinen aljebraren tratatu batean n ezezaguneko n ekuazio linealek osatzen duten sistemaren soluzioa aurkitzeko legea azaltzen da, n 2,3 edo 4 delarik. Soluzio hori determinanteen erabileraren bidez ematen da. 1750ean, Cramerrek edozein ordenako sistemaren soluzioaren legea adierazi zuen, baina ez zuen frogapenik adierazi.
Bezoutek 1764an argitaratutako artikuluaren ondorioz hainbat matematikari determianteen gaiarekin interesatu ziren. 1772an Laplacek Laplaceren legeak ezarri zituen. Urte bat beranduago, Lagrangek determinanteen eta bolumenen kalkuluen arteko erlazioaz jabetu zen.
Gaussek determinante hitza Disquisitiones arithmeticae liburuan (1801) erabili zuen lehenengoz. Gaur egun koadrika baten desberdintze bezala ezagutzen dugunaren sinonimotzat erabili zuen, eta determinante modernoaren kasu partikular bat da. Hala ere produktu baten determinantearen teorema lortzetik hurbil izan zen.
Determinatearen era modernoaren agerpena
aldatuCauchy izan zen determinantearen esanahi modernoa erabiltzen lehena. Aurretik zeuden ezagutzen laburpena egiteaz arduratu zen eta 1812an produktu baten determinantearen formula eta bere frogapena argitaratu zituen, Laplacen legearen enuntziatu eta frogapenarekin batera. Urte berean, Binetek produktu baten determinantea lortzeko beste formula bat (okerra) argitaratu zuen. Garai hartan, Cauchyk endomorfismoaren erredukzioaren inbestigaziorako oinarriak ezarri zituen.
1825ean Heinrich F. Scherkek determinantearen propietate berri batzuk argitaratu zituen. Horietako bat hurrengoa zen: Matrize bateko ilara bat beste ilara baten konbinazio lineala bada, matrize horren heina 0 izango da.
Jacobik famatu egin zuen determinanteen auzia, 1841ean Crelle aldizkarian determinanteei buruzko hiru tratatu argitaratu zituenean. Modu algoritmiko batean oinarritutako kalkulatzeko metodo sistematikoak aurkeztu zituen lehenengo aldiz. Modu berean, funtzioen determinanteen ebaluazioa posible egin zuen definizio jacobiarrari esker, eta horrek determinante kontzeptuaren abstrakzioan garapen handiak ekarri zituen.
Kuadro matriziala Cayley y James Joseph Sylvesterek ezarri zuten. Cayley bera izan zen matrizeen barra bertikalezko notazioaren sortzailea (1841) eta matrizeen alderantzizkoa lortzeko matrizeen bidezko formula ezarri zuen (1858).
Determinanteen teoria simetria partikularren propietateak dituzten determinanteei eta determinanteak matematikako beste arlo batzuetan erabiltzen hasi izateari esker indarberritu zen.
Esanahi geometrikoa
aldatuMatrize-sarrerak zenbaki errealak badira, A matrizea bi Aplikazio lineal irudikatzeko erabil daiteke: oinarri-bektore estandarrak A-ren errenkadekin aplikatzen dituena eta A-ren zutabeekin aplikatzen dituena. Edozein kasutan, irudiak oinarrizko bektoreek aplikazioaren azpian dagoen karratu unitarioaren irudia adierazten duen paralelogramo bat osatzen dute. Goiko matrizearen errenkadek definitutako paralelogramoa (0, 0), (a, b), (a + c, b + d) eta (c, d) erpinak dituena da, ondoko dokumentuan agertzen den moduan.
Kalkulu-metodoak
aldatuEdozein ordenatako matrizeen determinantea kalkulatzeko, arau errekurrente bat dago (Laplaceren teorema), kalkulua ordena txikiagoko determinanteen arteko batuketa eta kenketetara murrizten duena. Prozesu hori behar beste aldiz errepika daiteke, problema nahi bezain ordena txikiko determinante anitzen kalkulura murriztu arte. Eskalar baten determinantea eskalar bera dela jakinda, edozein matrizeren determinantea kalkula daiteke teorema hori aplikatuz.
Behe mailako matrizeak
aldatuBeheko mailako matrizeen kasua (1., 2. edo 3. ordena) oso sinplea da, eta determinantea arau ezagun sinpleen bidez kalkulatzen da. Arau horiek Laplaceren teorematik ere ondoriozta daitezke.
Bat ordenako matrize bat, kasu tribiala da, baina kasu guztiak osatzeko tratatuko dugu. Bat ordenako matrize bat eskalar bat bezala trata daiteke, baina hemen bat ordenako matrize karratu bat kontsideratuko dugu:
Determinantearen balioa matrizearen termino bakarraren berdina da:
Bi ordenako matrize baten determinanteak:
formula honen bidez kalkulatzen dira:
Hiru ordenako matrizea izanik:
Hiru ordenako matrize baten determinantea Sarrusen erregelaren bidez kalkulatzen da:
Goragoko mailako determinatzaileak
aldatun ordenako determinatzailea Laplaceren teoremaren bidez kalkula daiteke ilara edo zutabe batetik abiatuta eta problema n-1 ordenako n determinatzaileen kalkulura murriztuz. Horretarako, edozein ilara edo zutabe hartzen da elementu bakoitza bere kofaktorearengatik biderkatuz. matrizearen elementu kofaktorea da, eta elementu horri dagokion errenkada eta zutabea ezabatzean eta (-1)i+j, eta (-1) i+j-rekin biderkatuz, non i errenkada-zenbakia eta j zutabe-zenbakia diren, lortzen da matrizearen determinatzailea. Ilara (edo zutabe) bateko elementuen produktu guztien batura haien kofaktoreengatik biderkatuta, determinatzailearen berdina da.
4. ordenako determinatzaile baten kasuan, zuzenean, 3. ordenako determinatzaileak lortzen dira, eta horiek Sarrusen arauaren arabera kalkulatu ahal izango dira. Aldiz, goiko ordenako determinatzaileetan, n=5 kasu, 4. ordenako determinatzaileak lortuko ditugu lerro baten elementuak garatzean, eta horiek, aldi berean, metodo berean garatu beharko dira 3. ordenako determinatzaileak lortzeko. Adibidez, zehaztutako metodoarekin 4. ordenako determinatzaile bat lortzeko, 3. ordenako 4 determinatzaile kalkulatu behar dira. Hori arindu daiteke baldin eta aurretik errenkada edo zutabe batean hiru zero lortzen badira, eta, orduan, nahikoa izango da 3. ordenako determinatzaile bat kalkulatzea (izan ere, gainerako determinatzaileak 0z biderkatuta egongo dira, eta horrek baliogabetu egiten ditu).
Eragiketa kopurua oso azkar handitzen da. Adibidez, metodo horren bidez, 10 ordenako determinatzaile baterako, 3. ordenako 10 x 9 x 8 x 7 x 6 x 5 x 4 = 604.800 determinatzaile kalkulatu beharko dira.
Gaussiana ezabatzeko metodoa ere erabil daiteke matrizea matrize triangeluarra bihurtzeko.
Zenbakizko metodoak
aldatuDeterminatzaileen kostu konputazionala murrizteko eta biribiltze-akatsen aurrean egonkortasuna hobetzeko, Chioren araua aplikatzen da. Horri esker, matrizearen triangularizazio-metodoak erabil daitezke, eta, horrela, determinatzailearen kalkulua matrizearen diagonaleko elementuen biderkadurara murrizten da. Triangularizaziorako, zenbakiz egonkorra den edozein metodo erabil daiteke. Horiek matrize ortonormalen erabileran oinarritzen dira, Gaussen metodoa, Householderren gogoetak edo Givensen errotazioak erabiltzean gertatzen den bezala.
Determinatzaileak dimentsio infinituan
aldatuZenbait baldintzapean, dimentsio infinituko Banachen espazio bektorial baten aplikazio linealen determinatzailea defini daiteke. Zehazki, determinatzailean, definituta dago determinatzaile klaseko operadorerentzat, traza klaseko operadoreak oinarri hartuta. Adibide nabarmen bat Fredholmen determinatzailea izan zen; honek bere izena daraman ekuazio integrala azterketarekin lotuta definitu zuen:
non
- ezagututako funtzioa den
- funtzio ezezaguna den
- nukleo izeneko funtzio ezaguna den eta, Hilbert-en espazioan, karratu integragarriaren funtzioa (0,1) bitarteko hurrengo operadore lineal trinko eta finitua sortzen duen.
(*) ekuazioak soluzioa du Fredholm-en determinatzailea baliogabetzen ez bada. Fredholmen determinatzaileak, kasu honetan, determinatzailea dimentsio finituan orokortzen du, eta esplizituki kalkula daiteke honako hauen bidez:
(*) ekuazioaren soluzio bera modu sinplean idatz daiteke determinatzailearen terminoetan, determinatzaile hori baliogabetzen ez denean.
Lehen adibideak: arloak eta bolumenak
aldatuEuklide-espazioetako determinatzaile formapeko azaleren eta bolumenen kalkulua determinatzailearen nozio orokorrago baten kasu berezi gisa agertzen dira. D letra larria (Det), batzuetan, bereizteko erabiltzen da.
Plano euklideoko bi bektoreren determinatzailea
aldatuBada P plano euklideoa. X eta X' bektoreen determinatzailea adierazpen analitikoarekin lortzen da
- ,
edo, modu baliokidean, adierazpen geometrikoaren arabera
- ,
non X eta X' bektoreek osatzen duten angelua orientatua den.
Ezaugarriak
aldatu- Determinatzailearen balio absolutua paralelogramoaren azaleraren berdina da, eta X eta X'z definitzen da ( , eta paralelogramoaren altuera da, beraz, A = Oinarria × Altuera).
- Determinatzailea nulua da, baldin eta bi bektoreak kolinealak badira (paralelogramoa lerro bihurtzen da).
- * Haren zeinua erabat positiboa da baldin eta '(X, X') angeluaren neurria ]0, [-(e)n badago.
- Determinatzailearen aplikazioa bilineala da: lehen bektorearekiko linealtasuna
- idazten da,
eta bigarrenari dagokionez:
- .
2. irudiak, planoan, formula horren kasu berezi bat ilustratzen du. Alboko bi paralelogramo irudikatzen ditu; batak u eta v bektoreek definitzen dute (berdez), eta besteak u' eta v bektoreek (urdinez). Adibide horren gainean, u+u' eta v (grisez) bektoreek definitutako paralelogramoaren azalera ikustea erraza da: triangelu baten azalera kendu, eta beste triangelu baten azalera gehitzen zaion aurreko bi paralelogramoen baturaren berdina da. Bi triangeluak translazioaren araberakoak dira, eta hurrengo formula egiaztatzen da: Det (u+u', v)=Det (u, v)+Det (u', v).
Irudia aldebikotasun-formularen kasu berezi bati dagokio, orientabideak eremuek zeinu bera izateko moduan aukeratu baitira eta eduki geometrikoa ulertzen laguntzen.
Orokortzea
aldatuB oinarri ortonormal zuzena duen plano euklidear batean defini daiteke determinatzailearen nozioa oinarri horretako bektoreen koordenatuak erabiliz. Determinatzailearen kalkuluak emaitza bera ematen du kalkulurako aukeratutako zuzeneko oinarri ortonormala edozein dela ere.
Euklide-espazioko hiru bektoreren determinatzailea
aldatuE 3 dimentsioko espazio euklideoa bada, E-ren hiru bektoreren determinatzailea honela ematen da:
Determinatzaile horrek produktu misto izena hartzen du.
Ezaugarriak
aldatu- Determinatzailearen balio absolutua hiru bektoreek definitutako paralelepipedo-bolumenaren berdina da.
- Determinatzailea nulua da, baldin eta hiru bektoreak plano berean badaude (paralelepipedo laua).
- Aplikazio erabakigarria trilineala da: batez ere
Ezaugarri horren ilustrazio geometrikoa 3. irudian dago, alboko bi paralelepipedorekin, hau da, aurpegi komun batekin. Hurrengo berdintasuna begiesgarria da:
- .
Erreferentziak
aldatu- Artikulu honen edukiaren zati bat Lur hiztegi entziklopedikotik edo Lur entziklopedia tematikotik txertatu zen 2011/12/27 egunean. Egile-eskubideen jabeak, Eusko Jaurlaritzak, hiztegi horiek CC-BY 3.0 lizentziarekin argitaratu ditu, Open Data Euskadi webgunean.