Nombre algebric
Un nombre algebric, en matematicas, es tot nombre qu'es solucion d'una equacion algebrica (o encara racina d'un polinòmi diferent de zèro) de coeficients entièrs (o de biais equivalent, de coeficients racionals). Sens mai de precision, se supausa qu'un nombre algebric es un nombre complèxe, mas se pòt tanben considerar los nombres algebrics dins d'autres còrses commutatius, coma lo còrs dels nombres p-adics. Los elements d'un còrs de nombres son (per definicion) de nombres algebrics.
Lo polinòmi irreductible unitari avent un tal nombre per racina es nomenat polinòmi minimal d'aquel nombre. L'estudi d'aqueles nombres, de lors polinòmis minimals e dels còrses que los contenon es l'objècte de la teoria de Galois.
Exemples
modificar- Tot nombre racional es algebric, perque lo quocient de dos entièrs es racina de l'equacion .
- Un nombre irracional pòt èsser o non algebric. Per exemple o son algebrics, perque son las solucions de e , respectivament.
- Lo nombre complèxe es algebric, perqu'es racina de l'equacion .
Proprietats
modificarLos nombres que son pas algebrics son nomenats nombres transcendents. Gaireben totes los nombres complèxes son transcendents, perque l'ensemble dels nombres algebrics es denombrable alara que l'ensemble dels nombres complèxes, e en consequéncia atal l'ensemble dels nombres transcendents, o es pas. Los exemples pus coneguts de nombres transcendents son e . D'autres exemples son donats pel teorèma de Gelfond-Schneider.
Totes los nombres algebrics son calculables.
S'un nombre algebric es racina d'una equacion polinomiala de gra n, e s'es racina de cap d'equacion polinomiala de gra estrictament inferior a n, se ditz qu'es un nombre algebric de gra n. Per exemple, los nombres algebrics de gra 1 son los racionals; e son algebrics de gra 2.
Lo concèpte de nombre algebric pòt èsser generalizat a d'extensions de còrs arbitraris; los elements dins de talas extensions que satisfàn a las equacions polinomialas son nomenats elements algebrics.
Lo còrs dels nombres algebrics
modificarLa soma, la diferéncia, lo produch e lo quocient de dos nombres algebrics son encara algebrics (aquel resultat es gaire evident; lo biais mai simple d'o mostrar passa per l'utilizacion del resultant); per consequéncia, los nombres algebrics forman un còrs commutatiu, abitualament notat ; es inclús dins . Avèm : en efècte, l'ensemble es denombrable, alara que o es pas. Ne resulta l'existéncia de nombres que son pas algebrics: se ditz que son transcendents. Se pòt mostrar que cada racina d'una equacion polinomiala que sos coeficients son de nombres algebrics es encara algebrica. Aquò se pòt tornar formulat disent que lo còrs dels nombres algebrics es algebricament claus. En fach, es lo pus pichon còrs algebricament claus contenent los nombres racionals, e es en consequéncia nomenat clausura algebrica del còrs dels racionals.
Totes los enonciats çai sus son fòrça aisidament demostrats dins lo contèxte general dels elements algebrics d'una extension de còrs.
Nombres definits per de radicals
modificarTotes los nombres que se pòdon obtenir dempuèi d'entièrs utilizant un nombre finit d'Addicions, de sostraccions, de multiplicacions, de divisions e d'extraccions de racinas n-ens (que n es un nombre entièr positiu) son algebrics. La recipròca, pasmens, es pas vertadièra: existís de nombres algebrics que se pòdon pas obtenir d'aquel biais (es lo teorèma d'Abel–Ruffini); segon la teoria de Galois, totes aqueles nombres son de gra superior o egal a 5. Un exemple d'un tal nombre es l'unica racina reala de .
Entièrs algebrics
modificarUn nombre algebric que satisfà una equacion polinomiala de gra n de coeficients ai apartenent a l'ensemble dels entièrs, que lo primièr coeficient val 1 (es a dire qu'es racina d'un polinòmi unitari), es nomenat un entièr algebric. Atal, , racina de e , racina de , son d'entièrs algebrics; quitament pel nombre d'aur , qu'es racina de ; aquel darrièr exemple mòstra que los "coeficients" d'un entièr algebric pòdon pas èsser entièrs.
La soma, la diferéncia e lo produch d'entièrs algebrics son encara d'entièrs algebrics, çò que significa que los entièrs algebrics forman un anèl. Le nom entièr algebric ven del fach que sonque los nombres racionals que son d'entièrs algebrics son los entièrs, e perque los entièrs algebrics dins tot còrs de nombres son jos plan d'aspèctes analògs als entièrs. Se es un còrs de nombres, son anèl d'entièrs es lo sosanèl dels entièrs algebrics dins , e es frequentament notat . Aqueles anèls son los exemples mai tipics d'anèls de Dedekind.
Generalizacion
modificarPus generalament: sián un còrs, e una extension de . Un element de es dich algebric sus s'es racina d'una equacion polinomiala de coeficients dins , non totes nuls; es dich transcendent sus dins lo cas contrari.
La definicion donada mai naut s'obten dins lo cas particulièr que es lo còrs dels racionals e es lo còrs dels nombres complèxes.
Classas particulièras de nombres algebrics
modificarLigam extèrne
modificar- (fr)(histoire des sciences) L'article de 1874 de Cantor sus la denombrabilitat dels nombres algebrics en linha e comentat sul site BibNum.