La teoría de cuerpos (también llamada teoría de campos, del inglés field theory) es una rama de la matemática que estudia las propiedades de los cuerpos. Un cuerpo es una entidad matemática para la cual la adición, sustracción, multiplicación y división están bien definidas.
Los cuerpos más conocidos son el cuerpo de los números racionales, el cuerpo de los números reales y el cuerpo de los números complejos. Muchos otros cuerpos, como el cuerpo de las funciones racionales, el cuerpo de funciones algebraicas, el cuerpo de los números algebraicos y los números p-ádicos son comúnmente usados y estudiados en matemáticas, particularmente en teoría de números y geometría algebraica. La mayoría de los protocolos criptográficos se basan en cuerpos finitos, es decir, cuerpos con un número finito de elementos.
La relación entre dos cuerpos se expresa mediante la noción de extensión de cuerpos. La teoría de Galois, iniciada por Évariste Galois en la década de 1830, se dedica a comprender las simetrías de las extensiones de cuerpos. Entre otros resultados, esta teoría muestra que la trisección de ángulos y la cuadratura del círculo no pueden realizarse con regla y compás. Además, demuestra que las ecuaciones quínticas son, en general, irresolubles algebraicamente.
Los cuerpos sirven como nociones fundamentales en varios cuerpos matemáticos. Esto incluye diferentes ramas del análisis matemático, que se basan en cuerpos con estructura adicional. Los teoremas básicos del análisis dependen de las propiedades estructurales del cuerpo de los números reales. Más importante para los propósitos algebraicos, cualquier cuerpo se puede utilizar como escalares para un espacio vectorial, que es el contexto general estándar para el álgebra lineal. Los cuerpos de números, similares al cuerpo de los números racionales, se estudian en profundidad en teoría de números, y los cuerpos de funciones de variedades pueden ayudar a describir propiedades de objetos geométricos.
Historia El concepto de cuerpo fue usado implícitamente por Niels Henrik Abel y Évariste Galois en su trabajo sobre resolución de ecuaciones.
En 1871, Richard Dedekind, al conjunto de los números reales o complejos los cuales son cerrados bajo las cuatro operaciones aritméticas como «cuerpo».
En 1881, Leopold Kronecker definió lo que él llamó «dominio de racionalidad», que es, de hecho, un cuerpo de polinomios en términos modernos.
En 1893, Heinrich Martin Weber dio la primera definición clara de cuerpo abstracto.
En 1910 Ernst Steinitz publicó el artículo Algebraische Theorie der Körper (alemán: Teoría algebraica de cuerpos), que fue muy influyente. En este artículo él estudió axiomáticamente las propiedades de los cuerpos y definió varios conceptos de teoría de cuerpos importantes como cuerpo primo, cuerpo perfecto y el grado de trascendencia de una extensión de cuerpos.
Galois, que no tenía el término «cuerpo» en mente, ha sido honrado por ser el primer matemático que enlazó la teoría de grupos y la teoría de cuerpos. La teoría de Galois es llamada así en su honor. Sin embargo, fue Emil Artin el primero que desarrolló la relación entre grupos y cuerpos en gran detalle entre 1928 y 1942.
Introducción
Los cuerpos son objetos importantes de estudio en álgebra, puesto que proporcionan una generalización útil de varios sistemas de números, como pueden ser los números racionales, números reales, y los números complejos. En particular, las reglas comunes de asociatividad, conmutatividad y distributividad se cumplen. Los cuerpos también aparecen en muchas otras de las matemáticas; véase los ejemplo abajo.
Cuando el álgebra abstracta estaba siendo desarrollada, la definición de un cuerpo usualmente no incluía la conmutatividad de la multiplicación, y a lo que hoy llamamos cuerpo, podría haber sido llamado cuerpo conmutativo o dominio racional. En el uso contemporáneo, un cuerpo es siempre conmutativo. Una estructura que satisface todas las propiedades de un cuerpo con la posible excepción de conmutatividad, se le llama actualmente anillo de división o álgebra de división o o algunas veces como cuerpo de torsión. También es utilizado a veces el término cuerpo no conmutativo. En francés, los cuerpos son llamados corps y en alemán se conocen como Körper, de ahí que se use la letra en tipografía «negrita de pizarra» para denotar a un cuerpo.
El concepto de cuerpo fue usado inicialmente (de manera implícita) para demostrar que no existe una fórmula general para expresar en términos de radicales las raíces de los polinomios con coeficientes racionales de grado mayor o igual a 5.
Definición Informalmente, un cuerpo es un conjunto, junto con dos operaciones definidas sobre ese conjunto: una operación «suma» escrita como , y una operación «producto» escrita como , ambas se comportan de forma similar a como lo hacen para número racional y número real, incluyendo la existencia de un inverso aditivo para todos los elementos , dentotado por ; y de un inverso multiplicativo para todo elemento distinto de cero, denotado por . Esto permite considerar también las llamadas operaciones inversas, definidas en función de la suma y el producto: la resta, expersada como ; y la división, denotada por o , definiendas como:
, para todo .
, para todo con .
Definición clásica Formalmente, un cuerpo es un conjunto junto con dos operaciones binarias definidas en las cuales han de satisfacer una serie de propiedades. Una operación binaria en un conjunto es una aplicación , es decir, una función que asocia a cada par ordenado de elementos de un elemento unívocamente determinado de . Las dos operaciones binarias de un cuerpo son habitualmente denotadas como y , y las llamamos respectivamente suma y producto (o multiplicación). De esta forma, la «suma de y » se vería como , sin embargo, históricamente la notación que usamos para hablar de la suma o producto de dos elementos es la siguiente:
,
.
Se requiere que estas operaciones satisfagan las siguientes propiedades, denominadas axiomas de cuerpos. Sean , se dice que es un cuerpo si se tienen las propiedades de: Asociatividad de la suma y la multiplicación: y . Conmutatividad de la suma y la multiplicación: y . Identidad aditiva y multiplicativa: existen dos elementos y en distintos tales que y . Inverso aditivo: para cada en , existe un elemento en , denotado , llamado el inverso aditivo u opuesto de , tal que . Inverso multiplicativo: para cada en , existe un elemento en , denotado por , llamado el inverso multiplicativo o simplemente inverso de , tal que . Distributividad de la multiplicación sobre la suma: . Esto puede resumirse diciendo: un cuerpo tiene dos operaciones conmutativas, llamadas suma y producto; es un grupo bajo la operación suma, con 0 como identidad aditiva; los elementos no nulos son un grupo con la operación producto, con 1 como identidad multiplicativa; y el producto se distribuye sobre la suma.
Aún más resumido: un cuerpo es un anillo conmutativo donde y todos los elementos no nulos son inversibles bajo multiplicación.
Definición alternativa Los cuerpos también pueden definirse de formas diferentes, pero equivalentes. Uno puede definir alternativamente un cuerpo por cuatro operaciones binarias (suma, resta, multiplicación y división) y sus propiedades requeridas. La división por cero está, por definición, excluida.. Para evitar cuantificador existencial, los cuerpos pueden definirse mediante dos operaciones binarias (suma y producto), dos operaciones unarias (que producen las inversas aditiva y multiplicativa respectivamente), y dos operaciones nullary (las constantes y ). Estas operaciones están sujetas a las condiciones anteriores. Evitar los cuantificadores existenciales es importante en matemática constructiva y computación.. Véase también cuerpo de Heyting. Se puede definir equivalentemente un cuerpo mediante las mismas dos operaciones binarias, una operación unaria (la inversa multiplicativa) y dos constantes (no necesariamente distintas) y , ya que y .El doble uso a priori del símbolo (-) para denotar una parte de una constante y para las inversas aditivas se justifica por esta última condición.
Ejemplos
Números racionales
Los números racionales han sido ampliamente utilizados mucho antes de la elaboración del concepto de cuerpo. Son números que se pueden escribir como fracciones , donde y son enteross, y . La inversa aditiva de tal fracción es , y la inversa multiplicativa (siempre que ) es , lo que puede verse como sigue:
Los axiomas de cuerpos, abstractamente requeridos, se reducen a propiedades estándar de los números racionales. Por ejemplo, la ley de distributividad se puede demostrar de la siguiente manera:
Números reales y complejos .
Los números reales , con las operaciones usuales de suma y multiplicación, también forman un cuerpo. Los números complejos consisten en expresiones con real,
donde es la unidad imaginaria, es decir, un número (no real) que satisface . La suma y la multiplicación de los números reales se definen de tal manera que las expresiones de este tipo satisfacen todos los axiomas de cuerpos y por lo tanto se mantienen para . Por ejemplo, la ley distributiva cumple
Es inmediato que se trata de nuevo de una expresión del tipo anterior, por lo que los números complejos forman un cuerpo. Los números complejos pueden representarse geométricamente como puntos en el plano, con coordenadas cartesianas dadas por los números reales de su expresión descriptiva, o como las flechas desde el origen a estos puntos, especificadas por su longitud y un ángulo encerrado con alguna dirección distinta. La suma corresponde entonces a la combinación de las flechas en el paralelogramo intuitivo (suma de las coordenadas cartesianas), y la multiplicación es - menos intuitivamente - la combinación de la rotación y la escala de las flechas (suma de los ángulos y multiplicación de las longitudes). Los cuerpos de los números reales y complejos se utilizan en matemáticas, física, ingeniería, estadística y muchas otras disciplinas científicas. Números construibles .
En la antigüedad, varios problemas geométricos se referían a la (in)viabilidad de construir ciertos números con regla y compás. Por ejemplo, los griegos desconocían que, en general, es imposible trisecar de este modo un ángulo dado. Estos problemas pueden resolverse utilizando el cuerpo de los números construibles. Los números reales construibles son, por definición, longitudes de segmentos de recta que pueden construirse a partir de los puntos 0 y 1 en un número finito de pasos utilizando únicamente compás y regla. Estos números, dotados de las operaciones del cuerpo los números reales, restringidas a los números construibles, forman un cuerpo que incluye propiamente al cuerpo de los números racionales. La ilustración muestra la construcción de raíz cuadrada de números construibles, no necesariamente contenidos en . Utilizando el etiquetado de la ilustración, construye los segmentos , , y una semicircunferencia sobre (centro en el punto medio ), que interseca a la perpendicular que pasa por en un punto , a una distancia de exactamente de cuando tiene longitud uno.
No todos los números reales son construibles. Se puede demostrar que no es un número construible, lo que implica que es imposible construir con compás y regla la longitud del lado de un cubo de volumen doble, otro problema planteado por los antiguos griegos.
Un cuerpo con cuatro elementos
+ Adición Multiplicación + ⋅