Академический Документы
Профессиональный Документы
Культура Документы
LICENCIADO EN MATEMÁTICAS
Agradecimientos
A mi familia; en especial a mis abuelos Ricardo Zagal Guzmán y Tiburcia
Reyes García por criarme y enseñarme el camino recto.
A todos aquellos que, sin esperar nada a cambio, comparten sus libros por
internet que, sin saberlo, me ayudaron bastante, ya que el nodo de la
Facultad no cuenta con una biblioteca.
Bibliografía y referencias
Capítulo 1
Elementos matemáticos
En este capítulo del presente trabajo se exponen los elementos básicos para ayudar al lector a
comprender mejor las diferentes versiones de la propiedad de continuidad de los números reales
que desde el punto de vista matemático existen. Para ello primero se esbozan las motivaciones
que dan origen a las extensiones de los conjuntos numéricos a partir del conjunto de los números
naturales ℕ hasta la obtención de los números racionales ℚ. Y posteriormente se muestran las
distintas construcciones de los números reales halladas en nuestra búsqueda documental,
partiendo de los números racionales ℚ hasta obtener así un conjunto que satisface la propiedad
de completitud o continuidad que es .
Para poder hablar de los números reales , primero daremos por conocido al conjunto de los
números naturales al cual denotamos por ℕ, así ℕ = 1, 2, 3, 4, 5, … , , … , en el cual están
definidas las operaciones conocidas + y ∙ a las cuales usualmente llamamos suma y producto,
respectivamente; es decir, los números naturales se pueden sumar y multiplicar. Pero que en
general no se pueden restar ya que puede ocurrir que el número resultante no pertenezca al
conjunto de los números naturales, por ejemplo 2 − 5 ∉ ℕ, o sea, no existe un número natural
tal que + 5 = 2. Para resolver este tipo de ecuaciones es necesario extender el conjunto ℕ a
otro conjunto que tenga como elementos los números negativos y el cero 0 y tenga por
subconjunto propio a ℕ. Este nuevo conjunto lo denotaremos por ℤ, así
ℤ = … , −3, −2, −1, 0, 1, 2, 3, … y en dicho conjunto se encuentran los números primos; un
entero $ se dice que es primo si $ ≠ 0, ±1, y sus únicos divisores son ±1 y $. Se acostumbra
considerar sólo los primos positivos, ya que si $ es primo entonces −$ también es primo. Ahora
bien, prosiguiendo: los números enteros se pueden sumar, restar y multiplicar, pero en general no
se pueden dividir, por ejemplo ∉ ℤ, es decir, no existe un número entero ) tal que 3) = 1. Para
'
(
poder resolver este tipo de ecuaciones es necesario extender ℤ a un nuevo conjunto que tenga por
Capítulo 1
Elementos matemáticos
elementos los números fraccionarios (tanto positivos como negativos) y por subconjunto propio
a ℤ. Los números así obtenidos se llaman números racionales a los que denotaremos por ℚ, así:
+
ℚ = *) = : +, , ∈ ℤ / , ≠ 00
,
ya que la división por 0 no tiene sentido pues conduce a contradicciones. Por último, tenemos
que con los números racionales podemos sumar, restar, multiplicar y dividir (excepto por 0),
pero hay algunas operaciones que no son cerradas en ℚ, es decir, que el número resultado de
aplicar esa operación no pertenece a ℚ. En efecto, 1 ∈ ℚ, podemos pensar en la raíz cuadrada de
1, es decir, considerar otro número 2 cuyo cuadrado sea 1, o sea, 2 3 = 1 ↔ 2 = √1 puede
ocurrir solo una de las dos posibilidades: √1 ∈ ℚ o bien √1 ∉ ℚ. Por ejemplo, para el 2 ∈ ℚ se
tiene que 2 3 = 2 ⟺ 2 = √2 ∉ ℚ. Notemos ahora que si $ ∈ ℤ ⊆ ℚ es un entero primo
positivo, entonces
∄ ) ∈ ℚ: ) = 9$ ∈ ℚ
es decir, 9$ ∉ ℚ.
2
Capítulo 1
Elementos matemáticos
Figura 1. Relación uno a uno entre los puntos de la recta y los números reales
A continuación, enunciamos una lista de las propiedades que cumplen el conjunto de los
números racionales ℚ y el de los números reales , bajo el concepto de cuerpo, destacando que
esta lista contiene el concepto de cuerpo ordenado, propiedad que aparece en todas las versiones
de la completitud de . Así, de acuerdo con Marsden y Hoffman (1998, pp. 26-27), tenemos:
Axiomas de cuerpo:
I. Axiomas de la adición. Existe una operación de suma “+” tal que para cualesquiera
números ), /, I se cumple lo siguiente:
1. )+/=/+) conmutatividad
2. ) + ?/ + I@ = ?) + /@ + I asociatividad
3. Existe un número, 0, tal que ) + 0 = ) elemento neutro (cero)
4. Para cada ) existe otro número, que denotaremos −), tal que ) + ?−)@ = 0;
escribimos / − ) = / + ?−)@ = 0 inverso respecto de la suma
II. Axiomas de la multiplicación. Existe una operación de multiplicación “∙” tal que
5. )∙/ =/∙) conmutatividad
6. ) ∙ ?/ ∙ I@ = ?) ∙ /@ ∙ I asociatividad
7. Existe un número 1 tal que 1 ∙ ) = ) elemento neutro (unidad)
8. Para cada ) ≠ 0 existe otro número, que denotaremos ) J', tal que ) ∙ ) J' = 1;
escribiremos / ∙ ) J' = //). recíproco
9. ) ∙ ?/ + I@ = ) ∙ / + ) ∙ I ley distributiva
10. 1≠0 no trivialidad
Cualquier conjunto o “sistema numérico” con operaciones + y ∙ que obedezcan estas leyes se
denomina cuerpo. Por ejemplo, los números racionales y los números reales son un cuerpo.
Mientras que los números naturales no (porque el recíproco de un entero diferente de uno no es
entero).
3
Capítulo 1
Elementos matemáticos
4
Capítulo 1
Elementos matemáticos
Ahora veamos la definición de módulo o valor absoluto de un número ) el cual se denota |)|:
) ST ) ≥ 0
|)| = *
−) ST ) < 0
Y la distancia entre dos puntos ) y / se denota |) − /|.
Nota. Las demostraciones las omitimos pues no es nuestra intención mostrarlas.
Teorema 2.
i. |)| = 0 si y solo si ) = 0.
ii. |−)| = |)|.
iii. |)/| = |)||/|.
iv. UT = ≥ 0 entonces |)| ≤ = si y solo −= ≤ ) ≤ =.
v. −|)| ≤ ) ≤ |)|.
vi. |) + /| ≤ |)| + |/|.
vii. V|)| − |/|V ≤ |) − /|.
viii. |) − /| ≤ |)| + |/|.
ix. |)' + )3 + ⋯ + )X | ≤ |)' | + |)3 | + ⋯ + |)X |.
Estas son algunas propiedades algebraicas y de orden que tiene el conjunto de los números reales
. Pero hay una propiedad de carácter fundamental, en el sentido de fundamento matemático, y
nos referimos a la propiedad de continuidad de los números reales; llamada también propiedad
de completitud o propiedad de completez.
5
Capítulo 1
Elementos matemáticos
En este apartado se exponen las diferentes versiones de continuidad de los números reales que
están publicadas y que encontramos en nuestra búsqueda, mostrando primero los conceptos y
propiedades preliminares para todas las versiones. Luego se mencionan los conceptos y
propiedades más cercanos de cada versión de continuidad para poder mencionar así la propiedad
correspondiente.
Sin embargo, para entender esta parte del trabajo no es necesario conocer la teoría axiomática de
Zermelo; solamente se sugiere al lector tener en cuenta que no toda colección de objetos es un
conjunto. Así, por lo anterior, nos contentaremos con la siguiente definición intuitiva de conjunto
y después proseguiremos dando las definiciones rigurosas de los demás conceptos.
Conjunto. Intuitivamente, un conjunto Z es una colección de objetos llamados sus elementos, y
si ) es objeto de un conjunto Z, se escribe ) ∈ Z, y si ) no es un objeto de un conjunto Z, se
escribe ) ∉ Z.
Cardinalidad de un conjunto. El número de elementos de un conjunto Z se llama cardinalidad
(tamaño) de un conjunto.
6
Capítulo 1
Elementos matemáticos
1
Pero si algún elemento de [ no es elemento de Z se dice que Z es subconjunto propio de [ y se denota por Z ⊂ [
o bien por Z ⊊ [.
7
Capítulo 1
Elementos matemáticos
U ∩ f = ,, > .
Teorema 3. Si Z, [, ] son conjuntos cualesquiera, entonces
1. Z ∩ Z = Z, Z ∪ Z = Z; propiedad de idempotencia
2. Z ∩ [ = [ ∩ Z, Z ∪ [ = [ ∪ Z; propiedad conmutativa
3. ?Z ∩ [@ ∩ ] = Z ∩ ?[ ∪ ]@, ?Z ∪ [@ ∪ ] = Z ∪ ?[ ∪ ]@; propiedad asociativa
4. Z ∩ ?[ ∪ ]@ = ?Z ∩ [@ ∪ ?Z ∩ ]@; propiedad asociativa
Z ∪ ?[ ∩ ]@ = ?Z ∪ [@ ∩ ?Z ∪ ]@; propiedad distributiva
Pareja ordenada. Sean +, , ∈ k, definimos la pareja ordenada por + y , y la denotamos ?+, ,@
por
?+, ,@ = l + , +, , m.
Nótese que lo que se quiere recalcar es la distinción entre el primer lugar y el segundo lugar en la
pareja; esta definición nos conduce a tal distinción, pues resulta:
Teorema 4. ?+, ,@ = ?=, >@ ⇔ + = = / , = >.
Demostración. Aplicando la definición anterior, tenemos que
?=, >@ = l = , =, > m
Ahora, existen dos posibilidades:
i) + = = / +, , = =, > ;
ii) + = =, > / +, , = = .
En el caso i) se tiene que + = =, por lo que +, , = +, > entonces , = >.
En el caso ii) se tiene + = = = > y entonces +, , = + , por lo que , = +. L.Q.Q.D.
Ejemplo 1. Sea Z = 1,2 , hay entonces cuatro parejas ordenadas de elementos de Z,
?1,1@, ?1,2@, ?2,1@ / ?2,2@.
Ejemplo 2. Sean Z = +, , y [ = =, > hay cuatro parejas ordenadas tales que el primer
elemento pertenezca a Z y el segundo a [, a saber
?+, =@, ?+, >@, ?,, =@ / ?,, >@.
Ejemplo 3. Sea Z = 1, 2, 3 . Hay nueve parejas ordenadas de elementos de Z. Invitamos al
lector a que las escriba.
Ejemplo 4. Si Z es un conjunto infinito, entonces el conjunto de parejas ordenadas ?+, ,@; +, , ∈
Z es también infinito.
Producto cartesiano. Dados dos conjuntos Z y [, se llama producto cartesiano de Z y [ al
conjunto de todos los pares ordenados ?+, ,@, + ∈ Z y , ∈ [. Se le denota por
8
Capítulo 1
Elementos matemáticos
Z×[
que se lee “Z cruz [”. Más brevemente
Z × [ = ?+, ,: + ∈ Z, , ∈ [@
Función inyectiva. Se dice que una función g: Z → [ es inyectiva o uno a uno si siempre que
)' ≠ )3 ⟹ g?)' @ ≠ g?)3 @. Si g es inyectiva, se dice que g es una inyección.
De manera equivalente, una función g es inyectiva si y sólo si
g?)' @ ≠ g?)3 @ ⟹ )' ≠ )3 , ∀ )' , )3 ∈ Z
Ejemplo. Sea Z = ) ∈ ℚ: ) ≠ 1 y se define g: Z → ℚ por g?)@ = rJ'. Para demostrar que g
r
9
Capítulo 1
Elementos matemáticos
10
Capítulo 1
Elementos matemáticos
Caracterización de ℚ
Definición. Si ∈ ℕ, se dice que un conjunto U tiene elementos si existe una biyección del
segmento inicial ’X = 1,2, … , de ℕ sobre el conjunto U. Se dice que un conjunto U es finito
si es vacío, o bien, tiene elementos para alguna ∈ ℕ. Se dice que un conjunto U es infinito si
no es finito.
11
Capítulo 1
Elementos matemáticos
Ahora, veamos que ℚ es un conjunto infinito numerable, no sin antes proporcionar la siguiente:
Definición. Se dice que un conjunto U es contable si existe una biyección de ℕ en U. Se dice que
un conjunto U es contable si es finito o bien infinito, a este último también lo llamaremos infinito
numerable. Se dice que un conjunto es incontable si no es contable.
Teorema 6. Un conjunto U' es infinito numerable si y sólo si existe una biyección de U' sobre un
conjunto U3 que es infinito numerable.
Teorema 7. Si un conjunto U es infinito numerable y f ⊆ U, entonces f es infinito numerable.
Teorema 8. a) El conjunto U es contable si y sólo si existe una inyección de U en ℕ. b) El
conjunto es contable si y sólo si existe una suprayección de ℕ sobre U.
Así, por el teorema 8 b) se ve que un conjunto contable es un conjunto U cuyos elementos se
pueden presentar como el codominio de una sucesión U = )' , )3 , … , )X , … en donde se
permiten las repeticiones. Por consiguiente, ya no es indispensable que el mapeo sea inyectivo.
Teorema 9. El conjunto ℚ de los números racionales es infinito numerable.
Como ℚ = ℚ• ∪ 0 ∪ ℚJ , donde ℚJ es el conjunto de los números racionales negativos, se
inferirá que ℚ es infinito numerable.2
Demostración. Se muestra el conjunto ” de todas las fracciones ; <, ∈ ℕ de acuerdo con la
“
X
ordenación siguiente:
2
Por ejemplo, el conjunto ℤ de todos los números enteros es infinito numerable. Para hacer el mapeo de ℕ sobre ℤ
se puede mapear el elemento 1 sobre 0, el conjunto de los números naturales pares sobre el conjunto de los enteros
Asimismo, podemos observar que ℤ• ∩ 0 ∩ ℤJ = ∅, pero cada uno de ellos es un conjunto infinito numerable;
también observamos que ℤ• ∪ 0 ∪ ℤJ = ℤ.
12
Capítulo 1
Elementos matemáticos
seleccionar la fracción que la representa con el menor denominador y, por tanto, es posible
considerar a ℚ• como un subconjunto de ”. Así, por el teorema 7, el conjunto ℚ• es infinito
numerable. L.Q.Q.D.
Observación: El mapeo de ” en ℕ que se indica en el diagrama en la demostración precedente
se puede dar explícitamente por una fórmula. De hecho, se puede comprobar que es el mapeo
Ahora, veamos que ℚ es un conjunto arquimediano, pero antes de esto, veamos un teorema
previo.
Corolario 1. Sea ), / ∈ •
. Entonces:
a) ∃ ∈ ℕ: I < /.
3
Dado que si + ∈ ℚ se cumple que si + > 0, luego +J' > 0.
4
1. Si ) y / están en w, con 0 < ) < /, existe entonces un entero ™ tal que ™) > /.
Las otras versiones equivalentes de la propiedad arquimediana son:
13
Capítulo 1
Elementos matemáticos
b) ∃ ∈ ℕ: 0 < < /.
'
X
c) ∃ ∈ ℕ: − 1 < I < .
Demostración. La demostración se da por incisos:
a) Puesto que ) = > 0, ∃ ∈ ℕ: = ) < , y por tanto, I < /.
š š
› ›
c) a ) > 0 se obtiene < ∈ ℕ: < − 1 ≤ ) < <. Esta < también satisface < < /, ya que
< ≤ ) + 1 < /. Se tiene por tanto ) < < < /, de donde ˜ =
“
X
es un número racional que
Ahora, por último, expliquemos qué es un conjunto con agujeros, i. e., incompleto o discontinuo.
y ≠ 0, pero resulta que hay números como por ejemplo, el de la forma ˜ 3 = 2, o sea, ˜ = √2,
claramente éste número √2 no cumple con la definición, por lo tanto, no es un número racional,
es decir, √2 ∉ ℚ. Recordemos que el hecho establecido en la figura 1 de la página 3 constituye
una propiedad de continuidad de , es decir, no tiene agujeros o que es completa. Pero si
comparamos la línea recta que refleja con el conjunto ℚ tratando de hacer una biyección,
obtenemos como resultado que ℚ es un conjunto que tiene discontinuidades, o sea, ℚ es un
5
Por la propiedad del buen orden de ℕ. Todo subconjunto no vacío de ℕ tiene un elemento menor. Una
14
Capítulo 1
Elementos matemáticos
conjunto con agujeros, ya que éste no contiene a números como √2,√3, œ, •, ...., es decir, no
existe tal biyección.
En conclusión, ℚ y son campos ordenados y arquimedianos, pero sólo es completo, sin
agujeros; mientras que ℚ es incompleto, con agujeros.
Para las demás versiones ya no repetiremos esto y sólo nos centraremos en los conceptos que
sirven para enunciar la correspondiente completación de .
15
Capítulo 1
Elementos matemáticos
Ejemplo 2. Sea U el conjunto de todos los números reales ) tales que 0 ≤ ) ≤ 5. Este conjunto
está acotado superiormente por el 5. Su elemento máximo es el 5.
Ejemplo 3. Sea f el conjunto de todos los números reales ) tales que 0 ≤ ) < 5. Es parecido al
conjunto del ejemplo 2 salvo que el punto 5 no está incluido. Este conjunto está acotado
superiormente por el 5 pero no tiene elemento máximo.
Algunos conjuntos, parecidos al del ejemplo 3, están acotados superiormente pero no tienen
máximo. Para ellos existe un concepto que sustituye al de máximo. Este se llama supremo
(extremo superior) del conjunto y se define como sigue:
Supremo. Un número [ se denomina un supremo (extremo superior) de un conjunto no vacío S
si [ tiene las dos propiedades siguientes:
a) [ es una cota superior de U.
b) Ningún número menor que [ es cota superior para U.
Si U tiene máximo, éste es también supremo de U. Pero si U no posee máximo y está acotado,
tiene supremo.
Ahora enunciamos el axioma, el cual provee al sistema de los números reales de la propiedad de
continuidad, es decir, este axioma es la propiedad de completitud de los números reales en la
versión del Axioma del Supremo.
Axioma del supremo. Todo conjunto no vacío U de números reales acotado superiormente
posee supremo; esto es, existe un número real [ tal que [ = sup U.
Teorema 1. Dos números distintos no pueden ser extremos superiores para el mismo conjunto.
Demostración. Sea U un conjunto no vacío de números reales. Supongamos que [' y [3 son
supremos de U, entonces ambos son cotas superiores de U. Si [' < [3 , entonces la hipótesis de
que [3 es un supremo implica que [' no puede ser cota superior de U. Análogamente, si [' >
[3, entonces de la hipótesis se deduce que [' es un supremo y que [3 no puede ser cota superior
de U. Por lo tanto [' = [3 . L.Q.Q.D.
Nota. Se pueden utilizar los mismos conceptos citados anteriormente para construir el concepto
de cotas inferiores, máxima cota inferior e ínfimo de U.
Consideremos ahora en ℚ, como ejemplo, el conjunto Z = l) ∈ ℚ: ) < √2m. Este conjunto está
acotado superiormente, por ejemplo, 2 es una cota superior de este conjunto. Aún más, cualquier
˜ ∈ ℚ: ˜ > √2 es una cota superior del conjunto. Por otro lado, cualquier racional ˜ que sea
menor que √2 es un elemento del conjunto y no es cota superior de él, ya que entre ) y √2 hay
16
Capítulo 1
Elementos matemáticos
otros racionales que también están en Z. En consecuencia, cualquier racional que sea mayor que
√2 es cota superior del conjunto Z, mientras que ningún racional menor que √2 es cota superior.
Ahora, preguntémonos ¿Este conjunto Z tiene supremo en ℚ? o sea ¿Hay en ℚ una cota superior
que sea menor (supremo) que todas las anteriores?
Como hemos visto anteriormente, la respuesta es no; porque cualquier número racional ˜ mayor
que √2 es cota superior del conjunto, pero no es la menor cota superior, es decir, si ˜ ∈ ℚ, ˜ >
√2 entonces siempre existe ˜´ ∈ ℚ tal que √2 < ˜´ < ˜. En otras palabras, siempre existe otro
racional menor que ˜ que también es cota superior de Z. Por otro lado, cualquier racional menor
que √2 no es cota superior. Si hubiera un supremo de Z en ℚ, tendría que coincidir con √2, pero
ya hemos visto que este no es un número racional. Por lo tanto, en ℚ el conjunto Z no tiene un
supremo. Pero al agregar el axioma del supremo, ℚ se extiende a , es decir, completamos ℚ y
Z si tiene supremo en , o sea √2 ∈ , y no sólo este número existe en , sino más números
que todos forman el conjunto de los números irracionales al que hemos denotado por ℚ´.
Finalmente, así = ℚ ∪ ℚ´ si es un conjunto completo, es decir, existe la biyección con la recta
continua tomada como axioma.
6
1.2.2.2 Propiedad de la sucesión monótona
Las siguientes definiciones y teoremas fueron tomadas en su mayoría del capítulo 1 “La Recta
Real y el Espacio Euclideo” de Marsden y Hoffman (1998).
Ya se definió lo que es una sucesión. Ahora veamos qué se entiende por su convergencia.
6
También se conoce como Axioma de Cantor-Weierstrass
17
Capítulo 1
Elementos matemáticos
1 1 1 1
x1, , , , … , , … •,
2 3 4
Podemos conjeturar que la sucesión * 0 → 0, o sea que limX→¡ * 0 = 0. Veamos que sí se
' '
X X
cumple la definición:
podemos concluir que |) − /| < |) − /|, lo cual no puede ocurrir. Por lo tanto, |) − /| = 0 y
así ) = /. L.Q.Q.D.
Sucesión acotada. Una sucesión está acotada si el conjunto de puntos que la forman está
acotado, es decir, si existe un número ž tal que
|)X | ≤ ž, ∀ ∈ ℕ.
Sucesión acotada superiormente. Una sucesión está acotada superiormente si existe un número
[ tal que )X ≤ [, ∀ ∈ ℕ.
18
Capítulo 1
Elementos matemáticos
Sucesión acotada inferiormente. Una sucesión está acotada inferiormente si existe un número
Z tal que )X ≥ Z, ∀ ∈ ℕ.
19
Capítulo 1
Elementos matemáticos
Sólo para añadir, la unicidad del límite de toda sucesión monótona creciente y acotada se da
precisamente por el teorema de la unicidad del límite de una sucesión, el cual se demostró
anteriormente.
Nota: Análogamente se puede definir la propiedad de completitud mediante los conceptos de la
convergencia de una sucesión monótona decreciente.
20
Capítulo 1
Elementos matemáticos
Una familia indizada de conjuntos se puede considerar desde otro punto de vista, ya que a cada
elemento T ∈ ® se le asigna un conjunto Z¯ . Así, podemos establecer la siguiente familia
indizada de conjuntos. Una familia indizada de conjuntos Z¯ ¯∈° es una función
g: ® → Z
en el que el dominio de definición de g es el conjunto de índices ® y el dominio de imágenes de
g es una familia de conjuntos.
1
[' = ²0,1³, [3 = ´0, µ , …
2
Las operaciones de unión e intersección definidas para dos conjuntos se generalizan fácilmente
por inducción a un número finito e infinito de conjuntos. Así dados los conjuntos Z' , … , ZX , …,
para la unión de conjuntos se tiene:
X
¶ Z¯ = Z' ∪ Z3 ∪ … ∪ ZX
¯·'
o bien
¡
¶ Z¯ = Z' ∪ Z3 ∪ … ∪ ZX ∪ ZX•' ∪ …
¯·'
¸ Z¯ = Z' ∩ Z3 ∩ … ∩ ZX
¯·'
o bien
¡
¸ Z¯ = Z' ∩ Z3 ∩ … ∩ ZX ∩ ZX•' ∩ …
¯·'
Por la ley asociativa, la unión y la intersección de los conjuntos se puede efectuar agrupándolos
de cualquier modo; así que no es preciso utilizar paréntesis en las expresiones anteriores.
Se generalizan estos conceptos de la siguiente manera. Sea la familia indizada de conjuntos
21
Capítulo 1
Elementos matemáticos
Z¯ ¯∈°
y sea ¹ ⊂ ®. Entonces
¶ Z¯
¯∈º
consiste en aquellos elementos que pertenecen al menos a uno de los Z¯ siendo T ∈ ¹. Así pues,
¶ Z¯ = ): ?∃ T ∈ ¹: ) ∈ Z¯ @
¯∈º
De igual manera
¸ Z¯
¯∈º
Consiste en aquellos elementos que pertenecen al menos a uno de los Z¯ siendo T ∈ ¹. Así
¸ Z¯ = ): ) ∈ Z¯ , ∀ T ∈ ¹
¯∈º
¸ Z¯ = 6 y ¶ Z¯ = 2,4,6,10,3,9,5 .
¯∈º ¯∈º
Bien, ahora, entendido esto, pasemos a lo siguiente. Tenemos que la relación de orden en ℚ
determina la colección natural de subconjuntos conocidos como intervalos. Por ejemplo, si
+, , ∈ ℚ entonces el intervalo abierto determinado por + y , es
?+, ,@ = ) ∈ ℚ: + < ) < , .
A los puntos + y , se les llama puntos terminales del intervalo abierto ?+, ,@, aunque estos no
están incluidos en el mismo. Si ambos puntos se incorporan al intervalo abierto, se tiene el
intervalo cerrado
²+, ,³ = ) ∈ ℚ: + ≤ ) ≤ , .
Los conjuntos
²+, ,@ = ) ∈ ℚ: + ≤ ) < ,
y
?+, ,³ = ) ∈ ℚ: + < ) ≤ , .
22
Capítulo 1
Elementos matemáticos
son intervalos semiabiertos (o semicerrados) determinados por los puntos + y ,. Cada uno de los
intervalos anteriores tiene una longitud definida por , − +. Obsérvese que si + = ,, el intervalo
abierto correspondiente es el conjunto vacío
?+, +@ = ∅,
en tanto que el intervalo cerrado correspondiente de un solo elemento
²+, +³ = +.
Ahora, aclaremos según Kudriávtsev (1983, p. 52), qué sistema de segmentos se llama encajado.
El axioma anterior se puede deducir de otras propiedades (y enunciar como un teorema) y ser
demostrado mediante el axioma del supremo. Este teorema llamado teorema 1, y la observación,
la definición y el teorema 2 que le siguen, fueron tomados de Kudriávtsev (1983, pp. 52-54).
Teorema 1. Para cualquier sistema de segmentos encajados existe al menos un número que
pertenece a todos los segmentos del sistema dado.
Demostración. Sea Ω = +X , ,X un sistema de segmentos encajados. Por las desigualdades ?1@,
el conjunto +X } de todos los extremos izquierdos del sistema Ω está acotado superiormente, por
ejemplo, por el número ,' . Por esto, por el Axioma del Supremo, para el conjunto +X } existe la
cota superior finita
1 = sup +X . ?2@
Por cuanto el extremo derecho ,X de cualquier segmento del sistema Ω por las desigualdades (1)
acota superiormente el conjunto +X } y 1 es la cota superior este conjunto, es decir, el menor de
23
Capítulo 1
Elementos matemáticos
todos los números que acotan +X } superiormente, entonces, para todos los = 1,2, … se cumple
la desigualdad
1 ≤ ,X . ?3@
Esto significa que el conjunto ,X , de todos los extremos derechos de los segmentos del sistema
Ω está acotado inferiormente y por esto existe la cota inferior finita
2 = inf ,X . ?4@
Por cuanto, el número 1 de acuerdo con ?3@ acota inferiormente el conjunto ,X y la cota
superior 2 de este conjunto es el mayor entre todos estos números, entonces 2 ≥ 1. Así pues,
tenemos que para todos los = 1,2, … son válidas las desigualdades
+X ≤ 1 ≤ 2 ≤ ,X ?5@
De aquí se deduce que cada punto del segmento ²1, 2³ se contiene en todos los segmentos del
sistema Ω: si 1 ≤ ) ≤ 2, entonces para todos los = 1,2, … tiene lugar la desigualdad
+X ≤ ) ≤ ,X ,
es decir,
) ∈ ²1, 2³.
L.Q.Q.D.
Observación. En la demostración del teorema anterior, fue mostrado que cada punto del
segmento ²1, 2³ pertenece a todos los segmentos del sistema Ω y por consiguiente a su
intersección, es decir,
¡
24
Capítulo 1
Elementos matemáticos
Teorema 2. Para cualquier sistema ²+X , ,X ³; ∈ ℕ, de segmentos encajados con longitudes que
tienden a cero existe un único punto ξ que pertenece a todos los segmentos del sistema dado y
Á = sup²+X ³ = inf²,X ³. ?9@
Demostración. Sea > 0 un número arbitrario pero fijo. De la condición de que las longitudes
de los segmentos ²+X , ,X ³ tienden a cero se deduce que existe un número À tal que para todos
los ≥ À se cumple la desigualdad
,X − +X < .
De la desigualdad (5) se deduce 2 − 1 ≤ ,X − +X , entonces 0 ≤ 2 − 1 < para cualquier
> 0. Esto es posible sólo en el caso cuando 1 = 2 (si 2 > 1 entonces, por ejemplo, para
= 2 − 1 > 0, la desigualdad indicada se convierte en una afirmación incierta 2 − 1 < 2 − 1).
De esta manera, el segmento ²1, 2³ en este caso se convierte en un punto que denotaremos que
ξ= 1 = 2.
Por la fórmula (8) esto significa que existe sólo un punto único Á que pertenece a todos los
segmentos ²+X , ,X ³; ∈ ℕ. La fórmula (9) se deduce de (2) y (4). L.Q.Q.D.
El teorema anterior bien puede ser llamado el teorema de existencia y unicidad del punto
Á = sup²+X ³ = inf²,X ³ del sistema ²+X , ,X ³; ∈ ℕ.
Ahora, proseguimos con los conceptos de la versión de completitud mediante:
25
Capítulo 1
Elementos matemáticos
26
Capítulo 1
Elementos matemáticos
Como 1~1, 2~2 y 3~3, entonces t es reflexiva sobre Z. Luego, dado que 1~1 y 1~1, 2~2
y 2~2, 3~3 y 3~3, 1~2 y 2~1, 2~1 y 1~2, entonces t es simétrica sobre Z.
Por último, como 1~1 y 1~1 ⇒ 1~1, 1~1 y 1~2 ⇒ 1~2, 2~2 y 2~2 ⇒ 2~2, 2~2 y
2~1 ⇒ 2~1, 3~3 y 3~3 ⇒ 3~3, 1~2 y 2~2 ⇒ 1~2, 1~2 y 2~1 ⇒ 1~1, 2~1 y 1~1 ⇒
2~1, 2~1 y 1~2 ⇒ 2~2, entonces t es transitiva sobre Z.
Por lo tanto t es una relación de equivalencia sobre Z.
Ejemplo 4. Sea Z = 1,2,3 y t ⊂ Z × Z dada por
t = ?1,1@, ?1,2@, ?2,1@, ?2,2@ .
Podemos verificar que t es simétrica y transitiva. Sin embargo, la pareja ?3,3@ ∉ t y por tanto t
no es reflexiva.
27
Capítulo 1
Elementos matemáticos
1) Cada ZÅ ≠ ∅.
2) Si ZÅ ∩ ZÆ ≠ ∅ ⟹ ZÅ = ZÆ .
3) Z = ⋃Å ZÅ
Se le llama una partición ± del conjunto Z.
Arriba, mostramos que, dada una relación de equivalencia t en el conjunto Z, las clases de
equivalencia ²+³ de esta relación forman una partición del conjunto Z a la que llamaremos el
conjunto cociente de la relación t y lo denotamos por Z⁄t :
Z⁄t : ²+³: + ∈ Z .
Se ha probado así la primera parte de la siguiente propiedad tomada de Zaldívar (2005, p. 35).
Teorema 2. Sea Z un conjunto. Entonces:
1) Toda relación de equivalencia t en Z induce una partición Z⁄t en Z.
2) Toda partición ± = ]Å : ]Å ⊆ Z del conjunto Z induce una relación de equivalencia en
Z, a la que denotaremos por tÈ .
Demostración. Sólo falta probar 2). Para esto, pensaremos a cada conjunto de la partición
]Å ⊆ Z como una (futura) clase de equivalencia de tal forma que es natural entonces definir la
relación tÈ en Z como sigue: dados +, , ∈ Z diremos que +tÈ , si y sólo si existe un ]Å tal que
+, , ∈ ]Å (es decir, si y sólo si + y , están en el mismo ]Å ). Claramente tÈ es reflexiva y
simétrica.
Supongamos ahora que +tÈ , y ,tÈ =. Entonces +, , ∈ ]Å y ,, = ∈ ]Æ . Se sigue que , ∈ ]Å ∩ ]Æ
por lo que ]Å = ]Æ . Por tanto, +, = ∈ ]Å , es decir, +tÈ =. L.Q.Q.D.
Así pues, hay una correspondencia biunívoca entre todas las relaciones de equivalencia en Z y
todas las particiones de un conjunto Z.
Ejemplo 1. En el plano euclidiano, la semejanza de triángulos es una relación de equivalencia.
Así pues, todos los triángulos del plano se reparten en conjuntos disjuntos de modo que todos los
triángulos semejantes entre sí son elementos del mismo conjunto.
Ejemplo 2. Sea Z = ℤ y consideremos la relación de equivalencia t +t, si 6 ∣ + − ,. Queremos
determinar su conjunto cociente. Para esto, si + ∈ ℤ su clase de equivalencia es
²+³ = ) ∈ ℤ: )t+ = ) ∈ ℤ: ) − + = 6É con É ∈ ℤ ,
En otras palabras, ) y + difieren por un múltiplo de 6.
Observemos ahora que al dividir un entero entre 6 sus posibles residuos son 0,1,2,3,4,5. Dado
+ ∈ ℤ al dividirlo entre 6 digamos que su cociente es É y su residuo es ˜ de tal forma que
28
Capítulo 1
Elementos matemáticos
+ = 6É + ˜ con 0 ≤ ˜ ≤ 5 y notemos que 6 ∣ + − ˜, por lo que ²+³ = ²˜³. Así, vemos que la
clase de equivalencia ²+³ de un elemento arbitrario + ∈ ℤ es igual a la clase de equivalencia ²˜³
del residuo ˜ que deja + al dividirlo entre 6. Por lo tanto, hay sólo seis posibles clases de
equivalencia, a saber ²0³, ²1³, ²2³, ²3³, ²4³,²5³. Finalmente, observamos que estas clases son
disjuntas por parejas, ya que si dos de ellas se intersecaran, por ejemplo si ²1³ ∩ ²2³ = ∅,
entonces existiría un ) ∈ ²1³ ∩ ²2³, es decir, ) al dividirlo entre 6 deja residuo 1 y deja residuo
2, lo cual no es posible ya que el residuo debe ser único. Entonces ²1³ ∩ ²2³ = ∅ y similarmente
para los otros pares. Es también fácil ver que ²0³ ∪ ²1³ ∪ ²2³ ∪ ²3³ ∪ ²4³ ∪ ²5³ = ℤ, por lo que el
conjunto cociente es:
ℤ⁄t : ²0³, ²1³, ²2³, ²3³, ²4³, ²5³ .
Ahora, según Wawrzynczyk y Delgado (1993, p. 159)., una partición de un conjunto se dice
trivial, si ninguno de los subconjuntos de la partición es vacío. Si ?Z, ≤@ es un conjunto
parcialmente ordenado, se dice que un elemento + ∈ Z es el máximo de Z si ∀ ) ∈ Z, sucede que
) ≤ +.
Así tenemos la siguiente definición tomada de Wawrzynczyk y Delgado (1993, p. 159).
Cortadura (según Dedekind). Una pareja ordenada ?Z, [@ de subconjuntos de ℚ se dice una
cortadura, si cumple con las siguientes propiedades:
i) Z, [ es una partición no trivial de ℚ.
ii) Si + ∈ Z y , ∈ [ ⟹ + < ,.
iii) Z no contiene un elemento máximo.
La última propiedad significa que ∀ + ∈ Z, ∃ ) ∈ Z: + < ).
La definición anterior nos conduce al siguiente teorema tomado de Wawrzynczyk y Delgado
(1993, p. 160):
Teorema 3. Sea ?Z, [@ una partición con las propiedades i) y iii), entonces son equivalentes:
ii) Si + ∈ Z y = < + ⟹ = ∈ Z
ii)´ Si + ∈ Z y , ∈ [ ⟹ + < ,.
Demostración. ii) ⟹ ii)´. Sea + ∈ Z y , ∈ [. Si , < +, entonces , ∈ Z, pero entonces , ∈ Z ∩
[, lo cual contradice que Z, [ sea una partición.
ii)´⟹ii). Sea + ∈ Z y = < +. Si = ∉ Z, entonces = ∈ [, por ser Z, [ una partición, pero
entonces se tendría + < =, lo que contradice la hipótesis. L.Q.Q.D.
29
Capítulo 1
Elementos matemáticos
Z = + ∈ ℚ: + < É , [ = , ∈ ℚ: É ≤ , .
Como É ∈ [, entonces [ ≠ ∅ y, obviamente É − 1 ∈ Z. Para cualquier racional =, si = ≠ É,
entonces = < É o É < +; por lo tanto ℚ = Z ∪ [. Entonces Z, [ es una partición no trivial de
ℚ, de los números racionales.
para cada racional podemos construir una cortadura mediante el procedimiento anterior, así,
podemos identificar a los números racionales como un subconjunto de todas las posibles
cortaduras de ℚ. Una cortadura asociada a un número racional É se llamará una cortadura
racional, la cual podemos denotar como una clase de equivalencia ²É³. Pero ahora se tiene que
las cortaduras racionales no son la única posibilidad.
Sabemos que, ∄ É ∈ ℚ: É 3 = 2, porque, procediendo por contradicción, supongamos que:
É = , +, , ∈ ℤ; , ≠ 0, y además con +, , primos relativos.
A
B
Sea É > 0, en Z. Por lo tanto É 3 < 2. Sea 0 < ℎ < 1 y ℎ < 3Ê•', entonces
3JÊ C
iii)
Observemos que la cortadura que se ha definido no es una cortadura racional. Así que hay
cortaduras racionales y cortaduras irracionales y al conjunto de todas las cortaduras en ℚ se le
30
Capítulo 1
Elementos matemáticos
denota por y se llaman números reales, entre los cuales están definidas las operaciones de
suma y producto y una relación de orden que implican propiedades de campo y de orden,
respectivamente.
El siguiente teorema tomado de Wawrzynczyk y Delgado (1993, pp. 165-166) es la propiedad
de completitud de los números reales en la versión de las Cortaduras de Dedekind.
Teorema 4. (Dedekind). Sea ?Y, Ì@ una partición no trivial del conjunto de los números reales
con la propiedad de que Í < Î, ∀ Í ∈ Y, Î ∈ Ì. Se satisface la propiedad de completez: Si Y no
tiene un elemento máximo entonces Ì tiene un elemento mínimo.
Demostración. Construiremos la cortadura que exhibe el mínimo de Ì. Sean
31
Capítulo 1
Elementos matemáticos
que Z' contiene todos los números racionales de la clase Y y Z3 todos los restantes números
racionales, es decir, todos los números racionales de la clase Ì. Sea 1 el número totalmente
determinado que produce esa cortadura (Z' , Z3 ). Si ahora 2 es cualquier número distinto de 1,
hay siempre infinitos números racionales = que están entre 1 y 2. Si 2 < 1, entonces = < 1, con
lo que = pertenece a la clase Z' y consiguientemente también a la clase Y, y como igualmente
2 < =, también 2 pertenece a la misma clase Y, ya que todo número de Ì es mayor que todo
número = de Y. Pero si 2 > 1, entonces = > 1; con lo que c pertenece a la clase Z3 y
consiguientemente también a la clase Ì, y como igualmente 2 > =, también 2 pertenece a la
clase Ì, ya que todo número de Y es menor que todo número = de Ì. Con esto, cada número 2
diferente de 1 pertenece a la clase Y o a la clase Ì, según sea 2 < 1 o 2 > 1; por tanto el propio
1 es o bien el mayor número de Y o bien el menor de Ì , es decir que 1 es el número, y
claramente el único, mediante el cual se produce la descomposición de en las clases Y, Ì.
L.Q.Q.D.
Para esta versión precisamos y agregamos algunos conceptos más. Las definiciones y teoremas
que aparecen en esta versión fueron tomados del capítulo V, secciones V.1-V.4 Titulado “El
Campo de los Números Reales”, el cual se encuentran en Zaldívar (2005, pp. 207-226).
Sucesión de Cauchy. Una sucesión de números racionales se dice que es de Cauchy si para todo
racional > 0 ∃ ’ = ’? @ ∈ ℕ: |+“ − +X | < , ∀ <, ≥ ’.
En otras palabras, una sucesión es de Cauchy si y sólo si los términos de la sucesión se
aproximan unos a otros arbitrariamente cuando crece indefinidamente.
Ejemplo. Como vimos en la exposición de la propiedad de completitud mediante la sucesión
' '
X “
Observemos más: que la distancia entre dos términos arbitrarios y de esta sucesión, es:
1 1
Ó − Ó.
<
Es claro que si = < la diferencia es 0, es decir, los términos no sólo se acercan, sino que son
exactamente iguales. Ahora, supongamos que ≠ <, y aún más, que < < (el razonamiento
para el caso > < es similar). En este caso, observamos que
32
Capítulo 1
Elementos matemáticos
1 1 1 1 1
Ó − Ó=Ô − Õ< ;
< <
' '
X “
Esta desigualdad nos dice que la distancia entre los términos y de esta sucesión es menor
33
Capítulo 1
Elementos matemáticos
por el lema 1 se tiene que limØ→¡ l+Ø,X m = 1X , y así, para el > 0 dado podemos escoger un
|+“ − +X | = |+“ − 1“ + 1“ − 1X + 1X − +X | ≤
Ñ Ñ Ñ
≤ |+“ − 1“ | + |1“ − 1X | + |1X − +X | < + + = Ñ
3 3 3
por lo que +“ es de Cauchy en ℚ. Pongamos 1 = ²+X ³ ∈ . Mostraremos que lím 1X = 1.
En efecto, ∀ > 0 en , ∃ ’ = ’? @ ∈ ℕ: |+X − 1X | < 3 si ≥ ’ como arriba. Ahora, como
À
1 = lím +X por el lema 1, entonces para el > 0 anterior existe ’´ = ’´? @ ∈ ℕ: |+X − 1| <
À
3
Por último, recordemos que una sucesión es una sucesión de Cauchy si y sólo si los términos de
la sucesión se aproximan unos a otros arbitrariamente cuando y < crecen, es decir:
lim ?+“ − +X @ = 0,
“,X→¡
esto nos demuestra que el punto límite al que converge una sucesión de Cauchy es único, es
decir, hemos demostrado la unicidad de ese punto.
34
Capítulo 1
Elementos matemáticos
Hasta aquí se han expuesto las cinco versiones de la propiedad de continuidad de más
conocidas, es decir, más difundidas en los textos y currículos actuales del nivel superior.
35
Capítulo 1
Elementos matemáticos
²Û' ³ k y ∅ pertenecen a f.
²Û3 ³ La unión de cualquier número de conjuntos de f pertenece a f.
²Û( ³ La intersección de dos conjuntos cualesquiera de f pertenece a f.
Los elementos de f se llaman conjunto f − abiertos o simplemente conjuntos abiertos, y k
conjuntamente con la clase f, es decir, el par ?k, f@ es un espacio topológico.
Ejemplo 1. Consideremos las siguientes clases de subconjuntos de k = +, ,, =, >, Ñ , y sean
f' = lk, ∅, + , =, > , +, =, > , ,, =, >, Ñ m
f3 = lk, ∅, + , =, > , +, =, > , ,, =, > m
f( = lk, ∅, + , =, > , +, =, > , +, ,, >, Ñ m.
Notemos que f' es una topología de k porque verifica los tres axiomas necesarios ²Û' ³, ²Û3 ³ y
²Û( ³. Sin embargo f3 no es una topología de k porque la unión
+, =, > ∪ ,, =, > = +, ,, =, > ∉ f3 ,
es decir, f3 no cumple el axioma ²Û3 ³. Tampoco es f( una topología de k porque la intersección
+, =, > ∩ +, ,, >, Ñ = +, >
de dos conjuntos de f( no pertenece a f( , es decir, f( no satisface el axioma ²Û( ³.
36
Capítulo 1
Elementos matemáticos
∀ Z ∈ f ∃ å ⊂ ℬ: Z = ¶ å.
En otras palabras, ℬ es una base de f si cada conjunto abierto no vacío es la unión de los
elementos de ℬ. Obviamente una topología es una base de sí misma. Además, es fácil establecer
que ℬ es una base de f si y sólo si para cada conjunto abierto Y ∈ f y ) ∈ Y ∃ [ ∈ ℬ:
) ∈ [ ⊆ Y.
37
Capítulo 1
Elementos matemáticos
A los elementos de una base ℬ de f se les llama conjuntos abiertos básicos del espacio.
Ejemplo 1. La topología discreta ^ sobre cualquier conjunto k posee una base cuyos elementos
son muy simples. En efecto, la colección l ) : ) ∈ km forma una base para ^.
Ejemplo 2. Los intervalos abiertos forman una base de la topología usual de la recta ℚ. En
efecto, si Y ⊂ ℚ es abierto y $ ∈ Y, entonces existe un intervalo abierto [ = ?+, ,@:
$ ∈ ?+, ,@ ⊂ Y.
Vecindades del punto æ ∈ ç. Sea ) un elemento del espacio topológico ?k, f@. Un subconjunto
Ì de k es una vecindad de ) en el espacio ?k, f@ si podemos encontrar un Z ∈ f que satisfaga
) ∈ Z ⊂ Ì. A la colección de vecindades de k le llamamos sistema de vecindades del punto )
(en ?k, f@).
Punto adherente, adherencia. Sea Z un subconjunto del espacio topológico ?k, f@. + ∈ k se
llama punto adherente de Z si toda vecindad Ì ∈ ℬ?+@ tiene una intersección no vacía con Z:
Ì ∈ ℬ?+@ ⟹ Ì ∩ Z ≠ ∅.
El conjunto de todos los puntos adherentes de Z se dice adherencia (o clausura) de A. Un punto
+ de k no es adherente si puede separase de Z por una vecindad:
∃ Ì ∈ ℬ?+@: ?Ì ∩ Z ≠ ∅@.
El criterio intuitivo de que un punto + es adherente a Z, si puede aproximarse tanto como se
quiera por puntos de Z se formula en espacios topológicos generales mediante filtros y no por
sucesiones.
Ahora veamos la noción de continuidad puntual en términos de vecindad.
Continuidad puntual. Se dice que una aplicación g de un espacio topológico k en un espacio
topológico k è es continua en un punto )¥ ∈ k si cualquiera que sea la vecindad Ì´ de g?)¥ @ en
k è , existe una vecindad Ì de )¥ en k tal que la relación
) ∈ Ì ⟹ g?)@ ∈ Ì´.
Ejemplo 1. Las funciones constantes, la función identidad y la función cuadrado ?) → ) 3 @ son
continuas en todo punto + ∈ .
Ejemplo 2. La función raíz cuadrada é) → √)ê es continua en todos los puntos de su dominio
²0, ∞@.
Conjunto potencia. Se le llama conjunto potencia de un conjunto U, y se denota por "℘?U@" al
conjunto cuyos elementos son los subconjuntos de U. En particular,
∅ ∈ ℘?U@ / U ∈ ℘?U@.
38
Capítulo 1
Elementos matemáticos
Existe una fórmula para calcular el conjunto potencia de un conjunto arbitrario, la cual es la
siguiente:
2X ,
donde representa al número de elementos de un conjunto, claramente ∈ ℕ.
Ejemplo 1. Si U = +, , , entonces el número de subconjuntos de U es 23 = 4. Así ℘?U@ =
l +, , , + , , , ∅m.
Ejemplo 2. Si f = 4,7,8 , entonces el número de subconjuntos de fes 2( = 8. Así
℘?f@ = f, 4,7 , 4,8 , 7,8 , 4 , 7 , 8 , ∅ .
Filtro. Un filtro en un conjunto k ≠ ∅ es una colección no vacía ℱ ⊆ ℘?k@ que satisface:
1) ∅ ∉ ℱ.
2) Si w ∈ ℱ y w ⊆ w' ⊆ k ⇒ w' ∈ ℱ.
3) Si w' , w3 ∈ ℱ ⇒ w' ∩ w3 ∈ ℱ
Base de filtro. Dado un filtro ℱ en un conjunto k, una subcolección no vacía î de ℱ es base de
filtro para ℱ si ocurre que:
∀ w ∈ ℱ ∃ [ ∈ î: [ ⊆ w.
Es claro que todo filtro es base de filtro de sí mismo. La propiedad relevante que tienen las bases
de un filtro se resume como sigue en el siguiente teorema tomado de Casarrubias y Tamariz
(2011, p. 117), así mismo la observación que se hace de la demostración.
Teorema 1. Sean k un conjunto y î una familia no vacía de subconjuntos de k. Entonces
î es una base de filtro en k si y sólo si
∅ ∉ î / ∀ [' , [3 ∈ î ∃ [( ∈ î: [( ⊆ [' ∩ [3 .
Demostración. La demostración se da en dos implicaciones:
⇒³ Si î es una base de un filtro ℱ, entonces î ⊆ ℱ, y por esto ∅ ∉ î. Ahora, bien, si [' , [3 ∈
î, entonces [' ∩ [3 ∈ ℱ, y por ser î base de filtro de ℱ debe existir un elemento [( ∈ î tal
que [( ⊆ [' ∩ [3.
⇐³ Si ∅ ∉ î y ∀ [' , [3 ∈ î ∃ [( ∈ î: [( ⊆ [' ∩ [3 , definamos
ℱî = w ⊆ k: ∃ [ ∈ î: [ ⊆ w .
Entonces ∅ ∉ ℱ, y de la definición de ℱî se deduce: w ∈ ℱî y w ⊆ w' implican que
w' ∈ ℱî .
Ahora tomemos w' , w3 ∈ ℱî . Existen [' , [3 ∈ î tales que [' ⊆ w' y [3 ⊆ w3 . Consideremos
ahora un [( ∈ î tal que [( ⊆ [' ∩ [3 .Tenemos entonces que
39
Capítulo 1
Elementos matemáticos
[( ⊆ w' ∩ w3 ,
de donde w' ∩ w3 ∈ ℱî . Esto último muestra que ℱî es un filtro; obviamente î es una base de
ℱî . L.Q.Q.D.
Observación. Si î es una colección no vacía de subconjuntos de un conjunto k que satisface la
condición:
*) ∅ ∉ î / ∀ [' , [3 ∈ î ∃ [( ∈ î: [( ⊆ [' ∩ [3 , entonces el filtro del cual î es base es la
colección
ℱî = w ⊆ k: ∃ [ ∈ î: [ ⊆ w .
El filtro ℱî es el filtro generado por la base de filtro î.
Ejemplo de filtro. Sea k = 0,1,2,3 , así, como k tiene 4 elementos entonces el conjunto
potencia de k, ℘?k@ tendrá 2« = 16 elementos, así
k, ∅, 0 , 1 , 2 , 3 , 0,1 , 0,2 , 0,3 , 0,1,2 , 0,1,3 ,
℘?k@ = ð 0,2,3 , 1,2,3 , 1,2 1,3 ñ
2,3
Ahora hagamos un filtro, por ejemplo, el filtro del 2 que consiste en todos los elementos del
conjunto ℘?k@ que contengan al elemento 2 . Denotémoslo por ℱ3 . Así,
Ejemplo de base de filtro. Ahora, utilizando el ejemplo anterior, veamos que 2 es una base del
filtro ℱ 3 . Recordemos que la definición de base de filtro nos dice que:
Dado un filtro ℱ en un conjunto k, una subcolección no vacía î de ℱ es base de filtro para ℱ si
ocurre que
∀ w ∈ ℱ ∃ [ ∈ î: [ ⊆ w.
Y del ejemplo anterior también recordemos que
40
Capítulo 1
Elementos matemáticos
) ∈ ¸ =Hô ?w@: w ∈ ℱ .
41
Capítulo 1
Elementos matemáticos
42
Capítulo 1
Elementos matemáticos
43
Capítulo 1
Elementos matemáticos
⟹ I < ,´ y I < +´´. Como ,´ < +´´ ⟹ I < ,´ < +´´ < I ⟹ I < I, lo cual es una
contradicción; por lo tanto ?+´, ,´@ ∩ ?+´´, ,´´@ = ∅. L.Q.Q.D.
Ahora tenemos el siguiente teorema, el cual fue tomado de Casarrubias y Tamariz (2011, p.
186):
Teorema 2. Un espacio topológico k es Hausdorff si y sólo si todo filtro en k tiene a lo más un
límite.
Demostración. La demostración es de dos partes:
⟹] Supongamos que ℱ es un filtro en k que converge a un punto ) ∈ k. Consideremos un
punto / ∈ k con / ≠ ). Probaremos que ℱ no puede converger a /. Para ello consideremos dos
conjuntos abiertos ajenos Y y Ì tales que ) ∈ Y y / ∈ Ì. Como ℱ converge a ) se tiene que
Y ∈ ℱ. Pero debido a que ℱ es un filtro, no puede suceder que Ì ∈ ℱ. En consecuencia, el filtro
de vecindades de / no está contenido en ℱ. De esto se deduce que ℱ no puede converger a un
punto /.
⟸³ Observemos que si k no fuese un espacio de Hausdorff, entonces existirían un par de puntos
diferentes de ) y / con la propiedad siguiente:
(*) Y ∩ Ì ≠ ∅ para todos los conjuntos abiertos Y y Ì tales que ) ∈ Y y / ∈ Ì.
La propiedad (*) garantiza que todos los elementos de la colección
[ = Y ∩ Ì: Y / Ì son conjuntos abiertos con ) ∈ Y y / ∈ Ì
son diferentes del vacío. Como k ∈ [, tenemos que [ ≠ ∅. Pero más aún, es sencillo verificar
que [ es cerrada bajo las intersecciones finitas. Por lo tanto, [ es una base de filtro.
Si consideramos ahora al filtro ℱ generado por [, obtenemos un filtro en k que converge a dos
puntos diferentes de k, ) y /, lo cual es una contradicción.
Por tanto, todo filtro en k de Hausdorff tiene a lo más un límite, es decir el límite del filtro en k
es único. L.Q.Q.D.
En lo que sigue de esta versión de completitud de los números reales, las siguientes definiciones
y teoremas fueron tomados del capítulo 4 titulado “Los Reales mediante completación de un
grupo topológico”, el cual aparece en Patiño (2013, pp. 67-72).
Teorema 3. Sea k un conjunto dotado con una estructura uniforme Y y para cada ) ∈ k sea
[?)@ el conjunto de subconjuntos Ì?)@. La colección de todos los / tales que el par ?), /@ está
en Ì, cuando Ì recorre todos los entornos de Y. Los Ì?)@ son las proyecciones del eje de los
44
Capítulo 1
Elementos matemáticos
segmentos de recta en Ì que tienen como primera coordenada a ). Entonces existe una única
topología en k, tal que, para cada ) ∈ k, [?)@ es el filtro de vecindades de ) en esta topología.
Definición. La topología definida en el teorema anterior es llamada la topología inducida por la
estructura uniforme Y. Las propiedades de este espacio topológico se refieren al espacio
uniforme Y, así, diremos que un espacio uniforme es Hausdorff si su topología inducida es
Hausdorff.
Ejemplo. La topología inducida por la uniformidad aditiva en el conjunto de los números
racionales es la topología de la línea racional.
Teorema 4. Un espacio uniforme k es Hausdorff si y sólo si la intersección de todos los
entornos de esta estructura es la diagonal ∆ de k × k. Cada espacio uniforme Hausdorff es
regular7.
Función uniformemente continua. Una función de un espacio uniforme k en un espacio
uniforme k´ se dice que es uniformemente continua si, para cada entorno Ì´ de k´, existe un
entorno Ì de k tal que la relación
?), /@ ∈ Ì ⟹ ég?)@, g?/@ê ∈ Ì´.
En términos más simples podemos decir que g es uniformemente continua si g?)@ y g?/@ están
tan cerca uno del otro como queramos siempre que ) y / estén lo suficientemente cerca. Si
ponemos h = g × g, entonces la definición anterior significa que Ì è es un entorno de k´,
entonces hJ' ?Ì´@ es un entorno de k.
Ejemplo 1. La función identidad de un espacio uniforme sobre sí misma es uniformemente
continua.
Ejemplo 2. La función constante de un espacio uniforme en un espacio uniforme es
uniformemente continua.
Ejemplo 3. Toda función de un espacio uniforme discreto en un espacio uniforme es
uniformemente continua.
Teorema 5. Toda función uniformemente continua es continua.
Definición. Si k es un espacio uniforme y si Ì es un entorno de k, un subconjunto Z de k se
dice que es Ì − pequeño si todo par de puntos de Z son Ì − cerrados. (En otras palabras, sí
Z × Z ⊂ Ì).
y ” tales que w ⊂ y $ ∈ ”.
45
Capítulo 1
Elementos matemáticos
Debido a que la demostración del siguiente teorema es muy larga y tediosa, sólo presentaremos
el esbozo de la completación de un espacio uniforme describiendo los dos pasos globales
fundamentales que se exponen en Patiño (2013).
Teorema 10. Sea k un espacio uniforme. Entonces existe un espacio uniforme completo
Hausdorff Ψ y una función uniformemente continua T: k → Ψ que tiene la siguiente propiedad
(la propiedad de completitud de los números reales en la versión topológica de Bourbaki):
?±@ Dada alguna función uniformemente continua g de k en un espacio completo Hausdorff ,
hay una única función uniformemente continua h: Ψ → Y tal que
g =h∘T
8
El concepto de inclusión de conjuntos es sinónimo del concepto de subconjunto
46
Capítulo 1
Elementos matemáticos
Si ?T' , k'@ es un par que consiste de un espacio uniforme completo Hausdorff k' y una función
uniformemente continua T' : k → k' que tiene la propiedad ?±@, entonces existe un único
isomorfismo : Ψ → k' tal que T' = ∘ T.
1. “Definición de : Dado un espacio uniforme k se define a como el conjunto de
filtros minimales de Cauchy en k. Vamos a definir una estructura uniforme en .
Para este propósito, si Ì es algún entorno simétrico de k, sea Ì el conjunto de
todos los pares ? , @ de filtros minimales de Cauchy que tienen en común un
conjunto Ì − $ÑÉÍÑñ . Se prueba que los conjuntos Ì forman un sistema
fundamental de entornos de una estructura uniforme en .
T: k →
2. Definición de :
9
Una operación 1 en un conjunto Z la cual es una función del producto cartesiano Z × Z en Z, es decir,
1: Z × Z → Z,
47
Capítulo 1
Elementos matemáticos
1. Asociativa: ∀ +, ,, = ∈ , ?+ ∘ ,@ ∘ = = + ∘ ?, ∘ =@.
2. Existencia del elemento neutro: ?∃ Ñ ∈ @?∀ + ∈ @?+ ∘ Ñ = Ñ ∘ + = +@.
3. Todo elemento de posee un inverso:
?∀ + ∈ @?∃ +´ ∈ @?+ ∘ +´ = +´ ∘ + = Ñ@.
Se dice que la estructura ? ,∘@ es un grupo abeliano con respecto a la operación ∘ si:
1. ? ,∘@ tiene estructura algebraica de grupo.
2. + ∘ , = , ∘ +; ∀ +, , ∈ .
Ejemplo. ?ℤ, +@ y ?ℚ, +@ son grupos y además son grupos abelianos.
La estructura de anillo. Un anillo es un conjunto Z en el que hay definidas dos operaciones
binarias + y ∙ tales que:
1. ?Z, +@ es grupo abeliano.
2. + ∙ ?, ∙ =@ = ?+ ∙ ,@ ∙ =; ∀ +, ,, = ∈ Z.
3. +?, + =@ = +, + += y ?, + =@+ = ,+ + =+; ∀ +, ,, = ∈ Z.
Ejemplo. ?ℤ, +,∙@ y ?ℚ, +,∙@ con la suma y producto habitual son anillos.
La estructura de cuerpo. La terna ? , +,∙@ es un cuerpo si y sólo si ? , +,∙@ es un anillo
conmutativo, con unidad cuyos elementos no nulos admiten inverso multiplicativo. En notación
matemática:
1. ? , +@ es un grupo abeliano.
2. ? − 0 ,∙@ es un grupo abeliano.
3. ∙ distribuye respecto +.
Ejemplo 1. ?ℤ, +,∙@ con las operaciones conocidas no es cuerpo, pues ℤ carece de inversos
multiplicativos.
Ejemplo 2. ?ℚ, +,∙@ y ? , +,∙@ con las operaciones usuales son cuerpos.
Relación de orden. Una relación binaria (que se denota por ≤) en un conjunto Z se llama
relación de orden sobre Z si:
Û' : Reflexiva: ) ≤ ) para todo ).
Û3: Antisimétrica10: ) ≤ / y / ≤ ) ⟹ ) = /.
0( : Transitiva: ) ≤ / y / ≤ I ⟹ ) ≤ I.
48
Capítulo 1
Elementos matemáticos
Se acostumbra decir que Z es un conjunto ordenado por ≤. Una relación de orden sobre Z define
un orden total si para toda pareja ), / de puntos de Z, al menos una de las relaciones ) ≤ /, / ≤
) se satisface. La pareja ?Z, ≤@ se llama entonces un conjunto totalmente ordenado.
Ejemplo. El conjunto ℕ de los números naturales con el orden habitual es un conjunto totalmente
ordenado ya que 1≤2≤3≤4≤5≤6≤⋯ ≤ +1≤⋯
Estructura de cuerpo totalmente ordenado. Se dice que la estructura ? ,∘, ≤@ es un grupo
totalmente ordenado respecto a la operación ∘ y la relación de orden ≤ si:
1. ? ,∘@ tiene estructura algebraica de grupo.
2. ? , ≤@ tiene estructura de orden total.
3. ) ≤ / → ) ∘ + ≤ / ∘ +. (compatibilidad con la operación de grupo).
Ejemplo. ?ℤ, +, ≤@ y ?ℚ, +, ≤@ son ejemplos de grupo totalmente ordenado.
Definición. Un cuerpo totalmente ordenado w es llamado Cauchy completo si toda sucesión de
Cauchy en w es convergente. (Patiño, 2013, p. 49).
Teorema. El cuerpo totalmente ordenado ]?ℚ@/’?ℚ@ es arquimediano y Cauchy completo.
Este teorema es la propiedad de continuidad de los números reales en la versión de Thomas
Blyth. (Patiño, 2013, p. 51).
Teorema. (Existencia y Unicidad): Sea un grupo conmutativo totalmente ordenado continuo
(aditivo). Para todo elemento Ñ > 0 de existe sobre una estructura de cuerpo y una sola tal
que su adición sea la de , su unidad sea Ñ, y tal que
1) 0 ≤ ) ∙ / si 0 ≤ ) y 0 ≤ /.
El teorema anterior es la Propiedad de completitud del conjunto de los números reales en la
versión de Choquet. (Sánchez, 2012, p. 63).
El cuerpo con la estructura de orden de es un cuerpo conmutativo ordenado.
Richman es inspirado por la lógica intuicionista, o mejor llamada lógica constructivista, el cual es
el sistema lógico desarrollado por Heyting, que buscaba proporcionar una fundamentación formal
para la teoría intuicionista de Brouwer (1951). “El intuicionismo fue la respuesta de Brouwer al
logicismo de Russell, a la matemática no constructiva y a las paradojas, y se apoya en tres tesis
radicales:
49
Capítulo 1
Elementos matemáticos
a). Los objetos matemáticos se construyen directamente en la intuición pura, siendo por ello
previos al lenguaje y a la lógica;
b). Las leyes que rigen el comportamiento de dichos objetos derivan de su construcción, no
de la lógica, como pretenden Frege, Russell y los logicistas; y
c). En la matemática no es admisible ninguna teoría que rebase el marco de lo dable en la
intuición, como sostienen Hilbert y los cantorianos. (Torres, 2005, citado por Jaramillo y
Sánchez, 2014, p. 15).
Como el objeto matemático a tratar son los números reales, para los cuales se parte de un
conjunto inicial, cabe aclarar que el intuicionismo se fija principalmente en aquellos objetos
matemáticos que se pueden construir a partir de otros, es decir, aquellos que se pueden definir en
un número finito de pasos. Por lo tanto, para la lógica constructivista no es permitido un objeto
matemático al que no se le pueda mostrar como una construcción, iniciando desde algún objeto
conveniente.
A continuación, citamos dos ejemplos tomados de esta tesis:
Ejemplo 1. Queremos demostrar que existen dos números irracionales + y , tales que +B es un
√3
número racional. Sea = = √2 . Si = es racional, entonces hacemos + = , = √2 y terminamos. Si
= es irracional, entonces observando que = √3 = 2 podemos hacer + = = y , = √2. En cualquier
caso, tenemos dos números irracionales + y , tales que +B es un número racional. Pero, ¿Cuáles
son esos números?
“En este ejemplo se ve claramente que con la matemática tradicional, se garantiza la
existencia de algunos objetos matemáticos, en este ejemplo sería un número, pero no
podemos decir exactamente cuál es. Por eso, esta clase de demostraciones y
definiciones, no son aceptadas en la lógica intuicionista.” (2014, p. 16).
Ejemplo 2. “¿Cuál será el valor de verdad de la siguiente afirmación? 45 días antes de que
Arquímedes gritara desnudo “eureka”, en Siracusa nació un primogénito llamado Platón.”.
(Tomado de Gutiérrez, citado por Jaramillo y Sánchez, 2014, pp. 17-18).
Es evidente que en este momento no tenemos una respuesta sobre la veracidad o falsedad de este
enunciado, ya que difícilmente sabremos si el primogénito nació o no ese día. Con lo que una
proposición como el primogénito llamado Platón que nació 45 días antes de que Arquímedes
gritara desnudo “eureka”, permaneció toda su vida en Siracusa o no permaneció toda su vida en
Siracusa, no puede ser aceptada según los parámetros intuicionistas. De hacerlo (como por
ejemplo al estilo clásico), asignaríamos propiedades al “primogénito”, con lo que cualquier
50
Capítulo 1
Elementos matemáticos
Ahora veamos por último la completación del conjunto de los números reales en su versión
geométrica, así tenemos.
Ahora, veamos la construcción axiomática de los números reales por parte de David Hilbert.
Estos axiomas, divididos en cinco grupos, fueron tomados del Capítulo II, parte I, de Geometría
Superior de Efímov (1984, pp. 36-74).
51
Capítulo 1
Elementos matemáticos
Así tenemos:
52
Capítulo 1
Elementos matemáticos
III.3 Sean Z[ y [] dos segmentos sobre la recta +, sin puntos interiores comunes y sean,
además, Z´[´ y [´]´ dos segmentos sobre la misma recta, o bien sobre otra +´, que
tampoco poseen puntos interiores comunes. Si
Z[ ≡ Z´[´ / [] ≡ [´]´,
Entonces
Z] ≡ Z´]´.
III.4 Sean dados ∠?ℎ, ™@ en el plano 1, una recta +´ en este mismo plano, o bien en otro, 1´,
y supongamos fijado un lado determinado del plano 1´ con respecto a la recta +´.
Sea ℎ´ una semirrecta de la recta +´, con origen en el punto Û´. Entonces en el plano 1´
existe una semirrecta ™´, y sólo una, tal que ∠?ℎ, ™@ es congruente con ∠?ℎ´, ™´@ y,
además, todos los puntos interiores de ∠?ℎ´, ™´@ se encuentran en el lado prefijado con
respecto a +´. Para denotar la congruencia de ángulos se utiliza la notación
∠?ℎ, ™@ ≡ ∠?ℎ´, ™´@.
Si ∠?ℎ, ™@ ≡ ∠?ℎ´, ™´@, entonces ∠?™, ℎ@ ≡ ∠?™´, ℎ´@. Cada ángulo es congruente
consigo mismo, es decir,
∠?ℎ, ™@ ≡ ∠?ℎ, ™@ / ∠?ℎ, ™@ ≡ ∠?™, ℎ@.
53
Capítulo 1
Elementos matemáticos
La primera parte de este axioma se resume así: cada ángulo puede ser aplicado de
manera única en un plano dado, a un lado prefijado de una semirrecta dada.
III.5 Sean Z, [, ] tres puntos no pertenecientes a una misma recta y Z´, [´, ]´ otros tres,
tampoco pertenecientes a una misma recta. Si
IV.2 (Axioma de Cantor). Supongamos que en una recta arbitraria + se da una sucesión
infinita de segmentos Z' [' , Z3 [3 , …, de los cuales cada uno está en el interior del
precedente; supongamos, además, cualquiera que sea un segmento prefijado, existe un
índice para el cual ZX [X es menor que este segmento. Entonces existe sobre la recta
+ un punto k, que está en el interior de todos los segmentos Z' [' , Z3 [3, etc. Esto se
ilustra en la siguiente figura:
54
Capítulo 1
Elementos matemáticos
Ahora bien, de las condiciones del axioma IV.2 (Axioma de Cantor) sigue de inmediato que
existe sólo un punto k que está dentro de los segmentos Z' [' , Z3 [3 , etc. Esto constituye la
propiedad de continuidad de los números reales desde el punto de vista geométrico.
Así es como por medio de estos axiomas, Hilbert realiza la completación axiomática-geométrica
del conjunto de los números reales . Con esta versión cerramos este capítulo; esperamos que el
lector haya asimilado los conceptos, para así tener una mayor comprensión con el contenido de
este trabajo.
55
Capítulo 2
Antecedentes
y planteamiento del problema
En este capítulo presentamos los trabajos de investigación que tienen que ver con la propiedad
de continuidad de los números reales en cualquiera de las versiones conocidas actualmente y que
hemos encontrado en nuestra búsqueda de los trabajos de investigación. Todo esto es con la
finalidad de plantear nuestro problema de investigación y su respectiva justificación.
2.1 Antecedentes
Aquí se trata de mostrar los trabajos de investigación de carácter histórico en los cuales aparecen
los problemas que propiciaron la necesidad de plantear la continuidad del conjunto de los
números reales. Las investigaciones de carácter histórico y epistemológico sobre la propiedad de
continuidad de los números reales se remontan a mediados del Siglo V a. C. en la escuela que
encabezó Pitágoras en la Antigua Grecia, particularmente con la aparición de las magnitudes
inconmensurables, en este sentido se tiene la siguiente investigación.
En la introducción Rojas (1999) plantea: “La forma compleja del concepto de número real
plantea problemas didácticos difíciles de resolver. Su definición rigurosa es complicada y se
necesitaron muchos siglos para su desarrollo”. (p. 77). Sobre el número real menciona que es en
Capítulo 2
Antecedentes y planteamiento del problema
el año 375 a. C. cuando Eudoxio presenta la teoría de los inconmensurables para representar
irracionales como límite de magnitudes racionales y que es hasta la segunda mitad del siglo XIX
que Cantor, Dedekind y Weierstrass desarrollan teorías rigurosas del número real (incluyendo
números racionales e irracionales). Así que reemplazando las magnitudes de Eudoxio por
construcciones a partir de números naturales 1, 2, 3,... Cantor construye irracionales como
“sucesiones de racionales” y Dedekind como “cortaduras en clases infinitas de racionales”. El
avance de las matemáticas ha permitido la construcción de los números reales bajo otros
conceptos como el de “intervalos encajados” y “sucesiones de Cauchy”.
Rojas (1999) señala: “Estas teorías son equivalentes y permiten construir el continuo de los
números reales a partir de los números racionales. Los números racionales se construyen a partir
de os números enteros y estos últimos a partir de los números naturales; o sea, que el cimiento de
este edificio llamado «números reales» es el conjunto de los números naturales” (p. 77 y 78).
En efecto, Rojas (1999) en su escrito comenta sobre los números naturales, concebido por Peano,
quien consideró como concepto primitivo el concepto de número natural y a partir de ahí
formular un sistema de axiomas que caractericen la clase de los números naturales y que permita
deducir por medio de reglas lógicas de la inferencia todas las propiedades de dichos números, es
decir, demostrar todos los teoremas de la aritmética.
La clase de objetos se representaba a nuestra intuición como una “sucesión” de objetos obtenidos
a partir de un objeto inicial (uno para muchos), o cero, por medio de un proceso reiterado que
consiste en pasar de cada objeto al “siguiente”.
El conjunto de axiomas introducido por Peano ha tenido aceptación universal; los únicos
términos técnicos que intervienen son los de número natural, primer número natural (cero para
unos y uno para otros) y el “siguiente de” o “sucesor de”. Sus axiomas que se consideran como
base de todos los conocimientos matemáticos son:
’' : 0 es un numero natural.
’3 : El siguiente de todo numero natural es también un numero natural.
’( : Si U es una colección de numeros naturales que cumple:
i. 0 está en U,
ii. Si cada vez que un natural está en U, también el siguiente de él está en U,
entonces U es el conjunto de los numeros naturales.
’« : 0 nunca es el sucesor de un número natural.
’- : Si los siguientes de dos numeros son iguales, entonces los numeros son iguales.
57
Capítulo 2
Antecedentes y planteamiento del problema
presenta grandes problemas. En este sentido la definición de #Z como el conjunto de todos los
Sin embargo, Rojas (1999) advierte que el uso del concepto de cardinal para el número natural
58
Capítulo 2
Antecedentes y planteamiento del problema
llegar a una definición de ellos. Luego durante la Edad Media y el Renacimiento los matemáticos
rehuyeron el uso de numeros negativos, y fue el físico Newton (uno de los inventores del
Cálculo) en comprender la naturaleza de éstos. Posteriormente, Hamont (1560‒1621) introdujo
los signos + (más) y − (menos).
Los números negativos surgieron para hacer posible la resta en todos los casos. Posteriormente
se usaron para representar números relativos o con signo (por ejemplo, escalas de temperatura).
Un poco formalmente, los números enteros se obtienen como la diferencia de dos números
naturales cualesquiera. Así se define < − = ?<, @, donde <, ∈ ℕ. Es decir, se define un
número entero como pareja ordenada de los números naturales, y como infinitas parejas
determinan un mismo número entero, entonces esas parejas se consideran equivalentes, pues
producen la misma diferencia (el mismo número entero). Esto es:
?<, @~?$, É@ ⇔ < + É = +$
A partir de ésta relación se definen las operaciones entre clases de equivalencia (números
enteros) y se determinan sus propiedades. También se establece la equivalencia de la relación
antes definida y su compatibilidad con las operaciones definidas. Por último, se establece el
orden en el conjunto de los números enteros ℤ, y sus respectivas propiedades.
Rojas (1999) prosigue con los numeros racionales diciendo que antes que los griegos realizaran
la sistematización de los conocimientos matemáticos, los babilonios (según muestran las tablillas
cuneiformes que datan de 2000‒1800 a. C.) y los egipcios (como se ve en el papiro de Rhin) ya
conocían las fracciones.
Sin embargo, formalmente los números racionales (que incluyen los números fraccionarios
negativos) se definen en forma parecida a la usada para definir los enteros:
Partiendo del conjunto de los números enteros ℤ y su estructura, se define el conjunto [ = ℤ × ℤ
y en dicho conjunto se define una relacion de equivalencia:
?+, ,@~?=, >@ ⇔ +> = ,=
= y se definen también en [ las operaciones ⨁ y ⨂. La necesidad de
A
B
teniendo en cuenta
medir magnitudes como la longitud, el peso, etc., llevó al hombre a introducir los números
fraccionarios.
Al abordar la cuestión relativa a la continuidad de los números reales Rojas (1999) inicia con lo
que es ya común en la Historia de la Matemática: Aparición de magnitudes inconmendiurables al
establecer la relación entre la diagonal y el lado de un cuadrado. Agregando que Teodoro de
59
Capítulo 2
Antecedentes y planteamiento del problema
Cirene (400 a. C.) matemático de la escuela pitagórica demostró geométricamente que √2, √3,
√5, √7, etc., son irracionales.
Luego, Rojas (1999) plantea la pregunta: ¿Qué es un número real? Ante la cual responde
inmediatamente:
“Es una pregunta difícil de contestar, a la que no se dio una respuesta satisfactoria
sino hasta mediados del siglo XIX. En la práctica, al hombre le bastan los racionales,
) 3 − 2 = 0” (p. 82).
sin embargo, dentro de ellos no se hallan soluciones de ecuaciones sencillas como:
Después refiere que los griegos basaron sus construcciones matemáticas en la teoría de la
conmensurabilidad. Pero que al encontrarse con los números irracionales tuvieron que revisar
toda su teoría de las proporciones buscando métodos que permitieran efectuar las demostraciones
aún con los inconmensurables.
Particularmente, menciona la definición de proporcionalidad dada por Eudoxio: Z[, ]^, Ïw y
” son longitudes de segmentos, Z[: ]^ = Ïw: ” significa que todo para todo par de números
positivos $, É, resulta:
$ ∙ ]^ < É ∙ Z[ ↔ $ ∙ ” < É ∙ Ïw
Esta definición es muy ingeniosa porque, según Rojas (1999), “eliminando la definición de
números real (no definiciendo una razón) y dando sólo el concepto de igualdad entre razones
mediante el uso de naturales no nulos” (Ibídem), la definición de Eudoxio puede modificarse
ligeramente:
Z[ Ïw
=
]^ ”
si y solo si
$ Z[ $ Ïw
?∀$, É ∈ ℕ − 0 @ Ô < ⇔ < Õ
É ]^ É ”
Es decir, los números reales
Z[ Ïw
=
]^ ”
son iguales si y solo si, todo racional, menor que uno de ellos, también es menor que el otro.
Esta definición de igualdad es muy útil y rigurosa al grado que cuando Dedekind buscaba un
método para construir rigurosamente los números reales se encontró con que estaba retomando
las ideas de Eudoxio y solo necesitaba darle un soporte diferente.
60
Capítulo 2
Antecedentes y planteamiento del problema
+ ∈ Z y , ∈ [ ⇒ + < ,.
La cortadura así definida se denota ?Z, [@: la clase Z se llama clase inferior y la
(iii) Todo número racional pertenece a una de las dos clases.
La sucesión se llama encaje de intervalos y cada número real se expresa como un elemento
común de todos los intervalos de un encaje (de intervalos). Esta idea es de Georg Cantor,
matemático de origen ruso.
61
Capítulo 2
Antecedentes y planteamiento del problema
Luego, si consideramos que el número real Z está determinado por un encaje de intervalos antes
definido, resulta que los extremos inferiores del encaje es la sucesión creciente +X de números
racionales y se aproxima cada vez más como se quiera al número real (irracional o racional) Z.
Similarmente, resulta que los extremos superiores del encaje es la sucesión decreciente de ,X de
números racionales y se aproxima cada vez más como se quiera al número real (irracional o
racional) Z. Así que el número real Z está determinado por cualquier otro encaje cuyos extremos
se comportan en forma similar.
Luego, dos encajes de intervalos:
²+' , ,' ³, ²+3 , ,3 ³, ..., ²+XJ' , ,XJ' ³, ²+X , ,X ³,... y
²=' , >' ³, ²=3 , >3 ³, ..., ²=XJ' , >XJ' ³, ²=X , >X ³,...
determinan el mismo número real si cada extremo inferior de un intervalo de uno de ellos es
menor o igual que todo extremo superior de un intervalo del otro, es decir,
+¯ ≤ > , =¯ ≤ , (1)
para cualquier par de índices T !.
Ahora, si se define una relación t entre los encajes de intervalos estableciendo que el encaje
²+' , ,' ³, ²+3 , ,3 ³, ..., ²+XJ' , ,XJ' ³, ²+X , ,X ³,...
está relacionado con
²=' , >' ³, ²=3 , >3 ³, ..., ²=XJ' , >XJ' ³, ²=X , >X ³,...
si se cumple la condición (1), se puede observar que t es una relación de equivalencia. Luego,
por esta relación los encajes determinan una partición del conjunto de intervalos en clases de
equivalencia. Y puesto que dos encajes de intervalos racionales de la misma clase de
equivalencia determinan un mismo número real, es oportuno definir el número real como clases
de equivalencia de tales encajes. Posteriormente, lo que sigue es establecer operaciones entre
clases, sus propiedades, su orden, etc.
Así, Cantor emplea el concepto de sucesión de Cauchy:
Una sucesión de números racionales =', =3 , ..., =X se llama de Cauchy si para cada número real
positivo existe un número ’? @ tal que:
?∀ > ’? @@?∀< > ’? @@?|=X − =“ | < @
Luego, sobre las sucesiones de Cauchy (sucesiones fundamentales)
=', =3 , ..., =X y
>' , >3 , ..., >X
62
Capítulo 2
Antecedentes y planteamiento del problema
define su equivalencia si para cada número real positivo , existe un número natural ’? @ tal
que:
> ’? @ ⇒ |=X − >X | <
Y ya en las conclusiones Rojas (1999) señala que hubo dos corriente matemáticas en la
construcción de los números reales: algebrista y analista. Los algebristas se interesaron siempre
por asegurar la propiedad de la mínima cota superior (axioma del supremo); los analista
utilizaron la convergencia de las sucesiones de Cauchy de números racionales. El punto de
partida de estas construcciones se basó en el supuesto de la existencia del conjunto de los
numeros racionales. Y que el conjunto de los números reales es un cuerpo (campo) ordenado
completo (continuo, sin agujeros).
A manera de resumen: Podemos observar que en este trabajo se expone la continuidad
propuesta por Eudoxio que emplea la definición de proporcionalidad, idea que toma Dedekind
al proponer sus cortaduras y por Cantor, quien se apoya en la sucesión de Cauchy al proponer
su encaje de intervalos.
“Dados dos números positivos + y ,, existen números naturales y < tal que + > ,
y <, > +.
Por esta razón, a esta forma se le llama Axioma de Arquímedes o Axioma de Eudoxo-
Arquímedes.” (Torres, 2002, p. 42).
63
Capítulo 2
Antecedentes y planteamiento del problema
Proposición 1 (Libro X). Dadas dos magnitudes distintas, si de la mayor se sustrae una
magnitud mayor que su mitad, del resto se sustrae una magnitud mayor que su mitad (del resto) y
si este proceso se repite continuamente, quedará alguna magnitud más pequeña que la menor de
las magnitudes dadas inicialmente.
Y agrega diciendo:
11
Este teorema es precedido de la definición de magnitudes conmensurables.
64
Capítulo 2
Antecedentes y planteamiento del problema
Como resumen: El lector puede observar que en este trabajo se muestra el germen del concepto
de límite mediante dos teoremas. Siendo el segundo teorema el equivalente a la aparición de los
números irracionales, es decir, a la continuidad del conjunto de los números reales. Lo cual
bien pudiera llamarse: primera completación de la recta real.
65
Capítulo 2
Antecedentes y planteamiento del problema
66
Capítulo 2
Antecedentes y planteamiento del problema
pitagórico Hipasos de Metaponto que según unos, pereció en el mar por impiedad y, según otros,
fue desterrado de la comunidad pitagórica y se le erigió una tumba como si hubiera muerto.
'•√-
La inconmensurabilidad de √2 y 3
a). La inconmensurabilidad de √2
Ø
Demostración aritmética de la inconmensurabilidad de √#. Sea Ê una fracción irreducible tal
Ø 3
que – — = 2, se verifica:
Ê
$3
=2 ⇔ $3 = 2É 3 ,
É3
de modo que $3 (y por tanto $) es un número par; así sea $ = 2S, entonces
2É 3 = $3 = ?2S@3 = 4S 3 .
Así pues
É 3 = 2S 3 ,
De modo que É 3 (y por tanto É) es un número par; es decir:
É = 2˜.
El carácter par de $ y É contradice la hipótesis de que
Ø
Ê
es una fracción irreducible. En
” │Z[, ” │[]
De la geometría de la figura se deduce:
• Z[ = Ï[ (radios)
• Ï^ = Z^ (tangentes)
67
Capítulo 2
Antecedentes y planteamiento del problema
• Ï] = [] − Z[ (1)
• Ï^ = Ï] ²∆?Ï^]@ es isósceles ?∠^ = ∠[ = ∠]@³
• ^] = Z] − Z^ = Z] − Ï^ = Z] − Ï] (2)
De ?1@ y ?2@ se deduce: ” │Ï], ” │^].
Este proceso se puede reiterar indefinidamente, con el resultado que se van obteniendo triángulos
isósceles que puedan llegar a ser “tan pequeños como se quiera”, en los que el segmento fijo ”
divide simultáneamente al cateto y a la hipotenusa, lo cual es imposible. Esto lleva a la
conclusión de que no puede haber una unidad de longitud que mida simultáneamente el cateto y
la hipotenusa del triángulo, es decir, estos dos segmentos no son conmensurables. L.Q.Q.D.
'•√-
3
b). La inconmensurabilidad de
68
Capítulo 2
Antecedentes y planteamiento del problema
)+1 )
=
) 1
al número ) se le llama “el número de oro”. Tradicionalmente se representa por la letra griega
phi (fi) cuyo símbolo es %. Así pues, % es la solución positiva de la ecuación cuadrática:
% 3 − % = 1, es decir:
1 + √5
%= .
2
&•√'
#
Demostración aritmética de la inconmensurabilidad del número áureo . Supongamos
&•√'
#
Demostración geométrica de la inconmensurabilidad de . Supongamos que existe un
F G
E B
J H
D C
69
Capítulo 2
Antecedentes y planteamiento del problema
• w” = Ïw = Ï[ − w[ = Ï[ − Z[,
• w = Ï[ − 2Ïw = Ï[ − 2?Ï[ − Z[@ = 2Z[ − Ï[.
• ∴ ±)│w”, ±)│w .
Así que si un segmento fijo ±) divide a la diagonal y al lado del primer pentágono, también
divide a la diagonal y al lado del segundo pentágono. Este proceso se puede repetir
indefinidamente, obteniéndose pentágonos que pueden llegar a ser “tan pequeños como se
quiera”, en los que el segmento fijo ±) divide simultáneamente a la diagonal y al lado, lo cual es
imposible. Por lo tanto, no puede haber una unidad de longitud que mida la diagonal y el lado de
un pentágono, es decir, estos segmentos son inconmensurables. Además, de acuerdo con
González (2008, p. 107): “Las diagonales de un pentágono se cortan en proporción áurea” y
Ï[ Z[
∆Z[Ï ≈ ∆ Z[ ⟹ =
Z[ [
y
Ï[ Ï
Z[ = Ï ⟹ =
Ï [
L.Q.Q.D.
+ =
Para los pitagóricos dos razones:
,
, >
+ =
se dice que son proporcionales si:
=
, >
cuando existen enteros $, É, <, , tales que + = <$, , = <É, = = $, > = É.
Por ejemplo:
12 14
=
18 21
Porque 12 contiene dos de tres partes de 18, al igual que 14 contiene dos de tres partes de 21.
A partir de esta base se desarrolló la teoría de pitagórica de proporciones, la cual se aplicó a las
magnitudes geométricas: longitudes, áreas y volúmenes, con la premisa de que dos segmentos
siempre eran conmensurables, es decir que existía una unidad común de la que ambos serían
múltiplos. El descubrimiento de los inconmensurables implicaba la invalidación de todas las
70
Capítulo 2
Antecedentes y planteamiento del problema
pruebas pitagóricas de los teoremas que usaran proporciones y para salvarlas debían
reconstruirse considerando a las magnitudes inconmensurables. Por ejemplo, la proposición:
“Los triángulos que tienen la misma altura, son entre sí como sus bases”. Los primeros
pitagóricos harían lo siguiente:
Sean los triángulos Z[] y Z^Ï, con bases [] y ^Ï sobre la recta ž’. [] y ^Ï tendrán alguna
unidad común de medida; sea ” contenido $ veces en [] y É veces en ^Ï. Marquemos los
puntos de división sobre [] y ^Ï y unámoslos con el vértice Z.
Los triángulos Z[] y Z^Ï quedan divididos respectivamente en $ y É triángulos menores que
según la proposición I.38 de Los Elementos (“los triángulos que tienen igual base y altura son
Ä * *
= =
Ø
Ä+, Ê +,
equivalentes”) tienen la misma área. Por lo tanto, la razón de los triángulos , como
Ahora González (2008) refiere: Eudoxo de Cnido, quien introdujo la idea de “tan pequeño como
se quiera” antecedente de “el paso al límite”, encontró una solución a los problemas planteados
por el infinito y las magnitudes inconmensurables bajo las tres siguientes fases:
1) Una definición: Igualdad de razones.
2) Un axioma: Axioma de Eudoxo‒Arquímedes o Axioma de continuidad.
3) Un método: El Método de Exhaución.
Como el problema era la razón entre dos cantidades inconmensurables, Eudoxo elimina la
dificultad definiendo no la razón misma sino la igualdad de razones, que según González (2008)
es (Definición V. 5 de Los Elementos de Euclides):
71
Capítulo 2
Antecedentes y planteamiento del problema
“Se dice que una primera magnitud guarda la misma razón con una segunda
magnitud, que la tercera magnitud con una cuarta magnitud, cuando cualesquiera
equimúltiplos de la primera y la tercera excedan a la par, sean iguales a la par o sean
inferiores a la par, que cualesquiera equimúltiplos de la segunda y la cuarta,
respectivamente y tomados en el orden correspondiente.” (p. 113).
Es decir, si +, , son dos magnitudes geométricas del mismo tipo y =, > son también del mismo
tipo (aunque no necesariamente del mismo tipo que + y ,), Eudoxo define las razones:
A
B
y son
+ =
proporcionales:
=
, >
si para cualquier par de enteros positivos y <, se tiene:
+ > <, y = > <> ó + = <, y = = <> ó + < <, y = < <>.
La definición de Eudoxo generaliza la noción pitagórica de razones de enteros:
= en sentido pitagórico, existen enteros positivos $, É, <, , tales que
A
B
1. Si
Ahora, con esta nueva definición González (2008) dice: veamos de nuevo el teorema: “Los
triángulos que tienen la misma altura, son entre sí como sus bases”.
72
Capítulo 2
Antecedentes y planteamiento del problema
Sobre la recta ž’ tracemos a partir de [, < − 1 segmentos iguales a ][ y unamos los puntos de
división ], [, [' , [3 , [( , … , [“ con el vértice Z. De forma similar tracemos a partir de Ï, − 1
segmentos iguales a ^Ï y unamos los puntos de división con el vértice Z. Se tiene:
[“ ] = <?[]@, Z[“ ] = <?Z[]@, ÏX ^ = ?Ï^@, ZÏX ^ = ?ZÏ^@.
Ahora, de la proposición I.38 de Los Elementos y su consecuencia “de triángulos que tienen la
misma altura tiene mayor área el que tiene mayor base”, se deduce que el triángulo Z[“ ] es
mayor, igual o menor que el triángulo ZÏX ^ según que <?[]@ sea mayor, igual o menor que
?^Ï@, por tanto, según la definición de Eudoxo de proporción se tiene:
Ä * *
=
Ä+, +,
. L.Q.Q.D.
La prueba anterior muestra como a partir de la definición de Eudoxo las magnitudes geométricas
pueden compararse a través de razones; y es sobre esta base que Eudoxo procedió a la
demostración rigurosa de los resultados de pitagóricos sobre proporciones del libro VI de los
Elementos de Euclides, así como de los teoremas de Hipócrates y Demócrito sobre áreas de
círculos y volúmenes de pirámides y conos que aparecen en el libro XII de Los Elementos de
Euclides.
Eudoxo prescinde del número irracional y opera con magnitudes que se pueden hacer menores
que otras en forma arbitrariamente prefijadas para lo que introduce el axioma de Eudoxo-
Arquímedes o Axioma de Continuidad: “Se dice que dos magnitudes tienen razón cuando se
puede multiplicar una de ellas de modo que supere a la otra”.
Sin embargo, el axioma de continuidad supone la existencia de magnitudes “tan grandes o tan
pequeñas como se quiera” y destierra la existencia de infinitesimales actuales.
73
Capítulo 2
Antecedentes y planteamiento del problema
Los conceptos numéricos griegos eran limitados para asignar a las figuras geométricas números
que midieran sus áreas o sus volúmenes; debido a esto tenían que calcular directamente con las
figuras las cuales se trataban como magnitudes. Así mismo, los griegos consideraban que las
figuras curvilíneas tales como círculos o segmentos de parábola tienen áreas que son magnitudes
geométricas del mismo tipo que las figuras poligonales. Esto es:
Dada una figura curvilínea Z, para determinar su área +?Z@, se buscará una sucesión de
polígonos {±' , ±3 , … , ±X , …} que aproximen progresivamente el área de Z.
Eudoxo fue quien ideó también este método llamado Método de Exhaución para sustituir con
absoluto rigor, en las demostraciones de las magnitudes de área o volumen, la idea vaga e
intuitiva de que el área de Z es el “límite” de las áreas de los polígonos {±' , ±3 , … , ±X , …}. En vez
de ello se demuestra que se puede encontrar un polígono en dicha sucesión cuya área difiera de
una figura Z en una cantidad menor que otra prefijada, es decir, que la diferencia puede hacerse
“tan pequeña como se quiera”. En lenguaje matemático:
“Dado > 0 se debe encontrar un polígono ±X tal que la diferencia +?Z@ − +?±X @ sea menor que
para suficientemente grande”.
Aquí el siguiente teorema demostrado por Euclides en Los Elementos es muy importante en el
cual, aplica el axioma de Eudoxo‒Arquímedes (de continuidad):
“Dadas dos magnitudes desiguales, si de la mayor se quita una magnitud mayor que su mitad y,
de la que queda, una magnitud mayor que su mitad y así sucesivamente, quedará una magnitud
que será menor que la magnitud dada”.
Formalmente:
Sean t¥ y las dos magnitudes dadas por hipótesis. Si {t' , t3 , t( , …} es una sucesión de
magnitudes que cumple:
1 1 1
t' < t , t3 < t , t( < t , …
2 ¥ 2 ' 2 3
podemos concluir que se puede encontrar un número natural para el que tX < .
Demostración. En efecto, según el axioma de continuidad podemos hallar un entero positivo ’
tal que ?’ + 1@ > t¥ .
Entonces se tiene:
1 1
t' < t¥ < ?’ + 1@ < ’ .
2 2
74
Capítulo 2
Antecedentes y planteamiento del problema
Análogamente:
1 1
t3 < t' < ’ < ?’ − 1@ .
2 2
Y así sucesivamente, se llega en ’ pasos a la desigualdad deseada: tX < . L.Q.Q.D.
Esta proposición es conocida como El Principio de Eudoxo el cual abre las puertas al Método de
Exhaución, con el que Eudoxo demuestra rigurosamente los teoremas sobre el círculo, sobre la
pirámide y el cono que habían sido enunciados respectivamente por Hipócrates y Demócrito en
Los Elementos de Euclides.
Ahora, inscribiendo un cuadrado en un círculo, la diferencia entre ambos es menor que la mitad
del área del círculo ya que el cuadrado inscrito es la mitad del cuadrado circunscrito, el cual es
mayor que el círculo.
Ahora, sobre cada lado del cuadrado se construye un triángulo isósceles obtenido al bisecar el
arco cuya cuerda es el lado del cuadrado, lo que proporciona un octágono regular inscrito en el
círculo. La diferencia entre cada segmento circular (determinado por el lado del cuadrado y el
círculo) y el triángulo isósceles descrito anteriormente que determina los lados del octágono, es
menor que la mitad del segmento circular. La operación de bisección se puede reiterar de forma
que se obtiene en cada proceso un polígono regular inscrito en el círculo y con doble número de
lados que el precedente. (González, 2008).
Luego, González (2008) prosigue: Partiendo de un círculo se continúa el proceso anterior. Se
resta reiteradamente a una cantidad otra cantidad superior a su mitad, es decir: primero, al
círculo se le resta el cuadrado inscrito, en segundo lugar, a los segmentos circulares resultantes
se les restan los triángulos isósceles que determinan el octágono, y así sucesivamente; luego,
75
Capítulo 2
Antecedentes y planteamiento del problema
Se tiene:
t¥ − t' = +?±' @ − +?±¥ @ = 4+?∆Z[w@ = 2+?□Z[[´Z´@ > 2+?+˜= Zw[@ =
1 1
= ²+?]@ − +?±¥ @³ = t¥ .
2 2
Y en general:
1 1
tX − tX•' = +?±X•' @ − +?±X @ > ²+?]@ − +?±X @³ = tX
2 2
donde +?]@ − +?±X @ es la suma de las áreas de los 2X•' segmentos circulares determinados
sobre el círculo por los lados del polígono inscrito ±X . L.Q.Q.D.
Esta proposición es una de las más importantes de las 465 de Elementos de Euclides. Con ella
Eudoxo crea la base del Método de Exhaución, instrumento fundamental para la resolución
rigurosa de los problemas infinitesimales sobre cuadraturas y cubaturas, que empleando una
forma indirecta de prueba, evita el cálculo explícito de un límite.
Por último, González (2008, p. 121-122) expone: el Lema de exhaución del círculo permite
demostrar rigurosamente mediante el argumento de doble reducción al absurdo el Teorema de
Hipócrates: “Los círculos son entre sí como los cuadrados de sus radios”.
En lenguaje matemático: Sean ]' y ]3 círculos de radios ˜' y ˜3 respectivamente; el teorema
enuncia:
76
Capítulo 2
Antecedentes y planteamiento del problema
+?]' @ ˜'3
=
+?]3 @ ˜33
La demostración consiste en probar que cualquiera de las desigualdades conduce a
contradicción.
Demostración. Supongamos que en vez de la igualdad se verifica:
+?]' @ ˜'3 +?]' @ ∙ ˜33
< ⇔ +?]3 @ > =^
+?]3 @ ˜33 ˜'3
Sea = +?]3 @ − ^. Según el resultado anterior se puede encontrar un polígono ±3 inscrito en el
círculo ]3 tal que: +?]3 @ − +?±3 @ < = +?]3 @ − ^. Por tanto +?±3 @ > ^.
Sea ±' el polígono regular semejante a ±3 , inscrito en el círculo ]' . Según el teorema de Los
Elementos “Los polígonos semejantes inscritos en círculos son entre sí como los cuadrados de
los radios”, se tiene:
+?±' @ ˜'3 +?]' @
= =
+?±3 @ ˜33 ^
Luego se verifica:
^ +?]' @
= >1
+?±3 @ +?±' @
Por tanto ^ > +?±3 @, lo que contradice el resultado anterior: +?±3 @ > ^.
Así pues, es falso que
+?]' @ ˜'3
<
+?]3 @ ˜33
Intercambiando “los papeles” entre los círculos, se demuestra análogamente que también es falso
que
+?]' @ ˜'3
>
+?]3 @ ˜33
De donde concluimos que sólo se cumple la igualdad:
+?]' @ ˜'3
= .
+?]3 @ ˜33
L.Q.Q.D.
77
Capítulo 2
Antecedentes y planteamiento del problema
En esta parte del capítulo se reseñan algunas investigaciones de corte didáctico. Las cuales
motivaron identificar el problema de investigación.
78
Capítulo 2
Antecedentes y planteamiento del problema
79
Capítulo 2
Antecedentes y planteamiento del problema
del siglo XX por Hilbert y en la subsección VII.4 Cuando los axiomas aparecen en los textos: el
final de este relato, las investigadoras sostienen:
“La opinión de Hilbert de la conveniencia del método axiomático para la
presentación final tarda más de medio siglo en ser tenida en cuenta en los libros de
texto. Hasta los años 70, la mayor parte de los textos asumen el conjunto de los
números racionales como bien definido y respondiendo a requerimientos que
provienen de la geometría, establecen la necesidad de incorporar números
irracionales. Dependiendo de los autores, en algunos casos se hace una construcción
al estilo de Dedekind –por ejemplo en el texto de G. Hardy (Hardy, 1958)– y en otros
una construcción con encaje de intervalos racionales –por ejemplo en el texto de
Richard Courant (Courant, 1971)–.” (Bergé y Sessa, 2003, p. 187).
A principios de los años 60, comienza a ser presentado axiomáticamente en los textos de
análisis matemático. Los axiomas no difieren mayormente de los propuestos por Hilbert en lo
que se refiere a las propiedades de cuerpo (campo) ordenado, pero sí son diferentes en cuanto a
la presentación de la completitud. En la mayoría de los textos consultados la completitud se
enuncia mediante el axioma del supremo, recuperando explícitamente una propiedad del dominio
numérico que había sido identificada por Bolzano en su tratamiento del teorema del valor medio.
Son emblemáticos el texto de Spivak (1977) y el texto de Tom Apostol (1995).
Finalmente, en la sección VIII. Reflexiones finales, Bergé y Sessa (2003) presentaron sus
conclusiones. Entre ellas, mencionamos las siguientes:
Al considerar el punto de vista de la enseñanza las investigadoras afirman que: “Los alumnos
que llegan a un primer curso de cálculo en la universidad han tenido previamente contacto con
algunos números irracionales, pero no se han enfrentado a la problemática de completitud,
propiedad que se les presenta entonces, por primera vez, como un axioma. ¿Cuáles son los
alcances de una tal presentación?” (p. 192). Responden parcialmente la pregunta apoyándose en
Brousseau:
“La presentación axiomática es una presentación clásica de la matemática. Además
de las virtudes científicas que se le conocen, parece maravillosamente adaptada para
la enseñanza. Permite a cada instante definir los objetos que se estudian con la ayuda
de nociones introducidas precedentemente, y así organizar la adquisición de nuevos
conocimientos con la ayuda de adquisiciones anteriores. Asegura entonces al
estudiante y a su profesor un instrumento para ordenar su actividad y acumular en un
mínimo de tiempo un máximo de “saberes” bastante próximos al “saber sabio”. [...].
Pero esta presentación borra completamente la historia de los saberes, es decir, la
sucesión de dificultades y preguntas que han provocado la aparición de conceptos
fundamentales, su uso para plantear nuevos problemas, [...]. Encubre el “verdadero”
funcionamiento de la ciencia.” (Brousseau, 1961, citado por Bergé y Sessa, 2003).
80
Capítulo 2
Antecedentes y planteamiento del problema
Las investigadoras suponen que su trabajo puede servir para ilustrar la intrincada red de
dificultades y preguntas a la cual la presentación axiomática de no permite acceder. El
conocimiento de esa red contribuye a una comprensión más profunda del significado de
completitud, comprensión útil para el didacta, para el matemático, para el docente y para el
estudiante de matemáticas. Aunque está claro que no es factible presentar la historia completa en
los primeros aprendizajes. Y más aún, suponen que la presentación igualmente sólida pero
constructiva (de Dedekind o de Cantor) no sería adecuada para el inicio de los estudiantes en el
Cálculo.
Finalmente, Bergé y Sessa (2003) les parece que enfrentar al alumno con la problemática de la
completitud requiere que se haya instalado en el aula la necesidad de la fundamentación, lo cual
supone un recorrido anterior, una cierta “madurez matemática”, haber salido del plano de lo
evidente y un cambio en el tipo de racionalidad.
En forma breve: este trabajo está lleno de historia y muy denso en los detalles de hechos
históricos, pero más completo, pues inicia con los Elementos de Euclides, mencionando los
trabajos de Newton, Leibniz, Bolzano, Cauchy, entre otros. Luego, no pudieron omitir los
principales constructores de , Dedekind y Cantor, y llegan hasta la propuesta de Hilbert. Y en
la parte final de sus conclusiones mencionan los textos muy usados al parecer en varias
universidades y de los cuales nos percatamos que ellos mismos son los que aparecen en la
bibliografía de Cálculo I, cuyo contenido son de Cálculo I y Cálculo II, del plan de estudios
2009 aún vigente en la Facultad de Matemáticas de la Universidad Autónoma de Guerrero.
El objetivo de los investigadores es estudiar la construcción del concepto del supremo en el nivel
de educación superior. El marco teórico que se utiliza es la teoría APOE sobre la construcción de
objetos matemáticos. Se presenta una descomposición genética del concepto en la que se
modelan las construcciones mentales que los estudiantes pueden llevar a cabo para la
comprensión del concepto. Para validar estas posibles construcciones se diseñó un cuestionario y
se aplicó a estudiantes de las licenciaturas de matemáticas y de física de una universidad pública.
Algunas de las respuestas que permiten observar que el proceso de construcción del concepto por
el que pasan los estudiantes es muy complejo y que la mayoría no construye una concepción de
tipo acción del mismo. El análisis de las respuestas de los estudiantes ha sido útil también para
81
Capítulo 2
Antecedentes y planteamiento del problema
conocer las dificultades a las que se enfrentan los estudiantes cuando intentan demostrar que
cierto número es el supremo de un conjunto dado. (Dubinsky, 1991, citado por Hernández y
Trigueros, 2012).
El concepto del supremo, como la mínima de las cotas superiores de un conjunto de números
reales, permite establecer el axioma del mismo nombre en un curso introductorio de Análisis
Matemático a nivel superior, y tanto el concepto como el axioma son elementos indispensables
en el desarrollo de esta materia, de acuerdo con las presentaciones que hacen algunos autores de
libros de cálculo como Hasser (1988), Apostol (1982) y Spivak (1992). Los libros tradicionales
de esta rama de la matemática varían en poco la presentación de este concepto, después de una
definición formal se demuestran rigurosamente los teoremas correspondientes.
La teoría APOE ha sido útil en el análisis de la construcción de conceptos de matemáticas de
nivel superior, diversos autores la han utilizado para estudiar la comprensión de conceptos tales
como función de dos variables, derivada, integral, base, etc.
Una ventaja de esta teoría es que la información generada a partir de una descomposición
genética, validada mediante investigación con estudiantes, se puede utilizar para diseñar material
didáctico, con el fin de alcanzar un mejor aprendizaje del concepto.
Utilizando esta teoría, las preguntas que nos hemos planteado resolver son:
1. ¿Qué construcciones mentales son necesarias para la construcción del concepto del
supremo?
2. ¿Qué construcciones mentales han alcanzado los estudiantes cuando estudian el concepto
del supremo en un curso tradicional?
3. ¿A qué dificultades se enfrentan los estudiantes cuando requieren aplicar el concepto del
supremo?
a). Marco teórico
En realidad, esta idea tiene sus orígenes en la epistemología de Piaget, quien explica tal proceso
de construcción mediante la abstracción reflexiva. Dubinsky y el grupo de investigadores
integrados en Researche in Undergarduate Mathematics Education Community (RUMEC) han
adaptado la teoría piagetiana relativa a la abstracción reflexiva al pensamiento matemático
avanzado (Asiala et al., 1996, citado por Hernández y Trigueros, (2012). Para Dubinsky (1991,
1991a, 1996, citado por Hernández y Trigueros, 2012), la abstracción reflexiva es el mecanismo
por el cual se construyen objetos mentales a través de acciones físicas o mentales sobre estos
objetos matemáticos. La teoría APOE (Acción, Proceso, Objeto, Esquema), desarrollada por
82
Capítulo 2
Antecedentes y planteamiento del problema
83
Capítulo 2
Antecedentes y planteamiento del problema
numérica o con diagramas de Venn). También deben haber construido un esquema de lógica que
implica: traducción de proposiciones no cuantificadas, las cuales incluyan conectivos y, o, no e
implicación y su negación, del lenguaje natural al simbólico y viceversa; el uso de
cuantificadores y su negación en proposiciones compuestas (que incluyen varios cuantificadores,
conectivos y negaciones) como proceso. Además, la posibilidad de construir argumentos simples
y demostraciones directas e indirectas como un proceso. Deben también haber construido el
concepto de cota superior.
Etapa 2. Diseño y selección de los problemas con base en la descomposición genética:
De acuerdo con la descomposición genética anterior es posible observar la presencia de las
concepciones involucradas en la construcción del concepto del supremo en los estudiantes.
Las autoras consideran que un estudiante muestra una concepción acción del concepto del
supremo, cuando este es capaz de identificar el supremo de conjuntos dados numéricamente, con
un número finito de elementos y, además, que puede comprobar que, efectivamente, ese
elemento satisface la definición; de identificar el supremo en intervalos acotados utilizando
reglas memorizadas, o de identificar que no existe el supremo cuando los conjuntos no están
acotados, también utilizando reglas memorizadas.
Un estudiante muestra una concepción proceso de supremo cuando, para distintos tipos de
conjuntos y, en particular, para conjuntos definidos de manera general o abstracta, es capaz de
encontrar el supremo y de argumentar, incluyendo cuantificadores en su justificación, al menos
en algunos casos.
Un estudiante muestra una concepción objeto del concepto del supremo cuando es capaz de
encontrarlo en conjuntos arbitrarios, incluidos los que se obtienen a través de operaciones entre
conjuntos, y demostrar formalmente que efectivamente lo es.
Para la investigación, Hernández y Trigueros (2012) elaboraron y aplicaron un cuestionario
(Cuestionario No. 1) que tuvo como objetivo identificar el proceso de construcción del concepto
del supremo de un conjunto real.
e). Resultados
En el análisis de las respuestas, las investigadoras detectaron que algunos estudiantes confundían
la definición de supremo con el axioma del supremo.
A partir del análisis de las respuestas de los estudiantes al cuestionario y en las entrevistas las
investigadoras pudieron observar que la mayor parte de ellos muestra únicamente una
concepción acción de los conceptos de cota superior y de supremo, dado que son capaces de
84
Capítulo 2
Antecedentes y planteamiento del problema
Nombre___________________________
Matrícula__________________________
Definición del supremo. Sea Z ⊂ , Z ≠ ∅. Se dice que 1 ∈ es el supremo de Z si cumple las dos
proposiciones siguientes:
i) ∀ ) ∈ Z, 1 ≥ )
ii) Si = ∈ es tal que ∀ ) ∈ Z, = ≥ ) entonces = ≥ 1
o ¿Cuál es el supremo de los conjuntos siguientes?
a. ²−1,5³
b. –−8, − —
'
3
c. ?3, ∞@
d. −2,10,8,0, −5
e. ℕ
o Demuestra que los números que elegiste como supremo en el ejercicio 1a y 1b cumplen con la
definición.
85
Capítulo 2
Antecedentes y planteamiento del problema
los alumnos aprendan efectivamente este concepto, es necesario diseñar actividades que partan
de la construcción de estos esquemas, antes de iniciar la construcción del concepto de supremo.
Este trabajo nos muestra que para muchos alumnos, quizá para la mayoría el concepto de
completitud de los números reales es difícil de asimilar, en este caso, en la versión del axioma
del supremo, pero no sería raro suponer que las demás versiones ocasionaran el mismo
problema, por lo que se necesitan mecanismos pedagógicos para lograr que los alumnos digieran
mejor tal concepto.
Brevemente, en el artículo se trató de exponer una experiencia pedagógica en relación a la
enseñanza‒aprendizaje de la propiedad de continuidad de los números reales mediante la
opción del axioma del supremo, se empleó una teoría pedagógica y los resultados son los
mismos de siempre: hay dificultades, hay errores, hay deficiencias, etc. Pero eso no significa el
fracaso total de la concepción teórica APOE, sino que llevarla a la práctica implica otras
dificultades y ellas dependen en gran parte del concepto matemático en cuestión.
Ahora estamos en condiciones de pasar al siguiente punto que consiste en plantear nuestro
problema de investigación y su justificación, señalando el objetivo, las preguntas y las tareas de
investigación.
86
Capítulo 2
Antecedentes y planteamiento del problema
87
Capítulo 2
Antecedentes y planteamiento del problema
revisión breve no hallamos investigación alguna que refiera a las cinco versiones más conocidas
de la propiedad de continuidad de los números reales:
Axioma del supremo de Karl Weierstrass,
Cortaduras de Richard Dedekind,
Intervalos cerrados encajados de Georg Cantor,
Sucesiones de Cauchy por Georg Cantor y
Axioma de Cantor-Weierstrass (principio de monotonía),
las cuales son equivalentes desde el punto de vista lógico‒matemático (cf. García, Zaldívar y
Gálvez, avalado por Roldán, s/f).
En consecuencia, planteamos nuestro problema de investigación en los siguientes términos:
¿Habrá una versión de completitud de los números reales más asequible para los estudiantes
según las investigaciones didácticas?
La pregunta anterior plantea otras más específicas como las siguientes:
¿Cuál es la versión más difundida en los textos matemáticos y por qué?
¿Habrá otras versiones de completitud además de las cinco más conocidas?
En caso que las hubiera, ¿serían más comprensibles o más difíciles de comprender?
Las preguntas anteriores tal vez no se respondan totalmente, pero sí se procurará darle respuesta
a la principal interrogante y se reflexionará en relación a sus contrarias como: ¿Por qué se
expone con menos frecuencia dicha versión?
Las preguntas anteriores nos motivaron a realizar una búsqueda más amplia y exhaustiva sobre el
tema, siendo nuestra justificación la siguiente.
2.2.2 Justificación
El lector del presente trabajo se puede plantear muchas interrogantes como por ejemplo: ¿Por
qué se investiga sobre un tema muy difícil que duró XXIII siglos para su formalización? Pues no
hay duda que habrá quienes repliquen que las técnicas y los métodos del Cálculo funcionan
perfectamente; se lanzan satélites artificiales al espacio y orbitan alrededor de la tierra, las leyes
de Newton sobre el movimiento funcionan y son verdaderas. Luego, ¿para qué ocuparse de un
tema semejante que implica meterse en cuestiones teóricas, abstractas y hasta filosóficas?
Ante esta posible pregunta argumentamos:
La propiedad de continuidad de los números reales es tan fundamental para el estudio ulterior de
todo el Cálculo. Pues:
88
Capítulo 2
Antecedentes y planteamiento del problema
89
Capítulo 2
Antecedentes y planteamiento del problema
• Más aún, sin la continuidad de una función en un intervalo no se puede definir su integral
(definida), a menos que presente un número finito de discontinuidades de salto o puntual,
pero no asintóticas.
Estos son solo algunos ejemplos que mencionamos para resaltar la importancia de la propiedad
de completez de los números reales y justificar nuestro interés en investigar acerca de sus
versiones existentes. Para ello, precisamos en el siguiente subapartado.
Por lo expuesto en el subapartado anterior, nos planteamos por objetivo: Investigar la propiedad
de continuidad de los números reales , atendiendo las siguientes cuatro dimensiones:
• Dimensión matemática: Buscar las versiones de continuidad más allá de las cinco
versiones conocidas.
• Dimensión didáctica: Buscar en los textos bibliográficos cuál (cuáles son) versión (las
versiones) de continuidad de los números reales es (son) más frecuente(s).
• Dimensión investigativa: Buscar qué versión (versiones) de continuidad de los números
reales se ha investigado más dentro del ámbito pedagógico.
• Dimensión cognitiva: Buscar las supuestas ventajas o desventajas cognitivas (de
aprendizaje) que presenta cada una en relación a otra u otras.
Es decir, se trató de documentar todo lo que se halló alrededor a los puntos mencionados
anteriormente. En otras palabras, se pretendió realizar un estado del arte de la propiedad de
continuidad de los números reales .
90
Capítulo 2
Antecedentes y planteamiento del problema
• ¿Cuáles son las supuestas ventajas o desventajas cognitivas (de aprendizaje) que
presenta cada una en relación a otra u otras?
Si no se responden estas preguntas al menos la investigación podrá reforzar su planteamiento, es
decir, se insistirá con las preguntas. Y más aún, ¿qué versión de continuidad de los números
reales es más viable y desde qué enfoque (numérico, conjuntista, geométrico) se sugiere?
Las tareas de investigación a realizar para lograr el objetivo son las siguientes:
a). Buscar los planes y programas de estudio correspondientes a los primeros cursos del
Cálculo.
b). Buscar los textos bibliográficos que se sugieren para los primeros meses de estudio del
Cálculo.
c). Analizar la propiedad de continuidad de los números reales que aparece en dichos libros;
identificando los argumentos de los autores del por qué exponen esa versión.
d). Buscar los artículos y tesis que tratan la propiedad de continuidad de los números reales
para su enseñanza a fin de facilitar su comprensión.
e). Identificar los resultados obtenidos a fin de obtener conclusiones propias (nuestras).
f). Visualizar nuevas exploraciones que se pueden realizar en un futuro inmediato.
Si las tareas se logran realizar se tendrá sin duda un conocimiento más completo y se podrá
dimensionar más la importancia de la propiedad de continuidad de los números reales.
Conclusión
Finalmente, en este capítulo escribimos nuestra reflexión primaria acerca del tema: Propiedad de
continuidad de los números reales . Pues, como ya se ha mostrado brevemente, el tema de la
continuidad de los números reales es un tema con mucho contenido epistemológico, y que su
importancia es innegable para la formación matemática de los estudiantes en matemáticas de
nivel licenciatura, quienes se supone que tienen la vocación de la asimilación de los conceptos
fundamentales de la matemática en general, y del Cálculo en particular. Aunque muchos de los
conceptos matemáticos no se asimilen (se dificulte su comprensión y aplicación, por tanto,
presente obstáculos cognitivos) fácilmente debido a su naturaleza epistemológica, como sostiene
Miranda (2006): “el obstáculo cognitivo se entiende más como una dificultad y se debe más a
91
Capítulo 2
Antecedentes y planteamiento del problema
[...] la cuestión epistemológica, (...), es decir, son dificultades de las que nadie se salva”12. (p.
58), esperamos encontrar (dentro de todas) una versión más asequible para los principiantes en el
Cálculo y en la Matemática, según las investigaciones de carácter pedagógico, es decir, llevadas a
la práctica y ampliamente documentadas.
12
Lo remarcado en negritas es nuestro.
92
Capítulo 3
Marco conceptual y
metodología de investigación
En este capítulo por un lado se exponen las distintas versiones de la propiedad de continuidad de
los números reales y por otra parte se describen las diferentes acepciones que tiene la frase estado
del arte. Por eso en la primera parte hablamos de marco conceptual, en el sentido de
esclarecimiento de los significados de los términos usados en el presente trabajo y en la segunda
parte hablamos de la metodología que se sigue para el desarrollo de la presente investigación.
En esta parte por un lado se exponen los conceptos matemáticos que se investigaron en los textos
y por otro lado las distintas concepciones que hay acerca del estado del arte y adoptando qué se
entiende por ello en el presente trabajo.
El axioma del supremo es necesario para establecer la existencia de los números irracionales en
el campo de los números reales. Además, dicho axioma atribuye a los números reales una
propiedad de continuidad. Pero antes de enunciar el axioma, varios autores como Apostol (1967)
definen algunos conceptos previos, mismos que están relacionados con el axioma; ellos son: cota
superior (cota inferior), elemento máximo (elemento mínimo) y extremo superior (extremo
Capítulo 3
Marco conceptual y metodología de investigación
inferior), éste último simplemente se le llama supremo (ínfímo). Luego, finalmente enuncia el
axioma:
Axioma 10. Todo conjunto no vacío U de números reales acotado superiormente posee
extremo superior; esto es, existe un número real [ tal que [ = sup U.
(Apostol, 2001, p. 31)
Esta forma de declarar la continuidad de los números reales aparece en varios textos tal como en
Spivak (2017, p. 135).
Esta versión de continuidad de los números reales empieza con la definición de cortadura.
Luego, se enuncia la existencia de un número irracional (cortadura) como sigue:
En esta versión se empieza por definir un intervalo cerrado. Luego, se sigue con la definición de
intervalos cerrados encajados (o anidados), es decir, se define un sistema de intervalos cerrados
encajados. Y finalmente se precisa la idea de exactitud mediante el sistema de intervalos
cerrados encajados y la seguridad de que estos intervalos se acercan a la medición exacta se
traduce en la postulación de la existencia de un número que es común a todos los intervalos. Este
postulado es el siguiente:
94
Capítulo 3
Marco conceptual y metodología de investigación
O bien,
Esta versión empieza por definir una sucesión de Cauchy de números racionales; en seguida se
definen las operaciones suma y producto y demostrando su cerradura. Posteriormente, se define
una relación 0
= en el conjunto ] de todas esas sucesiones, de modo que se toman aquellas
convergentes a un mismo número (sucesiones con mismo límite), y demostrando que dicha
relación es de equivalencia. Pero, como toda relación de equivalencia induce una partición de
todas las sucesiones de Cauchy, siendo entre sí conjuntos disjuntos, resulta:
Definición. Definimos un número real como una clase de equivalencia módulo =̃ de sucesiones
de Cauchy de números racionales.
(Hernández, F. 2003, p. 138)
Esta definición de número real es desde la perspectiva del autor. Sin embargo, se puede asumir
como axioma de continuidad de los números reales.
Y finalmente mostramos:
95
Capítulo 3
Marco conceptual y metodología de investigación
Axioma de Cantor-Weierstrass13
Para esta forma de plantear la continuidad se inicia por definir una sucesión monótona (creciente
y decreciente), sucesión acotada ya sea superiormente o inferiormente. Y por fin se enuncia la
propiedad de continuidad como axioma:
Sea +X una sucesión creciente y acotada de números reales. Entonces, +X determina un
único número real ¤ tal que
¤ = lim +X
X→¡
En un primer momento sorprende a cualquiera que la frase estado del arte se use en la
investigación social o educativa, pues lo que primero salta a la mente es que se trata de
cuestiones artísticas, por la palabra arte que figura en ella. Por tal razón se considera conveniente
y necesaria una exposición de los distintos significados y usos que tiene dicha frase.
En efecto, según los investigadores Hoyos (2000), Galeano y Vélez (2002) las metodologías de
investigación cualitativa son maneras posibles de hacer investigación en ciencias sociales, entre
las cuales está la matemática educativa. Una de sus formas es la investigación documental, que
incluye la metodología estado del arte. Es decir, el estado del arte es una metodología de la
investigación documental, la cual es una forma de investigación cualitativa.
El estado del arte como metodología cuenta con distintas acepciones, entre las cuales están:
• Según el diccionario Oxford, se refiere al uso de las técnicas o métodos más modernos y
avanzados, y es un adjetivo que califica a algo como lo mejor que puede presentarse en
la actualidad. (Diccionario Oxford).
• “Es una investigación documental sobre la cual se recupera y trasciende reflexivamente
el conocimiento acumulado sobre determinado objeto de estudio” (Galeano y Vélez,
2002, p. 1). Además, lo consideran como una investigación con desarrollo propio, cuyo
fin es develar la interpretación de los autores sobre el fenómeno y hacer explícita la
postura teórica y metodología de los diferentes estudios.
13
Llamado también principio de monotonía.
96
Capítulo 3
Marco conceptual y metodología de investigación
• Para Hoyos (2000) el estado del arte también es una investigación con desarrollo propio
que se inscribe en el campo de la investigación documental. Pero, considera que su
finalidad esencial es “dar cuenta de construcciones de sentido sobre datos que apoyan
un diagnóstico y un poco en relación con el material documental a análisis” (p. 57).
• Por su parte Toro y Parra (2010) equiparan el estado del arte con la revisión de
antecedentes, proponiéndolo como un momento metodológico dentro de cualquier
investigación que busca clarificar el estado actual de un problema.
• Abreo (2004) y otros lo califican como investigación de investigaciones.
Sin embargo, hay autores clásicos sobre metodología de investigación como Hernández y otros
(2006) que no han elaborado algo sobre estado del arte.
Luego, ante las distintas acepciones y significados anteriores sobre el estado del arte (que parece
que se complementan), ¿cuál es la acepción y significado más actuales hay sobre estado del
arte?
Ante la pregunta anterior, se busca la unificación de criterios para la investigación cualitativa en
la cual se usa el estado del arte como guía para la formulación y ejecución de proyectos en los
trabajos de pregrado, grado y posgrado. Es decir, se expone el concepto establecido del estado
del arte dentro de una muestra documental, que logre dar cuenta de una información detallada
para describir y comprender sus dimensiones.
Por lo anterior, resulta necesario aclarar o precisar las ideas mediante la pregunta: ¿Qué es el
estado del arte?
Su origen tuvo lugar en la década de los setenta (70) y más en los años 80 cuando las propuestas
cualitativas de investigaciones experimentaban un aumento en su representatividad académica
por lo que se hizo ineludible la aplicación de una estrategia que pudiera hacer visible lo sabido,
conocido o trabajado sobre determinada temática o campo de conocimiento. (Galeano y Vélez,
2002; Alzate, 2006; López, 2009; y Peña, 2009). Esta estrategia denominada estado del arte se
ha definido de diversas formas, y se han identificado las siguientes tendencias: recuperar para
describir, comprender y recuperar para trascender reflexivamente.
El enfoque que busca recuperar para describir pretende lograr balances e inventarios
bibliográficos para dar cuenta del estado de conocimiento actual sobre un concepto. Es
decir, es un tipo de evaluación descriptiva; evaluación seria, sistematizada y consistente.
Supone el revivir de una mínima parte de la memoria científica de la humanidad en aquel
campo dentro del cual enmarcamos nuestro proyecto investigativo (Bojacá, 2004, p. 193).
97
Capítulo 3
Marco conceptual y metodología de investigación
Luego, hacer un estado del arte bajo este enfoque significa: “Inventariar y sistematizar la
producción en determinada área de conocimiento. Pero también es una de las
modalidades cualitativas de ‘investigación de la investigación’ que busca sistematizar los
trabajos realizados dentro de un área dada, se realiza una revisión de fuentes y
documentos, para cumplir con un nivel descriptivo.” (Garcés y otros, 2008, p. 32).
El enfoque que busca la comprensión no busca necesariamente recuperar el conocimiento
acumulado. Revisa mucha literatura pero no expone balances o inventarios puesto que
sus objetivos están enfocados en la hermenéutica, la reflexión, la crítica y finalmente la
comprensión. Esta metodología es fundamental en la comprensión de determinadas
teorías o en la claridad conceptual de nociones que han sido abordadas desde distintas
áreas del conocimiento (Acevedo, 2009, p. 43). Son construcciones teóricas que se
apoyan en el análisis y comprensión de los textos escritos o hablados sobre una materia
en particular, es del todo necesario que sea la hermenéutica que sirva de guía y
fundamentación. Bajo este enfoque se pretende la construcción de un marco conceptual
que sirva de referente teórico para futuros usos de los conceptos investigados. Aquí
quedan inscritas los recuentos históricos que no buscan establecer el estado actual de la
teoría ni crear inventarios, solo comprender cómo se llegó hasta allí: lo esencial está en la
construcción histórica y no en su resultado.
Otra tendencia en las definiciones es aquella donde se afirma que el estado del arte busca
recuperar para trascender reflexivamente. Su interés primario es lograr la comprensión,
y para ello se apoya en sus fases iniciales en inventarios y análisis bibliométricos. Une
herramientas cualitativas y cuantitativas al servicio de la comprensión y alcanza mucho
más rigor al momento de proponer o aportar a los marcos teóricos. Así se ha concebido
que el estado de arte es aquella metodología que pretende recuperar reflexivamente la
producción, permitiendo cuestionar, criticar y construir, dando sentido a la información
obtenida, la cual posee diversas finalidades y niveles, pasando por el rastreo, registro,
sistematización e interpretación (Vélez, Peláez y Gómez, 2003; Franco, 2007; López,
2009; Zapata, 2009).
Similarmente, se tienen objetivos diversos asociados a las tendencias anteriores, entre los cuales
mencionamos:
• En el caso de las investigaciones que entienden el estado del arte como un estudio para
recuperar sistemáticamente se destacan los objetivos como: indagar y recopilar
98
Capítulo 3
Marco conceptual y metodología de investigación
información acerca de lo que se ha estado elaborando alrededor del tema, para así
establecer un balance de las investigaciones de forma temática y cronológica
(Sepúlveda, 2008; Chica, 2009). Mientras que Acevedo (2009) señala que el estado del
arte permite identificar relaciones y dar cuenta de un concepto o temática en un rango
de tiempo.
• El enfoque recuperar para describir (Bojacá, 2004) y otros plantean que el objetivo del
estado del arte es recopilar información variada, los materiales escritos entre un rango
de tiempo determinado. Las preguntas orientadoras de este objetivo son de tipo: ¿dónde
estamos? y ¿cuál es el camino recorrido? Todo eso es con el fin de reconocer lo ya
elaborado, para debatir y establecer el panorama de la investigación y agilizar el propio
camino.
Bojacá (2004) indica la importancia de realizar un balance y expone pretensiones del estado del
arte:
‒ Delimitar y caracterizar el campo
‒ Detectar y estudiar lo relevante y recurrente
‒ Contextualizar las investigaciones en su proceso histórico
‒ Hacer un balance de la información
A su vez Baeza (2008) señala los siguientes objetivos: sistematizar y describir el conocimiento
producido analizándolo de manera crítica; es decir, luego de organizar la información, describir
lo encontrado, mostrando a través de una construcción de sentido los datos recolectados.
En otras investigaciones sobre el estado del arte, dicen que el objetivo es, además de reconocer
lo compendiado, encontrar y mostrar vacíos, tendencias y nuevas perspectivas teóricas (Arboleda
y Zabala, 2005). Y otros más dicen que se trata de identificar los componentes de las propuestas
investigativas como son: características, propósitos, tipo de objetivos e intencionalidades,
metodologías, tipos de estrategias, técnicas, entre otros. (Londoño, Gallo y García, 2008; Murillo
y Jiménez, 2008).
Luego, los investigadores Gómez, Galeano y Jaramillo (2015) en cuanto a finalidades
identificaron cuatro niveles:
1. Reconocer y obtener conocimiento
2. Construir un saber y/o aportar a la episteme
3. Comprender un fenómeno
4. Crear un marco conceptual o un balance documental
99
Capítulo 3
Marco conceptual y metodología de investigación
Las estrategias asociadas al estado del arte que se han identificado por Gómez, Galeano y
Jaramillo (2015) son las siguientes:
a). Aproximación al estado del arte. Es la que responde a los estudios que describen en sus
propuestas metodológicas una serie de pasos:
‒ Indagar
‒ Identificar y seleccionar
‒ Clasificar y sistematizar
‒ Analizar
‒ Aproximación al estado del arte.
En esta estrategia se observa que se trata de recuperar para describir y en algunos recuperar para
trascender. Su finalidad es criticar y reflexionar sobre conceptos investigados.
b). Estado del arte con análisis del discurso y hermenéutica. Es la estrategia que tiene por
tendencia usar los pasos propuestos por Hoyos (2000). Los pasos de esta estrategia son:
‒ Preparación
‒ Descripción
‒ Interpretación
‒ Construcción teórica global
‒ Extensión y publicación
En el paso tres hay diferencias entre los autores, pero que en general consta de las siguientes
etapas: entender, criticar, contrastar e incorporar. Sus definiciones oscilan entre la comprensión y
la recuperación para transcender. Pero su finalidad se ajusta más al nivel tres.
c). Estado del arte por fases. Esta estrategia es perfeccionada por el grupo de investigación
“PSYCONEX: Psicología, Psicoanálisis y Conexiones” de la Universidad de Antioquía
(Colombia) y está ya formalizado en el trabajo de Gómez (2009). En ella la investigación
no se hace en un diseño paso por paso, sino que estos pasos se agrupan por momentos o
“fases” según la lógica subyacente a ellos. Esas fases son:
‒ Planeación en diseño
‒ Gestión y análisis
‒ Formalización y elaboración.
La finalidad de esta estrategia fluctúa entre el crear marcos teóricos (nivel 4) y aportar a la
episteme (nivel 2).
Por tanto, concluimos con lo siguiente:
100
Capítulo 3
Marco conceptual y metodología de investigación
101
Capítulo 3
Marco conceptual y metodología de investigación
En el presente trabajo se entiende y se emplea la frase estado del arte de la siguiente manera:
Es la primera actividad de carácter investigativa que desarrolla el investigador alrededor de las
preguntas: ¿qué se ha dicho sobre el tema de interés? ¿Qué no se ha hecho en relación al tema de
interés? ¿Cómo se ha dicho? ¿Quién lo ha dicho o hecho? ¿Desde qué enfoque teórico se ha
realizado? ¿Cuál fue la metodología de investigación empleada? ¿Cuáles fueron los resultados de
investigación? Todo esto se tiene que responder de alguna forma para develar la dinámica del
tema de investigación hasta el momento.
Además, en forma ya un poco específica es una forma de investigación documental sobre el tema
de interés. Sirve de referente para asumir una postura intelectual crítica frente a lo que se ha
realizado y lo que falta por hacer en torno a una temática o problemática concreta. Sirve para
evitar duplicados esfuerzos o repeticiones de lo ya realizado, sirve para localizar errores que ya
fueron superados en forma teórica o práctica.
Por tanto, el estado del arte no es un trabajo de investigación propiamente concluido, sino apenas
el inicio de un trabajo en realidad; es decir, una contribución que genera nuevos problemas o
precisa conjeturas previas a su realización, genera hipótesis como suposiciones que pueden ser
verdaderas o falsas y representa el primer y principal insumo para dar comienzo a cualquier
trabajo de investigación, propiamente dicha (ver Figura 1). Y se siguen las fases dadas en la
parte final del apartado anterior del presente capítulo.
102
Capítulo 3
Marco conceptual y metodología de investigación
El Cálculo se originó con base en los problemas que se pueden encontrar desde la antigüedad
clásica como los de cuadratura, curvatura y rectificación de figuras geométricas, centro de masa
de cuerpos hipotéticos y las famosas paradojas sobre el infinito (Cantoral, 1993). El Cálculo
tiene una historia especial porque sus conceptos se inventan y se usan primero para reconocerse
y definirse después. El Cálculo Diferencial e Integral ocupa un lugar privilegiado en los sistemas
educativos, antes de él se encuentra la matemática elemental y después inicia la “matemática
avanzada”, todo ello trae aparejado la introducción de nuevos simbolismos, los que
eventualmente modifican el campo semántico primario de algunos objetos de la matemática
previa.
En los cursos de Cálculo en el primer momento se estudian las siguientes temáticas: Conjuntos y
números reales, funciones, límites, continuidad, derivadas e integrales. En el segundo o tercer
momento se profundiza sobre los mismos temas y se llevan estos hacia los números naturales o a
varias variables reales. Esta estructura temática se somete con frecuencia a lo que el autor
nombró como una “aritmética curricular”, es decir, una aritmética que opera sobre temas o
conceptos matemáticos mediante las operaciones de suma, resta, multiplicación y división. En
este sentido el estudiante se encuentra ante ideas que requieren de símbolos, estrategias y
concepciones nuevas. Esta dificultad adicional lleva a muchos docentes a teñir de algoritmos los
103
Capítulo 3
Marco conceptual y metodología de investigación
recursos de la enseñanza del Cálculo sin tener ganancias cognitivas y en consecuencia a una
severa estratificación del currículo.
Las líneas anteriores ya dieron una muestra del tipo de investigación que se desarrollará aquí, es
decir se trata por antonomasia de una investigación documental. En efecto, se realiza una
búsqueda de los orígenes de la propiedad de continuidad de los números reales en forma muy
particular; pues en forma general de paso se obtiene el origen del Cálculo, lo que no es lo mismo
decir que el Cálculo fue descubierto (en forma independiente) por Leibniz (1646-1716) y
Newton (1642-1727), ya que superficialmente se tiene la idea o creencia que el Cálculo se
descubrió en el Siglo XVII, cuando en realidad ellos descubrieron los conceptos centrales del
Cálculo: La derivada y la integral. Pero los conceptos del Cálculo son más que esos dos. Y
dentro del campo de la Historia y Los Fundamentos de La Matemática se ubican los conceptos
fundamentales del Cálculo, siendo uno de ellos de mayor importancia: la propiedad de
continuidad de los números reales. Este conjunto es el máximo (universo) que tiene por dominio
o campo de definición (de acción) de uno de los objetos del Cálculo: función. Todo esto implica
buscar en los textos de la Historia de la Matemática, el origen del tópico: propiedad de
continuidad del conjunto de los números reales. Además, se revisa la exposición del mismo en
los libros de texto sugeridos en las bibliografías de los programas de los planes de estudio y por
otra parte, se buscan los artículos de investigación que tienen que ver con los resultados de la
enseñanza de esta propiedad.
Ya ubicado el material es reunido según su tipo atendiendo la siguiente clasificación:
• Libros de texto:
‒ Libros de texto de Cálculo
‒ Libros de Historia de la Matemática
• Trabajos de investigación referentes a la enseñanza de la propiedad de continuidad de los
números:
‒ Artículos o tesis en carácter de propuestas
‒ Artículos o tesis de carácter epistemológico
Se analizan los materiales clasificados identificando la forma de exposición de la propiedad de
continuidad y los argumentos de los autores o investigadores.
En base al análisis de los materiales probablemente se vayan delineando las distintas
posibilidades de investigación para el futuro, es decir, vayan surgiendo distintos proyectos de
investigación.
104
Capítulo 4
Diferentes versiones de completez de :
Un estado del arte
En el presente capítulo primero se expone un análisis de las diferentes formas que tratan los textos
(más usuales de nivel licenciatura, según los programas de estudio) la propiedad de continuidad
del conjunto de los números reales , que en forma sucinta son: Axioma del supremo de Karl
Weierstrass, Cortaduras de Richard Dedekind, intervalos cerrados encajados de Georg Cantor,
sucesiones de Cauchy por Georg Cantor y axioma de Cantor-Weierstrass (principio de
monotonía), las cuales todas ellas parten respetando los axiomas que definen a ℚ como un campo
y sus propiedades fundamentales: campo ordenado, denso, arquimediano y no acotado. Luego, se
esbozan las otras alternativas no usuales de construcción de los números reales y finalmente se
muestran las investigaciones didácticas que reportan las dificultades de aprendizaje de la
propiedad de completez así como las propuestas didácticas de solución, todo esto con el propósito
de enunciar posibles trabajos a desarrollar.
• Bibliografía básica:
1. Spivak, M. (1996). Cálculo infinitesimal. México: Reverté.
2. Apostol, T. (1967). Calculus, Vol. 1, 2ª Edición. Trad. F. Vélez. México: Reverté.
Capítulo 4
La propiedad de completez de :
Un estado del arte
En este texto aparece lo que es I. INTRODUCCIÓN que consta de cuatro partes, siendo la Parte 3.
Un conjunto de axiomas para el sistema de números reales. (Ver Apostol, 1967 pp. 21-40). El
autor inicia diciendo:
“Hay muchos métodos para introducir el sistema de los números reales. Un método
corriente es el de empezar con los enteros positivos 1, 2, 3, ... y utilizarlos como base
para construir un sistema más amplio que tenga las propiedades deseadas.
Brevemente, la idea de este método es tomar los enteros positivos como base para
106
Capítulo 4
La propiedad de completez de :
Un estado del arte
107
Capítulo 4
La propiedad de completez de :
Un estado del arte
usuales de cálculo con desigualdades, las más importantes de ellas son 10 TEOREMAS DE ORDEN
que se proporcionan, de los cuales se demuestran 5 a manera de ejemplos, y al final se plantean
10 ejercicios para que el lector practique las demostraciones.
Después, el autor prosigue con la exposición de las propiedades que tienen los subconjuntos de
: Números enteros y racionales, continuando con la interpretación geométrica de los
números reales como puntos de una recta y posteriormente trata sobre conjunto acotado,
cota superior de un conjunto, elemento máximo, extremo superior.
En efecto, el autor dice: “Los nueve axiomas expuestos hasta ahora contienen todas las
propiedades de los números reales estudiados ordinariamente en Álgebra elemental. Hay otro
axioma de importancia fundamental en el Cálculo que de ordinario no se estudia en los cursos de
Algebra elemental. Este axioma (u otro equivalente) es necesario para establecer la existencia del
número irracional.” (Apostol, 1967, pp. 28-29).
El autor habla sobre los números irracionales:
resolver ciertas ecuaciones cuadráticas. Por ejemplo, se desea tener un número real )
“En álgebra elemental se presentan números irracionales cuando se tratan de
tal que ) 3 = 2. A partir de los nueve axiomas anteriores no se puede probar que
exista un ) en el sistema de los números reales que verifique tal ecuación, ya que
estos nueve axiomas son satisfechos también por los números racionales y no hay
ningún número racional cuyo cuadrado sea 2. EL AXIOMA 10 permite introducir
números irracionales en el sistema de los números reales y atribuye al conjunto de
los números reales una propiedad de continuidad que es especialmente importante en
el estudio del Cálculo”. (Ibídem).
De la cita anterior, lo que está en negrita llama la atención, pues parece que hay una
contradicción al decir: EL AXIOMA 10 permite introducir números irracionales en el sistema de
los números reales; es decir, el sistema de los números reales ya existe, o sea, los irracionales ya
están. Por tanto, ¿se pueden introducir cuando ya están adentro del conjunto?
Como una caracterización precisa del extremo superior el autor declara la propiedad de unicidad
del supremo para un subconjunto no vacío de los números reales:
TEOREMA I.26. Dos números distintos no pueden ser extremos superiores para el mismo
conjunto. La demostración de este teorema se encuentra en Apostol (1967, p. 30).
El teorema expresa que si existe extremo superior para un conjunto U, hay solamente uno y
puede decirse el extremo superior (y no decir un extremo superior). Con frecuencia se utiliza el
término supremo de un conjunto en lugar de extremo superior utilizando la abreviatura sup,
escribiendo entonces:
108
Capítulo 4
La propiedad de completez de :
Un estado del arte
[ = sup U.
Finalmente, el autor declara el muy conocido axioma del supremo y lo conoce como Axioma
del Extremo Superior, que formalmente es:
Axioma 10. Todo conjunto no vacío U de números reales acotado superiormente posee extremo
superior; esto es, existe un número real [ tal que [ = sup U.
Luego, el autor enuncia una proposición, como TEOREMA I.27: Todo conjunto no vacío U acotado
inferiormente posee extremo inferior; esto es, existe un número real ¤ tal que ¤ = inf U, teorema
que se demuestra con el axioma 10.
Como resultados del axioma del supremo, Apostol (1967, p. 32) enuncia cuatro teoremas (28,
29, 30 y 31), entre los cuales está uno que es de suma importancia: Teorema 30. Si ) > 0 y / es
un número arbitrario, existe un entero positivo tal que ) > /. Este teorema es conocido más
como propiedad arquimediana del sistema de los números reales.
Posteriormente, menciona tres teoremas (32, 33, 34) como propiedades fundamentales del
extremo superior y deja 12 ejercicios relacionados con los números racionales e irracionales y
con el supremo; siendo de importancia fundamental el ejercicio número 12: La propiedad
arquimediana del sistema de los números reales se dedujo como consecuencia del axioma del
extremo superior. Demostrar que el conjunto de los números racionales satisface la propiedad
arquimediana, pero no la del extremo superior. Esto demuestra que la propiedad arquimediana
no implica el axioma del extremo superior.
Todo lo que resta de la Parte 3 se refiere a las aplicaciones o usos del axioma del extremo
superior, por ejemplo, con el auxilio del AXIOMA 10 se puede demostrar que la ecuación ) 3 = +
tiene solución entre los números reales si + ≥ 0. Tal ) se denomina raíz cuadrada de +.
Respecto a todo lo anterior, lo que expone el autor, tenemos la siguiente posición:
El autor no construye el sistema de los números reales , sino que explica las características o
propiedades que tiene dicho sistema. Explica, la propiedad de continuidad como algo inherente
de los números reales , al suponer desde un principio su existencia. Geométricamente, cada
punto de la recta se corresponde con un número real de y viceversa; y ya está dada la recta
como axioma, solo hay que identificar sus puntos, y que algunos de sus puntos particulares como
los racionales no tienen supremo aunque sí también cumplen la propiedad arquimediana; y cómo
pensar la ubicación del supremo (o de su análogo el ínfimo) como punto. Así se reconoce la
completación del sistema de los números reales , lo cual no es sencillo, pues “La parte más
109
Capítulo 4
La propiedad de completez de :
Un estado del arte
difícil del proceso total es el paso de los números racionales a los números irracionales”
(Apostol, 1967, p. 21), tal vez por tratar sólo esta propiedad.
Posteriormente dentro del epílogo, en el capítulo 27 “Cuerpos” nos comenta: “Suponiendo que
ℚ ha sido definido, y que P1-P12 han sido demostradas para ℚ definiremos en último término
y demostraremos para todas las propiedades P1-P-13”. Después, refiere sobre cotas
superior y la mínima, de la siguiente forma: Un conjunto Z de elementos del campo w es
acotado superiormente si existe algún ) tal que ) ≥ +, ∀ + ∈ Z. Un tal ) recibe el nombre de
cota superior de Z. Un ) ∈ w es una cota superior mínima de Z si ) es una cota superior de Z y
) ≤ /, ∀ / ∈ w que sea cota superior de Z.
Después define: Un cuerpo ordenado completo es un cuerpo ordenado en el cual todo conjunto
no vacío que sea acotado superiormente tiene cota superior mínima.
110
Capítulo 4
La propiedad de completez de :
Un estado del arte
Finalmente, el autor formula las siguientes preguntas: ¿Existe un cuerpo ordenado? y ¿Existe
solamente un cuerpo ordenado? que son contestadas en los siguientes dos capítulos titulados
“Construcción de los Números Reales” y “Unicidad de los Números Reales”. El punto de partida
de tal construcción será ℚ y supone la propiedad arquimediana:
Sea ) ∈ ℚ: ) > 0 ⟹ ∀ / ∈ ℚ ∃ ∈ ℕ: ) > /.
En el capítulo 28 “Construcción de los Números Reales”, Spivak presenta la versión algebrista
de la construcción de los números reales a partir de los números racionales y considera a los
números reales como conocidos de forma no oficial. Después enuncia las siguientes
definiciones:
Definición. Un número real es un conjunto 1, de números racionales, con las cuatro siguientes
propiedades:
1) Si ) ∈ 1 y / es un número racional con / < ) ⟹ / ∈ 1.
2) 1 ≠ ∅.
3) 1 ≠. ℚ
4) No existe ningún elemento máximo en 1; dicho de otro modo, si ) ∈ 1 ⟹ ∃ / ∈
1: / > ).
Definición. Si 1 y 2 son números reales, entonces 1 < 2 significa que 1 ∈ 2 (es decir, todo
elemento de 1 es también elemento de 2), pero 1 ≠ 2.
Y prosigue enunciando el siguiente teorema que antes en el capítulo 8 era la propiedad P-13 la
cual se citó en forma de axioma, pero ahora se enuncia como teorema, el cual es:
Teorema. Si Z es un conjunto de números reales Z ≠ ∅ y Z es acotado superiormente, entonces
Z tiene una cota superior mínima.
Demostración. Sea 2 = ): ) está en algún 1 ∈ Z . Entonces 2 es ciertamente una colección de
números racionales; la demostración de que 2 es un número real exige la comprobación de
cuatro hechos.
1) Supóngase que ) ∈ 2 y / < ). La primera condición significa que ) ∈ 1 para algún 1
de Z. Al ser 1 un número real, la suposición / < ) implica que / ∈ 1. Se cumple por lo
tanto ciertamente que / ∈ 2.
2) Al ser Z ≠ ∅, existe algún 1 ∈ Z. Puesto que 1 un número real, existe algún ) ∈ 1.
Esto significa que ) ∈ 2, de modo que 2 ≠ ∅.
111
Capítulo 4
La propiedad de completez de :
Un estado del arte
3) Puesto que Z es acotado superiormente, existe algún número real 3 tal que 1 < 3 para
todo 1 ∈ Z. Al ser 3 un número real, existe algún número racional ) que no está en 3.
Ahora bien, 1 < 3 significa que 1 está contenido en 3, de modo que se cumple también
que ) no está en 1 para ningún 1 ∈ Z. Eso significa que ) no está en 2; así pues,
2 ≠ ℚ,
4) Supóngase que ) ∈ 2 entonces ) ∈ 1 para algún 1 ∈ Z. Puesto que 1 carece de
máximo elemento, existe algún número racional / con ) < / y / ∈ 1. Pero es significa
que / ∈ 2; por lo tanto 2 carece de máximo elemento.
Estas cuatro observaciones demuestran que 2 es un número real. La demostración de que 2 es la
cota superior mínima de Z es más fácil. Si 1 ∈ Z entonces evidentemente 1 está contenido en 2;
eso significa que 1 ≤ 2, de modo que 2 es una cota superior de Z. Por otra parte, si 3 es una
cota superior de Z, entonces 1 ≤ 3 para todo 1 ∈ Z, esto significa que 1 está contenido en 3
para todo 1 ∈ Z, y esto implica que 2 está contenido en 3. Esto significa a su vez que 2 ≤ 3; así
pues, 2 es la cota superior mínima de Z. L.Q.Q.D.
Prosigue con su exposición definiendo la suma de dos números reales y demuestra que su suma
es un número real, prueba la propiedad conmutativa, propiedad asociativa, existencia del
elemento neutro, existencia de números reales negativos y el inverso aditivo; después define la
multiplicación de dos números reales y demuestra que dicho producto es un número real,
prosigue con el valor absoluto, asociatividad de la multiplicación, elemento neutro de la
multiplicación, el inverso y la propiedad distributiva. Es importante destacar que Spivak
introduce paulatinamente el orden en tales definiciones, teoremas y lemas de los cuales, el autor
demuestra que los números reales forman un cuerpo ordenado y finaliza el capítulo con dos
problemas para el lector.
Posteriormente, Spivak en el capítulo titulado “Unicidad de los números reales” discute el
concepto de Isomorfismo.
Y por último enuncia el siguiente:
Teorema. Si w es un cuerpo ordenado completo, entonces w es isomorfo a (conjunto de los
números reales).
Con la demostración de este teorema, Spivak concluye con la investigación de los números
reales y resuelve cualquier duda acerca de ellos: Existe un cuerpo ordenado completo y, salvo
isomorfismo, solamente uno.
112
Capítulo 4
La propiedad de completez de :
Un estado del arte
Lo que podemos observar es que en este texto realmente no se hace la construcción del sistema
de los números reales, sino que trabaja de forma deductiva partiendo del supuesto que el
conjunto numérico es conocido.
Este colectivo de autores trata la completitud de los números reales en el capítulo 9 titulado
“Axioma del Supremo”. Análogamente, como en los libros anteriores Calculo Vol. I de Apostol
y Cálculo Infinitesimal de Spivak, se expone mediante el axioma del supremo, teniendo como
consecuencias de este la propiedad arquimediana y la densidad de los números racionales; su
punto de partida son propiamente los números reales como un cuerpo (campo) ordenado tratado
en el capítulo 1. Posteriormente, tratan las aplicaciones donde se prueba la existencia de raíces
− ésimas de cualquier número real para impar y de cualquier número real no negativo para
par; tal resultado se sigue de las funciones continuas. Además, se expone cómo se usa el
axioma del supremo para probar la propiedad de Heine-Borel.
El autor de este texto no expone la propiedad de continuidad de los números reales, sino más
bien, expone un método de construcción de los números complejos en el apéndice ¹, la cual no
comentaremos aquí ya que no es el tema central del presente trabajo. Lo único que
mencionaremos es que el autor termina tal construcción probando que ] (el conjunto de los
números complejos) forman un campo.
En este texto los autores exponen la propiedad de continuidad en el Capítulo 1 que está en forma
de introducción y en el paráfrasis 1.1 El continuo de números es donde exponen el tema y lo
hacen mediante el método de intervalos encajados.
Inician con el conjunto de los números naturales, los cuales “son el instrumento adecuado para
contar elementos de una colección o “conjunto”. Sin embargo, no bastan para otro objetivo
igualmente importante: medir cantidades tales como la longitud de una curva y el volumen o
peso de un cuerpo.” (Courant, R. & Fritz, J., 1999, p. 25).
113
Capítulo 4
La propiedad de completez de :
Un estado del arte
114
Capítulo 4
La propiedad de completez de :
Un estado del arte
115
Capítulo 4
La propiedad de completez de :
Un estado del arte
Courant y Fritz (1999), explican más detalles sobre los números racionales:
“Los puntos que corresponden a los enteros 0, ±1, ±2, … subdividen el eje numérico
en intervalos de longitud unitaria. Todo punto en ¤ es un punto extremo o bien un
' Ø
longitud Ê
por puntos racionales de la forma Ê . Todo punto ± de ¤ es entonces un
Ø
Ê
punto racional de la forma o bien se encuentra entre dos puntos racionales
Ø ?Ø•'@
sucesivos Ê y Ê
(ver Figura 1.2). Puesto que los puntos sucesivos de la subdivisión
' Ø
Ê Ê
distan en unidades, se sigue que podemos encontrar un punto racional cuya
' '
distancia desde ± no excede Ê
unidades. El número Ê
puede hacerse tan pequeño
como se desee escogiendo É como un entero positivo suficientemente grande. Por
ejemplo, escogiendo É = 10X (donde es cualquier número natural), podemos
Ø '
encontrar una “fracción decimal” ) = cuya distancia desde ± es menor que
'¥¨ '¥¨
.
Aunque no se afirma que todo punto de ¤ es un número racional, se ve por lo menos
Como vemos la explicación es un preámbulo para la propiedad de densidad del conjunto de los
números racionales. En efecto, la proximidad arbitraria de puntos racionales a un punto ± dado
de ¤ se expresa diciendo: Los puntos racionales son densos en el eje numérico, recordando que ¤
es una recta de puntos (números) racionales. Precisando los autores dicen: La densidad implica
que entre dos puntos racionales cualesquiera + y , exista una infinidad de otros puntos
116
Capítulo 4
La propiedad de completez de :
Un estado del arte
longitud H debe ser igual a √2, y muestra que éste no puede corresponder a ningún número
racional, otro ejemplo es œ. Este tipo de números se llaman irracionales y junto con los números
racionales forman el conjunto de los números reales.
Después de introducir los racionales, su propiedad de densidad y los irracionales mediante la
existencia de magnitudes inconmensurables, Courant y Fritz (1999, p. 30) afirman: “...de hecho,
las cantidades inconmensurables son, en cierto sentido, mucho más comunes de las
conmensurables” y remiten a sus lectores ver la página 122 del presente libro que es objeto de
análisis. Reiteran:
“Debido a que el sistema de números racionales no es suficiente para la geometría, es
necesario inventar nuevos números como medidas de cantidades inconmensurables:
estos nuevos números se llaman “irracionales”... En los tiempos modernos las
matemáticas fueron creadas de nuevo y vastamente desarrolladas sobre el
fundamento de conceptos numéricos en lugar de conceptos geométricos..., y así la
teoría clásica de los inconmensurables fue menos que olvidada u omitida”. (Ibídem).
Finalmente, Courant y Fritz (1999, p. 31) recomiendan: “para un entendimiento más profundo
del concepto de número real, el cual es necesario para nuestro trabajo posterior, la siguiente
explicación, así como el Suplemento a este capítulo, deberían ser estudiados”. Esta
recomendación se atiende en el Capítulo 3 del presente trabajo.
Ahora dentro del curso de análisis matemático también se aborda el tema de continuidad, que
según el programa de la Licenciatura en Matemáticas de la UAGro tiene que ocurrir en la
Unidad 1: El campo de los números reales, cuyos temas son:
1.1. Propiedades de campo ordenado
1.2. Axioma del Supremo
1.3. Construcción de .
Y dentro de la Unidad 2: Espacios Métricos se estudia el tema:
Básica:
1. Rudin, W. (1976). Principles of Mathematical Analysis. 3a. Edition. USA: Mc
Graw-Hill.
117
Capítulo 4
La propiedad de completez de :
Un estado del arte
2. Rudin, W. (1970). Real and Complex Analysis. International Student Edition. USA:
McGraw-Hill.
3. Bartle, R. (1964). The Elements of Real Analysis. USA: John Wily and Sons.
4. Marsden, J. & Hoffman M. (1998). Análisis clásico elemental. México: Addison-
Wesley Iberoamericana.
Complementaria:
1. Loomis, L. & Sternberg, S. (1990). Advanced Calculus. Revised Edition. England:
Jones and Bartlett Publishers, Inc.
2. Stromberg, K. (1981). Introduction to classical real analysis. Primera Reimpresión.
USA: Wadsworth International Group.
3. Spivak, M. (1988). Cálculo en variedades. México: Reverté S. A.
4. Marsden, J. & Tromba, A. (2004). Cálculo vectorial. Quinta Edición. Madrid:
Pearson Educación S. A.
De la cual, analizamos los textos [1], [3] y [4] de la bibliografía básica. En efecto:
El conjunto de los números racionales es bien conocido. Planteando que este conjunto visto
como un campo o conjunto ordenado es inadecuado para muchos casos, por ejemplo, como
hemos visto, no existe un racional $ tal que $3 = 2, lo cual conduce a la introducción de los
llamados “numeros irracionales”, los cuales con frecuencia se representan como desarrollos
decimales infinitos y se consideran “aproximados” por los decimales finitos correspondientes.
Así la sucesión 1, 1.4, 1.41, 1.414, 1.4142, … “tiende a √2 ” pero ¿qué quiere decir que la
sucesión “tiende a”. Rudin (1976, p. 2) afirma: Esta clase de pregunta se puede contestar tan
pronto como se construya el llamado “sistema de los números reales”.
La discusión anterior muestra que el sistema de los números racionales tiene ciertas lagunas, a
pesar de que entre dos números racionales, siempre hay otro: Si ˜ < S, entonces ˜ < ?˜ + S@ <
'
3
S. El sistema de los números reales llena esas lagunas, y es la razón principal del papel tan
fundamental que desempeña este sistema en el análisis.
118
Capítulo 4
La propiedad de completez de :
Un estado del arte
Así que para dilucidar la estructura del sistema empieza con la discusión de los conceptos
generales de conjunto ordenado y campo. En efecto, enuncia cinco definiciones, entre las cuales
están:
1.5 Definición. Si U es un conjunto, un orden en U es una relación representada por el símbolo <
y tiene las dos propiedades siguientes:
(i) Si ), / ∈ U, una y sólo una de las proposiciones siguientes es cierta:
) < /, ) = /, /<)
(ii) Si ), /, I ∈ U, y si ) < / y / < I, entonces ) < I.
1.6 Definición. Un conjunto ordenado es aquel en el que se ha definido un orden.
A continuación define: un conjunto acotado superiormente, supremo (mínima cota superior) e
ínfimo (máxima cota inferior) y de la siguiente manera.
1.10 Definición. Se dice que un conjunto ordenado U tiene la propiedad de la mínima cota
superior si lo siguiente es cierto:
Si Ï ⊂ U, Ï es no vacío y está acotado superiormente, entonces Ï existe en U.
Después enuncia el primer teorema con su correspondiente demostración:
1.11 Teorema. Supóngase que U es un conjunto odenado con la propiedad de la mínima cota
superior, [ ⊂ U y [ es no vacío y acotado inferiormente. Ahora sea ¤ el conjunto de todas las
cotas inferiores de [. Entonces
1 = sup ¤
existe en U y 1 = inf [.
En particular, el inf [ existe en U.
Demostración. Como [ está acotado inferiormente, ¤ no es vacío. Ya que ¤ consta exactamente
de los / ∈ U que además satisfacen la desigualdad / ≤ ) ∀ ) ∈ [, es evidente que cada ) ∈ [
es una cota superior de ¤. De aquí que ¤ esté acotado superiormente. La hipótesis referente a U
implica por tanto, que ¤ tiene un supremo en U; llamémosle 1.
Si 3 < 1 entonces 3 no es cota superior de ¤, de aquí que 3 ∉ [. Y resulta que 1 ≤ ) ∀ ) ∈ [.
Entonces 1 ∈ ¤.
Si 1 < 2 se tiene que 2 ∉ ¤ debido a que 1 es cota superior de ¤. Se ha mostrado que 1 ∈ ¤,
pero que 2 ∉ ¤ si 2 > 1. En otras palabras, 1 es una cota inferior de [, pero 2 no lo es si 2 > 1.
Esto significa que 1 = inf [. L.Q.Q.D.
119
Capítulo 4
La propiedad de completez de :
Un estado del arte
Después define a un campo como un conjunto w con las dos operaciones: adición y
multiplicación.
Después de enunciar los axiomas de campo proporciona tres proposiciones14: una que contiene la
implicación de los axiomas para la adición, otra que contiene la implicación de los axiomas para
la multiplicación y otra que contiene la implicación de los axiomas de campo.
Posteriormente define que un campo ordenado es un campo w que a su vez es un conjunto
ordenado.
Luego, define el concepto positivo y negativo y menciona como ejemplo de campo ordenado el
conjunto de los números racionales ℚ, agregando que en cada campo ordenado se aplican todas
las reglas conocidas de las desigualdades: la multiplicación por cantidades positivas (negativas)
preserva (invierte) las desigualdades, ningún cuadrado es negativo, etc. Y enuncia una
proposición que contiene algunas de esas reglas.
Ahora, el autor se centra en el campo real, enunciando el teorema considerado como la base del
capítulo 1, puen en realidad con la demostración se construye a partir de ℚ.
1.19 Teorema. Existe un campo ordenado con la propiedad de la mínima cota superior.
Además, contiene como subcampo a ℚ.
La demostración de este teorema se encuentra en el APÉNDICE del capítulo 1 y con ella en
realidad se construye a partir de ℚ mediante las cortaduras y es tan extensa que consta de
nueve pasos (Rudin, 1976, pp. 18-23), por lo que aquí consideramos que es inconveniente
transcribirla completamente. Solo destacamos que en el Paso 7 se concluye la demostración del
teorema. Por lo que Rudin (1976) da el paso en:
“Paso 8. Con cada ˜ ∈ ℚ se asocia el conjunto ˜ ∗ que consta de todos los $ ∈ ℚ
tales que $ < ˜. Es evidente que cada ˜ ∗ es una cortadura; es decir, ˜ ∗ ∈ . Estas
(a) ˜ ∗ + S ∗ = ?˜ + S@∗,
cortaduras satisfacen las relaciones siguientes:
(b) ˜ ∗ S ∗ = ?˜S@∗,
(c) ˜ ∗ < S ∗ si y sólo si ˜ < S.
Para probar (a) se escoge $ ∈ ˜ ∗ + S ∗ . Entonces $ = Í + Î, en donde Í < ˜, Î < S,
en consecuencia $ < ˜ + S, lo cual expresa que $ ∈ ?˜ + S@. Entonces $ < ˜ + S. Si
se escoge E tal que E = ˜ + S − $, hágase
˜´ = ˜ − E, S´ = S − E.
Entonces ˜´ ∈ ˜ , S´ ∈ S y $ = ˜´ + S´, de modo que $ ∈ ˜ ∗ + S ∗.
∗ ∗
14
Las demostraciones omitidas aquí están en el texto respectivo.
120
Capítulo 4
La propiedad de completez de :
Un estado del arte
22, 23).
Así se ha construido un conjunto continuo (sin lagunas, en palabras de Rudin, 1976), además
de ser un campo es ordenado, no acotado, no numerable y que satisface la propiedad
arquimediana (al igual que el conjunto de los números racionales ℚ), que está en el inciso (a) y
conserva la propiedad de densidad dada en el inciso (b) del siguiente:
1.20 Teorema.
(a) Si ), / ∈ y ) > 0, entonces hay un entero positivo tal que
) > /.
(b) Si ), / ∈ , y ) < /, entonces existe un $ ∈ ℚ tal que
) < $ < /.
La demostración de éste teorema se encuentra en la página 10 del texto del autor.
Finalmente, agregamos que Rudin expone la completitud de los números reales mediante las
cortaduras de Richard Dedekind (es la versión aritmética), donde, aunque menciona conceptos
geométricos, aleja toda demostración apelando a la geometría.
b. Bartle, R. (1964). The Elements of Real Analysis. USA: John Wily and Sons.
Es un texto en el que el autor expone la completitud del conjunto de los números reales mediante
el principio de los intervalos encajados de Cantor y el axioma del supremo, después finaliza con
una breve exposición sobre las cortaduras de Dedekind y el conjunto de Cantor.
Remarcamos lo siguiente:
El autor empieza su exposición definiendo lo que es un campo (o cuerpo) en forma más general
que los autores anteriores y ofrece ejemplos muy interesantes en la página 29:
121
Capítulo 4
La propiedad de completez de :
Un estado del arte
a) Considere el sistema de los números reales tal como se entiende el álgebra con las
operaciones usuales de adición y multiplicación. Por lo tanto 4 es el elemento cero 0, Ñ es
b) Sea ℚ el sistema de los números racionales; esto es, los números reales de la forma
; <, ∈ ℤ, ≠ 0. Otra vez 4 = 0 y Ñ = 1.
“
X
c) Sea ℂ el conjunto de los números complejos; esto es, pares ordenados ?), /@ de números
reales con las operaciones definidas por
?)' , /' @ + ?)3 , /3 @ = ?)' + )3 , /' + /3 @,
?)' , /' @ ∙ ?)3 , /3 @ = ?)' )3 − /' /3 , )' /3 + /' )3 @.
Así, podemos ver que 4 = ?0,0@, Ñ = ?1,0@ y
5555555 ) −/
?), /@ = ?−), −/@, ?), /@´ = Ô 3 , Õ.
) + /3 )3 + /3
Después de esto, el autor menciona y prueba algunas propiedades de campo, prosigue con el
concepto de campos ordenados para después abordar los campos ordenados arquimedianos,
donde nos narra:
“Hemos visto en el Teorema15 que si w es un campo ordenado y si es un número
natural, luego ∙ 1 > 0. Nuestra experiencia con el sistema numérico nos conduce a
suponer que cada elemento en w es excedido por algún número natural.
Puede llegar a ser sorpresa aprender que no es posible establecer una u otra de estas
propiedades supuestas para un cuerpo ordenado arbitrario. De hecho, existen campos
ordenados los cuales tienen elementos positivos que exceden algún número natural;
tales elementos positivos evidentemente no pueden estar encerrados entre números
naturales consecutivos. Cómo un ejemplo de tal campo, nosotros citamos ℚ?E@,
mencionado en el ejemplo 5.2(c)16. Este está para ser demostrado en el ejercicio 5.K
15
Teorema 5.5. Sea w un campo ordenado.
(a) Si + ≠ 0, entonces +3 > 0.
(b) 1 > 0.
(c) Si es un número natural, entonces > 0.
16
Ejemplo 5.2 (c). Sea ℚ?E@ el campo de funciones racionales con números racionales como coeficientes. Así, un
elemento de ℚ?E@ es un cociente , donde $, É son polinomios con coeficientes racionales y no todos estos
Ø
Ê
coeficientes de É son cero. Sea ± el subconjunto de ℚ?E@ que consiste de todos los cocientes
Ø
Ê
tales que el
coeficiente de más alto grado de E en el producto $?E@É?E@ es un número racional positivo (donde $, É son números
naturales). Este conjunto ± forma una clase positiva en ℚ?E@.
122
Capítulo 4
La propiedad de completez de :
Un estado del arte
Enseguida de esto el autor expone las demostraciones sobre campos ordenados arquimedianos.
Posteriormente hace mención de los intervalos encajados y enuncia el siguiente teorema que
provee de una base teórica para la expansión binaria (de base 2) de la parte fraccional de un
elemento en un cuerpo arquimediano. Un resultado similar puede obtenerse para cualquier base.
5.18 Teorema. Sea ) un elemento de un cuerpo arquimediano w. Para cada entero = 0,1,2, …,
existe un intervalo cerrado
1
®X = ´+X , +X + µ
2X
conteniendo al punto ), donde +X es un elemento racional y
®X•' ⊆ ®X para = 0,1,2, ….
La demostración de este teorema está expuesta en dicho texto en la página 42.
El autor comenta: “Podemos frecuentemente decir que una sucesión de intervalos cerrados
®X , ∈ ℕ es anidada en el caso de que la cadena
®' ⊇ ®3 ⊇ ®( ⊇ ⋯ ⊇ ®X ⊇ ®X•' ⊇ ⋯
de inclusiones se contenga. Podemos resumir el contenido del TEOREMA informalmente
diciendo que cada elemento de un cuerpo arquimediano w es el punto común de una sucesión
anidada de intervalos cerrados no vacíos en w”. (p. 43, 1967).
Prosiguiendo, el autor da la siguiente:
6.1 Definición. Un cuerpo arquimediano es llamado completo si cada sucesión de intervalos
cerrados no vacíos ®X = ²+X , ,X ³, ∈ ℕ, de es anidada en el sentido que
®' ⊇ ®3 ⊇ ⋯ ⊇ ®X …
tiene un elemento que pertenece a todos los intervalos ®X .
Y la siguiente 6.2 Suposición: En el resto de este libro, asumiremos que existe un cuerpo
ordenado completo al cual llamaremos sistema de los números reales y denotaremos por . Un
elemento de será llamado número real. Es decir, que el autor ha introducido
axiomáticamente.
Prosiguiendo, Bartle continúa su exposición introduciendo el concepto de límite superior de un
conjunto de números reales. Define los conceptos de cota superior (inferior), supremo y
123
Capítulo 4
La propiedad de completez de :
Un estado del arte
demuestra el Principio del Supremo. Cada subconjunto no vacío de números reales que tiene
cota superior también tiene un supremo. En esta prueba utiliza la propiedad de completitud de
los números reales definida anteriormente, donde el orden es necesariamente arquimediano.
El autor comenta: “Por lo tanto, podemos caracterizar al sistema de los números reales como un
cuerpo ordenado en el cual el Principio del Supremo se cumple, y esta forma de introducir el
sistema de los números reales es frecuentemente utilizada. Elegimos este enfoque aquí porque
este parece ser el más intuitivo para nosotros y saca a relucir todas las propiedades necesitadas
en una forma razonablemente natural”. (p. 50, 1967).
Posteriormente, expone brevemente la conexión entre los intervalos cerrados anidados y las
cortaduras de Dedekind y lo precedente que hemos expuesto como cual sigue:
6.8 Definición. Sea w un campo ordenado, un par ordenado de subconjuntos no vacíos Z, [ de w
forma una cortadura en w si Z ∩ [ = ∅, Z ∪ [ = w, y si siempre que + ∈ Z y , ∈ [ implica
+ < ,.
Y finalmente, demuestra el siguiente:
6.9 Teorema. Principio de Cortadura. Si el par Z, [ forma una cortadura en , entonces existe
un número real Á tal que cada elemento + ∈ Z satisface + ≤ Á y cada elemento , ∈ [ satisface
, ≥ Á.
Se comienza con las propiedades más importantes de los números reales y para ello inician con
los enteros no negativos 0, 1, 2, 3, …, agregan los enteros negativos y los racionales no enteros. El
sistema de los números reales se obtiene añadiendo a los racionales todos los límites no
racionales de números racionales. Por ejemplo, el número irracional √2 se obtiene como límite
de una sucesión creciente (o monótona) )X con )X3 < 2 y )X racional. Podemos emplear
sucesiones decimales de tipo 1, 1.4, 1.41, … como )X .
Y plantean la gran pregunta: ¿Cómo se construyen los números reales de una manera formal?
Responden: Este proceso es un poco largo, tedioso en algunos momentos y difíciles en otros. Por
lo que esbozan dicho proceso. Primero resaltan algunas propiedades importantes que, piensan,
124
Capítulo 4
La propiedad de completez de :
Un estado del arte
deben tener los números reales. Y advierten al lector que: La construcción de sistemas de objetos
que obedecen estas propiedades a partir de la lógica y teoría de conjuntos es un paso importante
en la fundamentación del análisis.
Marsden y Hoffman (1998) empiezan con un conjunto dado cuyos elementos se llaman números
y considera que obedecen los axiomas de cuerpo.
Así como otros autores, también Marsden y Hoffman (1998, p. 27) dicen: “De los axiomas de
cuerpo se pueden deducir las propiedades para la manipulación de igualdades algebraicas, tal
como la deducción de la igualdad ?+ − ,@3 = +3 − 2+, + , 3 y las leyes de los exponentes”.
Posteriormente, los autores enuncian los axiomas de orden y destaca la Ley de tricotomía: Si )
y / son elementos de un cuerpo ordenado, entonces una y sólo una de las siguientes relaciones es
cierta: ) < /, ) = / o ) > /.
Continúan con las definiciones de módulo o valor absoluto de un número ) y de distancia entre
dos puntos ) y /. Y consideran que vale la pena resaltar las propiedades del valor absoluto y de
la distancia, entre ellas la desigualdad triangular.
Después tratan sobre los sistemas numéricos:
• El conjunto de los números naturales, del cual destacan su propiedad más notable, que
sus elementos son los usados para contar, que hay un primer elemento 0, y para cada uno
de sus elementos hay un “siguiente” bien definido que se obtiene sumándole 1.
Formalmente:
Principio de inducción matemática. Si U es un subconjunto de ℕ tal que 0 ∈ U y ™ + 1
está en U siempre que ™ está en U, entonces U = ℕ.
Puesto que ℕ tiene un elemento mínimo, 0, también tiene un elemento mínimo cualquier
subconjunto no vacío de ℕ. Por eso se dice que ℕ está bien ordenado por ≤ o que
satisface la propiedad de buena ordenación. También es común referirse a ≤ como una
buena ordenación de ℕ. Formalmente es:
1.1.7 Proposición. ≤ es una buena ordenación de ℕ; es decir, ℕ tiene la propiedad de
buena ordenación:
Propiedad de buena ordenación. Si U es un subconjunto no vacío de ℕ, entonces U tiene
un mínimo elemento; es decir, S¥ ∈ U tal que S¥ ≤ ) para todo ) en U.
Y como consecuencia de la propiedad de buena ordenación, Marsden y Hoffman (1998)
afirman que se puede demostrar que los números naturales también satisfacen el llamado:
125
Capítulo 4
La propiedad de completez de :
Un estado del arte
126
Capítulo 4
La propiedad de completez de :
Un estado del arte
La demostración aparece al final del capítulo 1 del texto en cuestión: Demostraciones de los
teoremas de capítulo 1 en las páginas 79-95. Luego, antes de proporcionar la siguiente
proposición, proporcionan informalmente las definiciones de sucesión acotada, cota superior de
una sucesión y cota inferior de una sucesión. Lo cual permite enunciar:
Ahora ya con los conceptos definidos los autores enuncian la propiedad fundamental de los
números reales:
127
Capítulo 4
La propiedad de completez de :
Un estado del arte
1.2.8 Propiedad de la sucesión monótona. Sea w un cuerpo ordenado. Decimos que w tiene la
propiedad de la sucesión monótona si toda sucesión monótona creciente acotada superiormente
converge.
sinónimas. Hemos usado dos nombres porque, como veremos en §1.3 y §1.4, hay otras
Hoffman (1998, p. 39) “las propiedades de la sucesión monótona y de completitud son
propiedades que se pueden usar para caracterizar la completitud y, en ese contexto, las
distinciones en la terminología son importantes”.
Aquí cuando dicen hay otras propiedades que se pueden usar para caracterizar la completitud
se refieren al axioma del supremo17 y a la completitud en el sentido de Cauchy. Luego, enuncian
el teorema de la sucesión de Cauchy:
128
Capítulo 4
La propiedad de completez de :
Un estado del arte
= .
'
3
Por la desigualdad triangular. Esto conduce a una contradicción si L.Q.Q.D.
En el teorema anterior, “único” significa que entre todo par de sistemas que cumplan los axiomas
de cuerpo, axiomas de orden y la propiedad de completitud se puede establecer una
correspondencia biunívoca compatible con la suma, la multiplicación y la relación de orden. Ser
compatible con la suma, por ejemplo, significa que el número en el segundo sistema
correspondiente a la suma de dos números del primero es la suma de los dos números
correspondientes en el segundo sistema. Una correspondencia de este tipo se llama isomorfismo.
Luego, los autores muestran una construcción de , comenzando con el cuerpo ordenado de los
números racionales ℚ. Considerando el siguiente conjunto de sucesiones
U = ?)' , )3 , … @ | cada )X ∈ ℚ y la sucesión es creciente y está acotada superiormente por ) .
En efecto, explican:
“Decimos que dos elementos de U son equivalentes si toda cota superior de una
sucesión es cota superior de la otra. El conjunto de todas las sucesiones que son
18
Quizá sorprenda que esto no sea obvio, pero resulta que hay cuerpos ordenados que no son arquimedianos, como
vimos en Bartle (1964).
129
Capítulo 4
La propiedad de completez de :
Un estado del arte
verificar que esto divide al espacio U (o define una partición de este) en subconjuntos
equivalentes a una sucesión dada se denomina clase de equivalencia. Se puede
reales son los límites de todas las sucesiones crecientes de todos los racionales que
están acotadas superiormente. Ahora, debemos definir la suma, multiplicación,
desigualdad, etc., y verificar todos los axiomas. Esta tarea es inmediata aunque un
Y enuncia el:
130
Capítulo 4
La propiedad de completez de :
Un estado del arte
Sobre este texto comentamos que sus autores exponen la continuidad de los números reales de
dos formas: por el principio de monotonía, el cual lo emplean para una construcción de y por
el axioma del supremo. También proporcionan tres formas equivalentes de la propiedad
arquimediana y hablan de la densidad de los números racionales en dos sentidos: ℚ es denso en
sí mismo y denso dentro del sistema de los números reales . Todo esto constituye un enfoque
muy formativo para un matemático, pero que su lectura es un poco laboriosa porque remiten al
lector para su profundidad a otras páginas dentro del mismo capítulo 1.
131
Capítulo 4
La propiedad de completez de :
Un estado del arte
132
Capítulo 4
La propiedad de completez de :
Un estado del arte
Lema 6.18. Sean ²?+, ,@³Ê y ²?=, >@³Ê números racionales, entonces:
133
Capítulo 4
La propiedad de completez de :
Un estado del arte
?6@ )/ = /).
?7@ 1Ê ∙ ) = ).
?8@ Si ) ≠ 0Ê entonces ∃ I ∈ ℚ: )I = 1; más aún, I es único y es denotado por ) J' .
?9@ )?/ + I@ = )/ + )I.
?10@ 1Ê ≠ 0Ê .
?11@ Si ), / ∈ ℚ• , entonces ) + / ∈ ℚ• .
?12@ Si ), / ∈ ℚ• , entonces )/ ∈ ℚ• .
?13@ Exactamente uno de los tres enunciados se cumple:
) ∈ ℚ• , ) = 0Ê , −) ∈ ℚ• .
?14@ Si ± es la intersección de todos los subconjuntos de ℚ• que contienen a 1Ê y son
cerrados bajo la suma, entonces para cada ) ∈ ℚ• , existen +, , ∈ ± tales que ), = +.
?15@ La relación <Ê viene dada por
) <Ê / si y solo si / − ) ∈ ℚ• ,
es un orden lineal estricto y tiene las siguientes propiedades:
?i@ ) es positivo si y sólo si 0Ê <Ê ).
?ii@ El cuadrado de un racional diferente de cero es positivo.
?iii@ Para una pareja de racionales ), / se cumple únicamente una de las siguientes
propiedades:
) <Ê /, ) = /, / <Ê ).
?iv@ ) <Ê / si y sólo si ) + I <Ê / + I ∀ I ∈ ℚ.
?v@ Si 0Ê < I, entonces ) <Ê / si y solo si )I <Ê /I.
Luego, Hernández (2003) dice:
“Ahora, estamos posibilitados para simplificar la notación de racionales. La
siguiente cadena de igualdades muestra que cada racional puede ser escrito en
134
Capítulo 4
La propiedad de completez de :
Un estado del arte
Hernández (2003) prosigue con enunciar las propiedades de los números racionales ℚ:
Teorema 6.20. Entre dos racionales distintos cualesquiera hay otro número racional.
Teorema 6.21. (Propiedad Arquimediana). Si ˜, S ∈ ℚ• , entonces existe un entero ? = Ê@
> ? => ? + 3,
Е(/Ð 3 ÐJ(/Ð 3
3 3
por lo que concluimos que U no tiene una mínima cota superior. Esta es una buena razón para
extender ℚ a un nuevo conjunto, en el cual no sucedan estas irregularidades y se conserven las
propiedades fundamentales de ℚ. Ya motivado prosigue con enunciar:
Definición 6.24. (a) Una sucesión de números racionales, denotada por ?)X @¡
X·¥ es una función
|)“ − )X | < .
Intuitivamente las sucesiones de Cauchy de números racionales son aquellas cuyos términos se
aproximan unos con otros a partir de un índice suficientemente grande. Luego, Hernández
(2003) muestra dos ejemplos, con sus correspondientes demostraciones, de sucesiones de
X·¥ es una sucesión de Cauchy, entonces existe - ∈ ℚ tal que |)X | < - para
Cauchy. Posteriormente, enuncia:
Lema 6.27. Si ?)X @¡ •
todo ∈ ℕ.
135
Capítulo 4
La propiedad de completez de :
Un estado del arte
|)“ − )X | < .
Sea
- = máxl|)¥ |, |)' |, … , V)X@ Vm + 1.
Claramente, si < ¥, entonces |)X | < -. Supongamos que ≥ ¥, entonces puesto que
V)X − )X@ V < 1 se sigue que
|)X | < V)X@ V + 1 < -.
Por lo tanto, ∀ ∈ ℕ, |)X | < -. ∎
Luego, el autor proporciona para la suma y producto de sucesiones:
Definición 6.28. Si ) = ?)X @¡
X·¥ y / = ?/X @X·¥ son sucesiones de números racionales, se
¡
ÍX = )X + /X , ÍX = )X /X ,
respectivamente.
Lema 6.29. Si ), / son sucesiones de Cauchy, entonces también lo son las sucesiones suma
) + /, y multiplicación )/.
Demostración. Probaremos primero lo referente a la suma. Sea ∈ ℚ• , por hipótesis existen
', 3 ∈ ℕ tales que ∀ <, ≥ ',
|)“ − )X | <
2
y ∀ <, ≥ 3,
|/“ − /X | < .
2
Entonces ∀ <, ≥ <á) ', 3 ,
|?)“ + /“ @ − ?)X + /X @| = |?)“ − )X @ + ?/“ − /X @| ≤ |)“ − )X | + |/“ − /X |
< + = .
2 2
Ahora lo referente a la multiplicación. Sea ∈ ℚ• ; en virtud del Lema 6.27, existen números
racionales positivos -' y -3 tales que ∀ ∈ ℕ,
|)X | < -' y |/X | < -3 .
Además existen ', 3 ∈ ℕ tales que ∀ <, ≥ ',
|)“ − )X | <
2-3
136
Capítulo 4
La propiedad de completez de :
Un estado del arte
y ∀ <, ≥ 3,
|/“ − /X | < .
2-'
Entonces ∀ <, ≥ máx ', 3 ,
|)“ /“ − )X /X | = |)“ /“ − )X /“ + )X /“ − )X /X |
≤ |)“ − )X ||/“ | + |)X ||/“ − /X |
<Ô Õ - + -' Ô Õ = . ∎
2-3 3 2-'
Ahora para transitar de los racionales a su extensión Hernández (2003) introduce una relación, la
= , en el conjunto ] de todas las sucesiones de Cauchy de números
cual es simbolizada por :
racionales.
= en ] como )~/ si y sólo si ∀ ∈
Definición 6.30. Sean ), / ∈ ], definamos una relación :
ℚ• ∃ ¥ ∈ ℕ: |)X − /X | < , ∀ ≥ ¥.
|)X − ÍX | <
2-'
y como / :
= Î existen 3 ∈ ℕ tal que ∀ ≥ 3,
|/X − ÎX | < ,
2-3
Entonces, ∀ ≥ máx ', 3 se tiene que
|)X /X − ÍX ÎX | = |)X /X − ÍX /X + ÍX /X − ÍX ÎX |
≤ |)X − ÍX ||/X | + |ÍX ||/X ÎX |
< Ô Õ -' + -3 Ô Õ= .
2-' 2-3
Por lo tanto, )/ :
= Í. Análogamente, ) + / :
= Í + Î.
Por otro lado, si ) es positiva existe ∈ ℚ• y ' ∈ ℕ tal que para todo ≥ ', )X > 2 y existe
3 ∈ ℕ tal que |)X − ÍX | < para todo ≥ 3. Entonces para todo ≥ ', 3 ,
137
Capítulo 4
La propiedad de completez de :
Un estado del arte
ÍX > )X − > 2 − = .
Lema 6.34. La suma y la multiplicación de dos sucesiones de Cauchy positivas son sucesiones
de Cauchy positivas. Además, si ) ∈ ], entonces una y sólo una de las siguientes proposiciones
es verdadera: ) es positiva, ) :
= 0, ó −) es positiva.
1
/X = .
)X ´
Afirmamos que / ∈ ]. En efecto, sea A ∈ ℚ• . Como ?)X ´@¡
X·¥ ∈ ] ⟹ ∃ ' ∈ ℕ: |)“ ´ − )X ´| <
A 3 , ∀ <, ≥ '. Además
1 1
≤ 3
)“ ´)X ´
puesto que |)Xè | ≥ ⟹ ∀ <, ≥ ' , |/“ − /X | < A, lo que implica que / ∈ ].
Es claro que )´/ 0
= 1. ∎
Luego, Hernández (2003) plantea 6 ejercicios sobre las sucesiones de Cauchy y pasa al tema 6.5
Los reales, empezando con la siguiente:
138
Capítulo 4
La propiedad de completez de :
Un estado del arte
Definición 6.36. Definimos un número real como una clase de equivalencia módulo :
= de
139
Capítulo 4
La propiedad de completez de :
Un estado del arte
y acotado superiormente, admite una mínima cota superior, pero ello requiere de algunos
resultados preliminares.
Hernández (2003, p. 139) prosigue: “En lo posterior haremos referencia a números naturales,
enteros y racionales de , pues abusando de la notación podemos decir que ℕ ⊂ ℤ ⊂ ℚ ⊆
(dado que tiene una “copia” de cada uno de estos sistemas); por lo cual, omitiremos de ahora
en adelante el subíndice ˜”. Y luego, menciona un teorema que contiene una de las propiedades
más importantes que enlazan a ℚ y , esa propiedad es la propiedad de densidad de ℚ en .
Teorema 6.38. Entre dos reales distintos cualesquiera hay un número racional.
Demostración. Sean ), / ∈ , y sean + ∈ ) y , ∈ /. Existen ∈ ℚ• y ' ∈ ℕ tales que
∀ ≥ ', ,X − +X > 4 . Además como +, , ∈ ], entonces existen 3, ( ∈ ℕ tales que
∀ <, ≥ 3,
|+“ − +X | < ,
y ∀ <, ≥ (,
|,“ − ,X | < .
Sean ¥ = <á) ', 3, ( + 1 y S ∈ ℚ tal que < S < 2 , que existe en virtud del Teorema
6.20. Ahora consideremos el número real I correspondiente al número racional +X@ + S.
Entonces +X − +X@ < ∀ ≥ ¥.
140
Capítulo 4
La propiedad de completez de :
Un estado del arte
1 1
,XJ' − , si ,XJ' − es cota superior de Z
,X = D 2X 2X
1
,XJ' , si ,XJ' − no es cota superior de Z.
2X
Entonces para todo ∈ ’, ,X es cota superior de Z, y podemos probar por un argumento de
inducción que
1
,XJ' −
2X
no lo es. De este modo, para < > ,
1
,X − < ,“ , ?6.5.1@
2X
Además, es claro que para todo < ≥ ,
,“ ≤ ,X . ?6.5.2@
o sea, , = ?,X @¡
X·¥ es una sucesión de Cauchy.
Sea Í el número real que determina ,. Entonces por el Lema 6.39, por la desigualdad (6.5.1) y
usando la desigualdad (6.5.2) para todo tenemos que:
1
,X − ≤ Í, ?6.5.3@
2X
141
Capítulo 4
La propiedad de completez de :
Un estado del arte
Í ≤ ,X . ?6.5.4@
Demostraremos que Í es una cota superior de Z. Supongamos lo contrario, es decir, supongamos
lo cual implica que ,X < +, que es una contradicción. Por lo tanto, Í es una cota superior de Z.
Finalmente, el autor prueba que Í es la mínima de las cotas superiores de Z. Supongamos que Î
,X − < Î,
'
3¨
por lo que
+ ,X − < Í − Î + Î;
' '
3¨ 3¨
〈 , +,∙, 0B , 1B , • 〉
diferente al sistema de los números reales. Puede demostrarse que
es el “único” sistema con esta propiedad; es decir, en caso de existir otro sistema que
satisface todas las propiedades (...) de los teoremas 6.37 6.41, entonces también existe
un isomorfismo de orden entre ellos que además preserva las operaciones de suma y
multiplicación. (...). De hecho, existen otras maneras de presentar el sistema de los
números reales, por ejemplo, el de cortaduras de Dedekind, que se encuentra se
encuentra en el clásico libro de Landau [¤' ³19. También suele introducirse por una
lista de trece axiomas pero podemos decir que: no importa el método de presentación
de , siempre obtenemos en esencia, el mismo objeto.” (p. 141-142).
Y finaliza presentando como una consecuencia del teorema anterior una propiedad tan
mencionada en los textos de análisis: Toda sucesión de Cauchy de números reales tiene límite.
Así concluimos lo que consideramos un análisis de los textos que tratan la propiedad
fundamental de los números reales : propiedad de completitud, motivado como ya vimos por la
19
Aquí se refiere a E. Landau, E. (1966). Foundations of Analysis. Third Editión. Chelsa Publishing.
142
Capítulo 4
La propiedad de completez de :
Un estado del arte
existencia de ciertos números que no se pueden expresar como racionales, que dentro del
conjunto de los números racionales ℚ no tienen cabida. Por ello surge la necesidad de extender
el conjunto a otro nuevo, en el cual esos números sí tienen ya su propio lugar; además, que cada
elemento del conjunto de los números reales se corresponda con uno y sólo un punto de la recta
geométrica llamada recta real.
Aquí se presenta un trabajo encontrado y que está relacionado con la fundamentación axiomática
y geométrica de los números reales.
143
Capítulo 4
La propiedad de completez de :
Un estado del arte
Sea Z' un punto cualquiera sobre una recta situada entre dos puntos cualesquiera
Axioma de Arquímedes
dados Z y [. Tómense luego los puntos Z', Z3 , Z( , …, de manera que Z' se encuentre
entre Z y Z3 , Z3 entre Z' y Z( , Z( entre Z3 y Z« , etc.; además dispóngase de los
Z Z' , Z' Z3 , Z3 Z( , Z( Z« , …S
segmentos
son iguales entre sí. Luego, en la serie de puntos Z' , Z3 , Z( , Z« , … , siempre hay un
punto ZX , tal que [ se encuentra entre Z y ZX Considérese la siguiente figura:
144
Capítulo 4
La propiedad de completez de :
Un estado del arte
corresponde con él. Por el contrario, para ello es necesario agregar un nuevo axioma de
continuidad, (...) como el axioma del supremo, (...)o axioma de Cantor de intervalos encajados.
Sólo apelando a alguno de estos principios es posible asegurar que entre el conjunto ordenado de
todos los puntos de una recta y el conjunto ordenado de los números reales puede establecerse
una correspondencia uno–a–uno, de modo tal que los elementos correspondientes se encuentran
en igual relación de orden, es decir, la continuidad de la recta.” (Op. cit., 2013, p.143).
Por otro lado, advierte: “el sistema de coordenadas para la recta, el plano y el espacio que puede
establecerse exclusivamente utilizando el axioma de Arquímedes sólo puede corresponderse con
un cuerpo numérico arquimediano numerable, como por ejemplo los números racionales. Para
obtener una correspondencia biunívoca con todos los números reales – es decir, con la geometría
analítica “cartesiana”– es necesario apelar a algún otro principio de continuidad, como por
ejemplo alguno de los recién mencionados”. (Ibídem).
Y prosigue:
“En consecuencia, en la medida en que en el Festschrift el grupo de axiomas de
continuidad estaba formado únicamente por el axioma de Arquímedes, Hilbert utiliza
como la realización aritmética más simple de sus axiomas a un sub–cuerpo pitagórico
(numerable) de los reales, a saber: el cuerpo Ω de números algebraicos, definido del
Sea E, el cuerpo de todos los números algebraicos que surgen del número 1 y de
siguiente modo:
representa un número que surge de estas cinco operaciones.” (Hilbert 1899, p. 454,
citado por Giovannini, 2013, pp. 143-144).
Hilbert no apeló al sistema de los números reales sino que decidió trabajar en 1899 con una
realización aritmética “más pequeña” como el cuerpo Ω, para mostrar la independencia y la
consistencia de sus axiomas. Pero, tanto en trabajos publicados como en notas para clases
anteriores al Festschrift, Hilbert menciona e incluso hace uso de los principios de continuidad de
Dedekind y Cantor. Al respecto, Giovannini (2013) opina que:
“(...) existen otras razones detrás de la resolución de Hilbert de esperar hasta que un axioma de
las características del axioma de continuidad esté disponible, para incorporarlo como segundo
axioma de continuidad. Más aún, considero que intentar exhibir estas razones puede contribuir a
ganar claridad respecto de cómo Hilbert apreció la naturaleza del axioma de completitud, a
menudo leído en una clave demasiado modelo-teórica, y por ello, anacronista” (p. 144).
145
Capítulo 4
La propiedad de completez de :
Un estado del arte
146
Capítulo 4
La propiedad de completez de :
Un estado del arte
analítica es un modelo de geometría euclidiana, donde las rectas de esta son ecuaciones de
aquella.
Luego, se observa una diferencia que hay entre el axioma de continuidad y el axioma de
completitud: El axioma de completitud permite introducir el requerimiento de continuidad
(principio de continuidad de Dedekind) por medio de dos axiomas esencialmente diferentes
(independientes). Es decir, el axioma de completitud no es una consecuencia del axioma de
Arquímedes, puesto que existen realizaciones aritméticas ?ℚ, E@, en las que el axioma de
Arquímedes vale pero el axioma de completitud no.
Al final, el autor nos comenta:
“Hemos visto que Hilbert asevera en las distintas ediciones de Fundamentos de la
geometría, que el objetivo fundamental del axioma de completitud es hacer posible
la correspondencia uno–uno entre los puntos de la línea y los números reales. En
este sentido, el axioma de completitud fue específicamente incorporado por Hilbert
para garantizar que la geometría analítica “cartesiana” se convierta en la única
realización (salvo isomorfismo) de sus axiomas para la geometría sintética. Sin
embargo, es preciso reconocer que ésta no es la única función que dicho axioma
cumple en el sistema axiomático hilbertiano. Por el contrario, el axioma de
completitud es imprescindible para que el sistema de Hilbert logre capturar
íntegramente el dominio de la geometría euclídea; y éste es, en efecto, uno de los
objetivos centrales que Hilbert se plantea manifiestamente en la introducción de
Fundamentos de la geometría.” (Giovannini, 2013, p. 157).
147
Capítulo 4
La propiedad de completez de :
Un estado del arte
embargo, este no basta para que las longitudes de los segmentos cubran todos los números
reales, es decir, no basta para garantizar que ∀ + ∈ •
, exista un segmento cuya longitud se
corresponda con él. Sin embargo, esto es posible apelando a alguna versión del principio de
continuidad como, por ejemplo, las Cortaduras de Dedekind, el Axioma del Supremo o el
Axioma de intervalos encajados de Cantor.
También nos ilustra el Axioma de completitud el cual impone condición de maximalidad la cual
expresa que no es posible extender el espacio por medio de la introducción de nuevos elementos
(puntos, líneas, etc.) y conservar la validez de los axiomas ya establecidos.
En resumen, es un buen artículo, sólo le faltó enunciar los axiomas de incidencia, de orden, de
las paralelas y el de congruencia para tener un panorama más amplio. Los axiomas de
continuidad si los enuncia de alguna manera, ya que es el formado por el axioma de Arquímedes
y alguna versión del principio de continuidad descrita arriba.
Este trabajo contiene una presentación de aspectos histórico-disciplinar y didácticos que brindan
un acercamiento al concepto y completitud de los números reales. En estos aspectos se estudian
conceptos y procedimientos relacionados con la evolución de: número real y sus
representaciones, la densidad y continuidad, y la biyección punto-número real. También se
presenta una unidad didáctica para el mismo fin.
148
Capítulo 4
La propiedad de completez de :
Un estado del arte
forma:
23 5 1 1 1 1 1 1
=1+ = 1 + 'G = 1 + = 1 + =1+ =1+ = 1+
18 18 3+
(
3+
'
H 3
'
C 3+
'
J 3+
'
J
- - '• '• I '• J
I I JK
C C
Una fracción de este estilo es una fracción continua simple finita. Una fracción continua simple
infinita es de la forma:
1
1+
1+
'
J
'• J
JK J
JK
JK⋯
En el siglo XVI, con los italianos Rafael Bombelli y Pietro Cataldi, las fracciones continuas
aparecían como método para aproximar raíces de ecuaciones cuadráticas. Años más tarde,
Leonhard Euler (1707-1783) demostró que toda fracción continua simple infinita periódica es
1 1
o bien, )−1=1+ =1+
1+ 1+
' '
J
J 3•– —
J M
3•L NOJ
JK
CK⋯
20
La antiferesis es un método geométrico para construir la parte alícuota más grande entre dos magnitudes ]^ >
Z[.
149
Capítulo 4
La propiedad de completez de :
Un estado del arte
Otra manera de aproximar números reales es mediante fracciones decimales. Estas fracciones se
obtienen al dividir sucesivamente cada intervalo unidad de la recta en 10X segmentos iguales.
Así, a cada punto de subdivisión le corresponde una fracción decimal; por ejemplo, el punto de
subdivisión que le corresponde la fracción 0,23 = 2/10 + 3/100 está ubicado en el primer
intervalo unidad, en el tercer subintervalo de longitud 10J' y en el origen del cuarto “sub-sub”
intervalo de longitud 10J3.
En general, a cada punto de subdivisión del intervalo unidad en 10 segmentos iguales le
corresponde una fracción decimal de la forma:
1 1 1 1
™+ =' + 3 =3 + ( =( + ⋯ + X =X
10 10 10 10
Prosiguiendo con la revisión del artículo, hallamos posteriormente que se retoma la Construcción
de por George Cantor. Aquí el autor nos dice que Cantor parte del conjunto de los números
racionales que llamó Z y denominó sucesión fundamental a toda sucesión de los números
racionales que satisfacen el criterio de Cauchy:
+X satisface el criterio de Cauchy si, ∀ > 0 ∃ ¥ ∈ ℕ, ¥ = ¥? @ tal que si > ¥, se tiene
que |+X•“ − +X | < ∀< > 0.
Es decir, una sucesión con la característica de que la diferencia +X•“J +X se hace infinitamente
pequeña según crece, con < cualquier entero positivo, o sea:
150
Capítulo 4
La propiedad de completez de :
Un estado del arte
lim ?+X•“ − +X @ = 0 .
X→¡
Luego, extiende las 4 operaciones aritméticas y la relación de orden de los racionales a las
sucesiones racionales fundamentales. Ese conjunto Z lo extiende a un nuevo conjunto [ y
formula un teorema que lo diferenciará de Z “toda sucesión fundamental de números del sistema
[ tiene límite”. Menciona también la interpretación cantoriana con los encajes de intervalos: si
consideramos dos sucesiones fundamentales tales que +X ≤ ,X para todo ∈ ℕ con +X creciente,
,X decreciente y ,X − +X una sucesión nula, se puede construir un encaje de intervalos racionales
®X = ²+X , ,X ³ con puntos extremos racionales +' ≤ +3 ≤ ⋯ ≤ +XJ' ≤ +X ≤ ,X ≤ ,XJ' ≤
⋯ ,3 ≤ ,', donde cada intervalo está contenido en el precedente ²+X , ,X ³ ⊂ ×+XJ', ,XJ' Ù ⊂ ⋯ ⊂
²+' , ,'] y cuyas longitudes forman una sucesión nula ,X − +X , o similarmente, cuya longitud del
intervalo −ésimo tiende a cero al crecer , HT<X→¡ ?,X − +X @ = 0, donde ,X − +X es sucesión
fundamental.
HT<X→¡ ?,X − +X @ = 0.
151
Capítulo 4
La propiedad de completez de :
Un estado del arte
cómo construyó los números reales, estimulado por la necesidad de darle un fundamento
puramente aritmético al cálculo infinitesimal. Se habla de ℚ como un cuerpo ordenado. Para ello
primero se dice que ℚ es un cuerpo de números: Las cuatro operaciones básicas ?+, −,×,÷@ son
cerradas en ℚ. Se establece una relación (>) de orden entre elementos de ℚ y resalta las siguientes
propiedades:
I. Ley de tricotomía. Para +, , ∈ ℚ, + = ,, + > , ó + < ,.
II. La propiedad transitiva en ℚ. Dados +, , y = racionales distintos, si + > , y , > = → + >
=.
III. La propiedad de densidad en ℚ: Si + y = son números racionales distintos, existen
infinitos números , que están entre + y = (el promedio de + y =, , =
A•
3
es uno, luego
hay infinitos).
IV. ℚ es un dominio bien ordenado.
Luego, cada +Rℚ induce a una partición en dos conjuntos Z' y Z3 disjuntos tales que cada
número de +' ∈ Z' verifica +' < + y cada número +3 ∈ Z3 cumple que + < +3 . El número +
puede estar en Z' o Z3 indistintamente, luego todo número de Z' es menor a todo número de Z3 .
En el Capítulo 2. Comparación de los Números Racionales con los puntos de una Línea Recta,
Dedekind hace lo mismo pero comparando los números racionales con los puntos de una línea
recta llamada ¤. Además, resalta la existencia de magnitudes lineales inconmensurables, haciendo
ver que la recta ¤ tiene más elementos que el dominio ℚ. Destacando el hecho de que la recta ¤
tenga infinitos puntos que no corresponden a ningún número racional, Dedekind en el Capítulo 3.
Continuidad de la Recta, reconoce geométricamente la incompletitud o discontinuidad del
sistema ℚ y le atribuye a ¤ la propiedad de ser completo mediante el siguiente axioma:
“Si todos los puntos de la recta se descomponen en dos clases tales que todo punto de
la primera clase este a la izquierda de cada punto de la segunda clase, entonces existe
uno y sólo un punto que produce esta partición de todos los puntos en dos clases, este
corte de la recta en dos partes”. (Dedekind, 1998 citado por Tovar, 2011, p. 30).
152
Capítulo 4
La propiedad de completez de :
Un estado del arte
Una cortadura es una partición ?Z' , Z3 @ de ℚ tal que +' < +3 para cada +¯ ∈ Z¯ con T = 1, 2.
Luego dice que hay cortaduras en que Z' tiene máximo o Z3 tiene mínimo, las cuales son
generadas por un racional, pero aclara que no todas son producidas por números racionales.
Los números reales se construyen con los siguientes conceptos:
1. Cada cortadura (Z' , Z3 ) del sistema de los números racionales genera un ente nuevo
abstracto 1, al que se denominará número real.
2. En caso de que Z' tenga un elemento máximo, o Z3 tenga un elemento mínimo, se dirá
que el número real 1 que genera la cortadura (Z' , Z3 ) es un número racional.
3. En caso de que ni Z' tenga un elemento máximo, ni Z3 tenga un elemento mínimo, se dirá
que el número real 1 que genera la cortadura (Z' , Z3 ) es un número irracional.
Después, Dedekind establece la igualdad, desigualdad, orden y la suma de estos números reales.
Continuando su trabajo, da las propiedades del dominio de los números reales que hacen
explicita su unidimensión y buen orden, al igual que el dominio de los números racionales,
quedando iguales I, II, III y IV, solo que para IV Dedekind demuestra que el recíproco es
verdadero en , estableciendo al igual que en la recta, la principal característica que diferenciará
al dominio del dominio ℚ: su continuidad. Esta característica propia del dominio , que
denominaremos principio de continuidad de los reales, formulado en un teorema dice así: Si el
sistema de los números reales se descompone en dos clases t' y t3 tales que todo número 1'
de la primera clase t' es menor que todo número 13 de la segunda clase t3 , existe uno y sólo
un número real 1 mediante el cual se produce esta división.
Así, la geometría, que venía siendo la herramienta con la que se describían las propiedades de los
números reales será ahora la herramienta base para el estudio de las magnitudes de todas las
propiedades geométricas.
Posterior a la descripción de la obra de Dedekind en relación a la completez de Tovar (2011)
plantea: 3. Aspectos didácticos que en 3.1 Propuesta didáctica, en la cual nos dice: “La
enseñanza está orientada en el desarrollo de competencias matemáticas, científicas,
tecnológicas, lingüísticas y ciudadanas” (p. 37). En ese sentido la educación matemática debe
promover la formación de personas matemáticamente competentes, que según los lineamentos
curriculares, corresponde a personas capaces de manejar los cinco procesos generales que
involucran toda actividad matemática:
o Resolver y plantear problemas,
153
Capítulo 4
La propiedad de completez de :
Un estado del arte
154
Capítulo 4
La propiedad de completez de :
Un estado del arte
Las actividades inician con exposiciones que integran preguntas y aspectos históricos. Durante las
actividades se va mostrando la incompletitud de ℚ desde lo geométrico, numérico y algebraico.
Cada una de las actividades hace principal énfasis en:
‒ Uso del algoritmo de Euclides como proceso finito para comprender cuándo dos
magnitudes son conmensurables.
‒ Uso del algoritmo de Euclides como proceso finito e infinito para mostrar la equivalencia
decimal, simbólica y en fracción continua de los números reales.
‒ Clasificación de los números racionales, irracionales y reales mediante expresiones
decimales y fracciones continuas.
‒ Ordenamiento de números reales en la recta con métodos geométricos y algebraicos.
El método algebraico se usa para formar particiones o cortaduras en la recta y describir el orden,
densidad y la continuidad de los números reales, que es paso fuerte para la aceptación de una
correspondencia biunívoca entre y los puntos de la recta ¤.
Ahora el autor hace mención de los recursos materiales tales como regla, compás, papel
milimetrado, etc.
En la propuesta de Tovar (2011) también se plantea: 3.1.5 Evaluación, que considera un medio
diagnostico con el cual podremos identificar las dificultades conceptuales, procedimentales y
actitudinales que el estudiante ha adquirido con el fin de buscar alternativas que refuercen tales
dificultades. Por último, este trabajo incluye 4 anexos:
A. Magnitudes, conmensurables, razón y proporción donde se esboza una actividad del
algoritmo de Euclides.
B. Las fracciones como expresión decimal y fracción continua.
C. Incompletitud en ℚ y los irracionales como expresiones decimales y fracciones continuas
donde se pide que se realicen algunas construcciones geométricas.
D. La continuidad de la línea recta, la densidad y la completitud de , donde se ubican
números reales con regla y compás y se pide al alumno que haga lo mismo.
Y por último, la conclusión del autor:
“El trabajo condujo a la construcción de una unidad didáctica destinada a dar un
acercamiento al concepto y completitud de los números reales para la enseñanza a
estudiantes de grado undécimo o primer semestre universitario en el área de Cálculo.
Para el diseño de la unidad didáctica se tuvo como base aspectos históricos y
disciplinares que permitieron:
155
Capítulo 4
La propiedad de completez de :
Un estado del arte
En este trabajo se estudian las construcciones de los números reales realizadas por Bourbaki en
los Élement de Mathemátique y por Gustav Choquet en su Cours de Calcul Differentiel et
Integral ofrecido en la Sobornne en 1955.
Como es sabido ya (por lo expuesto en el Capítulo 1) en las construcciones más conocidas de ,
se parte de ℚ como cuerpo ordenado y se completa con el axioma de continuidad, para llenar las
“lagunas” algebraicas y topológicas. Pero, Bourbaki y Choquet escogen otro camino. Ambos
parten de ℚ como grupo aditivo totalmente ordenado, de manera inmediata introducen una
topología sobre ℚ compatible con la estructura de grupo, Bourbaki a través de intervalos abiertos
y acotados alrededor del origen y Choquet a través de la definición de cortaduras de la forma
?−∞, +@. Posteriormente, ambos completan el grupo topológico pero por mecanismos
diferentes: el primero, por filtros de Cauchy previa introducción de estructuras uniformes; y el
156
Capítulo 4
La propiedad de completez de :
Un estado del arte
segundo, a través de la propiedad del supremo sobre el conjunto formado por la unión de
cortaduras. Finalmente hacen la extensión algebraica de grupo a cuerpo o campo.
Como justificación de este trabajo, Sánchez (2012) dice:
“Es evidente, que en las presentaciones axiomáticas tradicionales se ocultan
conceptos y procedimientos fundamentales en la caracterización de los reales como
sistema numérico completo. El axioma de completez, concepto crucial que permite
diferenciar los racionales de los reales, expresado en términos de sucesiones de
Cauchy o en términos del supremo de un conjunto acotado superiormente, se presenta
tan terminado que se ocultan en su interior conceptos como vecindad, continuidad y
convergencia, conceptos topológicos que son imprescindibles en los distintos
procesos de construcción de los números reales. Es decir, pocos aspectos de su
proceso histórico de constitución se pueden dilucidar en las propuestas de la
educación media y los primeros años de enseñanza universitaria” (p. 2,).
En este sentido, el autor considera de suma importancia que el docente reconozca el grado de
complejidad que se sintetiza y se oculta detrás de las presentaciones axiomáticas, y pueda
identificar en el marco de una reflexión histórico-epistemológica algunas de las dificultades
inherentes a su enseñanza.
Entre los conceptos matemáticos preliminares se encuentra cinco muy importantes: Topología,
Estructuras topológicas, Espacio topológico, Filtro, y Límite de un filtro. Posteriormente, el
autor enuncia la siguiente:
“Proposición 1. Sea k un espacio topológico. Las proposiciones siguientes son equivalentes:
(H1) Sean dos puntos distintos ), / de k, existe una vecindad de ) y una vecindad de / sin
puntos comunes.
(H2) La intersección de vecindades cerradas de un punto cualquiera de k es el conjunto reducido
a un punto.
(H3) Un filtro sobre k no puede tener más de un punto límite.
(H4) Para todo conjunto ®, la diagonal ∆ del espacio producto = k ° es cerrada en .
(H5) Si un filtro ± sobre k admite un punto límite, ) es el único punto adherente de ±.”
(Bourbaki, 1965, Lib. III, cap. I, §8, citado por Sánchez, 2012, p.19-20).
Y luego Sánchez (2012) da la siguiente definición, y prosigue su análisis de Élemens de
mathématique:
“Definición 1. Se dirá que un espacio topológico k que verifica la proposición 1 es un espacio
separado (o un espacio de Hausdorff) la topología de tal espacio se dirá separada (o de
Hausdorff).” (Ibídem).
157
Capítulo 4
La propiedad de completez de :
Un estado del arte
158
Capítulo 4
La propiedad de completez de :
Un estado del arte
de estos criterios sabemos que el tipo de convergencia que se puede capturar en este espacio
topológico es estrictamente el que sucede en puntos cercanos a un punto dado. Es decir, no es
posible hablar de una cercanía dos a dos.
Nuevamente usando un método general a cada grupo topológico se le puede asociar de manera
natural una estructura uniforme. Hay que enfatizar que los espacios uniformes constituyen
generalizaciones de espacios métricos y grupos topológicos.
La estructura uniforme es aquella que enriquece la estructura topológica y permite hablar de
cercanía dos a dos. Sin embargo, los filtros antes nombrados no son adecuados en esta estructura
uniforme a pesar de tener un panorama de convergencia más amplio que las sucesiones, entonces,
¿Cuál es el sustituto? El sucesor preferible para el tipo de convergencia al cual se desea llegar y
que además generaliza las sucesiones de Cauchy, son los filtros de Cauchy.
Formalmente: Dado un espacio uniforme k, y un entorno Ì de k, se dirá que un subconjunto Z de
k es un conjunto pequeño de orden Ì si para cualesquiera dos puntos de Z son vecindades de
orden Ì (que es lo mismo que decir Z × Z ⊂ Ì), (Op. cit., p. 29). Un subconjunto Z de k es
“pequeño” si todos los puntos son “muy cercanos” dos a dos.
Definición 2. Se dice que un filtro w sobre un espacio uniforme k es un filtro de Cauchy si para
todo entorno Ì de k, existe un conjunto pequeño de orden Ì que pertenece a w. (Op. cit., p. 30).
Es decir, un filtro es de Cauchy si contiene conjuntos “arbitrariamente pequeños”. Sigue de las
definiciones que cada filtro que converge (con respecto a la topología definida por la estructura
uniforme) es un filtro de Cauchy. Todo filtro de Cauchy menos fino que un filtro convergente a
un punto x converge también a x.
El concepto clave para esta completación es la noción de filtro minimal de Cauchy. Se llama un
filtro de Cauchy mínimo si contiene un filtro no más pequeño de Cauchy (con excepción de sí
mismo). El filtro de la vecindad de cada punto (el filtro que consiste en todas las vecindades del
punto) es un filtro mínimo de Cauchy.
La completación puede empezar, ?k, Y@ es un espacio uniforme de acuerdo con la definición de
estructura uniforme, donde:
Y : ∈ ℚ• y Y = ?), /@ ∈ k × k: |) − /| < }
159
Capítulo 4
La propiedad de completez de :
Un estado del arte
Dado Ì ∈ Y definimos:
Ì ⋀ = ?w, @: w, son filtros minimos de Cauchy: ∃ [ Ì − $ÑÉÍÑñ : [ ∈ w y [ ∈
Afirmamos que Y ∗ = lÌ ⋀ : Ì ∈ Ym es un sistema fundamental de entornos de k ∗ , usando
caracterización del sistema fundamental de entornos (Op. cit., p. 31), se puede efectivamente
verificar que Y ∗ forma un sistema fundamental de entornos de una estructura uniforme sobre k ∗ y
por tanto, se tiene un espacio uniforme completo. La prueba se puede ver en Bourbaki (Ibídem).
Sin embargo, k estrictamente no está contenido en k ∗ , pero si identificamos y asociamos a cada
elemento de ) con el nuevo elemento de k ∗ , entonces la estructura de k vivirá, gracias a una
copia, de k en k ∗ .
Para formalizar lo anterior sin entrar en detalle, se necesita “una función T: k → k ∗ , donde
T?)@ = w?)@, en el cual w?)@ representa el filtro de vecindades; que sea inyectiva y respete las
estructuras que viven en k. A tal función le llamaremos la inmersión de k en k ∗ .” (Op. cit., p.31-
32).
Así, según Sánchez (2012), Bourbaki formula la completez del espacio uniforme de partida a
través de la extensión de dicha estructura a una estructura , formada por todos los filtros de
Cauchy minimales sobre ℚ. Sobre se definen una colección de entornos que dependen muy
particularmente de los entornos de la estructura uniforme de partida. Con lo cual se muestra que
efectivamente goza de una estructura uniforme, y que este nuevo espacio uniforme es
completo, es decir, que todo filtro de Cauchy converge, y sus límites son únicos.
Ahora, Sánchez (2012), analiza la propuesta de los números reales por Gustav Choquet: Las
extensiones para Choquet constituyen el método utilizado para ampliar un conjunto formal como
ℕ dotado de unas operaciones, unas propiedades y un orden, para obtener un nuevo conjunto más
simple (con menos restricciones), en el que se preservan las propiedades iniciales y se ganan
otras.
Dados dos conjuntos Z y [, [ es una extensión de Z cuando encontramos una copia exacta de Z
en [ que verifica sus mismas operaciones y propiedades. Es decir, en una extensión es necesario
mostrar que existe una parte Z′ de [ que tiene la misma potencia de Z (misma cantidad de
elementos) y que existe una aplicación biunívoca que preserva las operaciones. Es decir, un
conjunto Z′ isomorfo a Z. Esto es lo que se conoce como una inmersión de Z en [.
Como estrategia para la extensión de ℕ a , Choquet completa el conjunto de los números
racionales apoyado en las cortaduras como herramienta, pero antes de completar, hace varias
160
Capítulo 4
La propiedad de completez de :
Un estado del arte
construcciones, utilizando como proceso, el método genético21. Para ello primero extiende desde
el conjunto de los números naturales con una operación (adición) a lo que le llamará enteros. La
estrategia utilizada es partir de un conjunto ordenado ℕ que verifica ciertos axiomas de orden y
algebraicos, con base en él se construye un grupo conmutativo ordenado (que en este caso son
parejas ordenadas formadas de ℕ × ℕ, sobre ese objeto define una relación de equivalencia, la
cual permite definir una nueva operación la cual se le llama resta), de similar forma extiende de ℤ
a ℚ.
Para completar ℚ, lo primero que hace Choquet es definir una cortadura en un solo sentido, a la
que nombra sección inicial, formalmente:
Se llama sección inicial o abierta de ℚ a toda parte S de ℚ tal que:
1. U ≠ ∅ / U ≠ ℚ.
2. ?) ∈ U / / ≤ )@ → / ∈ U.
3. U no tiene elemento superior.
Esta sección inicial desempeña un papel muy relevante en el proceso de completez, ya que
plantea una teoría de convergencia que no recurre ni a la noción de límite ni a la noción de
sucesiones.
Introduce la estructura topológica a través de la relación de orden, en base a esta misma relación
de orden verifica que la secciones iníciales son densas y que además verifican la propiedad del
supremo. Es decir, garantiza que el conjunto de secciones iniciales es continuo y como paso
seguido muestra que estas secciones iniciales verifican los axiomas de grupo y por último
apoyado en la noción de función extiende a cuerpo o campo. Es decir, captura a como objeto
final.
Luego, realiza un estudio comparativo de las construcciones entre la propuesta de Bourbaki y la
propuesta de Choquet. Primero, lo hace mencionando la propuesta de Nicolás Bourbaki que se
puede estudiar inicialmente en el artículo “La arquitectura de las matemáticas”. Este se publicó en
1948 y fue escrito por Dieudonné y se constituye en uno de los artículos de divulgación de mayor
influencia a nivel internacional.
21
El método genético es aquel que obtiene sus resultados por inducción, en varias etapas. Por ejemplo, en el caso de
los conjuntos numéricos, consiste en engendrar el concepto mucho más general del número por medio de extensiones
sucesivas del concepto simple de número natural).
161
Capítulo 4
La propiedad de completez de :
Un estado del arte
Se puede decir que la propuesta epistemológica de Bourbaki consiste en la existencia de una sola
matemática y que la herramienta fundamental utilizada para llegar a esta unidad ha sido el método
axiomático.
El método axiomático es para Bourbaki una forma de razonar, un estilo de trabajo propio que
permite la identificación de las relaciones existentes entre los diversos objetos matemáticos, es
como una especie de “herramienta” interna que ayuda a la sistematización de propiedades
comunes a diversas teorías. Es aquello que permite poner en una relación más universal
propiedades que solo pertenecían a una clase especificada de objetos o teorías.
Por otro lado, es importante señalar que el método axiomático no constituye una novedad de la
propuesta de Bourbaki. Ya que hay varios trabajos preliminares en este sentido, como los trabajos
de Hilbert en la axiomatización de la geometría (1898), los trabajos de Fréchet que dieron lugar a
la axiomatización de la topología por Hausdorff (1927) entre otros. Sin embargo, es con Bourbaki
donde se considera el método axiomático como un puente entre las distintas teorías. Es decir, la
diferencia sustancial entre el método axiomático de Bourbaki y sus antecesores es que el método
axiomático de Bourbaki no busca solo las relaciones entre los objetos del álgebra por un lado y la
geometría por otro, sino indagar sobre todas aquellas relaciones comunes a las distintas teorías.
La propuesta de Bourbaki es lo que se conoce hoy como la unidad de las matemáticas.
La perspectiva educativa de Gustave Choquet se puede rastrear en Choquet (1962), quien fue el
primero en llevar la propuesta de Bourbaki a la enseñanza universitaria en Francia, a través de su
libro de Cours de Calcul Différentiel et Intégral de la Sorbonne, permeado por una fuerte postura
bourbakista.
De similar forma que Bourbaki, Choquet establece una propuesta matemática, pero su diferencia
radica en que esta propuesta tiene un gran interés por la educación y desde allí hace aportes a la
enseñanza, pero no hace ninguna propuesta educativa formal. En otras palabras, que no está
directamente encaminada a la ciencia matemática, sino para un grupo menos especializado.
Choquet (1962) consideraba necesario buscar una especie de “adaptación” al programa de
Bourbaki, en lenguaje moderno: una transposición didáctica. Ya que este programa no solo se
encargaba de dotar a la matemática de un lenguaje común, sino que ofrece ante todo sencillez,
solidez.
Ambas construcciones comparten tres ideas centrales:
162
Capítulo 4
La propiedad de completez de :
Un estado del arte
• La primera es que se puede completar ℚ sin tener en cuenta todas las propiedades
algebraicas de los cuerpos. Es decir, desde una estructura de grupo aditivo totalmente
ordenado se puede alcanzar la completez.
• La segunda es que estas construcciones conceden un lugar de privilegio a la topología, la
cual se introduce a partir de una relación de orden; asunto que es de importancia a nivel
educativo, ya que ésta permite ver a los números reales como un objeto no solo
algebraico. y
• La tercera, y una de las más importantes, es que dejan para lo último la completación
algebraica de grupo a cuerpo.
Choquet sigue un camino de “construcción” relativamente sencillo respecto al dado por Bourbaki,
debido a que Choquet utiliza solamente dos estructuras sobre el conjunto de los números
racionales: la algebraica y la de orden. Mientras que Bourbaki aparte de estas dos, considera las
estructuras topológicas y uniformes.
Así, ambas construcciones recurren a definir los números reales como el método o la herramienta
que puede detectarlos, o mejor dicho como el objeto que revela su existencia. Es decir, el número
real es un filtro de Cauchy o sección inicial. ¿Cuál es la diferencia o similitud entre filtro y
sección inicial? La similitud que guardan estas dos herramientas, es que ambas son el objeto
intermedio que hay entre un número real y un racional. Las secciones iniciales son el mecanismo
el cual pone de manifiesto los “huecos” de ℚ. Una sección inicial es una escisión de ℚ en una
clase. Es decir, una ruptura. Los filtros resultan ser otra herramienta para denunciar “huecos” en
ℚ, ya que existen filtros que tienen todos los elementos para ser convergentes y, sin embargo,
puede resultar que el límite al que debería tender no está, porque no existe como numero racional.
Por ello, ésta aproximación permite definir como la clase de filtros de Cauchy convergentes.
Sobre este trabajo comentamos lo siguiente:
En este trabajo podemos ver la construcción topológica dada por el grupo Bourbaki; sin
embargo, los conceptos topológicos involucrados requieren una madurez matemática que se
obtiene después de un curso de Análisis Matemático y de Topología, la cual se adquiere en la
mitad o últimos años de la Licenciatura en Matemáticas. Así, esta propuesta es prematura para
los primeros semestres de la carrera.
Por otro lado, tenemos la propuesta de Choquet. Esta propuesta, aunque maneja también algunos
conceptos topológicos es más intuitiva que la de Bourbaki, ya que la herramienta principal son
163
Capítulo 4
La propiedad de completez de :
Un estado del arte
las Secciones Iniciales, que son cortaduras del conjunto de la recta racional en un solo sentido.
Además, Choquet no utiliza Filtros ni Espacios Uniformes; así que dominando tales aspectos
topológicos como “estructura topológica” se puede acceder de buena manera a esta construcción
en los primeros semestres de la Licenciatura en Matemáticas.
Se presenta una reconstrucción detallada de la estructura de los números reales al estilo de Cantor
con sucesiones de Cauchy realizada por Thomas Blyth, y se comenta en forma muy general la
construcción de los números reales de Bourbaki a fin de exhibir la relevancia e importancia de la
estructura topológica.
El trabajo es de carácter exploratorio y se inscribe dentro de la línea de investigación de Historia
y Epistemología de las Matemáticas.
Como justificación de este trabajo la autora señala:
“En las presentaciones axiomáticas tradicionales de los libros de texto de cálculo en
enseñanza media y primeros semestres de universidad, se aborda el sistema de los
números reales haciendo una descripción más o menos completa señalando ciertas
reglas y propiedades que no son discutidas con un sentido crítico, ocultando conceptos
y procedimientos fundamentales en su caracterización como sistema numérico
completo, quedando sin analizar propiedades esenciales, tales como densidad y
continuidad. El axioma de completez expresado en términos de sucesiones de Cauchy o
en términos del supremo de un conjunto no vacío acotado superiormente, el cual
constituye el punto esencial que nos permite diferenciar los racionales de los reales, se
presenta tan acabado que no deja ver fácilmente que, en su interior subyacen
conceptos como vecindad, continuidad y convergencia, conceptos todos de carácter
topológico y fundamentales en los distintos procesos de construcción de los números
reales.” (Citado por Patiño, 2013, p. 2-3).
Es decir, en este trabajo, la autora quiere apostar a revisar una construcción más moderna en aras
de identificar nuevos conceptos, métodos o teorías que puedan aportar en la apropiación de este
objeto matemático. Insiste en realzar precisamente aquello que se esconde en las exposiciones
axiomáticas más frecuentes: en primer lugar, el ingreso de los aspectos topológicos y en segundo
lugar el paso de una estructura algebraica y de orden.
En el primer capítulo presenta aspectos históricos y epistemológicos, se analizan las
construcciones de Dedekind, de Cantor y los axiomas de Hilbert, incluyendo claro, el de
completez.
164
Capítulo 4
La propiedad de completez de :
Un estado del arte
165
Capítulo 4
La propiedad de completez de :
Un estado del arte
Ambas construcciones son modernas e importantes, lo que diferencia una de la otra es su estilo.
Mientras que la una utiliza algunos cálculos algebraicos tediosos (Blyth), la otra (Bourbaki)
usando la estructura conceptual de topología los simplifica; estructura fundamental en la
aprehensión de los conceptos de convergencia y continuidad.
Como conclusión de este trabajo Patiño (2013) comenta:
“Actualmente en los currículos universitarios para presentar el conjunto de los
números reales la forma axiomática es la más implementada, y puede no ser la más
indicada para una mayor apropiación de conceptos que son importantes y que resultan
ocultos cuando se presentan de esta manera. Es por ello que las construcciones son
una muy buena alternativa y sobre todo aquellas donde la topología está presente,
pues en este tipo de construcciones no se necesita todas las propiedades de cuerpo, ya
que es suficiente completar a partir de una estructura de grupo totalmente ordenado.
Es importante resaltar que la estructura algebraica escogida debe ser compatible con
una estructura de orden total y es suficiente partir de la de grupo topológico. Aunque
repitamos queremos resaltar que en esta construcción no hay necesidad de hablar de
clases de equivalencia como en la original de Cantor, pues todos los filtros de Cauchy
que convergen a un mismo número real se representan justamente por el filtro minimal
de Cauchy.
Además, hemos podido observar como Thomas Blyth utiliza la estructura algebraica y
de orden al estilo de Cantor mediante las sucesiones de Cauchy para completar el
conjunto de los números reales, mientras que mediante el grupo topológico todas estas
de ℚ en
propiedades se extienden gracias a los teoremas de extensión basados en la densidad
y el principio de extensión de identidades, permitiendo así lograr un
“ahorro” para obtener la estructura de cuerpo algebraico en dicho sistema. Lo que
nos permite decir con claridad que la estructura topológica es una herramienta
conceptual más rica y general además de facilitar cálculos que pueden ser tediosos,
por lo tanto nos parece muy importante resaltar lo valioso de este método.” (p. 75,
2013).
166
Capítulo 4
La propiedad de completez de :
Un estado del arte
Se trata de una tesis presentada para optar el título de Licenciado en Matemáticas y Física. Esta
fue realizada por en el Instituto de Educación y Pedagogía de la Universidad del Valle en
Santiago de Cali, Colombia.
En este trabajo de grado se presentan los aspectos fundamentales a los que recurrió Fred Richman
para la construcción de los números reales (en un artículo publicado en la revista Mathematical
Logic Quarterly en el 2008), se esboza de manera general el camino que realiza Bourbaki en su
propuesta estructuralista de la construcción de los números reales. Se reconstruye la moderna
construcción de los números reales realizada por el matemático Fred Richman, el cual sigue el
camino de la lógica intuicionista de Brouwer y Heyting; también se ponen en evidencia los
aportes de Bourbaki en dicha construcción. Así mismo, los autores pretenden dar a los profesores
nuevas perspectivas, no solo para la comprensión de sino para que tengan herramientas que les
permita desarrollar en sus estudiantes un pensamiento matemático.
Los autores nos comentan:
“En diferentes niveles de escolaridad se han presentado los números reales con la
teoría axiomática, teoría que presupone la existencia de los números reales,
dotándola de dos operaciones (suma y producto), las cuales cumplen con los axiomas
de cuerpo y de orden, con base en los axiomas de orden y la relación de orden se
hacen las definiciones de mínimo, máximo, cota superior e inferior, definición del
ínfimo y supremo, y por último el axioma de completez. Esta axiomática de los
números reales es común en los libros de cálculo, pues según (Arboleda, 2011, p.24,
citado por Jaramillo y Sánchez, 2014, p.1) “En la formación básica universitaria,
se introduce de manera axiomática y el estudiante termina por no entender la
naturaleza y función de las propiedades de ”.
Según Jaramillo y Sánchez (2014, p. 2), una problemática en la enseñanza de los números reales,
además de la presentación axiomática de , se observa cuando algunos docentes y textos de
educación media (aunque no se pretende hacer un análisis de textos escolares), limitan el estudio
de los números reales, al decir que estos son un conjunto que tiene como subconjunto a los
números naturales, enteros, racionales e irracionales o simplemente se dice que es la unión de
167
Capítulo 4
La propiedad de completez de :
Un estado del arte
los racionales con los irracionales, obviando los aspectos epistemológicos que antecedieron a la
construcción de los números reales.
Y también Jaramillo y Sánchez (2014, p. 2), sostienen que en el proceso de formación docente se
presentan las construcciones que históricamente ya son conocidas como la de Cantor, a través de
sucesiones de Cauchy o la de Dedekind mediante cortaduras o inclusive muchas otras
construcciones; pero cuando los docentes en ejercicio transmiten este conocimiento no lo hacen
de una manera consciente a la luz de esas o algunas otras construcciones.
Así, la idea central de este trabajo de grado consiste en presentar otra aproximación a la
construcción de los números reales, que permita mostrar otros significados, esta vez, desde los
aportes de Richman y presentar a los profesores una opción diferente a las construcciones ya
conocidas históricamente. Y sostienen:
“La poca enseñanza de los reales no ha sido renovada ni modificada desde hace años,
por lo que el fenómeno de transposición no está lejos de colapsar en una obsolescencia
externa (ocurre cuando el objeto de enseñanza ha envejecido en relación a la sociedad
en general, el saber enseñado y popular no están distanciados)” (Sanabria, 2005,
citado por Jaramillo y Sánchez, 2014, p. 2-3).
En la propuesta de construcción de los números reales de Richman, no sólo se usa una teoría muy
general que evita contrariedades como el manejo que se le da a la distancia, sino por lo innovador
que resultan ser los conceptos que allí se manejan, y aunque apela a la construcción de Bourbaki
no utiliza filtros de Cauchy que pueden resultar siendo más complejos que los “conjuntos” que
utiliza Richman.
Por lo anterior, se tiene como objetivo presentar la construcción de los números reales por Fred
Richman y evidenciar cómo Richman uso la construcción hecha por Bourbaki, en su construcción
de los números reales. (p. 4, 2014). A continuación, los autores exponen las ideas generales de la
construcción de los números reales por Bourbaki, que son las mismas que en la tesis anterior, así
que ya no las repetiremos. Después, prosiguen con:
Richman es inspirado por la lógica intuicionista, o mejor llamada lógica constructivista, el cual es
el sistema lógico desarrollado por Heyting, que buscaba proporcionar una fundamentación formal
para la teoría intuicionista de Brouwer (1951).22
22
Ver Capítulo 1.
168
Capítulo 4
La propiedad de completez de :
Un estado del arte
Así, Richman desea realizar una construcción matemática sin el Axioma de Elección, es decir,
escogerá una noción de completitud que sea conveniente cuando no se tenga derecho a usar el
axioma de escogencia contable. El Axioma de elección implica el principio del tercero excluido23,
esto es incompatible con las construcciones matemáticas, la razón es porque el principio del
tercero excluido es la fuente de los aspectos no constructivistas de las matemáticas, por lo que su
rechazo permite pensar en las matemáticas algorítmicamente hablando, sin pensar en algoritmos.
Al igual que en otras construcciones aquí también se parte del conjunto de los números racionales
ℚ, ahora este conjunto se debe completar, en su intento por completarlo Richman definió la
sucesión de conjuntos UX , pero se encuentra con la noción de distancia, al querer mirar la cercanía
entre elementos de esta sucesión. Usar espacios métricos presupone la existencia de los números
reales, esto se debe a la definición de espacio métrico, en la cual se define la noción de distancia o
métrica, la cual se define como una función que va de k × k en .
Según Richman, si se desea una noción de completez que sea aplicable a la construcción de los
números reales así como a los espacios métricos, se necesitará un concepto más general. Para
Richman no hay necesidad de usar una teoría tan fuerte como la de filtros sino algo un poco más
débil; para él los espacios uniformes muestran un grado básico de generalidad, se requiere de algo
lo suficientemente general pero simple, desde donde se tengan las mismas ideas generales pero
que podamos acceder con unas pocas herramientas conjuntistas.
Richman acompaña la idea de Bourbaki pero con el uso de conjuntos, en otras palabras, este ya
no trabajará con sucesiones ni filtros sino con conjuntos, la idea de filtros Richman la va a
cambiar por familias de conjuntos regulares. Entonces al ver ahora esas sucesiones de Cauchy
como conjuntos, para Richman estas serán el conjunto de familias regulares, es decir estas
reemplazarán los filtros de Cauchy a través de la noción de espacio premétrico. Noción muy
cercana a la de espacio métrico pero que no asume la completez.
La información necesaria para convertir un conjunto k en un espacio premétrico es una familia
ÏÊ de subconjuntos simétricos de k × k ordenados por números racionales no negativos É. Al
igual que en los espacios uniformes nos referiremos a estos como entornos, esto se debe a que con
23
El principio lógico del tercero excluido dice lo siguiente: Toda proposición es verdadera o falsa, y entre estos dos
valores de verdad no se admite nada intermedio o “tercero”; o, en términos semánticos, si dos proposiciones son
contradictorias, al menos una de ellas es falsa. Brouwer, en cambio, objeta que el principio del tercero excluido es
una abstracción que resulta de la experiencia respecto de objetos finitos y que se extendió a aquellos infinitos sin
justificación.
169
Capítulo 4
La propiedad de completez de :
Un estado del arte
las estructuras topológicas y con la noción de vecindad no podemos dar referencia a la cercanía
dos a dos, sin tener un punto de referencia establecido, cosa que si pasa con los entornos, con los
cuales sí podemos establecer la cercanía entre dos puntos arbitrarios, en otras palabras, los puedo
comparar dos a dos, tal como lo explica la teoría topológica de los Bourbaki. La idea geométrica
de un entorno con la métrica usual se evidencia en la recta real: un entorno con centro É, puesto
que se puede usar la definición de distancia para mirar cercanía, podemos definir con exactitud la
distancia entre dos puntos. Ahora con ℚ al no poder usarse la distancia, cuando se tiene un
espacio Ï = *ÏÊ : É ∈ ℚ• ∪ 0 0, donde cada uno de estos es de la forma ÏÊ = ?), /@: |) − /| <
170
Capítulo 4
La propiedad de completez de :
Un estado del arte
Siendo que 〈ℚ, ÏÊ 〉 Richman tiene inicialmente el conjunto ÏÊ con una estructura de espacio
premétrico, esto es lo que tiene Richman con cierta propiedad, es decir ?), /@ ∈ ÏÊ , es lo mismo
que >?), /@ por notación, entonces él trabaja con los conjuntos formados por ÏÊ , los cuales
tienen unas propiedades parecidas a las de entornos. Sobre todo usaremos la notación más
conveniente, >?), /@ ≤ É se presentará en términos de entornos ?), /@ ∈ ÏÊ , sin comprometerse
con la definición de distancia >?), /@. En otras palabras, si Ï es un entorno de una estructura
uniforme sobre k, se expresa la relación ?), /@ ∈ ÏÊ como “) y / son cercanos de orden É”.
Efectivamente esta definición nos permite decidir matemáticamente cuándo dos puntos ), / de k
son cercanos dos a dos ÏÊ = ?), /@: |) − /| ≤ É . Este es el entorno, el cual para este caso está
contenido en el producto cartesiano ℚ × ℚ, y el centro de este entorno es la recta / = ), que es el
caso en el cual É = 0 es Ï¥ . Según Jaramillo y Sánchez (2014, p. 25-26), con la nueva definición
de espacio premétrico, estas condiciones de espacios métricos se redefinen de la siguiente
manera, para que no se entre en contrariedades con el uso de la distancia entre dos puntos:
1. ?), /@ ∈ Ï¥ ⇔ ) = /
2. ∀ ), / ∃ É: ?), /@ ∈ ÏÊ
3. ?), /@ ∈ ÏØ ⇔ ?), /@ ∈ ÏÊ ∀ É > $
4. Si ?), /@ ∈ ÏØ / ?/, I@ ∈ ÏÊ ⟹ ?), I@ ∈ ÏØ•Ê
5. Si $ < É ⟹ ?), /@ ∈ ÏÊ ó ?), /@ ∉ ÏØ
Observaciones respecto a las condiciones anteriores:
1. Para todo entorno ÏØ , cualquier punto en este, se dice cercano a sí mismo. Lo que
garantiza la reflexividad, por lo que ?), )@ ∈ Ï¥ para todo ) que pertenezca a un espacio
premétrico.
2. Esta condición de existencia, garantiza que dados dos puntos en un espacio premétrico
siempre habrá un entorno ÏÊ para algún É, en el que ?), /@ esté contenido.
3. Si se tiene un punto en un entorno para un $ determinado ÏØ , siempre se podrá establecer
otro entorno para un É, ÏÊ , que contenga a este punto, siempre y cuando É sea mayor que
$ ?É > $@.
4. Esto nos dice que si tenemos un ?), /@ ∈ ÏØ y otro punto ?/, I@ ∈ ÏÊ , entonces el punto
?), I@ por la desigualdad triangular pertenece al entorno de la suma de $ + É, ÏØ•Ê .
171
Capítulo 4
La propiedad de completez de :
Un estado del arte
5. Esta condición nos dice que si $ < É, entonces ocurrirá que ?), /@ ∈ ÏÊ o que ?), /@ no
pertenece a ÏØ . Puesto que si perteneciera a ÏØ entonces por consiguiente pertenecería a
ÏÊ , por ser $ < É. (condición 3).
Ahora, se presentan algunas definiciones básicas que se encuentran en (Richman, 2008) citado
por Jaramillo y Sánchez (2014, p. 27).
La clausura de un subconjunto U de un espacio premétrico k es:
U̅ = ) ∈ k: para cada É > 0 hay un S ∈ U tal que >?), S@ ≤ É}
Se dice que U es cerrado si U̅ = U y denso si U̅ = k. Los subconjuntos ÏÊ son cerrados en el
espacio k × k por la desigualdad triangular y la continuidad superior. Si g es uniformemente
555555. El subespacio premétrico sobre un
continua sobre subconjuntos acotados, entonces g?U̅@ ⊂ g?U@
conjunto U de k está dado por la restricción de las relaciones ?), /@ ∈ ÏÊ a U.
Jaramillo y Sánchez (2014, p. 27) afirman: una familia regular de subconjuntos de k es una
familia de subconjuntos no vacíos UÊ indexados por números racionales positivos É, con la
propiedad que >?), /@ ≤ $ + É ∀ ) ∈ UØ , / ∈ UÊ . La idea es que los UÊ consistirán de algunos
elementos de k que está a una “distancia” menor que É de un elemento de la completación de k.
Entonces Richman en lugar de tomar los filtros de Cauchy porque él no tiene filtros, toma las
familias regulares y estas familias regulares debe completarlas, veamos:
Sean dos familias regulares U y f, son equivalentes si ?), /@ ∈ ÏØ•Ê para todo ) ∈ UØ y / ∈ fÊ
esto es UØ × fÊ ⊂ ÏØ•Ê . Escribiremos U~f si U y f son equivalentes.
Afirmación. ~ es una relación de equivalencia
• U~U ya que ∀Ø,Ê UØ × UÊ ⊂ ÏØ•Ê por ser U una familia regular
• U~f ⟹ f~U
U~f ⇔ ∀Ø,Ê , UØ × fÊ ⊂ ÏØ•Ê
⇔ ∀r,› ∀Ø,Ê é) ∈ UØ ˄ / ∈ fÊ ê → ?), /@ ∈ ÏØ•Ê
⟹ ∀Ø,Ê ∀r,› é / ∈ fÊ ˄ ) ∈ UØ ê → ?/, )@ ∈ ÏØ•Ê
⟹ ∀Ø,Ê fÊ × UØ ⊂ ÏØ•Ê
⇔ f~U
• U~f ˄ f~Y entonces U~Y
172
Capítulo 4
La propiedad de completez de :
Un estado del arte
UØ × fÊ ⊂ ÏØ•Ê
∀Ø,Ê,B fÊ × YB ⊂ ÏÊ•B
Sea é), / ∈ UØ × YB ê, por demostrar UØ × YB ⊂ ÏØ•B
Siendo fÊ ≠ ∅ ∃ / ∈ fÊ . Ahora se sabe que si
?), /@ ∈ ÏØ•Ê
?/, I@ ∈ ÏÊ•B
Entonces por la desigualdad triangular se tiene que
?), I@ ∈ ?ÏØ•Ê ∪ ÏÊ•B @
Ahora por la condición 4, antes mencionada se tiene que ?), I@ ∈ ÏØ•3Ê•B , ahora se forma
la intersección de todos estos ÏØ•3Ê•B ∀ É ∈ ℚ•
¸ ÏØ•3Ê•B ~ÏØ•B
Ê∈ℚK
Ahora Richman, define los elementos de completación k´ de k como las clases de equivalencia
de familias regulares de subconjuntos. Entonces la estructura premétrica sobre k´ es definida por
>?U, f@ ≤ É si ∀ > 0, ∃ +, ,, = ∈ ℚ• y elementos S ∈ UA y E ∈ fB tal que + + , + = < É + y
?S, E@ ∈ Ï .
Hay una función natural de k a k´ que toma ) ∈ k y lo relaciona con una familia regular U r
definida por UÊr = ) , ∀ É.
Se dice que k es completo si esta función natural es sobreyectiva. Por la continuidad superior,
esto dice que si f es una familia regular, entonces existe ) ∈ k tal que ?), E@ ∈ ÏÊ , ∀ E ∈ fÊ .
Es decir, se toman las familias regulares y se comprueba que estas son completas, porque los
números reales son las sucesiones de Cauchy. Entonces lo mismo pasa aquí pero no se cuenta con
las sucesiones de Cauchy sino que se le da clases de equivalencia, esto es lo que cambia en la
construcción de Richman con respeto a otras construcciones, él coge estas familias regulares, se
forma el cociente dado por una relación de equivalencia y crea los números reales, le da la misma
estructura que tenía y después muestra que es completo. Para esto necesitó de un lema y un par de
teoremas que se mencionan continuación:
Lema 3.4.1. Si f es una familia regular y ) ∈ fÊ → >?U r , f@ ≤ É.
173
Capítulo 4
La propiedad de completez de :
Un estado del arte
Este trabajo es interesante porque nos ofrece otra versión de la propiedad de completitud de ,
que es la de Fred Richman, donde éste acompaña la idea de Bourbaki, pero en lugar de filtros
utiliza conjuntos de familias regulares. Difiero del autor en que esta propuesta es apta para los
primeros años de licenciatura, pues utiliza simbolismo y conceptos muy abstractos como son
“espacios premétricos” o las mismas “familias regulares”. Así considero que esta propuesta es
prematura.
Ahora mostramos una investigación que muestra las dificultades que los estudiantes tienen en
relación a la propiedad de continuidad de los números reales.
174
Capítulo 4
La propiedad de completez de :
Un estado del arte
Las materias en las que se realiza el estudio son: Análisis Matemático, Análisis I, Complementos
de Análisis II y Cálculo avanzado, estos tres últimos dependen del Departamento de Matemática
de la Facultad de Ciencias Exactas y Naturales.
Dado un objeto, que puede ser un tema de estudio, como la completitud del conjunto , tiene
sentido estudiar las praxeologías construidas por una institución (en nuestro caso puede ser un
curso, una guía de ejercicios, inclusive un problema en particular). Un conjunto organizado, que
está estructurado por praxeologías, integra una organización matemática, mientras que la
organización didáctica consiste en la manera de llevar a cabo la organización matemática.
Se utiliza también como marco de referencia para el análisis praxeológico la propuesta de A.
Robert24 (1998) quien hace una categorización sobre la puesta en funcionamiento de
conocimientos en tres niveles: 1) el técnico (a grandes rasgos, corresponde a puestas de
funcionamiento bajo indicación, o haciendo aplicaciones inmediatas de teoremas; 2) el
movilizable (propio de un trabajo también indicado, pero que sobrepasa la simple aplicación de
una propiedad, tal vez requiriendo de la yuxtaposición de saberes o de su articulación) y 3) el
disponible (comprende al trabajo autónomo, sin indicaciones, y a la capacidad de articular la
teoría para la resolución).Robert plantea, entre otras hipótesis, que no se puede alcanzar cierto
nivel de conceptualización si solamente se plantean tareas técnicas entre las tareas de ese nivel.
24
Robert, A. (1998). Outils d’analyse des contenus mathématiques à enseigner au lycée et a l’université. Recherches
en Didactique des Mathématiques 18 (2), 139-190.
175
Capítulo 4
La propiedad de completez de :
Un estado del arte
En algunos momentos de su formación, los alumnos tienen como tarea demostrar propiedades o
resultados que han podido usar como válidos o como herramientas, sin necesidad de
comprobarlos. Ellos se sorprenden si deben demostrar que + ∙ 0 = 0, la validez de algún
algoritmo que venían empleando en materias anteriores, por ejemplo, los criterios de
convergencia de sucesiones, escribir formalmente algo que pueden ver en un dibujo como que el
limr→•∞ 1/) = 0, o bien imaginar mentalmente ST g: → es continua y limr→•∞ g?)@ =
+∞ y limr→J∞ g?)@ = −∞ entonces es suryectiva (sobreyectiva).
Durante las horas de consulta circulan las preguntas del estilo: “¿esto te lo demuestro?”, “¿qué
puedo tomar como válido, hasta dónde tengo que demostrar?”, “esto se ve, es obvio, no entiendo
qué quieres que demuestre”, “¿de dónde parto para demostrar esto?”.
Preguntas que muestran, por un lado, que el género de tarea no es claro para los alumnos; por
otro, una cierta idea de que las demostraciones se hacen “para el docente”.
Aceptar la necesidad de demostrar lo que parece evidente o perceptible tiene que ver con cierto
posicionamiento interno, con la adhesión a un criterio teórico y con la reflexión.
Cálculo–análisis
Al cálculo elemental le corresponde la parte más algebrizada del análisis, así como la más
algorítmica; el análisis demanda otros modos de razonamiento y de técnicas que le son propias,
como la acotación o la aproximación, incluso sobre las mismas nociones que pueblan el cálculo
elemental. Tal recorrido se puede ver en los programas y en los prefacios de los textos. Elon
Lages Lima –un matemático brasileño cuyos textos son muy preciados sobre todo en
Latinoamérica– dice en el prefacio de su obra Curso de análise, Vol. 125:
“Esta es la primera parte de un Curso de Análisis. En ella se estudian las funciones
reales de una variable real. La teoría es presentada desde el comienzo. No se hace
uso de resultados que no estén establecidos en el texto. Todos los conceptos
introducidos son ampliamente ilustrados por medio de ejemplos. A pesar de eso, es
conveniente que los lectores de este libro posean una experiencia equivalente a dos
semestres de Cálculo.” (pp. 37-38, 2006).
25
Lages, Elon (1995). Curso de análise vol. 1. Projeto Euclides.
26
Lang, Serge (1990). Introducción al Análisis Matemático. Addison-Wesley Iberoamericana.
176
Capítulo 4
La propiedad de completez de :
Un estado del arte
matemática que adquieren los estudiantes que han cursado ya dos años de cálculo
(...). Ahora el énfasis se desplaza de los aspectos computacionales del cálculo, a los
difíciles para cursos más elementales y otros temas análogos.” (p.38. 2006).
Estos autores, al igual que muchos otros, reconocen una ruptura entre cálculo y análisis. Pero,
¿cuáles serían los elementos que describen y componen esa ruptura? Con una mirada didáctica
identificamos el requerimiento de Lima y Lang de que se posean conocimientos de cálculo para
el estudio del análisis, diciendo que el cálculo se establece como un medio para el análisis, donde
quedarían ubicadas las fundamentaciones más profundas y muchas demostraciones. Por tanto, el
estudio de la completitud se sitúa más en el análisis que en el cálculo porque lo que le da sentido
es la necesidad de fundamentar.
Tomamos como variable el grado de dominio técnico y teórico que tiene un sujeto alrededor de
la completitud y la continuidad. Podemos pensar en una organización teórica de esa
disponibilidad por medio de los siguientes niveles:
♦ Un nivel inicial, al cual hemos hecho referencia, que en este eje vemos plasmado en
saber hacer uso de los teoremas de Bolzano y de la existencia de límites en aplicaciones
simples, o bien en determinar supremos o ínfimos de conjuntos sencillos accesibles
mediante una representación en aplicaciones simples.
♦ Un nivel en el que el sujeto encuentra la demostración de teoremas como el de Bolzano o
la existencia de límite de sucesiones monótonas y acotadas, y puede reproducirlas si
maneja explícitamente en esas demostraciones u otras tareas alguna versión del axioma
de completitud; por ejemplo, el de supremo. Un sujeto en esta posición ve a las demás
caracterizaciones como teoremas, no como posibles equivalentes. Las tareas acordes con
este nivel son la demostración de los teoremas ya mencionados; asimismo, le
corresponde la adquisición de técnicas para la manipulación de los objetos ligados a la
versión de la completitud que se utiliza, como la demostración de la equivalencia entre
las distintas caracterizaciones del supremo.
177
Capítulo 4
La propiedad de completez de :
Un estado del arte
4.3.2 Resultados
178
Capítulo 4
La propiedad de completez de :
Un estado del arte
Así podemos ver que la versión más utilizada en los textos del programa de Licenciatura
(UAGro y UNAM) es la del axioma del supremo, sobre lo cual Bartle (1964) comenta:
“(…) Por lo tanto, podemos caracterizar al sistema de los números reales como un
cuerpo ordenado en el cual el principio del supremo se cumple, y esta forma de
introducir el sistema de los números reales es frecuentemente utilizada. Elegimos este
enfoque aquí porque este parece ser el más intuitivo para nosotros y saca a relucir
todas las propiedades necesitadas en una forma razonablemente natural”. (p. 50).
Le sigue la versión de los intervalos encajados de Cantor que también tiene una buena base
intuitiva y sobre todo geométrica para introducir los conceptos de acotamiento. La propiedad de
la sucesión monótona es intuitiva al principio, pero después en la exposición requiere también de
la manipulación de las propiedades de las sucesiones infinitas convergentes y divergentes. A
propósito de esta propiedad, Marsden y Hoffman (1998) nos comentan:
“Hay varias formas de introducir la propiedad de completitud. Nosotros usaremos el
método de las sucesiones monótonas porque es el más cercano a nuestra intuición de
construir números reales, como √2=1.414213…, en forma de límite de una sucesión
que lo aproxima” (p. 35).
La versión mediante las sucesiones de Cauchy es menos intuitiva y para asimilar los conceptos
se tiene también que entender previamente las propiedades de las sucesiones infinitas lo cual
provoca que sea más difícil la comprensión de este concepto por parte de los alumnos en un
primer semestre. Por último, la versión mediante cortaduras de Dedekind es más abstracta que
las demás y requiere un poco más de madurez matemática; a propósito de este método Rudin
(1976) nos comenta lo siguiente en el prefacio:
“La experiencia me ha convencido que, pedagógicamente, es erróneo (aunque desde
el punto de vista lógico es correcto) comenzar con la construcción de los números
reales a partir de los racionales. Simplemente en un principio, la mayoría de los
estudiantes no aprecian la necesidad de hacerlo. Por esto se presenta el sistema de
179
Capítulo 4
La propiedad de completez de :
Un estado del arte
los números como un campo que posee la propiedad de la mínima cota superior, y se
efectúan rápidamente algunas aplicaciones interesantes de esta propiedad. Sin
embargo, no se omite la construcción de Dedekind. Ahora se encuentra en el apéndice
del capítulo 1, en donde puede estudiarse y deleitarse siempre y cuando se tenga la
madurez adecuada”. (p. ix).
♦ En cuanto a las versiones de completez más utilizadas en las tesis y artículos analizados
en primer lugar destaca la versión topológica de Bourbaki expuesta en Sánchez (2012),
Patiño (2013) y Jaramillo y Sánchez (2014).
♦ Después tenemos la versión geométrica de Hilbert que aparece en Giovannini (2013), le
siguen la versión de Choquet mediante cortaduras de la forma ?−∞, +@ a las cuales llama
secciones iniciales, la cual aparece en Sánchez (2012), la versión de Blyth mediante
sucesiones de Cauchy y la versión de Richman mediante familias regulares utilizando
espacios pre-métricos.
Las versiones que son más simples e intuitivas según mi opinión son:
Axioma del supremo Karl Weierstrass, y
Los intervalos encajados de Cantor,
ya que hay muchos conjuntos concretos en donde se puede ejemplificar intuitivamente el
concepto de supremo de un conjunto, aparte, los conocimientos previos que se necesitan son
adquiridos en la enseñanza media superior o introduciéndolos previamente en el curso de
Cálculo en el primer semestre de la Licenciatura en Matemáticas. En cuanto a los intervalos
encajados de Cantor, se puede entender el concepto geométricamente para después pasar la
información a una forma analítica o aritmética.
Sin embargo, tenemos la propuesta de Choquet para la cual se necesitan como conocimientos
previos conocer ℕ, ℤ y ℚ, de este último sus propiedades como conjunto ordenado. También
requiere conocer la definición de grupo aditivo totalmente ordenado, extensiones elementales de
180
Capítulo 4
La propiedad de completez de :
Un estado del arte
conjuntos numéricos, saber qué es una topología y un espacio topológico, conjuntos abiertos,
como definir una topología del orden, isomorfismo y el concepto de cortadura para construir el
concepto de sección inicial, la cual es la herramienta para completar . Esta propuesta considero
que puede ser asequible en el primer semestre de la licenciatura porque basta que se comprendan
bien los conceptos antes mencionados y también porque Choquet no utiliza filtros ni espacios
uniformes que son conceptos más abstractos y que corresponden a un curso de topología general
que generalmente se imparte en los últimos años de la Licenciatura en Matemáticas.
Ya que para esta se requieren conceptos más abstractos como son por ejemplo: Topología,
Espacios Topológicos, Filtro, Límite de un Filtro, Espacio de Haudorff, Estructura Uniforme,
entre otros; los cuales corresponden a un nivel de madurez matemática que se concibe a la par o
después de un curso de Topología y Análisis Matemático lo cual la hace prematura para su
implantación en la enseñanza en el primer semestre de la Licenciatura en Matemáticas.
En la cual se necesitan los conceptos previos tales como: conceptos de la Lógica Intuicionista de
Heyting y Logicismo de Russell, ejemplos claros que diferencien estas dos, el Axioma de
Elección y conceptos básicos de Teoría de Conjuntos, Espacio Premétrico, Continuidad
Uniforme y el concepto de las Familias Regulares. Estos conceptos corresponden a un curso a la
par o previo de Teoría de Conjuntos, Cálculo y Análisis Matemático donde se estudian los
conceptos de continuidad uniforme entre otros. Por lo anterior, esto hace que esta propuesta sea
también prematura para su impartición en la enseñanza en el primer semestre de la Licenciatura
en Matemáticas.
4.3.2 Conclusiones
181
Capítulo 4
La propiedad de completez de :
Un estado del arte
En resumen, teniendo en cuenta el salto psicológico y conceptual que los alumnos enfrentan,
nosotros consideramos que las presentaciones axiomáticas de mediante el axioma del supremo
y mediante los intervalos encajados de Cantor son las más adecuadas.
182
Capítulo 4
La propiedad de completez de :
Un estado del arte
para cualquiera que sea el número > 0 y tan pequeño como se quiera. Y a partir de un rango
número natural À, todos los términos de UX siendo número natural tal que ≥ À, se cumple:
183
Capítulo 4
La propiedad de completez de :
Un estado del arte
Cuando una sucesión UX de números reales se comporta como la del ejemplo anterior se afirma,
en general:
lim UX = ¤, ¤ ∈
X→¡
y es claro que si ubicamos una sucesión UX solo en ℚ (conjunto de los números racionales) puede
que no tenga límite. Efectivamente, la sucesión:
UX = 1, 1.4, 1.41, 1.414, …
carece de límite en ℚ, tiende a un hueco √2 en ℚ, pues √2 ∉ ℚ.27
Así hemos evidenciado la estrecha relación que hay entre la existencia de límite en el conjunto
de los números reales y la propiedad de continuidad de los números reales.
Actualmente se cuenta con una construcción de los números reales a partir del conjunto de los
números naturales. Dentro de este conjunto se presenta un problema sin solución que demanda la
construcción de un nuevo conjunto numérico y éste debe contener al anterior28. En esta dirección
aparece una construcción del conjunto de los números reales mediante las sucesiones de
Cauchy C, y de todas se consideran las que son convergentes en 0, denotadas por ]¥ , las cuales
son una relación de equivalencia. Y luego, ésta induce una clasificación = ]/~ que define el
número real (Miranda, 2015), es decir, un número real es una clase de equivalencia de
sucesiones racionales convergentes en dicho número; y desde luego este número debe pre-existir
aunque no se sepa cómo se llame.
27
Sélem, (p. 15, 1998; p. 6 2003) hace una distinción de agujero (gap), salto (jump) y cortadura (cut) basándose en
Dedekind (1963).
28
Aunque hay una construcción axiomática de los números naturales propuesta por G. Peano.
184
Bibliografía y referencias
Libros
1. Apostol, T. (1967) Calculus Volumen l. Recuperado de:
https://calculounicaes.files.wordpress.com/.../calculo-volumen-1-de-tom-apostol.pdf
2. Apostol, T. (1976). Análisis Matemático, segunda edición. España: Editorial Reverté.
3. Bartle R. (1964). The Elements of Real Analisys. Recuperado de:
https://hayanihamudi.files.wordpress.com/2014/01/the-elements-of-real-analysis-by-
robert-g-bartle.pdf
4. Bartle R. (1967). The Elements of Real Analisys. USA: John Wiley & Sons, Inc.
5. Bartle, R. (1976). The Elements of Real Analysis. Recuperado de:
http://b-ok.org/md5/3F7237896D00A5FB83F4589789CEF6C0
6. Bartle, R. y Sherbert, D. (2000). Introduction to Real analysis. USA: John Wiley & Sons.
Recuperado de:
https://sciencemathematicseducation.files.wordpress.com/2014/01/0471433314realanalysis
4.pdf
7. Bartle, R. y Sherbert, D. (2001). Introducción al Análisis Matemático de una variable.
México: Limusa-Wiley.
8. Cárdenas, Lluis, Raggi y Tomás (1990). Álgebra Superior. México: Trillas.
9. Casarrubias, F. y Tamariz, A. (2011). Elementos de Topología de Conjuntos. Recuperado
de:
http://b-ok.xyz/book/1177503/0d801a
10. Courant, R. y Fritz, J. (1999). Introducción al cálculo y al análisis matemático volumen 1.
Recuperado de: www.cimat.mx/~gil/docencia/2006/calculo3/Courant_John_1.pdf
11. Efímov, N. (1984). Geometría Superior. URSS: Editorial Mir. Recuperado de:
file:///C:/Users/Home/Downloads/[N.V._Ef%C3%ADmov]_Geometr%C3%ADa_Superior
(b-ok.xyz).pdf
12. Hinrichsen, D. y Fernández, J. L. (1977). Topología General. España: Editorial Pueblo y
Educación.
13. Jiménez, A. (2004). El estado del arte en la investigación en las ciencias sociales.
Recuperado de:
http://bibliotecavirtual.clacso.org.arg/Colombia/des-upn/20121130050742/estado.pdf URL
Bibliografía y referencias
14. Hasser, N., La Salle, J. y Sullivan, J. (1990). Análisis Matemático. Curso de Introducción.
México: Trillas.
15. Hawking, S. (2010). Dios creó los números: Los descubrimientos matemáticos que
cambiaron la historia. España: CRÍTICA.
16. Hernández, F. (2011). Teoría de Conjuntos. Una introducción. Recuperado de:
https://superoles.files.wordpress.com/2011/11/fernandezteoria-de-conjuntos.pdf
17. Kudriávtsev, L. (1983). Curso de Análisis Matemático, Vol. I. Recuperado de:
http://dlx.bok.org/genesis/501000/b4ea3242d19719b58e543c9a6d983d9a/_as/[L.D._Kudri
avtsev]_Curso_de_Analisis_Matematico_1(b-ok.org).pdf
18. Lipschutz, S. (1985). Teoría de Conjuntos y Temas Afínes. México: McGraw-Hill.
19. Lipschutz, S. (1970). Topología General. Recuperado de:
https://cesarperezsite.files.wordpress.com/2014/11/teorc3ada-y-problemas-de-
topologc3ada-general-seymour-lipschutz.pdf
20. Marsden J. & Hoffman, M. (1998). Análisis Clásico Elemental. E. U. A.: Addison-Wesley
Iberoamericana, S. A.
21. Moise, E. (1972). Calculus. Recuperado de:
http://www.books-pdf- download.cc/search.php?req=Edwin%20Moise&column[]=author
22. Moreno, J. y Waldegg, G. (1986). Cálculo Avanzado, Primera Parte. México: Cinvestav-
IPN.
23. Rudin, W. (1980). Principios de Análisis Matemático. Recuperado de:
https://intranet.matematicas.uady.mx/enlinea_ago13/courses/ANALISISMATEMATICO/d
ocument/rudinw_principiosdeanalisismatematico.pdf?cidReq=ANALISISMATEMATICO
24. Spivak, M. (1992). Calculus. Cálculo Infinitesimal. Recuperado de:
valle.fciencias.unam.mx/licenciatura/bibliografia/spivak.pdf
25. Wawrzynczyk, A. y Delgado, J. (1993). Introducción al Análisis. Recuperado de:
http://www.uamenlinea.uam.mx/materiales/matematicas/analisis/DELGADO_JOAQUIN_
Introduccion_al_analisis.pdf
26. Wilson, R. y Benítez R. (2017). Topología general. México: Trillas.
27. Zaldívar, F. (2005). Fundamentos de Álgebra. México: Fondo de Cultura Económica-
UAM.
28. Zaldívar, F. (2012). Introducción a la Teoría de Números. México: Fondo de Cultura
Económica.
CLXXX
Bibliografía y referencias
Artículos
1. Bergé A. (2006). Análisis institucional a propósito de la noción de completitud del
conjunto de los números reales. Revista Latinoamericana de Investigación en Matemática
Educativa, 9 (1), 31-64. Recuperado de:
http://www.scielo.org.mx/scielo.php?script=sci_serial&pid=1665-2436&lng=es&nrm=iso
2. Bergé, A. y Sessa, C. (2003). Completitud y continuidad revisadas durante 23 siglos.
Aportes a una investigación didáctica. Relime, Vol 6, núm. 3, pp. 163-197. Recuperado de:
file:///C:/Users/EMOTION4/Downloads/art%C3%ADculo_redalyc_33560301.pdf
CLXXX
Bibliografía y referencias
CLXXX