Número complejo que es raíz de un polinomio distinto de cero en una variable con coeficientes racionales
La raíz cuadrada de 2 es un número algebraico igual a la longitud de la hipotenusa de un triángulo rectángulo con catetos de longitud 1.
Un número algebraico es un número que es raíz de un polinomio distinto de cero en una variable con coeficientes enteros (o, equivalentemente, racionales ). Por ejemplo, la proporción áurea , , es un número algebraico, porque es raíz del polinomio x 2 − x − 1 . Es decir, es un valor de x para el cual el polinomio se evalúa como cero. Como otro ejemplo, el número complejo es algebraico porque es raíz de x 4 + 4 .
Todos los números enteros y racionales son algebraicos, al igual que todas las raíces de números enteros . Los números reales y complejos que no son algebraicos, como π y e , se denominan números trascendentales .
Todos los números racionales son algebraicos. Cualquier número racional, expresado como el cociente de un número entero a y un número natural (distinto de cero) b , satisface la definición anterior, porque x =a/bes la raíz de un polinomio distinto de cero, es decir, bx − a . [1]
Los números irracionales cuadráticos , soluciones irracionales de un polinomio cuadrático ax 2 + bx + c con coeficientes enteros a , b y c , son números algebraicos. Si el polinomio cuadrático es mónico ( a = 1 ), las raíces se califican además como números enteros cuadráticos .
Los enteros gaussianos , números complejos a + bi para los cuales a y b son números enteros, también son números enteros cuadráticos. Esto se debe a que a + bi y a − bi son las dos raíces de la cuadrática x 2 − 2 ax + a 2 + b 2 .
Cualquier expresión formada a partir de números algebraicos utilizando cualquier combinación de operaciones aritméticas básicas y extracción de raíces n -ésimas da otro número algebraico.
Raíces polinómicas que no se pueden expresar en términos de operaciones aritméticas básicas y extracción de n -ésimas raíces (como las raíces de x 5 − x + 1 ). Esto sucede con muchos , pero no con todos, los polinomios de grado 5 o superior.
Valores de funciones trigonométricas de múltiplos racionales de π (excepto cuando no están definidos): por ejemplo, cosπ/7, porque3 π/7, y porque5 π/7satisfacer 8 x 3 − 4 x 2 − 4 x + 1 = 0 . Este polinomio es irreducible sobre los racionales y por eso los tres cosenos son números algebraicos conjugados . Asimismo, broncearse3 π/dieciséis, bronceado7 π/dieciséis, bronceado11 π/dieciséisy bronceado15 π/dieciséissatisfacen el polinomio irreducible x 4 − 4 x 3 − 6 x 2 + 4 x + 1 = 0 , y también lo son los enteros algebraicos conjugados . Este es el equivalente de los ángulos que, medidos en grados, tienen números racionales. [ cita necesaria ]
Algunos números irracionales, pero no todos, son algebraicos:
Los números y son algebraicos ya que son raíces de polinomios x 2 − 2 y 8 x 3 − 3 , respectivamente.
La proporción áurea φ es algebraica ya que es una raíz del polinomio x 2 − x − 1 .
Números algebraicos en el plano complejo coloreados por grado (naranja brillante/rojo = 1, verde = 2, azul = 3, amarillo = 4)
Si un polinomio con coeficientes racionales se multiplica por el mínimo común denominador , el polinomio resultante con coeficientes enteros tiene las mismas raíces. Esto muestra que un número algebraico se puede definir de manera equivalente como una raíz de un polinomio con coeficientes enteros o racionales.
Dado un número algebraico, existe un polinomio mónico único con coeficientes racionales de menor grado que tiene el número como raíz. Este polinomio se llama polinomio mínimo . Si su polinomio mínimo tiene grado n , entonces se dice que el número algebraico es de grado n . Por ejemplo, todos los números racionales tienen grado 1, y un número algebraico de grado 2 es un irracional cuadrático .
Los números algebraicos son densos en los reales . Esto se desprende del hecho de que contienen números racionales, que son densos en los propios reales.
El conjunto de números algebraicos es contable (enumerable), [3] [4] y por lo tanto su medida de Lebesgue como subconjunto de los números complejos es 0 (esencialmente, los números algebraicos no ocupan espacio en los números complejos). Es decir, "casi todos" los números reales y complejos son trascendentales.
Para los números reales a y b , el número complejo a + bi es algebraico si y sólo si tanto a como b son algebraicos. [5]
Campo
Números algebraicos coloreados por grado (azul = 4, cian = 3, rojo = 2, verde = 1). El círculo unitario es negro.
La suma, diferencia, producto y cociente (si el denominador es distinto de cero) de dos números algebraicos es nuevamente algebraico, como se puede demostrar usando la resultante , y los números algebraicos forman así un campo [6] (a veces denotado por , pero que generalmente denota el anillo de Adele ). Cada raíz de una ecuación polinómica cuyos coeficientes son números algebraicos es nuevamente algebraica. Esto se puede reformular diciendo que el cuerpo de los números algebraicos es algebraicamente cerrado . De hecho, es el campo algebraicamente cerrado más pequeño que contiene los racionales y por eso se llama cierre algebraico de los racionales.
Campos relacionados
Números definidos por radicales
Cualquier número que se pueda obtener a partir de números enteros usando un número finito de sumas , restas , multiplicaciones , divisiones y tomando (posiblemente complejas) n -ésimas raíces donde n es un entero positivo es algebraico. Sin embargo, lo contrario no es cierto: hay números algebraicos que no se pueden obtener de esta manera. Estos números son raíces de polinomios de grado 5 o superior, resultado de la teoría de Galois (ver Ecuaciones quínticas y el teorema de Abel-Ruffini ). Por ejemplo, la ecuación:
tiene una raíz real única que no puede expresarse únicamente en términos de radicales y operaciones aritméticas.
Número de forma cerrada
Los números algebraicos son todos los números que pueden definirse explícita o implícitamente en términos de polinomios, comenzando por los números racionales. Se puede generalizar esto a los " números de forma cerrada ", que pueden definirse de varias maneras. En términos más generales, todos los números que pueden definirse explícita o implícitamente en términos de polinomios, exponenciales y logaritmos se denominan " números elementales ", y estos incluyen los números algebraicos, además de algunos números trascendentales. En términos más estrictos, se pueden considerar números definidos explícitamente en términos de polinomios, exponenciales y logaritmos; esto no incluye todos los números algebraicos, pero sí algunos números trascendentales simples como e o ln 2 .
Enteros algebraicos
Números algebraicos coloreados por el coeficiente principal (el rojo significa 1 para un número entero algebraico)
Un número entero algebraico es un número algebraico que es raíz de un polinomio con coeficientes enteros con coeficiente principal 1 (un polinomio mónico ). Ejemplos de números enteros algebraicos son y Por lo tanto, los números enteros algebraicos constituyen un superconjunto propio de los números enteros , ya que estos últimos son las raíces de polinomios mónicos x − k para todos . En este sentido, los números enteros algebraicos son para los números algebraicos lo que los enteros son para los números racionales .
La suma, diferencia y producto de números enteros algebraicos son nuevamente números enteros algebraicos, lo que significa que los números enteros algebraicos forman un anillo . El nombre entero algebraico proviene del hecho de que los únicos números racionales que son enteros algebraicos son los números enteros, y porque los enteros algebraicos en cualquier campo numérico son en muchos sentidos análogos a los números enteros. Si K es un campo numérico, su anillo de números enteros es el subanillo de números enteros algebraicos en K , y con frecuencia se denota como O K. Estos son los ejemplos prototípicos de dominios de Dedekind .
^ Algunos de los siguientes ejemplos provienen de Hardy & Wright (1972, págs. 159–160, 178–179)
^ Además, el teorema de Liouville se puede utilizar para "producir tantos ejemplos de números trascendentales como queramos", cf. Hardy y Wright (1972, pág. 161 y siguientes)
Irlanda, Kenneth; Rosen, Michael (1990) [1ª ed. 1982], Introducción clásica a la teoría de números moderna (2ª ed.), Berlín: Springer, doi :10.1007/978-1-4757-2103-4, ISBN 0-387-97329-X, señor 1070716
Lang, Serge (2002) [1ª ed. 1965], Álgebra (3.ª ed.), Nueva York: Springer, ISBN 978-0-387-95385-4, señor 1878556