32

Objetos Matemticos y Prcticas Constitutivas: La Gnesis de la Topologa de Vecindades.

Luis Carlos Arboleda Universidad del Valle, Cali luis.carlos.arboleda@gmail.com

Abstract: In this paper we review some significant moments in the genesis of the topology of neighborhoods trying to clarify the role of ideas and values of Frchet and Hausdorff in its constituve practices of that theory. By introducing the first topological structures in abstract spaces to meet the most important applications in the analysis, Frchet appeals to two types of Leibnizian ideals: analysis of the principles to advance particular inventions, and the mathematics of forms to state in the register of simbolic thought what perception allows to see. The formalization of the topology of neighborhoods in the framework of set theory is motivated for Hausdorff, by ideals of simplicity, unity and economy of thought. Hausdorff shares the conviction of Hilbert that an axiomatic presentation with these features has the logical analysis of spatial intuition as a prerequisite. Key Words: history of topology; Frchet; Hausdorff; mathematical practice. Resumen: En este trabajo se revisan algunos momentos significativos de la gnesis de la topologa de vecindades tratando de aclarar el papel de las concepciones y valores de Frchet y Hausdorff en sus prcticas constitutivas de esa teora. Al introducir las primeras estructuras topolgicas en los espacios abstractos para responder a las aplicaciones ms importantes en el anlisis, Frchet apela a dos tipos de ideales leibnizianos: el "anlisis de los principios" para hacer avanzar las invenciones particulares, y la "matemtica de las formas" para formular en el registro del pensamiento simblico aquello que permite ver la percepcin. La formalizacin de la topologa de las vecindades en el marco de la teora de conjuntos est motivada, en el caso de Hausdorff, por ideales de simplicidad, unidad y economa de pensamiento. Hausdorff comparte la conviccin de Hilbert de que una presentacin axiomtica con estas caractersticas tiene como prerrequisito el "anlisis lgico de la intuicin espacial". Palabras Clave: historia de la topologa; Frchet; Hausdorff; prctica matemtica. Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.

33

1. Introduccin A comienzos del siglo XX el Anlisis Funcional estudiaba la clase de funciones numricas definidas sobre conjuntos de lneas, funciones reales, sucesiones numricas y otros objetos. El campo no estaba an unificado y la investigacin se adelantaba en una pluralidad de teoras, cada una determinada por la naturaleza especifica del dominio de la variable (Arboleda y Recalde, 2003). El aporte de matemticos como Volterra, Hadamard y Frchet consiste en reconocer la necesidad de introducir dos extensiones. En la primera extensin los objetos del campo son funciones numricas definidas sobre conjuntos de naturaleza cualquiera. Esto implica que la teora adquiere una unidad de primer orden en la cual se hace abstraccin de la naturaleza de la variable. La segunda extensin genera el nuevo campo matemtico que Frchet denomin Anlisis General (Frchet 1928) cuyos objetos son funciones abstractas, no exclusivamente numricas, definidas sobre conjuntos de puntos de naturaleza cualquiera. Estas funciones generalizadas se denominarn funcionales. Esta generalizacin busca darle a la teora una unidad de segundo orden en la cual se hace abstraccin tanto de la naturaleza de la variable como de la naturaleza de los valores de la funcin. El objetivo inmediato del programa de investigacin del Anlisis General era extender aquellas propiedades fundamentales del clculo infinitesimal al dominio de las funcionales. En esta direccin se impone la necesidad de reconocer una condicin estructural del espacio en el que se define la funcional, su geometra intrnseca, a travs de determinada relacin de proximidad entre sus puntos, es decir, su topologa. En la publicacin (Frchet 1904) se generaliza por primera vez a la clase de las funcionales continuas la propiedad de Weierstrass sobre la existencia del extremo de una funcin real continua en un intervalo cerrado y acotado.

Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.

34

2. Frchet y la gnesis de las primeras estructuras topolgicas

En su historia de los espacios completos Dugac reconoce que Frchet abrir con su tesis una nueva poca en el anlisis, caracterizada por un florecimiento de espacios nuevos y por la bsqueda de las propiedades caractersticas de estos espacios que condujo a estructuras a la vez flexibles y ricas para responder a las aplicaciones ms importantes en el anlisis. (Dugac, 1984; p. 18). En efecto, en su tesis (Frchet, 1906; p. 5-6) Frchet introduce una estructura topolgica en un espacio abstracto. Sea una clase L de elementos de naturaleza cualquiera. Frchet define la convergencia de una sucesin siguientes condiciones: Si , para entonces converge a ; converge a para toda de tales elementos con base en las

Si converge a , entonces sucesin de .

Es el llamado espacio L de Frchet, una clase L de elementos indeterminados en la cual la convergencia de sucesiones generalizadas est determinada por las condiciones y . Frchet define las partes compactas E del espacio L (como

generalizaciones de los intervalos de R) y enuncia as la extensin del teorema de Weierstrass en L: Toda funcional continua en un conjunto compacto y cerrado E, alcanza su cota superior y su cota inferior en E (Frchet, 1904; p. 849). Un espacio abstracto es una clase o conjunto de elementos de naturaleza homognea pero cualquiera, en la cual se ha definido la nocin de proximidad entre tales elementos. El problema de determinar las propiedades infinitesimales de las funcionales est lgicamente precedido por el problema de establecer las propiedades infinitesimales de los conjuntos abstractos. La generalizacin de segundo orden escapa a la intuicin pues el objeto funcional es de naturaleza cualquiera y est definido en espacios de naturaleza

Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.

35

cualquiera dotados de una estructura topolgica (convergencia generalizada). Esta situacin es elevada por Hadamard a comienzos del siglo XX a la categora de programa de investigacin (Hadamard, 1912; p. 17):
El continuo funcional es decir la multiplicidad obtenida haciendo variar continuamente una funcin de todas las maneras posibles-, no ofrece a nuestro entendimiento, ninguna imagen simple. La intuicin geomtrica no nos ensea nada, a priori, al respecto. Estamos obligados a poner remedio a esta ignorancia, y solo podemos hacerlo analticamente, creando un captulo de la teora de conjuntos para el uso del continuo funcional.

Frchet, alumno de Hadamard, cre una teora de conjuntos especialmente concebida para permitir el estudio analtico del continuo funcional. De ah el ttulo de su obra ms conocida: Teora de los Espacios abstractos como Introduccin al Anlisis general (Frchet, 1928). Aos ms tarde afirmar que el estudio de espacios abstractos por su estructura topolgica (Frchet, 1933):
Evita la repeticin fastidiosa de teoras y demostraciones exactamente idnticas en el fondo, aunque relativas a dominios de objetos de naturaleza diversa: nmeros, curvas, superficies, funciones, series, grupos, variables aleatorias, etc., etc.

Sin embargo, en la misma tesis (captulo 2) Frchet reconoce que las clases L son excesivamente generales y no permiten la extensin de ciertas propiedades de los conjuntos lineales, v. gr. la propiedad de que el derivado de cualquier conjunto es cerrado. Entonces considera necesario imponerle ciertas restricciones a las clases L (Frchet, 1906; p. 17):
1 Tales restricciones deberan poder enunciarse independientemente de la naturaleza de los elementos considerados; 2 Deberan satisfacerse para las clases de elementos que intervienen lo ms frecuentemente en las aplicaciones; 3 Deberan proporcionar la generalizacin que se est buscando de los teoremas sobre conjuntos lineales y funciones continuas.

Entonces introduce una nueva clase de espacios cuya generalidad cumple estas restricciones. Es la clase V (V de vecindad), en donde las vecindades estn definidas en trminos de una funcin distancia de la siguiente manera (Frchet,
Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.

36

1906; p. 18): A cada par de elementos

de naturaleza cualquiera de la clase V, que cumple las

se le asigna un nmero llamado vecindad siguientes propiedades: si y solamente si existe una funcin positiva pequeo y para la cual para todo de la clase V. ; , tal que si

tiende a 0 para muy y

Conviene aclarar que en los aos siguientes Frchet continu desarrollando sus investigaciones sobre la topologa de las vecindades de manera independiente de Hausdorff cuya obra de 1914 solamente conoci en 1919. Estos trabajos de Frchet, en conexin con Riesz, Moore, Hausdorff y otros autores han sido estudiados en (Arboleda, 1980). Frchet define el objeto espacio completo para una clase V (Frchet, 1906; p. 23): Diremos que V admite una generalizacin del teorema de Cauchy si toda sucesin de elementos de esta clase, que satisfacen las condiciones de Cauchy, tiene un elemento lmite. Tambin introduce el objeto espacio mtrico bajo la denominacin de clase E, E de cart (distancia). A todo par de elementos un nmero 30): La distancia Si es nula cuando y son idnticos; asocia

que verifica las siguientes propiedades (Frchet, 1906; p.

son tres elementos cualesquiera, siempre se tiene que

Luego se demuestra que la distancia es una vecindad, es decir que toda clase E es una clase V. Uno de los problemas de mayor inters en la investigaciones topolgicas de los aos 1920 fue el estudio de las condiciones suficientes y necesarias para que una clase V sea clase E. Es decir, el problema de las metrizaciones de un espacio abstracto.

Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.

37

La introduccin del cart (distancia) resulta de una forma estructural de pensamiento que busca preservar intuiciones euclidianas en los espacios abstractos. Se define esencialmente por un modo abstracto de composicin entre los puntos del espacio que cumple los tres axiomas anteriores. Es un procedimiento estructural del mismo tipo de los modos de composicin en la teora de grupos. Segn Frchet (Frchet, 1906; p. 5):
Slo es posible llegar a una teora comn abstenindose de dar una definicin general del modo de composicin, y buscando las condiciones comunes a las definiciones particulares y considerando nicamente las que eran independientes de la naturaleza de los elementos considerados.

Las prcticas constitutivas de objetos matemticos no se pueden estudiar al margen de las concepciones y valores de los matemticos sobre tales objetos. Frchet reconoce a lo largo de su carrera que sus investigaciones en Topologa General y Anlisis General se inspiraron en el ideal leibniziano del anlisis de los principios que resume en el siguiente precepto (Frchet, 1933; epgrafe, p.1):
Quienes prefieren avanzar en los detalles de las ciencias desprecian las investigaciones abstractas y generales. Quienes profundizan en los principios entran raramente en las particularidades. En cuanto a mi, le doy igual importancia a lo uno y lo otro porque he encontrado que el anlisis de los principios facilita el avance de las invenciones particulares.

Esta prctica de constitucin de objetos abstractos est marcada por la bsqueda leibniziana de una matemtica de las formas. Una matemtica que permita formular en el registro del pensamiento simblico aquello que nos permite ver la percepcin. En este sentido, la generalizacin que practica Frchet apunta a: introducir en el anlisis procedimientos de combinatoria que prescindan de lo infinitesimal; interpretar convenientemente la ley de continuidad para generalizar propiedades de lo finito a lo infinito, y conocer los objetos matemticos en el universo simblico de su representacin.
Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.

38

3. Hausdorff y la formalizacin de la topologa de vecindades

En la noticia histrica del volumen de su Topologa General (Bourbaki, 1971; p. 126), Bourbaki reconoce que:
Con Hausdorff comienza la topologa general como se la entiende actualmente. Retomando la nocin de vecindad, supo escoger entre los axiomas de Hilbert para las vecindades del plano aquellos que podan dar a su teora toda la precisin y al mismo tiempo toda la generalidad deseables. El captulo en el que desarrolla las consecuencias contina siendo el modelo de teora axiomtica, abstracta pero bien concebida para adaptarse a las aplicaciones. Este fue el punto de partida natural de las posteriores investigaciones sobre la topologa general.

En efecto, la axiomtica de las vecindades de Hausdorff para la topologa de un espacio abstracto se encuentra en el captulo VII sobre Conjuntos de puntos en espacios generales de los Fundamentos de la teora de conjuntos (Hausdorff, 1914). (Seguimos aqu la seleccin y traduccin de los apartes correspondientes en (Dugac, 2003)). Al introducir el primer pargrafo sobre Vecindades, Hausdorff aclara as uno de los rasgos caractersticos de la formalizacin de las estructuras topolgicas, el hecho de fundamentarse en lenguaje conjuntista (Hausdorff, 1914; p. 209):
La teora de conjuntos ha celebrado su ms bello triunfo en la aplicacin a los conjuntos de puntos de los espacios, en la clarificacin y la consolidacin de los fundamentos geomtricos.

Antes de presentar la forma general del sistema de axiomas sobre las vecindades para un espacio abstracto, Hausdorff lo interpreta para un espacio mtrico. Procede como si la ilustracin del objeto le permitiera justificar la pertinencia de su escogencia (Hausdorff, 1914; p. 211):
Pero para generar inmediatamente una imagen concreta, comencemos por vecindades especiales que se definen a travs de la distancia. Entendemos por un espacio mtrico un conjunto en el cual se hace corresponder a dos elementos (puntos) y cualesquiera un nmero real no negativo, su distancia y adems exigimos seguidamente la validez de los axiomas siguientes sobre las vecindades:

Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.

39

(Axioma de simetra). Siempre se tiene que

. si y

(Axioma de coincidencia). Siempre se tiene que solamente si . (Axioma de desigualdad triangular). Siempre se tiene que .

Define enseguida una vecindad conjunto de puntos

de un punto

en un espacio mtrico , como el

cuya distancia a

es ms pequea que un nmero positivo

dado. Despus de precisar que de acuerdo con la costumbre de sus antecesores emplea la designacin de espacio abstracto para indicar que sus elementos son de naturaleza cualquiera, introduce el sistema de axiomas que caracterizan el llamado espacio topolgico T2 separable de Hausdorff (Hausdorff, 1914; p. 264):
Por espacio topolgico entendemos un conjunto , cuyos elementos (puntos) pertenecen a un subconjunto que llamamos vecindad de , y que verifica los siguientes axiomas de vecindades: Para todo Si que Si Si y , existe una vecindad y tal

son vecindades de , existe otra vecindad de , y existe un , existen y tal que tales que

Observemos que en sus conferencias de Bonn de 1912, en donde Hausdorff interpreta las vecindades como el interior de esferas con centro en puntos de un espacio euclidiano E de dimensin n, el sistema de axiomas es equivalente al de los Fundamentos de la teora de conjuntos (1914) salvo el axioma que se enuncia en y

1912 de la siguiente manera (Taylor, 1985): Dadas dos vecindades de un punto o bien

Hausdorff define la nocin de espacio mtrico completo como aquel espacio mtrico en el cual toda sucesin de Cauchy (sucesin fundamental) converge. Luego demuestra que todo espacio mtrico puede extenderse en un espacio mtrico completo. En palabras de la tesis de Frchet, el espacio mtrico completo es
Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.

40

la clase que admite la generalizacin del teorema de Cauchy. El procedimiento de extensin de Hausdorff es el empleado por Frchet en 1906: (i) Se define una sucesin de Cauchy en un espacio metrico E. (ii) Se observa que toda sucesin convergente en E es de Cauchy. (iii) Se define a E como completo cuando toda sucesin de Cauchy en E converge en E. (iv) Finalmente se demuestra que todo espacio mtrico E puede prolongarse en un espacio mtrico completo E (conjunto de sucesiones de Cauchy de E). Hausdorff aclara en 1914 que la topologa del espacio puede fundamentarse indistintamente en las nociones de distancia, convergencia secuencial o vecindades, pero escoge axiomatizar las vecindades porque la nocin de vecindad es ms general que la de distancia. Es decir, permite deducir de ella una teora de conjuntos de puntos vlida no solo para la recta y el plano, sino para las superficies de Riemann, los espacios de dimensin finita e infinita y los espacios de curvas y superficies. En el contexto de las investigaciones sobre estas cuestiones alrededor de los aos 1930, el espacio de Hausdorff se revela como un concepto unificador del pensamiento geomtrico (Alexandrov, 1961; p. 9). En el prefacio de la obra Elementary Concepts of Topology, cuya versin alemana fue publicada en 1932, Hilbert se refiere as a la importancia del formalismo de Hausdorff para la topologa de vecindades comparado con la diversidad de investigaciones previas (Alexandrov, 1961):
Pocas ramas de la geometra se han desarrollado tan rpida y exitosamente en tiempos recientes como la topologa, y raramente una rama de una teora que inicialmente era poco prometedora como la topologa, ha adquirido una importancia tan fundamental en un amplio rango de campos completamente diferentes. Actualmente se utilizan los mtodos de la topologa y se estudian problemas topolgicos en casi todos las ramas del anlisis y de sus ms amplias aplicaciones. Este dominio amplio de aplicaciones requiere naturalmente que la estructura conceptual sea de tal precisin que pueda reconocerse el ncleo comn de problemas que en primera instancia parecen distintos.

Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.

41

La precisin de la estructura conceptual era justo lo que buscaba Hausdorff cuando entre varias presentaciones generales de la teora prefera aquella con la axiomtica ms sencilla y menos redundante posible. En alusion evidente a las clases L de Frchet, afirma que las vecindades eran preferibles porque permiten

desembarazarse de las dificultades de lo numerable que conlleva el uso de la convergencia secuencial (Hausdorff, 1914; p. 211). Su punto de vista es que la generalidad no debe traducirse en grandes complicaciones y, al menos en lo relacionado con las caractersticas principales de la teora, debe acompaarse de la simplicidad de la presentacin. Simplicidad, unidad y economa de pensamiento: configuran el estilo que hace de los Fundamentos de Teora de Conjuntos una obra pionera en su campo y que contribuy al desarrollo del enfoque estructural de las matemticas modernas. Este estilo de la presentacin formal debe preferirse porque nos protege contra los errores de razonamiento derivados de una intuicin defectuosa (Hausdorff, 1914; p. 211):
Finalmente, con este procedimiento lgico-deductivo nos protegemos de los errores a los que nos puede conducir la intuicin. Esta pretendida fuente de conocimiento cuyo valor heurstico obviamente no se cuestiona- se nos revela a menudo tan insuficiente y poco confiable en las partes ms sutiles de la topologa de conjuntos de puntos, que solo podemos confiar en ella despus de un examen cuidadoso. (Itlicas del autor).

Este examen cuidadoso equivale al anlisis lgico de la intuicin espacial al que se refiere Hilbert en la introduccin de los Fundamentos de la Geometra, una obra que, por supuesto, Hausdorff comprendi a fondo desde el comienzo (Punkert, 2008; p. 44-45) (Epple, 2006; p. 279-280). La garanta de la precisin conceptual de la estructura topolgica es pues, el anlisis lgico de la intuicin. Es lo que Hilbert reafirma expresamente en la continuacin de la cita anterior en el prefacio a los Elementary Concepts of Topology (Alexandrov, 1961):

Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.

42

No es de extraar que el anlisis de los conceptos geomtricos fundamentales les sustraiga en gran medida su inmediata intuicin, tanto ms, cuando en la aplicacin a otros campos, como en la geometra de nuestro espacio circundante, se hace necesaria una extensin a dimensiones arbitrarias.

Bibliografa

ARBOLEDA, L. C. (1980a). Contribution ltude des premires recherches topologiques daprs luvre et la correspondance de Maurice Frchet. Tesis de Doctorado, Paris. _____. (1980b). Las primeras investigaciones sobre los espacios topolgicos. Sociedad Colombiana de Matemticas. X Coloquio Colombiano de Matemticas, Paipa. _____. (2007). Modalidades constructivas y objetivacin del cuerpo de los reales, Revista Brasileira de Historia da Matemtica, Especial n1: 215-230. ARBOLEDA, L. C. y RECALDE, L. C. (2003). Frchet and the Logic of the Constitution of Abstract Spaces from Concrete Reality, Synthese, vol. 134, 245-272. ALEXANDROV, P. (1961). Elementary Concepts of Topology. Dover, New York. Traduccin de Einfachste Grundbegriffe der Topologie. Springer, 1932. BOURBAKI, N. (1971). Topologie Gnrale. Vol. 1, chapitres 1 4. Paris, Hermann. _____. (1974). lments dhistoire des mathmatiques. Paris, Hermann. DUGAC, P. (1984). Histoire des espaces complets. Revue dHistoire des Sciences, 3-28. _____. (2003). Histoire de lAnalyse. Autour de la notion de limite et de ses voisinages. Paris, Vuibert.

Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.

43

EPPLE, M. (2006): Felix Hausdorffs Considered Empiricism. IN: Ferreirs, J. and Gray, (2006); 263-289. FERREIRS, J. and GRAY, J. (ed.)(2006): The Architecture of Modern Mathematics. New York, Oxford University Press. FRCHET, M. (1904). Gnralisation dun thorme de Weierstrass. Comptes Rendus de lAcadmie des Sciences, Paris, vol. 139, 848-850. _____. (1906). Sur quelques points du calcul foncionnel. Rendiconti Circolo Mat. Palermo, vol. 22, 1-74. _____. (1928). Les Espaces Abstraits et leur thorie considre comme introduction lAnalyse Gnrale. Paris, Gauthier-Villars. _____. (1933). Notice sur les travaux scientifiques de Maurice Frchet. Paris, Hermann. HADAMARD, J. (1912). Le calcul fonctionnel. Enseignement mathmatique, vol. 14, 5-18. HAUSDORFF, F. (1914). Grundzge der Mengenlehre. Leipzig, Veit. HILBERT, D. (1899). Grundlagen der Geometrie. Teubner Leipzig. English translation of the Tenth German edition: Foundations of Geometry. Open Court, LaSalle, 1990. MANHEIM, J. (1964). The Genesis of point set Topology. Rinehart, Oxford. PURKERT, W. (2008). The Double Life of Felix Hausdorff/Paul Mongr. Math. Intellingencer, vol. 30, 36-50. MAJER, U. (2006). The relation of Logic and Intuition in Kants Philosophy of Science, particularly Geometry. Western Ontario series in Philosophy of Science, 4766.

Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.

44

TARRS FREIXENET, J. (1994). La topologa general desde sus comienzos hasta Hausdorff. Historia de la matemtica en el siglo XIX. 2. Parte, Real Academia de Ciencias Exactas, Fsicas y Naturales. Madrid. TAYLOR, A. E. (1985). A Study of Maurice Frchet: II Mainly about his Work on General topology, 1909-1928. Archive for History of Exact Sciences. Vol. 34, 279-380.

Notae Philosophicae Scientiae Formalis, vol. 1, n. 1, p. 32 - 44, abril 2012.