La nueva formulación de los conceptos será todavía más formal y rigurosa, y paralelamente mucho menos intuitiva


Download 445 b.
Sana18.07.2017
Hajmi445 b.


  • La nueva formulación de los conceptos será todavía más formal y rigurosa, y paralelamente mucho menos intuitiva.

  • Será necesario concretar el significado de “cantidad variable” y “variable continua”.

  • Para seguir avanzando será igualmente necesario acabar de una vez con las distinciones entre número y cantidad.

  • La fundamentación del sistema de números reales será debida a R. Dedekind y G. Cantor


A mediados del siglo XIX no era posible demostrar algunos resultados básicos del cálculo:

  • A mediados del siglo XIX no era posible demostrar algunos resultados básicos del cálculo:

  • Toda función creciente y acotada tiene límite,

  • El teorema del valor intermedio para funciones continuas

  • Faltaba codificar una propiedad fundamental de los números reales, la que ahora llamamos completitud y entonces se llamaba propiedad de continuidad.

  • En 1872 se publicaron dos trabajos, uno de Cantor y otro de Dedekind, en los que, a partir del sistema de los números racionales, cada autor desarrollaba una construcción matemática de los números reales.



Julius Wilhelm Richard Dedekind (1831 - 1916), matemático alemán, nació en Brunswick.

  • Julius Wilhelm Richard Dedekind (1831 - 1916), matemático alemán, nació en Brunswick.

  • En 1848 entró en el Colegium Carolinum de su ciudad natal, y en 1850, con sólidos conocimientos de matemáticas en la Universidad de Gotinga.



Fue alumno del matemático Moritz Abraham Stern, y del físico Wilhelm Weber. Su tesis doctoral (1852), fue supervisada por Gauss, que lo consideró su último alumno.

  • Fue alumno del matemático Moritz Abraham Stern, y del físico Wilhelm Weber. Su tesis doctoral (1852), fue supervisada por Gauss, que lo consideró su último alumno.

  • Estudió la teoría de los números y otras materias con G. Dirichlet, al que le uniría una gran amistad.

  • Para ampliar sus conocimientos, abordó el estudio de las funciones abelianas y elípticas de la mano del genial Bernhard Riemann.

  • Su correspondencia con otros matemáticos resultó fructífera y estimulante



Sus cortaduras zanjan definitivamente el problema de la fundamentación del análisis al definir el conjunto de los números reales a partir de los racionales.

  • Sus cortaduras zanjan definitivamente el problema de la fundamentación del análisis al definir el conjunto de los números reales a partir de los racionales.

  • En su magistral artículo de 1872, titulado “Continuidad y números irracionales “, caracterizó los números reales como un cuerpo ordenado y completo.

  • Al comienzo del artículo manifiesta su propósito de reducir los números reales a la aritmética, eliminando así todo contenido geométrico en la idea de número real.



Para explicar lo que él hizo vamos a partir de la intuición de una recta.

  • Para explicar lo que él hizo vamos a partir de la intuición de una recta.

  • Elegido un punto como origen y un segmento como unidad, podemos hacer corresponder a cada número racional un punto de esa recta.

  • Cualquier punto que corresponda con un segmento de longitud inconmensurable con la unidad elegida no puede ser representado por un número racional .

  • Los números racionales no son suficientes para describir numéricamente "el continuo“, ya que dejarían"huecos“.



Se preguntaba Dedekind: ¿En qué consiste la propiedad de la continuidad?

  • Se preguntaba Dedekind: ¿En qué consiste la propiedad de la continuidad?

  • “el problema es indicar una característica precisa de la continuidad que pueda servir como base para deducciones válidas”.

  • Antes de revelar el secreto previene al lector,

  • Muchos de mis lectores quedarán grandemente disgustados al saber que con una vulgar observación se revela el secreto de la continuidad.



¿Cuál es esa vulgar observación'?

  • ¿Cuál es esa vulgar observación'?

  • Todo punto de una recta la divide en dos partes disjuntas,

  • la parte A, formada por los puntos de la recta que están a su izquierda,

  • y la parte B, formada por los puntos de la recta que están a su derecha.

  • El propio punto podemos incluirlo bien en A o en B.



Una cortadura de Q es un par (A. B), donde A y B son dos conjuntos no vacíos de números racionales tales que Q = A U B, y todo número de A es menor que todo número de B y A no tiene máximo.

  • Una cortadura de Q es un par (A. B), donde A y B son dos conjuntos no vacíos de números racionales tales que Q = A U B, y todo número de A es menor que todo número de B y A no tiene máximo.

  • Todo número racional r de Q produce una cortadura dada por A = {x єQ : x < r} , B = {x єQ : x ≥ r}.

  • Pero en la recta racional hay muchas cortaduras que no están producidas por números racionales.

  • El par (A,B) A = {x єQ: x² < 2}, B = {x єQ : 2≤x² } define una cortadura de Q que no está producida por ningún número racional



¿De dónde sacamos los números reales si todo lo que tenemos son los racionales'?

  • ¿De dónde sacamos los números reales si todo lo que tenemos son los racionales'?

  • "Si todos los puntos de la recta se dividen en dos clases tales que todo punto de la primera clase queda a la izquierda de todo punto de la segunda clase,

  • Entonces existe uno, y sólo un punto que produce esta división ...“

  • Un número real es una cortadura de Q .

  • La idea es que la recta es continua porque entre dos puntos de ella sólo hay puntos de la misma recta.



En su trabajo ¿Qué son y para qué sirven los números? publicado en 1888 da la siguiente definición:

  • En su trabajo ¿Qué son y para qué sirven los números? publicado en 1888 da la siguiente definición:

  • Un sistema S se llama infinito cuando es semejante a una parte propia de sí mismo; en caso contrario, se dice que S es un sistema finito.

  • Además precisa el significado de las operaciones elementales de la teoría de conjuntos,

  • y da la definición general de función entre conjuntos abstractos, generalizando así la dada por Dirichlet para funciones reales.





La manera en que Cantor llegó a interesarse por los problemas del infinito es ciertamente curiosa. En 1869 el joven Cantor llega a la pequeña Universidad de Halle para obtener su Habilitación (con una Tesis en Teoría de números) y

  • La manera en que Cantor llegó a interesarse por los problemas del infinito es ciertamente curiosa. En 1869 el joven Cantor llega a la pequeña Universidad de Halle para obtener su Habilitación (con una Tesis en Teoría de números) y

  • Allí conoce a H. Heine (1821-1881), quien le introduce en un problema en el que llevaba tiempo trabajando: la unicidad de la representación de una función por medio de series trigonométricas.



En una serie de artículos publicados en 1870 y 1871, Cantor logró probar la unicidad de representación cuando la serie trigonométrica convergía puntualmente, salvo a lo más en un conjunto finito de puntos de un intervalo de periodicidad.

  • En una serie de artículos publicados en 1870 y 1871, Cantor logró probar la unicidad de representación cuando la serie trigonométrica convergía puntualmente, salvo a lo más en un conjunto finito de puntos de un intervalo de periodicidad.

  • La pregunta natural era si el resultado sigue siendo cierto para un conjunto infinito de puntos.

  • Obviamente, la respuesta es negativa para el conjunto formado por todo el intervalo,

  • luego se trataba de saber qué tipo de conjuntos infinitos (si había alguno) proporcionaban una respuesta afirmativa al problema.



Esto llevó a Cantor a plantearse el estudio y posible clasificación de los subconjuntos infinitos de números reales.

  • Esto llevó a Cantor a plantearse el estudio y posible clasificación de los subconjuntos infinitos de números reales.

  • Y para ello tuvo que comenzar estableciendo una noción rigurosa de número real.

  • En 1872 aparece su famoso trabajo en Mathematische Annalen en el que construye el conjunto de los números reales clasificando las distintas sucesiones de Cauchy de números racionales.

  • Demuestra las propiedades fundamentales, incluyendo la completitud, y comienza el estudio riguroso de conjuntos arbitrarios de números reales.



  • En una carta a Dedekind, de fecha 29 de noviembre de 1873, Cantor afirmaba, sin incluir prueba alguna, que los racionales positivos y, más generalmente, el conjunto de las sucesiones finitas de enteros positivos, podía ponerse en correspondencia biyectiva con los enteros positivos, y preguntaba si eso mismo se podía hacer con los números reales.



Dedekind le respondió, a vuelta de correo, que en su opinión nada se oponía a ello, y añadió, con demostración incluida, que el conjunto de los números algebraicos sí es biyectivo al de los enteros positivos.

  • Dedekind le respondió, a vuelta de correo, que en su opinión nada se oponía a ello, y añadió, con demostración incluida, que el conjunto de los números algebraicos sí es biyectivo al de los enteros positivos.

  • Los números algebraicos son números, reales o complejos, que son raíces de alguna ecuación polinómica con coeficientes enteros.

  • Todo número racional es evidentemente algebraico

  • Los números que no son algebraicos se llaman trascendentes.



Demostrar que un número concreto es trascendente es muy difícil.

  • Demostrar que un número concreto es trascendente es muy difícil.

  • Era conocida la trascendencia del número e, demostrada por Charles Hermite en 1 873,

  • Ferdinand Lindemann logró probar la trascendencia de π en 1882 (demostrando así que el problema de la cuadratura del círculo no tenía solución).



Tras su trabajo sobre los reales, el interés de Cantor derivó hacia los problemas del infinito y el continuo, con objeto de precisar la idea de tamaño y elaborar una teoría de comparación de conjuntos infinitos.

  • Tras su trabajo sobre los reales, el interés de Cantor derivó hacia los problemas del infinito y el continuo, con objeto de precisar la idea de tamaño y elaborar una teoría de comparación de conjuntos infinitos.

  • Su teoría de conjuntos y números transfinitos se encuentra dispersa en muchos trabajos.

  • En el primero de ellos considera al menos dos clases de infinitos: el de los números naturales y el de números reales.



Había logrado demostrar que el conjunto de números reales no es numerable (no existe una biyección de él con N).

  • Había logrado demostrar que el conjunto de números reales no es numerable (no existe una biyección de él con N).

  • Dado que el conjunto de los números algebraicos sí se puede poner en correspondencia biyectiva con el de los números naturales, dedujo un teorema de Liouville:

  • la existencia de infinitos números trascendentes



En el siguiente artículo, Cantor establece ya como idea central de su teoría la noción de conjunto:

  • En el siguiente artículo, Cantor establece ya como idea central de su teoría la noción de conjunto:

  • Una colección de objetos bien definidos que la mente puede concebir como un todo y decidir si un objeto dado pertenece o no a ella.

  • Introduce la idea de equivalencia de conjuntos por medio de la existencia de una biyección entre ellos.

  • Para Cantor (como para Bolzano y Dedekind), un conjunto es infinito si puede ponerse en correspondencia biyectiva con un subconjunto propio.



Cantor prueba que los racionales es el conjunto infinito con menor potencia, y que la potencia de R y de R^n es la misma para cualquier entero positivo n

  • Cantor prueba que los racionales es el conjunto infinito con menor potencia, y que la potencia de R y de R^n es la misma para cualquier entero positivo n

  • (este resultado sorprendió tanto a Cantor que cuando se lo comunicó a su amigo Dedekind en 1877, escribió “¡lo veo, pero no lo creo!”).



Cantor introduce los números transfinitos o cardinales transfinitos con la siguiente idea:

  • Cantor introduce los números transfinitos o cardinales transfinitos con la siguiente idea:

  • Por el mismo proceso que podemos abstraer la idea de número 5 c0m0 la clase de todos los conjuntos equipotentes a un conjunto cualquiera con cinco elementos.

  • Dado un conjunto A, por doble abstracción de la naturaleza de sus elementos y del posible orden en que estén dados, podemos asociar a cada conjunto A un objeto matemático, card(A) que se llama su número cardinal potencial



El potencial es el mismo para todos los conjuntos equipotentes a A.

  • El potencial es el mismo para todos los conjuntos equipotentes a A.

  • Cuando A es finito, card(A) es el número de elementos de A.

  • La potencia de los conjuntos numerables (infinitos) la rcpresentó Cantor por la primera letra del alfabeto hebreo ﭏ.

  • La potencia de la recta real y de cualquier intervalo no vacío y no reducido a un punto, se representa por c y se llama la potencia del continuo.



La novedad de los conceptos y técnicas empleadas y los sorprendentes resultados obtenidos, que contradecían muchas ideas arraigadas sobre el “tamaño” de distintos conjuntos, hizo que las teorías de Cantor despertaran la oposición e incluso la hostilidad de muchos matemáticos contemporáneos.

  • La novedad de los conceptos y técnicas empleadas y los sorprendentes resultados obtenidos, que contradecían muchas ideas arraigadas sobre el “tamaño” de distintos conjuntos, hizo que las teorías de Cantor despertaran la oposición e incluso la hostilidad de muchos matemáticos contemporáneos.

  • Entre ellos destaca la figura de L. Kronecker (1823-1891), muy influyente en la época , que pasó incluso del ataque científico al ataque personal. Lo que le produjo a Cantor una crisis nerviosa y una profunda depresión entre 1884 y 1887,



En fin, en 1895 y 1897 aparecieron en Mathematische Annalen sus dos principales trabajos sobre la teoría de conjuntos, con una exposición sistemática y moderna de la misma.

  • En fin, en 1895 y 1897 aparecieron en Mathematische Annalen sus dos principales trabajos sobre la teoría de conjuntos, con una exposición sistemática y moderna de la misma.

  • Al parecer, Cantor retrasó la publicación del segundo artículo, esperando incluir una prueba de la hipótesis del continuo, que él mismo había formulado.

  • La hipótesis del continuo viene a decir:

  • No existen conjuntos cuyo tamaño esté comprendido estrictamente entre el de los enteros y el de los números reales.



Hoy en día, la comunidad matemática reconoce plenamente su trabajo, y admite que significa un salto cualitativo importante en el raciocinio lógico. Le reconoce así mismo como el creador de la Teoría de conjuntos.

  • Hoy en día, la comunidad matemática reconoce plenamente su trabajo, y admite que significa un salto cualitativo importante en el raciocinio lógico. Le reconoce así mismo como el creador de la Teoría de conjuntos.

  • Murió en una clínica psiquiátrica de monjas, aquejado de una enfermedad maníaco-depresiva (Trastorno Bipolar) provocada por sus intentos de comprobar matemáticamente la Hipótesis del continuo.



A pesar de las reticencias iniciales, poco a poco se fue consolidando la idea de que la Teoría de Conjuntos podía ser la base sobre la cual construir toda la Matemática.

  • A pesar de las reticencias iniciales, poco a poco se fue consolidando la idea de que la Teoría de Conjuntos podía ser la base sobre la cual construir toda la Matemática.

  • Una sólida fundamentación de la Teoría de Conjuntos, proporcionaría la ansiada base firme sobre la que asentar toda la Matemática.



Si A es un conjunto con n elementos, hay exactamente 2^n subconjuntos de A (incluyendo el vacío y el total). Esto es, el cardinal del conjunto formado por todos los subconjuntos de A es estrictamente mayor que el de A.

  • Si A es un conjunto con n elementos, hay exactamente 2^n subconjuntos de A (incluyendo el vacío y el total). Esto es, el cardinal del conjunto formado por todos los subconjuntos de A es estrictamente mayor que el de A.

  • Cantor demostró la validez de este hecho para cualquier conjunto no necesariamente finito: el cardinal del conjunto de las partes de un conjunto A es estrictamente mayor que el de A.

  • Si U es el conjunto de todos los conjuntos, el conjunto de sus partes es un subconjunto de U y, por tanto, ¡su cardinal no puede ser mayor que el de U!




Do'stlaringiz bilan baham:


Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2017
ma'muriyatiga murojaat qiling