Número algebraico

Números algebraicos del plano complejo coloreados según su grado (azul=4, cyan=3, rojo=2, verde=1). La circunferencia unitaria en color negro.

Un número algebraico es cualquier número real o complejo que es solución de una ecuación algebraica^[1]de la forma:

$a_nx^n+a_{n-1}x^{n-1}+\dots +a_1x+a_0 = 0\,$

Donde:

n >0

, es el grado del polinomio.

a_i \in \mathbb{Z}

, los coeficientes del polinomio todos son números enteros.

0 ≠

a_n \in \mathbb{Z}

Ejemplos

Todos los números racionales son algebraicos porque toda fracción de la forma a / b es solución de $bx - a = 0$ , donde a ∈ ℤ y b ∈ ℤ .
Todos los números construibles son algebraicos.
Algunos números irracionales como: $\sqrt 2$ y $\frac{\sqrt[3]{3}}{2}$ también son algebraicos porque son soluciones de x² - 2 = 0 y 8x³ - 3 = 0, respectivamente.
Otros irracionales no son algebraicos, como π (Lindemann, 1882) y e (Hermite, 1873). Son, en consecuencia, trascendentes.^[2]
i es algebraico, siendo raíz de $x^2 + 1 = 0\,$ .

Grado de un número algebraico

Se dice que un número algebraico es de grado n si es raíz de una ecuación algebraica de grado n, pero no lo es de una ecuación algebraica de grado n-1.

1 -

\sqrt 3

es de grado dos o irracionalidad cuadrática, porque es raíz de una ecuación de segundo grado, pero no es raíz de una ecuación de primer grado

5 -

\sqrt 3

\sqrt 5

es de cuarto grado (grado 4), pues es raíz de una ecuación de cuarto grado, pero no de una de tercer grado.^[3]

Clasificación de los complejos

Si un número real o complejo no es algebraico, se dice que es trascendente.
Si un número algebraico es solución de una ecuación polinómica de grado n, y no es solución de una ecuación polinómica de grado menor m < n, entonces se dice que es un número algebraico de grado n (n > 0).

Los números racionales son números algebraicos de primer grado, pues para todo racional $\scriptstyle r = p/q;\ p,q\in \mathbb{Z}$ , siempre podemos escribir una ecuación polinómica de grado uno con coeficientes enteros $\scriptstyle qx - p = 0$ cuya solución es precisamente $\scriptstyle r$ .

En cambio, los irracionales — aunque pueden ser números algebraicos — nunca pueden ser números algebraicos de grado 1.

Propiedades del conjunto de los números algebraicos

El conjunto de los números algebraicos es contable, i.e. puede establecerse una biyección con el conjunto de los números naturales.
La suma, la diferencia, el producto o el cociente de dos números algebraicos resulta ser algebraico, y por lo tanto los números algebraicos constituyen un un grupo aditivo, un anillo y un cuerpo matemático. De modo si s y t son números algebraicos lo son también s + t y st; para s existe el número algebraico -s tal que s + (-s) = 0; para s ≠ o existe s' tal que ss' = 1. 0 es la identidad aditiva, 1 la identidad multiplicativa.^[4] El teorema fundamental del álgebra asegura que toda ecuación polinómica, con coeficientes enteros, tiene solución en ℂ, tiene tantas raíces como indica el grado, tomando en cuenta que algunas raíces pueden repetirse,^[5] no se dice el formato del número algebraico, de hecho calculables por procedimiento de análisis numérico.^[6]
Como consecuencia de lo anterior, todos los números que pueden escribirse a partir de los racionales empleando solamente las operaciones aritméticas +, -, *, /, potencias y raíces son algebraicos. Sin embargo, existen números algebraicos que no pueden, en todos los casos, escribirse de esta forma, y son todos de grado >5. Ésta es una consecuencia de la Teoría de Galois.
Puede demostrarse que si los coeficientes a_i son números algebraicos cualesquiera, la solución de la ecuación volverá a ser un número algebraico. En otras palabras, el cuerpo de los números algebraicos es algebraicamente cerrado. De hecho, los números algebraicos son el cuerpo algebraicamente cerrado más pequeño que contiene los racionales (su clausura algebraica).

El conjunto de los números algebraicos, a veces denotado como $\scriptstyle \mathbb{A}$ , forma un cuerpo con la adición y multiplicación heredadas de los complejos $\scriptstyle \mathbb{C}$ . A diferencia de los números complejos los números algebraicos son un conjunto numerable.^[7] 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 número algebraico que satisface una ecuación polinómica de grado n con a_n = 1 se denomina entero algebraico. Algunos ejemplos de enteros algebraicos son: 3×2^1/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 números racionales que son enteros algebraicos son los propios enteros.

Extensiones algebraicas

Las nociones de número algebraico y de entero algebraico pueden ser generalizadas a otros campos, no sólo aplican al de los complejos; véase extensión algebraica.

En general, si tenemos dos cuerpos $(K,+,\cdot)$ y $(L,+,\cdot)$ de forma que el segundo es extensión del primero, diremos que $\alpha \in L$ es algebraico sobre $K$ si existe un polinomio $p \in K[x]$ del que $\alpha\,$ es raíz ( $p(\alpha)=0\,$ ).

Véase también

Clasificación de números

Complejos
ℂ

Reales
ℝ

Racionales
ℚ

Enteros
ℤ

Naturales
ℕ

1: uno

0: Cero

Irracionales algebraicos

Trascendentes

Imaginarios

Referencias

↑ Birkhoff & Mc Lane: Álgebra Moderna
↑ Weisstein, Eric W. «Transcendental Number». En Weisstein, Eric W. MathWorld (en inglés). Wolfram Research.
↑ Ibídem
↑ Niven- Zuckerman: Introducción a la teoría de números
↑ César Trejo: Funciones de variable compleja, colección harper
↑ Gerald. Análisi numérico: ISBN 968-6223-02-9
↑ Hecho conocido demostrado por Dedekind, tal como testimonia su correspondencia

Enlaces externos

Wikcionario tiene definiciones y otra información sobre número algebraico.Wikcionario

This article is issued from Wikipedia - version of the Thursday, January 14, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.