Ver el código de «Matemáticas/Generalidades/Conjuntos de números»

Ahora estudiaremos un poco más a fondo los conjuntos de números que emplearemos en este libro. El primer conjunto que estudiaremos es el de los números naturales,


{{Ecuación|1=<math>\mathbb{N}=\{0,1,2,3,\ldots\}</math>|2=1.2.1|3=center}}


que es ciertamente el más sencillo de todos los conjuntos de números. Nótese que hemos incluido el cero dentro de los números naturales. Aunque rara vez tiene importancia si los números naturales parten del cero o del uno, es conveniente hacer una aclaración a este respecto. Lo mejor que podemos decir es que nosotros, al haber incluido el cero entre los números naturales, nos hemos ajustado a la teoría de conjuntos de Zermelo-Fraenkel que incluye el cero como número natural. No entraremos aquí en detalles, así es que a un lector más ambicioso lo remitimos a una sección incluida en el Apéndice A donde se profundiza más en este asunto. 


Lo primero a notar es que, si bien, los números naturales tienen un primer elemento (el cero), no tienen un último, y esto es precisamente lo que se pretende indicar con los tres puntos en la expresión (1.2.1). Otra cosa es que los números naturales tienen, en el sentido técnico de la palabra, un buen ordenamiento, pues todo subconjunto de <math>\mathbb{N}</math> tiene un primer elemento. Por supuesto, para apreciar que el conjunto de los números naturales es bien ordenado, es necesario definir aquella relación que le da el orden. Estudiar esto nos llevaría de nuevo lejos de nuestro propósito, por lo que aquí también remitimos al lector a la segunda sección del Apéndice A.


Los números naturales son, valga la redundancia, muy "naturales", y es quizá por ello que raras veces se pregunta uno el por qué de sus características o propiedades. Sin entrar mucho en el trasfondo del asunto, mencionaremos aquellos principios básicos que dan su estructura a los números naturales. Estos principios son los llamados ''axiomas de Peano'', en honor al lógico-matemático Giuseppe Peano, quien los expuso por primera vez en su obra Arithmetices principia (1889). Los axiomas de Peano, que en la obra original de este matemático eran nueve, hoy han podido ser reducidos a los cinco siguientes:


# <math>0\in\mathbb{N}</math>
# para todo <math>n\in\mathbb{N}</math>, existe <math>n^{+}\in\mathbb{N}</math>, llamado ''sucesor'' de <math>n</math>
# <math>0\neq n^{+}</math> para todo <math>n\in\mathbb{N}</math>
# si <math>~m^{+}=n^{+}</math>, entonces <math>~m=n</math>
# si <math>S\subseteq\mathbb{N}</math> con <math>0\in S</math>, y si para todo <math>n\in S</math> se tiene que <math>n^{+}\in S</math>, entonces <math>S=\mathbb{N}</math>.


El primer axioma nos dice que el conjunto <math>\mathbb{N}</math> contiene, para empezar, un elemento (el cero). El segundo afirma que para todo número natural, existe un sucesor, el cual es también un número natural. El tercer axioma dice que el cero no es sucesor de ningún número natural, es decir, es el primer número natural. El cuarto axioma dice que dos números naturales distintos tienen sucesores distintos. Y finalmente, el quinto axioma dice que cualquier subconjunto de <math>\mathbb{N}</math> que contenga al cero y al sucesor de cualquiera de sus elementos habrá de ser forzosamente el mismo <math>\mathbb{N}</math>. En otras palabras, el quinto axioma dice que el conjunto de los números naturales es el menor conjunto que puede tener al cero y al sucesor de cada uno de sus elementos. De este quinto axioma surge lo que se conoce como ''principio de inducción matemática'' (véase la sección 2, Apéndice A). 


El siguiente conjunto de números es, por su sencillez, el de los ''números enteros'', que se representa por <math>\mathbb{Z}</math>. La diferencia es que este conjunto incluye también números negativos. Es decir,


<center><math>\mathbb{Z}=\{\ldots,-3,-2,-1,0,1,2,3,\ldots\}.</math></center>


Puede decirse que el conjunto <math>\mathbb{Z}</math> incluye a los números naturales así como a una replica de ellos, cuya diferencia es un signo de menos. Estos enteros negativos nos dan solución para la ecuación 


<center><math>x+b=c\ </math></center>


aún cuando <math>b</math> sea mayor que <math>c</math>. Por ejemplo, para


<center><math>x+5=4\ </math></center>


se tiene <math>x=-1\ </math>, un número no natural pero si entero.


Es posible dar una definición más rigurosa de <math>\mathbb{Z}</math> a partir de los números naturales, y así se ha hecho en el Apéndice A. Lo que ya observamos aquí es que, siendo <math>b</math> y <math>c</math> números naturales, la ecuación


<center><math>x+b=c\ </math></center>


puede no tener solución dentro del mismo <math>\mathbb{N}</math> (esto sucede cuando <math>b</math> es mayor que <math>c</math>). Sin embargo, esta ecuación encuentra siempre solución, siendo <math>b</math> y <math>c</math> enteros cualesquiera, dentro de <math>\mathbb{Z}</math>. Vemos pues que <math>\mathbb{Z}</math> presenta una ventaja sobre <math>\mathbb{N}</math> ¿Pero qué sucede con la ecuación


<center><math>a\cdot b=c</math>,</center>


donde <math>a</math>, <math>b</math> y <math>c</math> son números enteros? Ciertamente, para que esta ecuación tenga siempre solución, hemos de buscarlas en el conjunto de los ''números racionales'', <math>\mathbb{Q}</math>. Este conjunto es descrito frecuentemente como el que incluye a todos los números que pueden expresarse de la forma <math>\frac{a}{b}</math>, con <math>a</math> y <math>b\neq 0</math> enteros (es decir, <math>\mathbb{Q}</math> incluye también fracciones). Puesto que todo entero <math>a</math> puede expresarse como un cociente de enteros (por ejemplo <math>\frac{a}{1}</math>), resulta que <math>\mathbb{Z}\subseteq\mathbb{Q}</math>. 


Notemos que existen expresiones decimales de números racionales donde aparecen infinitas cifras, aunque siempre repetidas. Por ejemplo, la representación decimal de la fracción


<center><math>\frac{1}{3}</math></center>


es <math>0.3333\ldots</math>, una repetición de puros 3, mientras que la expresión decimal de 


<center><math>\frac{47}{11}</math></center>


es <math>4.272727\ldots</math>, una repetición de 2 y 7 siempre en el mismo orden.  Este tipo de expresiones se dicen ''decimales periódicas infinitas'', y es fácil demostrar que toda expresión decimal periódica infinita representa un número racional, y recíprocamente. 


A pesar de ser el conjunto <math>\mathbb{Q}</math> mas grande en apariencia que el conjunto <math>\mathbb{Z}</math>, aquél no es suficiente para resolver todas las ecuaciones. Por ejemplo, ningún <math>x\in\mathbb{Q}</math>  cumple con


<center><math>x^2=2\ </math>.</center>


Nos encontramos pues ante la necesidad de un conjunto más amplio, que nos de soluciones para la ecuación anterior, y muchas otras. Éste conjunto puede ser el de los ''números reales'', <math>\mathbb{R}</math>. El conjunto de los números reales incluye números que son soluciones para ecuaciones como la anterior y que, por no ser números racionales, son llamados ''números irracionales''. Como es de esperarse, la representación decimal de estos números es infinita y no periódica. Por ejemplo, <math>\sqrt{2}</math> es un número irracional, y la siguiente es su representación decimal aproximada con cien cifras:


<center>
  <div style="width:35%; text-align:left">
1.414213562373095048801688724209

69807856967187537694807317667973

79907324784621070388503875343276

41573...
  </div>
</center>


La constante <math>\pi</math>, que equivale a la razón entre el diámetro de una circunferencia y su perímetro, es otro ejemplo de número irracional. Su representación decimal aproximada con cien cifras es


<center>
  <div style="width:35%; text-align:left">
3.141592653589793238462643383279

50288419716939937510582097494459

23078164062862089986280348253421

17068...
  </div>
</center>


Veamos ahora lo que sucede con ecuaciones del tipo


<center><math>x^2=c\ </math>.</center>


Si <math>c</math> es un número real positivo, o cero, la ecuación encuentra solución en <math>\mathbb{R}</math>. No obstante, al ser <math>c</math> un número real negativo la ecuación queda sin solución en <math>\mathbb{R}</math>, como sucede, por ejemplo, en la ecuación


<center><math>x^2=-1\ </math>.</center>


Lo que sucede es que, como se demostrará más adelante en este libro, el cuadrado de todo número real es siempre positivo. Para remediar esto, se crean los número imaginarios, que, unidos con los reales, forman el conjunto de los números complejos, <math>\mathbb{C}</math>. Pero para poder entender mejor las características de estos números, son necesarios conocimientos que se presentan en capítulos posteriores de este libro, de modo que pospondremos el estudio de los números complejos hasta que sea el momento apropiado.

<noinclude>{{Matemáticas}}</noinclude>