Hay muchos, muchos tipos de objetos algebraicos más allá de los números complejos. Algunos de ellos se llaman “números”, como los cuaterniones u octoniones o números ordinales o números surrealistas; algunos no suelen llamarse así (como las funciones racionales, por ejemplo), pero es importante darse cuenta de que no hay un significado específico para la palabra “número” y podemos elegir llamar a cualquiera o a todas o ninguna de estas cosas “números” .
Los números complejos son un campo . Esto solo significa que los números complejos se pueden sumar, restar, multiplicar y dividir entre sí y se aplican las reglas habituales de álgebra. Los números complejos son muchas otras cosas más allá de “un campo” (también tienen una estructura geométrica y una estructura analítica), pero inicialmente por su papel de “números” podemos mantener su comportamiento algebraico.
Entonces, ¿hay campos más grandes más allá de los números complejos? Ciertamente hay. El más simple está formado por razones de polinomios en alguna variable, digamos [math] x [/ math]. Una de esas razones (llamada “función racional”) es [matemática] \ frac {x ^ 2-ix + 7} {2i-x} [/ matemática]. El conjunto de todas esas funciones se llama [math] \ mathbb {C} (x) [/ math] y también es un campo: las funciones racionales se pueden sumar, restar, multiplicar y dividir y las reglas habituales de álgebra aún aplicar.
Los elementos de [math] \ mathbb {C} (x) [/ math] normalmente no se denominan “números”, pero, de nuevo, no hay nada inherentemente no numérico en ellos. Podríamos haberlos llamado también “números espinosos” y no nos ocurriría nada malo.
- ¿De qué color son los números?
- ¿Qué es un número Keith?
- ¿Qué número, cuando se divide sucesivamente, deja restos de 4 y 5?
- Al resolver una desigualdad, ¿es legal multiplicar el denominador si el otro lado es cero?
- ¿Qué es 1/11 como decimal?
En una dirección diferente, hay Quaternions (matemáticas). Los cuaterniones llegan a llamarse “números” con bastante frecuencia, y contienen los números complejos, por lo que podría decirse que se encuentran “más allá” de ellos, pero con los cuaterniones algunas de las reglas habituales de álgebra en realidad no se aplican: multiplicar [ math] a \ times b [/ math] no suele dar el mismo resultado que [math] b \ times a [/ math]. Entonces, ¿por qué está bien pensar en ellos como números y las funciones racionales de mejor comportamiento como no números? Sin razón. Es solo terminología.
Los cuaterniones no son un campo, pero son un álgebra de división. Los octonions, que se encuentran más allá y más allá, ni siquiera son eso. Pero también son útiles de varias maneras.
También hay otros campos cuyos elementos se denominan “números”, como el campo de números enteros módulo 23. Tales campos no contienen los números complejos, ni están contenidos en ellos; Son simplemente diferentes. ¿Diría que se encuentran “más allá” de los números complejos? Quizás. O tal vez se encuentran un poco más abajo ya la izquierda. No importa mucho
Hay muchos, muchos campos. Algunos grandes, otros pequeños. Algunos finitos, algunos infinitos. Algunos están contenidos en los números complejos, algunos los contienen, otros tampoco. Algunos están ordenados (lo que significa que tienen un concepto de “mayor que”) y otros no; los números complejos en sí no están ordenados, pero los reales sí, y los números surrealistas de Conways son, en cierto sentido, el campo ordenado más grande posible. Incluyen números infinitamente grandes e infinitamente pequeños, por lo que ciertamente van mucho más allá de los simples números complejos, pero al mismo tiempo no contienen el número simple [math] i [/ math].
¿Por qué no encajan estos diferentes tipos de números dentro de los números complejos? Porque se comportan de manera diferente. El campo de números enteros mod 23 tiene la característica sorprendente de que si agrega algo a sí mismo veintitrés veces, obtiene 0. Ningún número complejo exhibe este comportamiento peculiar, por lo que no podemos ajustar [math] \ mathbb {Z} / 23 \ mathbb {Z} [/ math] dentro del campo de números complejos. Lo mismo con los cuaterniones, u octoniones, o números surrealistas, o funciones racionales en una o dos o tres o infinitas variables.
¿Para qué son útiles estos nuevos números? Oh, muchas cosas Los campos finitos son útiles en la comunicación digital. Los cuaterniones son útiles en la animación por computadora. Las funciones racionales son útiles en geometría. Y los números surrealistas son útiles para ampliar nuestras mentes, llenándonos de una sensación de asombro y maravilla de lo que nuestras propias mentes son capaces y qué cosas existen en nuestra imaginación, incluso si no encajan en nuestro universo físico accidental.