Algebro

studfako de matematiko pri strukturoj prezenteblaj ĉefe per egaleco kaj aliaj rilatoj inter esprimoj konsistantaj el simboloj

Algebro (de araba "al-ĝabr" tio signifas reunuiĝo de rompitaj partoj) [1] estas unu el la plej fundamentaj branĉoj de matematiko. Ĝi estas malfacile difinebla, sed ĝi estas karakterizita per uzo de simboloj por reprezenti iujn operaciojn kaj de variabloj por reprezenti nombrojn aŭ aliajn matematikajn objektojn.

Paĝo el Corpus Christi College MS 283, nome latina traduko de Zīĝ, nome verko de Al-Ĥorezmi.

Vortdeveno

 
Sovetia poŝtmarko okaze de la 1200-jariĝo de Al-Ĥorezmi. La vorto algebro devenas de Al-Ĥorezmi.

La vorto algebro devenas de la araba الجبر (al-ĝabr "restarigo") de la titolo de la libro al-Kitāb al-muĥtaṣar fī ḥisāb al-ĝabr ŭa-ʾl-muqābala de Al-Ĥorezmi. La vorto origine rilatis al la kirurgia proceduro ripari rompitajn aŭ dismetitajn ostojn. La matematika signifo unue estis registrita en la dek-sesa jarcento.[2]

Klasifikado

Algebro povas esti dividita laŭ jenaj fakoj:

Jen ekzemplo de algebraj esprimoj:

 
 
 
 
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).

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

 

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

 
Parto de la malnovegipta papiruso de Rhind.

Algebro, same kiel aritmetiko kaj geometrio, estas unu el la plej malnovaj branĉoj de matematiko. La nomo devenas de la traktaĵo de mezazia matematikisto Al-Ĥorezmi, kies araba nomo estis al-Kitāb al-ĝabr ŭa-ʾl-muqābala. La origino de algebro baziĝis sur la klopodoj por solvi matematikajn problemojn inkludantajn aritmetikajn kalkulojn kaj nekonatajn kvantojn. Tiuj disvolviĝoj okazis en la Antikveco en diversaj mondoregionoj kiel Babilonio, Egipto, Grekio, Ĉinio kaj Hindio. Unu el la plej fruaj dokumentoj estas la Papiruso de Rhind el antikva Egiptio, kiu estis verkita ĉirkaŭ 1650 a.n.e. (kvankam pri la preciza dato estas diskutoj) kaj oni studas pri kiel solvi linearajn ekvaciojn, kiel estas esprimita en problemoj kiel "Kvanto; ĝia kvaronon oni aldonas al ĝi. Ĝi iĝas dek kvin. Kio estas la kvanto?" Babiloniaj argiltabuletoj el ĉirkaŭ la sama tempo klarigas metodojn por solvi linearajn kaj kvadratajn polinomiajn ekvaciojn, kiel por ekzemplo la metodon plenigi la kvadraton.[3]

Algebro aperis pro la bezonoj solvi algebrajn ekvaciojn. La solvo de unuagrada kaj duagrada ekvacioj estis konata jam en antikveco. Multaj el tiuj enrigardoj trovis sian vojon el la antikvaj grekoj. Starte en la 6a jarcento a.n.e., ilia ĉefa intereso estis geometrio pli ol algebro, sed ili uzis algebrajn metodojn por solvi geometriajn problemojn. Por ekzemplo, ili studis geometriajn figurojn prenante iliajn longojn kaj areojn kiel nekonataj kvantoj determinotaj, kiel ekzempligis Pitagoro en sia formulado pri la metodo por la diferenco de du kvadratoj kaj poste en la Eŭklido en siaj Elementoj.[4] En la 3a jarcento a.n.e., Diofanto havigis detalan traktadon kiel solvi algebrajn ekvaciojn en serio de libroj nomita "Aritmetiko". Li estis la unua kiu eksperimentis per simbola notacio por esprimi polinomojn.[5] En antikva Ĉinio, la libro "La naŭ ĉapitroj pri la matematika arto" esploris variajn teknikojn por solvi algebrajn ekvaciojn, kiel la uzado de matriksecaj konstruktoj.[6]

 
Al-Ĝabr (Kompendio pri kalkulado per kompletigo kaj ekvilibro) de Al-Ĥorezmi.

Estas polemiko pri je kiu etendo tiuj fruaj disvolviĝoj povus esti konsiderataj parto de algebro mem pli propre ol anstataŭe nur antaŭenirantoj. Ili proponis solvojn al algebraj problemoj sed ili ne komprenis ilin laŭ abstrakta kaj ĝenerala maniero, fokuse anstataŭe al specifaj kazoj kaj aplikaĵoj.[7] Tio ŝanĝiĝis kun la persa matematikisto Al-Ĥorezmi (kelkaj historiistoj konsideras lin la "patro de algebro", dum aliaj rezervas tiun titolon por Diofanto.[8]), kiu publikigis sian verkon Al-Ĝabr (Kompendio pri kalkulado per kompletigo kaj ekvilibro) en la jaro 825 n.e. Ĝi prezentas la unuan detalan traktadon de ĝeneralaj metodoj kiuj povas esti uzataj por manipuli linearajn kaj kvadratajn ekvaciojn per "reduktado" kaj "ekvilibro" en ambaŭ flankoj.[9] Aliaj gravaj kontribuoj al algebro venis el la araba matematikisto Thābit ibn Qurra en la 9-a jarcento kaj la persa matematikisto Omar Ĥajam en la 11a kaj 12a jarcentoj.[10]

En Hindio, Brahmagupta esploris kiel solvo kvadratajn ekvaciojn kaj sistemojn de ekvacioj kun kelkaj variabloj en la 7-a jarcento n.e. Inter liaj aliaj plinovigoj estis la uzado de nulo kaj de negativaj nombroj en algebraj ekvacioj.[11] La hindia matematikisto Mahavira en la 9-a jarcento kaj Bhāskara la 2-a en la 12-a jarcento plue rafinis la metodojn kaj konceptojn de Brahmagupta.[12] En 1247, la ĉina matematikisto Qin Jiushao verkis la "Matematikan traktaĵon en naŭ partoj", kio inkludas algoritmon por la nombra taksado de polinomoj, inklude polinomojn de pli altaj gradoj.[13]

 
Liber Abaci de Fibonacci.

En la 16-a jarcento italaj matematikistoj trovis solvojn de triagrada kaj kvaragrada ekvacioj. La itala matematikisto Fibonacci enkondukis la ideojn kaj teknikojn de Al-Ĥorezmi en Eŭropon en libroj kiel sia Liber Abaci.[14] En 1545, la itala saĝulo Gerolamo Cardano publikigis sian libron Ars Magna, kiu traktis multajn temojn pri algebro kaj estis la unua kiu prezentis ĝeneralajn metodojn por solvi kubajn kaj kvaragradajn ekvaciojn.[15] En la 16a kaj 17a jarcentoj, la francaj matematikistoj François Viète kaj René Descartes enkondukis leterojn kaj simbolojn por referenci variablojn kaj operaciojn, kio ebligis esprimadon de ekvacioj laŭ abstrakta kaj konciza maniero. Iliaj antaŭuloj estis fidintaj en parolaj priskriboj de problemoj kaj solvoj.[16] Kelkaj historiistoj konsideras tiun disvolvigon kiel ŝlosila turnopunkto en la historio de algebro kaj konsideras tion kio venis antaŭ tio kiel la prahistorio de algebro ĉar al ĝi mankis la abstrakta naturo bazita sur simbola manipulado.[17]

Multaj klopodoj en la 17-a kaj 18-a jarcentoj por trovi ĝeneralajn solvoj al la polinomoj de kvina kaj pli alta gradoj malsukcesis.[18] En 1799 la germana matematikisto Gauss evidentigis, ke “ĉiu algebra ekvacio de n-a grado, havas n radikojn (solvojn), reelajn aŭ imaginarajn”. Tio pruvis la fundamentan teoremon de algebro, kio priskribas la ekzistadon de nuloj de polinomoj de ajna grado ne havigante ĝeneralan solvon.[19] Komence de la 19-a jarcento, la itala matematikisto Paolo Ruffini kaj la norvega matematikisto Niels Henrik Abel kapablis montri, ke ne estas ĝenerala solvo por polinomoj de kvina kaj pli alta grado.[20]

 
Portreto de Gauss publikigita en Astronomische Nachrichten 1828.

Reage kaj tuj post tiuj trovitaĵoj, la franca matematikisto Évariste Galois disvolvis tion kio poste estis konata kiel Teorio de Galois, kiu havigis pli profundan analizon de la solvoj de polinomoj kvankam metante ankaŭ nur la fundamenton de la grupo-teorio.[21] Matematikistoj tuj konstatis la gravon de la grupo-teorio por aliaj fakoj kaj aplikis ĝin al kampoj kiel geometrio kaj nombro-teorio.[22] Tiel jam en la komenco de 19-a jarcento Abel kaj Galois pruvis, ke la solvojn de la ekvacio kun pli ol 4 gradoj, ne eblas esprimi per koeficiento de la ekvacio pere de la algebraj operacioj.

En moderna algebro oni pristudas ĝeneralan grupteorion, por kiuj estas difinita algebraj operacioj, similaj laŭ sia propreco al operacioj por nombroj. Tiaj operacioj povas esti plenumitaj por plurtermoj, vektoroj, matricoj. Starte en la mezeo de la 19-a jarcento, intereso en algebro ŝanĝiĝis el la studo de polinomoj asocia kun elementa algebro al pli ĝenerala esploro pri algebraj strukturoj, markante la aperon de abstrakta algebro. Tiu alproksimiĝo esploris la aksioman bazon de arbitraj algebraj operacioj.[23] La invento de novaj algebraj sistemoj bazitaj sur diferencaj operacioj kaj elementoj akompanis tiun disvolvigon, kiel ĉe la Bulea algebro, vektora algebro, kaj matrica algebro.[24] Gravajn fruajn disvolvigojn en abstrakta algebro faris la germanaj matematikistoj David Hilbert, Ernst Steinitz, Emmy Noether, kaj Emil Artin. Ili esploris diferencajn formojn de algebraj strukturoj kaj kategoriigis ilin baze sur siaj subkuŝaj aksiomoj en tipojn, kiel grupoj, ringoj, kaj kampoj.[25] La ideon de eĉ pli ĝenerala alproksimiĝo asocia kun la universala algebro konceptigis la angla matematikisto Alfred North Whitehead en sia libro de 1898 nome A Treatise on Universal Algebra. Starte en la 1930-aj jaroj, la usona matematikisto Garrett Birkhoff etendis tiujn ideojn kaj disvolvis multajn de la fundamentajn konceptojn de tiu kampo.[26] Proksime rilataj disvolvigoj estis la formulado de la modeloteorio, kategoriteorio, topologia algebro, homologia algebro, Lie-algebroj, liberaj algebroj, kaj homologiaj grupoj.[27]

Algebraj konceptoj

Ekvacio

Ekvacio estas egalaĵo, enhavanta almenaŭ unu nekonatan grandon. Depende de la variabloj ĝi povas esti unuvariabla, duvariabla ktp. La radiko de unuvariabla ekvacio estas tiu valoro de la variablo, kiu transformas ekvacion al vera egalaĵo. Ekz. la radiko de la ekvacio 3x - 1 = 2x + 5 estas la nombro 6, ĉar 3 · 6 - 1 = 2 · 6 + 5.

La aro de la radikoj de iu ekvacio povas esti finia, malplena aŭ nefinia. Ekz. la aro de la radikoj de la ekvacio 5x + 3 = 5x estas malplena (t.e. ĝi ne havas radikon); por la ekvacio (x+2)(x-3)=0, ĝi estas {-2; 3}, kaj por la ekvacio |x| = x, ĝi estas [0; +∞).

Rimarko: funkcio |x| nomiĝas modulo de x kaj difineblas jene: |a|=a, se a>=0 kaj |a|=-a, se a<0.

Solvi ekvacion signifas trovi la aron de ĝiaj radikoj (solvoj). Ekvacioj estas ekvivalentaj, se ili havas la samajn solvojn. Ĝenerale, ĉiu unuvariabla ekvacio povas esti prezentita kiel f(x)=0 kaj la aro de ĝiaj solvoj estas aro de abscisoj de la punktoj, rezultitaj pro la intersekco de la grafiko y=f(x) kun OX akso.

Oni konas sekvajn ekvaciojn en matematiko:

Esprimo

Esprimo estas sinsekvo da simboloj indikanta matematikan aŭ programan objekton.

Ekzistas grandoj dutipaj: konstanto, kiu havas ĉiam la saman nombran valoron kaj variablo, kiu povas preni iun ajn valoron en donita aro de nombroj, ekz. en la aro de ĉiuj reelaj nombroj aŭ en certa intervalo. Ekzemple, la nombro de la tagoj en semajno estas konstanta (7), same kiel la sumo de la internaj anguloj de triangulo (180o), sed aera temperaturo aŭ ventoforto estas variabloj.

La kombinaĵo de nombroj kaj signoj, kiu montras kiajn operaciojn oni devas fari kaj per kia ordo per nombroj, estas nomita nombra esprimo. Ekzemple, 17 aŭ (125 - 11,5) · 2 estas nombraj esprimoj. La esprimo, kiu enhavas variablon aŭ variablojn, nomiĝas variablohava esprimo. Ekzemple, x + 3y estas variablohava esprimo, kies signifo estas 7, kiam x=1 kaj y=2.

Du egalaj grandoj kunigitaj per la signo de egaleco, nomiĝas egalaĵo. Ekz. A=B. Du algebraj esprimoj povas esti egalaj sur iu aro de valoroj, se ambaŭ havas la sencon en ĉi tiu aro kaj iliaj ĉiuj konvenaj signifoj estas egalaj. Ekz. (a2-b2) kaj (a-b)(a+b) estas identaj esprimoj, ĉar ĉiuj iliaj signifoj estas egalaj. Du identaj esprimoj kunigitaj per la signo de egaleco estas nomata identaĵo. Tiamaniere a2-b2=(a - b)(a + b) prezentas identaĵon. Ĉiu nombra egalaĵo ankaŭ estas identaĵo. Du grandoj aŭ esprimoj kunigitaj per la signo <>, nomiĝas neegalaĵo.

Teoremo

La fundamenta teoremo de algebro asertas, ke ĉiu ne-konstanta unu-variabla polinomo kun kompleksaj koeficientoj havas almenaŭ unu kompleksan radikon. Tio inkludas polinomojn kun reelaj koeficientoj, ĉar ĉiu reela nombro estas kompleksa nombro kun sia imaga parto egala al nulo. Alivorte (laŭ difino), la teoremo asertas, ke la kampo de kompleksaj nombroj estas algebre fermita.

La teoremo estas vortumita ankaŭ tiel: ĉiu ne-nula, unu-variabla, grado de polinomo n kun kompleksaj koeficientoj havas, kalkulita kun obleco, precize n kompleksajn radikojn.

Ekzemplo de algebraj esprimoj

 
 
 

Alĝebro

  Pli detalaj informoj troveblas en artikolo Alĝebro.

Alĝebro (aŭ algebrao) estas algebra strukturo, kiu estas kaj ringo kaj vektora spaco. En matematiko, asocieca alĝebro estas vektora spaco (aŭ pli ĝenerale, modulo (modela teorio)) kiu ankaŭ permesas la multiplikon de vektoroj en distribueca kaj asocieca maniero. Ili estas tial specialaj alĝebroj. (Kelkfoje nomataj "algebro" aŭ "algebrao" anstataŭ "alĝebro".)

En algebro, la asociilo estas trilineara bildigo, kiu estas la diferenco inter la du metodoj krampi produton de tri elementoj per eble neasocieca dulineara operacio.

En algebro, pra-Lie-alĝebro estas ĝeneraligo de la koncepto de asocieca alĝebro, plenumanta malfortigitan aksiomon de asocieco, kies komutilo tamen plenumas la aksiomon de alĝebro de Lie.[28]

En matematiko, la grupa alĝebro estas ĉiu el diversaj konstruoj por asigni al grupo (loke kompakta topologia grupo, aŭ grupo sen topologio, kio estas diskreta grupo) ringon aŭ alĝebron, tiel ke la grupa multipliko igas la multiplikon en la ringo aŭ alĝebro. Tiel ili estas similaj al la grupa ringo asociita al diskreta grupo.

Referencoj

  1. [1]
  2. Arkivita kopio. Arkivita el la originalo je 2013-12-31. Alirita 2016-12-13.
  3. Tanton 2005, p. 9; Kvasz 2006, p. 290; Corry 2024, § Problem Solving in Egypt and Babylon
  4. Tanton 2005, p. 9; Kvasz 2006, p. 290; Corry 2024, § The Pythagoreans and Euclid
  5. Merzlyakov & Shirshov 2020, § Historical Survey; Sialaros 2018, p. 55; Musielak 2020, p. 36; Corry 2024, § Diophantus
  6. Higgins 2015, p. 89
  7. Kvasz 2006, pp. 290–291; Sialaros 2018, p. 55; Boyer & Merzbach 2011, p. 161; Derbyshire 2006, p. 31
  8. Boyer & Merzbach 2011, p. 161; Derbyshire 2006, p. 31
  9. Tanton 2005, p. 10; Kvasz 2006, pp. 291–293; Merzlyakov & Shirshov 2020, § Historical Survey
  10. Waerden 2013, pp. 3, 15–16, 24–25; Jenkins 2010, p. 82; Pickover 2009, p. 90
  11. Tanton 2005, pp. 9–10; Corry 2024, § The Equation in India and China
  12. Seshadri 2010, p. 156; Emch, Sridharan & Srinivas 2005, p. 20
  13. Smorynski 2007, p. 137; Zwillinger 2002, p. 812
  14. Waerden 2013, pp. 32–35; Tanton 2005, p. 10; Kvasz 2006, p. 293
  15. Tanton 2005, p. 10; Kvasz 2006, p. 293; Corry 2024, § Cardano and the Solving of Cubic and Quartic Equations
  16. Tanton 2005, p. 10; Kvasz 2006, pp. 291–292, 297–298, 302; Merzlyakov & Shirshov 2020, § Historical Survey; Corry 2024, § Viète and the Formal Equation, § Analytic Geometry
  17. Hazewinkel 1994, p. 73; Merzlyakov & Shirshov 2020, § Historical Survey
  18. Tanton 2005, p. 10; Merzlyakov & Shirshov 2020, § Historical Survey; Corry 2024, § Impasse with Radical Methods
  19. Tanton 2005, p. 10; Kvasz 2006, p. 308; Corry 2024, § The Fundamental Theorem of Algebra
  20. Tanton 2005, p. 10; Merzlyakov & Shirshov 2020, § Historical Survey; Corry 2024, § Impasse with Radical Methods
  21. Kvasz 2006, pp. 314–345; Merzlyakov & Shirshov 2020, § Historical Survey; Corry 2024, § Galois Theory, § Applications of Group Theory
  22. Corry 2024, § Applications of Group Theory
  23. Merzlyakov & Shirshov 2020, § Historical Survey; Tanton 2005, p. 10; Corry 2024, § Structural Algebra; Hazewinkel 1994, pp. 73–74
  24. Merzlyakov & Shirshov 2020, § Historical Survey; Tanton 2005, p. 10; Corry 2024, § Matrices, § Quaternions and Vectors
  25. Merzlyakov & Shirshov 2020, § Historical Survey; Corry 2024, § Hilbert and Steinitz, § Noether and Artin; Hazewinkel 1994, pp. 73–74
  26. Grätzer 2008, p. vii; Chang & Keisler 1990, p. 603; Knoebel 2011, p. 5; Hazewinkel 1994, pp. 74–75
  27. Hazewinkel 1994, pp. 74–75; Grätzer 2008, p. 338; Pratt 2022, § 6. Free Algebras
  28. Zinbiel, Guillaume W., "Encyclopedia of types of algebras 2010", 2010. (angle)

Literaturo

Vidu ankaŭ

Eksteraj ligiloj