Georg Cantor y un concepto de n mero anterior a la teor de u a conjuntos transnitos

Abelardo Vela Ponce de Len o

Departamento de Matemticas a Facultad de Ciencias, UNAM

V Congreso de Historia y Filosof de las Matemticas a a UMSNH c 2012

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Contenido

Introduccin o El nmero como unidad de medida u El problema de los fundamentos de la matemtica a Descripcin del problema o Las series trigonomtricas de Fourier e Magnitud numrica e Conclusin o Conclusin o Referencias

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 2 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

El n mero como unidad de medida u

El nmero como unidad de medida parte de la revolucin que se da en el u o siglo XVII con el trabajo desarrollado por Galileo Galilei y Ren Descartes. e La f sica se clsica o aristotlica va a cambiar por completo en el momento en a e el cual Descartes le da a la geometr la posibilidad de poderse usar dentro de a lo que ms tarde se conocer por f a a sica, creando entonces un nuevo concepto, la Ley de la Inercia. Con ello se crea una nueva concepcin ontolgica del o o trmino nmero, tal concepcin determina al nmero como un objeto que e u o u tiene la funcin de cantidad, es decir de ser usado para medir y cuanticar en o el nuevo esquema cient co que se est forjando en este siglo. a

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 3 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

El n mero como unidad de medida u

El nmero como unidad de medida parte de la revolucin que se da en el u o siglo XVII con el trabajo desarrollado por Galileo Galilei y Ren Descartes. e La f sica se clsica o aristotlica va a cambiar por completo en el momento en a e el cual Descartes le da a la geometr la posibilidad de poderse usar dentro de a lo que ms tarde se conocer por f a a sica, creando entonces un nuevo concepto, la Ley de la Inercia. Con ello se crea una nueva concepcin ontolgica del o o trmino nmero, tal concepcin determina al nmero como un objeto que e u o u tiene la funcin de cantidad, es decir de ser usado para medir y cuanticar en o el nuevo esquema cient co que se est forjando en este siglo. a

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 3 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

El problema de los fundamentos de la matemtica a

La matemticas proporcionaron de una aparente certidumbre a las ciencias a emp ricas que las implementaron antes de el colapso de la fundamentacin o con el desarrollo de las geometr no euclidianas. Posterior a esto, la as bsqueda por da un fundamento a las matemticas toma dos vertientes, la u a del desarrollo lgico matemtico, y la de la teor de conjuntos. o a a En el desarrollo de la teor de conjuntos, hay dos guras centrales para su a creacin, Richard Dedekiind y George Cantor. Ambos hombres entablaron un o asidua correspondencia, en la cual Cantor le comentaba sus hallazgos a Dedekind, con lo cual se dio inicio a lo que terminar en la teor de a a conjuntos que en la actualidad conocemos.

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 4 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

El problema de los fundamentos de la matemtica a

La matemticas proporcionaron de una aparente certidumbre a las ciencias a emp ricas que las implementaron antes de el colapso de la fundamentacin o con el desarrollo de las geometr no euclidianas. Posterior a esto, la as bsqueda por da un fundamento a las matemticas toma dos vertientes, la u a del desarrollo lgico matemtico, y la de la teor de conjuntos. o a a En el desarrollo de la teor de conjuntos, hay dos guras centrales para su a creacin, Richard Dedekiind y George Cantor. Ambos hombres entablaron un o asidua correspondencia, en la cual Cantor le comentaba sus hallazgos a Dedekind, con lo cual se dio inicio a lo que terminar en la teor de a a conjuntos que en la actualidad conocemos. Con este desarrollo de la teor de conjuntos se crea una nueva concepcin de a o el trmino nmero, el cual se entiende como un objeto que depende de la e u estructura matemtica que lo contiene, es decir, el n mero tendr sentido si a u a cumple con las reglas impuestas dentro de la estructura matemtica. a Aportacin de David Hilbert. o

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 4 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

El problema de los fundamentos de la matemtica a

La matemticas proporcionaron de una aparente certidumbre a las ciencias a emp ricas que las implementaron antes de el colapso de la fundamentacin o con el desarrollo de las geometr no euclidianas. Posterior a esto, la as bsqueda por da un fundamento a las matemticas toma dos vertientes, la u a del desarrollo lgico matemtico, y la de la teor de conjuntos. o a a En el desarrollo de la teor de conjuntos, hay dos guras centrales para su a creacin, Richard Dedekiind y George Cantor. Ambos hombres entablaron un o asidua correspondencia, en la cual Cantor le comentaba sus hallazgos a Dedekind, con lo cual se dio inicio a lo que terminar en la teor de a a conjuntos que en la actualidad conocemos. Con este desarrollo de la teor de conjuntos se crea una nueva concepcin de a o el trmino nmero, el cual se entiende como un objeto que depende de la e u estructura matemtica que lo contiene, es decir, el n mero tendr sentido si a u a cumple con las reglas impuestas dentro de la estructura matemtica. a Aportacin de David Hilbert. o Pero antes de esta nueva concepcin De dnde parten Cantor y Dedekind? o o irremediablemente del concepto de nmero como unidad de medida, no hay u otra, pero esta sostendr la base para la nueva concepcin del trmino a o e nmero. u
Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 4 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

El problema de los fundamentos de la matemtica a

La matemticas proporcionaron de una aparente certidumbre a las ciencias a emp ricas que las implementaron antes de el colapso de la fundamentacin o con el desarrollo de las geometr no euclidianas. Posterior a esto, la as bsqueda por da un fundamento a las matemticas toma dos vertientes, la u a del desarrollo lgico matemtico, y la de la teor de conjuntos. o a a En el desarrollo de la teor de conjuntos, hay dos guras centrales para su a creacin, Richard Dedekiind y George Cantor. Ambos hombres entablaron un o asidua correspondencia, en la cual Cantor le comentaba sus hallazgos a Dedekind, con lo cual se dio inicio a lo que terminar en la teor de a a conjuntos que en la actualidad conocemos. Con este desarrollo de la teor de conjuntos se crea una nueva concepcin de a o el trmino nmero, el cual se entiende como un objeto que depende de la e u estructura matemtica que lo contiene, es decir, el n mero tendr sentido si a u a cumple con las reglas impuestas dentro de la estructura matemtica. a Aportacin de David Hilbert. o Pero antes de esta nueva concepcin De dnde parten Cantor y Dedekind? o o irremediablemente del concepto de nmero como unidad de medida, no hay u otra, pero esta sostendr la base para la nueva concepcin del trmino a o e nmero. u
Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 4 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Las Series trigonomtricas de Fourier e

Cantor inici sus investigaciones, por sugerencia de Heinrich Haine; quien le o motivo a abordar el trabajo sobre series trigonomtricas que e desarroll Fourier, el cual arma, que cualquier funcin que represente a una o o curva suave, sta se puede suplir precisamente por una serie trigonomtrica. e e Es decir, una ecuacin puede ser aproximada a travs de una serie compuesta o e por senos y cosenos en sus trminos. e Esta serie se puede denir como sigue:. Supngase que se tiene una funcin f de los nmeros reales en los nmeros o o u u reales tales que: f (x) = a0 + (an cos(nx) + bn sen(nx)) 2 n=1

donde los valores para an con n 0 y bn con n 1 se denotan por:

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 5 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Las Series trigonomtricas de Fourier e

Cantor inici sus investigaciones, por sugerencia de Heinrich Haine; quien le o motivo a abordar el trabajo sobre series trigonomtricas que e desarroll Fourier, el cual arma, que cualquier funcin que represente a una o o curva suave, sta se puede suplir precisamente por una serie trigonomtrica. e e Es decir, una ecuacin puede ser aproximada a travs de una serie compuesta o e por senos y cosenos en sus trminos. e Esta serie se puede denir como sigue:. Supngase que se tiene una funcin f de los nmeros reales en los nmeros o o u u reales tales que: f (x) = a0 + (an cos(nx) + bn sen(nx)) 2 n=1

donde los valores para an con n 0 y bn con n 1 se denotan por: 1

an = y

f (x)cos(nx)dx

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 5 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Las Series trigonomtricas de Fourier e

Cantor inici sus investigaciones, por sugerencia de Heinrich Haine; quien le o motivo a abordar el trabajo sobre series trigonomtricas que e desarroll Fourier, el cual arma, que cualquier funcin que represente a una o o curva suave, sta se puede suplir precisamente por una serie trigonomtrica. e e Es decir, una ecuacin puede ser aproximada a travs de una serie compuesta o e por senos y cosenos en sus trminos. e Esta serie se puede denir como sigue:. Supngase que se tiene una funcin f de los nmeros reales en los nmeros o o u u reales tales que: f (x) = a0 + (an cos(nx) + bn sen(nx)) 2 n=1

donde los valores para an con n 0 y bn con n 1 se denotan por: 1

an = y

f (x)cos(nx)dx

1 f (x)sen(nx)dx. Furier dio demostraciones para algunos casos particulares, y plante una o Georg u a demostracinCantor y un concepto de nmero anterior a la teor de conjuntos transfinitos o parcial del caso general. bn =

5 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Las Series trigonomtricas de Fourier e

Cantor inici sus investigaciones, por sugerencia de Heinrich Haine; quien le o motivo a abordar el trabajo sobre series trigonomtricas que e desarroll Fourier, el cual arma, que cualquier funcin que represente a una o o curva suave, sta se puede suplir precisamente por una serie trigonomtrica. e e Es decir, una ecuacin puede ser aproximada a travs de una serie compuesta o e por senos y cosenos en sus trminos. e Esta serie se puede denir como sigue:. Supngase que se tiene una funcin f de los nmeros reales en los nmeros o o u u reales tales que: f (x) = a0 + (an cos(nx) + bn sen(nx)) 2 n=1

donde los valores para an con n 0 y bn con n 1 se denotan por: 1

an = y

f (x)cos(nx)dx

1 f (x)sen(nx)dx. Furier dio demostraciones para algunos casos particulares, y plante una o Georg u a demostracinCantor y un concepto de nmero anterior a la teor de conjuntos transfinitos o parcial del caso general. bn =

5 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Solucin del Problema o

Dirichlet y Riemann intentaron dar soluciones sucientes y necesarias respectivamente sin xito, es aqu donde la gura de Cantor entra en escena. e Dirichlet determin una serie de condiciones para la una funcin f , sin o o embargo la unicidad de sta debe quedar probada, es decir, si una funcin se e o puede representar con una serie trigonomtrica, su representacin debe e o corresponder a una sola serie y no a dos o ms series. Cantor resolvi dicha a o cuestin en una sucesin de trabajos que van de 1870 a 1872, en los cuales o o supone una funcin f denida en un conjunto nito X R a R, la cual se o puede representar por una serie trigonomtrica, en los trminos dados e e anteriormente, de modo que la unicidad de la representacin de la funcin es o o un corolario que se deduce del teorema que arma lo siguiente:

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 6 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Solucin del Problema o

Dirichlet y Riemann intentaron dar soluciones sucientes y necesarias respectivamente sin xito, es aqu donde la gura de Cantor entra en escena. e Dirichlet determin una serie de condiciones para la una funcin f , sin o o embargo la unicidad de sta debe quedar probada, es decir, si una funcin se e o puede representar con una serie trigonomtrica, su representacin debe e o corresponder a una sola serie y no a dos o ms series. Cantor resolvi dicha a o cuestin en una sucesin de trabajos que van de 1870 a 1872, en los cuales o o supone una funcin f denida en un conjunto nito X R a R, la cual se o puede representar por una serie trigonomtrica, en los trminos dados e e anteriormente, de modo que la unicidad de la representacin de la funcin es o o un corolario que se deduce del teorema que arma lo siguiente: Teorema

Teorema
Se tiene una funcin f denida en un intervalo nito X R a R, donde o

f (x) =

a0 2

(an cos(nx) + bn sen(nx)) = 0 si y slo si an = 0 y bn = 0 para o

n=1

cualquier nmero n en los nmeros naturales. u u

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 6 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Solucin del Problema o

Dirichlet y Riemann intentaron dar soluciones sucientes y necesarias respectivamente sin xito, es aqu donde la gura de Cantor entra en escena. e Dirichlet determin una serie de condiciones para la una funcin f , sin o o embargo la unicidad de sta debe quedar probada, es decir, si una funcin se e o puede representar con una serie trigonomtrica, su representacin debe e o corresponder a una sola serie y no a dos o ms series. Cantor resolvi dicha a o cuestin en una sucesin de trabajos que van de 1870 a 1872, en los cuales o o supone una funcin f denida en un conjunto nito X R a R, la cual se o puede representar por una serie trigonomtrica, en los trminos dados e e anteriormente, de modo que la unicidad de la representacin de la funcin es o o un corolario que se deduce del teorema que arma lo siguiente: Teorema

Teorema
Se tiene una funcin f denida en un intervalo nito X R a R, donde o

f (x) =

a0 2

(an cos(nx) + bn sen(nx)) = 0 si y slo si an = 0 y bn = 0 para o

n=1

cualquier nmero n en los nmeros naturales. u u

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 6 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Cantor, a sugerencia de Kronecker, toma en cuenta que hay valores en el intervalo X para los cuales el l mite:
n

l (an sen(nx) + bn cos(nx)) m

no converge o converge a un trmino distinto de cero, de tal manera que e determina la valides de su demostracin an con la presencia de estos valores. o u En 1871, Cantor ampl el Teorema 1, suponiendo un conjunto de valores a cualesquiera para los cuales el l mite anterior no converge o converge a un valor distinto de cero para un conjunto nito X en el cual la funcin f o est denida. a En 1872 Cantor, introduce dentro de su demostracin, una teor de o a conjuntos de nmeros reales, con los cuales se da un conjunto X, dentro del u cual hay un subconjunto innito de valores para los cuales el l mite antes dado, no converge o converge a un valor distinto de cero. Lo relevante para nosotros es esta nueva teor de los nmeros reales. a u

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 7 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Cantor, a sugerencia de Kronecker, toma en cuenta que hay valores en el intervalo X para los cuales el l mite:
n

l (an sen(nx) + bn cos(nx)) m

no converge o converge a un trmino distinto de cero, de tal manera que e determina la valides de su demostracin an con la presencia de estos valores. o u En 1871, Cantor ampl el Teorema 1, suponiendo un conjunto de valores a cualesquiera para los cuales el l mite anterior no converge o converge a un valor distinto de cero para un conjunto nito X en el cual la funcin f o est denida. a En 1872 Cantor, introduce dentro de su demostracin, una teor de o a conjuntos de nmeros reales, con los cuales se da un conjunto X, dentro del u cual hay un subconjunto innito de valores para los cuales el l mite antes dado, no converge o converge a un valor distinto de cero. Lo relevante para nosotros es esta nueva teor de los nmeros reales. a u

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 7 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Magnitud numrica e
El trabajo en el cual descansa la creacin de la teor de conjuntos o a transnitos -toma de la matemtica de la cantidad, es decir, de un concepto a de nmero como unidad de medida- su fundamento. u Cantor solo tiene a la mano este concepto de n mero con el cual arma que u se puede determinar una ampliacin del concepto de magnitud numrica o e usando los nmeros racionales. u

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 8 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Magnitud numrica e
El trabajo en el cual descansa la creacin de la teor de conjuntos o a transnitos -toma de la matemtica de la cantidad, es decir, de un concepto a de nmero como unidad de medida- su fundamento. u Cantor solo tiene a la mano este concepto de n mero con el cual arma que u se puede determinar una ampliacin del concepto de magnitud numrica o e usando los nmeros racionales. u Esto lo hacemos tomando una sucesin {an }nN dentro de los n meros o u racionales, tal que dicha sucesin cumpla con el criterio de Cauchy para o sucesiones, esto es:

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 8 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Magnitud numrica e
El trabajo en el cual descansa la creacin de la teor de conjuntos o a transnitos -toma de la matemtica de la cantidad, es decir, de un concepto a de nmero como unidad de medida- su fundamento. u Cantor solo tiene a la mano este concepto de n mero con el cual arma que u se puede determinar una ampliacin del concepto de magnitud numrica o e usando los nmeros racionales. u Esto lo hacemos tomando una sucesin {an }nN dentro de los n meros o u racionales, tal que dicha sucesin cumpla con el criterio de Cauchy para o sucesiones, esto es: Denicin o

Denicin o
Sea {an }nN una sucesin dentro de los nmeros racionales tal que para cada o u > 0 existe una N N, para cualquier n y m en los naturales tales que m > n > N , entonces | an am |< . ..

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 8 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Magnitud numrica e
El trabajo en el cual descansa la creacin de la teor de conjuntos o a transnitos -toma de la matemtica de la cantidad, es decir, de un concepto a de nmero como unidad de medida- su fundamento. u Cantor solo tiene a la mano este concepto de n mero con el cual arma que u se puede determinar una ampliacin del concepto de magnitud numrica o e usando los nmeros racionales. u Esto lo hacemos tomando una sucesin {an }nN dentro de los n meros o u racionales, tal que dicha sucesin cumpla con el criterio de Cauchy para o sucesiones, esto es: Denicin o

Denicin o
Sea {an }nN una sucesin dentro de los nmeros racionales tal que para cada o u > 0 existe una N N, para cualquier n y m en los naturales tales que m > n > N , entonces | an am |< . ..

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 8 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

En la literatura actual, si una sucesin cumple el criterio de Cauchy, o entonces dicha sucesin converge a un nmero real; e inversamente, si una o u sucesin converge, entonces la sucesin cumple el criterio de Cauchy. o o

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 9 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

La denicin de magnitud numrica o e

Cantor toma dos sucesiones {an }nN y {bm }mN dentro de un dominio A dentro del conjunto de los nmeros racionales, entonces se dene a los indices de las u sucesiones por y como conjuntos de n meros racionales, de donde si an y u bm , entonces para cada un nmero racional > 0 existe N N para cada n y u m en los nmeros naturales de donde si m > n > N , entonces | an bm |< . u Podemos entender al indice de una sucesin, como el conjunto de trminos de la o e sucesin. En este sentido, si las sucesiones {an }nN y {bm }mN , se arma que o ambas sucesiones tienen le mismo indice, lo anterior implica que ambas sucesiones son equivalentes. Si dos sucesiones tienen diferentes indices tales que si < , entonces existe un nmero racional p tal que para algn N N de donde u u p < (bm an ) si N < n < m, con n y m dentro del conjunto de los nmeros u naturales. Al conjunto de indices con estas caracter sticas Cantor lo dene como un dominio B, si se toman cualesquiera dos sucesiones cuyos indices pertenecen a B, tales que para cada m y n en N si an y bm y an + bm y (an )(bm ), entonces la suma y el producto estn denidos para cualquier par de indices y a dentro de B, por lo cual se sigue que + y ()() son operaciones cerradas en B, luego entonces, Cantor dene a los trminos dentro de B como magnitudes e numricas. e

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 9 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

La denicin de magnitud numrica o e

Cantor toma dos sucesiones {an }nN y {bm }mN dentro de un dominio A dentro del conjunto de los nmeros racionales, entonces se dene a los indices de las u sucesiones por y como conjuntos de n meros racionales, de donde si an y u bm , entonces para cada un nmero racional > 0 existe N N para cada n y u m en los nmeros naturales de donde si m > n > N , entonces | an bm |< . u Podemos entender al indice de una sucesin, como el conjunto de trminos de la o e sucesin. En este sentido, si las sucesiones {an }nN y {bm }mN , se arma que o ambas sucesiones tienen le mismo indice, lo anterior implica que ambas sucesiones son equivalentes. Si dos sucesiones tienen diferentes indices tales que si < , entonces existe un nmero racional p tal que para algn N N de donde u u p < (bm an ) si N < n < m, con n y m dentro del conjunto de los nmeros u naturales. Al conjunto de indices con estas caracter sticas Cantor lo dene como un dominio B, si se toman cualesquiera dos sucesiones cuyos indices pertenecen a B, tales que para cada m y n en N si an y bm y an + bm y (an )(bm ), entonces la suma y el producto estn denidos para cualquier par de indices y a dentro de B, por lo cual se sigue que + y ()() son operaciones cerradas en B, luego entonces, Cantor dene a los trminos dentro de B como magnitudes e numricas. e

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 9 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Conclusin o

Cantor encuentra as los trminos que le van a permitir dar solucin a la e o demostracin de la unicidad de las series Trigonomtricas de Fourier, de paso se va o e gestando la base para la creacin de la teor de conjuntos transnitos. o a

Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 10 / 11

Introduccin o

Descripcin del problema o

Conclusin o

Referencias

Referencias
A.J. Chorin, J.E. Marsden.
A Mathematical Introduction to Fluid Mechanics Springer-Verlag, 1980.

K. Devlin.
The Millenium Problems. The Seven Greatest Unsolved Mathematical Puzzles of Our Time Basic Books, 2002.

C. Feerman.
Clay Mathematics Institute, Millenium Problems. Ocial problem description. http://www.claymath.org/millennium/Navier-Stokes Equation

Wikipedia contributors
Navier-Stokes equations Wikipedia, The Free Encyclopedia., 2008. http://en.wikipedia.org/wiki/Navier-Stokes equations
Georg Cantor y un concepto de n mero anterior a la teor de conjuntos transfinitos u a 11 / 11