Ero sivun ”Algebrallinen luku” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
TXiKiBoT (keskustelu | muokkaukset)
p Botti lisäsi: eo:Algebra nombro
Botti muokkasi sivua
Rivi 1:
'''Algebrallinen luku''' tarkoittaa sellaista [[reaaliluku|reaali-]]- tai [[kompleksiluku|kompleksilukua]]a <math>x</math>, joka toteuttaa algebrallisen yhtälön
:<math>P(x)=0</math>.
Yhtälöä nimitetään algebralliseksi, jos siinä <math>P(x)</math> on polynomi, jonka kertoimet ovat [[kokonaisluku|kokonaislukuja]]ja (tai yhtäpitävästi [[rationaaliluku]]ja) ja ainakin yksi niistä on nollasta eroava.
Esim.Esimerkiksi luvun <math>2</math> neliöjuuren käänteisluku on algebrallinen, sillä se on algebrallisen yhtälön <math>2x^2-1=0</math> juuri. Myös [[Kompleksiluku|imaginaariyksikkö]] <math>i</math> on algebrallinen, sillä se toteuttaa yhtälön <math>x^2+1=0</math>. Jokainen rationaaliluku <math>x=m/n</math> (missä <math>m,n</math> ovat kokonaislukuja) on myös algebrallinen luku, koska se toteuttaa yhtälön <math>nx-m=0</math>.
 
Algebrallisen luvun vastakohta on [[transkendenttiluku]]. Transkendenttisia ovat siis kaikki muut kompleksiluvut, ja ne eivät toteuta mitään algebrallista yhtälöä.
 
Vaikka algebrallisia lukuja on ääretön määrä, niin kaikkien niiden joukko, joka on [[rationaaliluku|lukukunta]] (merk. joskus: <math>\mathbb{A}</math>), on numeroituva, joukko-opillisessa mielessä häviävän pieni ylinumeroituvaan transkendenttilukujen joukkoon verrattuna. Kaikkien algebrallisten lukujen kunta on algebrallisesti suljettu, eli algebrallisin kertoimin varustetun polynomiyhtälön kaikki juuretkin ovat algebrallisia lukuja.
 
Jos yhtälön korkeimmanasteisen termin kerroin on <math>1</math> (ja muut kertoimet edelleen ovat kokonaislukuja), niin sen juurena olevaa algebrallista lukua <math>\mu</math> sanotaan algebralliseksi kokonaisluvuksi (kokonaiseksi algebralliseksi luvuksi).