Algebra llinol

Algebra llinol yw'r gangen o fathemateg sy'n ymwneud â hafaliadau llinol fel:



mapiau llinol fel:



a'u cynrychioliadau mewn gofodau fector a thrwy fatricsau.

Mae algebra llinol yn ganolog i bron pob maes o fathemateg. Er enghraifft, mae algebra llinol yn sylfaenol mewn cyflwyniadau modern o geometreg, gan gynnwys ar gyfer diffinio gwrthrychau sylfaenol fel llinellau, Planau geometraidd a chylchdroadau. Hefyd, gellir ystyried dadansoddiad ffwythiannol (ffunctional analysis) sy'n gangen o ddadansoddi mathemategol, fel cymhwysiad o algebra llinol i o fewn mannau ffwythiannol.

Defnyddir algebra llinol hefyd yn y mwyafrif o wyddorau a meysydd peirianneg, oherwydd mae'n caniatáu modelu llawer o ffenomenau naturiol, a chyfrifiadura'n effeithiol, gyda modelau o'r fath. Ar gyfer systemau aflinol, na ellir eu modelu ag algebra llinol, fe'i defnyddir yn aml ar gyfer delio â brasamcanion gorchymyn cyntaf.

 Hanes 
Mae'r weithdrefn ar gyfer datrys hafaliadau llinol cydamserol (simultaneous) a elwir bellach yn ddileu Gaussaidd yn ymddangos mewn testun mathemategol hynafol Tsieineaidd Pennod Wyth: Araeau hirsgwar mewn llyfr o'r enw Y Naw Pennod ar Gelfyddyd Mathemateg. Disgrifir y defnydd o hafaliadau llinol mewn deunaw problem, gyda dwy i bum hafaliad. Mae'r gwaith Tsieineaidd hwn wedi'i ddyddio i 10 CC –2 CC.

Cododd systemau hafaliadau llinol yn Ewrop ganrifoedd yn ddiweddarach, gyda chyflwyniad yn 1637 gan René Descartes o gyfesurynnau mewn geometreg. Mewn gwirionedd, yn y geometreg newydd hon, a elwir bellach yn geometreg Cartesaidd (neu'n Geometreg ddadansoddol), mae llinellau ac phlanau'n cael eu cynrychioli gan hafaliadau llinol, ac mae cyfrifiaduro eu croestoriadau'n gyfystyr â datrys systemau hafaliadau llinol.

Roedd y dulliau systematig cyntaf ar gyfer datrys systemau llinellol yn defnyddio penderfynyddion, (determinants) a ystyriwyd gyntaf gan Gottfried Wilhelm von Leibniz ym 1693. Yn 1750, defnyddiodd Gabriel Cramer nhw ar gyfer rhoi datrysiadau penodol o systemau llinellol, a elwir bellach yn 'rheol Cramer'. Yn ddiweddarach, disgrifiodd Gauss ymhellach y dull o ddileu, a restrwyd i ddechrau fel cynnydd mewn geodedd.

Ym 1844 cyhoeddodd Hermann Grassmann ei "Theor'r Estyniad" a oedd yn cynnwys pynciau newydd sylfaenol o'r hyn a elwir heddiw yn algebra llinol. Yn 1848, cyflwynodd James Joseph Sylvester y term matrics, sef Lladin ar gyfer croth.

Tyfodd algebra llinol gyda syniadau wedi'u nodi yn y plân cymhlyg. Er enghraifft, dau rif w a z yn mae gwahaniaeth w - z, ac mae'r segmentau llinol  a  o'r un hyd a chyfeiriad. Mae'r segmentau yn gydnerthol (equipollent). Dechreuwyd y system pedwar dimensiwn  o quaternions ym 1843. Cyflwynwyd y term fector fel v = x i + y j + z k yn cynrychioli pwynt yn y gofod. Mae'r gwahaniaeth cwaternaidd p - q hefyd yn cynhyrchu segment sy'n gydnerthol â  Roedd systemau rhif gorgymhlyg (hypercomplex) eraill hefyd yn defnyddio'r syniad o ofod llinol gyda seiliau.
Cyflwynodd Arthur Cayley luosi matrics a'r matrics gwrthdro ym 1856, gan wneud y grŵp llinol cyffredinol yn bosib. Daeth mecanwaith cynrychiolaeth grŵp ar gyfer disgrifio niferoedd cymhlyg a gorgymhlyg. Yn hanfodol, defnyddiodd Cayley un llythyren i ddynodi matrics, a thrwy hynny drin matrics fel gwrthrych cyfanredol (aggregate object). Sylweddolodd hefyd y cysylltiad rhwng matricsau a phenderfynyddion, ac ysgrifennodd "Byddai llawer o bethau i'w dweud am y theori hon o fatricsau a ddylai, mae'n ymddangos i mi, ragflaenu theori penderfynyddion".

Cyhoeddodd yr Americanwr Benjamin Peirce ei Linear Associative Algebra yn 1872, ac estynnodd ei fab Charles Sanders Peirce y gwaith yn ddiweddarach.Benjamin Peirce (1872) Linear Associative Algebra, lithograph, new edition with corrections, notes, and an added 1875 paper by Peirce, plus notes by his son Charles Sanders Peirce, published in the American Journal of Mathematics v. 4, 1881, Johns Hopkins University, pp. 221–226, Google Eprint and as an extract, D. Van Nostrand, 1882, Google Eprint.

Cyflwynwyd y diffiniad modern a mwy manwl gywir o ofod fector gan Peano ym 1888; erbyn 1900, roedd damcaniaeth o drawsnewidiadau llinol o fannau fector dimensiwn meidraidd wedi dod i'r amlwg. Cymerodd algebra llinol ei ffurf fodern yn hanner cyntaf yr 20g, pan gyffredinolwyd llawer o syniadau a dulliau canrifoedd blaenorol fel algebra haniaethol. Arweiniodd datblygiad cyfrifiaduron at fwy o ymchwil mewn algorithmau effeithlon ar gyfer dileu Gaussaidd a dadelfeniadau matrics, a daeth algebra llinol yn offeryn hanfodol ar gyfer modelu ac efelychiadau.

 Gofod fector 
Hyd at y 19g, cyflwynwyd algebra llinol trwy systemau o hafaliadau llinol a matricsau. Mewn mathemateg fodern, mae ei gyflwyno trwy ofodau fector yn well, gan ei fod yn fwy synthetig, yn fwy cyffredinol (hy heb fod yn gyfyngedig i'r achos dimensiwn meidraidd), ac yn symlach yn gysyniadol, ond, ysywaeth, yn fwy haniaethol.

Mae gofod fector dros faes F (maes y rhifau real yn aml) yn set  wedi'i gyfarparu â dau weithredwr deuaidd sy'n bodloni'r gwireb canlynol. Gelwir elfennau o  yn fectorau, a gelwir elfennau o F yn sgalars. Mae'r gweithredwr gyntaf, adio fectoraidd, yn cymryd unrhyw ddau fector  ac  yn allbynnu trydydd fector  + . Mae'r ail weithrediad, lluosi sgalar, yn cymryd unrhyw sgalar  ac unrhyw fector  ac yn allbynnu  sy'n newydd sbon. Yr axiomau y mae'n rhaid i adio a lluosi sgalar eu bodloni yw'r canlynol. (Yn y rhestr isod, mae  ac  yn elfennau mympwyol o , ac  a  yn sgalars mympwyol ym maes .)
Gwireb (Axiom) Arwyddocâd Cysylltiadau Adio  Cymudoldeb adio Adio differol Mae yna elfen  yn , o'r enw zero vector (neu sero, yn syml), fel bod  ar gyfer pob  yn . Elfennau gwrthdro o fewn adio Ar gyfer pob  yn , ceir elfen   yn , a elwir yn additive inverse o , fel bod  Dosbarthiad lluosi sgalar mewn perthynas ag adio fectoraidd  Dosbarthiad lluosi sgalar mewn perthynas ag adio meysydd  Cydnawsedd lluosi sgalar â lluosi maes  Elfen unfathiant lluosi sgalar , lle mae 1 dynodi unfathiant luosog 
Mae'r pedair gwireb cyntaf yn golygu bod  yn y grŵp abelian dan adio.

Efallai y bydd gan elfen o ofod fector penodol natur amrywiol; er enghraifft, gallai fod yn ddilyniant, yn ffwythiant, yn bolynomial neu'n fatrics. Mae algebra llinol yn ymwneud â phriodweddau gwrthrychau o'r fath sy'n gyffredin i bob gofod fector.

 Mapiau llinol 
Mapiau llinol yw mapiau rhwng gofodau fector sy'n cadw strwythur y gofod fector. O ystyried dau ofod fector  ac  dros faes , mae map llinol (a elwir hefyd, mewn rhai cyd-destunau'n trawsnewid llinol) yn fap



sy'n gydnaws ag adio a lluosi sgalar, hynny yw



ar gyfer unrhyw fectorau  yn  a sgalar  yn .

Mae hyn yn awgrymu'r canlynol: bod gan unrhyw fector  yn  a sgalars  yn , ceir



Pan fo  yr un gofod fector, mae map llinol  hefyd yn cael ei alw'n weithredwr llinol ar .

 Matricsau 
Mae matricsau'n caniatáu trin gofod fector o ddimensiwn meidraidd a mapiau llinol yn benodol. Felly mae eu theori yn rhan hanfodol o algebra llinol.

 Systemau llinol 
Gelwir set feidrol o hafaliadau llinol mewn set feidrol o newidynnau, er enghraifft,  neu  yn system hafaliadau llinol neu'n system linol.

Mae systemau hafaliadau llinol yn rhan sylfaenol o algebra llinol. Yn hanesyddol, datblygwyd theori algebra llinol a matrics ar gyfer datrys systemau o'r fath. Yn y cyflwyniad modern o algebra llinol trwy ofodau fector a matricsau, gellir dehongli llawer o broblemau yn nhermau systemau llinol.

Er enghraifft, gadewch ibod yn system linol.

I system o'r fath, gellir cysylltu ei fatrics



a'i fector aelod



Gadewch i  fod y trawsnewidiad llinol sy'n gysylltiedig â'r matrics . Mae datrysiad o'r system (S) yn fector



fel bod



sy'n elfen o preimage o  gan .

Gadewch i ( S' ) fod y system homogenaidd gysylltiedig, lle mae ochrau dde'r hafaliadau yn cael eu rhoi i sero:Mae datrysiadau ( S' ) yn union yr un elfennau o'r cnewyllyn (kernel) o  neu, yn yr un modd, .

Mae'n dilyn o'r dehongliad matrics hwn o systemau llinol y gellir defnyddio'r un dulliau ar gyfer datrys systemau llinol ac ar gyfer llawer o weithrediadau ar fatricsau a thrawsnewidiadau llinol, sy'n cynnwys cyfrifiant o rengoedd, o'r cnewyllyn, ac o wrthdroadau matrics.

 Endomorffiadau a matricsau sgwâr 
Map llinol yw endomorffiaeth llinol sy'n mapio gofod fector  iddo'i hun. Os oes gan  sail o  elfen, mae endomorffiaeth o'r fath yn cael ei gynrychioli gan fatrics sgwâr o faint .

O ran mapiau llinol cyffredinol, mae gan endomorffadau llinol a matricsau sgwâr rai priodweddau penodol sy'n gwneud eu hastudiaeth yn rhan bwysig o algebra llinol, a ddefnyddir mewn sawl rhan o fathemateg, gan gynnwys trawsnewidiadau geometrig, newidiadau cyfesurynnol, ffurfiau cwadratig, a llawer o rannau eraill o fathemateg.

 Deuoliaeth 
Map llinol o ofod fector yw ffurf linol  dros faes  i faes y sgalars , sy'n cael ei ystyried yn ofod fector drosto'i hun. Gydag adio a lluosi pwynt wrth sgalar, mae'r ffurfiau llinol yn ffurfio gofod fector, a elwir yn ofod deuol , a'i ddynodi fel arfer fel  neu .

 Perthynas â geometreg 
Mae perthynas gref rhwng algebra llinol a geometreg, a ddechreuodd gyda chyflwyniad René Descartes, ym 1637, o gyfesurynnau Cartesaidd. Yn y geometreg hon, a elwir bellach yn geometreg Cartesaidd, mae pwyntiau'n cael eu cynrychioli gan gyfesurynnau Cartesaidd, sy'n ddilyniannau o dri rhif real, yn achos y gofod tri dimensiwn arferol. Cynrychiolir gwrthrychau sylfaenol geometreg, sef llinellau ac phlanau gan hafaliadau llinol. Felly, mae gweithio allan y croestoriadau o linellau a phlanau yn gyfystyr â datrys systemau hafaliadau llinol. Dyma oedd un o'r prif ysgogiadau dros ddatblygu algebra llinol.

Mae'r rhan fwyaf o drawsffurfiadau geometrig, megis trawsfudiadau, cylchdroadau, adlewyrchiadau, cynigion anhyblyg, isometrau, a thafluniadau yn trawsnewid llinellau yn llinellau. Mae'n dilyn y gellir eu diffinio, eu nodi a'u hastudio o ran mapiau llinol ac mae hyn hefyd yn wir am homograffïau a thrawsnewidiadau Möbius, pan gânt eu hystyried fel trawsnewidiadau o ofod tafluniol.

Hyd at ddiwedd y 19g, diffiniwyd gofodau geometrig gan wirebau (axiomau) yn ymwneud â phwyntiau, llinellau a phlanau (a elwid yn geometreg synthetig). Tua'r cyfnod hwn, roedd yn ymddangos y gallai rhywun hefyd ddiffinio gofodau geometrig trwy luniadau a oedd yn cynnwys gofodau fector. Dangoswyd bod y ddau ddull yn gyfwerth yn y bôn.Emil Artin (1957) Geometric Algebra Interscience Publishers

Yn 2021 roedd y mwyafrif o werslyfrau, yn cyflwyno gofodau geometrig o algebra llinol, ac yn aml cyflwynir geometreg, ar lefel elfennol, fel is-faes algebra llinol.

 Defnydd a chymwysiadau 
Defnyddir algebra llinol ym mron pob maes o fathemateg, gan ei wneud yn berthnasol ym mron pob parth gwyddonol sy'n defnyddio mathemateg. Gellir rhannu'r ceisiadau hyn yn sawl categori eang.

 Geometreg y gofod amgylchynol 
Mae modelu gofod amgylchynol yn seiliedig ar geometreg. Mae gwyddorau sy'n ymwneud â'r gofod hwn yn defnyddio geometreg yn eang. Mae hyn yn wir gyda mecaneg a roboteg, ar gyfer disgrifio dynameg corff anhyblyg; geodedd ar gyfer disgrifio siâp y Ddaear; persbectif, gweledigaeth gyfrifiadurol, a graffeg gyfrifiadurol, ar gyfer disgrifio'r berthynas rhwng golygfa a'i chynrychiolaeth plan; a llawer o barthau gwyddonol eraill.

Yn yr holl gymwysiadau hyn, defnyddir geometreg synthetig yn aml ar gyfer disgrifiadau cyffredinol a dull ansoddol, ond ar gyfer astudio sefyllfaoedd penodol, rhaid cyfrifo â chyfesurynnau. Mae hyn yn gofyn am ddefnyddio cryn dipyn o algebra llinol.

 Dadansoddiad ffwythiannol 
Mae dadansoddiad ffwythiannol (functional analysis) yn astudiaeth o ofod ofod ffwythiannol, gyda strwythurau ychwanegol megis gofod Hilbert. Felly mae algebra llinol yn rhan sylfaenol o ddadansoddiad ffwythiannol a'i gymwysiadau, sy'n cynnwys, yn benodol, mecaneg cwantwm (swyddogaethau tonnau).

 Yr astudiaeth o systemau cymhlyg 
Mae'r rhan fwyaf o ffenomenau ffisegol yn cael eu modelu gan hafaliadau differol rhannol (partial differential equations). Er mwyn eu datrys, mae un fel arfer yn dadelfennu'r gofod lle mae'r datrysiadau'n cael eu gwneud i mewn i gelloedd bach sy'n rhyngweithio â'i gilydd. Ar gyfer systemau llinol mae'r rhyngweithio hwn yn cynnwys ffwythiannau llinellol (linear functions). Ar gyfer systemau aflinol, mae'r rhyngweithio hwn yn aml yn cael ei frasamcanu gan ffwythiant llinol. Fel arfer, yn y ddau achos, ceir matricsau mawr iawn. Mae rhagweld y tywydd yn enghraifft nodweddiadol, lle mae atmosffer y Ddaear gyfan wedi'i rannu'n gelloedd o 100, dyweder km o led a 100 m o uchder.

 Cyfrifiant gwyddonol 
Mae bron pob cyfrifiant gwyddonol yn cynnwys algebra llinol. O ganlyniad, mae algorithmau algebra llinol wedi'u optimeiddio'n fawr. BLAS a LAPACK yw'r gweithrediadau mwyaf adnabyddus. Er mwyn gwella effeithlonrwydd, mae rhai ohonynt yn ffurfweddu'r algorithmau yn awtomatig, yn fyw yn y fan a'r lle, ar gyfer eu haddasu i nodweddion penodol y cyfrifiadur (maint y storfa, nifer creiddiau'r prosesydd ayb).

Mae rhai proseswyr, yn nodweddiadol unedau prosesu graffeg (GPU), wedi'u cynllunio gyda strwythur matrics, ar gyfer optimeiddio gweithrediadau algebra llinol.

 Cyfeiriadau 

Categori:Pages that use a deprecated format of the math tags

Llinol