Lineara algebro

studfako de matematiko pri linearaj transformoj inter vektoraj spacoj

Lineara algebro estas branĉo de matematiko, kiu origine okupiĝis pri sistemoj de linearaj ekvacioj, kiel

En tridimensia eŭklida spaco, tiuj tri ebenoj (verda, flava kaj griza) reprezentas solvojn al sistemoj de linearaj ekvacioj, kaj ilia intersekco reprezentas la aron de komunaj solvoj: en ĉi tiu kazo, unika punkto ĉe la originpunkto de la kartezia koordinato. La blua linio reprezentas la aron de punktoj kiu estas la komuna solvo al du el ĉi tiuj ekvacioj (la flava kaj la verda).

kaj linearaj transformoj, kiel

.

La moderna lineara algebro uzas la nociojn vektoro, vektorspaco, matrico kaj lineara transformo kiel ilojn por esplorado.

Lineara algebro estas grava kampo en matematiko, kiu estas esenca al multaj aliaj kampoj. Ekzemple, lineara algebro estas esenca por moderna prezento de geometrio, ĉar ĝi difinas la bazajn terminojn "punkto", "rekto" kaj "ebeno". Ĉar vektorspacoj estas grava ilo en multaj branĉoj de la matematiko, lineara algebro estas unu el la bazoj de matematiko.

Lineara algebro estas vaste uzata en abstrakta algebro, funkcia analizo kaj analitika geometrio. Lineara algebro estas uzata ankaŭ en informadiko kaj komputoscienco. Ekster la pura matematiko, lineara algebro estas uzata precipe en natursciencoj, sociosciencoj, inĝenierarto kaj ekonomiko (por optimumigo).

Historio redakti

La proceduro por solvi sistemon de linearaj ekvacioj, kiu nun estas nomata Gaŭsa eliminado, aperis jam en la antikva ĉina matematika teksto, nome Sistemo de linearaj ekvacioj, en la oka ĉapitro Ortangulaj matricoj de Naŭ ĉapitroj pri matematika arto de Jiuĵang Suanŝu. Ĝia uzado klariĝas en dekok problemoj pri po du ĝis kvin ekvacioj.[1]

 
René Descartes (Kartezio) evoluigis la kartezian koordinatsistemon (nomitan laŭ li) en 1637.

Unu el la fundamentoj de lineara algebro estis metita fare de René Descartes, kiu en 1637 evoluigis la kartezian koordinatsistemon (nomitan laŭ li) por priskribi la ebenon kaj uzis ĝin en la kadro de analitika geometrio por trakti problemojn de klasika geometrio. Por marki punkton sur ebeno li uzis ordigitan duopon da nombroj.

Alia fundamento de lineara algebro estis metita fare de Gottfried Wilhelm Leibniz, kiu uzis la koncepton determinanto por solvi sistemojn de ekvacioj en 1693. Poste, en 1750, Gabriel Kramer evoluigis formulon por kalkuli la solvon de sistemo de ekvacioj, nomitan Formuloj de Kramero. Poste, Carl Friedrich Gauss uzis la metodon de gaŭsa eliminado por solvi sistemojn de ekvacioj, el kio rezultis granda progreso por geodezio.[2]

Moderna lineara algebro komenciĝis en 1843 kaj 1844. En 1843 William Rowan Hamilton (kiu elpensis la terminon "vektoro" en ĝia algebra kunteksto) malkovris la algebron de kvaternionoj. En 1844 Hermann Günther Grassmann publikigis sian libron pri lineara algebro, Die Ausdehnungslehre. En 1848, James Joseph Sylvester lanĉis la terminon matrico, kiu estas la latina vorto por utero. En 1857 Arthur Cayley difinis la matricon; tiun difinon oni uzas ekde tiam ĝis hodiaŭ; ĝi estas unu el la bazŝtonoj de lineara algebro.

Malgraŭ tiuj historiaj evoluoj, lineara algebro, kian ni konas hodiaŭ, estis evoluigita plejparte en la 20-a jarcento.

La unuan modernan kaj pli ekzaktan difinon de vektora spaco enkondukis Peano en 1888, kaj ĝis 1900 formiĝis teorio de linearaj transformoj de vektoraj spacoj de finia dimensio. Lineara algebro prenis sian modernan formon en la unua duono de la dudeka jarcento, kiam multaj ideoj kaj metodoj de antaŭaj jarcentoj estis ĝeneraligitaj kiel abstrakta algebro. La evoluo de komputiloj kondukis al pliigita esplorado en efikaj algoritmoj por gaŭsa elimino kaj malkomponado de matricoj, kaj lineara algebro iĝis esenca ilo por modelado kaj simulaĵoj. [3]

Ĝeneralaj konceptoj redakti

Vektoraj spacoj redakti

  Pli detalaj informoj troveblas en artikolo Vektora spaco.

En abstrakta algebro, vektora spaco (ankaŭ nomata lineara spaco)   super kampo   estas algebra strukturo kreita de nemalplena aro, kun du operacioj (unu interna, la alia ekstera) kaj 8 fundamentaj ecoj. Oni uzas notacion + (vektora adicio) por la interna operacio,   kaj   (skalara multipliko) por la ekstera operacio  .

La triopo   estas vektora spaco super  , se validas la sekvaj aksiomoj:

  •   estas komuta grupo
  •  , kie 1 estas la neŭtra elemento de  
  •  
  •  
  •  

Matricoj redakti

  Pli detalaj informoj troveblas en artikolo Matrico.

Matrico estas ortangula tabelo kun datenoj nomataj elementojkoeficientoj. Difinita sur aro da matricoj, algebra strukturo ebligas fari algebrajn operaciojn per matricoj. Plej ofte, koeficientoj de matrico estas elementoj de ia korporingo, sed ĝenerale sufiĉas duonringo aŭ eĉ pli ĝenerala tipo de algebra strukturo, kies elementojn eblas adicii kaj multipliki. Matricoj estas uzataj por priskribi sistemojn de linearaj ekvacioj kaj linearajn transformojn.

Kvadrataj matricoj redakti

  Pli detalaj informoj troveblas en artikolo Kvadrata matrico.

En lineara algebro, kvadrata matrico estas matrico kies ambaŭ dimensioj estas la samaj, do m-oble-n matrico kun m = n.

Kvadrataj matricoj havas iujn propraĵojn, kiujn ne havas ne-kvadrataj matricoj:

  • Produto de n-oble-n matrico A kaj n-dimensia vektoro x, Ax, havas la saman dimension n kiel vektoro x. Do, ĉi tia multipliko difinas linearan transformon el vektora spaco en la saman vektoran spacon.
  • Ekzistas matrica produto de iu ajn kvanto de n-oble-n matricoj en iu ajn ordo. Tamen la produto povas dependi de la ordo de la multiplikataj matricoj.
  • Transponita kaj konjugita transponita de kvadrata matrico estas kvadrataj matricoj de la sama amplekso.
Determinantoj redakti
  Pli detalaj informoj troveblas en artikolo Determinanto.

En lineara algebro, determinanto estas funkcio kiu asociigas skalaron det(A) al ĉiu n×n kvadrata matrico A. La fundamenta geometria signifo de determinanto estas kiel la skala faktoro por volumeno se A estas konsiderita kiel lineara transformo. Por ĉiu pozitiva entjero n, estas unika determinanta funkcio por la n×n matricoj super ĉiu komuta ringo R. Aparte, ĉi tiu funkcio ekzistas kiam R estas la kampo de reelajkompleksaj nombroj. Determinanto de A estas ankaŭ iam skribita kiel |A|, sed ĉi tiu skribmaniero estas ambigua: ĝi estas ankaŭ uzata por matricaj normoj, kaj por la kvadrata radiko de  .

Linearaj sistemoj redakti

  Pli detalaj informoj troveblas en artikolo Sistemo de linearaj ekvacioj.

Sistemo de linearaj ekvacioj estas sistemo de ekvacioj, en kiu estas laŭvola nombro de linearaj ekvacioj kaj samtempe ne estas nelinearaj ekvacioj.

Se estas   ekvacioj, en kiuj estas   variabloj  , tiam oni povas prezenti en formo:

 

La skalaroj   nomiĝas koeficientoj de sistemo, la skalaroj   nomiĝas liberaj elementoj.

Solvo de sistemo de ekvacioj nomiĝas laŭvola opo de   elementoj   de korpo  , kiuj, substituite por  , donas verajn ekvaciojn.

Vidu ankaŭ redakti

Eksteraj ligiloj redakti

Referencoj redakti

  1. Hart, Roger (2010). [https://books.google.es/books?id=zLPm3xE2qWgC&redir_esc=y The Chinese Roots of Linear Algebra. JHU Press. ISBN 9780801899584.
  2. Vitulli, Marie. «A Brief History of Linear Algebra and Matrix Theory». Universitato de Oregono. Arkivita el uoregon.edu/~vitulli/441.sp04/LinAlgHistory.html el originalo la 10an de septembro 2012. Konsultita la 8an de julio 2014.
  3. Vitulli, Marie. "A Brief History of Linear Algebra and Matrix Theory". Department of Mathematics. University of Oregon. Archived from the original on 2012-09-10. Retrieved 2014-07-08.

Bibliografio redakti