64 votos

¿Qué es exactamente un número?

Acabamos de aprender en clase qué son los números complejos, y la verdad es que no entiendo por qué se llaman números.

Originalmente, un número era un medio de contar (números naturales).

A continuación, ampliamos estos números a casos en los que, por ejemplo, se debe dinero a otras personas (números enteros).

Después, consideramos las fracciones cuando tenemos que repartir cosas como 2 pizzas entre tres personas.

A continuación (omitiendo los números algebraicos a efectos prácticos), utilizamos los números reales para describir cualquier longitud; por ejemplo, la longitud de una diagonal de un cuadrado unitario.

Pero es entonces cuando nuestra definición original de número deja de tener sentido: cuando consideramos los números complejos, lo que me lleva a mi pregunta principal: ¿cuál es una definición rigurosa de "número"?

Wikipedia afirma que "Un número es un objeto matemático utilizado para contar, etiquetar y medir", pero esta definición deja de tener sentido después de que ampliemos $\mathbb{R}$ .

¿Conoce alguien alguna definición de número que pueda generalizarse también a los números complejos (e incluso a sistemas numéricos de orden superior como los cuaterniones)?

2voto

Owl Puntos 147

La cuestión es controvertida en filosofía de las matemáticas. Algunas respuestas:

(A) Los números son conjuntos. Según Bertrand Russell:

  • El número 0 es el conjunto vacío.
  • El número 1 es el conjunto de todos los conjuntos de un solo miembro.
  • Para un número natural n, el sucesor de n es el conjunto de todos los conjuntos que son equinuméricos con {0, 1, ... n}, donde dos conjuntos son equinuméricos si existe una correspondencia de uno a uno entre ellos.

(Véase Russell's Introducción a la filosofía matemática .) Frege ( Fundamentos de aritmética ) y Cantor ( Contribuciones a la fundación de la teoría de los números transfinitos ). Una opinión más reciente es que 0 es {}, 1 es {0}, 2 es {0,1}, y así sucesivamente. La gente que adopta este punto de vista intenta construir otros números a partir de conjuntos. Por ejemplo:

  • El número 2/3 es el conjunto de pares ordenados {<2,3>, <4,6>, <6,9>, ...}
  • Un número real es un conjunto de secuencias de números racionales con una determinada propiedad de convergencia.

Estos puntos de vista permiten deducir las verdades familiares de la aritmética a partir de la teoría de conjuntos. Sin embargo, no es muy natural suponer que cuando digo "Mi depósito de gasolina está 2/3 lleno" estoy hablando de este tipo de objeto. (Para una crítica hilarante, véase http://web.maths.unsw.edu.au/~norman/papers/SetTheory.pdf .)

(B) Los números naturales son propiedades.

La mejor manera de explicar a qué propiedad se refiere uno es dar ejemplos. Así, mis manos son dos (juntas tienen la propiedad de ser dos); la Tierra y la Luna son dos; el verde y el azul son dos colores; etc. El número 2 es lo que tienen en común todos esos ejemplos. Esto se defiende en el excelente libro de Byeong-Uk Yi "¿Es dos una propiedad?" ( https://tspace.library.utoronto.ca/bitstream/1807/25255/1/Is%20two%20a%20property.pdf )

En cuanto a tu pregunta sobre los números complejos, si aceptas la teoría de conjuntos de otros números, los números complejos no suponen ningún problema. Se puede identificar un número complejo con un par ordenado de números reales. Esto no es muy diferente de, por ejemplo, la construcción para los números racionales.

Si se adopta el punto de vista de las propiedades (como yo), los "números" complejos no son números en el mismo sentido que los números naturales. Podrían estar ordenados pares de números. (Tanto si queremos ampliar el término "número" para incluirlos es entonces una cuestión semántica).

Tenga en cuenta, por cierto, que antes no se aceptaban otros números aceptados actualmente. El 0 no siempre fue un número; empezó siendo un mero marcador de posición (algo así como un signo de puntuación utilizado para indicar que una posición está desocupada). El concepto "número" tuvo que ampliarse para incluir el cero. Tampoco siempre se aceptaron los números negativos, ya que se consideraba absurdo hablar de tener menos que nada. Los "números" transfinitos son otra adición tardía, motivada por la teoría de conjuntos. Así que hay precedentes de ampliación del concepto.

2voto

Steve Puntos 51

Ya hay muchas respuestas buenas. Esta no es una respuesta profunda ni matemática. Es sólo mi opinión sobre el tema. Una "respuesta suave" a tu "pregunta suave", si quieres :)

Para mí, un número es básicamente una constante que tiene nociones equivalentes a la suma y la multiplicación básicas sobre los números naturales. Según esa definición, las Matrices antes mencionadas de las que cada elemento es un número también serían números.

Ahora podría parar ahí. El resto es más bien sobre Números Complejos y un origen alternativo de ellos, fuera de definir la raíz cuadrada de -1 o encontrar raíces a polinomios.

Desde que aprendí Álgebra Geométrica, me gusta pensar que los Números Complejos, los Cuaterniones y las nociones de dimensiones superiores son sólo subconjuntos de las Álgebras Geométricas. Creo que ese nombre ya está reservado para otra cosa, pero llamarlos "Números Geométricos" me parecería adecuado. - Geométricos en el sentido de que esos valores tienen interpretaciones geométricas claras, y números en el sentido de que son constantes que tienen una definición directa de multiplicación y suma.

Tomemos, por ejemplo, un Álgebra Geométrica 2D: Tendrás tus elementos base:

$$ 1, \; x, \; y $$

y se comportan así:

$$ 1 \cdot 1 = 1 \\ 1 \cdot x = x \cdot 1 = x \\ 1 \cdot y = y \cdot 1 = y \\ x \cdot x = y \cdot y = 1 \\ x \cdot y = -x \cdot y := I $$ y con solo aplicar esas reglas, encontrarás que $$I \cdot I = x \cdot y \cdot x \cdot y = \; | \left(x \cdot y = - y \cdot x \right)\\ = -y \cdot x \cdot x \cdot y = -y \cdot \left(x \cdot x \right) \cdot y = -y \cdot 1 \cdot y = \\ = -y \cdot y = -1 $$

Así se obtiene la siguiente tabla de multiplicar:

$$ \begin{matrix} \textbf{1} & \textbf{x} & \textbf{y} & \textbf{I} \\ \textbf{x} & 1 & I & y \\ \textbf{y} & -I & 1 & -x \\ \textbf{I} & -y & x & -1 \end{matrix} $$

Fíjate en dos cosas:

En primer lugar, si piensa en $x$ y $y$ como dos direcciones ortogonales en un plano, $I$ los girará en sentido contrario a las agujas del reloj. Alternativamente se puede pensar en un "operador sandwitching" como $x \cdot y \cdot x = -y$ - este tipo de operación reflejará lo que haya dentro del "sándwich" a lo largo del eje del exterior, el "pan", por así decirlo. Lo mismo ocurre en dimensiones superiores. Sin embargo, el resultado será una estructura más grande. Si lo intentas con tres dimensiones, por ejemplo, $x$ , $y$ y $z$ (el nombre, por supuesto, es arbitrario), terminarás con lo que es esencialmente los cuaterniones como parte del álgebra.

Y en segundo lugar, si usted toma sólo el $1$ y el $I$ juntos, terminas precisamente con los números complejos. Observa cómo $I^2=-1$ .

Si define un número genérico como $a_R \cdot 1 + a_x \cdot x + a_y \cdot y + a_I \cdot I$ Si multiplicamos dos números de este tipo por las reglas de multiplicación anteriores de la misma manera que multiplicaríamos números complejos, tenemos básicamente tres partes diferentes: La "parte escalar" $a_R$ (para los números Complejos, esta es la parte real), la "parte vectorial" $a_x x + a_y y$ (se comporta exactamente como se espera, si se quiere tratar con geometría en un plano) y la parte llamada bivectorial (o 2-vectorial) $a_I I$ (la parte imaginaria de los números complejos, aquí formada por los dos vectores x e y, de ahí el nombre), que actúa como una especie de rotador.

Nótese que el caso 2D es un poco especial porque el bivector simultáneamente es el llamado pseudoescalar. Para 3D se puede encontrar, de una manera muy similar, que tendrá

$$1\\ x, \; y, \; z \\ Ix = yz = xI, \; Iy = zx =yI, \; Iz = xy = zI \\ x \cdot y \cdot z = I$$

Consta de 3 bivectores ortogonales (los tres planos primarios del $\mathbb{R}^3$ ) y el trivector (o 3-vector) $I$ .

Y si juegas con esas álgebras, encontrarás rápidamente formas de expresar el producto escalar y el producto vectorial de forma sencilla. También se mantienen las posibilidades de reflejar o rotar, así como el significado de $1$ y $I$ .

Hay varias extensiones de esto, pero la conclusión es que los números complejos aparecen en todas partes (he dado un ejemplo, la mayoría dio otros) e incluso si no te gusta mi definición anterior de lo que es un número (no me sorprendería si alguien se apresura a objetar), la forma en que usted puede tratar con ellos exactamente como si fueran reales, y las bellas consecuencias que tiene la introducción de los números complejos hace que esté más que justificado llamarlos números.

1voto

badinbklyn Puntos 1

Bertrand Russell a principios del siglo XX definió "número" como

cualquier cosa que sea el número de alguna clase

y "el número de una clase" como

la clase de todas las clases que le son similares

donde la similitud de clases se define por la existencia de una biyección entre ellas.

(Parafraseado de Introducción a la filosofía matemática .)

1voto

justartem Puntos 13

Esto no responde exactamente a tu pregunta, pero aquí tienes algunas características que cumplen todos los números que conozco (conozco los números de contar, los enteros, los racionales, los reales, los complejos, los cuaterniones y los octoniones).

Número 1: Todos los números contables parecen estar dotados de dos operaciones binarias que reciben el nombre de suma y multiplicación.

Número 2: Son una extensión de los números de conteo, en el sentido de que existe una función desde los números de conteo a todos los demás sistemas numéricos tal que $f(a)+f(b)=f(a+b)$ y $f(a)\times f(b)=f(a\times b)$ para $a$ y $b$ contar números.

Desafortunadamente todavía estoy joven inexpertos y esos eran los únicos que se me ocurrían.

0voto

Tristan Puntos 113

En realidad, las matemáticas no son más que un sistema de lógica formal: se definen las reglas de un universo y luego se utilizan esas reglas, y sólo esas reglas, para construir sistemas. Dentro de ese sistema de reglas, se puede definir lo que es un número, algunas operaciones que se pueden hacer con los números y empezar a demostrar resultados sobre lo que ocurre con esos números. Con el tiempo, se construyen sistemas más complejos y se empieza a definir toda la matemática moderna.

Se considera que el fundamento actual más común de las matemáticas es la teoría de conjuntos de Zermelo-Fraenkel ("ZF"), generalmente aumentada con el axioma de elección para hacer la teoría de conjuntos "ZFC". El tema se denomina a menudo "filosofía matemática", como se afirma en otra respuesta. Su formulación moderna suele tener sólo 9 axiomas, y de esos 9 se deriva todo lo demás.

Como ejemplo de cómo se puede obtener el concepto de número a partir sólo de conjuntos, podemos derivar un sistema simple de conteo sólo a partir de las reglas de que existe un conjunto vacío, se puede construir un conjunto como una colección de otros conjuntos, y finalmente la existencia de un conjunto infinito (que se convertirá en el conjunto de los números naturales). Formalmente, la existencia del conjunto vacío está implícita en varios de los axiomas de ZFC, la capacidad de construir un conjunto como una colección de otros conjuntos proviene del Axioma Esquema de Especificación y del Axioma de Conjunto Potencia, y finalmente la existencia de un conjunto infinito es su propio Axioma de Infinito.

Tomada directamente de Wikipedia, llega una formulación sencilla de los números naturales, empezando por el cero que es el conjunto vacío. Una función sucesora S(n) definida en notación de conjuntos como S(n) = n + 1 = n ∪ {n}.

0 = ∅ = { }
1 = { 0 } = { { } }
2 = { 0, 1 } = { { }, { { } } }
3 = { 0, 1, 2 } = { { }, { { } }, { { }, { { } } } }

Dos buenos enlaces de Wikipedia para leer:

http://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory

http://en.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X