Nmero algebraico

Nmero algebraico
Un nmero algebraico es cualquier nmero real o complejo que es solucin de una ecuacin polinmica de la forma:

Donde: , es el grado del polinomio. , los coeficientes del polinomio son nmeros enteros.

Ejemplos
Todos los nmeros racionales son algebraicos porque toda fraccin de la forma a / b es solucin de , donde a y b 0 .
Nmeros algebraicos del plano complejo coloreados segn su grado (azul=4, cyan=3, rojo=2, verde=1). La circunferencia unitaria en color negro.

Todos los nmeros construibles son algebraicos. Algunos nmeros irracionales como: y tambin son algebraicos porque son soluciones de x2 - 2 = 0 y

8x3 - 3 = 0, respectivamente. Otros irracionales no son algebraicos, como (Lindemann, 1882) y e (Hermite, 1873). Son, en consecuencia, trascendentes.[1] i es algebraico, siendo raz de .

Clasificacin de los complejos

Si un nmero real o complejo no es algebraico, se dice que es trascendente. Si un nmero algebraico es solucin de una ecuacin polinmica de grado n, y no es solucin de una ecuacin polinmica de grado menor m < n, entonces se dice que es un nmero algebraico de grado n (n > 0). Los nmeros racionales son nmeros algebraicos de primer grado, pues para todo racional podemos escribir una ecuacin polinmica de grado uno con coeficientes enteros precisamente . , siempre cuya solucin es

En cambio, los irracionales aunque pueden ser nmeros algebraicos nunca pueden ser nmeros algebraicos de grado 1.

Nmero algebraico

Propiedades del conjunto de los nmeros algebraicos

1. El conjunto de los nmeros algebraicos es contable, i.e. puede establecerse una biyeccin con el conjunto de los nmeros naturales. 2. La suma, la diferencia, el producto o el cociente de dos nmeros algebraicos resulta ser algebraico, y por lo tanto los nmeros algebraicos constituyen un un grupo aditivo, un anillo y un cuerpo matemtico. 3. Como consecuencia de lo anterior, todos los nmeros que pueden escribirse a partir de los racionales empleando solamente las operaciones aritmticas +, -, *, /, potencias y races son algebraicos. Sin embargo, existen nmeros algebraicos que no pueden escribirse de esta forma, y son todos de grado >5. sta es una consecuencia de la Teora de Galois. 4. Puede demostrarse que si los coeficientes ai son nmeros algebraicos cualesquiera, la solucin de la ecuacin volver a ser un nmero algebraico. En otras palabras, el cuerpo de los nmeros algebraicos es algebraicamente cerrado. De hecho, los nmeros algebraicos son el cuerpo algebraicamente cerrado ms pequeo que contiene los racionales (su clausura algebraica). El conjunto de los nmeros algebraicos, a veces denotado como forma un cuerpo con las operaciones heredadas de los complejos . A diferencia de los nmeros complejos los nmeros algebraicos son un conjunto numerable.[2] y por tanto su cardinal es alef 0). Esto es una consecuencia de que el conjunto de polinomios con coeficientes enteros es numerable.

Enteros algebraicos
Un nmero algebraico que satisface una ecuacin polinmica de grado n con an = 1 se denomina entero algebraico. Algunos ejemplos de enteros algebraicos son: 321/2 + 5, 6i - 2. La suma, diferencia y producto de enteros algebraicos vuelve a ser un entero algebraico, lo que significa que los enteros algebraicos forman un anillo. El nombre de entero algebraico proviene del hecho de que los nicos nmeros racionales que son enteros algebraicos son los propios enteros.

Extensiones algebraicas
Las nociones de nmero algebraico y de entero algebraico pueden ser generalizadas a otros campos, no slo aplican al de los complejos; vase extensin algebraica. En general, si tenemos dos cuerpos diremos que es algebraico sobre y de forma que el segundo es extensin del primero, del que es raz ( ).

si existe un polinomio

Referencias
[2] Hecho conocido demostrado por Dedekind, tal como testimonia su correspondencia

lgebra de Birkhoff y Mc Lane (1960), Barcelona, traduccin de Rafael Rodrguez Vidal.

Enlaces externos
Wikcionario tiene definiciones para nmero algebraico.Wikcionario

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Nmero algebraico Fuente: http://es.wikipedia.org/w/index.php?oldid=68903192 Contribuyentes: Acratta, Davius, Diegusjaimes, Digigalos, Dnu72, GermanX, Ggenellina, Grillitus, Gtz, Humberto, Jerowiki, Jkbw, Joseaperez, Jtico, Julio grillo, Komputisto, Marsal20, Moriel, Muro de Aguas, Psobrino, Raulshc, Rosarinagazo, Sabbut, Scott MacLean, Serlack, UA31, VictorMiguelGS, Wewe, YoaR, Yrithinnd, 61 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

File:Algebraic number in the complex plane.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Algebraic_number_in_the_complex_plane.png Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Arathron Archivo:Wiktionary-logo-es.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Wiktionary-logo-es.png Licencia: logo Contribuyentes: es:Usuario:Pybalo

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/