De los números naturales a los números enteros Exposición de contenidos matemáticos Sobre el número cardinal
Usos del número: Introducción: Se reconocen distintos usos del número natural. Los usos o significados del número más destacados son: 1º. Para medir o describir el tamaño de un conjunto 2º. Para describir la posición de un elemento en una sucesión Los números con los que describimos el tamaño o la numerosidad de los conjuntos se llaman números cardinales. Los números con los que describimos la posición de un elemento en una sucesión se llaman números ordinales. Los números ordinales son los números que empleamos para contar y ordenar.
I. Número cardinal La exposición está dividida en dos partes: Ideas generales sobre el número cardinal, para el caso de conjuntos finitos Ideas generales sobre el número cardinal, para el caso de conjuntos infinitos
PRIMERA PARTE. Ideas generales sobre el número cardinal para el caso de conjuntos finitos El cardinal indica la cantidad de elementos constitutivos de un conjunto
Hay dos maneras de interpretar la frase cantidad de elementos de un conjunto Primer sentido o ámbito de interpretación: tener la misma (mayor o menor) cantidad de elementos o la misma cardinalidad. Segundo sentido o ámbito de interpretación. Asignación específica de un número cardinal a un conjunto.
Primer sentido o ámbito de interpretación: tener la misma (mayor o menor) cantidad de elementos o la misma cardinalidad. Se trata del sentido comparativo del término. En este caso, la cantidad de elementos se mide a través de una comparación.
Por ejemplo, Si A = { a, c, d, w, l } Y B= { 1, 2, 3, 4, 5 } Entonces A y B tienen el mismo número de elementos. Tienen la misma cardinalidad.
Cómo se puede saber que dos conjuntos tienen la misma cardinalidad?: A través de la existencia de una biyección entre los dos conjuntos. Si existe esa biyección se puede decir que los conjuntos tienen la misma cardinalidad. Definición: si es posible establecer una biyección entre los elementos de dos conjuntos, entonces se dice que los conjuntos son equivalentes.
Pero qué hay detrás de esa biyección? Para establecer una biyección (y cualquier aplicación o función entre dos conjuntos) es necesario introducir un orden para que los elementos de ambos conjuntos sólo sean considerados una sola vez. Así que al establecer la biyección se van ordenando los elementos de los conjuntos. Pero, es necesario un cierto tipo de orden o puede ser cualquiera? Es decir, el cardinal depende de cómo ordenemos al conjunto?
Claro que no Por ejemplo A ={ c, d, w, l, a } tiene la misma cardinalidad que A = { a, c, d, w, l } (es posible establecer una biyección entre ellos).
De lo anterior podemos colegir los siguientes resultados: Resultado 1: El cardinal de un conjunto no depende de su orden. Resultado 2. Para establecer una biyección con el objeto de decidir si dos conjuntos son equivalentes es necesario ordenarlos. Pero ese orden es variable (o vicariante, para emplear terminología piagetiana) ya que el cardinal resultante no depende de un orden en particular.
Segundo sentido o ámbito de interpretación El segundo sentido que se le puede dar a la expresión la cantidad de elementos de un conjunto se refiere a la asignación específica de un número cardinal. Por ejemplo: Si A = { a, c, d, w, l } entonces el cardinal de A o card(a) ó # (A) es 5 Si B = { caballo, perro, ga to } Entonces el cardinal de B ó card(b) ó # (B) es 3. Si C= es el conjunto vacío entonces el cardinal de C ó card(c) ó # (C) es 0 Si D= { 1, 2 } entonces el card(d) ó # (D) es 2. Pregunta Cómo se determina el cardinal de un conjunto?
El cardinal de un conjunto se establece mediante el conteo (También se establece mediante la cardinación súbita o la subutización, que consiste en. Eso nos lleva a otra pregunta: Qué hacemos en realidad cuando contamos?
i. Establecemos una correspondencia uno a uno: Entre un segmento inicial del conjunto de los números naturales (segmento inicial de N es un subconjunto finito de N que inicia en el 1) Y El conjunto A que queremos medir o conocer su numerosidad o cardinalidad. ii. Asignamos al conjunto contado el último número del proceso de conteo. Por ejemplo, cuando contamos el conjunto A = { a, c, d, w, l } Lo que hacemos fue establecer una biyección entre este conjunto y un segmento del conjunto de los número naturales: N = { 1, 2, 3, 4, 5 } (segmento inicial de N que termina en 5)
a 1 c 2 d 3 w 4 l 5 Y definimos como el cardinal de A, el último número de nuestro conteo (el 5). Es decir, concluimos que card(a) = 5.
Qué se hace durante ese proceso? i. En el paso i (en el que se establece una biyección con el segmento inicial de N equivalente a A) se ordenan los elementos de A con base en la serie numérica ii. En el paso ii se asigna a A el número natural 5. pero.. por qué este número y no otro de la lista? Recordemos qué son los números naturales y qué denotan:
El número 5 es el símbolo más eficiente y sofisticado (hasta el momento y en comparación con otros posibles registros o representaciones) que designa la cantidad de elementos de todos los conjuntos equivalentes al conjunto { 1, 2, 3, 4, 5 } ó al conjunto {1, s(1), s(s(1)), s(s(s(1))), s(s(s(s(1)))} (donde s(1) significa el sucesor de 1) Es decir, el número 5 es el cardinal de todos los conjuntos equivalentes a los antes dados. Así que un número cardinal lo asociamos a toda una familia de conjuntos: a los que son equivalentes entre sí.
Para comprender mejor este papel del 5 recordemos (un posible) proceso evolutivo del número (algunos aspectos han sido tomados de Bernardo Gómez, 1993): Identificación de una unidad, es decir, la abstracción de las cualidades materiales o físicas de los objetos para concebirlos sólo en su singularidad (definición de una unidad). Comparación directa mediante correspondencias uno a uno- de la cantidad de objetos concretos pertenecientes a dos conjuntos distintos (por ejemplo, el conjunto de pieles y el grupo de personas en una tribu; o las hachas que se tienen a disposición y los hombres de la tribu). Establecimiento de la cardinalidad en el sentido comparativo (igual, más, menos elementos que). Elaboración de un registro concreto o físico de la cantidad de elementos de un conjunto dado (el conjunto registro es equivalente al conjunto dado). El conjunto registro puede estar formado por piedras o por muescas en un hueso. Establecimiento de la cardinalidad en el sentido comparativo (igual, más, menos elementos que).
Definición de modelos o prototipos de registro de los conjuntos equivalentes. Por ejemplo, la mano se convierte (en muchos casos) en un modelo típico para conjuntos equivalentes (que en lenguaje moderno tienen cardinalidad cinco ). Colocación de una etiqueta a cada representación de conjuntos con cantidades específicas (una etiqueta para la cantidad que hoy denotamos como cinco pudo haber sido mano ). Imposición de un orden en los modelos o registros, conforme a un orden de sucesión y en el que la diferencia entre uno y otro es la unidad. Construcción de un sistema de numeración con un número finito de símbolos que haga referencia a los modelos o registros y que conserven su orden. Proceso de conteo: para esto se recurre a la secuencia ordenada de palabras-número, que es la secuencia contadora. Contar resulta de la comparación con un conjunto de referencia, en particular el conjunto de los nombres número 1,2,3,4,5,6 y la recitación y emparejamiento de sus elementos con los del conjunto dado hasta que se agote.
Es importante considerar el doble papel de la serie de los números naturales: Los números naturales permiten ordenar a un conjunto o conocer la posición de un elemento de un conjunto (ver definición de ordinal arriba). Los números naturales representan a los números ordinales. Los números naturales permiten determinar la cardinalidad de un conjunto. Los números naturales también representan a los números cardinales. Una parte de los problemas que tenemos para comprender los procesos inherentes a los usos del número provienen de los distintos significados y papeles que le asignamos a la serie de los números naturales, en particular, como ordinales o como cardinales. Así que la serie numérica y el 5 (en particular) juega un doble papel en el proceso de conteo:
Juega el papel de ordenador del conjunto a numerar (A) y permite determinar su ultimo elemento. Este elemento se define con base en el orden que se ha impuesto al conjunto A a través de la serie numérica. Este proceso es el que se describió en el inciso i. Y sirve también para medir el tamaño del conjunto A, es decir, sirve como cardinal, por lo que se dijo en ii.
SEGUNDA PARTE Ideas generales sobre el número cardinal para el caso de conjuntos infinitos
Sobre los conjuntos infinitos En la primera parte de este módulo definimos una función biyectiva de en el conjunto de los pares mediante la siguiente regla: f(x)=2x. En este caso asociamos a cada número natural, su doble: 1 2 2 4 3 6 4 8 5 6 & etc. Esto nos deja ver varias cosas: Que el conjunto de los naturales es equivalente al conjunto de los pares Que el conjunto de los naturales N tiene un subconjunto propio (menor que él mismo, el conjunto de los pares,) que es equivalente a N.
A qué otros conjuntos les sucede esto mismo? que contienen subconjuntos propios que son equivalentes a sí mismos Por ejemplo, esto les sucede a los conjuntos finitos? Es decir, podemos hallar un subconjunto propio de un conjunto finito que sea equivalente al conjunto dado? Cómo se argumentaría la respuesta?
Con base en lo anterior Se define: Un conjunto A es infinito si contiene algún subconjunto propio que es equivalente a A. Reflexión: En la noción común VIII de Los Elementos de Euclides se establece que: el todo es mayor que las partes. Qué es lo que pasa entonces con la anterior definición?
!Conjuntos numerables Un conjunto es numerable si es equivalente al conjunto de los números naturales Esto significa que tienen el mismo número de elementos que N. Veamos, qué conjuntos tienen el mismo número de elementos que N? Los pares, los impares, los enteros, los primos, Todos esos, son conjuntos que tienen el mismo tamaño. Pero cómo medimos el tamaño de los conjuntos infinitos? O dicho de otra manera Qué número cardinal les asociamos?
Recordemos cómo asociamos un cardinal a un conjunto finito: Mediante el proceso de conteo eligiendo el último número Pero cuál es el último número en el caso de los naturales?, es decir, Cuál es el número que sigue después de la serie infinita 1, 2, 3, 4, 5, 6, 7, 8, 9, 10,? No hay tal número dentro de la serie! Se tiene que buscar fuera de ella! Cantor, que fue quien edificó la teoría de los números transfinitos, llamó al número cardinal que designa la cantidad de elementos de un conjunto numerable: Aleph cero, que se denota como:
Es muy importante destacar que cuando se habla de la cardinalidad de los conjuntos infinitos se está considerando al conjunto infinito en su sentido actual, es decir, como una totalidad que posee una estructura. Esto es muy distinto al infinito potencial que está presente cuando se enlista a los números naturales, pero no se les considera como una totalidad completa y actual. Euclides en Los Elementos incluyó un tratamiento potencial del infinito (posiblemente influido por las posturas aristotélicas sobre el infinito).
Qué otros conjuntos numerables se pueden destacar? Por ejemplo, los racionales serán numerables? De entrada no lo parece, ya que aparentemente el conjunto contiene a muchísimos más números, pero Considérese el siguiente arreglo: Sígase la trayectoria comenzando por (1,1) y asociando a cada paso un número natural. Lo anterior nos indica que hay tantas fracciones en la tabla como números naturales! (y en la tabla hay incluso más fracciones que números racionales)
Así que los números racionales son numerables, es decir, hay tantos números naturales como racionales, es decir, es equivalente a es decir, tienen la misma cardinalidad, tienen el mismo número de elementos. Pero habrá sólo un tamaño de infinito? o habrá algún número cardinal mayor que? Sí, en efecto. Por ejemplo, el conjunto de los números contenidos en el segmento [0,1] no es numerable, es infinito pero su cardinalidad es mayor que la de. La cardinalidad de este tipo de conjuntos (la cardinalidad del continuo) Cantor la definió como o como aleph 1: No contento con todo lo anterior Cantor definió después a una sucesión infinita de sucesiones infinitas de números cardinales