Sangay ng matematika From Wikipedia, the free encyclopedia
Ang linear algebra (Kastila: álgebra lineal) ang sangay ng matematika na umuukol sa may hangganan o mabibilang na walang hangganang dimensiyonal na mga espasyong bektor gayundin ang mga pagma-mapang linyar sa pagitan ng mga gayong espasyo. Ang gayong imbestigasyon ay inisyal na nauudyukan ng isang mga sistema ng ekwasyong linyar sa ilang mga hindi alam. Ang gayong mga ekwasyon ay likas na kinakatawan gamit ang pormalismo ng mga matriks at mga bektor.[1] Ang linear algebra ay sentral sa parehong puro at nilalapat na matematika. Halimbaw, ang abstraktong alhebra ay lumilitaw sa pagpapagaan ng mga aksiyoma ng isang espasyong bektor na tumutungo sa isang bilang ng mga paglalahat. Ang analisis na punsiyonal ay nag-aaral ng bersiyong walang hangganang dimensiyon ng teorya ng mga espasyong bektor. Kasama ng kalkulo, ang linear algebra ay tumutulong sa solusyon ng mga sistemang linyar ng mga ekwasyong diperensiyal. Ang mga pamamaraan mula sa linear algebra ay ginagamit rin sa heometriyang analitiko, inhinyerya, pisika, mga agham natural, agham pangkompyuter at mga agham panlipunan(partikular na ang ekonomika). Dahil ang linear algebra ay isang mahusay na pinaunlad na teorya, ang mga modelong matematikal na hindi linyar ay minsang tinatantiya ng mga modelong linyar.
Ang pangunahing mga istraktura ng linear algebra ay mga espasyong bektor. Ang isang espasyong bektor sa ibabaw ng isang field na F ay isang pangkat na V kasama ng dalawang mga operasyong binaryo. Ang mga elemento ng V ay tinatawag na mga bektor at ang mga elemento ng F ay tinatawag na mga skalar. Ang unang operasyon na adisyong bektor ay kumukuha ng anumang dalawang mga bektor na v and w at naglalabas ng isang ikatlong bektor na v + w. Ang ikalawang operasyon ay kumukha ng anumang sklar na a at anumang bektor na v at naglalabas ng isang bagong bektor na vector av. Sa pananaw ng unang halimbawa kung saan ang multiplikasyon ay ginagawa sa muling pag-iiskala ng bektor na v ng isang skalar na a, ang multiplikasyon ay tinatawag na multiplikasyong iskalar ng v ng a. Ang mga operasyon ng adisyon at multiplikasyon sa isang espasyong bektor ay sumasapat sa sumusunod na mga axioma.[2] In the list below, let u, v and w be arbitrary vectors in V, and a and b scalars in F.
Axioma | Signipikasyon |
Asosiatibidad ng adisyon | u + (v + w) = (u + v) + w |
Komutatibidad ng adisyon | u + v = v + u |
Elementong identidad ng adisyon | May umiiral na elementong 0 V, na tinatawag na bektor na sero upang ang v + 0 = v para sa lahat na v ∈ V. |
Mga elementong inberso ng adisyon | Para sa bawat v ∈ V, may umiiral na isang elementong −v ∈ V, na tinatawag na inbersong aditibo ng v upang ang v + (−v) = 0 |
Distributibidad ng multiplikasyong skalr sa respto ng adisyong bektor | a(u + v) = au + av |
Distributibidad ng multiplikasyong skalar sa respeto ng adisyong field | (a + b)v = av + bv |
Kompatibilidad ng mulitiplikasyong skalar sa multiplikasyong field | a(bv) = (ab)v [3] |
Elementong identidad ng multiplikasyong skalar | 1v = v, kung saan ang 1 ay tumutukoy sa identidad na multiplikatibo sa F. |
Ang mga elemento ng isang pangkalahatang espasyong bektor na V ay maaaring mga obhekto ng anumang kalikasan, halimbawa mga punsiyon, mga polinomial, mga bektor o mga matriks. Ang alhebrang linayr ay umuukol sa mga katangian na karaniwan sa lahat ng mga espasyong bektor.
Gayundin gaya ng sa teoriya ng ibang mga istrakturang alhebraiko, ang linear algebra ay nag-aaral ng mga pagmamapa sa pagitan ng mga espasyong bektor na nag-iingat ng istrakturang espasyong bektor. Sa ibinigay na dalawang mga espasyong bektor na V at W sa ibabaw ng isang field na F, ang isang transpormasyong linyar(na tinatawag ring mapang linyar, pagmamapang linyar o operador na linyar) ay isang mapang
na umaangkop sa multiplikasyon adisyon at multiplikasyong skalar:
para sa anumang mga bektor na u,v ∈ V at isang skalara na a ∈ F. Kapag ang isang bihektibong pagmamapang linyar ay umiiral sa pagitan ng dalawang mga espasyong bektor(na ang bawat bektor mula sa unang espasyo ay nauugnay sa eksaktong isa sa ikalawa), ating sasabihing ang dalawang mga espasyo ay isomorpiko. Dahil ang isomopismo ay nag-iingat ng istrakturang linyar, ang dalawang mga espasyong bektor na isomorpiko ay likas na pareho mula sa pananaw ng alhebrang linya. Ang isang mahalagang tanong sa linear algebra ay kung ang isang pagmamapag ay isang isomorpismo o hindi at ang tanong na ito ay maaaring masagot sa pamamagitan ng pagtingin kung ang determinante ay sero. Kung ang isang pagmamapa ay hindi isang isorpismo, ang linear algebra ay interesado sa paghahanap ng mga saklaw(range)(o larawan) at ang pangkat ng mga elemento na namamapa sa sero na tinatawag na kernel ng pagmamapa.
Muli, sa analogo sa mga teoriya ng ibang mga obhektong alhebraiko, ang linear algebra ay interesado sa mga pang-ilalim na pangkat (subset) ng mga espasyong bektor na mga mismong espasyong bektor. Ang mga pang-ilalim na pangkat na ito ay tinatawag na mga subespasyong linyar. Halimbawa, ang range at kernel ng isang pagmamapang linyar ay parehong mga subespasyo at kaya ay kadalasang tinatawag na espasyong range at ang espasyong null. Ang mga ito ay mga mahalagang halimbawa ng mga subespasyo. Ang isa pang mahalagang paraan ng pagbuo ng isang subespasyo ay ang pagkuha ng kombinasyong linyar ng isang pangkat ng mga bektor na v1, v2, …, vk:
kung saan ang a1, a2, …, ak ay mga skalar. Ang pangkat ng lahat ng mga kombinasyong linyar ng mga bektor na v1, v2, …, vk ay tinatawag na span nba linyar na bumubuo ng isang subespasyo. Ang isang kombinasyong linyar ng anumang sistema ng mga bektor na may lahat na mga koepisyenteng sero ang bektor na sero ng V. Kung ito ang tanging paraan upang ihayag ang bektor na sero bilang isang kombinasyong linyar ng v1, v2, …, vk kung gayon ang mga bektor na ito ay independiyenteng linyar. Sa ibinigay na pangkat ng mga bektor na nagii-span sa isang espasyo, kung ang anumang bektor na ay isang kombinasyong linyar ng ibang mga bektor(at kaya ang pangkat ay hindi independiyenteng linyar), kung gayon ang span ay mananatiling pareho kung ating aalisin ang mula sa pangkat. Kaya ang isang pangkat ng mga independiyenteng linyar na bektor ay paulit ulit sa kahulugang ang isang pang-ilalim na pangkat na independiyenteng linyar ay magii-span sa parehong subespasyo. Kaya, tayo ay interesado sa isang independiyenteng linyar na pangkat ng mga bektor na nagii-span sa isang espasyong bektor na V na ating tatawaging basehan(basis) ng V. Ang anumang pangkat ng mga bektor na nagii-span ng V ay naglalaman ng isang basehan at ang anumang independiyenteng linyar na pangkat ng mga bektor na V ay maaari ring palawigin sa isang basehan.[4] Lumalabas na kapag tinanggap natin ang aksiyoma ng isang pagpipilian, ang bawat espasyong bektor ay may isang basehan.[5] Gayumpaman, ang basehang ito ay maaaring hindi natural at hindi maitatayo. Halimbawa, may umiiral na isang basehan para sa mga real na bilang na itinuturing bilang espasyong bektor sa ibabaw ng mga bilang na rasyonal ngunit walang hayagang basehan na naitayo. Ang anumang dalawang mga basehan ng isang espasyong bektor na V ay may parehong kardinalidad na tinatawag na dimensiyon ng V. Ang dimensiyon ng isang espasyong bektor ay isang mahusay na inilalarawan ng teoremang diemnsiyon para sa mga espasyong bektor. Kung ang isang basehan ng V ay may may-hangganang bilang ng mga elemento, ang V ay tinatawag na may hangganan dimensiyonal na espasyong bektor. Kung ang V ay isang may hangganang dimensiyonal at ang U ay isang subespasyo ng V, kung gayon ang dim U ≤ dim V. Kung ang U1 at U2 ay mga subespasyo ng V, kung gayon
Ang isang partikular basehan {v1, v2, …, vn} ng V ay pumapayag sa isa na magtayo ng isang sistemang koordinado sa V: ang bektor na may mga koordinadong (a1, a2, …, an) ang kombinasyong linyar na
Ang kondisyon na ang v1, v2, …, vn ay nagii-span ng V ay gumagarantiya na ang bawat bektor na v ay maaaring takdaan ng mga koordinador samantalang ang independiyensiyang linyar ng v1, v2, …, vn ay sumisiguro na ang mga koordinadong ito ay walang katulad(i.e. may isa lamang kombinasyong linyar ng basehang mga bektor na katumbas ng v). Sa paraang ito, kapag ang basehan ng isang espasyong bektor na V sa ibabaw ng F ay napili, ang V ay maaaring matukoy ng koordinadong n-espasyong Fn. Sa ilalim ng pagtukoy na ito, ang adisyon at multiplikasyong skalar ng mga bektor na V ay tumutugon sa adisyon at multiplikasyong skalar ng mga koordinadong bektor nito sa Fn. Sa karagdagan, kung ang V at W ay isang n-dimensiyonal at ang m-dimensiyonal na espasyong bektor sa ibabaw ng F, at ang isang basehan ng V at isang basehan ng W ay ipinirme, kung gayon, ang anumang transpormasyong linyar na T: V → W ay maaaring ikodigo ng m × n matriks na A na may mga entrada sa field na F na tinatawag na matriks ng T sa respeto ng dalawang mga basehang ito. Ang dalawang mga matriks na nagkokodigo ng parehong transpormasyong linyar sa iba ibang mga basehan ay tinatawag na pareho. Ang teoriyang matriks ay nagpapalit ng pag-aaral ng mga transpormasyong linyar na inilalarawan ng aksiyomatiko, ng pag-aaral ng mga matriks na mga obhektong konkreto. Ang pangunahing pamamaraang ito ay nagtatangi ng linear algebra mula sa mga teoriya ng ibang mga istrakturang alhebraiko na hindi karaniwang mapaparametrisa ng konkreto. May isang mahalagang distinksiyon sa pagitan ng koordinadong n-espasyong Rn at isang pangkalahatang may hangganang dimensiyonal na espasyong bektor na V. Bagaman ang Rn ay may isang pamantayang basehang {e1, e2, …, en}, ang isang espasyong bektor na V ay karaniwang hindi pinagkakalooban ng gayong basehan at maraming mga iba't ibang basehan ay umiiral(bagaman ang mga ito ay lahat binubuo ng parehong bilang ng mga elemento na katumbas ng dimensiyon ng V). Ang isang pangunahing aplikasyon ng teoriyang matriks ang pagkukwenta ng mga determinante na isang sentral na konsepto sa linear algebra. Bagaman ang mga determinante ay maaaring ilarawan sa isang paraang malaya sa basehan, ang mga ito ay karaniwang ipinakikilala sa pamamagitan ng isang spesipikong representasyon ng pagmamapa. Ang halaga ng determinante ay hindi nakasalalay sa spesipikong basehan. Lumalabas na ang isang pagmamapa ay inbertible lamang kung at tanging kung ang determinante ay hindi sero. Kung ang determinante ay sero, kung gayon ang espasyongnull ay hindi trivial. Ang mga deteminante ay ibang mga aplikasyon kabilang ang isang sistematikong paraan ng pagtingin kung ang isang pangkat ng mga bektor ay independiyenteng linyar(ating isinulat ang mga bektor bilang mga column ng isang matriks at kung ang determinante ng matriks na ito ay sero, ang mga bektor ay dependiyenteng linyar). Ang mga determinante ay maaari ring magamit upang lutasin ang mga sitema ng mga ekwasyong linyar ngunit sa mga tunay na aplikasyon, ang eliminasyong Gaussian ay isang mas mabilis na paraan.
Sa pangkalahatan, ang aksiyon ng isang transpormasyong linyar ay mahirap na maunawaan at kaya upang magkaroon ng mabuting pagkaunawa sa mga transpormasyong linyar, ang mga bektor na na relatibong nakapirme ng transpormasyong ito ay binibigyan ng isang espesyal na atensiyon. Upang gawin itong mas konkreto, hayaang ang na maging anumang transpormasyong linyar. Tayo ay lalong interesado sa mga hindi-serong bektor na upang ang kung saan ang ay isang skalara sa baseng field ng espasyong bektor. Ang mga bektor na ito ay tinatawag na mga eigenbektor at ang tumutugong mga skalar ay tinatawag na mga eigenhalaga. Upang mahanap ang eigenbektor o isang eigenhalaga, ating sasabihing ang
kung saan ang ang matriks na identidad. Para magkaroon mga solusyong hindi trivial sa ekwasyong ito,
Ang determinante ay isang polinomial at kaya ang mga eigenhalaga ay hindi ginagarantiyang umiiral kung ang field ay R. Kaya kadalasan ay gumagawa tayo sa isang alhebraikong saradong field gaya ng mga bilang na kompleks kapag nakikitungo sa mga eigenbektor at eigenhalaga upang ang eigenhalaga ay palaging umiiral. Partikular na maganda kung binigyan ng isang transpormasyong na kumukuha ng isang espasyong bektor na sa sarili nito, makakahanap tayo ng isang basehang madalaing nating makwenta ang aksiyon ng transpormasyon ng anumang bektor: kung ang ay mga independiyenteng linyar na mga eigenbektor ng isang pagmamapa ng n-dimensiyonal mga espasyong na may(hindi kinakailangang natatangi) mga eigenhalaga na , and if , kung gayon,
Ang gayong transpormasyon ay tinatawag na diagonalisableng matriks dahil sa eigenbasehan, ang transpormasyon ay kinakatawan ng isang matriks na diagonal. Dahil ang mga operasyong tulad ng multiplikasyong matriks, inbersiyong matriks at pagkukwenta ng determinante ay simple sa mga matriks na diagonal, ang mga pagkukwentang kinasasangkutan ng mga matiks ay mas simple kung ating madadala ang matriks sa isang anyong diagonal. Hindi lahat ng mga matriks ay diagonalisable(kahit sa ibabaw ng alhebraikong saradong field) ngunit ang mga matriks na diagonalisable ay bumubuo sa isang siksik na pang-ilalim na pangkat ng mga matriks.
Bukod sa mga basikong konseptong ito, ang linear algebra ay nag-aaral rin ng mga espasyong bektor na may karagdagang istraktura gaya ng panloob na produkto. Ang panloob na produkto ay isang halimbawa ng isang anyong bilinyar at ito ay nagbibigay sa espasyong bektor ng isang istrakturang heometriko sa pamamagitan ng pagpapayag para sa depinisyon ng haba at mga anggulo. Sa pormal na paglalarawan, ang isang panloob na produkto ay isang mapang
na sumasapat sa sumusunod na mga aksiyoma para sa lahat ng mga bektor na at lahat ng mga skalar na:[8][9]
Pansinin na sa R, ito ay simetric.
Ating pwedeng ilarawan ang haba ng isang bektor na ng at ating mapapatunayan ang inekwalidad na Cauchy-Schwarts:
Sa partikular, ang kantidad ay
at kaya ay maaari nating tawagin ang kantidad na ito na cosine ng anggulo sa pagitan ng mga bektor.
Ang dalawang mga bektor ay ortogonal kung ang . Ang isang basehang ortogonal ay isang basehan kung saan ang lahat ng mga basehang bektor ay may habang 1 at ortogonal sa bawat isa. Sa ibinigay na anumang may hangganang dimensiyonal na espasyong bektor, ang basehang ortonormal ay maaaring matagpuan sa pamamagitan ng paraang Gram-Schmnidt. Ang mga basehang ortonormal ay partikular na magandang pakitunguhan dahil kung ang , then .
Ang panloob na produkto ay tumutulong sa konstruksiyon ng maraming mga magagamit na mga konsepto. Halimbawa, sa ibinigay na tranpormang , maaari nating ilarawan ang konhugatong Hermitian na bilang transpormasyong linyar na sumasapat sa
Kung ang T ay sumasapat sa , ating tatawagin ang T na normal. Lumalabas na ang mga matriks na normal ay tumpak na mga matriks na may sistemang ortonormal ng mga eigenbektor na nagii-span ng V.
Ang linear algebra ay nagbibigay ng pormal na kapaligiran para sa kombinasyong linyar ng mga ekwasyong ginagamit sa paraang Gaussian. Ipagpalagay na ang layuni ay hanapin at ilarawan ang (mga)solusyon, kung anuman ng sumusunod na sistema ng mga ekwasyong linyar:
Ang eliminasyong Gaussian ay: alisin ang x mula sa lahat ng mga ekwasyon sa baba ng at pagkatapos ay alisin ang y mula sa lahat ng mga ekwasyon sa baba ng . Ito ay maglalagay sa sistema sa anyong tatsulok. Pagkatapos, gamit ang pabalik na paghalili, ang bawat hindi alam ay maaaring malutas. Halimbawa, ang x ay tinanggal mula sa sa pamamagitan ng pagdaragdag ng sa . Ang x ay tinanggal naman mula sa sa pamamagitan ng pagdaragdag ng sa . Formally:
Ang resulta ay:
Ngayon, ang y ay tinanggal mula sa sa pamamagitan ng pagdaragdag ng sa :
Ang resulta ay:
Ang resultang ito ay isang sistema ng mga ekwasyong linyar sa anyong tatsulok at kaya ang unang bahagi ng algoritmo ay kompleto na. Ang huling bahagi na pabalik na paghalili ay binubuo ng paglutas ng mga alam sa kaayusang baliktad. Kaya maaaring makita na
Pagkatapos, ang ay maaaring ihalili sa na malulutas naman upang makamit ang
Sumunod, ang z at y ay maaaring ihalili sa na malulutas naman upang makamit ang
Ang sistema ay nalutas na.
Ating magagawa sa pangkalahatan na isulat ang anumang sistema ng mga ekwasyong linyar bilang isang ekwasyong matriks na:
Ang solusyon ng sistemang ito ay: una, ating hahanapin ang isang partikular na solusyong ng ekwasyong ito gamit ang eliminasyong Gaussian. Pagkatapos, ating kukwentahin ang mga solusyon ng na ang ibig sabihin ay hahanapin natin ang espasyong null na ng A. Ang pangkat na solusyon ng ekwasyong ito ay ibinigay ng . Kung ang bilang ng mga bariabulo ay katumbas ng bilang ng mga ekwasyon, kung gayon ating mailalarawan kapag ang sistema ay may walang katulad na solusyon: dahil ang N ay trivial kung at tanging kung ang , ang ekwasyon ay may walang katulad na solusyon kung at tanging kung ang . [10]
Ang paraang mababang mga kwadrado ay ginagamit upang tukuyin ang pinakamahusay na linyang nagkakasya sa isang pangkat ng mga datos.[11] Ang linyang ito ay magpapaliit ng suman ng mga kwadrado ng mga residual.
Ang mga seryeng Fourier ay representasyon ng isang punsiyong bilang isang seryeng trigonometrikong:
Ang pagpapalawig na seryeng ito ay labis na magagamit sa paglutas ng mga ekwasyong parsiyal diperensiyal. Sa artikulong ito, hindi tayo uukol sa mga isyu ng pagtatagpo. Maganda na sabihing ang lahat ng mga tuloy tuloy na punsiyon ay may nagtatagpong pagpapalawig na seryeng Fourier at ang sapat na magandang mga hindi tuloy tuloy na punsiyon ay may isang seryeng Fourier na nagtatagpo sa halaga ng punsiyon sa karamihan ng mga punto. Ang espasyo ng lahat ng mga punsiyon ay maaaring ikatawan ng isang seryeng Fourier ay bumubuo sa isang espasyong bektor. Sa karagdagan, ang espasyong ito ay isa ring espasyong panloob na produkto na may panloob na produktong
Ang mga punsiyong for at para sa ay isang basehang ortonormal para sa espasyo ng mapapalawig ng Fourier na mga punsiyo. Kaya maaari nating gamitin ang mga kasangkapan ng linear algebra upang mahanap ang pagpapalawig ng anumang punsiyon sa espasyong ito sa mga termino ng mga basehang punsiyong ito. Halimbawa, upang mahanap ang koepisyenteng , ating kukunin ang panloob na produkto sa :
at sa pamamagitan ng ortonormalidad, ang ; na ang ibig sabihin ay
Ang mekanikang quantum ay mataas na napukaw ng mga nosyon ng linear algebra. Sa mekanikang quantum, ang pisikal na estado ng isang partikulo ay kinakatawan ng isang bektor at mga mapagmamasdan(obersvables) gaya ng momentum, enerhiya at angular na momentum ay kinakatawan ng mga operador na linyar sa saligang espasyong bektor. Sa mas konkreto, ang punsiyong alon ng isang partikulo ay naglalarawan ng estadong pisikal at nasa espasyong bektor L2 (ang mga punsiyong upang ang ay may hangganan), at nag-ito ay nag-eebolb ayon sa ekwasyong Schrödinger. Ang enerhiya ay kinakatawan bilang operador na kung saan ang V ang enerhiyang potensiyal. Ang H ay kilala rin bilang operador na Hamiltonian. Ang mga eigenhalaga ng H ay kumakatawan sa mga posibleng enerhiya na mapagmamasdan. Sa ibinigay na isang partikulo sa isang estadong , ating mapapalawig ang sa isang kombinasyong linyar ng mga eigenhalaga ng H. Ang bawat ng H sa bawat eigenestado ay tumutukoy sa probabilidad ng pagsukat ng tumutugon eigenhalaga at ang mga pwersa ng pagsukat ay pumupwera sa partikulo na kumuha ng eigenestado(pagkagiba ng alongpunsiyon).
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.