Professional Documents
Culture Documents
Textos en francs
Librairie Philosophique J. Vrin, 2006
De la presente edicin, 2011
Embajada de Francia en Colombia
Universidad Nacional de Colombia
Bogot D. C.
Traductor
Fernando Zalamea
Preparacin editorial
Centro Editorial, Facultad de Ciencias Humanas
Universidad Nacional de Colombia, sede Bogot
ed. 205, of. 222, tel.: 3165000 ext. 16208
e-mail: editorial_fch@unal.edu.co
www.humanas.unal.edu.co
Impreso por Javegraf
Impreso en Colombia
Se prohbe la reproduccin total o parcial de esta obra por cualquier medio, sin el permiso previo
por escrito de los titulares de los derechos correspondientes.
Contenido
Estudio introductorio
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
62
Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Bibliografa primaria de Albert Lautman
. . . . . . . . . . . . . . . . . . . .
65
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
112
La unidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
La medida y la integral
El valor absoluto
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
115
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
117
4. De la realidad inherente
en las teoras matemticas (1937) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
5. Ensayo sobre las nociones de estructura
y de existencia en matemticas (1937) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
Introduccin. De la naturaleza
de lo real en matemtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
Primera parte. Los esquemas de estructura . . . . . . . . . . . . . . . . . . . . . . . . 141
Captulo 1. Lo local y lo global . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Geometra diferencial y topologa . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
La teora de los grupos cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Representacin aproximada de funciones . . . . . . . . . . . . . . . . . . . . .
141
152
156
158
183
185
187
191
195
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
325
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
358
. . . . . . . . . . . . . . . . . . . .
385
. . . . . . . .
431
. . . . . . . . . . . . . . . . . . .
451
Apndices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 459
A. Cronologa de Albert Lautman . . . . . . . . . . . . . . . . . . . . . . . . . . . 461
B. Obituario de Albert Lautman
(por Suzanne Lautman, 1946) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 465
C. Reseas de las Tesis de Lautman . . . . . . . . . . . . . . . . . . . . . . . . . 473
Resea por Jean Cavaills (1938) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 473
Resea por Adolphe Buhl (1938) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 478
Resea por Paul Bernays (1940) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 480
. . . . . .
549
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
573
ndice de materias
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
583
Estudio introductorio
Situados a comienzos de un nuevo milenio, con la posibilidad de observar el entramado entero del siglo XX, no resulta ya
precipitado afirmar que la obra de Albert Lautman (1908-1944)
merece entenderse como la ms incisiva obra filosfica del siglo que se detenga en las matemticas modernas y que busque
dibujar los mecanismos esenciales de la creatividad matemtica
avanzada, as como sintetizar los enlaces estructurales y unitarios del saber matemtico. Contrapuesto a otros nombres ms
conocidos de la filosofa de las matemticas como Russell,
Quine o Putnam, que, en realidad, deberamos acotar como
filsofos analticos de la lgica matemtica1, Lautman se
enfrenta a la emergencia de la inventividad matemtica y al
amplio espectro de la matemtica en accin (teora de grupos,
geometra diferencial, topologa algebraica, ecuaciones diferenciales, anlisis funcional, variable compleja, cuerpos de nmeros: algunos de sus temas preferidos, entre muchos otros), yendo
bastante ms all de una mera discusin de los fundamentos de
la matemtica y del estudio de sus sistemas lgicos asociados.
Aunque, obviamente, la teora de conjuntos, la lgica clsica de
primer orden y la aritmtica de Peano contienen en s mismas
una gigantesca complejidad y son capaces de calcar en su seno
1 Tenemos un paradigma de esta situacin en la an muy apreciada
compilacin de P. Benacerraf y H. Putnam Philosophy of Mathematics:
Selected Readings (Cambridge: Cambridge University Press, 19832
[1.a ed.: Prentice Hall, 1964]). En una seleccin de veintiocho artculos
de eminentes filsofos de la matemtica, cualquier mencin a los
mtodos existenciales o a las construcciones de la matemtica moderna brilla por su ausencia. De hecho, los autores ms apreciados en
filosofa de la matemtica son, en su abrumadora mayora, filsofos
de la lgica matemtica, y muy rara vez, por no decir nunca, se asoman
al universo mucho ms ancho y complejo de las matemticas, tal como
lo entiende el working mathematician.
13
todas las dems construcciones matemticas usuales dando lugar, por consiguiente, al inmenso valor filosfico de una
perspectiva lgica y conjuntstica, una curiosa extrapolacin
reduccionista ha impedido que los filsofos descubran y aprecien los modos diversos de la creatividad matemtica avanzada,
que no son aquellos utilizados en las aproximaciones analticas
usuales. En ese sentido, la obra de Lautman resulta extraordinariamente idnea para develar las limitantes de una supuesta
filosofa de las matemticas que ignora los procesos reales de
la matemtica per se, con sus peculiares modos dialcticos de
gestacin, estructuracin y unificacin, allende lo fundacional.
De hecho, an hoy en da, ledos ms de medio siglo despus,
los trabajos de Lautman proveen una fecunda gua para recorrer algunas amplias lneas de respiro de la investigacin en matemticas, algo que ciertamente no puede decirse de muchos
aportes de la filosofa analtica de las matemticas, orientados
por hiptesis lingsticas y discusiones gramaticales que los han
aislado completamente de la gigantesca eclosin creativa de las
matemticas de fines del siglo XX.
En este estudio introductorio presentamos una visin de
conjunto sobre la obra de Lautman. Incluimos primero un
breve resumen de sus trabajos, para facilitar una visin panormica de la obra. Resumimos luego el entorno matemtico
y filosfico en el que Lautman realiz sus aportaciones, y explicamos las dificultades de recepcin de una obra que habra
merecido ser mucho ms conocida. Las secciones centrales
del estudio introductorio analizan en detalle los aportes de
Lautman, para luego evaluar la vigencia de algunas de sus
ms fulgurantes ideas alrededor de los mixtos y la dialctica
en la creatividad matemtica. Al final de la introduccin se
sealan las pautas de esta edicin y se incluye una amplia bibliografa primaria y secundaria.2
2 Este estudio introductorio, terminado en 2002, no alcanz a incorporar bibliografa secundaria allende esa fecha. Sin embargo, para como-
14
Estudio introductorio
15
(infra, pp. 361-373) demuestran, desde un comienzo, la independencia de Lautman con respecto a las corrientes normales de la filosofa matemtica: un anlisis de la teora de
tipos seala cmo el logicismo presupone en el fondo una
realidad del mundo exterior forzada por la teora misma; una
crtica al intuicionismo exhibe algunas prdidas de amplitud
matemtica en la aproximacin constructivista; una lectura
de los avances formalistas, desde la ptica de los campos de
Herbrand, permite vislumbrar las formas mixtas de la creatividad matemtica.
El segundo trabajo de Lautman, y el primero en publicarse, Matemticas y realidad [1935a] (infra, pp. 75-81),
arremete contra la Escuela de Viena en una poca en la que
las opiniones de la Escuela eran de ley; ms all de consideraciones lingsticas y gramaticales, Lautman aboga por
una plena inteligibilidad de las matemticas acordando
razn, experiencia y espritu y lucha contra una sombra
de ciencia reducida a meras manipulaciones sintcticas (una
pugna precisada en su tercer trabajo, la resea [1935b]: infra,
pp. 83-103). En su cuarto trabajo, La axiomtica y el mtodo de divisin [1936]6 (infra, pp. 105-121), Lautman estudia
cmo la creatividad, dentro de las corrientes modernas de
la matemtica, no procede tanto mediante subsunciones
arbitrarias de lo particular en lo general, sino elaborando
divisiones en los mixtos, siguiendo el mtodo platnico de
la divisin tal cual lo ensean el Sofista y el Filebo. La interpretacin de la dialctica platnica que subyace en los
trabajos de Lautman se hace aqu explcita por vez primera.
mond, 1932). Las referencias de nombres y fechas entre parntesis envan
a esa Noticia sobre las fuentes de Lautman.
6 Publicado en 1937, y aparecido en 1938, el artculo parece, sin embargo,
claramente anterior a las Tesis de Lautman. Situamos su escritura tentativamente en 1936, aunque parece haber aqu una contradiccin con
el testimonio de Suzanne Lautman, quien da la fecha de septiembre
de 1937 (infra, p. 468), tal vez pensando en su fecha de publicacin.
16
Estudio introductorio
17
18
Estudio introductorio
19
Estudio introductorio
21
22
Estudio introductorio
23
24
Estudio introductorio
Algunos hermosos comentarios de sus camaradas sealan la pasin del conocimiento propia de Lautman: segn
Cavaills, instructor de Lautman en 1930 mientras prepara
su agregacin, el joven estudioso vive lleno de ardor por la
filosofa matemtica15; segn Herbrand, me has siempre
parecido ms exigente y creyente que yo16. Ardor y exigencia resumen en buena medida la personalidad y la obra de
Lautman.
Complementariamente a la influencia de Herbrand,
Chevalley y Ehresmann17 as como del grupo Bourbaki,
15 Carta de Cavaills a su familia. Vase [Ferrires, 1950: 77].
16 Carta de Herbrand a Lautman del 10 de mayo de 1931. Vase [Chevalley, 1987: 76].
17 Para referencias sobre los trabajos de Herbrand, Chevalley y Ehresmann estudiados y mencionados por Lautman en sus escritos, vanse
la Noticia sobre las fuentes de Lautman, as como el ndice onomstico. Lautman cita a Herbrand como fuente en siete ocasiones y lo
25
26
Estudio introductorio
27
28
Estudio introductorio
29
de las especulaciones metafsicas de los dos jvenes filsofos franceses debido a una pretendida ausencia de un claro
entendimiento de puntos relativamente tcnicos (!) [Black,
1947: 22]: asombrosa obnubilacin de un defensor a ultranza
de la filosofa analtica, que no ve siquiera cmo el manejo
impecable de la tcnica constituye una de las fortalezas indiscutibles de los metafsicos que pretende criticar.
Dentro del mbito de la lengua francesa, las Tesis de
Lautman fueron reseadas por Cavaills25 descriptivamente en 1938 y por Buhl 26 laudatoriamente en el
mismo ao, y constituyen los dos primeros textos escritos
sobre Lautman27. Su entorno vital fue descrito por su esposa
[S. Lautman, 1946] y por la hermana de Cavaills [Ferrires,
1950], y sus Tesis fueron por vez primera referenciadas en
libro en los textos de Manuel Granell [Granell, 1949]28 y de
Ferdinand Gonseth [Gonseth, 1950]. Ms all del mbito
estricto de la filosofa de la matemtica donde los trabajos
de Lautman fueron, en primera instancia, reseados, pero
donde no alcanzaron ninguna atencin real hasta los aos
ochenta, el primer efecto realmente importante del pen25 [Cavaills, 1938] (infra, pp. 473-478). La resea se public annimamente, pero ha sido inequvocamente atribuida a Cavaills por Hourya
Sinaceur: vase [Benis-Sinaceur, 1987: 121].
26 [Buhl, 1938] (infra, pp. 478-480). Buhl era redactor de LEnseignement
Mathmatique, la esplndida revista suiza de la que Lautman tom
abundante material para sus trabajos (vase la Noticia sobre las fuentes de Lautman).
27 En la Bibliografa secundaria sobre Albert Lautman situada al final de
este estudio introductorio se enfatiza el orden cronolgico en el que han
ido apareciendo los (an escasos) textos sobre los trabajos de Lautman.
28 El caso de Granell es muy interesante para los lectores de habla hispana, pues constituye, en nuestro conocimiento, la primera referencia a
Lautman dada en un libro. Granell describe en modo neutro, con abundantes citas, el segundo volumen de la Tesis Principal de Lautman
(Los esquemas de gnesis), dentro del apartado La reaccin contra
el logicismo de su libro de Lgica.
30
Estudio introductorio
samiento de Lautman ocurre en 1968, en la Diferencia y repeticin de Gilles Deleuze [Deleuze, 1968]. El cuarto captulo
del tratado enormemente influyente de Deleuze, Sntesis
ideal de la diferencia, se encuentra completamente imbuido
por las ideas de Lautman, y constituye un doble homenaje
explcito e implcito al poder del engranaje de los mixtos y de las problemticas de la obra lautmaniana:
31
c
c
iacin [diffren
t
c
32
Estudio introductorio
33
centrales de la Enciclopedia Einaudi34, Petitot tuvo la oportunidad de extender las urdimbres lautmanianas a un pleno entrelazamiento del saber repleto de nociones, ideas, polaridades,
campos de fuerza y movimientos dialcticos35 que habra encantado a Lautman.
Dentro de una obra con un registro muy extendido,
algunos trabajos de Alain Badiou recuperan la herencia de
Lautman [Badiou, 1988, 1989, 1998]. Badiou elabora una filosofa de las matemticas abierta a las enseanzas tcnicas
de la poca (los eventos cruciales producidos en lgica matemtica con el forcing y con la teora de topos), dispuesta a un
dilogo renovado y fructfero con Platn, y profundamente
integradora de las mltiples condiciones (ciencia, arte, poltica, amor) que posibilitan la construccin filosfica, allende
los reduccionismos lingsticos de la filosofa anglosajona.
Una apertura hacia la matemtica avanzada Badiou es,
tal vez, el primer lector profundo de Cohen por fuera de
los especialistas en teora de conjuntos, una disposicin
hacia un platonismo no trivial y una conciencia de la multidimensionalidad de la empresa filosfica sitan as a Badiou
en la estela lautmaniana. Badiou expresa claramente su deuda y admiracin por Lautman: Debo declarar aqu que los
escritos de Lautman son propiamente admirables, y que lo
que les debo, incluso en las intuiciones fundadoras de este
libro [Ltre et lvnement], no se deja medir [Badiou, 1988:
522]; el nico gran pensamiento abiertamente platnico, y
moderno a la vez, ha sido el de Albert Lautman, en los aos
treinta [...], [y] es hoy el nico punto de apoyo que se puede
34 Enciclopedia Einaudi (dirigida por Ruggiero Romano). Torino: Einaudi, 1977-1984.
35 Los fascinantes mapas, tablas y diagramas de lectura, elaborados por
Renato Betti y sus colaboradores en el volumen 15 (Sistematica) de la
Enciclopedia Einaudi, ponen de manifiesto gradaciones, smosis y mixturas muy cercanas al pensamiento de Lautman, en medio de sugerentes
deformaciones topolgicas entre campos diversos del conocimiento.
34
Estudio introductorio
36 Vase tambin [Badiou, 1992: 158], donde se intenta trazar una cierta
lnea divisoria en la filosofa francesa Cavaills, Lautman, Desanti,
Badiou que considerara a la matemtica como lugar de pensamiento singular, cuyos eventos y procedimientos deben ser trazados
de nuevo en el acto filosfico.
37 Lautman es mencionado en cuatro pginas en [Badiou, 1988], en dos
pginas en [Badiou, 1989], en una pgina en [Badiou, 1992] y en una
pgina en [Badiou, 1998]. Vase la bibliografa secundaria para las
referencias exactas. Hay que sealar, por otra parte, que el estilo de
Badiou no se acompaa de muchas referencias o notas al pie; pero
si Deleuze o Lacan son, por ejemplo, extensamente mencionados, se
echa de menos su dilogo explcito con Lautman.
35
lo actual38. Para un recuento ms neutro de la obra de Lautman vase la primera seccin (Resumen de los trabajos de
Lautman), y para una presentacin de su entorno histrico
(produccin y recepcin) vanse la segunda y la tercera seccin (El entorno de Lautman; Recepcin de la obra de
Lautman), as como los apndices A y B all indicados.
En esta seccin procedemos siguiendo un triple backand-forth entre diversos niveles de lo concreto y de lo abstracto: pluralidad de matemticas efectivas y unidad de mtodos
estructurales (subsecciones 1 y 2); mixtos matemticos y nociones e ideas lautmanianas (subsecciones 3 y 4); dialctica
platnica y dialctica de la teora matemtica de categoras
(subsecciones 5 y 6). Queremos rendir as homenaje al mtodo mismo de Lautman, quien intenta ascender a lo ms
puro y universal mediante un vaivn dialgico entre nociones complementarias, a lo largo de una escala donde se van
progresivamente liberando lo complejo y lo concreto hasta
alcanzar lo ms simple y abstracto. A lo largo de esta seccin nos referiremos constantemente a la obra de Lautman,
sealando entre parntesis los nmeros de pginas de esta
edicin donde aparecen los temas y conceptos sealados.
38 El hecho de que Lautman no llegara a formar una escuela ha contribuido a situarle aparentemente en los mrgenes de lo actual. Sin
embargo, ya Bachelard le auguraba a Lautman, en una carta del 11
de enero de 1938, el magnfico potencial de sus trabajos: Con qu
simpata saludo en usted a un representante del joven equipo que va a
llevar de vuelta a la filosofa a las tareas heroicas del pensamiento difcil. Si pudisemos ser una decena! No olvide sealarme sus alumnos,
sus discpulos, puesto que pronto tendr usted discpulos [Bachelard
1938] (cursivas nuestras). Las circunstancias de la guerra truncaron una
escuela que hoy, ms que nunca, debe volver a florecer. Las grandes
tradiciones de la razn y del pensamiento difcil no pueden evadirse,
aunque el pensamiento dbil constituya ahora la delicia de auditorios llenos a rebosar.
36
Estudio introductorio
1. Matemticas efectivas
Con el trmino de matemticas efectivas, Lautman denomina repetidamente (vase el ndice analtico) el conglomerado de teoras, estructuras y construcciones concebidas
dentro de las matemticas avanzadas de su poca. El trmino se refiere a la armazn en la que se ejecuta el hacer matemtico, y lo efectivo tiene que ver con la accin propia del
matemtico para ir moldeando esa armazn, independientemente de que esa accin sea estrictamente constructiva o,
ms laxamente, existencial39. Para Lautman, la matemtica ms all de su reconstruccin conjuntista ideal se
jerarquiza en entornos reales de muy diversa complejidad 40,
donde se entrelazan los conceptos y los ejemplos gracias a
procesos ubicuos en los que lo libre y lo saturado se contraponen estructuralmente, y en los que, gracias a la mediacin de los mixtos, surgen muchas de las mayores creaciones
matemticas. Al adentrarse en el amplio conglomerado de
las matemticas efectivas, Lautman puede detectar algunos
rasgos especficos de las matemticas avanzadas41 que no se dan
en las matemticas elementales (desafortunadamente, punto
39 As pues, no debe confundirse la acepcin usual de efectivo en matemticas que identifica efectivo y constructivo en el sentido de la
matemtica intuicionista de la escuela de Brouwer o de la matemtica
constructiva de la escuela de Markov con la acepcin de efectivo
en Lautman, ms cercana al hacer matemtico en general.
40 Vase supra, p. 18, n. 9, para una enumeracin precisa de algunos de
esos entornos matemticos.
41 Son pocas las obras crticas atentas a la multiplicidad de los haceres
matemticos avanzados, y, como mulo de la obra de Lautman, merece aqu sealarse a Javier de Lorenzo, siempre atento a los hondos
estratos y a los muy diversificados ramales de la invencin matemtica
moderna. De sus trabajos, vanse, en particular, Introduccin al estilo
matemtico (Madrid: Tecnos, 1971), El mtodo axiomtico y sus creencias
(Madrid: Tecnos, 1980), La matemtica: de sus fundamentos y crisis (Madrid: Tecnos, 1998), Filosofas de la matemtica fin de siglo xx (Valladolid: Universidad de Valladolid, 2000). De Lorenzo no parece conocer
a Lautman y no lo menciona en sus escritos.
37
Estudio introductorio
definir diferencias, as como al interponer mixtos que tiendan a liberar nociones simples (120), algo muy distinto a buscar meras generalizaciones: Las definiciones axiomticas
por abstraccin, equivalencia, medida, operadores, evaluacin, etc., caracterizan as, no un gnero en extensin,
sino ciertas posibilidades de estructuracin, de integracin,
de operacin, de clausura concebidas de manera dinmica y
organizativa (120-121). De hecho, para Lautman, toda una
concepcin de la inteligencia matemtica se encuentra en
juego, una inteligibilidad plena del hacer matemtico que
debe impedir que el anlisis de las Ideas y la bsqueda de
nociones ms simples y separables unas de otras aparezcan
como una bsqueda de los gneros ms extendidos (121).
Una visin atenta a las gradaciones y al vaivn de los conceptos permite observar, entonces, la emergencia del pensamiento matemtico. La eclosin y la gnesis de las estructuras
matemticas, vedadas en una esttica aproximacin analtica,
se exhiben con gran fuerza en la aproximacin de Lautman.
Cuando el joven filsofo comenta que la metrizabilidad de
topologas no es siempre resoluble (155), cuando describe la
sntesis notable entre nociones continuas y nociones discontinuas en la emergencia axiomtica del espacio de Hilbert
(232-234), cuando detecta el momento preciso donde el lgebra y el anlisis se enlazan en los trabajos de Hilbert sobre las
ecuaciones integrales (238), cuando se asoma a las que se convertirn en las conjeturas de Weil y las evoca como afinidades
de estructura dialctica (352), cuando muestra la emergencia
natural de los campos de Herbrand como mixtos graduales
para elaborar demostraciones de no contradiccin (371-373),
cuando se maravilla de cmo los retculos invaden las matemticas por doquier (398), Lautman se encuentra siempre
alerta al movimiento creativo de las matemticas, donde un
problema, un concepto o una construccin se transforman
mediante las soluciones parciales del problema, las acotaciones definicionales del concepto o el haz de saturaciones
39
40
Estudio introductorio
41
Lautman insiste en una percepcin sinttica de las matemticas, dispuesta a apreciar las redes complejas de la interaccin matemtica ms all de una asfixiante bsqueda de
nociones primeras:
42
Estudio introductorio
43
44
Estudio introductorio
50 Vase la 2000 Mathematics Subject Classification que usamos en el ndice analtico (infra, p. 581).
45
46
Estudio introductorio
espacio de Hilbert (234), en una coleccin de estructuras campos ascendentes de Herbrand (229) o en una familia de funciones familias normales de Montel (241),
los mixtos, por un lado, imitan la estructura de los dominios
subyacentes, y por otro lado, sirven de bloques parciales para
la estructuracin de los dominios superiores. Sin este tipo de
buscada contaminacin, de premeditada aleacin, sera impensable la matemtica contempornea. Una notable consecucin
como la prueba del teorema de Fermat (1994) smbolo pleno
de la matemtica del siglo XX si lo hay slo es posible como
esfuerzo final en un complejo ir y venir donde intervienen
toda clase de mixtos matemticos: un problema sobre curvas
elpticas y formas modulares resuelto gracias a extenuantes
enlaces en geometra algebraica y variable compleja, alrededor
de las funciones zeta y sus representaciones de Galois.
Los mixtos aparecen en el primer escrito conservado
de Lautman su trabajo sobre lgica matemtica [1934], publicado pstumamente. A los 26 aos, Lautman describe
brillantemente la construccin de los campos de Herbrand y
jugan lo percibido, lo real y lo imaginario. El signo plstico, por ser
el lugar donde se encuentran e interfieren elementos procedentes de
estas tres categoras, no es ni solamente expresivo (imaginario e individual) ni representativo (real e imaginario), sino tambin figurativo
(unido a las leyes de la actividad ptica del cerebro y a las de la tcnica
de elaboracin del signo en cuanto tal) (Pierre Francastel, La realidad
figurativa (1965). Barcelona: Paids, 1988, p. 115). Si contraponemos una
definicin de la obra artstica como forma que se significa (Focillon)
con una definicin de la obra matemtica como estructura que se
forma (nuestra extrapolacin, motivados en Lautman), puede intuirse
una vez ms el hondo fondo comn subyacente en la esttica y las
matemticas. Para una notable recuperacin de una historia del arte
que registra lo complejo y lo diferencial, pero que lo recompone en un
dilogo estratificado y jerrquico atento a lo universal y a la verdad
(tarea eminentemente lautmaniana), vase Jacques Thuillier, Thorie
gnrale de lhistoire de lart (Paris: Odile Jacob, 2003). (Definicin de
Focillon en la pgina 65 y extensa discusin subsiguiente).
47
muestra cmo los hilbertianos han sabido interponer una esquemtica intermedia, de individuos y de campos que se consideran no tanto en s mismos, sino por las consecuencias infinitas
que permiten los clculos finitos operados gracias a ellos (373).
Comparando esa esquemtica intermedia con la jerarqua de
tipos y rdenes de Russell, Lautman indica que, en uno y otro
caso, nos encontramos ante una estructura cuyos elementos no
son ni enteramente arbitrarios, ni construidos realmente, sino
que componen como una forma mixta que extrae su fecundidad
de su doble naturaleza (373, cursivas nuestras). Intuir claramente las formas mixtas de la lgica en los aos treinta, cuando
la lgica tenda a verse al contrario como una forma pura,
muestra la independencia y el acumen del jovencsimo filsofo.
De hecho, resulta ahora evidente que esas formas mixtas de la
lgica son la causa profunda de la eclosin de la lgica matemtica en la segunda mitad del siglo, felizmente invadida por mtodos algebraicos, topolgicos y geomtricos. En ese sentido,
como veremos en la subseccin 4, Lautman nunca presupone
una lgica a priori, previa a la matemtica, sino que la considera
como parte integrante del hacer matemtico, intuyendo as la
actual concepcin plural de la lgica, donde un sistema lgico,
en vez de anteponerse a una coleccin de estructuras matemticas, se adeca a ella.
En su artculo sobre el mtodo de divisin dentro de la
axiomtica moderna [1936] es decir, en su primer texto publicado Lautman pasa ya a ligar la mencin de los mixtos con
la gran tradicin filosfica: no es la lgica aristotlica, aquella de los gneros y especies, la que aqu interviene [i. e., en la
creacin matemtica], sino el mtodo platnico de divisin, tal
cual lo ensean el Sofista y el Filebo, para el cual la unidad del
Ser es una unidad de composicin y un punto de partida hacia
la bsqueda de los principios que se unen en las ideas (120)53.
Lautman resalta el inters dinmico de un mixto, que tiende
53 Para una discusin del platonismo lautmaniano, vase la subseccin 5.
48
Estudio introductorio
El inters de las nociones e ideas es triple: permite filtrar (liberar) ornamentos innecesarios y decantar el fondo de
algunas armazones matemticas; permite unificar desde un
nivel problemtico superior otras construcciones aparentemente dispersas, y permite abrir el espectro de las matemticas a opciones diversas. Ya sea filtrando o unificando el
panorama matemtico teoremas de dualidad en topologa
algebraica (174) y en la teora general de estructuras (es
decir, de los retculos) (398), ya sea abrindolo hacia un
mbito de posibilidades ms pleno ideas no estndar
que resuelven de otra manera las oposiciones entre nociones
fundamentales: lo infinito como lo no acotable (Robinson),
lo discreto como demarcacin de un continuo primigenio
(Brouwer), lo calculatorio como sistema de coordenadas
para lo modlico (Lindstrm), las nociones e ideas lautmanianas permiten recorrer transversalmente el universo de
las matemticas y explicitar tanto la amplitud de ese universo
como su asombroso acorde armnico entre lo uno y lo mltiple (acorde escondido en la compleja resolucin articulada
de un fragmento cuando, en medio de un ramaje muy denso,
perdemos de vista el entramado del bosque).
Para Lautman, las nociones y las ideas se sitan en un nivel
superior, donde el intelecto puede imaginar la posibilidad de
una problemtica, que, sin embargo, slo adquiere su sentido
real al encarnar inmediatamente en las matemticas efectivas:
Estas nociones de esencia y existencia, como las de forma
y materia, de todo y parte, de continente y contenido, etc.,
no son nociones matemticas, y, no obstante, hacia ellas
conduce la consideracin de las teoras matemticas efectivas. Las llamo Nociones dialcticas y propongo llamar Ideas
dialcticas a los problemas de los enlaces posibles entre las
nociones dialcticas as definidas. La razn de las relaciones
entre la Dialctica y las Matemticas reside entonces en el
hecho de que los problemas de la Dialctica son concebibles y formulables independientemente de las Matemticas,
50
Estudio introductorio
51
Paralelamente con su estrategia de aprehender la estructura global de una teora antes de predefinir su status
lgico, Lautman sita consistentemente a la lgica matemtica como un hacer dentro de la matemtica, que no debe
precederla arbitrariamente y que debe situarse al mismo nivel
de las dems teoras matemticas54, anticipando as la concepcin actual de la lgica tal como se asume desde la teora
de modelos. Segn Lautman, la lgica requiere una matemtica para existir (162), y en el vaivn de los esquemas lgicos mezclados con sus realizaciones efectivas es donde yace
la fuerza del hacer matemtico.
El enriquecimiento mutuo entre las Matemticas efectivas y la Dialctica (maysculas de Lautman) se refleja en
54 La lgica matemtica no goza a ese respecto de ningn privilegio
especial; no es sino una teora entre otras (126). Los problemas en
el paso de la esencia a la existencia que van a ocuparnos desde ahora
hasta el final de este trabajo se entrelazan con preguntas planteadas
hace tiempo por el desarrollo de la lgica matemtica. No nos parece,
sin embargo, que la lgica goce a ese respecto de un privilegio especial;
no es, en efecto, ms que una disciplina matemtica entre otras, y las
gnesis que all se manifiestan son comparables a las que observaremos en otros lugares (203). La lectura de las Etapes de la philosophie
mathmatique le ensea al filsofo a asociar de manera indisoluble la
elaboracin, o an la comprensin, de las teoras matemticas con la
experiencia que la inteligencia all realiza de su propio poder. Todo
intento lgico que pretendera dominar a priori el desarrollo de las
matemticas desconoce as la naturaleza esencial de la verdad matemtica, puesto que esta est ligada a la actividad creadora del espritu
y participa de su carcter temporal (267).
52
Estudio introductorio
un ascenso y descenso natural entre las nociones e ideas lautmanianas, por un lado, y los mixtos, por otro lado. De hecho,
ascendiendo desde los mixtos, se liberan nociones e ideas
que permiten situar el lugar de esos mixtos dentro de una
dialctica ms amplia; y, a su vez, descendiendo desde las nociones, se elaboran nuevos mixtos para precisar y encarnar
el contenido de las ideas en juego. Uno de los mritos mayores
de la obra de Lautman consiste en haber mostrado cmo esos
procesos de ascenso y descenso deben estar indisolublemente
ligados en la filosofa de las matemticas in extenso, as como
lo estn en una correspondencia de Galois in nuce.
5. El problema del platonismo
Como lo seala directamente Jean Cavaills en la primera
frase de su resea sobre las Tesis de Lautman, el trabajo del
filsofo francs trata de una nueva tentativa por definir la
realidad inherente en las teoras matemticas: se utilizan los
trabajos ms recientes y el resultado invoca a Platn55. Para
Lautman, la realidad matemtica ms all de reducirse a
entornos fsicos naturales, independientes de la mirada humana se extiende hasta englobar tambin todo un entramado jerrquico de construcciones ideales, que cesan de ser
arbitrarias al integrarse establemente dentro de redes culturales
genricas, y se convierten entonces en reales generales:
Se puede definir la naturaleza de la realidad matemtica desde cuatro puntos de vista diferentes: lo real consiste, ya sea en los
hechos matemticos, ya sea en los seres matemticos, ya sea en las
teoras, ya sea en las Ideas que dominan esas teoras. Lejos de oponerse, esas cuatro concepciones se integran naturalmente unas con
otras: los hechos consisten en el descubrimiento de seres nuevos,
esos seres se organizan en teoras, y el movimiento de esas teoras
encarna el esquema de los enlaces de ciertas Ideas. (261)
53
La realidad matemtica se organiza, as, en diversos niveles que se enlazan unos con otros, y un ltimo nivel de
genericidad consiste, segn Lautman, en un estrato esquemtico de Ideas reguladoras: No entendemos por Ideas
ciertos modelos cuyos seres matemticos no seran ms que
copias, sino, en el verdadero sentido platnico del trmino,
ciertos esquemas de estructura segn los cuales se organizan las teoras efectivas (334). El platonismo invocado no
es, entonces, un platonismo superficial, denunciado por
Lautman56, sino un platonismo realmente dinmico y dialctico, alejado de seres estticos, objetos de pura contemplacin (265), y abierto a un pleno devenir de distinciones
cualitativas dentro de las teoras matemticas, distinciones
que permiten encarnar las tensiones esquemticas de las
Ideas. Aunque las primeras referencias de Lautman a una
relectura del platonismo se encuentran en la conclusin
de su Tesis Principal57, ya desde sus primeros artculos es56 En el debate abierto entre formalistas e intuicionistas, desde el descubrimiento del transfinito, los matemticos han adoptado la costumbre
de designar someramente bajo el nombre de platonismo a toda filosofa
segn la cual la existencia de un ser matemtico est asegurada, aunque
ese ser no pueda ser construido en un nmero finito de etapas. Sobra
decir que es ese un conocimiento superficial del platonismo, y que no
sabramos estarnos refiriendo a l. Todos los comentaristas modernos
de Platn han insistido, por el contrario, en el hecho de que las Ideas no
son las esencias inmviles e irreducibles de un mundo inteligible, sino
que estn ligadas entre s segn los esquemas de una dialctica superior
que preside a su llegada. Los trabajos de L. Robin, de Stenzel, de Becker,
han aportado a este respecto una considerable claridad sobre el papel
dominador de las Ideas-nmeros, en lo que concierne tanto al devenir
de los nmeros como al de las Ideas (270-271).
57 Referencias a Becker (1931), Stenzel (1933) y Robin (1935). Lautman
no parece haber conocido, en cambio, los apuntes del notable curso
dado por Heidegger sobre El Sofista, en Marburgo en el semestre de
invierno 1924-1925, apuntes que habran servido de fuente inagotable
para el joven filsofo (vase Martin Heidegger, Platon: Le Sophiste.
Paris: Gallimard, 2001). Aunque, en 1928, Lautman asisti en Davos a
54
Estudio introductorio
55
56
Estudio introductorio
en el universo sensible y la dualidad antisimtrica en el mundo matemtico tienen una importancia semejante (401),
conjeturando as un mucho ms hondo soporte estructural
para la correlacin
Fsica
Matemtica
, Laut
Mundo sensible
Mundo ideal
man consigue comparar (y contraponer) los modos del conocimiento matemtico y del conocimiento fsico, ya que estos
pueden entenderse como redes estructurales de situacin
cuyas ubicaciones relativas son perfectamente susceptibles de
ser proyectadas y contrastadas. Una conmensurabilidad reticular de la fsica y la matemtica en la prctica, siempre
relevos la una de la otra vuelve a adquirir, as, derecho de
existencia y se sita en contra de su reducida inconmensurabilidad gramatical.
6. Visin desde la teora matemtica de categoras
Un esquema bastante ajustado de los objetivos y el proceder de la teora matemtica de categoras puede obtenerse al
eliminar el contenido ontolgico de una frase de Heidegger
que hemos ya citado reconducir las relaciones entre estructuras a una unidad, de tal manera que a partir de esa
unidad pueda seguirse toda la historia de un ser en devenir
hasta su concrecin59 . De hecho, la dialctica de lo uno
y lo mltiple, de lo estructural y lo concreto, alcanza en el
pensamiento categrico una de sus expresiones ms felices,
pues un objeto definido por medio de propiedades universales en categoras abstractas uno resulta a su vez mltiple a lo largo de la pluralidad de categoras concretas donde
encarna. En el permanente vaivn de funtores, transformaciones naturales y adjunciones radica en buena medida la
fortaleza tcnica de la teora, y es notable que las concepciones de Lautman puedan llegar a precisarse de una manera
59 Vase supra, p. 55, n. 57.
57
58
Estudio introductorio
59
60
Estudio introductorio
61
Lautman
nociones e ideas
matemticas efectivas
mixtos
Categoras
Avicena
Estudio introductorio
Lautman (Noticia sobre las fuentes), dos apndices biogrficos (apndices A, B), algunas fotos (Dossier de imgenes), un
apndice con tres de las primeras recensiones publicadas sobre
las Tesis de Lautman (Apndice C), una bibliografa secundaria ampliamente representativa y dos ndices completos (onomstico y analtico). Por otro lado, este estudio introductorio
constituye, tal vez, el trabajo ms detallado realizado hasta el
momento sobre la obra de Lautman.
La traduccin ha intentado ser lo ms literal posible,
con un doble objetivo: por un lado, entregar al lector el
pensamiento de Lautman tal cual, tanto con sus modismos
idiosincrticos65 y sus giros difciles como con sus brillantes
resoluciones, y, por otro lado, conservar el contexto de la
poca, con trminos fechados66, ahora en desuso. Las referencias citadas por Lautman se han mantenido tal cual (algunas de ellas con imprecisiones), ya que se completan y se
corrigen exhaustivamente en la Noticia sobre las fuentes de
Lautman. Sin embargo, ms all de un consciente esfuerzo
por la literalidad67, otra doble tarea se ha realizado tambin
65 Uso ubicuo (a veces excesivo) de adverbios y locuciones adverbiales
(as, entonces, as como, por tanto, etc.) para insistir en el enlace coherente del pensamiento; uso idiosincrtico de maysculas (Lgica, Representacin de Grupos, Ideas, etc.).
66 Acabado y acabamiento en vez de (los ahora usuales) completo y completitud; evaluacin en vez de valuacin; realizacin en vez de modelo; el
espacio de Hilbert en vez de un espacio de Hilbert; las mecnicas cunticas en vez de la mecnica cuntica, etc. Al mantener trminos que nos
resultan extraos hoy en da, nos acercamos un poco ms a la emergencia
de los conceptos en el momento en que escriba Lautman, cuando el
lenguaje mismo de las matemticas modernas se encontraba en curso
de creacin. Por otro lado, se ha conservado tambin la desueta disposicin de las referencias bibliogrficas de la poca, reflejo de una frescura
no academizante hoy perdida; segn las rgidas exigencias de nuestros
tiempos, hemos, en cambio, corregido y actualizado esas referencias en
nuestra Noticia sobre las fuentes de Lautman.
67 Los resultados a veces incmodos de esa literalidad habran podido
embellecerse, pero se habra roto entonces la expresividad propia de
63
en silencio: en los casos advertidos, se han corregido las erratas an subsistentes68, y en algunas pocas frases se ha reformulado su ordenamiento sintctico para asegurar una mayor
claridad. Las traducciones han sido siempre realizadas sobre
las primeras ediciones, contrastndolas con la edicin de
1977. En homenaje a la emocin que debi sentir Lautman al
ir viendo cmo su obra iba adquiriendo cuerpo, se incluyen
los facsmiles de las portadas de todas las primeras ediciones
que Lautman lleg a ver publicadas en vida.
Debemos un profundo agradecimiento a Bernardo Correa,
director de la Biblioteca Francesa de Filosofa, quien acogi
con entusiasmo este volumen en su coleccin, y a Nicols Rojas Sierra, quien realiz la excelente preparacin editorial definitiva del texto. Con especial cario, agradecemos a Jacques
Lautman, quien nos ayud inmensamente en el conocimiento
ntimo de la obra de su padre, en la elaboracin precisa de la
cronologa y en la recoleccin de los textos inditos.
64
Bibliografa
65
Bibliografa
[Gurard, 1939]
[Bernays, 1940]
[Black, 1947]
[Granell, 1949]
[Gonseth, 1950]
68
Bibliografa
70
Bibliografa
[Kerszberg, 1987]
[Petitot, 1987]
[Badiou, 1988]
[Sirinelli, 1988]
[Badiou, 1989]
[Heinzmann, 1989]
[Badiou, 1992]
[Zalamea, 1994]
[Nicolas, 1996]
71
[Badiou, 1998]
[Sichre, 1998]
[Bouleau, 1999]
[Thirion, 1999]
[Petitot, 2001]
[Granger, 2002]
[Barot, 2003]
72
Bibliografa
[Merker, 2004]
[Alunni, 2005]
[Alunni, 2006]
[Lautman, 2006]
[Zalamea, 2006]
[Chevalier, 2007]
[Lautman, 2007]
[Ledesma, 2008]
[Barot, 2009]
[Petitot, 2009]
[Duffy, 2009]
[Marquis, 2010]
74
matemticas y realidad
Albert Lautman
est obligado a admitir: los axiomas bien conocidos de Russell, axioma del infinito y axioma de reducibilidad. Se trata,
sobre todo en Wittgenstein, de la afirmacin de que a toda
proposicin verdadera corresponde un acontecimiento del
mundo, lo que conlleva todo un cortejo de restricciones y de
precauciones para la lgica. En particular, toda proposicin
dirigida al conjunto de las proposiciones, toda sintaxis lgica
en el sentido de Carnap es imposible, puesto que se necesitara entonces poder considerar correlativamente el mundo
como una totalidad, lo que es ilegtimo.
Los logicistas de la Escuela de Viena afirman siempre
su pleno acuerdo con la escuela de Hilbert. Nada es, sin
embargo, ms discutible. En la escuela logicista, siguiendo
a Russell, se realizan esfuerzos por encontrar las constituyentes atmicas de todas las proposiciones matemticas. Las
operaciones de la aritmtica se definen a partir de las nociones primitivas de elemento y de clase, y los conceptos del
anlisis se definen por extensin a partir de la aritmtica. La
nocin de nmero juega all, entonces, un papel capital, y
ese papel aumenta an ms con la aritmetizacin de la lgica, al hilo de los trabajos de Gdel y de Carnap. Esa primaca de la nocin de nmero no parece, sin embargo, haberse
confirmado con el desarrollo de las matemticas modernas.
Poincar ya haba indicado, a propsito de las teoras de la
dimensin, que la aritmetizacin de las matemticas no corresponda siempre a la verdadera naturaleza de las cosas.
Hermann Weyl, en la introduccin de su libro Gruppentheorie und Quantenmechanik, ha establecido una distincin
que nos parece fundamental y que toda filosofa de las matemticas deber tener en cuenta en el porvenir. Distingue dos
corrientes en las matemticas, una, proveniente de la India
y de los rabes, que pone en relieve la nocin de nmero y
culmina en la teora de funciones de variable compleja, y
otra, el punto de vista griego, que espera que cada dominio
conlleve un sistema de nmeros caractersticos. Es la pri78
Matemticas y realidad
Albert Lautman
Matemticas y realidad
81
el congreso internacional
de filosofa de las ciencias
(del 15 al 23 de
septiembre de 1935)
Albert Lautman
86
Albert Lautman
Albert Lautman
90
Albert Lautman
92
mo ortodoxo, el objeto del clculo es el signo grfico independientemente de toda referencia a una realidad designada por
l. Afirmar la verdad de una proposicin significa nicamente
que la proposicin es demostrable en el formalismo. Si se adopta, entonces, como en Wittgenstein y Carnap, una concepcin
tautolgica del formalismo lgico-matemtico, verdadero se
confunde con analtico y falso con contradictorio (ya que
el problema de la verificacin o la refutacin por un experimento de los enunciados protocolarios no se plantea en el interior
mismo del formalismo). Tarski, en cambio, restituye al formalismo su carcter de lenguaje orientado a expresar una realidad
e intenta proporcionar en ese formalismo una definicin de la
verdad que asegure una correspondencia entre los resultados
del clculo y lo real. Sea P una proposicin obtenida en el lenguaje formal. Esa proposicin es de un cierto tipo, determinado
por el tipo de las variables que intervienen en ella. Como antes,
sea x una nueva variable de tipo superior, introducida en la metalgica para designar una proposicin del clculo formal. En
estas condiciones, se tiene el derecho de escribir x es verdadera
si P es verdadera. Esto consiste evidentemente en decir, como
lo constata Carnap con algo de irona no exenta de simpata,
que es verdadero que la nieve es blanca si ya se tiene la proposicin la nieve es blanca. La semntica de Tarski no deja
de ser por ello un muy serio esfuerzo, que justifica su apelativo
de ciencia de los significados y posee el gran mrito de mostrar
que en el seno del formalismo existe, gracias a la maravillosa
teora de tipos de Russell, una manera de salir del clculo puro
y de volver a entrar en contacto con la fsica.
Por lo dems, Carnap no puede escapar a la necesidad
de adaptar el formalismo a la fsica de los fsicos, y su libro
permite observar en varios lugares cmo intenta resolver el
dilema de las relaciones entre la lgica y lo real. El problema
se plantea desde la definicin inicial de los signos descriptivos, cuando Carnap nos dice simplemente que estos corresponden a los objetos y a las propiedades que intervienen en
93
Albert Lautman
95
Albert Lautman
Albert Lautman
98
99
Albert Lautman
Albert Lautman
102
la axiomtica y el
mtodo de divisin
Albert Lautman
108
Albert Lautman
parece considerable, puesto que nos muestra, en matemticas al menos, el enlace estrecho de la reflexin crtica y de la
creacin efectiva.
La igualdad
En los Grundlagen der Mathematik de Hilbert y Bernays, la
igualdad aritmtica se define por medio de los dos axiomas
siguientes:
a =a
a = b A(a ) A(b) .
El primer axioma establece la reflexividad de la igualdad y se demuestra fcilmente que la transitividad y la simetra se deducen del segundo. Este segundo axioma enuncia
que para que dos nmeros sean iguales, es necesario que
toda propiedad aritmtica que se aplique al uno se aplique
al otro. Se necesita, en suma, que dos nmeros iguales sean
indiscernibles desde todos los puntos de vista posibles, en lo
que concierne al menos a las propiedades definidas por los
signos de predicado A introducidos en la teora en cuestin.
Inversamente, si dos nmeros son discernibles en comprensin, miden en extensin clases distintas de elementos. Se ve
as que la nocin de indiscernibilidad est estrechamente ligada con los axiomas que definen el nmero de elementos de
un conjunto. Por lo dems, Bernays introduce esos axiomas
de enumeracin inmediatamente despus de los axiomas
de igualdad por indiscernibilidad. He aqu, por ejemplo, el
axioma que define el hecho de que un campo no contenga
sino un individuo: (x)(y)(x=y) (no hay sino un individuo
en el campo dado si, cualquiera que sea el objeto x y cualquiera que sea el objeto y, se tiene x=y). As mismo, la
frmula (x ) (y ) (z ) (x = y y = z x = z ) significa que
hay a lo ms dos individuos en el dominio considerado, y la
frmula (x)(y)(xy) (existen un x y un y tales que x es
diferente de y) significa que hay al menos dos. Si se conviene,
111
Albert Lautman
los elementos a y los elementos x recorren dominios diferentes. As, por ejemplo, consideremos el caso de un espacio vectorial. Se sabe que dentro de un tal espacio la multiplicacin
de un vector x por un nmero a tiene un sentido y da como
resultado un nuevo vector y=ax. Los nmeros enteros y los
vectores constituyen respectivamente dominios distintos que
obedecen a leyes distintas: los vectores forman un mdulo, es
decir, un dominio donde se define de manera unvoca la suma
de dos elementos, y los nmeros enteros forman un anillo, es
decir, un dominio donde se definen la suma y el producto
de dos elementos. Se obtienen as los axiomas siguientes, el
primero concerniente a la suma de vectores, el segundo y el
tercero a la suma y a la multiplicacin de los multiplicadores
numricos:
a(x + y ) = ax + ay
(a + b)x = ax + bx
a(bx ) = (ab)x .
Vemos aqu cmo la nocin ordinaria de multiplicacin
se escinde en dos ideas distintas: 1) la idea de que pueden
hacerse actuar, sobre los elementos de un dominio de base,
los elementos de un dominio de operadores para recobrar
otros elementos del dominio de base; 2) la idea de que esa
accin de los operadores sobre los elementos de un dominio
es en algunos casos reducible a la formacin de productos
aritmticos. En el caso de nmeros que multiplican vectores, se vuelven a encontrar tambin formaciones de productos, puesto que si el vector x se define por sus coordenadas
(x 1,...,xn), entonces el vector ax se define por las coordenadas (ax 1,...,axn), pero pueden considerarse operadores que
actan sobre un dominio para volver a proporcionar un elemento de ese dominio, sin que intervenga en modo alguno
la formacin de productos aritmticos. Esos operadores no
se componen siempre segn los axiomas arriba definidos,
113
Albert Lautman
f (x )dx se
define por medio de sumas de un nmero infinito de productos. Cada uno de esos productos representa la multiplicacin de una ordenada por la longitud dx de un incremento
infinitamente pequeo de la abscisa. Esas longitudes dx juegan as un doble papel: definindose como medidas de magnitudes, se confunden casi con esos segmentos geomtricos
con los cuales estn ligadas; por otra parte, su funcin, dentro de la determinacin de la integral, consiste en ser unos
nmeros que intervienen como factores en un producto de
nmeros. Aqu, de nuevo, la generalizacin de Lebesgue
puede interpretarse en trminos de disociacin. El hecho de
aportar en un producto, como factor, la contribucin de un
dominio de base, no se liga en modo alguno con la magnitud geomtrica de ese dominio. Puede considerarse a dx
simplemente como un nmero atribuido a ese dominio y que
satisface ciertas condiciones determinadas.
Esto es forzosamente as cuando el dominio de base ya
no es un segmento sino una familia E de conjuntos de pun115
Albert Lautman
besgue, en las que cada una contiene una infinidad de productos del tipo lim(E i), donde li mide un intervalo (en ordenadas) del conjunto de los nmeros reales y donde m(Ei) es la
2 Vase, para todo esto, R. de Possel, Notions gnrales de mesure et
dintgrale, Paris: Sminaire de Mathmatiques de lInstitut Henri
Poincar, 1934-1935.
116
117
Albert Lautman
118
Se demuestra, apoyndose esta vez sobre las propiedades de la evaluacin, que dado un cuerpo evaluado K se
puede siempre construir un supercuerpo , cuya evaluacin
extienda aquella de K, y tal que toda sucesin fundamental
converja en (en el sentido de la evaluacin definida por los
axiomas III).
Los valores absolutos (II) constituyen, por supuesto, un
caso particular de las evaluaciones (III), pero el paso de los axiomas II a los axiomas III ha consistido esencialmente en desprender las propiedades definidas en II de su ligazn demasiado
estrecha con las propiedades de ordenacin definidas en I.
***
Los ejemplos que acabamos de analizar nos van a permitir precisar la importancia filosfica de la actividad de
disociacin en matemticas. Hemos visto en todos los casos cmo ciertas nociones de la aritmtica y del lgebra elemental, que parecan simples y primitivas, envuelven una
pluralidad de nociones lgicas o matemticas, delicadas de
precisar, pero, en cualquier caso, ntidamente distinguibles
unas de otras. Es as como la igualdad aritmtica es la nica
relacin de equivalencia que confunde la enumeracin de los
individuos de un conjunto con la enumeracin de las clases
de individuos equivalentes en el sentido de esa relacin; del
mismo modo, la idea de multiplicacin contiene, a la vez, la
formacin de productos aritmticos y la accin de operadores sobre un dominio de elementos distintos de esos operadores; la idea de unidad puede ser considerada, ya sea desde
el punto de vista del elemento unidad de un anillo de nmeros, ya sea desde el punto de vista del operador idntico en
un dominio de operadores; la longitud de un segmento est
ligada a la magnitud que mide, pero no es ms que un nmero atribuido por convencin a esa magnitud; por ltimo,
el valor absoluto del lgebra clsica envuelve, a la vez, la idea
de ordenacin y la construccin de la clausura de un cuerpo
119
Albert Lautman
tas posibilidades de estructuracin, de integracin, de operacin, de clausura concebidas de manera dinmica y organizativa. La distincin que se establece as en el seno de una
misma nocin entre las propiedades intrnsecas de un ser o
de una nocin y sus posibilidades de accin parece emparentarse con la distincin platnica de lo Mismo y de lo Otro
que se reencuentran en la unidad del Ser. Lo Mismo sera
aquello por lo cual una nocin es intrnseca; lo Otro, aquello
por lo cual puede entrar en relaciones con otras nociones y
actuar sobre ellas.
Habamos indicado al comienzo de este estudio que algunos matemticos, como Frchet o Bouligand, asocian a
veces el esfuerzo de abstraccin axiomtica y la idea de generalizacin. La generalizacin no es, sin embargo, en ellos,
sino otra consecuencia de preocupaciones ms esenciales; se
trata, en Bouligand, lo hemos visto, de la bsqueda de un
enlace necesario, y en Frchet, de un cuidado en el anlisis
que relega a menudo a un segundo plano el punto de vista de
la generalizacin, como en esas lneas donde, dirigindose a
los filsofos, escribe: Es extremadamente curioso ver cmo
una nocin como la de distancia, que parece, de entrada, una
nocin primera, una nocin irreducible, puede ser disociada en nociones de naturaleza muy diferente las unas de las
otras (Les espaces abstraits, p. 158). En efecto, es extremadamente importante para el filsofo impedir que el anlisis de
las Ideas y la bsqueda de nociones ms simples y separables
unas de otras aparezcan como una bsqueda de los gneros ms extendidos. Toda una concepcin de la inteligencia
matemtica, nacida del platonismo y del cartesianismo, se
encuentra, en efecto, en juego en esa distincin.
121
de la realidad inherente
en las teoras matemticas
Resumen. Intento mostrar que la realidad inherente en las teoras matemticas proviene de que, en su movimiento propio, se
encarna una suerte de esquema de enlaces entre ciertas ideas
abstractas que dominan el espectro de las matemticas. Muestro,
en particular, cmo el problema de las relaciones entre esencia y
existencia recibe en las teoras matemticas efectivas una solucin
muy diferente de aquellas del intuicionismo o del formalismo.
Albert Lautman
Ese trabajo recae tanto ms en el filsofo, ya que la realidad inherente en las matemticas se comporta como toda
realidad donde el espritu se enfrenta con una objetividad
que se le impone: deben saber hacerse remontar a la naturaleza intrnseca de esa realidad las modalidades de la experiencia espiritual con que se deja aprehender. La realidad
de las matemticas no est hecha del acto de inteligencia
que crea o que comprende, pero es en ese acto como ella se
nos aparece y no sabra poder ser plenamente caracterizada con independencia de esas matemticas que proveen su
indispensable soporte. En otros trminos, creemos que el
movimiento propio de una teora matemtica dibuja el esquema de los enlaces que sostienen entre ellas ciertas ideas
abstractas, dominantes con respecto a las matemticas. El
problema de los enlaces que esas ideas son capaces de sostener puede plantearse por fuera de toda matemtica, pero la
elaboracin efectiva de esos enlaces se convierte inmediatamente en teora matemtica. La lgica matemtica no goza
a ese respecto de ningn privilegio especial; no es sino una
teora entre otras y los problemas que provoca o que resuelve
se encuentran casi idnticos en otros lados.
Vamos a mostrar en un punto preciso cmo pensamos
poder justificar esta presentacin de las cosas, y estudiaremos, para ello, el problema de las relaciones entre esencia
y existencia. Este problema, que est ligado, por lo dems,
al problema de lo finito y lo infinito, es esencialmente filosfico; la metafsica clsica, con los medios dialcticos a su
disposicin, ha siempre intentado operar el paso, para un
mismo ser, de la esencia de ese ser a su existencia. Este problema ha aparecido en las matemticas en las discusiones
relativas al transfinito y al axioma de eleccin, y las matemticas intuicionistas o formalistas han situado, en general, el
debate sobre el terreno de la filosofa tradicional.
Para los partidarios del infinito actual, la definicin no
contradictoria de un ser matemtico produce su existencia;
126
para los nominalistas, no hay existencia que no sea efectivamente construida. Nos parece que esas dos actitudes tienen
en comn una concepcin en la que el problema de las relaciones entre esencia y existencia se plantea an a propsito
de un mismo ser. Si se abandona ahora la idea de que un
esquema de solucin para un tal problema pueda ser siquiera
concebible independientemente de las matemticas, y si se
ensaya, al contrario, a desprender del movimiento de las teoras matemticas la trama que las subtiende, se llega a unas
conclusiones bien diferentes. Cuando el paso de la esencia a
la existencia es posible, siempre tiene lugar desde un gnero
del ser a otro gnero del ser, tanto en lgica como en el resto
de las matemticas.
El punto de vista de la esencia en lgica y el de la
estructura no contradictoria de un sistema de axiomas es
el punto de vista estructural, o Beweistheoretisch, que Bernays opone al punto de vista extensivo, o Mengentheoretisch.
El punto de vista extensivo es el de la existencia de las interpretaciones de un sistema de axiomas, de los campos de
individuos que lo realizan, y casi todas las demostraciones
metamatemticas intentan establecer un lazo entre las propiedades estructurales de las proposiciones de un sistema y
la existencia de campos donde esas proposiciones puedan
verificarse. El paso de la esencia a la existencia se debe as
a que la estructura o esencia del sistema de axiomas es apta
para dar origen a las interpretaciones del sistema. Iremos
encontrando esquemas de gnesis anlogos en las teoras
matemticas ms diversas.
La estructura de una superficie de Riemann se expresa por su gnero. El gnero p permite conocer, en efecto, el
nmero mximo 2p de curvas cerradas que pueden trazarse
sobre la superficie sin dividirla en dos regiones separadas.
Ahora bien, ese nmero 2p, que est as ligado al recorte cannico de la superficie, es inmediatamente interpretable en
trminos de existencia para otros seres distintos de la super127
Albert Lautman
en una realidad ideal, dominante con respecto a la matemtica, pero que slo es cognoscible a travs de ella.
Estas ideas son, por lo tanto, bien distintas de unos puros arreglos de signos, pero no por ello dejan de necesitarlos
como materia matemtica que les presta un cuerpo donde
poder afirmar el dibujo de sus enlaces.
129
Introduccin
De la naturaleza de lo real en matemtica
133
Albert Lautman
realidad que se resiste a la identificacin; parece que se encontrara entonces all la indicacin de que la naturaleza de
esa realidad es diferente del esquema demasiado simplista
con el cual se la intenta describir; en cambio, el desarrollo
de la nocin de tautologa ha eliminado completamente, en
la escuela de Russell, la idea de una realidad propia de las
matemticas.
Para Wittgenstein y Carnap, las matemticas no son
ms que una lengua indiferente al contenido que ella expresa. Slo las proposiciones empricas se referiran a una
realidad objetiva, y las matemticas no seran sino un sistema
de transformaciones formales para entrelazar unos con otros
los datos de la fsica. Si se intentan comprender las razones
de ese desvanecimiento progresivo de la realidad matemtica, se puede llegar a concluir que este resulta del empleo del
mtodo deductivo. Por querer construir todas las nociones
matemticas a partir de un pequeo nmero de nociones y
de proposiciones lgicas primitivas, se pierde de vista el carcter cualitativo e integral de las teoras constituidas. Ahora
bien, lo que las matemticas dejan esperar para el filsofo
es una verdad que habra de revelarse en la armona de sus
edificios, y en ese dominio, como en muchos otros, la bsqueda de nociones primitivas debe ceder su lugar a un estudio sinttico de conjunto. A este respecto, nos parece bien
extrao que, despus de haber llevado a cabo investigaciones
muy completas sobre las teoras relativas al nmero y al espacio, Poirier no haya querido ver en las matemticas sino un
juego de smbolos desprovistos de sentido2. Parece haberlas
abordado con la intencin de solicitarles un enriquecimiento
de las indicaciones que sugieren sobre lo real la percepcin
exterior o el sentido ntimo. Lo real es ante todo, para l,
experiencia inmediata, y las teoras abstractas no nos otorgan
ningn asidero sobre l. Poirier casi reprocha a esas teoras
2 Vase R. Poirier, Essais sur quelques caractres des notions despace et de temps.
134
Albert Lautman
136
137
Albert Lautman
Los axiomas y las proposiciones demostrables, es decir, las frmulas que nacen del juego de esas acciones recprocas (a saber,
la deduccin formal y la adjuncin de nuevos axiomas), son las
imgenes de los pensamientos que constituyen los procedimientos ordinarios de las matemticas desarrolladas hasta ahora, pero
no son las verdades en sentido absoluto. Las verdades en sentido
absoluto son ms bien las vistas (Einsichten) que otorga mi teora
de la demostracin, en lo que se refiere a la resolubilidad y a la no
contradiccin de esos sistemas de frmulas.
La teora matemtica recibe as su valor de las propiedades metamatemticas que su estructura encarna.
La concepcin estructural y la concepcin dinmica de
las matemticas parecen oponerse a primera vista: mientras
una tiende a considerar una teora matemtica como un todo
acabado, independiente del tiempo, la otra, al contrario, no
la separa de las etapas temporales de su elaboracin; para la
primera, las teoras son como seres cualitativamente distintos unos de otros, mientras que la segunda ve en cada teora
una potencia infinita de expansin fuera de sus lmites y de
enlace con las dems, afirmndose as la unidad de la inteligencia. Quisiramos, sin embargo, intentar desarrollar, en las
pginas que siguen, una concepcin de la realidad matemtica donde se entrelazan la fijeza de las nociones lgicas y el
movimiento en el cual viven las teoras. En la metamatemtica de Hilbert se examinan las teoras matemticas desde el
punto de vista de las nociones lgicas de no contradiccin y
de acabamiento, pero ese no es sino un ideal hacia el cual se
orientan las investigaciones, y se sabe hasta qu punto ese
ideal parece actualmente difcil de alcanzarse7. La metamatemtica puede as considerar la idea de ciertas estructuras
perfectas, eventualmente realizables por teoras matemti7 Vase J. Cavaills, Mthode axiomatique et formalisme. Essai sur le problme du fondement des mathmatiques.
138
139
Albert Lautman
con su medio ambiente a propiedades inherentes, caractersticas de ese ser. Mostramos luego en el captulo 3 (El
ascenso hacia el acabamiento [sic]) cmo la estructura de un
ser imperfecto puede a veces preformar la estructura de un
ser perfecto en el que toda imperfeccin desaparece. Luego
vienen tres captulos relativos a la nocin de existencia. Intentamos desarrollar en el captulo 4 (Esencia y existencia)
una nueva teora de las relaciones entre esencia y existencia,
donde se ve cmo la estructura de un ser puede interpretarse en trminos de existencia para otros seres distintos del
ser cuya estructura se estudia. El captulo 5 (Los Mixtos)
describe algunos Mixtos intermedios entre diferentes gneros del Ser, y cuya consideracin es a menudo necesaria
para operar el paso de un gnero del ser a otro gnero del
ser. Nuestro ltimo captulo (Del carcter excepcional de la
existencia) describe, finalmente, los procedimientos con los
cuales un ser puede ser distinguido en el seno de una infinidad de otros seres.
***
Quisiramos mostrar que las ideas que inscribimos al frente
de cada uno de nuestros captulos y que nos parece que dominan el movimiento de ciertas teoras matemticas, aunque
son concebibles independientemente de las matemticas,
son, no obstante, susceptibles de un estudio directo. No existen sino en relacin con una materia a la que penetran de
inteligencia, pero puede decirse en revancha que son ellas
las que confieren a las matemticas su eminente valor filosfico. El mtodo que seguiremos es, entonces, esencialmente
un mtodo de anlisis descriptivo; las teoras matemticas
constituyen para nosotros algo dado, de cuyo seno nos esforzaremos por desprender la realidad ideal en la cual esa
materia participa.
140
Primera parte
Los esquemas de estructura
Captulo 1
Lo local y lo global
Uno de los rasgos caractersticos del desarrollo de las matemticas desde mediados del siglo XIX consiste en que las investigaciones matemticas ms diversas han podido proseguirse
desde un doble punto de vista, el punto de vista local y el punto de vista global. El estudio local se dirige hacia el elemento, las ms de las veces infinitesimal, de la realidad; intenta
determinarlo en su especificidad y, avanzando luego poco a
poco, establece progresivamente enlaces bastante slidos entre
las diversas partes reconocidas, para que una idea de conjunto
se desprenda de su yuxtaposicin. El estudio global busca, al
contrario, caracterizar una totalidad independientemente de
los elementos que la componen; ataca de entrada a la estructura del conjunto, asignando as un lugar a los elementos antes
aun de conocer su naturaleza; tiende, sobre todo, a definir los
141
Albert Lautman
u
v
=
x
y
u
v
=
.
y
x
f (z 0 ) =
1
2pi
f (z )
z z
C
dz
Albert Lautman
144
ds 2 = gijduidu j .
i, j
145
Albert Lautman
dice Cartan, cmo la bsqueda de las leyes locales de la Fsica no puede ser disociada del problema cosmognico. No se
puede, por lo dems, decir cul precede a cul; se encuentran
inextricablemente mezclados entre s13. La integracin global
no es la prolongacin de la integracin local; la solucin del
problema local exige un conocimiento previo de la estructura
del Universo.
Partiendo de una oposicin de puntos de vista que pareca especfica de la geometra, encontramos el mismo conflicto en otros problemas de una importancia filosfica considerable, puesto que de su solucin depende la interpretacin del
determinismo de la fsica; se trata de los problemas relativos a
las condiciones de existencia de las ecuaciones diferenciales o
de las ecuaciones con derivadas parciales.
Los analistas del siglo XIX han podido establecer en la
mayora de los casos algunos teoremas de existencia que permiten asegurar la existencia, y eventualmente la unicidad, de
la solucin de una ecuacin diferencial o de una ecuacin con
derivadas parciales definida sobre todo un dominio donde se
verifica una cierta desigualdad, y esto apoyndose nicamente
sobre el conocimiento de datos locales, en un punto de origen,
por ejemplo.
Es as como una ecuacin diferencial de segundo orden14 de la forma
d 2y
dy
= f (x , y, )
2
dx
dx
admite, en general, una, y una sola, solucin correspondiente
a ciertas condiciones iniciales dadas, a saber, que, para x=a,
13 E. Cartan, Le paralllisme absolu et la thorie unitaire du champ, Paris:
Hermann, 1932, p. 18.
14 Recordemos que una ecuacin diferencial establece una relacin entre
una funcin de una sola variable y un cierto nmero de sus derivadas
sucesivas, mientras que una ecuacin con derivadas parciales establece
una relacin entre una funcin de varias variables y un cierto nmero
de sus derivadas parciales con respecto a todas o varias de esas variables.
147
Albert Lautman
F (x , x 1...x n , u,
u 2u
,
)=0
xi xixk
i, k = 0, 1, 2...n
x0 = x
2
puede ser resuelta con respecto a u de tal forma que se
x 2
tenga
2u
u 2u
=
f
(
x
,
x
...
x
,
u
,
,
)=0
n
1
xi xixk
x 2
i, k = 1...n
148
y que toma en la frontera del dominio ciertos valores asignados de antemano. Tales funciones se encuentran en el estudio del equilibrio elctrico o calrico, cuando se intenta,
por ejemplo, determinar la temperatura que terminar por
establecerse dentro de un dominio en cuya frontera se reparte una sucesin continua de temperaturas, invariables en el
curso del tiempo. El hecho fsico de que una temperatura de
equilibrio termina efectivamente por establecerse dio a los
matemticos la certeza de la existencia de la funcin buscada, antes aun de que tuviesen una demostracin rigurosa.
Si se reflexiona sobre la naturaleza de las condiciones en los
lmites del problema de Dirichlet, puede uno darse cuenta, observa Hadamard, que existe una suerte de profunda contradiccin entre esas condiciones y los datos iniciales de los teoremas
de Cauchy-Kowalewska. Puesto que el conocimiento del valor
dad de Ginebra en junio de 1935. Nos inspiramos particularmente en
la conferencia de Hadamard, de la que tomamos, igualmente, la forma
de las ecuaciones citadas en el texto.
149
Albert Lautman
de la funcin en cada punto de la superficie S determina completamente a esa funcin en el caso del problema de Dirichlet,
parece evidente que no se tiene el derecho de darse a lo largo
de S el valor de u y de una de sus derivadas, como se hace en el
enunciado del teorema general. La apariencia de contradiccin
es evitable desde el punto de vista matemtico porque, por un
lado, los datos iniciales del teorema general de existencia se someten a condiciones rigurosas de analiticidad, mientras que los
datos en los lmites son de una naturaleza mucho ms general, y, por otro, porque la solucin cuya existencia se afirma en el
teorema de Kowalewska no est definida sino en una vecindad
ms o menos inmediata de la superficie S, mientras que, en el
caso de un problema a la Dirichlet, la solucin buscada debe
definirse y ser regular en todo el volumen V, cuya frontera es la
superficie S. Es verdad tambin que la teora de ecuaciones con
derivadas parciales rige algunos procesos fsicos ntidamente
distintos: unos, como la propagacin de la luz, se encuentran en
evolucin libre y el esquema determinista les puede ser perfectamente aplicado. Otros, por el contrario, se circunscriben por
los datos en los lmites. No slo deben conocerse previamente
los datos iniciales, sino los lmites extremos entre los cuales los
fenmenos estudiados pueden oscilar. Se demuestra, en efecto,
en el caso del problema de Dirichlet, que si la funcin buscada
no es una constante, es sobre la frontera del dominio, y para
valores dados de antemano, donde se alcanzan el mximo y el
mnimo de la funcin. Pareciera, entonces, para un fenmeno
fsico cuya evolucin se encuentra dirigida y que algunos lmites precisos encierran por todas partes, que debe recurrirse
a inesperadas interpretaciones filosficas en matemticas, en
las cuales el sistema fsico resulta ser comparable a una unidad
orgnica. Volveremos a encontrar, por lo dems, algunas consideraciones de este tipo en el captulo 6, y veremos de nuevo
cmo las bsquedas de mximos y mnimos han podido sugerir
a veces la idea de una finalidad inherente en ciertas teoras matemticas y en ciertos fenmenos fsicos.
150
151
Albert Lautman
152
Me dan un pequeo pedazo de una superficie F; puedo examinar ese pedazo con toda la precisin posible, pero, por el contrario,
no tengo la posibilidad de estudiar la superficie en su conjunto.
Qu conclusiones puedo extraer del conocimiento que tengo del
pequeo pedazo de la superficie, en lo que se refiere a la superficie
total y en particular a su estructura topolgica?
153
Albert Lautman
155
Albert Lautman
156
157
Albert Lautman
158
uniforme)28. El espacio es completo si toda sucesin fundamental converge en l, y el espacio (E) de funciones continuas es, precisamente, un espacio completo semejante.
Para estudiar las propiedades individuales de descomposicin de las funciones continuas, comenzaremos por el
caso sencillo donde el espacio de puntos E es un intervalo
cerrado [a,b] del espacio euclidiano. Weierstrass ha demostrado que si f(x) es una funcin continua en [a,b], esa funcin puede ser aproximada tan cerca como se desee por un
n
159
Albert Lautman
gencia uniforme de la sucesin de polinomios hacia un lmite f(x) resulta, esta vez, ya no de las propiedades individuales
del lmite, sino de la propiedad global de cierre del espacio
de funciones continuas. En otros trminos, el hecho de que
en una vecindad infinitesimal de la funcin f(x) se encuentre
un polinomio P(x) concierne, en efecto, a la funcin f(x)
considerada aisladamente, pero ese hecho se vincula inmediatamente con la totalidad de los dems casos anlogos. En
el espacio de funciones continuas, el conjunto de los polinomios en x es denso en todos lados, es decir, en toda vecindad
de una funcin continua se encuentra un polinomio, y la demostracin de este teorema invoca el cierre del espacio.
Existen, en anlisis, otros ejemplos en los que se muestra un enlace semejante entre la estructura global de un conjunto de funciones y el modo de descomposicin individual
de esas funciones. As, por ejemplo, toda funcin continua
y diferenciable en el intervalo p<x<p es representable
por una serie convergente de polinomios trigonomtricos (o
serie de Fourier):
1
f (x ) = a 0 + (an cos nx + bnsen nx ) ,
2
n =1
160
1
an =
p
f (x ) cos nx dx
1
bn =
p
f (x )sen nx dx .
Este teorema puede ser presentado como una consecuencia del teorema de Weierstrass: el conjunto de las funciones
continuas y diferenciables en el intervalo p<x<p forma
tambin un espacio completo, y esta propiedad global de acabamiento se traduce por un nuevo modo de descomposicin
individual de las funciones que pertenecen al conjunto.
***
Los estudios precedentes muestran que es imposible considerar un todo matemtico como el resultado de una yuxtaposicin de elementos, definidos independientemente de
toda consideracin de conjunto relativa a la estructura del
todo en el que esos elementos se integran. Existe un descenso del todo hacia la parte, as como un ascenso de la parte
hacia el todo, y ese doble movimiento, esclarecido a la luz de
la idea de acabamiento, nos ha permitido observar un primer
aspecto de la organizacin interna de los seres matemticos.
Si admitimos que el estudio de tales enlaces estructurales
es una tarea esencial para la filosofa matemtica, no pueden dejar de notarse las diferencias que separan la filosofa de las matemticas as concebida de toda la corriente de
pensamiento logicista que se ha desarrollado despus de que
Russell descubriera las paradojas de la teora de conjuntos.
Los lgicos han querido siempre prohibir desde entonces
las definiciones no predicativas, es decir, aquellas donde las
propiedades de un elemento se adhieren, solidarias, al conjunto al cual ese elemento pertenece. Los matemticos no
han querido admitir jams la legitimidad de esa interdiccin, mostrando con razn la necesidad de recurrir a veces
a propiedades globales del conjunto para definir algunos de
sus elementos. Todo el captulo que acaba de leerse tiende a
mostrar la fecundidad de ese punto de vista. Esperamos as
161
Albert Lautman
Todos los comentadores de Kant han mostrado la importancia, para la formacin de la teora kantiana del espacio,
de dos textos del periodo precrtico, uno de 1768, Von dem ersten Grunde des Unterschiedes der Gegenden im Raume, y el otro
de 1770, la disertacin De mundi sensibilis atque intelligibilis
forma et principiis, donde se esbozan las ideas de la Esttica Trascendental. Las posiciones respectivas que ocupan los
cuerpos en el espacio, unos en relacin con otros, no se dejan
describir nicamente en trminos de relaciones mutuas, y
remiten necesariamente a un sistema de referencias privilegiado y universal, aquel que establecen en el espacio las
distinciones fundamentales de la izquierda y la derecha, del
29 Leibniz Arnauld, ed. Gerhardt, t. ii, p. 112.
30 Systme nouveau, ed. Gerhardt, t. IV, p. 484.
163
Albert Lautman
164
165
Albert Lautman
Einstein pueda verse como una variedad riemanniana cerrada evoca a menudo la imagen de una superficie cerrada que
la intuicin no podra dejar de situar en un espacio infinito
tridimensional, y por fuera de la cual, sin embargo, por una
paradoja incomprensible, no podra existir materia, o siquiera espacio. La paradoja desaparece cuando se entiende que
una variedad sobre la que se define un ds2 con ms de dos
dimensiones no es de ningn modo susceptible de ser comparada intuitivamente con una superficie. Las nociones de la
geometra diferencial intrnseca son puramente intelectuales; caracterizan un modo de exploracin matemtico de una
variedad, por medio de un caminar sobre la variedad que se
opone al mtodo extrnseco, donde la variedad se sumerge
en un espacio euclidiano con un nmero suficiente de dimensiones. Siempre es posible, en efecto, realizar un ds2 en
un espacio euclidiano, pero se trata de un espacio euclidiano
con n(n+1)/2 dimensiones, cuya geometra es al menos
tan abstracta como la de la variedad a la que contiene. Lo
que nos interesa aqu es la existencia de dos puntos de vista
tan ntidamente distintos como lo son el punto de vista intrnseco y el punto de vista de la insercin; esta nueva dualidad nos conduce, en efecto, al primero de los problemas que
nos proponemos estudiar en este captulo: es posible que las
propiedades inducidas sobre una superficie de Riemann por
el espacio euclidiano ambiente puedan ser reducidas a propiedades puramente intrnsecas de esa variedad?
El paralelismo sobre una superficie de Riemann33
La pregunta planteada es autnticamente matemtica y su
enfoque tcnico puede verse en las exposiciones de Cartan
que hemos citado ms arriba; no por ello est desprovista
de un considerable inters filosfico, que el mismo Cartan
33 Vase para todo este prrafo el primer artculo de E. Cartan (citado en
nota 11).
166
167
Albert Lautman
168
169
Albert Lautman
170
figura 1. (Segn
y Threlfall).
Albert Lautman
cible a una propiedad de estructura intrnseca. Consideremos lo que se llama el anillo de Mbius, la figura obtenida
al soldar las dos extremidades de una banda torcida una vez
sobre s misma. Si se traza una lnea sobre esa superficie,
parando slo al alcanzar de nuevo el punto de partida, y si se
raja luego el anillo y se despliega a lo largo, se obtiene una
banda cuyos dos lados se encuentran recorridos por la recta
trazada. Si se colorease el anillo progresivamente, se podra
percibir, desplegando de nuevo el anillo en el espacio, que se
han coloreado los dos colores de la banda obtenida (figura 2).
Albert Lautman
174
175
Albert Lautman
figura 3 .
El nmero de Betti de dimensin 1 mide el nmero mximo de curvas cerradas independientes que no son
reducibles a un punto por deformacin continua. Sea, por
ejemplo, el plano euclidiano agujereado con dos huecos. Los
to). Un ciclo frontera se dice homlogo a cero. Dados estos preliminares,
he aqu la definicin de independencia de ciclos: m ciclos de dimensin k,
u1k,u2k,...,umk se dicen independientes si no existe ninguna combinacin
lineal t1u1k+ttu2k,...+tmumk que sea homloga a cero sin que todos los
coeficientes ti se anulen. Si, sobre un complejo, pueden encontrarse m ciclos independientes y no pueden encontrase m+1 ciclos independientes,
el nmero de Betti de dimensin k es m.
176
Albert Lautman
s. Un simple cambio de perspectiva los disociar y transformar una simetra interna en una verdadera correspondencia
entre dos seres distintos.
Consideremos, en efecto, un complejo Q con k dimensiones, sumergido en el espacio euclidiano Rn con n dimensiones.
Sea RnQ el espacio complementario del complejo Q, es decir, el espacio del cual se retiran los puntos pertenecientes a Q.
Mientras que hace un momento se tena una dualidad entre
los nmeros de Betti de un mismo complejo, el teorema de
Alexander demuestra una nueva dualidad entre los nmeros
de Betti de Q y aquellos de su complemento RnQ45. Sea
pr(Q) el nmero de Betti de dimensin r del complejo Q;
45 La nocin extrnseca de enlace es la que permite ligar el teorema de
Alexander con el teorema de Poincar. Se dice que hay un enlace entre
dos curvas cerradas sin puntos comunes, si hay una interseccin entre
el plano comprendido en el interior de una de esas curvas y la otra curva. En el caso que nos ocupa, en Rn hay enlace entre los ciclos fronteras
de dimensin r que pertenecen a Q y los ciclos frontera de dimensin
nr1 que pertenecen a RnQ. Esto significa que hay interseccin
entre los ciclos frontera de dimensin r de Q y ciertas cadenas de dimensin nr de RnQ. Pueden entonces considerarse esos ciclos de
dimensin r y esas cadenas de dimensin nr como pertenecientes a
ciertos complejos en dualidad dentro de Rn, y se ve as cmo se opera
el paso del caso interno al caso externo.
178
figura 5 .
Los nmeros de Betti de RnQ, que expresan la estructura de ese espacio, expresan as la naturaleza misma de la accin
que el complejo Q ejerce sobre Rn, y el teorema de Alexander
permite prever el resultado de esa accin de Q sobre Rn gracias
al conocimiento de la estructura propia de Q. Se comprende
entonces cmo Alexandrov y Hopf pueden escribir46:
46 Alexandrov y Hopf, Topologie, p. 449.
179
Albert Lautman
He aqu el caso ms simple donde se aplican estas consideraciones: el teorema de Jordan muestra cmo una curva cerrada en el plano lo divide en dos regiones separadas,
para las cuales sirve de frontera comn. El teorema caracteriza manifiestamente la accin de la curva sobre el espacio. Brouwer y Lebesgue mostraron, mucho antes de que
Alexandrov enunciara su teorema general, cmo era posible
ligar esa accin de una multiplicidad cerrada de dimensin
n sobre un espacio ambiente de dimensin n+1, con las
propiedades intrnsecas de la multiplicidad. Con la frmula
de Alexander, el resultado de Jordan es inmediato: una curva
cerrada C es un complejo con una dimensin, y su nmero
de Betti de dimensin 1, p1, es igual a 1. En el plano, donde
n=2, se tiene as, llamando p0(R2C) al nmero de componentes aisladas del espacio del cual se retiran los puntos
situados sobre la curva C:
p0(R2C)=p1(C)+1=2.
La accin de la curva sobre el espacio puede ser as determinada a partir del conocimiento de los invariantes de
estructura de la curva considerada intrnsecamente. Pontria47 Los grupos de torsin son ciertos invariantes de estructura determinados al mismo tiempo que los nmeros de Betti.
180
Nadie imaginaba, en efecto, antes del desarrollo de la topologa algebraica, que las propiedades de estructura interna
descubiertas por Poincar explicaran luego las propiedades
extrnsecas de situacin que expresaba el teorema de Jordan.
Las limitaciones de la reduccin
Los teoremas de dualidad, como hemos visto en la pgina 179,
permiten determinar las propiedades de estructura del espacio complementario de un poliedro sumergido en el espacio
euclidiano por medio del conocimiento de la estructura del
poliedro en cuestin, con tal de que esas propiedades se dejen
expresar por los nmeros de Betti y los grupos de torsin.
Ahora bien, algunos hechos han mostrado que esta restriccin
es esencial y que la reduccin de las propiedades de situacin
a propiedades de estructura no puede ser completamente llevada a cabo. Parece como si la topologa no pudiera desarrollarse sino dando la razn a Leibniz, pero, a su vez, encontrando constantemente hechos que dan la razn a Kant y que la
obligan as a buscar nuevos mtodos. El descubrimiento en
48 L. Pontriagin, ber den algebraischen Inhalt topologischer Dualittsstze,
Math. Ann., t. 105 (1931), pp. 165 ss.
181
Albert Lautman
182
183
Albert Lautman
184
185
Albert Lautman
187
Albert Lautman
188
sin de K con respecto a k, puede preverse el modo de descomposicin en K de los ideales primos de k? Inversamente,
conocindose las leyes de descomposicin de los ideales en
un supercuerpo, puede caracterizarse la naturaleza de la extensin considerada? Se trata de dos problemas recprocos
de solidaridad entre un todo y sus partes, problemas comparables con los problemas de metrizacin y de prolongacin
considerados en la p. 153, a los que se aade un nuevo elemento, el del ascenso hacia un cuerpo maximal, que acerca el
problema a la teora de Galois.
Hilbert haba enunciado en 1898, sin demostracin, los
principales teoremas de la teora de cuerpos de clases, para
el caso de algunos supercuerpos particulares (supercuerpos
abelianos no ramificados). Esos resultados fueron demostrados y extendidos a categoras de supercuerpos mucho ms
generales por Furtwngler en 1907 y por Takagi en 1920. Nos
limitaremos aqu a los casos simples considerados por Hilbert, y quisiramos brevemente elucidar el enlace establecido
entre el conjunto de los supercuerpos que contienen al cuerpo
k y el conjunto de los grupos de ideales que estn contenidos
en ese cuerpo.
La definicin de los grupos de ideales de un cuerpo k
puede hacerse de la manera siguiente: sea A el grupo de todos los ideales del cuerpo k y sea S el grupo de los ideales
principales del cuerpo, que es evidentemente un subgrupo
del grupo A. Se consideran como grupos de ideales todos los
subgrupos H de A que contienen al grupo S de los ideales
principales. Esos subgrupos estn as situados entre un grupo maximal A y un grupo minimal S, y cada uno determina
una divisin en clases de los ideales de A; dos ideales estn
en una misma clase con respecto a H cuando su cociente se
encuentra contenido en el subgrupo H considerado.
Habindose precisado as la nocin de grupos de ideales, Hilbert llama cuerpo de clases para el grupo de ideales H del cuerpo k un cierto supercuerpo algebraico K tal que
189
Albert Lautman
slo los ideales primos de k que pertenecen a H se descomponen en K siguiendo una cierta ley simple que l indica58,
mientras que los otros ideales se descomponen siguiendo
una ley ms complicada. Furtwngler y Takagi han demostrado entonces los dos teoremas recprocos que permiten
establecer una correspondencia biunvoca entre los grupos
de ideales dentro de k y las extensiones sobre k: para todo
grupo de ideales H situado dentro de k, existe una extensin
K de k que es cuerpo de clases para H, e, inversamente, todo
cuerpo K que es relativamente abeliano sobre k es cuerpo de
clases para un cierto grupo de ideales H situados dentro de
k. El grado de la extensin K sobre k es igual al orden del
grupo A/H de clases de ideales determinado por la divisin
en clases que el subgrupo H opera en el grupo A de todos los
ideales del cuerpo k. Adems, esa correspondencia biunvoca
entre cuerpos y grupos establece, como en la teora de Galois, un enlace entre el ascenso en los supercuerpos y el descenso en los grupos: se demuestra, en efecto, que la relacin
KK da lugar a una relacin inversa HH para los
grupos de ideales H y H correspondientes a dos cuerpos
de clases distintos K y K.
58 Lo que aqu nos interesa no es tanto la naturaleza matemtica de esa
descomposicin como el hecho de saber que es ms simple para los
ideales primos del grupo de ideales H que para los ideales que no pertenecen a H. De hecho, he aqu esa ley: dado un ideal a de K, sea a el
conjunto de los nmeros de a que estn en el cuerpo de base k. Consideremos los conjugados de a en los cuerpos de Galois conjugados de
K. El producto de todos esos conjugados se llama la norma del ideal
a, y si a es primo en K se demuestra que norma (a)=af; f se llama
entonces el grado relativo de a con respecto a k. En estas condiciones,
slo los ideales primos de k que pertenecen a H se descomponen en
K en un producto de ideales primos diferentes, de grado relativo 1. Si,
por el contrario, p es un ideal primo de k que no pertenece a H, y si pf
es la ms pequea potencia de p situada en H, p se descompone en K
en un producto de ideales primos de grado relativo f con respecto a k.
190
Albert Lautman
192
figura 6 .
Threlfall).
Veremos ahora cmo es posible definir, sobre una superficie mltiplemente conexa F, toda una serie de variedades
que recubren cada una la superficie F. Esas variedades se
escalonan entre F y una variedad universal de recubrimiento,
que recubre todas las anteriores sin ser recubierta por ninguna, y en la cual se borra completamente la multiplicidad de
conexin de la superficie de base.
193
Albert Lautman
194
cerrado en ella es reducible a un punto. Esa superficie universal es, por lo tanto, simplemente conexa, nica entre todas
las superficies que recubren a la superficie inicial. Se la puede
caracterizar de la siguiente manera: a un punto dado P de la
superficie inicial F le corresponden tantos puntos conjugados
P1 , P2 , Pn sobre la superficie de recubrimiento F , como
existen sobre F contornos cerrados salidos de P, no reducibles
entre s. En suma, cada punto de la superficie mltiplemente
conexa no era nico sino en apariencia, el punto posea una
complejidad escondida que se traduca por el grado de conexin de la superficie, y, al disociar todos los puntos confundidos para dispersarlos por separado sobre la superficie de recubrimiento, se le restituye a la superficie la simplicidad ideal
de las superficies perfectas. Veremos en el pargrafo siguiente
cmo, al restituirle a la superficie su simplicidad, se le restituye
al mismo tiempo su fecundidad.
La uniformizacin de las funciones algebraicas
sobre una superficie de Riemann
El problema de la uniformizacin de las funciones analticas
(nos ocuparemos slo de las funciones analticas algebraicas61) es en s mismo un problema cuya significacin lgica
es comparable a la de los problemas anteriores: se trata otra
vez de eliminar las imperfecciones de ciertos seres matemticos gracias al paso, de un estado primitivo, a un ideal de
simplicidad absoluta cuya existencia est implicada en los
entreveros mismos de su estructura. Una funcin algebraica
z=f(z) se dice multiforme alrededor de un punto de ramificacin algebraica de orden m, si, mientras la variable gira
alrededor del punto, la funcin puede tomar sucesivamente
m valores distintos antes de volver a retomar el primero de
61 Una funcin algebraica z=f(z) es una funcin que satisface una ecuacin algebraica del tipo g0(z)zn+g1(z) zn1+...+gn(z)=0.
195
Albert Lautman
to cruzado de los bordes de cada corte hacen que no sea simplemente conexa; en efecto, es posible trazar sobre esa superficie algunas curvas cerradas, llamadas retrosecciones, que no
dividen la superficie en dos regiones que lleven a encontrar la
curva en caso de pasar de una a otra, y que son irreducibles a
un punto por deformaciones continuas. Esas complicaciones
topolgicas de las superficies de Riemann se compensan por
el hecho de que el comportamiento de la funcin algebraica
sobre esa superficie se encuentra mucho ms prximo de la
uniformizacin que sobre el plano complejo. Si no existe an
una funcin uniforme global, existe ya en cada punto de esa
superficie una uniformizante local. Sea, por ejemplo, la
funcin z = m z . La superficie de Riemann de esa funcin
posee, en el punto complejo z=0, m pliegues superpuestos
empalmados para establecer una permutacin circular de los
m valores de la funcin en el origen. Si ponemos tm=z, se
tiene z=t, y se tiene una correspondencia puntual biunvoca
entre los m pliegues de la superficie pegados todos juntos en
el punto z=0 y m porciones separadas del plano complejo
simple de la variable t, en una vecindad del punto t=0. La
variable t uniformiza as a la funcin z en una vecindad del
origen. Puede tambin definirse una superficie de Riemann,
como lo hace Hermann Weyl en su libro Die Idee der Riemannschen Flsche, sin proceder a esa superposicin complicada de pliegues y remitindose slo a la existencia, en la
vecindad de cada punto p0, de una uniformizante local t(p)
tal que, si f(p) es una funcin analtica regular o ramificada
en la vecindad de p0, pueda representarse f(p) bajo la forma
de una serie de potencias en t(p):
f (p) = a 0 + a1t (p) + a2 [t (p)]2 + ...
La superficie de Riemann as constituida62, por una
yuxtaposicin de vecindades donde estn definidas algu62 H. Weyl, Die Idee der Riemannsche Flche, p. 36.
197
Albert Lautman
198
figura 7.
Para ello, abordaremos las consideraciones que habamos anunciado al comienzo de este pargrafo. Existe un
estrecho enlace entre el hecho de que una superficie sea
simplemente conexa y el hecho de dar nacimiento en ella
a una funcin que asegure la representacin conforme64 de
la superficie, ya sea sobre la totalidad de la esfera compleja,
ya sea sobre esa esfera sin un punto, ya sea sobre el crculo
unidad del plano complejo. Es este un teorema de considerable importancia matemtica, tanto por la dificultad de los
medios que Riemann, Poincar, Hilbert, Koebe y muchos
otros tuvieron que emplear para demostrarlo, como por la in64 Recordemos que una representacin conforme entre dos dominios es
una representacin bicontinua y biunvoca entre los dos dominios, y tal
que toda funcin analtica y regular en un punto de uno de los dominios
sea transformada en una funcin analtica y regular en el punto correspondiente.
199
Albert Lautman
201
Segunda parte
Los esquemas de gnesis
Captulo 4
Esencia y existencia
Los problemas de la lgica matemtica 65
Los problemas en el paso de la esencia a la existencia que
van a ocuparnos desde ahora hasta el final de este trabajo se
entrelazan con preguntas planteadas hace tiempo por el desarrollo de la lgica matemtica. No nos parece, sin embargo,
que la lgica goce a ese respecto de un privilegio especial; no
es, en efecto, ms que una disciplina matemtica entre otras,
y las gnesis que all se manifiestan son comparables a las que
observaremos en otros lugares. La exposicin que haremos
65 Vase para todo este pargrafo J. Cavaills, Mthode axiomatique et formalisme. Essai sur le problme du fondement des mathmatiques.
203
Albert Lautman
204
As como los nmeros ideales no forman parte de los nmeros de un cuerpo, los elementos transfinitos de la matemtica axiomatizada no son determinables en un nmero finito
de etapas. Pero, al igual que la consideracin de los nmeros
ideales es indispensable para generalizar el teorema de la descomposicin en factores primos, la consideracin de elementos transfinitos es necesaria para generalizar la aplicacin del
tercio excluido. Querer eliminarlos implicara el abandono de
la regla de los contradictorios en lgica. He aqu cmo, en una
memoria de 1923, se presenta el enlace del axioma de eleccin
transfinito y el del tercio excluido para los conjuntos infinitos.
El axioma introducido es el siguiente:
A(tA) A(a ).
(a ) A(a )
(a )A(a ).
205
Albert Lautman
206
207
Albert Lautman
208
209
Albert Lautman
dejan, en efecto, de ser relativas a los mismos seres matemticos. No se trata ya ms de saber si una definicin conduce
a la existencia, sino de buscar si la estructura de un sistema
de axiomas puede dar nacimiento a un campo de individuos
donde se sostienen las relaciones definidas por los axiomas.
La esencia considerada sigue siendo la del sistema de axiomas, pero aquello cuya existencia permite ser afirmada por
el estudio interno del sistema son las interpretaciones del
sistema, los campos donde los axiomas se realizan.
Cuando el sistema de axiomas no puede realizarse sino
en un campo infinito de individuos, ya no se tiene forzosamente una equivalencia entre la no contradiccin del sistema
y la existencia de una interpretacin de ese sistema. El principio del tercio excluido no se aplica necesariamente en la
forma estrecha que toma en el caso de los campos finitos, y
la conjuncin de los axiomas de un sistema puede ser irrefutable, por lo tanto el sistema no contradictorio, sin que exista de hecho una interpretacin de los axiomas del sistema.
En suma, la posibilidad de realizacin es una exigencia ms
fuerte que la no contradiccin; una disociacin se establece
entre el punto de vista extensivo y el punto de vista estructural; el problema de la realizacin debe dejar lugar, segn
Bernays, a una bsqueda puramente interna de la irrefutabilidad. Es lo que Bernays llama la concepcin negativa de la
no contradiccin. En ese sentido, Bernays ha demostrado75
que, para el clculo de predicados, exista rigurosamente una
equivalencia entre la no contradiccin y la irrefutabilidad de
la conjuncin de los axiomas, sin que eso implicara para nada
la existencia de una interpretacin del sistema.
Los hechos demuestran, sin embargo, que es difcil desarrollar una teora puramente estructural de la no contradiccin. A ese respecto, el intento ms autnticamente estructural
de demostracin de la no contradiccin de la aritmtica es
75 Hilbert, Bernays, op. cit., p. 156.
210
211
Albert Lautman
212
Albert Lautman
215
Albert Lautman
216
como singularidades logartmicas, que sufre una discontinuidad determinada al atravesar el corte que va de a a b y que
es continua, finita y uniforme en todas las dems partes de
la superficie. Partiendo de all, es fcil definir una funcin
potencial que no tenga ninguna singularidad logartmica (ni
ningn polo): basta con aplicar el teorema de existencia anterior al caso de una sucesin de puntos z,z,...,zn1,z,
tales que el ltimo coincida con el primero y que estn situados sobre una de las 2p curvas cerradas que no dividen
a la superficie en regiones separadas (una retroseccin de
la superficie). Se obtienen as funciones uzz,...,uz z que,
en virtud de un teorema de sumatorias, dan nacimiento a la
funcin potencial
n1
u(z ) = uz z + + uz n 1z .
Esta funcin potencial admite como lnea de discontinuidad el corte cerrado todo entero zz,...,zn1z. Ya no
posee entonces ninguna singularidad logartmica, puesto
que las singularidades de las funciones de las que constituye
la suma se encuentran todas situadas sobre la curva cerrada
recortada de la superficie*, y no es uniformemente nula,
puesto que, cuando la variable z salta por encima del corte,
el valor de la funcin adquiere un incremento determinado.
Adems, dado que el corte no divide a la superficie en dos
regiones, la funcin es finita, continua y uniforme sobre toda
la superficie. Como existen 2p retrosecciones pueden definirse as 2p funciones potenciales finitas en todas partes, y,
asocindolas dos a dos, se obtienen p integrales abelianas de
Sea una funcin analtica z=u+iv. Se demuestra que las funciones
u(x,y) y v(x,y) que figuran as en la expresin de una funcin analtica, cuando se separan la parte real y la parte imaginaria, son dos
funciones potenciales.
*
Errata. En vez de se encuentran todas situadas sobre la curva cerrada recortada de la superficie, debe ponerse: se anulan dos a dos.
[N. del original]
217
Albert Lautman
218
219
Albert Lautman
cuerpo, ya que las analogas de esas teoras nos parecen evidenciar una misma concepcin de las relaciones entre esencia y existencia, donde la existencia de un ser emerge de la
descomposicin estructural de un dominio de base. Hemos
mostrado cmo se poda vincular esa concepcin con la distincin metamatemtica entre propiedades estructurales y
propiedades extensivas; ahora bien, esas nociones no se han
precisado sino desde hace unos diez aos, y ya desde 1900,
en el Congreso de Pars, Hilbert estableca un acercamiento
entre las dos teoras matemticas de las que acabamos de
hablar! Los matemticos han siempre admirado la potencia de adivinacin de un genio que pudo enunciar, en 1900,
veintitrs problemas a resolver, y cuya mayor parte fue luego
resuelta por l mismo. Vamos a citar un fragmento de esa
conferencia que se refiere al problema que tratamos actualmente y donde nos parece que Hilbert esboza la filosofa de
las gnesis matemticas que habra de sugerirnos la lgica
que l desarrollara veinte aos ms tarde:
La analoga escribe84 entre el concepto de gnero de una
superficie de Riemann y el nmero de clases de un cuerpo de nmeros salta a la vista. Consideremos, tomando el caso ms simple,
una superficie de Riemann de gnero 1 y un cuerpo de nmeros
cuyo nmero de clases h sea igual a 2. A la demostracin de la
existencia de un integral finita en todas partes sobre la superficie
corresponde la demostracin de la existencia de un nmero a en
el cuerpo de nmeros tal que el nmero a genere un supercuerpo cuadrtico no ramificado sobre el cuerpo de base (es decir, un
cuerpo de clases).
220
Albert Lautman
x n = un 1x 1 + + unn x n
La idea de Weyl consiste, sin ninguna duda, en considerar85 que hay un empobrecimiento yendo de las transformaciones al grupo abstracto, y que, en sentido inverso,
el descenso del grupo abstracto a las representaciones que
operan sobre un espacio de puntos nutre de materia la forma algo vaca del grupo abstracto. Las representaciones del
grupo juegan justamente as, con respecto al grupo abstracto,
el papel de las interpretaciones de un sistema de axiomas
en lgica. Veremos que, a pesar de ese carcter concreto que
85 H. Weyl, Gruppentheorie und Quantenmechanik, cap. III.
222
un 1 unn
y designaremos a un elemento cualquiera de esa tabla por
uik(s) para mostrar que los coeficientes de una transformacin
dependen de los elementos s del grupo. Esos coeficientes se
presentan as como funciones de una variable que resulta ser el
elemento variable del grupo; son, por lo tanto, una suerte de
funciones definidas sobre el espacio del grupo, y un teorema
esencial de la teora establece que los coeficientes de todas
las representaciones unitarias, irreducibles y no equivalentes
entre s87 forman sobre el espacio del grupo un sistema com86 x i es la variable conjugada compleja de xi.
87 Sean s un elemento del grupo y U(s) la transformacin correspondiente a s en un cierto sistema de coordenadas del espacio fundamental E. Sea A la matriz de un cambio de coordenadas de ese espacio. La
representacin sU(s) se transforma en una representacin equivalente sAU(s)A1.
223
Albert Lautman
224
Albert Lautman
226
227
Albert Lautman
228
229
Albert Lautman
nmero de elementos necesarios para que todas las funciones elementales (funciones descriptivas dadas en la frmula
y funciones indiciales) hagan corresponder, a los diferentes
valores a1,...,an de C1, valores diferentes an+1,an+2,an+3,...,
en el campo C2. Si se tiene, por ejemplo, la sucesin siguiente
de signos de variables: (y)(z) (existe un y tal que para todo
valor de z), y si a1 es el valor de (y), a z le corresponde la
funcin fz(y) a la que, por convencin, se le da como valor
la letra a2 de un campo C2; a2 representa el valor de z para
el valor a1 de y. Se construye as por recurrencia una serie
finita de campos de orden creciente, tal que cada uno contiene los valores de las funciones descriptivas y de las funciones indiciales con argumentos tomados en los campos de
orden inferior, y cuyo valor no haya sido an determinado.
Los elementos de esos campos se encuentran entonces en
estrecha correspondencia con los signos de las variables de
las frmulas; constituyen, ms bien, un sistema de nuevos
signos, que se substituyen a los primeros, en vez de un conjunto de valores verdaderos para las variables designadas por
esos signos. Por otro lado, poseen, no obstante, una naturaleza de campos, independientes de la frmula que realizan, y
presentan justamente as un primer aspecto de mixtos, como
intermediarios entre los signos formales y sus valores matemticos efectivos. De ese primer carcter se puede extraer un
segundo carcter, infinitamente precioso para la concepcin
general de los mixtos en matemticas. Intermediarios entre
los signos y sus valores, estos campos, por una parte, son homogneos con la discontinuidad finita de los signos, ya que a
un signo de variable (y) no corresponde sino un valor a1, y,
por otra parte, simbolizan una infinidad de valores matemticos, ya que la letra a1 representa cualquier valor matemtico eventual de la variable y cuando interviene bajo la forma
particular (y). Una mediacin de lo finito a lo infinito se
opera entonces con esos campos, mediacin que en los casos
tratados por Herbrand permite dominar el infinito, y ese es
230
el papel que reconoceremos ahora a los mixtos que consideraremos. A propsito del espacio de Hilbert, vamos a ver, en
efecto, cmo, entre la continuidad de un dominio de base y la
discontinuidad de las soluciones de ciertas expresiones definidas sobre ese dominio, se interpone un mixto que participa
de lo continuo por el origen y la topologa de sus elementos,
as como de lo discontinuo por sus propiedades estructurales,
y que permite el enlace entre uno y otro.
El espacio de Hilbert
Hemos visto en el captulo 1 cmo ciertas ecuaciones diferenciales, o con derivadas parciales, no podan ser resueltas
sino dndose tambin las condiciones en los lmites, iniciales
o finales, que deben satisfacer las funciones que son soluciones de la ecuacin propuesta. Consideremos, por ejemplo,
una membrana vibrante encastrada sobre sus bordes en un
tabique fijo; la ecuacin que traduce la oscilacin de un punto de la membrana es la ecuacin clsica u + lu = 0; es
evidente que toda solucin u debe ser nula en los lmites de
la membrana. Consideremos tambin, en mecnica cuntica,
la ecuacin de Schrdinger que expresa la amplitud a de un
corpsculo de masa m, oscilando en un campo exterior de
intensidad V y con una energa E. Esa ecuacin se escribe:
8p 2m
[E V (x , y, z )]a = 0 .93
2
h
Dado que la amplitud a es la amplitud de una onda asociada con un corpsculo, es natural admitir que no se ocupa
sino de una regin limitada del espacio de los x, y, z, y que
es nula en los lmites de esa regin. El dominio de base es
evidentemente en esos casos el dominio D de variacin de
las variables. Los seres cuya existencia se intenta determinar
a +
231
Albert Lautman
(
s
)
I.
K (s, t )(t )dt = 0.
0
94 Vase para todo esto Ernst Hellinger, Hilberts Arbeiten ber Integralgleichungen und unendliche Gleichungssysteme, en Hilbert, Gesamm.
Abh., t. III, pp. 94 ss.
232
n =
c j
n =1
y este teorema de desarrollo en serie uniformemente convergente de funciones propias del ncleo K(s,t) se aplica en
particular a las funciones que son soluciones de la ecuacin
integral no homognea (con segundo miembro):
1
Albert Lautman
234
1. (x,y) es lineal en x:
(a1x 1+a2x 2,y)=a1(x 1,y)+a2(x 2,y).
2. (x,y) posee la simetra de Hermite:(x , y ) = (y, x )96.
3. El producto escalar (x,y) genera la existencia de una2 forma de Hermite definida positiva:
2
(x, x ) = x > 0, salvo si x=0. Esta forma x define una mtrica en el espacio H.
c. H es completo en el sentido de la mtrica.
d. H posee una infinidad enumerable de dimensiones.
En un tal espacio, existe una infinidad de sistemas completos de vectores de base j1,j2,... tales que se tenga para
todo vector x de H: x = ci ji .
Vamos a considerar ahora en H una variedad lineal cerrada con n dimensiones, es decir, un subespacio del espacio de Hilbert. Se pueden vincular con esta variedad ciertas
formas de Hermite, es decir, ciertas expresiones algebraicas
formadas a partir de los vectores de la variedad y susceptibles
de ser descompuestas de una manera particularmente notable, cuando, para expresar las coordenadas de los vectores, se
escoge un sistema propio de vectores de base. El enlace de
esa escogencia del sistema de base con la descomposicin de
las formas de Hermite es la etapa esencial en los esquemas
de gnesis que queremos describir en este captulo.
Sea A un operador lineal actuando sobre los elementos x
de la variedad, es decir, tal que Ax sea tambin elemento de la
variedad. Las formas de Hermite que consideraremos son los
productos escalares (x,Ax). De los axiomas del espacio de
Hilbert resulta que (x , Ax ) = A(x , x ) = A(x , x ). Si se escoge
un sistema de base cualquiera en la variedad, los vectores x
96 De una manera general, x es la cantidad conjugada compleja de x.
235
Albert Lautman
poseen, sobre los ejes de coordenadas escogidos, unas componentes xi, y se tiene:
A(x , x ) =
i ,k =n
i ,k =1
ik
aik = aki .
xi xk ;
a x x
i =1
cambio del sistema de base tiene entonces por efecto el transformar la matriz A* en una matriz que no contiene sino trminos diagonales:
A* =
a1
0
0
.
.
0
an
Estos resultados, debidos a Hermite en el caso de una variedad con n dimensiones, han sido extendidos por Hilbert al
espacio H con una infinidad de dimensiones. No tenemos que
entrar aqu en el estudio de las condiciones de convergencia, extremadamente delicadas, que han permitido el paso al infinito,
pues slo nos concierne el aspecto final de la teora: el espacio H
se descompone en una suma de subespacios dos a dos ortogonales H1,H2,... Cada uno de esos subespacios est subtendido
por los vectores propios que corresponden a un valor propio ai.
La forma de Hermite A(x,x) resulta entonces igual a la suma
de sus proyecciones en cada uno de esos diferentes subespacios:
A(x,x)= ai x i x i . Se ve as el doble papel de los vectores
propios: tienen un papel estructural en el espacio, cuyas partes dos a dos ortogonales subtienden, y tienen igualmente un
sentido de existencia para el operador A, ya que constituyen el
sistema privilegiado de vectores que permite la reduccin de la
forma de Hermite a una suma de cuadrados.
Estas consideraciones se aplican inmediatamente al
espacio funcional de la teora de ecuaciones integrales. Sea
E un espacio fundamental. Este ser el dominio de base de
nuestros esquemas de gnesis, siendo el espacio funcional
un mixto interpuesto entre E y las funciones buscadas. Sea
m una medida de Lebesgue definida en E. Se considera al
conjunto de las funciones f(p) con valores complejos tales
que
f (p)d m
E
existe y
fm (p) fn (p) d m
Albert Lautman
Una forma cuadrtica Q(x), cuando es continua, puede siempre ser transformada por una transformacin ortogonal en una
suma de cuadrados de nuevas variables x tales que se tenga
Q(x ) = k1x 12 + k2x 22 De este teorema se deduce el importante teorema siguiente: un sistema de ecuaciones lineales con una
infinidad de incgnitas por consiguiente, una ecuacin integral posee, en lo que se refiere al nmero y existencia de sus soluciones, todas las propiedades de un sistema con un nmero finito
de ecuaciones con las mismas incgnitas.97
239
Albert Lautman
240
Albert Lautman
1
2n
242
Albert Lautman
Este texto expresa las mismas ideas que el famoso opsculo de Leibniz sobre el origen radical de las cosas:
245
Albert Lautman
Hay en este texto una suerte de doble programa de aplicacin del clculo de variaciones a las matemticas y a la
fsica, y es de sobra conocido el xito de las consideraciones
del clculo de variaciones en fsica. Janet revisa rpidamente
la historia del principio de Fermat para la luz y del principio
de Maupertuis para la mecnica, y muestra que la analoga
de esos dos principios minimales domina toda la corriente
de ideas que va desde Hamilton hasta Louis de Broglie.
En este captulo nos proponemos limitarnos exclusivamente a las matemticas, y quisiramos mostrar que, en
la determinacin de la existencia de un ser matemtico por
consideraciones de extremos, se realiza el esquema lgico
de una nueva solucin al problema del paso de la esencia a
la existencia, donde, como en los esquemas de los captulos
anteriores, la esencia y la existencia abarcan a seres matemticos distintos. Cuando se determina un ser por propiedades de mximo o de mnimo, debe, en efecto, considerrsele
como sumergido en el seno de un conjunto y debe mostrarse
luego que la estructura del conjunto permite all distinguir al
ser buscado. En la medida en que las propiedades que vuelven posible la seleccin son propiedades de mximo o de mnimo, estas confieren al ser obtenido una ventaja de sencillez
y una suerte de apariencia de finalidad, pero esa apariencia
desaparece cuando se observa que lo que asegura el paso a
la existencia no es el hecho de que las propiedades en cuestin sean propiedades de extremos, sino el que la seleccin
que determinan est implicada por la estructura del conjunto
considerado. Veremos por otra parte cmo hay otras propiedades excepcionales, muy diferentes de las propiedades de
extremos y que permiten igualmente distinguir un ser en el
seno de un conjunto; en todos esos casos, nos concentraremos en mostrar cmo la estructura del conjunto ya estaba
preparada para poner en evidencia al elemento distinguido.
El problema lgico que domina entonces a esas teoras es
an justamente el de los enlaces a establecer entre la estruc246
2 2
U
U
+ dxdy
x
y
para afirmar la existencia de esa funcin, admitiendo sin demostracin que la integral I(U) alcanza efectivamente su mnimo. Weierstrass ha demostrado que no era para nada evidente
que una expresin dada pudiera alcanzar su mnimo, de tal
suerte que, aunque cuando existe la funcin buscada esta goza
de la propiedad minimal, el hecho de poder gozar la propiedad
no es suficiente para asegurar su existencia. Haba entonces
247
Albert Lautman
2
2
u
ui
+
dxdy
y
x
y sea inferior a un nmero finito H, independiente de i; entonces, entre las u1,...,un,... puede escogerse una sucesin
que converja uniformemente hacia un lmite continuo...103 La
103 H. Lebesgue, Sur le problme de Dirichlet, Rendiconti del Circ. Mat. di
Palermo, 1907, p. 386.
248
249
Albert Lautman
250
mas cerradas de la curva, las ramas infinitas, etc. Despus de ese estudio cualitativo, se puede luego determinar exactamente un cierto
nmero de puntos [...].105
251
Albert Lautman
interna de un complejo, reducible a la identidad por deforma107 Vase Poincar, Sur un thorme de gometrie, Rend. di Palermo, 1912;
Husson, Les trajectoires de la dynamique, Mmorial des Sc. Math., fasc.
55, p. 50; Bieberbach, Differentialgleichungen, p. 205.
253
Albert Lautman
254
P1 (z a )
(z a )
+w
P2 (z a )
(z a )2
= 0
w1 = (z a ) 1 P (z a )
l
w2 = (z a ) 2 P * (z a ) + eventualmente
un trmino logartmico.
Los nmeros l1 y l2 son races de una ecuacin, llamada
ecuacin fundamental, formada con los primeros coeficientes del desarrollo en serie de P1(za) y de P2(za). Si una
ecuacin admite varios puntos singulares, el mismo mtodo
se aplica: hay que determinar en una vecindad de cada uno de
ellos un sistema de dos soluciones fundamentales. El paso de
255
Albert Lautman
256
figura 8 . (segn
t + = (t ) .
t +
Resulta entonces que la funcin modular obtenida a partir de un sistema de soluciones puramente local es del mismo
257
Albert Lautman
tipo de esas funciones automorfas que uniformizan globalmente a las funciones algebraicas110.
Vemos as los mltiples aspectos bajo los que los puntos
singulares se presentan en esta teora: 1) permiten la determinacin de un sistema fundamental de soluciones, prolongables analticamente sobre todo camino que no encuentre
singularidades: en ese sentido, su singularidad se traduce en
trminos de existencia de soluciones; 2) permiten un recorte estructural del plano complejo tal que pueda existir una
funcin que represente al plano recortado, en forma similar,
sobre la figura modular: en ese sentido, su papel es el de
descomponer un dominio de tal manera que la funcin que
asegure la representacin sea definible sobre ese dominio; 3)
permiten el paso de la integracin local de las ecuaciones diferenciales a la caracterizacin global de las funciones analticas que son soluciones de esas ecuaciones. Anuncibamos
ms arriba que un gran nmero de las nociones lgicas que
habamos estudiado por separado se volvan a encontrar
mezcladas en los problemas relativos a los puntos singulares: vemos, en efecto, el papel que juegan desde el punto
de vista de la sntesis de lo local y lo global (captulo 1), as
como desde el punto de vista del enlace entre la descomposicin estructural de un dominio y la existencia de funciones
sobre ese dominio (captulo 4), y, finalmente, vemos cmo su
naturaleza de puntos singulares sobre un dominio determina, en cada punto del dominio de la variable z, la existencia
de soluciones de la ecuacin propuesta, de la misma manera
como los mximos y los mnimos estudiados al comienzo
de este captulo ocasionan en otros casos la existencia de
soluciones propias.
Hemos constatado a menudo en los captulos anteriores este encuentro de distintos puntos de vista lgicos en el
110 Vase para todo este pargrafo Bieberbach, Differentialgleichungen,
pp. 227 ss.
258
259
Conclusin
Albert Lautman
dx
262
un todo que no conlleva partes, [...] una suerte de mnada leibniziana. Esa mnada cierne las propiedades de la elipsis; es decir,
esas propiedades, aun antes de haber sido explcitamente formuladas (y no podran serlo puesto que son infinitas) se encuentran
contenidas en la nocin de elipsis.113
112 P. Boutroux, op. cit., p. 203. Los dos trminos subrayados (el segundo por nosotros) muestran justamente cmo Boutroux reconcilia dos
concepciones diferentes de la realidad matemtica.
113 P. Boutroux, op. cit., p. 208.
263
Albert Lautman
264
265
Albert Lautman
266
Albert Lautman
la topologa. Hemos descrito en otro lugar esa evolucin moderna de las matemticas y la progresiva penetracin de los
mtodos de lo finito en lo infinito. Slo retendremos aqu la
idea de una matemtica cualitativa en el sentido de Poincar, o integral en el sentido de F. Severi, desarrollndose
alrededor de esquemas lgicos de estructura.
Nuestra tarea consiste, entonces, en conciliar la irreducibilidad de las matemticas a una lgica a priori con su organizacin alrededor de semejantes esquemas lgicos. Para
ello, vamos a intentar mostrar que es posible concebir lo que
llamaremos la urgencia de un problema lgico, sin que la
conciencia de esa urgencia implique en modo alguno un ensayo de solucin. An ms, se puede decir que una dialctica
que se interne en la determinacin de las soluciones que esos
problemas lgicos pueden comportar se vera llevada a constituir todo un conjunto de distinciones sutiles y de artificios
de razonamiento, que imitaran a tal punto a las matemticas como para confundir a esa dialctica con las matemticas mismas. Tal es el destino de la lgica matemtica en sus
desarrollos ms recientes. Es posible concebir lo que es el
problema de la no contradiccin de la aritmtica sin rehacer toda la aritmtica, pero, apenas se intenta establecer una
demostracin efectiva de la no contradiccin de la aritmtica, resulta obligatorio emplear en esa demostracin algunos
medios matemticos que superan en riqueza a aquellos de
la teora cuya validez se intenta garantizar. Estos resultados,
debidos a K. Gdel, muestran de manera definitiva que la
no contradiccin de la aritmtica no se deja reducir a la no
contradiccin de una teora ms simple, y, en el estado actual de la ciencia, toda demostracin metamatemtica de la
no contradiccin de la aritmtica emplea forzosamente medios transfinitos. Pareca as que el problema hubiese perdido todo inters lgico, hasta que Gentzen supo considerarlo
bajo otro aspecto: Es perfectamente concebible escribe
que se demuestre la no contradiccin de la aritmtica con
268
269
Albert Lautman
tre dos ideas, y de describir fenomenolgicamente esa inquietud, independientemente del hecho de que el enlace buscado
pueda ser o no ser operable. Algunas de esas inquietudes
lgicas se encuentran en la historia de la filosofa, como, por
ejemplo, la inquietud de los enlaces entre lo mismo y lo otro,
el todo y la parte, lo continuo y lo discontinuo, la esencia y la
existencia; sin embargo, inversamente, las teoras matemticas
podrn hacer nacer la idea de problemas nuevos que no hayan
sido formulados antes en abstracto. La filosofa matemtica,
tal como la concebimos, no consiste, as, en reconocer un problema lgico de la metafsica clsica en el seno de una teora
matemtica, sino en aprehender globalmente la estructura de
esa teora, para desprender de all el problema lgico que se
encuentra a la vez definido y resuelto por la existencia misma de esa teora. Una experiencia espiritual se encuentra as
ligada de nuevo con el esfuerzo de la inteligencia por crear o
comprender, pero esa experiencia tiene otro contenido distinto al de la matemtica que se hace al mismo tiempo que ella.
Tampoco se trata tan slo de la conciencia del poder infinito
del pensamiento: ms all de las condiciones temporales de la
actividad matemtica, pero en el seno mismo de esa actividad,
aparecen los contornos de una realidad ideal que resulta dominadora con respecto a una materia matemtica a la que anima,
y que, sin embargo, sin esa materia, no podra revelar toda la
riqueza de su poder creador.
Quisiramos mostrar, antes de concluir, cmo esa concepcin de una realidad ideal, superior a las matemticas y,
sin embargo, tan dispuesta a encarnar en su movimiento,
consigue integrarse dentro de las interpretaciones ms autorizadas del platonismo. Algunas explicaciones histricas referentes a esto son indispensables, dado el sentido que recibe
generalmente la expresin de platonismo en matemticas.
En el debate abierto entre formalistas e intuicionistas, desde
el descubrimiento del transfinito, los matemticos han adoptado la costumbre de designar someramente bajo el nombre
270
figura 9 .
Ese esquema tiene, para Becker, varios defectos esenciales. Ante todo,
slo los nmeros pares son realmente generados por divisin; los nmeros impares resultan de la suma de una unidad al nmero par anterior. Adems, la distincin de las Ideas-nmeros y de los nmeros
271
Albert Lautman
figura 10 .
272
273
Albert Lautman
debera establecerse entre la comprobacin de los hechos experimentales y la teora matemtica que los liga unos a otros.
Toda la crtica de las ciencias contemporneas muestra la
debilidad filosfica de semejante actitud124, y la imposibilidad
de considerar un resultado experimental por fuera de la armazn matemtica donde adquiere su sentido. Por otro lado,
la reflexin crtica desemboca a veces, en sentido inverso, en
un dogmatismo idealista, por el hecho de que las matemticas penetran ms y ms en el dominio de la fsica, y, por consiguiente, la realidad se torna all tan abstracta que el cientfico tiene la impresin de slo encontrarse siempre enfrente
de su propio espritu. Tal es la idea que parece desprenderse
de la clebre frase de Eddington: Hemos descubierto la extraa huella de un paso sobre la orla de lo desconocido. Para
explicar su origen, hemos elevado teoras sobre teoras, cada
una ms ingeniosa y profunda que las dems. Hemos logrado
reconstituir finalmente al ser que dej esa huella, y resultamos ser nosotros mismos125. Por lo dems, ese idealismo de
la fsica matemtica no excluye, para Eddington, una nocin
de realidad, pero ya no es la fsica la que tiene la misin de
hacerla conocer, sino un contacto directo con lo sobrenatural.
De todos modos, el neopositivismo de la Escuela de
Viena, as como el idealismo de los fsicos metafsicos ingleses, separan como con un hacha las matemticas y la realidad,
mientras que la filosofa de la fsica tiene como tarea esencial
el problema de su unin. No pretendemos aqu estudiar ese
problema, que es completamente diferente de aquellos que
hemos considerado a lo largo de las pginas anteriores; vamos simplemente a mostrar cmo, en cierta medida, y para
retomar las expresiones que Robin ha usado a propsito de
124 Ese neopositivismo, que nos parece insostenible por exceso de empirismo, se asocia inesperadamente con una concepcin rigurosamente
tautolgica y deductiva de las matemticas, dentro de lo que se llama
el fisicalismo de la Escuela de Viena.
125 A. S. Eddington, Espace, temps, gravitation, trad. franc., p. 247.
274
Platn, el proceso de enlace de la teora y la experiencia simboliza el enlace de las Ideas y las teoras matemticas.
As como habamos establecido que la realidad matemtica no se encuentra en el nivel de los seres matemticos,
sino en el de las teoras, el problema de la realidad fsica no
interviene al nivel de una experiencia aislada, sino al nivel de
lo que podra llamarse un sistema fsico. La nocin de sistema
en fsica implica que se considere globalmente el conjunto de
los fenmenos que suceden en el seno de un cierto proceso,
y que se operen una serie de mediciones relativas a ciertas
magnitudes que intervienen en el proceso. No es necesario,
por lo dems, que las mediciones recaigan sobre magnitudes
diferentes, y pueden ser slo relativas a una misma magnitud: basta, para que haya un sistema, que se mida varias veces
esa misma magnitud. Puede posiblemente admitirse que la
comprobacin de una medicin aislada sea anterior a toda
elaboracin matemtica, pero, cualquiera que sea la frase o la
relacin con la que se coordinen dos mediciones, la expresin
obtenida se sita ya en el seno de una matemtica. Hablar de
fenmenos simultneos es adoptar el lenguaje de la relatividad restringida; hablar de magnitudes sucesivamente medibles es hablar en el lenguaje de los operadores permutables
de la mecnica cuntica; medir intervalos entre dos niveles
es disponer los resultados obtenidos a lo largo de una tabla
matricial; hablar en mecnica clsica de la constancia temporal de cierta magnitud es anular una derivada con respecto
al tiempo; hablar de la invarianza de una cierta magnitud
con respecto a ciertas variaciones que sufren otras magnitudes es emplear el lenguaje de la teora de grupos; constatar
la periodicidad de un fenmeno es servirse de las funciones
trigonomtricas para representar a ese fenmeno; suponer
que ciertas mediciones convergen a un lmite es adoptar los
puntos de vista del clculo de probabilidades. As como el
movimiento de una teora matemtica era, al mismo tiempo,
un esquema lgico de relaciones entre ideas, la descripcin
275
Albert Lautman
276
Introduccin
La distincin de las dos matemticas
En 1928, en el prefacio de su clebre libro, Gruppentheorie und
Quantenmechanik, Hermann Weyl escriba1:
Si mi visin es correcta, reina entre el desarrollo de las matemticas y el desarrollo de la fsica, en la poca actual, un paralelismo tan misterioso como indiscutible. La matemtica occidental en
los siglos anteriores no ha seguido tanto a las concepciones griegas
como a las corrientes de ideas nacidas en la India y difundidas por
los rabes: ha, en efecto, afirmado la prioridad lgica del concepto
de nmero sobre la geometra. Como resultado, se ha abordado
constantemente el estudio de diferentes dominios de magnitudes
con un mismo y universal concepto de nmero, elaborado de manera abstracta, independientemente de toda eventual aplicacin.
Puede decirse, por el contrario, que asistimos hoy en matemticas
a un cambio radical de puntos de vista; nos parece ahora, en ltimo
anlisis, que la concepcin ms profunda es la concepcin griega,
segn la cual todo dominio conlleva la existencia de un sistema de
nmeros que le es propio y que le caracteriza. Para el algebrista de
hoy, el continuo de los nmeros reales o de los nmeros complejos
no es ms que un cuerpo o un cuerpo antisimtrico entre una
279
Albert Lautman
Albert Lautman
282
Albert Lautman
285
Albert Lautman
Captulo 1
Estructura de un dominio de magnitudes
y descomposicin de sus elementos
Las consideraciones dimensionales en anlisis
La descomposicin de un ser matemtico puede considerarse desde dos puntos de vista muy diferentes: unas veces, la
descomposicin resalta las propiedades particulares de un ser
en el seno del conjunto al cual pertenece, y lo caracteriza por
la especificidad de su estructura propia; otras veces, por el
contrario, la descomposicin de los seres de un mismo conjunto se hace siguiendo un plan comn para todos, y traduce as, no slo sus propiedades particulares, sino tambin su
pertenencia a un mismo conjunto cuya estructura global se
refleja en la de sus elementos.
El prototipo de las descomposiciones de primera especie es la descomposicin aritmtica de un nmero entero
en un producto de factores primos, iguales o distintos. Esta
descomposicin no es posible en la aritmtica elemental sino
de una sola manera, y todo nmero se encuentra as caracterizado de manera nica por los factores que le son propios.
Como prototipo de las descomposiciones de segunda especie, tomaremos la descomposicin algebraico-geomtrica
Sea en ese espacio un sistema de n vectores e1, , en linealmente independientes, es decir, tales que la ecuacin:
a1e1 + + an en = 0
slo sea resoluble en caso de que todos los coeficientes ai
se anulen. Al tener el espacio n dimensiones, esos vectores
forman un sistema de base o sistema fundamental para el
X = x 1e1 + + x n en .
Estas descomposiciones difieren claramente de las descomposiciones de primera especie. Los coeficientes x1,...,xn
Albert Lautman
O = b1P + + bn P ,
289
Albert Lautman
Antes de investigar en el anlisis la importancia respectiva de esos dos modos de descomposicin de un ser matemtico, quisiramos mostrar cmo la interdependencia lineal
de los elementos de un conjunto est en estrecha relacin con
la teora de los sistemas de ecuaciones algebraicas lineales.
Consideremos ante todo el sistema homogneo (sin segundo miembro):
a11x 1 + + a1n x n = 0
(III)
am 1x 1 + + amn x n = 0
Sea r el rango del sistema, es decir, el grado del ms
grande determinante no nulo formado con los coeficientes
del sistema (III). Se llama solucin del sistema a todo vector
X = c1 X1 + + cn r X n r
y el sistema (III) define as un espacio vectorial con nr
dimensiones. No abordaremos aqu el caso de un sistema no
homogneo, es decir, cuyos segundos miembros no son nulos
como en (III); indiquemos simplemente que, en el estudio
de esos sistemas, se encuentra a veces la idea dimensional de
componer una solucin general a partir de una solucin particular cualquiera y de un sistema fundamental de soluciones
del sistema homogneo correspondiente.
290
f (s )d m existe
y tales que
f (s ) d m tiene un
291
Albert Lautman
m (s)n (s)ds = 0
(m n);
m (s) ds = 1 .
292
Vamos ahora a mostrar rpidamente cmo Hilbert opera la reduccin de un problema de anlisis a un problema
algebraico. Sea la ecuacin integral lineal:
1
(IV)
1
u(s ) ds = u(s )w1 (s )ds + u(s )w2 (s )ds + +
0
xp =
kq (s ) =
(s )p (s )ds
fp =
k (s, t )q (t )dt
f (s ) (s )ds
k pq =
k(s, t ) (s ) (t )dsdt
p
(V)
(1 lk11 )x 1 lk12x 2
= f1
lk21x 1 + (1 lk22 )x 2
= f2
293
Albert Lautman
y es fcil demostrar que esta solucin j(s) admite una descomposicin en serie de Fourier,
(VI)
(s ) = x p p (s )
p =1
xp =
(s ) (s )ds .
p
294
z an + 2 (an ) ++ kn (an )
= (1 )e
an
n =0
n =
A1
(z ai )
A2
m 1
(z ai )
++
Am
(z ai )
+ G (z )
(ai = a1,..., an )
+ g 1 + + g 1 +G (z ).
(VII) f (z ) = g1
2
n
z a1
z a2
z an
295
Albert Lautman
que no admiten cada uno sino un polo, el punto ai. Esta descomposicin es completamente equivalente a (VII); las funciones F(z) se presentan bajo la forma de una suma de funciones,
desde un cierto punto de vista ms simples que la funcin
F(z), puesto que slo tienen un polo; en cualquier caso, esas
funciones no forman parte del conjunto de funciones F(z); la
descomposicin obtenida es, as, una descomposicin de pri10 Vase para todo esto: Osgood, Lehrbuch der Funktionentheorie, t. II, 2.
296
297
Albert Lautman
298
299
Albert Lautman
Captulo 2
El dominio y los nmeros
Las mtricas no euclidianas
en la teora de las funciones analticas
En el captulo 1 de nuestra Tesis Principal, hemos mostrado las diferencias que separan una concepcin sinttica de
la geometra de su concepcin infinitesimal. La definicin
riemanniana de un espacio por medio de la frmula que proporciona la distancia de dos puntos infinitamente cercanos es
una concepcin puramente local; el espacio entero se construye all gracias a una yuxtaposicin sucesiva de vecindades
infinitesimales, cuyo ensamblaje no es susceptible, sin nuevas convenciones, de ser caracterizado en su conjunto. Por el
contrario, la definicin de las propiedades de un espacio por
medio de un grupo de transformaciones cuyos invariantes
son las propiedades en cuestin, es una definicin global que
considera las posibilidades de accin del grupo sobre la totalidad de los puntos del espacio. A menudo, es posible definir
tambin en los espacios globales una mtrica invariante
con respecto al grupo que opera sobre el espacio, pero esa
mtrica puede ser muy diferente de las mtricas riemannianas14. En efecto, estas no recurren sino a nociones definidas
en la vecindad de cada punto considerado, mientras que la
frmula de una mtrica invariante con respecto a un grupo
contiene, en general, algunos trminos que se refieren a las
propiedades globales del espacio. Se ve cmo aparece entonces aqu un nuevo aspecto de la oposicin de las dos matemticas. En la concepcin local, la expresin de los nmeros
que conforman la mtrica de la superficie est dada antes de
la constitucin de la superficie, puesto que justamente la superficie resulta del pegamiento de vecindades definidas por
14 En nuestra Tesis Principal indicamos cmo, segn los trabajos de Cartan, la mtrica definida globalmente poda ser, no obstante, en ciertos
casos, riemanniana.
300
Albert Lautman
302
303
Albert Lautman
ds =
ds
, invariante por el grupo de las transformacio1 r2
ds
, heredada por el crculo unidad cuando se le
1 + r2
305
Albert Lautman
raciones semejantes se imponen actualmente en un problema central de la teora de las funciones analticas, el problema de los valores excepcionales de Picard. Consideremos
una funcin meromorfa en el interior de los crculos de radio
r (r<R<), cuyo centro es el origen O del plano complejo. Se trata de estudiar la afinidad de la funcin w(z)
para el valor a de esa funcin. Nevanlinna introduce para ello
dos expresiones, una, N(r,a), ligada al nmero de los valores
de z interiores al crculo r de centro O para los que w(z)
toma efectivamente el valor a, y otra, m(r,a), que mide en
cierta manera la intensidad media con la que los valores de
w(z) se pegan alrededor de a sobre la circunferencia z = r .
Existe entonces un equilibrio notable entre la frecuencia con
que la funcin w(z) alcanza un valor cualquiera a y la media
de sus desvos con respecto a a. Nevanlinna ha demostrado,
en efecto, el teorema siguiente:
m(r,a)+N(r,a)=T(r)+una cantidad acotada,
donde T(r) es una constante relativa al crculo z = r . Si,
en el crculo z < r , w(z) no toma sino rara vez el valor a, la
funcin de frecuencia N(r,a) tiene un valor muy dbil, que
puede ser nulo cuando a es un valor excepcional de Picard;
por el contrario, entonces, la funcin w(z) se aleja muy poco
en promedio del valor a sobre el crculo z = r , la funcin
m(r,a) es mayor, y la suma N(r,a)=m(r,a) alcanza, as,
un valor constante T(r). Este teorema tiene una enorme importancia, ya que muestra, en el estudio de los valores excepcionales, que no basta con buscar los valores nunca alcanzados por una funcin, lo que hasta entonces se vena haciendo,
sino que debe considerarse tambin el modo en el que la
funcin se acerca a esos valores.
Sea, por ejemplo, la funcin exponencial ez que admite
como valores excepcionales los valores a=0 y a=; se
tiene, llamando O(1) una cantidad acotada (del orden de 1):
306
N (r , a ) = 0,
m(r , a ) =
r
para a=0, a=,
p
r
N (r , a ) = + O(1), m(r , a ) = O(1) para un valor
p
ordinario de a,
de tal manera que, en todos los casos,
r
+ eventualmente O(1).
p
r
es la funcin caracterstica T(r) vinculada con la funcin
p
m(r , a ) + N (r , a ) =
A(t )
dt .
t
El invariante de la teora analtica de Nevanlinna adquiere as todo su sentido gracias a la introduccin, sobre la
superficie de Riemann considerada, de una mtrica global
19 Vase para todo este pargrafo R. Nevanlinna, op. cit., cap. VI, 3.
307
Albert Lautman
308
h
, se des2i qk
o tambin:
h
h
qk =
qk
2i qk
2i
qk
h
2i
h .
2pi
Resulta de estas ecuaciones que una coordenada y la
cantidad de movimiento correspondiente no son simultneamente medibles, y la indeterminacin que afecta al sistema de estas dos medidas se encuentra a su vez medida por el
valor de una diferencia del tipo abba.
Como lo ha mostrado Von Neumann22, la teora de operadores de la mecnica cuntica no es sino un caso particular de la teora general de los anillos23 de operadores en el
espacio de Hilbert, y los problemas relativos a la conmutatividad o no conmutatividad de dos elementos juegan, en
el estudio de la estructura de esos anillos, el mismo papel
que en el estudio de los anillos de nmeros algebraicos. Esa
Qk Pk PkQk =
309
Albert Lautman
310
, = (d )() ()(d ) = a b dx , x .
i j
i
j
d = d () (d ) = (da j x j a jdx j )
1
(III)
ak
a j
) dx , x
x j x k j k
= a jk dx j , x k .
= (
( jk )
25 Todo este pargrafo segn J. Dubourdieu, Questions topologiques de gomtrie diffrentielle, Mmorial des Sc. Math., fasc. 78; vase tambin: E.
Khler, Einfhrung in die Theorie der Systeme von Differentialgleichungen,
Leipzig, 1934.
311
Albert Lautman
jk
a b
i j
dx i , dx j y las deriva-
w1 = dy y dx
w2 = dy F (x , y, y )dx .
312
ve de nuevo cmo los mtodos del lgebra penetran en el dominio del anlisis; vamos a intentar dar una idea de l, considerando, en primer lugar, los problemas de equivalencia.
Consideremos dos sistemas de formas de Pfaff,
w1,...,wn,v1,...,vn, construidas, las primeras, con las variables x1,...,xn y sus diferenciales, y, las segundas, con las
variables x 1,..., x n y sus diferenciales. Los sistemas se dicen equivalentes si pueden ser transformados uno en otro
mediante transformaciones analticas que intercambien las
variables xi en las variables x i , es decir, tales que se tenga
x i = ji (x 1,..., x n ) donde las ji son funciones analticas. Este
problema es por partida doble un problema de anlisis: primero, por el carcter de las funciones ji cuya existencia se intenta demostrar, y, luego, porque las formas de Pfaff consideradas en las aplicaciones corresponden siempre a sistemas de
ecuaciones diferenciales o con derivadas parciales. Los mtodos de Cartan permiten entonces substituir a ese problema
de anlisis un problema de lgebra: para que los dos sistemas
de Pfaff, w1,...,wn,v1,...,vn, sean equivalentes en el sentido
del anlisis, se necesita que en dos puntos correspondientes
(x , x ) los dos sistemas de formas, considerados como formas
algebraicas en dxi y dx i , sean transformables uno en otro
por una substitucin lineal, es decir, que se tenga:
(IV)
i = ai 1 + + ai n .
1
Albert Lautman
i
jk
i
, =
j k c jk
, .
j k
La cantidad K juega el papel de los coeficientes estructurales de la frmula (VI), y, para que las superficies sean aplicables, se necesita que esa cantidad, formada a partir de los
coeficientes del ds2 de cada superficie, sea la misma para las
dos superficies. Se trata de la curvatura total en el sentido
de la geometra diferencial. Esta teora proporciona as, de
una manera puramente algebraica, un resultado clsico en las
aplicaciones del anlisis a la geometra.
El papel del clculo no conmutativo de las formas de
Pfaff en anlisis es, por lo tanto, considerable. Permite en
muchos casos operar una substitucin del anlisis por el lgebra, de la siguiente manera: la teora de ecuaciones diferenciales se reduce a la teora de las formas de Pfaff, esta se
confunde con la teora de grupos continuos de Lie, y esta
ltima se convierte, gracias a Cartan, en una teora algebraica. La fecundidad de estos mtodos algebraicos es manifiesta hasta en los problemas que han parecido estar siempre
en el centro del anlisis: los que se refieren a la integracin
315
Albert Lautman
316
Albert Lautman
318
1
, donde n
s
n =1 n
Albert Lautman
1
1
1
ps
320
donde h es el nmero de clases del cuerpo y c es otro invariante vinculado tambin con el cuerpo K. Lo que resulta
31 Recordemos que dos ideales enteros o fraccionarios A y B son equivalentes (A B ) si su cociente A / B es un ideal principal (formado
a partir de los mltiplos de un solo nmero). Esta relacin de equivalencia determina una divisin en clases de los ideales del cuerpo K.
32 Vase para todo esto E. Hecke, Theorie der algebraischen Zahlen,
Leipzig, 1923.
321
Albert Lautman
esencial en la igualdad anterior, desde nuestro punto de vista, es que la determinacin de la funcin zK(s) se apoya as
en la descomposicin aritmtica previa de los ideales de K
en h clases de ideales. Hablando con propiedad, se trata de
un hecho que no se sita ya en la teora analtica de nmeros, sino ms bien en la teora de los orgenes aritmticos de
ciertas funciones analticas. En suma, se obtiene el esquema
siguiente: la descomposicin en clases del cuerpo K permite asegurar la existencia de la funcin zK(s), cuyo conocimiento puede servir a su vez, por un golpe de vuelta sobre el
cuerpo de base, para estudiar ms a fondo ese cuerpo.
El ejemplo anterior no muestra de todos modos sino
una relacin global entre el nmero de clases de un cuerpo
y las funciones analticas zK(s). En ciertos casos, es posible
asociar ms estrechamente la gnesis de ciertas funciones
analticas con el dominio discontinuo resultante de descomponer un conjunto en clases de elementos equivalentes. Puede suceder entonces que esas funciones sirvan ulteriormente
para explorar las ms escondidas propiedades aritmticas de
esos cuerpos de los que dependen, pero su existencia misma, como funciones analticas ligadas con un dominio de
discontinuidad, es de un considerable inters matemtico y
filosfico. Mientras que Weyl describe, como un hecho caracterstico de la nueva matemtica, la primaca de un dominio con respecto a los seres algebraicos definidos sobre ese
dominio, vemos tambin cmo aparece, en el seno mismo
de la teora de funciones, en analoga con el Abhngigkeit
vom Grundkrper del lgebra, una dependencia similar con
respecto a un dominio de base, donde se afirma en el anlisis
la prioridad de la idea geomtrica de dominio con respecto a
la de nmero o de funcin.
Estudiaremos de nuevo a este respecto el caso de las
funciones automorfas. En el plano de la variable compleja z,
consideremos las substituciones definidas por las relaciones:
322
z =
z +
z +
= 1 .
323
Albert Lautman
figura 11.
Este dominio de discontinuidad permite definir inmediatamente una funcin automorfa ligada con el grupo
modular. Existe, en efecto, una funcin w=J(z) (la funcin modular) que asegura la representacin conforme del
dominio de discontinuidad del grupo modular sobre la totalidad del plano complejo w provisto de dos cortaduras
0, 1+, y esta funcin modular es una funcin
automorfa del grupo G. Se tiene, en efecto, J(z)=J(Sz),
siendo S una substitucin de G.
La funcin modular J(z), cuya determinacin depende
as de la discontinuidad de un dominio de base, es capaz de
proveer entonces, gracias a lo que hemos llamado una suerte de golpe de vuelta, muy ricas aplicaciones en la teora de
nmeros. Sea, en efecto, k un cuerpo cuadrtico imaginario
(obtenido al adjuntar al cuerpo de los racionales un nmero
m ,m<0). Cada clase de ideales de ese cuerpo est definida por un nmero de la forma q =
c+ m
(donde a, c, m
a
tanto, hay tantos nmeros q1,...,qh del cuerpo k en el dominio de discontinuidad de G como hay clases de ideales en
el cuerpo. Sea h ese nmero de clases. La funcin J(z) toma,
para los h valores q1,...,qh, h valores singulares diferentes
J(q1),...,J(qh), y el inters algebraico de esos valores es considerable, ya que pertenecen, en efecto, a un supercuerpo de
k de capital importancia: el cuerpo de clases33.
Obtenemos entonces un esquema de las relaciones entre lo continuo y lo discontinuo anlogo justamente al que
habamos descrito ms arriba. La funcin continua J(z) sirve, sin duda, para determinar un conjunto discontinuo de
nmeros de un nuevo cuerpo algebraico34, pero la existencia
misma de esa funcin descansa ya sobre una discontinuidad
fundamental: la del dominio de discontinuidad del grupo
modular. Puede entonces observarse, en este ejemplo puro
de la teora de nmeros, cmo el momento esencial de la
teora reside en la gnesis de una funcin continua a partir
de la estructura discontinua que le da nacimiento.
Conclusin
Hemos visto en la introduccin de este trabajo cmo la distincin de las dos matemticas de Weyl tenda a oponer, al
anlisis del infinito, los mtodos sintticos del lgebra moderna. Hemos mostrado luego, a lo largo de nuestros cuatro captulos, que esa distincin no debe concebirse como
una oposicin esencial entre disciplinas irreducibles, puesto
que es posible encontrar en las teoras modernas del anlisis
los puntos de vista que caracterizan al lgebra. La teora de
ecuaciones con una infinidad de variables, la teora aritm33 Vase nuestra Tesis Principal, captulo 3.
34 Los trabajos de Takagi, Artin, Herbrand, Chevalley han conseguido
de manera general eliminar el anlisis de los teoremas de existencia
de la teora del cuerpo de clases; pero, en el caso del cuerpo cuadrtico
imaginario, la funcin J(z) otorga ms que la existencia del cuerpo de
clases: proporciona nmeros pertenecientes a ese cuerpo.
325
Albert Lautman
327
Albert Lautman
328
Prembulo
Esta memoria incluye dos partes muy distintas: en la primera, desarrollando algunas ideas de nuestra Tesis Principal relativas a la participacin de las Matemticas en una
Dialctica que las domina, intentamos mostrar de manera
abstracta cmo el entendimiento de las Ideas de esa Dialc
tica se prolonga necesariamente en una gnesis de teoras
matemticas efectivas. Nos apoyamos para ello sobre ciertas
distinciones esenciales de la filosofa de Heidegger, que nos
parecen convenir notablemente con el problema metafsico
considerado. En la segunda parte, en vez de descender de
lo abstracto hacia lo concreto, operamos un camino en sentido inverso: examinamos una teora matemtica particular,
la teora analtica de nmeros, donde, para comprender la
razn de ciertos resultados, es posible captar de manera concreta la necesidad de vincularlos con las Ideas estructurales
de una Dialctica superior.
Podr parecer extrao a quienes estn acostumbrados
a separar las ciencias morales de las ciencias exactas el
ver reunidas en un mismo trabajo reflexiones sobre Platn
y Heidegger con observaciones sobre la ley de reciprocidad
cuadrtica o la reparticin de los nmeros primos. Quisiramos haber mostrado que ese acercamiento de la metafsica y
de las matemticas no es contingente sino necesario.
333
Albert Lautman
Primera parte
La gnesis de lo Existente a partir de la Idea
En un trabajo anterior1 hemos intentado mostrar, con algunos ejemplos, cmo se realizan de manera concreta en las
matemticas las relaciones ideales de una dialctica abstracta
y superior a las matemticas. En ese sentido es que la realidad intrnseca de las matemticas nos ha parecido residir en
su forma de participar en las Ideas de esa dialctica dominante. No entendemos por Ideas ciertos modelos cuyos seres
matemticos no seran ms que copias, sino, en el verdadero
sentido platnico del trmino, ciertos esquemas de estructura segn los cuales se organizan las teoras efectivas. Esta
distincin entre dialctica y matemtica nos lleva a analizar
de manera ms precisa la naturaleza de la relacin de dominacin que existe as entre Ideas dialcticas, por una parte,
y teoras matemticas, por otra parte.
El sentido habitual de una relacin de dominacin entre algunas Ideas abstractas y sus realizaciones concretas es
el sentido cosmolgico, y una interpretacin cosmolgica de
una tal relacin se apoya casi necesariamente en una teora
de la creacin. La existencia de una materia que sea el receptculo de las Ideas no est implicada por el conocimiento de
las Ideas; se trata de un hecho sensible, conocido mediante
algn razonamiento bastardo, como deca Platn, o mediante una suerte de revelacin natural, como crea Malebranche.
Las Ideas son una suerte de leyes segn las cuales esa materia
se organiza para constituir un Mundo, pero no es necesario
entonces que ese Mundo ya exista para poder realizar de manera concreta la perfeccin de las Ideas.
Semejante epistemologa puede tener sentido en lo que
concierne a la realidad fsica, pero no tiene ciertamente nin1 Essai sur les notions de structure et dexistence en mathmatiques, Paris:
Hermann, 1938 (supra, pp. 131 y ss.).
334
335
Albert Lautman
Albert Lautman
estar-en-el-Mundo (op. cit., p. 68). Si el concepto del Mundo se revela como el de un designio, es propio de la esencia
de la realidad humana el ser una intencin orientada hacia
ese designio: En la esencia de su ser, la realidad humana
es configuradora de un Mundo (op. cit., p. 90). El designio
remite a la intencin, del mismo modo como el anlisis ontolgico de la intencin esboza las nociones que constituyen
el designio donde esa intencin se realiza.
Heidegger describe as, como acabamos de ver, una gnesis del concepto ntico de Mundo a partir de la idea de
realidad humana; su inters primordial se dirige entonces al
problema del Yo, pero esa primaca en su filosofa por preocupaciones antropolgicas no impide que su concepcin
de la gnesis de las nociones relativas a lo Existente, en el
seno del anlisis de las Ideas relativas al Ser, tenga un alcance
muy general. Heidegger mismo, por lo dems, la aplica a los
conceptos fsicos: La determinacin anticipada del Ser de
un ente natural en general (esencia y modalidad) encarna en
los conceptos fundamentales de la ciencia correspondiente.
Esos conceptos delimitan, por ejemplo, lo que son el espacio, el lugar, el tiempo, el movimiento, la masa, la fuerza, la
velocidad (op. cit., p. 57). Esos conceptos cientficos ataen
a lo existente, y no al ser, y no encierran en s mismos los
autnticos conceptos ontolgicos del ser de lo existente que
es puesto en duda por esa ciencia (op. cit., pp. 57-58).
Ya sea a propsito del Yo, ya sea a propsito de la Naturaleza, Heidegger identifica as la motivacin, actividad
racional de fundamentacin (Begrndung) y conocimiento mediante Ideas, con la actividad creadora de fundacin
(Grndung), que constituye, en la complejidad de sus relaciones internas, el mundo de lo existente. La motivacin interviene tan pronto como se plantea la pregunta leibniziana
de saber por qu algo existe. Cualquiera que sea la forma
en que se exprese, ya hay en ese porqu una pre-nocin de
la esencia y del cmo de las cosas, del ser y de la nada en
338
Albert Lautman
Albert Lautman
Las restricciones y las delimitaciones sealadas no deben ser concebidas como un empobrecimiento, sino, al contrario, como un enriquecimiento del conocimiento, debido
al incremento de precisin y de certeza aportado. Mientras
ms se afirman el carcter individual y la estructura propia
de las teoras matemticas particulares, mejor se muestra la
fecundidad de las Ideas que, en el sentido de una historia no
vivida, el filsofo reconoce en el origen de las teoras.
Slo nos queda ahora un punto por dilucidar, el de la
trascendencia de las Ideas. En primer lugar, observemos el
sentido especial que Heidegger da a este trmino en su filosofa. Cuando pertenece a la naturaleza esencial de una cosa
el rebasarse a s misma para ir hacia un existente exterior a
ella, sin el cual esa cosa no puede concebirse siquiera como
existente, ese rebasarse del sujeto hacia la existencia es la
trascendencia. Resulta de all que la trascendencia pertenece
exclusivamente a la realidad humana, que no puede ser concebida sino orientada hacia el mundo. Al describir as la trascendencia como un acto de acercamiento, y no como un estado
342
Albert Lautman
Las relaciones que sostienen estas dos disciplinas matemticas surgirn tal vez con mayor claridad si, en vez de
intentar eliminar el anlisis de la aritmtica, nos preguntamos por qu es posible demostrar gracias al anlisis ciertos
resultados aritmticos. En lo que se refiere al menos a los
hechos que vamos a considerar ms adelante, nos es posible
aportar una respuesta extremadamente precisa al problema:
la demostracin de ciertos resultados relativos a los nmeros
enteros se apoya sobre las propiedades de ciertas funciones
analticas porque la estructura de los medios analticos empleados se encuentra ya en acuerdo con la estructura de los
resultados aritmticos buscados. Ms precisamente, de una
estrecha imitacin estructural entre el anlisis y la aritmtica
se puede desprender la idea de ciertas estructuras dialcticas,
anteriores a la diversificacin de las matemticas en teoras
distintas, donde la aritmtica y el anlisis, lejos de ser ms
simples o ms complejos, se siten en un mismo plano y se
conviertan, al mismo ttulo, en realizaciones de esa dialctica
que los domina.
Las leyes de reciprocidad
He aqu en qu consiste la reciprocidad cuadrtica para los nmeros enteros ordinarios (es decir, en el cuerpo de los nmeros
racionales): se dice que m es resto cuadrtico mdulo p (m y
p siendo primos entre s) si existe un entero x tal que mx2
(md. p), es decir, tal que mx2 sea un mltiplo de p. Legendre
m
introdujo en la aritmtica un smbolo de resto cuadrtico
p
que vale +1 si m es resto cuadrtico md. p, y vale 1 en caso
contrario. Consideremos ahora dos enteros positivos, impares, a
y b: satisfacen la ley fundamental de reciprocidad,
(I)
a 1 b 1
a b
= (1) 2 . 2 .
b a
345
Albert Lautman
a b
=
b a
es decir
a b
= 1. .
b a
a b
Considerando los smbolos y como inversos el uno
b a
del otro, en las relaciones establecidas por la ley de reciprocidad cuadrtica puede verse entonces una situacin matemtica que responde al problema estructural siguiente: dados dos
trminos inversos el uno del otro, en qu medida puede concebirse entre ellos un intercambio de sus papeles respectivos?
Las relaciones de reciprocidad han podido ser generalizadas de dos maneras diferentes: primero, al considerar
los enteros algebraicos de un cuerpo arbitrario, y no slo
los enteros ordinarios del cuerpo de los nmeros racionales;
luego, al definir, para los enteros de esos cuerpos, unos smbolos anlogos al smbolo de Legendre, pero que corresponden a propiedades ms generales: Hilbert puede considerar
as no slo los nmeros congruentes a un cuadrado, sino
los nmeros congruentes a una potencia de grado l>2,
o los nmeros congruentes a la norma de un nmero del
cuerpo. El caso particular de la reciprocidad cuadrtica se
vincula entonces con otras leyes generales de reciprocidad,
para las cuales existen actualmente demostraciones puramente algebraicas, gracias a los trabajos de Hilbert, Takagi,
Artin, Hasse, Herbrand, Chevalley. En lo que respecta a
la reciprocidad cuadrtica para el caso de un cuerpo cualquiera, existen tambin mtodos trascendentes, debidos a
Hecke, que tienen para nosotros un considerable inters
346
1
de Gauss C(w), asignada a w, y C , asignada no directa 4w
1
-1
sino al nmero
formado a partir de
mente al inverso
w
4w
1
ese inverso. Entre C(w) y C existe una relacin de reci 4w
procidad que une el valor de la primera al valor de la segunda,
y de esta relacin de reciprocidad entre sumas de Gauss es
de donde se demuestra la ley de reciprocidad cuadrtica entre
nmeros enteros.
El punto capital del mtodo reside, entonces, en establecer
1
la relacin de reciprocidad entre C(w) y C . Para ello
4w
(tomando como cuerpo de base al cuerpo de los nmeros racionales) se considera la funcin de variable compleja q(t) definida de la manera siguiente:
(III)
( ) =
m =+
m =
m 2
347
Albert Lautman
lim ( + 2ir )
=0
1
= ( ),
de tal suerte que puede obtenerse en particular una relacin entre el comportamiento de q(t) en el punto t=2ir
(V)
1
2i
= .
2ir
4r
Albert Lautman
(VI)
N(a) es la norma del ideal a, d es el discriminador del cuerpo y b es un ideal susceptible de ser caracterizado a la vez
como inverso y como recproco de a. Se le define, en efecto,
de la manera siguiente: si a es un nmero cualquiera que
recorre todo a, el ideal b est formado por todos los nmeros
b del cuerpo que satisfacen la ecuacin
(VIII) (1)(1) + + (n )(n ) = nmero entero.
Se demuestra que el producto de estos dos ideales ab forma
un ideal independiente de a y slo dependiente del cuerpo
k. Este ideal es el inverso (en el sentido usual) de un ideal
entero del cuerpo, el ideal discriminante d, y se le representa
por 1/d. Se tiene entonces:
En este sentido amplio es como a y b pueden considerarse inversos el uno del otro. Son recprocos, adems, puesto que en las ecuaciones (VIII) pueden tomarse los a como
dados y los b como incgnitas, pero pueden igualmente invertirse sus papeles respectivos. Esta reciprocidad de los dos
ideales est, por lo tanto, definida independientemente de su
aplicacin a la demostracin de la reciprocidad cuadrtica, y,
no obstante, interviene en esa demostracin como lo muestra
350
351
Albert Lautman
352
Nos proponemos examinar rpidamente aqu los resultados relativos a la determinacin mejor aproximada del nmero de nmeros primos inferiores a un nmero x dado, por
dos razones: primero, conforme al objetivo de esta memoria,
porque la teora relativa a ese nmero p(x) es esencialmente
una teora analtica, y constituye, de hecho, el ncleo clsico
de la teora analtica de nmeros; segundo, porque podremos
verificar, al menos en el caso particular de esta teora, una de
las afirmaciones de nuestra Tesis Principal: la realidad de la
matemtica no reside en el grado de curiosidad ms o menos grande que pueden presentar los hechos matemticos
aislados, sino en la dependencia de una teora matemtica
con respecto a la estructura dialctica que la teora encarna.
Aunque las investigaciones relativas al nmero p(x) proceden, en primer lugar, de un talante curioso sobre los nmeros primos, su xito se debe al hecho de que ha sido posible
desligarse de ese aspecto fcil y sensible de las cosas, y expresar el problema de la determinacin de p(x) en trminos
abstractos que ponen en juego una estructura ms profunda,
para la cual la teora de las funciones analticas ofrece ya una
realizacin matemtica. En este enlace del problema aritmtico con un problema dialctico ya resuelto dentro de una
teora del anlisis, es donde reside la realidad inherente de
la teora aritmtica, y de esta manera se resuelve tambin
el problema de saber por qu los resultados de la teora se
demuestran analticamente.
Se observa fcilmente que p(x), que representa el nmero de nmeros primos que no superan a x, crece al infinito con
x, y se plantea el problema de expresar p(x) en funcin de x
cuando x tiende hacia el infinito. El problema ha sido resuelto, de manera cada vez ms precisa, por los trabajos de Legendre, Gauss, Chebychev, Riemann, Hadamard, La Valle
Poussin, Landau, etc. Un primer resultado proporciona, para
Tracts in Mathematics and Mathematical Physics, n. 30.
353
Albert Lautman
x, p(x )
x
. Este teorema aritmtico est estrelog x
1
z(s) de Riemann (s ) = s , s = + it, con >1.
n =1 n
La frmula anterior acerca de p(x) se demuestra, en efecto,
apoyndose en el hecho de que z(s) no tiene races en la recta
s = 1 del plano complejo; inversamente, a partir de la proposicin p(x )
x
x
supuesta como verdadera, puede tambin
log x
log M (r )
rb
para r .
Si existe un valor real de b tal que la expresin (IX) permanezca constantemente inferior a una constante K, existe
un nico nmero w 0 tal que esto tambin tenga lugar para
todo b>w. El nmero w se llama el orden de la funcin f(z).
La bsqueda del orden de una funcin entera f(z) consiste
entonces en comparar la rapidez de crecimiento de una funcin creciente, dependiente de la funcin entera en este
caso, logM(r), con la rapidez de crecimiento de las potencias sucesivas del radio. Encontramos as, de nuevo, la idea
estructural sealada ms arriba, a propsito de una magnitud
cualquiera f(r) creciente con respecto a una variable independiente r.
La funcin entera, vinculada con z(s), que interviene en
la teora de los nmeros primos es la siguiente:
s
1
(s ) = s(s 1)s /2 (s ) .7
2
2
7 Se tiene
355
Albert Lautman
z (s )
en una cierta regin
z (s )
( )
(XI)
(s )
= O(log2 t )
(s )
con
z (s )
z (s )
( )
1 t , t ,
356
log p ;
y(x ) =
pm x
y(x) es, por lo tanto, suma de logaritmos de los nmeros primos p, tales que toda potencia pm, para m entero positivo, es
inferior a x. El punto esencial de la teora consiste, entonces,
en pasar de la consideracin del crecimiento de la funcin
continua
z (s )
con respecto al crecimiento de la variable t,
z (s )
y1 (x ) =
x
0
z (s )
. Se considera
z (s )
y(u )du
1
2i
c +i
c i
x s +1 (s )
ds
s(s + 1) (s )
x > 0, c > 1 .
Habindose establecido as el lazo entre lo continuo y lo discontinuo, se obtienen de (XI) los resultados siguientes, para
x:
(x ) = x + O xe a log x
(x ) =
du
+ O xe a
log u
log x
357
Albert Lautman
359
Albert Lautman
360
consideraciones sobre
la lgica matemtica
363
Albert Lautman
semejante, es decir, de obtener la certeza de que podr aplicarse sin nunca obtener contradicciones. Vamos a ver que,
independientemente de toda metafsica preconcebida y debido a razones de clculo puramente tcnicas, la respuesta
a estas preguntas slo es posible en la teora de Russell al
precio de afirmar una cierta realidad del mundo exterior. Una
estructura metafsica del mundo se ve forzada, as, por las
exigencias mismas de la teora, y esto en forma tal que las
etapas de la deduccin sean constantemente compatibles con
la experiencia ordinaria.
Examinemos ante todo la construccin lgica de las matemticas. La armazn de esta construccin est constituida
por la famosa teora de tipos. Despus de haber observado
que las antinomias del anlisis y de la teora de conjuntos se
haban originado al considerar conjuntos cuyos elementos se
definan considerando al conjunto mismo, o funciones cuyos
argumentos podan ser definidos gracias a la totalidad de los
valores de los argumentos posibles, Russell intent ilegitimar
semejantes definiciones; defini para ello una jerarqua de
individuos de tipo 0, de propiedades de individuos de tipo 1,
de propiedades de propiedades de tipo 2, y as sucesivamente,
de tal suerte que los elementos de una clase o los argumentos
de una funcin fueran siempre de tipo inferior a la clase o a
la funcin considerada. La teora de tipos permite eliminar
as las antinomias como la del conjunto de todos los conjuntos, que se contendra a s mismo como elemento, pero no
excluye la posibilidad de crculos viciosos en el seno de un
mismo tipo de funciones o de propiedades. Cuando la atribucin de una propiedad a un individuo se apoya en la totalidad de las propiedades de ese individuo, la consideracin
de esa totalidad es ilegtima. Sea, por ejemplo, la teora de
los nmeros cardinales. Esta teora se apoya en las nociones
primitivas de 0 y de recurrencia de n a n+1. Un nmero
entero n+1 es un nmero que posee todas las propiedades
de recurrencia de n, partiendo de 0. Ahora bien, la propiedad
365
Albert Lautman
de ser un nmero entero definido por recurrencia se encuentra tambin entre las propiedades del nmero n. La nocin
de nmero entero se encontrara entonces involucrada ilegtimamente en los elementos mismos de su definicin4. Esto
explica por qu Russell se vio llevado a establecer una nueva
ramificacin al interior del conjunto de las propiedades de
un mismo tipo. Las propiedades que intervienen en la definicin por recurrencia sern de un cierto orden, y la propiedad de ser un nmero cardinal ser una propiedad del
mismo tipo, pero de orden superior. La nocin de nmero
cardinal se vea salvada as, pero entonces un nmero muy
grande de teoremas de la teora de los nmeros reales, donde
intervena la consideracin de todos los reales sin distincin
de orden, parecan tener que ser eliminados. Su conservacin
slo se volva posible gracias a la introduccin del axioma de
reducibilidad, que afirma que existe, para todas las funciones
predicativas de orden arbitrario, una funcin equivalente de
mismo tipo y de orden 1. La introduccin de este axioma
es el reconocimiento del hecho de que las matemticas no
forman un conjunto de proposiciones tautolgicas. Es imposible, en efecto, indicar un procedimiento de construccin
de la funcin de orden 1 equivalente a una funcin de orden
arbitrario. Russell y Whitehead se apoyan nicamente en la
certeza realista de que ciertos seres poseen ciertas propiedades, aun cuando no se les pudieran atribuir si se recurriera
slo a operaciones lgicas rigurosas. Ramsey, un discpulo
de Russell desafortunadamente desaparecido en 1930, considera, por ejemplo, la propiedad de ser el ms grande de
los hombres del saln. La atribucin de esta propiedad a
un hombre determinado requiere la consideracin de todos
los hombres del saln, y podra ser que fuese imposible encontrar al hombre en cuestin, aunque estemos seguros de
4 Segn Carnap, Die logizistische Begrndung der Mathematik, en:
Erkenntnis, tomo II.
366
que existe un hombre con esa propiedad. El axioma de reducibilidad no es ms que la traduccin, en lenguaje simblico, de operaciones a veces imposibles mediante la estricta
aplicacin de la teora ramificada de tipos, pero de cuya necesidad poseeramos una intuicin emprica. Por lo dems,
este axioma de existencia no es el nico en la teora de la
deduccin de los Principia Mathematica. Al distinguir los
nmeros enteros por el hecho de ser cada uno diferente de
su predecesor, haba resultado obligatorio admitir un axioma
del infinito que asegurara la existencia de una infinidad de
objetos. Si el nmero de objetos del universo se limitara a 10,
por ejemplo, 10+1, 10+2, etc., seran idnticos a la clase
nula y seran todos iguales entre s, contrariamente con la
propiedad general de los nmeros enteros. La nocin de nmero cardinal es inseparable de la existencia real de cosas por
contar, y se apoya sobre la existencia de clases. Existen, por
ejemplo, algunas dualidades necesarias en la definicin de
una ley de correspondencia entre esas dualidades y el nmero
cardinal 2. Mediante este llamado constante a la experiencia
en la escogencia de nociones primeras y mediante la introduccin de diversas operaciones lgicas es como Russell y
Whitehead estn seguros de haber eliminado por adelantado
las contradicciones y las paradojas. No diremos que el rey de
Francia es calvo, no porque no lo sea, sino porque no existe.
Supongamos que quisiramos introducir el empleo del artculo el (en una frase como: W. Scott es el autor de Waverley,
por ejemplo); no introduciremos entonces seres definidos
por el, sino con todas las precauciones necesarias para estar
de acuerdo con la experiencia. Si Waverley existe y si no hay
sino un hombre que haya escrito Waverley, ese hombre es
sir Walter Scott. Mientras que una teora deductiva, como
lo veremos ms adelante con el ejemplo de la teora de Hilbert, est obligada generalmente a dar demostraciones de no
contradiccin para que pueda admitrsela con todo rigor, la
teora de Russell, que liga existencia matemtica y realidad
367
Albert Lautman
de deducir, de la ausencia de ciertas propiedades, la afirmacin de la propiedad contraria. Los intuicionistas se acercan
as a los fenomenologistas, discpulos de Husserl, Heidegger y Oscar Becker5. Existe para ellos una positividad del no
ser, que no se concibe slo como una simple negacin, sino
como el objeto de una intencin de pensamiento sui gneris.
Una preocupacin por ver los razonamientos y no ir nunca
ms all de las operaciones realmente efectuadas, lleva a los
intuicionistas a no atribuir a las nociones matemticas ms
que una existencia provisoria, susceptible constantemente de
ser revisada, a merced de la primera determinacin particular que cambie el sentido de todo un edificio esbozado.
La definicin de los seres matemticos resulta solidaria del
momento en el que el espritu se detiene en la serie de operaciones emprendidas. El matemtico gana tal vez en certeza,
las matemticas pierden en amplitud.
Es posible, sin embargo, reconstruir las matemticas
y escapar de las antinomias, conservando los resultados de
Cantor, sin por ello apoyarse, como los logicistas, en el realismo de la nocin de clase. Tal es el resultado de la obra
de Hilbert y de sus discpulos, principalmente J. von Neumann en Berln y Herbrand en Francia, en la elaboracin
del mtodo axiomtico. Las matemticas se conciben dentro
de un conjunto de signos desprovistos de todo significado
y cuyo clculo se ejecuta de la manera siguiente. Se da un
cierto nmero de letras, algunas de las cuales sern siempre
llamadas constantes, otras variables, otras propiedades, funciones, funciones de funciones, etc.; se da tambin un cierto
nmero de signos correspondientes a las operaciones lgicas
de disyuncin y negacin6. Se escriben luego ciertos conjun5 Vase Heyting, Die intuitionstische Begrndung der Mathematik,
en: Erkenntnis, tomo II.
6 El nmero de las operaciones lgicas importa poco y vara con los
operadores. Basta con que se puedan deducir todas las dems operaciones a partir de aquellas que se hayan escogido.
369
Albert Lautman
371
Albert Lautman
el pensamiento matemtico
377
Albert Lautman
El pensamiento matemtico
Albert Lautman
El pensamiento matemtico
Albert Lautman
El pensamiento matemtico
aportado para apoyar una misma tesis, ya que no debe excluirse que sea posible, y es esta la segunda tarea asignada a
la Filosofa matemtica, establecer una jerarqua de las Ideas
y una teora de la gnesis de las Ideas, unas a partir de otras,
como lo haba previsto Platn. Finalmente, y esta es la tercera tarea anunciada, queda por rehacer el Timeo, es decir,
mostrar, en el seno de las Ideas mismas, las razones de su
aplicacin al Universo sensible.
Tales me parecen ser los objetivos principales de la Filosofa matemtica.
383
simetra y disimetra en
matemticas y en fsica
Albert Lautman
en ciertos fenmenos, pero no son necesarios. Lo que es necesario es que ciertos elementos de simetra no existan. Es la
disimetra la que crea el fenmeno (P. Curie, Sur la symtrie
dans les phnomnes physiques..., Oeuvres, p. 126). Es as como
la presencia de un campo elctrico es incompatible con la
existencia de un centro de simetra y de un plano de simetra
normal al eje del campo, y la presencia de un campo magntico excluye la existencia de planos de simetra que pasen por
el eje del campo. La disimetra constitutiva de los fenmenos
fsicos se define, entonces, en Curie, por la idea de una simetra lmite, de una presencia de elementos de simetra con la
que se mezcla necesariamente la ausencia de otros elementos, y la enantiomorfia de Pasteur no es, en la simetra, sino
una de esas disimetras que generan el mundo sensible.
Viendo cmo se define as lo sensible por una mixtura
de simetra y de disimetra, de identidad y de diferencia, es
imposible no evocar el Timeo de Platn. La existencia de
los cuerpos descansa all en la existencia de ese receptculo
que Platn llama el lugar y cuya funcin, como lo muestra
Rivaud en el prefacio de su edicin del Timeo, consiste en
permitir en el mundo sensible la multiplicidad de los cuerpos
y su alternancia en un mismo sitio, as como en el mundo
inteligible el papel de la Idea de lo Otro es asegurar, por
su mixtura con lo Mismo, el enlace y, a la vez, la separacin
de los gneros. Esta referencia a Platn permite comprender
que los materiales que forman el Universo no son tanto los
tomos y las molculas de la teora fsica como esos grandes
pares de contrarios ideales, lo Mismo y lo Otro, lo Simtrico
y lo Disimtrico, asociados entre ellos segn las leyes de una
armoniosa mixtura. Platn sugiere an ms. Las propiedades
del lugar y de la materia no son para l puramente sensibles;
son, como lo dice tambin Rivaud, la transposicin geomtrica y fsica de una teora dialctica. Podra incluso suceder
que la distincin de la derecha y de la izquierda, tal como se
observa en el mundo sensible, no sea sino la transposicin, en
389
Albert Lautman
el plano de la experiencia, de una simetra disimtrica constitutiva igualmente de la realidad abstracta de las matemticas.
Una participacin comn en una misma estructura dialctica
pondra as en evidencia una analoga entre la estructura del
mundo sensible y la estructura de las matemticas, y permitira entender mejor cmo esas dos realidades concuerdan
entre s.
El desarrollo de la fsica matemtica contempornea
ofrece a ese respecto una enseanza extremadamente sugestiva: si se consideran las teoras elaboradas para dar cuenta
de los hechos sensibles donde la distincin de la izquierda y
de la derecha juega un papel capital, es decir, esencialmente,
de los fenmenos de rotacin, del campo electromagntico,
de la polarizacin de la luz, se observa que esas teoras hacen
intervenir otras teoras matemticas abstractas, desarrolladas
independientemente de toda eventual aplicacin fsica, pero
que, no obstante, presentan el aspecto siguiente. Se encuentra en ellas, ya sea una dualidad de elementos opuestos, susceptibles de ser permutados como permutan la izquierda y la
derecha en una simetra, ya sea, y esto es ms caracterstico
an de la mixtura de simetra y de disimetra, una divisin
de los seres matemticos en dos partes, una parte rigurosamente simtrica como ocurrira con un ser ambidextro, y una
parte que los matemticos llaman antisimtrica, es decir, que
cambia de orientacin luego de una simetra, como la mano
derecha o la mano izquierda, o cambia de signo luego de una
permutacin de dos variables, como una recta AB del espacio
cambia de orientacin cuando se recorre de B hacia A.
Tomaremos nuestro primer ejemplo de la teora de los
espinores, en sus relaciones con el espn del electrn. La exigencia fsica que da lugar a la teora del espn del electrn es
la necesidad, de origen experimental, de dotar al electrn de
un movimiento de rotacin, o espn, susceptible de tomar simultneamente, con dos probabilidades distintas, dos valores
opuestos. La elaboracin de este concepto llev, en la teora
390
Albert Lautman
dos operaciones infinitesimales del grupo, y esta teora, estrechamente asociada con la teora de las formas de Pfaff,
expresiones con multiplicacin antisimtrica, es la que le ha
permitido a Cartan descubrir una profunda analoga entre
los espacios de Riemann generalizados, que intervienen en
las teoras fsico-geomtricas de la relatividad, y el espacio
de los grupos de Lie.
Los ejemplos de fsica matemtica que hemos citado
hasta el momento nos han mostrado cmo el hecho sensible de la simetra disimtrica puede ser concebido como el
equivalente, en el mundo de los fenmenos, de lo antisimtrico inherente en ciertos seres matemticos. Los desarrollos recientes de la mecnica ondulatoria de los sistemas de
corpsculos han mostrado que la distincin de la simetra
y de la antisimetra sirve de fundamento para ciertas cualidades sensibles de la materia, tal vez an ms importantes
que las propiedades de orientacin desde un punto de vista filosfico: la constitucin y la estabilidad de los edificios
moleculares, y la nocin misma de sistema, de todo, en el
sentido en que un todo posee propiedades globales que lo
caracterizan cualitativamente y conforman algo ms que la
suma de sus partes.
La mecnica ondulatoria de los sistemas de corpsculos
considera un sistema compuesto de partculas de la misma
naturaleza, y vincula con ese sistema una funcin de onda
y(1,2,...,n) que es funcin de los n tipos de partculas del
sistema. Cuando las trayectorias de esas partculas de misma naturaleza se entrelazan entre s, las partculas resultan
indiscernibles, y el sistema debe poder ser descrito tanto por
la funcin y como por cualquier otra funcin obtenida al
permutar las n variables de la funcin y. De este teorema
resulta que, para los sistemas restringidos a dos partculas
de misma naturaleza fsica, las funciones y que describen
su evolucin deben ser, necesariamente, ya sea simtricas, ya
sea antisimtricas, con respecto a esas dos partculas; es decir
393
Albert Lautman
394
Albert Lautman
(p q ) = p q y (p q ) = p q .
Si se introduce un orden entre dos proposiciones, sirvindose de la nocin de implicacin, se demuestra fcilmente que la dualidad cambia el sentido de la implicacin,
(p q ) = (q p ), lo que contribuye a identificar la dualidad por simetra geomtrica y la dualidad por negacin lgica.
396
Otra teora matemtica donde la nocin de dualidad juega un papel fundamental es la geometra proyectiva, descubierta por Poncelet en 1822. Es sabido que en la geometra
proyectiva plana, a partir de cualquier proposicin verdadera
construida con las nociones de punto y recta y la relacin de
inclusin, se puede obtener una nueva proposicin verdadera,
al intervertir las palabras punto y recta y cambiar el sentido de
la relacin de inclusin. A los puntos situados sobre una recta
les corresponden las rectas que pasan por un punto. As, puede
definirse una curva mediante los puntos que la componen o
mediante las rectas a las que es tangente en cada punto.
He aqu la expresin algebraica de esa dualidad. Consideremos la ecuacin u1x1+u2x2+u3x3=0. Esta ecuacin
puede ser interpretada de dos maneras: si se consideran las
tres cantidades u1, u2, u3 como definitorias de una recta en el
espacio proyectivo plano, las coordenadas de todos los puntos
de esa recta se definen por las variables x1, x2, x3 que satisfacen
la ecuacin. Inversamente, si nos damos las tres coordenadas
x1, x2, x3 de un punto fijo, la ecuacin define el haz de rectas
u1, u2, u3 que pasan por ese punto. Las cantidades u1, u2,
u3 y x1, x2, x3 pueden entonces intercambiar sus papeles de
coeficientes y de variables en la ecuacin propuesta, y de este
hecho resulta que el plano proyectivo puede considerarse, ya
sea como un conjunto de puntos, ya sea como un conjunto
de rectas, y se dice que los dos conjuntos estn en correlacin
el uno con el otro. De una manera ms general, en un espacio proyectivo Sn con n dimensiones, los puntos (elementos
de dimensin 0) y los hiperplanos del espacio (elementos de
dimensin n1) estn en correlacin, y esta correlacin constituye una verdadera dualidad, en el sentido definido ms arriba. Las investigaciones axiomticas modernas han permitido,
en efecto, definir rigurosamente la suma y la interseccin, o
producto, de dos espacios proyectivos Sp y Sq de dimensiones
respectivas p y q, y asociar entonces, a todo subespacio Sm de
un espacio Sn, un espacio dual Snm1 tal que SmSnm1=Sn
397
Albert Lautman
398
con todas las relaciones de orden invertidas. La dualidad establece as un anti-isomorfismo (o isomorfismo inverso) entre
S y el mismo S; adems, es una operacin involutiva, puesto
que el dual de un conjunto dual vuelve a dar el conjunto
primitivo. La teora general de las estructuras descansa entonces en la posibilidad de estructurar de dos maneras inversas un mismo conjunto, y para nosotros es un resultado
de capital importancia filosfica ver cmo esta dualidad interna de dos seres antisimtricos, distinguibles en el seno de
un mismo ser, forma el principio generador de una inmensa
siega de realidad matemtica: las teoras citadas ms arriba,
segn Glivenko, nos permiten, en efecto, considerar como
estructuras los anillos de conjuntos, el conjunto de los cuerpos convexos, el conjunto de los subgrupos de un grupo arbitrario, el conjunto de todos los nmeros enteros positivos, el
conjunto de todos los elementos de la geometra proyectiva,
el conjunto de todos los simplejos subordinados a un simplejo topolgico, el conjunto de todos los acontecimientos de la
teora de probabilidades, el conjunto de las proposiciones del
clculo de proposiciones, etc.
Este desarrollo de la teora de estructuras ha llevado naturalmente a establecer ciertas distinciones entre todas las estructuras que satisfacen la ley de dualidad. As, por ejemplo,
en el caso de la lgica matemtica, la frmula complementaria de una frmula dada se determina de una manera nica,
mientras que, dados m+1 puntos que definen un subespacio
Sm de un espacio proyectivo Sn, existe una infinidad de maneras de escoger nm puntos que determinen un subespacio
Snm1 complementario de Sm. La determinacin del elemento
complementario es entonces posible en los dos casos (no es
siempre as para todas las estructuras), pero la unicidad de ese
elemento, establecida en el clculo de proposiciones (o lgebra
de Boole), no lo es en la geometra proyectiva.
Son stas dos realizaciones diferentes de una misma
estructura dialctica de dualidad, a la vez complementaria
399
Albert Lautman
si x z entonces x (y z ) = (x y ) z .
Albert Lautman
m
introdujo en la aritmtica un smbolo que vale +1 si m
p
es cuadrtico mdulo p, es decir, si existe un entero x tal que
mx2 es mltiplo de p, y que vale 1 en el caso contrario.
Consideremos ahora dos enteros positivos impares a y b;
estos satisfacen la ley fundamental de reciprocidad:
a 1 b 1
a b
= (1) 2 . 2 .
b a
Esta ley abarca, entonces, a la vez, los casos de reciprocidad en el sentido propio de la palabra, es decir, los casos en
los que a es para b lo que b es para a, y los casos donde falla
la reciprocidad. La ley general contiene un elemento de disimetra (el factor 1), que desaparece en los casos particulares
en los que la reciprocidad efectivamente tiene lugar.
Intentando determinar la naturaleza de la realidad matemtica, hemos mostrado en un trabajo anterior3 que las
teoras matemticas podan interpretarse como una materia
escogida, destinada a dar cuerpo a una dialctica ideal. Esa
dialctica parece estar constituida principalmente por parejas de contrarios, y las Ideas de esa dialctica se presentan
en cada caso como el problema de los enlaces a establecer
entre nociones opuestas. La determinacin de esos enlaces
no se hace sino en el seno de los dominios donde encarna esa dialctica, y es as como hemos podido seguir, en un
gran nmero de teoras matemticas, el dibujo concreto de
edificios cuya existencia efectiva constituye una suerte de
respuesta a los problemas que plantean las Ideas de esa dialctica. Nos parece cierto a ese respecto que la idea de la
mixtura de simetra y disimetra juega un papel dominador,
no slo con respecto a la fsica, sino tambin, como hemos
intentado mostrarlo, con respecto a las matemticas. Las dos
3 Vase Lautman, Essai sur les notions de structure et dexistence en mathmatiques, Paris: Lib. Hermann, 1938 (supra, pp. 131 y ss.).
402
realidades se presentan as en concordancia, como realizaciones distintas de una misma dialctica, que las genera en actos
de comparable gnesis.
403
En el captulo anterior * hemos interpretado una propiedad esencial del espacio fsico, la diferencia de orientacin
de las figuras simtricas, como la manifestacin sensible de
una estructura dialctica que genera realidades matemticas
abstractas y, a la vez, condiciones de existencia para el universo de los fenmenos. Un anlisis semejante sita as en el
nivel de las Ideas lo que pareca ser una de las caractersticas
de la espacialidad, y ese es tal vez el sentido ms actual que
pueda tomar hoy en da la nocin de extensin inteligible.
El acierto en el problema espacial nos lleva a plantear un
problema anlogo para el tiempo: es posible describir, en
el seno de las matemticas, una estructura que sea como un
primer dibujo de la forma temporal de los fenmenos sensibles? Este problema parece, en primera instancia, mucho
ms difcil que el problema anterior, ya que el tiempo, an
ms que el espacio, parece estar ligado a la existencia sensible
del Universo: en efecto, al definirlo por el movimiento de la
tierra, el orden de la causalidad, el envejecimiento biolgico,
la irreversibilidad termodinmica o la duracin de la conciencia, se usan siempre nociones que slo tienen sentido
* Simetra y disimetra en matemticas y en fsica (vase supra, pp. 385
y ss.). Lautman confiaba en reunir estos textos y completarlos en una
monografa sobre filosofa de la fsica contempornea, proyecto que no
alcanz a concluir antes de su muerte prematura. [N. del T.]
407
Albert Lautman
408
exigen en sus dominios de validez la puesta a punto de nociones radicalmente nuevas relativas al tiempo y al espacio.
En estas condiciones, se puede an intentar caracterizar
de manera nica y general la forma en que las propiedades
sensibles del tiempo se expresan mediante los smbolos de
una fsica matemtica que no podra considerarse como una?
Esta objecin no tiene, sin embargo, mucho peso, ya que, si
existe una ruptura entre el sentido fsico del espacio y del
tiempo clsicos y el espacio-tiempo relativista y las relaciones
de incertidumbre cunticas, hay, en cambio, una continuidad
en la forma matemtica de esas diversas mecnicas. Los mismos autores que insisten en el hecho de que las concepciones
modernas no pueden ser representadas en el marco de las
concepciones clsicas se esfuerzan siempre por encontrar, en
la armona aparente de las teoras clsicas, el origen de todas
las complicaciones matemticas de las teoras ms recientes.
Es as como la distincin de puntos de vista opuestos en la
ciencia moderna procede muy a menudo de la equivalencia
rigurosa de dos modos de exposicin de ciertos resultados
clsicos. Se pueden entonces extraer ciertas condiciones estructurales comunes que se imponen a las sucesivas teoras
fsicas y que, concordando a la vez con los aspectos sensibles
del tiempo y con las exigencias de una dialctica ideal, operan el enlace de lo sensible y de lo inteligible.
Las propiedades sensibles del tiempo que pueden verse
como los hechos experimentales de los que toda teora fsica debe dar cuenta pueden expresarse en las proposiciones
siguientes2:
1) El tiempo fluye siempre en el mismo sentido. Esta
propiedad establece una disimetra entre el tiempo, orientado desde el pasado hacia el porvenir, y el espacio, que no
posee ni direccin ni sentido privilegiados.
2 El enunciado de las dos primeras propiedades se encuentra en Louis
de Broglie, Matire et lumire, p. 226.
409
Albert Lautman
2) Los objetos materiales persisten en el curso del tiempo. Esta propiedad vincula la existencia de los objetos materiales con el flujo y con la orientacin del tiempo. Un objeto
material puede, en efecto, ser independiente de otros objetos
materiales que existen simultneamente en otra parte, pero
su existencia en un momento determinado est indisolublemente ligada con su propio pasado y con su propio porvenir.
La continuidad del tiempo es, as, un elemento esencial para
la permanencia de los objetos.
3) Las magnitudes, diferentes del tiempo, que caracterizan los sistemas fsicos varan en funcin del tiempo.
Las dos primeras propiedades son distintas, en el sentido de que la una concierne a la irreversibilidad de lo que podra llamarse el tiempo puro, y la otra, al escalonamiento en
el tiempo de los objetos fsicos segn ese orden irreversible
del antes y el despus, aunque no por ello dejan de ser estrechamente solidarias. Juntas, hacen del tiempo una direccin
orientada, asociada necesariamente con las direcciones del
espacio para poder referenciar los fenmenos fsicos. Esta
direccin del tiempo conserva de todos modos, con respecto
al espacio, una disimetra especial que proviene precisamente de su orientacin desde el pasado hacia el porvenir. La
tercera propiedad, por el contrario, no concierne al sentido
del tiempo; an ms, no atae sino indirectamente al tiempo, puesto que es relativa a los cambios que sufren las otras
magnitudes fsicas del universo. En efecto, con respecto al
tiempo es como, en el seno de un sistema fsico cualquiera, el
fsico estudia los cambios de posicin, de velocidad, de temperatura, de densidad, de energa, etc., pero esos cambios no
tienen por qu regirse en s mismos por ninguna exigencia
de irreversibilidad. Esta era la opinin de Boltzmann, y sigue
siendo la opinin de Schrdinger, cuando escribe:
Aun las leyes de la naturaleza que se llaman irreversibles no
implican por s mismas ninguna direccin temporal cuando se las
interpreta estadsticamente. Las previsiones que pueden enunciar-
410
Albert Lautman
t1
t0
C es extremal con respecto a las curvas infinitamente cercanas que unen a A y B, es decir, en signos, que se tiene
t1
413
Albert Lautman
de Maupertuis d mv ds = 0 , donde mv representa el vector cantidad de movimiento y ds el elemento de arco de curva recorrido, y que es por la intermediacin de la accin
como los cuantos se introducen en fsica. Se sabe, adems,
que la analoga entre el principio de Maupertuis, para la dinmica del punto material, y el principio de Fermat, para la
ptica, se encuentran en la base de la mecnica ondulatoria.
Los principios de Hamilton y de Maupertuis se encuentran entonces, en la hora actual, entre los principios ms generales de toda la fsica terica, y es importante para nosotros observar que, si el tiempo figura como parmetro de
evolucin en el enunciado del primer principio, d Ldt = 0,
ese papel lo juega, en cambio, el elemento de arco de curva
en el enunciado del segundo principio, d mv ds = 0 . Sobre este ejemplo particularmente simple, se capta as en qu
sentido el hecho de que el tiempo sea el parmetro de evolucin en funcin del cual varan las dems magnitudes fsicas
es un hecho independiente de las propiedades geomtricas
del tiempo, ya que ese papel puede tomarlo en ciertos casos
otra variable. En el dominio de la mecnica clsica, no hay
que exagerar, sin embargo, esa diferencia entre el aspecto
geomtrico y el aspecto dinmico del tiempo, ya que son rigurosamente equivalentes. Puede, en efecto, expresarse el
principio dinmico de Hamilton bajo una forma geomtrica
donde el tiempo aparece como coordenada, asociada con las
414
coordenadas del espacio, pero afectada con un signo diferente en razn a su disimetra propia. Consideremos para ello4
un espacio de configuracin con n+1 dimensiones, definido por las n coordenadas espaciales q1,...,qn y el tiempo t. A
cada estado del sistema, definido por un valor de esas n+1
coordenadas, corresponde un punto del espacio. Sea L la
funcin que generaliza la funcin de Lagrange definida ms
arriba, L=TV, y sea E=T+V la energa del sistema.
Asociemos a cada coordenada qi la cantidad cannicamente
conjugada pi =
L
. Hemos visto que, con estas notaciones,
qi
t1
t0
Ldt =
(p dq
1
+ + pndqn Edt ),
llamando P al punto del espacio de configuracin que corresponde al instante t0 y al estado del sistema en ese instante, y
Q al punto que corresponde al instante t1 y al estado del sistema en ese instante. La expresin p1dq1+...+pndqn Edt,
cuya integral entre P y Q presenta un mnimo con respecto a
las trayectorias infinitamente cercanas del espacio-tiempo de
configuracin, puede verse, en ese espacio con n+1 dimensiones q1,...,qn,t, como el trabajo de un vector cuya componente espacial consistira en las n componentes ordinarias
p1,...,pn de la cantidad de movimiento y cuya componente
temporal sera la energa cambiada de signo. Vuelve a encontrarse as una sntesis espacio-temporal anloga a la de la
4 Resumen segn Louis de Broglie, La Mcanique ondulatoire des systmes de corpuscules, Paris: Gauthier-Villars, p. 14.
415
Albert Lautman
relatividad restringida, donde el tiempo impone una diferencia de signo con respecto al espacio.
La equivalencia as mostrada, en la mecnica clsica,
entre el aspecto dinmico y el aspecto geomtrico del tiempo no subsiste en modo alguno en la mecnica ondulatoria,
donde veremos, por el contrario, cmo se afirma su oposicin. Podremos entonces establecer uno de los principios
fundamentales de todo nuestro trabajo: cuando se trata de
dos nociones distintas, su equivalencia o su oposicin aparecen, en un mismo plano, como posteriores al hecho de su
simple dualidad5, an indiferente a la afirmacin de cualquier
relacin entre ellas. Para retomar una terminologa que hemos usado en otro lugar, llamaremos Idea al problema de la
determinacin del enlace a operar entre nociones distintas de
una dialctica ideal. En estas condiciones es como concebimos la existencia de una teora de las Ideas, de una dialctica,
que la mecnica ondulatoria y la mecnica clsica comparten, aunque la primera precipite la oposicin de nociones
cuyo acuerdo es evidente en la segunda.
Debemos considerar ahora las relaciones entre el tiempo
geomtrico y el tiempo dinmico en la mecnica ondulatoria. En la exposicin de estos temas, seguiremos los anlisis
de Louis de Broglie citados ms arriba, y, en particular, los
del ltimo captulo de su libro Lelectron magntique. Broglie
aborda el problema de las relaciones entre el espacio y el
tiempo en la mecnica ondulatoria partiendo del hecho de
que las ecuaciones de la mecnica ondulatoria de Dirac son
invariantes por una transformacin de Lorentz en el espacio-tiempo de la relatividad restringida, y constata, no obstante, que el tiempo juega en la mecnica ondulatoria un
papel muy diferente del papel de las coordenadas espaciales.
He aqu un resumen de las consideraciones principales que
5 Este trmino significa aqu sencillamente un estado de cosas que son
dos, sin referencia al sentido especial del trmino en el captulo anterior.
416
Albert Lautman
demostracin fcil, A =
y*A
(op )
y dxdydz . La integracin
418
parece verse llevado a considerar la idea de dos tiempos distintos7: Es evidente escribe que sera deseable introducir en la teora cuntica la idea de que la coordenada t se
encuentre tambin ligada con una distribucin de probabilidad, pero habra que hacerlo manteniendo en la teora una
variable de evolucin, y, como lo hemos dicho, esto no parece
nada fcil (Continu et discontinu, p. 200).
Es interesante insistir sobre la fuente matemtica de esa
dualidad de papeles del tiempo en la mecnica ondulatoria.
Los trabajos de Broglie parten de una concepcin relativista
en la que la energa E y las tres componentes de la cantidad
de movimiento de un corpsculo, px, py, pz, constituyen las
cuatro componentes de un cuadrivector del espacio-tiempo.
Si, siguiendo los principios generales de la teora de los
cuantos y de la mecnica ondulatoria, se definen E=h y
h
, donde l es la longitud de onda y es la frecuencia
mv
de la onda ligada a un corpsculo de masa m y velocidad v, la
onda plana monocromtica y asociada a un corpsculo aislado, en el caso de un campo exterior constante, est dada por la
e 2
frmula (x , y, z , t ) = A (Et px x py y pz z ). La
h
h
= px ,
2i x
h
= py ,
2i y
h
= pz ,
2i z
h
= E .
2i t
419
Albert Lautman
1
p 2 + py 2 + pz 2 +V (qi , t )
2m x
se
obtiene
el
operador
hamiltoniano
h h h
H x , y, z ,
,
,
, t correspondiente a la
2i x 2i y 2i z
h
= E , se
2i t
h
.
2i t
H
,
pi
dpi
dt
H
sin que este enlace de la evoluqi
entre el operador
421
Albert Lautman
x2, y donde p1 =
u
u
, p2 =
. Se supone
x1
x 2
423
Albert Lautman
dx 1
dt
F
p1
dx 2
dt
F
.
p2
Una superficie integral est generada, como hemos dicho, por curvas caractersticas, de tal forma que, dada una
9 La tercera ecuacin es
du
dt
= p1
F
p1
+ p2
F
p2
ecuaciones (I) y (II), define una banda caracterstica, es decir, una curva
caracterstica y un plano tangente a la curva en cada punto de la curva.
424
dp1
dt
F
x1
dp2
dt
F
.
x 2
dx i
dt
F
pi
dpi
dt
F
.
x i
Albert Lautman
u
p = u
.
i
;
p
=
,
=
1
,...,
n
n +1 x
i
x i
n +1
La expresin pn+1+H reemplaza entonces la expresin
F de la ecuacin dada. El primer grupo de ecuaciones de las
curvas caractersticas,
lugar a
dx n +1
dt
dx i
dt
F
con i=1,...,n+1, da
pi
= 1 para i=n+1.
426
escriben
dx i
dx n +1
H dpi
H
;
=
; i = 1...n , y se vuelve
pi dx n +1
x i
a encontrar la forma abstracta de las ecuaciones cannicas de Hamilton. En el espacio con n+1 dimensiones definido por las
variables x1,...,xn+1, el hecho de resolver la ecuacin propuesta
con respecto a una derivada parcial concerniente a una de las variables hace que esa variable juegue el papel de variable temporal.
Existe, en este caso, una equivalencia absoluta entre el papel de
parmetro y el papel de coordenada dimensional para una misma
variable distinguida, pero no por ello deja de subsistir el hecho de
que la teora puramente matemtica de ecuaciones con derivadas
parciales permite as el nacimiento de dos concepciones diferentes para una misma variable, que dan lugar a la dualidad de las
propiedades sensibles del tiempo. Por lo dems, si la segunda
concepcin expuesta, debida a Hamilton y Jacobi, sirve de base
para la teora clsica de las ecuaciones cannicas de Hamilton,
cuando se identifican parmetro y variable distinguida, la misma
concepcin es tambin el punto de partida de la mecnica ondulatoria, donde la derivacin con respecto al tiempo, derivacin
simtrica con cambio de signo de la derivacin con respecto a las
coordenadas espaciales, tiene un sentido operacional muy distinto al sentido paramtrico del tiempo. Retomemos, en efecto, la
ecuacin pn +1 + H (x 1,..., x n , x n +1, p1,..., pn ) = 0 . Con xn+1=t
y pn +1 =
(IV)
u
u
=
, esta ecuacin puede escribirse:
x n +1
t
H (x 1,..., x n , t, p1,..., pn ) =
Si se definen
u
.
t
, la funcin H de la
Albert Lautman
H (x i , t, pi ) =
1
2m
p 2 + p 2 + p 2 +V (x , y, z , t ) = E .
y
z
x
h
en la fun2i x i
cin H de la ecuacin (IV), se obtiene el operador hamiltoniano H de la mecnica ondulatoria; si se aplica entonces ese
operador a la funcin de onda y, que juega el papel de la
funcin u de la ecuacin (IV), se obtiene la ecuacin de
Schrdinger: H ( ) =
h
.
2i t
parciales, la distincin del tiempo parmetro y del tiempo coordenada; tenemos ahora que mostrar a priori cmo
el tiempo coordenada interviene en una sntesis espaciotemporal afectada de esa disimetra especial con respecto
al espacio que se manifiesta por una diferencia de signo. El
mismo problema nos permitir volver a encontrar tambin la
distincin de las dos concepciones del tiempo y la disimetra
especial del tiempo dimensional. Para ello, consideraremos
la teora de ecuaciones con derivadas parciales de segundo
orden, y nos restringiremos al caso de ecuaciones lineales, es
decir, de la forma
(V)
con uik =
ik
uik + bi ui + cu + d = 0
2u
u
, ui =
, siendo u la funcin desconox i x k
x i
cida buscada.
Se demuestra que a toda ecuacin de este tipo se le puede asociar una forma caracterstica ai X i 2 (i = 1,..., n )
con ai=1. La forma caracterstica asociada con las ecuaciones que describen una propagacin es de tipo hiberblico;
est compuesta por n1 cuadrados positivos y un cuadrado
negativo: X12 + + X n 12 X n 2. Slo nos ocuparemos aqu
del caso hiperblico. Como en el caso de las ecuaciones con
derivadas parciales de primer orden, una superficie integral
de la ecuacin (V) est generada por variedades caractersticas j=0 que satisfacen aqu la ecuacin aik ji jk = 0, y
esas variedades caractersticas estn generadas a su vez por
radios caractersticos definidos en el espacio n-dimensional
por las ecuaciones diferenciales
dx i
dt
k =n
= aik jk . Puede de
k =1
Albert Lautman
dx n
dt
= 1, y
dy
= f (x , y ) define un campo de direcciones
dx
431
Albert Lautman
La interpretacin geomtrica de la teora de ecuaciones diferenciales pone as en evidencia dos realidades absolutamente distintas: por un lado, el campo de direcciones
y los accidentes topolgicos que pueden all acaecer, como,
por ejemplo, la existencia en el plano de puntos singulares
sin ninguna direccin asociada, y, por otro lado, las curvas
integrales con la forma que adoptan en la vecindad de las
singularidades del campo de direcciones.
Consideremos por ejemplo la ecuacin
(I)
dy Q(x , y )
,
=
dx
P (x , y )
dx
= P (x , y )
dt
dy
= Q(x , y ).
dt
432
433
Albert Lautman
434
435
Albert Lautman
datos iniciales es insuficiente para determinar toda la evolucin del fenmeno; hay que darse a la vez condiciones iniciales
y finales. Los problemas de este tipo permiten establecer una
teora de la finalidad en matemticas, as como lo ha mostrado
Maurice Janet en su artculo sobre la finalidad en matemticas
y en fsica (Recherches philosophiques, t. II, p. 1). En cuanto al
problema del retorno de las cosas, este se presenta en todos los
casos de las trayectorias cerradas, como en la mecnica celeste,
donde a un mismo valor de las coordenadas de posicin le
corresponden varios valores distintos de la variable t. Se ve as
cmo el estudio de las curvas integrales definidas en funcin
de un parmetro lleva a considerar las leyes de evolucin de los
sistemas fsicos, lo que pone en evidencia el sentido dinmico
de ese parmetro.
La distincin matemtica del tiempo cosmognico
y del tiempo dinmico es, por tanto, la expresin de una
dualidad inherente en teoras tan abstractas como la teora
de ecuaciones diferenciales, y es muy probable, por consiguiente, que corresponda a una estructura ntima de las
cosas, cuya fuente se encuentra en la estructura de las Ideas.
Esta conclusin nos deja presentir los lmites que necesariamente debe encontrar una reduccin de la dinmica a la
cosmogona. En un libro por aparecer prximamente, Tonnelat estudia la historia de las teoras unitarias del campo
electromagntico y de la gravitacin, desde la geometrizacin de la gravitacin por Einstein en 1916. La imposibilidad de geometrizar el campo electromagntico de manera
fsicamente aceptable ha llevado a Tonnelat a la actitud inversa, es decir, a dar de nuevo un sentido fsico, un sentido
dinmico, a la gravitacin. No debera pensarse en volver a
la concepcin prerrelativista de un continente geomtrico
definible independientemente de su contenido fsico, pero
la identificacin de las dos nociones parece igualmente imposible. De nuevo, la nocin de complementariedad parece
deber jugar all un papel considerable.
437
Indito
(1935)
Albert Lautman
Albert Lautman
Albert Lautman
Albert Lautman
Nuestro ltimo ejemplo est tomado de la teora de Galois. Dado un cuerpo inicial K y un polinomio de grado n
sobre K, sean L1,L2,...,Ln extensiones de K obtenidas por
adjunciones sucesivas de races, con Ln conteniendo todas las
races del polinomio, sin posibilidad de extensin: Ln se dice
completo con respecto a ese polinomio. A cada uno de esos
cuerpos K, L1,L2,...,Ln, se le hace entonces corresponder
el grupo de las permutaciones de las races, no conocidas. Al
cuerpo K le corresponde un grupo de orden n; a medida que se
asciende de un cuerpo a una extensin de ese cuerpo, la incertidumbre relativa a las races desaparece y el grupo correspondiente es cada vez de orden inferior. Al cuerpo completo Ln
le corresponde el grupo que slo contiene a la transformacin
idntica. Puesto que a cada ascenso en la escala de los cuerpos
le corresponde un descenso en aquella de los grupos, cada extensin progresiva nos acerca al objetivo y en cada momento
se conoce el nmero de las extensiones que faltan por efectuar.
Los pasos progresivos adquieren entonces su sentido gracias a
que tienden a un objetivo conocido por adelantado. La yuxtaposicin de un orden ascendente y de un orden descendente
ha sido el instrumento de ese maravilloso acuerdo lgico. Hay
efectivamente una apariencia de finalismo, pero integralmente
explicable mediante enlaces racionales.
Nos proponemos igualmente aplicar a las teoras fsicas
las consideraciones que preceden en lo que respecta a la estructura de un todo y de sus partes. La nocin de sistema fsico es, en efecto, una nocin global que se define gracias a las
integrales primeras y a los invariantes integrales de un sistema
de ecuaciones diferenciales. Quisiramos proseguir esas investigaciones para exponerlas ms tarde en nuestra tesis.
449
Indito
(1939)
Al Seor Frchet.
Seor Profesor,
1. de febrero de 1939
Albert Lautman
Albert Lautman
de la estructura formal del grupo a la existencia de sus representaciones que he comparado en mi Tesis con el paso
que la nocin de gnero de una superficie de Riemann permite operar entre la estructura topolgica de la superficie y
la existencia de las integrales abelianas de primera especie
sobre la superficie. Aado que estas analogas me han llevado
a substituir la terminologa habitual relativa a forma y materia por otra terminologa donde los sistemas de axiomas,
as como el grupo abstracto, constituyen un dominio de base
(por analoga con la superficie de Riemann) y donde las representaciones o realizaciones del sistema constituyen seres
definidos sobre un dominio de base. Esto no cambia nada
en el hecho de que existe un paso entre un sistema formal,
en el sentido habitual, y las representaciones materiales de
ese sistema.
Su tercera pregunta se refiere a la gnesis de lo real a
partir de la Idea. As como usted admita el paso de lo material a lo formal y no el paso inverso, usted admite el paso de
lo real a la Idea, por abstraccin evidentemente, y no el paso
inverso. La gnesis de lo real a partir de la Idea, tal como
la concibo, debe ser entendida a la luz de las explicaciones
que doy ms arriba (pgina 1 de esta carta). Entendiendo
por Idea la Idea de un problema dialctico posible, se puede considerar en abstracto la Idea de saber si existen ciertas
relaciones entre nociones abstractas, como, por ejemplo, el
continente y el contenido, pero resulta que todo esfuerzo por
esbozar una respuesta al problema lleva ipso facto a la elaboracin de teoras matemticas. Yo considerara las cosas
as, por ejemplo: el problema de saber si existen formas de
solidaridad entre el continente y el contenido, el espacio y la
materia, es en s un problema filosfico. Se encuentra en el
centro de la metafsica cartesiana. En cambio, todo esfuerzo
por resolver ese problema necesariamente conduce al espritu a constituir una mecnica analtica donde pueda afirmarse
de hecho un enlace entre lo geomtrico y lo dinmico. All,
456
457
Albert Lautman
esto sea para las matemticas una disminucin, sino que les
confiere, por el contrario, un rol ejemplar.
Espero haber sido ms claro que en mi resumen, y, asegurndole el placer que tendr de presentarme ante usted el
sbado, le ruego creer, Seor Profesor, en mis sentimientos
de muy profundo respeto.
Albert Lautman*
458
apndices
Apndice A
Cronologa de Albert Lautman*
1908
Nace en Pars, el 8 de febrero. Su padre, otorrinolaringlogo, haba nacido en Brala, bocas del Danubio, en 1870 y haba llegado a Francia en 1891, al
impedrsele trabajar en los hospitales de Viena por
medidas antisemitas. Su madre, nacida Lajeunesse,
es de una familia juda asentada en Francia desde
haca varias generaciones.
1920-1923 Estudia en Niza. Obtiene algunos premios en el
Concurso General (tema en latn, versin del griego, historia).
1923-1924 Realiza su ao Terminal (Matemticas) en el Lyce Condorcet (Pars), donde inicia su amistad con
Jacques Herbrand.
1924-1926 Realiza dos aos de letras superiores en el Lyce
Condorcet mientras prepara el concurso de entrada
(Letras) a la cole Normale Suprieure, a la que ingresa en 1926.
1928
Algunos de sus amigos y compaeros intelectuales en la cole incluyen a Herbrand, Chevalley y
* Esta cronologa retoma todas las referencias sobre la vida de Lautman
aparecidas en publicaciones (con la correccin de algunas imprecisiones) y se completa con otros muchos datos aportados por Jacques
Lautman, profesor emrito de sociologa y estadstica social en la Maison Mditerranenne des Sciences de lHomme (CNRS, Universidades
de Provence y de Aix-Marseille), en comunicaciones personales entre
septiembre y noviembre del 2004. Agradecemos las correcciones e informaciones otorgadas por l.
461
1929
1930
1931
1933
1934
1935
462
Ehresmann. Bajo la direccin de Brunschvicg, defiende una memoria sobre la matemtica de Hilbert. Asiste al Congreso de Davos y conoce all a
Suzanne, su futura esposa.
Pasa un semestre en Berln y en Viena.
Prepara la agregacin con su instructor Jean Cavaills, quien lo descubre lleno de ardor por la filosofa matemtica. Obtiene la agregacin en filosofa.
Realiza su servicio militar en Metz, como subteniente de artillera.
Matrimonio con Suzanne Lautman. Pasa luego dos
aos en Japn, como profesor de la Escuela de Lenguas Occidentales de Osaka (candidatura ofrecida
tambin a Sartre en ese ao). Complementa sus estudios en fsica matemtica.
Profesor de la clase de filosofa en el liceo de Vesoul.
Se traslada a Pars, donde vivir dos aos. Nace su
hijo Jacques (nombre en homenaje a su amigo Herbrand). Es Becario de la Caja Nacional de Ciencias
(antepasada del Centre National de la Recherche
Scientifique) durante el periodo 1934-1935. Escribe
Considrations sur la logique mathmatique (publicado pstumamente en 1977). Participa regularmente desde entonces en las sesiones de la Sociedad
Francesa de Filosofa (intervenciones publicadas en
las sesiones del 17 de noviembre de 1934, 5 de junio
de 1937, 7 de mayo de 1938, 4 de febrero de 1939).
Prepara su Rapport sur les travaux philosophiques entrepris par M. Lautman (dirigido al
director de la cole Normale Suprieure, Celestin Bougl). Presenta una comunicacin en el
Congreso Internacional de Filosofa Cientfica
(Congreso Rougier, Pars): Mathmatiques et
realit (publicada en 1936). Prepara un resumen
de las actividades del Congrs International de
Apndices
1936
1937
1938
1939
1940
1941
1942
1943
1944
464
Apndice B
Obituario de Albert Lautman
Apndices
Apndices
Apndices
471
Apndice C
Reseas de las Tesis de Lautman
Apndices
Essai sur lunit des sciences mathmatiques dans leur dveloppement actuel, par Albert Lautman. Un vol. in-8o de 50 pp. Paris,
Hermann, 1938. Revue de Mtaphysique et de Morale, 45 (1938,
suplemento de julio), pp. 9-11.
Los estudios del trabajo anterior requieren una justificacin; no se consideran sino ciertas teoras modernas:
topologa, lgebra abstracta, teora de grupos. Habra,
pues, una matemtica moderna, distinta de la matemtica clsica? Tal es la afirmacin de Weyl, en un texto que
sirve al autor como punto de partida en su segunda tesis:
476
Apndices
478
Apndices
Esta monografa, que est dividida en dos partes, Les schmas de structure y Les schmas de gense, proporciona una suerte
de anlisis descriptivo de las matemticas modernas, con el
objetivo de tornar prominentes ciertos esquemas lgicos que
aparecen como rasgos caractersticos en la formacin de teoras matemticas recientes, y que, por otro lado, pueden consi*
480
Apndices
derarse como realizaciones de ciertas ideas filosficas generales. A la progresiva desaparicin de la realidad matemtica,
propia de la teora de la escuela de Russell, Lautman tiende a
oponer una visin ms positiva:
Las matemticas, y sobre todo las matemticas modernas, lgebra, teora de grupos, topologa, nos ha parecido que relatan as,
mezclada con las construcciones que interesan al matemtico, otra
historia ms escondida y hecha para el filsofo. Una accin dialctica se juega incesantemente en el trasfondo y nuestros seis captulos tienden precisamente a develarla. (Supra p. 139)
Este modo de considerar las cosas empleado por Lautman tiene algo en comn con la fenomenologa de Hegel.
Tambin su idea de una realidad ideal, que revela su poder formativo por medio de una materia matemtica dominada por ella, se encuentra bastante cerca de la concepcin
hegeliana del espritu objetivo.
Los esquemas lgicos hacia los que apunta Lautman son
los siguientes tres esquemas de estructura y tres esquemas
de gnesis:
1. La influencia de las propiedades globales de una variedad sobre las propiedades locales de sus constituyentes,
expresando una solidaridad del todo y de sus partes.
2. La posibilidad de reducir las propiedades de un objeto
geomtrico que conciernen a sus relaciones con el entorno (i. e., su situacin en un espacio donde el objeto se
sumerge) a propiedades intrnsecas.
3. El paso de un dominio dado a un dominio extendido
que tiene una suerte de perfeccin, habindose eliminado
una cierta complicacin estructural del ente original.
4. La posibilidad de que la estructura de un dominio pueda
inducir de alguna manera la existencia de otras entidades que provean una interpretacin de esa estructura, con
lo que aparece una conexin entre esencia y existencia.
481
5. La introduccin de un concepto mediador entre entidades heterogneas, de tal manera que una cosa que caiga
bajo ese concepto sea un mixto, que tenga algo en comn con cada una de las dos entidades.
6. Cuando se demuestra que un problema (que satisface
ciertas condiciones) tiene una solucin, la caracterizacin de la solucin por medio de una propiedad excepcional que la distinga dentro de una variedad de objetos
relevantes.
A estos esquemas corresponden los seis captulos del tratado de Lautman. La mayora de ellos comienzan con una referencia a algunas ideas filosficas histricamente prominentes.
La exposicin de los esquemas lgicos se consigue al considerar varios ejemplos tomados de las matemticas recientes,
donde los conceptos, teoremas y razonamientos relevantes
para los puntos en cuestin son brevemente explicados. Por lo
tanto, no se presupone un conocimiento de teoras especficas,
sino slo un conocimiento matemtico general. A lo largo de
esas discusiones, casi todas las disciplinas matemticas modernas aparecen. (Algunas erratas se corrigen al final de cada
parte; sin embargo, se ha escapado una bastante obvia sobre
la definicin de la irreducibilidad de un polinomio, pgina 64,
lneas 16-18 [= p. 185]).
Las cuestiones conexas con la lgica matemtica se consideran sobre todo en el captulo sobre esencia y existencia.
Lautman opone aqu un periodo crtico de la investigacin
sobre los fundamentos a un periodo ingenuo anterior. Al
ver lo que quiere decir con esa distincin, uno podra asombrarse un tanto ante la terminologa. Lautman tiende a desviar la atencin, alejndola de la crtica del anlisis clsico y
de las disputas fundacionales, que considera como caractersticas del periodo ingenuo. Su mtodo aqu tiende a exhibir
descriptivamente una suerte de enlace lgico en referencia
al cual la lgica matemtica, como Lautman observa, no tiene un estatuto especial, sino que debe considerarse como una
482
Apndices
Apndices
Apndices
487
Apndice D
Obituario de Jacques Herbrand
Apndices
En opinin de todos, esa prctica constante del pensamiento riguroso deba ofrecer as al mundo cientfico uno de
sus grandes espritus, pero Herbrand senta, en algunos das,
que esa prctica arrastraba su conciencia hacia un mundo
tan estril como el vaco que encontraba a veces en lo ms
profundo de su renuncia interior. Sufra por la dura ley que
le introduca sin cuartel en esas abstracciones, donde senta
desaparecer su ser como en una muerte; y en una esperanza
de plena armona interior es donde formaba el proyecto de
una vida heroica donde poder sostener el genio de su espritu. Esa plenitud de alegra y de ardor, de la cual se crea
a veces privado para siempre, la encontraba en las potentes
emociones de la alta montaa. Muri en un ascenso, y todos
esos pensamientos que haba formado, todos esos sentimientos que haba sufrido, ya no los perseguir ms; pero sus amigos haban comprendido a su lado de tal manera su belleza
sublime que no podrn ya alejarse jams de las vas indicadas
por ese ser adorado.
492
Apndice E
Sesin de la Sociedad Francesa
de Filosofa (4 de febrero de 1939):
El pensamiento matemtico
Apndices
2. La resolucin de un problema posee todos los caracteres de un experimento: construccin sometida a la sancin
de un revs posible, pero realizada conforme a una regla (es
decir, reproducible, por lo tanto, no acontecimiento) y desplegada en lo sensible. Operaciones y reglas no tienen sentido
sino relativamente a un sistema matemtico anterior: no hay
representacin efectivamente pensada (distinta de lo puramente vivido) que no sea sistema matemtico en la medida
en que se piensa es decir, organizacin regulada de lo sensible (en virtud de la continuidad entre gestos matemticos,
desde los ms elementales).
3. La existencia de los objetos es correlativa a la actualizacin de un mtodo y, como tal, no es categrica, sino siempre
dependiente de la experiencia fundamental de un pensamiento efectivo. La ilusin de una posibilidad de descripcin exhaustiva (o de generacin ex nihilo) por medio de axiomas,
desenmascarada por la paradoja de Skolem, se explica por el
desfase necesario entre exposicin y pensamiento autntico.
Este, o la intuicin central de un mtodo, requeriran para
ser expresados que las Matemticas se encontraran acabadas
(explicitacin de todas las exigencias sucesivas). Los objetos
delinean proyecciones en la representacin de las etapas de
un desarrollo dialctico: existe cada vez para ellos un criterio
de evidencia condicionado por el mtodo mismo (ejemplo: la
evidencia propia de la induccin transfinita). No se encuentran, por lo tanto, ni en s, ni en el mundo de lo vivido, sino
en la realidad misma del acto de conocimiento.
lautman est completamente de acuerdo con Cavaills
sobre la solidaridad que une la naturaleza del objeto matemtico con la experiencia singular de su elaboracin en el
tiempo. No hay determinacin de lo verdadero y de lo falso
sino en el seno de las Matemticas efectivas, y la verdad es
inmanente a la demostracin rigurosa. Pero, a partir de este
punto, Lautman se aparta de Cavaills. Si se admite que la
manifestacin de un existente en acto no adquiere todo su
495
Apndices
particular. Slo esta indeterminacin de la Dialctica, donde se manifiesta su insuficiencia esencial, asegura al mismo
tiempo su exterioridad con respecto al devenir temporal de
los conceptos cientficos.
En conclusin, pueden precisarse los lazos de la Dialctica y de las Matemticas. Las Matemticas se presentan, en
primer lugar, como ejemplos de encarnacin, como dominios
donde se actualiza la espera ideal de relaciones posibles, pero
son ejemplos privilegiados, cuyo advenimiento es en cierto
modo necesario. En efecto, todo esfuerzo por profundizar
en el conocimiento de las Ideas, nada ms que por el carcter analtico de ese esfuerzo, se prolonga naturalmente en
construcciones matemticas efectivas. El pensamiento matemtico tiene as el eminente papel de ofrecer al filsofo el
espectculo constantemente vuelto a comenzar de la gnesis
de lo Real a partir de la Idea.
Acta de la sesin
cavaills.Las reflexiones que quisiera presentar se sitan
en un momento dado del desarrollo de las Matemticas, es
decir, en el momento actual. Debido a la singularidad misma de este momento, estas reflexiones conllevan dos partes
que he distinguido, por lo dems, en el resumen comunicado.
Una primera parte conlleva los resultados que nos han otorgado las Matemticas mismas sobre el problema filosfico de
la esencia del pensamiento matemtico; esta primera parte
slo debemos traducirla, explicitarla; podr tal vez discutirse
el alcance de los resultados, pero, creo, esta es la parte indiscutible de lo que propongo.
Sin embargo, esa parte indiscutible resulta ser negativa, y me propongo, entonces, despus de haberla resumido
brevemente, introducir algunas reflexiones positivas que se
injertan sobre los resultados obtenidos, as como sobre el desarrollo actual de las Matemticas tal cual lo vemos hacerse
ante nuestros ojos.
497
Apndices
La esperanza se vio frustrada, no tanto debido a las dificultades que la Teora de Conjuntos encontr en ese entonces al descubrirse las antinomias, sino debido al esfuerzo
que los matemticos mismos hicieron por decidir si esa esperanza poda o no ser realizada, es decir, debido al esfuerzo
con el que transformaron una concepcin filosfica de las
Matemticas en un problema tcnico de los matemticos.
En efecto, cuando se quiso precisar la nocin de conjunto
y la teora consiguiente, se choc con la necesidad de axiomatizar la teora, es decir, de explicitar las nociones fundamentales
y los procedimientos empleados. Surgieron entonces problemas
tcnicos que podan recibir una respuesta precisa. Se trata de
trabajos que se realizaron en la escuela reunida alrededor de
Russell y en la escuela de Hilbert, uno de cuyos iniciadores en
Francia fue, con un vigor genial, Jacques Herbrand: su ausencia,
para quienes le conocieron, tanto filsofos como matemticos,
se deja sentir cruelmente todos los das, an hoy.
He indicado los resultados en mi resumen: como nos
enfrentbamos a un problema que poda ser resuelto de una
manera matemtica, dos concepciones fundamentales de las
Matemticas se vieron rechazadas:
1. La concepcin que citaba al comienzo, esa famosa esperanza de reducir las Matemticas a la Lgica; el logicismo
ha sido eliminado. No insisto sobre las razones, que he anotado en mi resumen, y, para los detalles, me permito remitir
a mi libro Mthode axiomatique et formalisme.
Al intentar formalizar ntegramente las Matemticas,
se lleg al resultado de que los procedimientos a los que se
recurre no pueden todos razonablemente ser llamados lgicos. Creo que sera imprudente iniciar aqu un debate sobre
la esencia misma del pensamiento lgico, pues nos llevara
muy lejos; pero puedo indicar al menos que, si se formaliza
la Aritmtica, hay que hacer intervenir el principio de induccin completa, que difcilmente puede ser reducido a un
sistema de nociones lgicas.
499
Apndices
Apndices
proporciona un resultado que, por el hecho mismo de aparecer, encuentra su lugar en un sistema matemtico que prolonga el sistema anterior (y le contiene como caso particular).
Cmo pueden realizarse esas experiencias? He intentado hacerlo en mi libro sobre el Mtodo axiomtico, de una
manera muy incompleta, pero que espero poder precisar ms
adelante; he indicado algunos de los procedimientos empleados por los matemticos. Por supuesto, se trata de una descripcin burda, puesto que, en cada instante, existen ciertos
procedimientos que se sitan en una atmsfera matemtica,
en un estado de las Matemticas en un momento dado, que
puede no ser transportable. He indicado, sin embargo, algunos
de esos procedimientos, inspirndome a la vez en los anlisis
de Hilbert y en el de Dedekind, en su discurso pronunciado en
1857 ante Gauss, discurso que fue aprobado por Gauss y que ha
sido publicado recientemente por Noether, en 1931.
Un primer procedimiento lo llam, en general, tematizacin, queriendo decir con esto que los gestos realizados en un
modelo o en un campo de individuos pueden, a su vez, ser considerados como individuos sobre los cuales trabajar el matemtico, considerndolos como un nuevo campo. Por ejemplo,
topologa de las transformaciones topolgicas; y podran encontrarse muchos otros ejemplos. Este procedimiento permite
superponer diversas reflexiones matemticas, y tiene tambin el
inters de mostrarnos que no cesa el enlace entre la actividad
concreta del matemtico desde los primeros momentos de
su desarrollo: poner dos objetos simtricos uno al lado del otro,
hacerlos cambiar de lugar y las operaciones ms abstractas, ya
que cada vez el enlace se encuentra en el hecho de que el sistema de objetos considerados es un sistema de operaciones, que a
su vez son operaciones sobre otras operaciones y que, finalmente, terminan por encontrarse sobre objetos concretos.
Un segundo procedimiento es llamado por Hilbert
idealizacin, o adjuncin de elementos ideales; consiste
simplemente en exigir que una operacin que se encuentre
504
Apndices
accidentalmente limitada por ciertas circunstancias extrnsecas a su realizacin misma sea liberada de esas limitaciones extrnsecas, y esto gracias a la posicin de un sistema de
objetos que no tiene ya por qu coincidir con los objetos de
la intuicin. Es as, por ejemplo, como se hacen las diversas
generalizaciones de la nocin de nmero.
Qu deducir de aqu para la nocin misma de objeto
matemtico? He intentado indicarlo, de una manera tal vez
no satisfactoria, lo reconozco, pues a m mismo no me satisface completamente, pero es al menos una aproximacin.
El objeto matemtico siempre se encuentra, a mi parecer, como correlativo de gestos efectivamente realizados por
el matemtico en una situacin dada. Quiere esto decir que
ese objeto posee un modo de existencia particular? Podra
haber, por ejemplo, objetos ideales existentes en s? En las
discusiones propiamente matemticas que tuvieron lugar entre partidarios de la escuela de Viena y de la escuela de Hilbert, se planteaba la pregunta de saber si haba una regin de
objetos ideales a los que pudieran referirse las Matemticas
se le llamaba a esto platonismo, aunque creo que la expresin no corresponde muy bien a la cosa, pero poco importa el
trmino; es lo que, en un artculo aparecido en este verano,
Gentzen llama la matemtica en s.
Desde este punto de vista, creo poder ir ms lejos que
Gentzen, quien intenta una conciliacin entre la matemtica
en s y la exigencia constructivista del intuicionismo; creo
que una concepcin de los sistemas de objetos matemticos
existentes en s no es en modo alguno necesaria para garantizar el razonamiento matemtico: por ejemplo, cuando se
trata del continuo, esa concepcin de los objetos matemticos debe ser rechazada por una razn bastante simple, la de
ser totalmente intil, tanto para el desarrollo mismo de las
Matemticas como para un entendimiento de ese desarrollo.
En efecto, si esa concepcin respondiera a algo preciso, eso querra decir que si esos objetos a los que se refiere
505
Apndices
entiende con ello ya sea la actividad de numeracin donde se encuentra implicada lo que Poincar llamaba la intuicin del nmero puro, ya sea el comienzo de la geometra
elemental, nos vemos obligados, en realidad, a desarrollar
todas las Matemticas; podemos detenernos arbitrariamente
y decir que algn estado nos satisface, pero, si somos fieles
a la exigencia misma que presidi el nacimiento de esas nociones y su desarrollo, tendremos entonces que plantear los
problemas que nacen, por ejemplo, del rechazo de detenernos en circunstancias exteriores al problema planteado, y, en
ese momento, aparecern nuevas nociones y se generarn no
slo las Matemticas hasta nuestros das, sino las exigencias
de desarrollo y los problemas no resueltos que provocan sus
transformaciones actuales.
En conclusin, dir, por tanto, que la nocin misma de
existencia de los objetos matemticos nos interesa, a los filsofos, porque plantea el problema de la nocin misma de
objetos del pensamiento.
Para un objeto, qu es existir? Aqu nos encontramos
ante el hecho de que el tipo de conocimiento cierto, riguroso,
que es justamente el conocimiento matemtico, nos impide
poner a los objetos como independientemente existentes del
sistema completado sobre esos objetos, e incluso independientemente de un encadenamiento necesario desde el comienzo mismo de la actividad humana.
De manera que no podemos nunca ni plantearlos en s
ni decir exactamente: aqu est el mundo un mundo que
describiramos. Cada vez nos vemos obligados a decir: estos son los correlatos de una actividad. Todo lo que podemos
pensar de ellos son las reglas del razonamiento matemtico,
exigidas por los problemas planteados, y existe incluso un
desbordamiento, una exigencia de superacin que se encuentra en los problemas no resueltos, que nos obliga a plantear
de nuevo otros objetos o a transformar la definicin de los
objetos primitivamente planteados.
507
Tales son las reflexiones que quera presentar: no escondo su carcter incompleto, insuficiente, que estalla incluso
ante mis ojos, pero creo que el estado actual de las Matemticas necesita al menos lo esencial de esas reflexiones.
lautman.(Vase su comunicacin El pensamiento matemtico, supra, pp. 375 y ss.)
Discusin
lie cartan.Estoy
bastante embarazado, ya que me encuentro un poco en la situacin del seor Jourdain, que tena
por costumbre hablar en prosa sin darse cuenta. Los matemticos o al menos un cierto nmero de ellos, entre los
que me sito no acostumbran reflexionar mucho sobre los
principios filosficos de su ciencia; cuando oyen a un filsofo
hablar de esos principios, eso les interesa, sin duda, pero no
saben muy bien cmo responder a las consideraciones que el
filsofo desarrolla.
Evidentemente, conozco la tesis de Cavaills y la tesis
de Lautman, ya que yo formaba parte del jurado de ambas
tesis, pero mi situacin es diferente ahora: antes estaba del
buen costado de la barricada, mientras que hoy me encuentro
en el lado opuesto...
No entend muy bien qu oposicin haba entre los dos
puntos de vista de Cavaills y de Lautman, puntos de vista que
me parecen diferentes, ms que opuestos. Tengo la impresin
de que las consideraciones de Cavaills se dirigen al fondo
mismo del pensamiento matemtico, mientras que las consideraciones de Lautman se dirigen ms bien al estado actual,
no del conjunto de las Matemticas, sino de un cierto nmero
de teoras matemticas, y, a ese respecto, hay evidentemente
un cierto nmero de afirmaciones de Lautman que me interesan particularmente: las que conciernen a las relaciones
entre lo local y lo global, por ejemplo. Ciertamente, esas relaciones surgen en una parte importante de las Matemticas.
La teora de funciones, en particular la teora de funciones
508
Apndices
Apndices
Apndices
Apndices
Apndices
517
En cuanto a la tesis de Lautman, vacilo un poco en comentarla, ya que encuentro diferentes interpretaciones posibles: algunas me parecen del todo inmediatas y aceptables,
pero no me parecen compatibles con la conclusin. Esto se
debe probablemente a que no he entendido bien.
Veo, al comienzo, frases como esta: El establecimiento de las relaciones matemticas efectivas aparece, en efecto,
como racionalmente posterior al problema de la posibilidad
de semejantes enlaces en general.
Lautman ha tenido cuidado en indicar que, para l, no
se trata de un punto de vista histrico. Y, en efecto, desde
un punto de vista histrico, la respuesta es clara: el establecimiento de las relaciones matemticas efectivas es, por el
contrario, ciertamente anterior al problema de la posibilidad
de tales enlaces.
Entonces, qu quiere decir exactamente racionalmente posterior? Planteo la misma pregunta para la frase: Se
ve as en qu sentido puede hablarse de la participacin de
distintas teoras matemticas en una Dialctica comn que
las domina.
Considerando estas dos frases y el texto que las rodea, me
parece que hay una respuesta a la cual podra llegarse con toda
naturalidad: el hecho de que las diferentes teoras matemticas
(y sobre todo las demostraciones contenidas en esas teoras)
consisten en razonamientos aplicados a ciertas circunstancias
particulares, pero que dependen todas a su vez de una misma
teora general, que Lautman designa, creo, como teora de las
Ideas, y que los matemticos llamaran probablemente Lgica.
Si as fuera, creo que todo el mundo estara de acuerdo, pero sera tan evidente que no creo que eso sea lo que
Lautman haya querido decir exactamente. En todo caso, no
podra conciliarse con el final de su exposicin: El pensamiento matemtico tiene as el eminente papel de ofrecer al
filsofo el espectculo constantemente vuelto a comenzar de
la gnesis de lo Real a partir de la Idea.
518
Apndices
519
Apndices
y la materia, lo local y lo global, etc. Por mi parte, me parece que si se quisiera emplear a cualquier precio la palabra
dialctica en la filosofa de las Matemticas, habra que
emplearla nicamente en el primer sentido, es decir, en el
sentido de una vida de la experiencia matemtica en el curso
de su historia.
Tomo un ejemplo que me ha impresionado mucho: el
desarrollo de la teora de Ecuaciones, de Vite a Galois. Creo
que si existe una necesidad como lo deca Cartan en el
desarrollo de las Matemticas, esa necesidad aparece muy
ntidamente en el desarrollo de esa teora de Vite a Descartes, pero ya no aparece para nada cuando se trata de los descubrimientos de Galois. Parece que surge entonces algo del
todo nuevo en la teora matemtica, algo inesperado que se
ha introducido y que no se dejaba prever exactamente por el
desarrollo anterior de las Matemticas. Es una cosa que me
ha impresionado mucho, al estudiar la descomposicin de un
grupo en subgrupos invariantes segn Galois y su aplicacin
a la resolucin algebraica de ecuaciones, despus de haber
estudiado el problema de la teora de ecuaciones algebraicas
segn Descartes. Me parece que en este caso podemos a la
vez advertir un desarrollo necesario y luego percibir la aparicin de un mtodo totalmente nuevo, una creacin imprevisible, slo comprensible a destiempo.
El problema de la evolucin de la teora de ecuaciones
de Vite a Galois me inspira otra observacin: podra expresarla vulgarmente diciendo que no sabemos deshacer lo
que sabemos hacer, o que la actividad intelectual se supera
a s misma en lo que genera. Las ecuaciones dadas parecen
seres matemticos enigmticos, en cierto modo. Sabemos
construirlas, mediante productos de binomios, como lo hizo
Harriot; podemos llegar a construir as ecuaciones de cualquier grado; pero luego el problema de la divisin despus
de la multiplicacin somos incapaces de deshacer cualquier ecuacin dada.
522
Apndices
Para intentar ese anlisis en general, fue necesario introducir nociones nuevas que, por lo dems, se dejaron entender
en parte, como, por ejemplo, los imaginarios previstos por
Descartes: en 1637, Descartes deca explcitamente que haba
n races de la ecuacin de grado n, positivas, negativas o imaginarias; lo que result ser una previsin de lo que sucedera
mucho ms tarde.
Creo, en resumen, que estara ms bien de acuerdo con
Cavaills, quien desea ver en las Matemticas una vida autnoma esencial; se podra pensar tambin que la necesidad
del desarrollo de las Matemticas y su contingencia histrica
deban conciliarse en esa vida de las Matemticas.
En cuanto a la tesis de Lautman, podra temerse al
adoptarla que las nociones matemticas se evaporaran, en
cierta manera, en puros problemas tericos que las superen:
como la forma y la materia, lo local y lo global. La originalidad misma de esas Matemticas correra peligro de
desaparecer.
No he entendido muy bien en la tesis de Lautman si el
matemtico terminaba por encontrar esos problemas, o si,
por el contrario y esto sera lo problemtico, una exigencia ideal de esos problemas, dada de antemano, vendra
luego a encarnarse en las Matemticas.
Hay all una ambigedad; pero tal vez he entendido mal
la tesis de Lautman.
paul schrecker.Despus de tantas consideraciones matemticas, tal vez le ser permitido a un filsofo presentar
algunas reflexiones que no respetan del todo la autonoma
en la que se aslan necesariamente los matemticos. Estas
reflexiones tienen por objeto la imposibilidad, afirmada por
Cavaills, de definir las Matemticas. Segn l, toda definicin de las Matemticas llevara a un absurdo, ya que sera
imposible definir las Matemticas por algo que no son. Pero
me parece que esta misma dificultad se encuentra en todas
las ciencias: ninguna ciencia es susceptible de una definicin
523
por sus propios medios y mtodos, y siempre hay que situarse por fuera de una ciencia para poder llegar a definir su
dominio.
Pero esto no quiere decir que las Matemticas tengan
que definirse necesariamente por algo que no son. Las Matemticas son una ciencia: he ah el primer elemento de una
definicin, elemento que ciertamente no es un heternimo.
Son una ciencia hipottico-deductiva: he ah un segundo
elemento. Pero es verdad que no se las puede definir quedndose en el formalismo matemtico y respetando, en la
definicin, la autonoma del dominio matemtico. El formalismo y la autonoma valen para todos los problemas matemticos; sin embargo, la definicin de las Matemticas no es
en s misma un problema matemtico; es un problema que
la teora de las ciencias se plantea, teora que no est para
nada obligada a insertarse en la coherencia del formalismo
matemtico.
Por lo tanto, la refutacin del carcter hipottico-deductivo de las Matemticas me parece girar en crculo, ya que
esa refutacin se sirve ella misma del mtodo hipotticodeductivo. El esfuerzo por dar esa refutacin gracias a un
razonamiento deductivo es tambin necesariamente hipottico, ya que supone la eficacia del formalismo con el cual se
opera. Negando entonces el carcter hipottico-deductivo de
las Matemticas se gira en un crculo cerrado, o en un sistema cerrado, sin entrada ni salida...
cavaills.Nunca he negado ese carcter, slo he dicho
que no poda definirse sino refirindose a l mismo, ya que se
deben emplear teoras matemticas.
schrecker.Pero es evidente que si se intenta definir las
Matemticas empleando teoras matemticas, nunca se llegar a nada. Si, por el contrario, se toma la decisin de definirlas con otros medios, emancipndose del formalismo y
empleando mtodos histricos o filosficos, parece posible
llegar a hacerlo. Ms an cuando, sin duda alguna, sabemos
524
Apndices
Apndices
Apndices
Apndices
frchet.Personalmente,
estoy completamente de acuerdo con Paul Lvy, veo esa proposicin como existente por
fuera de nosotros.
cavaills.Lautman se separa de m; lo que encuentro muy
interesante en lo que hace es justamente cmo hace aparecer
enlaces entre teoras. El porvenir nos mostrar quin tiene
la razn: personalmente, me repugna mucho pensar en cualquier otra cosa que domine el pensamiento efectivo del matemtico, y veo una exigencia en los problemas mismos. Es
tal vez eso lo que Lautman llama la dialctica dominante; si
no, creo que slo se llega por esa dialctica a relaciones muy
generales, o a relaciones como las que indic Cartan. Hay,
sin duda, un inters en buscar por ese lado; pero transformar
esa bsqueda en una posicin filosfica no me parece posible.
lautman.En primer lugar, quiero agradecer a Cartan la
benevolencia con la que ha justificado la interpretacin lgica que he dado de ciertas teoras matemticas contemporneas, entre las cuales algunas de las ms bellas emanan de
l. Le estoy tambin muy agradecido por consentir admitir
que ciertas nociones como las de local y global, materia y
forma, no estn ligadas con una teora determinada, sino que
pueden encontrarse en teoras muy diversas como el anlisis
o la geometra. En suma, si Cartan no siente la necesidad de
referirse a una dialctica, reconoce a los filsofos el derecho
de hacerlo, y ningn estmulo les puede ser ms precioso.
Estoy mucho menos de acuerdo con Frchet. He hablado de la gnesis de lo Real a partir de la Idea. Frchet declara
no entender sino el camino inverso; es decir, la gnesis de
la Idea a partir de lo Real, por abstraccin, evidentemente.
A ese respecto, me parece que hay que distinguir entre el
orden histrico de la reflexin humana y el orden lgico u
ontolgico de dependencia de las nociones. Me parece que
las teoras matemticas reciben todo su sentido cuando se las
interpreta como respuestas a un problema o a una pregunta
dialctica. Est claro que es slo con un esfuerzo de anlisis
532
Apndices
533
Apndices
535
Apndice F
Otras intervenciones de Lautman
en la Sociedad Francesa de Filosofa
Apndices
Deseara preguntarle a Reichenbach cmo contempla las interpretaciones que ciertos tericos de la fsica, como
Broglie, por ejemplo, dan del papel de las probabilidades en
la fsica atmica. Broglie presenta las cosas de la siguiente
manera: es absolutamente imposible prever cul ser el resultado de la medida de una magnitud mecnica ligada a
un corpsculo, pero, con todo rigor, ciertos valores pueden
fijarse por adelantado como los nicos valores posibles que la
magnitud puede tomar, y las frecuencias respectivas de esos
diversos valores posibles pueden, adems, determinarse, en el
caso en que se mida muchas veces la misma magnitud.
En suma, no se puede prever cul ser el estado del corpsculo en un momento posterior (desde el punto de vista de
la magnitud considerada), pero se puede prever que ese estado tendr forzosamente como valor uno de los valores posibles de la magnitud. Se encuentra as un enunciado certero
539
Apndices
542
Esta noticia tiene un doble objeto. Por un lado, explicitamos las lneas de fuerza que subtienden el entramado de
fuentes que cita Lautman en sus trabajos y evidenciamos el
nivel inusualmente alto del espectro matemtico sobre el
cual Lautman medita. Por otro lado, realizamos un rastreo
exhaustivo de todas las fuentes mencionadas por Lautman y
proveemos una lista completa de esas fuentes, ya que muchas
de las referencias citadas se encuentran incompletas y en algunas de ellas Lautman introdujo erratas en ttulos y/o aos.
El espectro de las fuentes
En lo que sigue nos referimos exclusivamente a las fuentes
citadas explcitamente por Lautman en sus trabajos, ya sea
en el cuerpo del texto, ya sea en las notas a pie de pgina
(para un anlisis de los nombres ms citados, vase nuestro
Estudio introductorio). Las fuentes de Lautman pueden
clasificarse en dos grandes categoras: A) matemticas: tratados, artculos de investigacin, resmenes de seminarios,
artculos de divulgacin; B) filosofa: obras clsicas, monografas sobre filosofa de la ciencia, artculos.
A. Matemticas. Con un gran acumen matemtico,
producto de su formacin y de su amistad con matemticos de primera lnea (Herbrand, Chevalley, Ehresmann,
entre otros), Lautman basa sus anlisis descriptivos de la
545
546
veces), as como (Weyl, 1913) (seis veces) y (Van der Waerden, 1931; Seifert y Threlfall, 1934) (cinco veces cada uno).
En muchos casos, Lautman acude directamente a artculos de investigacin para desarrollar sus ideas a partir de
ellos. Puede tratarse de artculos ya clsicos en la poca de
Lautman (Gauss, 1827; Riemann, 1867; Poincar, 1881-1882,
1895; Hilbert, 1897, 1900), pero la fineza de Lautman detecta
tambin otros notables artculos de su momento que, ahora, podemos llamar tambin clsicos (Hilbert, 1923; Cartan,
1924; Gdel, 1930; Herbrand, 1931; Pontriagin, 1931; Hopf,
1932; Tarski, 1935; Birkhoff y Von Neumann, 1936; Gentzen,
1936; Weil, 1938). Si la influencia de Cavaills (1938) sobre
Lautman es clara en lo que respecta a los fundamentos de la
matemtica (Hilbert, Gdel, Herbrand, Gentzen), un valor
nico de la obra de Lautman consiste en su extraordinaria
atencin por los desarrollos de la matemtica estructural que
parte de la escuela de Hilbert y se consolida con Bourbaki.
Algunos jalones fundamentales en ese desarrollo se deben a
las tcnicas de la topologa algebraica y de las estructuras algebraicas abstractas, que Lautman vislumbra con claridad en
los artculos recin mencionados (Cartan, Pontriagin, Hopf,
Birkhoff, Weil).
Atento a la investigacin de punta, Lautman asiste regularmente al Seminario de Matemticas del Instituto Henri Poincar, y varias de sus referencias remiten directamente
a importantes exposiciones por brillantes matemticos del
momento (Possel, 1934-1935; Von Neumann, 1934-1935; Weil,
1934-1935; Cartan, 1937a, 1937b). Las tesis doctorales de sus
ntimos amigos y mentores son tambin referenciadas (Herbrand, 1930; Chevalley, 1934). Los trabajos de lie Cartan
(1925, 1927, 1930, 1932) son fundamentales para su comprensin gemetrica de las matemticas. Cuando vemos hoy en
da cmo la geometrizacin de todas las ramas de las matemticas est produciendo algunos de sus ms espectaculares frutos (conjeturas de Lang, Fermat y Poincar, resueltas
547
549
553
554
556
557
558
dossier de imgenes
Dossier de imgenes
562
Dossier de imgenes
563
Dossier de imgenes
Primera obra impresa de Lautman, el Ensayo sobre la unidad de las ciencias matemticas en su desarrollo actual, su
Tesis Complementaria, publicada en 1938.
566
Dossier de imgenes
568
Dossier de imgenes
569
ndices
ndice de nombres*
A. Nombres mencionados directamente por Lautman
A
Ackermann, Wilhelm: 371
Ahlfors, Lars: 307-308
Alexander, James: 177-180, 182
Alexandrov, Pavel: 170-171,
179-180
Antoine, Louis: 182
Aristteles: 273
Arnauld, Antoine: 163
Artin, Emil: 325, 346
Avicena: 96
B
Becker, Oskar: 271-272, 369, 441
Benjamin, A. C.: 96
Bergson, Henri: 328
Bernays, Paul: 91, 111, 127, 137,
205, 206, 208-210, 212
Betti, Enrico: 175, 182, 253, 351
Bieberbach, Ludwig: 144, 251,
253, 258, 431
573
C
Cantor, Georg: 204, 282, 317,
328, 369, 378
Caratheodory, Constantin:
240, 241
Carnap, Rudolf: 78-80, 85-91,
93-95, 134, 207, 363, 366
Cartan, Elie: 144-147, 156-158,
166-170, 265, 310-316, 377,
391, 393, 445-446
Cauchy, Augustin-Louis: 110,
142, 144, 148-149, 154
Cavaills, Jean: 85, 88, 99, 138,
203, 211, 269, 317, 331, 332,
377, 386, 406, 456, 457
Cayley, Arthur: 301
Chabauty, Claude: 377
Chebychev, Pafnuty: 353
Chevalley, Claude: 91, 101, 187,
325, 346
Corbin, Henry: 335
Courant, Richard: 144, 218, 257,
423, 426
Curie, Pierre: 388-389
D
Dedekind, Richard: 299, 317,
319, 378, 398, 400
Descartes, Ren: 90, 183, 187
Dirac, Paul: 391, 416
Dirichlet, J. P. G. Lejeune:
149-150, 247-248, 317, 319
Dubourdieu, Jules: 311
574
E
Eddington, Arthur: 274
Ehresmann, Charles: 433-435
Einstein, Albert: 135, 146, 166,
326, 382, 391, 437, 446, 457
Enriques, Federico: 97-99
Euclides: 302, 352
Euler, Leonhard: 155, 245, 253254, 264, 352, 435
F
Fermat, Pierre de: 246, 414
Fischer, Ernst: 237
Fourier, Joseph: 160, 291, 294
Frank, Philipp: 85
Frchet, Maurice: 107-108, 121,
451, 452, 453
Frege, Gottlob: 317, 328, 364
Fueter, Rudolf: 318-319
Furtwngler, Philip: 189-190
G
Galois, Evariste: 185-187, 189191, 378, 449
Gauss, Carl Friedrich: 165, 280,
302, 347-348, 353
Gentzen, Gerhard: 211, 268-269
Gerhardt, C. I.: 163
Gilson, Etienne: 183
Glivenko, Valeri: 398-399
Gdel, Kurt: 78, 88, 90, 204,
212, 268, 269, 317, 344
Gonseth, Ferdinand: 94, 102
Goursat, Edouard: 144
Grassmann, Hermann: 311
ndices
H
Hadamard, Jacques: 149, 351,
353, 444
Hamilton, William Rowan:
246, 382, 413-414, 421, 427
Hankel, Hermann: 136
Hasse, Helmut: 282, 346
Hecke, Erich: 219, 318, 321, 346347, 351
Heidegger, Martin: 333, 335343, 358, 369, 381
Heisenberg, Werner: 90, 99,
280, 418
Hellinger, Ernst: 232, 294
Herbrand, Jacques: 87, 90-91,
131, 187, 188, 204, 211-212,
229-230, 325, 346, 369, 371372, 455
Hermite, Charles: 223, 234-238, 417
Heyting, Arend: 369
Hilbert, David: 78-79, 90, 91, 94,
101, 111, 128, 136-138, 187, 189,
199, 204-211, 219-220, 231-235,
237-240, 243, 244, 247-249,
267, 285, 291-294, 309, 317,
329, 346, 367, 369, 371, 373,
420-421, 423, 426, 442-443
Hopf, Heinz: 151-156, 170-171,
179, 253-254, 434
Hurwitz, Adolf: 144, 218, 257
Husserl, Edmund: 97, 369, 382
Husson, Edouard: 253
I
Ingham, Albert: 352
J
Jacobi, Carl: 427-428
Janet, Maurice: 245-247, 437
Jordan, Camille: 180-182
Jrgensen, Jrgen: 85, 363
Julia, Gaston: 249
Juvet, Gustave: 102
K
Khler, E.: 311
Kant, Immanuel: 162-165, 181,
227-228, 381, 387
Klein, Felix: 144-146, 157-158,
301, 445
Koebe, Paul: 199-200
Kowalewska, Sophia: 148-150, 250
Kummer, Eduard: 204
L
La Valle Poussin, Charles de:
353
Lagrange, Joseph-Louis: 413, 415
Landau, Edmund: 353
Laplace, Pierre Simon: 149, 247
Lebesgue, Henri: 115-117, 180,
237, 248, 282, 291
Lefschetz, Solomon: 174, 178, 253
Legendre, Adrien-Marie: 345,
346, 353, 401-402
Leibniz, Gottfried Wilhelm:
162-163, 171, 181, 245, 364
Levi-Civita, Tullio: 167-169
Lvy-Bruhl, Lucien: 81, 103
Lichnerowicz, Andr: 419
Lie, Sophus: 314-316, 392-393
575
576
ndices
B
Bachelard, Gaston: 36, 549
Badiou, Alain: 32, 34-35
Barthou, Louis: 467
Becker, Oskar: 54, 476, 480, 549
Benacerraf, Paul: 13
Benjamin, Walter: 43
577
Chevalley, Catherine: 33
Chevalley, Claude: 15, 25-26,
461, 467, 489-492, 545, 547
Cohen, Paul: 34
Courant, Richard: 489, 546
D
Dedekind, Richard: 498, 504
Deleuze, Gilles: 31-33, 35, 44
Descartes, Ren: 522-523, 549
Dieudonn, Jean: 25, 43
Dirichlet, J. P. G. Lejeune: 502
Dollfuss, Engelbert: 467
Dubreil, Paul: 525-526
Dumitriu, Anton: 61
Dupuis, J.: 467, 470
E
Ehresmann, Charles: 24-26, 58,
462, 467, 519-521, 533, 545, 548
Eilenberg, Samuel: 58
Einstein, Albert: 478, 479, 542
Euler, Leonhard: 476
F
Fermat, Pierre de: 21, 47, 491, 547
Ferrires, Gabrielle: 23, 25, 30
Focillon, Henri: 47
Francastel, Pierre: 43, 46, 47
Frchet, Maurice: 62, 514-519,
528, 529, 532, 546
Frege, Gottlob: 498
Freyd, Peter: 40, 59, 60
Friedman, Harvey: 40
ndices
G
Gallois, D.: 467, 470
Galois, Evariste: 18-19, 38, 41,
47, 53, 61, 465, 471, 474, 522
Gauss, Carl Friedrich: 504, 547
Gentzen, Gerhard: 483, 494,
500, 505, 506, 547
Glivenko, Valeri: 24, 546
Gdel, Kurt: 59, 483, 494, 500,
526-527, 547
Gonseth, Ferdinand: 30
Granell, Manuel: 30
H
Hadamard, Jacques: 27, 490
Hamilton, William Rowan: 64
Harriot, Thomas: 522
Hasse, Helmut: 489
Hecke, Erich: 42, 546
Hegel, Georg Wilhelm
Friedrich: 481
Heidegger, Martin: 19, 21, 5457, 535, 549
Hellinger, Ernst: 548
Herbrand, Jacques: 15-17, 19,
24-25, 39, 47, 59, 62, 461462, 471, 475, 479, 483-484,
489-492, 499, 545-547
Heyting, Arend: 502
Hilbert, David: 19, 25-27, 29, 39,
41, 47, 49, 60, 63, 462, 475,
477, 479, 486, 487, 490, 493,
499-501, 504-505, 510, 527529, 531, 542, 546-548
Hitler, Adolf: 467
M
MacLane, Saunders: 58-59
Markov, Andrei Andreyevich: 37
Maxwell, James Clerk: 479
Mazelier, Dr.: 470
Montel, Paul: 47, 546
Q
Quine, Willard van Orman: 13
N
Neumann, John von: 24, 26,
494, 500, 527, 547
Nevanlinna, Rolf: 546
Noether, Emmy: 41, 504
O
Osgood, William: 546
P
Peano, Giuseppe: 13
Peirce, Charles Sanders: 43-44
Perelman, Grisha: 21, 548
Ptain, Philippe: 469
Petitot, Jean: 32-34
Pfaff, Johann: 478
Picard, Emile: 477, 546
Planck, Max: 479
Platn: 19, 21, 23, 34, 53-55, 473,
476, 549
580
R
Reichenbach, Hans: 539, 548
Reymond, Arnold: 15, 549
Riemann, Bernhard: 19, 23, 26,
49, 475, 514, 547
Robin, Lon: 54, 480, 549
Robinson, Abraham: 50
Romano, Ruggiero: 34
Rougier, Louis: 462
Russell, Bertrand: 13, 48, 481,
490, 493, 499, 548-549
S
Scedrov, Andr: 40
Schrecker, Paul: 523-525, 528, 535
Schrdinger, Erwin: 540
Seguin: 467
Seifert, Herbert: 546
Simpson, Stephen: 40
Sinaceur, Hourya: 21, 30
Skolem, Thoralf: 495, 506
Stenzel, Julius: 54, 476, 480, 549
ndices
T
Tarski, Alfred: 547
Thron: 470
Thirion, Maurice: 33
Threlfall, William: 546-547
Thuillier, Jacques: 47
V
Vernant, Jean-Pierre: 470
Vessiot, Ernest: 490
Vite, Franois: 522
Vuillemin, Jules: 31
W
Waerden, Bartel van der: 546-547
Weil, Andr: 25, 26, 39, 547
581
ndice de materias*
A. ndice de definicin de nociones de la Tesis Principal
de Lautman (segn el autor)
A
acabamiento (de una teora):
137, 157
aproximacin de una funcin: 158
C
campo de individuos (lgica):
208, 230
caracterstica de Euler: 155, 253
cerrado (grupo): 156
ciclos (en topologa): 175
clases de elementos (de un
grupo): 224
clases de ideales: 189, 219
compacto (espacio): 241
complejo (en topologa): 174
completa (superficie): 154
cuerpo algebraico: 185
cuerpo de clases: 187
curvatura de las superficies: 154
D
dualidad (teoremas de): 173
E
ecuacin con derivadas
parciales: 142
ecuacin de Laplace: 149
ecuacin diferencial: 142
ecuacin integral: 232
enlace: 178
espacio conforme: 199
espacio de funciones
continuas: 158
espacio de funciones de
cuadrado sumable: 237
espacio de grupo: 223
espacio de Hilbert: 231
espacio de Klein: 145
espacio de Riemann: 145
583
F
familia normal de funciones: 240
forma de Hermite: 235
funcin algebraica: 195
funcin analtica: 143
funcin automorfa: 323
funcin elptica: 196
funcin holomorfa: 148
funcin modular: 257
funcin potencial: 216
funcin propia: 233
G
gnero de una superficie de
Riemann: 215
grupo cerrado: 156
grupo de Galois: 185
grupo de ideales: 189
grupo de transformaciones:
156, 221
grupo fundamental: 193
grupo lineal: 157
H
homeomorfa: 170
I
ideal (en lgebra): 188
integrales abelianas: 215
M
metamatemtica: 137
N
no contradiccin: 137, 210
584
ndices
V
valor propio: 236
585
586
-, aproximaciones por
polinomios: 160, 328
Ascenso/Descenso: 140, 161,
183-192, 200, 222, 449
C
clculo de variaciones [MSC 49]
-, aplicaciones a la fsica: 246
-, mtodos geomtricos: 251
-, mtodos minimax: 247-248
campos y polinomios (teora de)
[MSC 12]
-, campos completos: 118
-, campos ordenados: 117-118
-, campos valuados: 118-119
-, extensiones algebraicas:
185-191, 448-449
-, factorizacin de polinomios: 288-289, 294-295
continuo/discontinuo: 204,
231-233, 239-240, 270,
284-285, 314-319, 321-329,
357-359, 381-382, 392
creatividad: 111, 200-201,
213-214, 218-221, 224-228,
245, 267, 270, 334-335,
338-340, 381, 389
D
descubrimiento: 103, 109-110,
136, 144, 161, 180-181, 200,
221, 229, 244, 247, 251, 259,
261-263, 269-270, 276, 317,
327, 329, 364, 388, 393
ndices
-, parametrizaciones
(tiempo): 412-418, 424-437
-, problemas de frontera:
142-143, 149-150, 247-249
-, problemas de valores iniciales: 147, 149-150, 421,
436-437
-, teoremas de CauchyKowalewska: 148-150, 250
-, teora geomtrica: 431-437
ecuaciones integrales [MSC 45]
-, lineales: 79, 232-234, 293-294
-, ncleos especiales: 233, 238
-, problemas de valores
propios: 233, 237-240
eidtica: 382
empirismo/experiencia: 80-81,
86, 94, 134, 259, 269-270,
273-276, 365-368, 390, 408,
441-442, 455
esencia: 125-128, 140, 162, 201,
203-206, 209-210, 213, 218,
225, 245-247, 250, 254, 270,
336-341, 360, 379
esttica (kantiana): 173, 183, 344
estructura: 79-81, 101-103,
120-121, 127-128, 131, 135-201,
204-259, 267-270, 276,
281-289, 296, 299, 302,
308-310, 3, 407-408, 14-316,
319-321, 325-329, 333-360,
365, 373, 378-382, 387-390,
395, 398-401, 412, 418,
422-423, 435-437, 442-448,
453-457
587
588
G
generalizacin: 95-96, 101,
107-110, 115, 118, 121, 292
gnesis: 127-128, 201, 203, 206,
213-221, 224-227, 234-244,
247, 254, 269, 276, 319, 322,
325, 333-340, 343, 358-360,
380-383, 403, 408, 426, 456
geometra [MSC 51]
-, dualidad proyectiva: 397-398
-, estructuras con
paralelismo: 167-169
-, geometra afn analtica:
145, 169
-, geometra euclidiana:
145-146, 266, 301
-, geometra lineal de incidencia (geometra proyectiva): 145, 155, 168-169,
263, 301-302, 397-400, 435
-, geometras de
Minkowski: 146
-, geometras no euclidianas:
265, 267, 285, 300-307, 326
-, poliedros y divisin:
173-174, 180-181, 253, 435
-, simetra: 177-178, 387-402
geometra algebraica [MSC 14]
-, integrales abelianas: 128,
215-219, 296-297, 359, 456
-, problemas de ramificacin:
189, 196-197, 200, 220, 303
-, teoremas de RiemannRoch: 296-299
ndices
ndices
-, ecuaciones de Hamilton:
80, 413-414, 420-421, 427
-, ecuaciones de Lagrange:
413-415
-, mecnica celeste: 251, 437
mecnica de slidos
deformables [MSC 74]
-, cinemtica: 168, 411, 431
-, teora molecular: 388, 393-394
-, termodinmica: 407, 411
-, tiempo: 407-415
mecnica cuntica (teora
cuntica) [MSC 81]
-, antisimetra: 393-394, 401
-, ecuacin de Schrdinger:
231, 239, 308, 428
-, ecuaciones de Dirac: 391, 416
-, espines y espinores:
390-391, 394
-, funciones de onda y transiciones de fase: 382,
393-394, 417-419, 421, 428
-, lgica cuntica: 400-401
-, relaciones estadsticas y de
conmutacin: 326, 401
-, tiempo: 408, 416-422
mecnica estadstica y estructura de la materia [MSC 82]
-, dinmica cuntica: 419
-, operadores de Schrdinger
(no conmutativos): 308, 428
medida e integracin [MSC 28]
-, medida abstracta: 115-117,
120, 207, 282, 291
-, extensiones de Galois:
185-191, 378
-, extensiones por radicales: 187
-, factorizacin: 186,
286-289, 295
-, funciones aritmticas:
356-358
-, funciones modulares y
automorfas: 256-258, 262,
322-325, 329, 400
-, funciones zeta (Riemann,
Dirichlet): 319-322, 344,
354-357
-, grupos de clases: 189, 219-220
-, grupos modulares: 257,
323-325
-, irracionalidad: 135, 371
-, nmero de clases (en un
cuerpo de clases):
219-220, 322, 325
-, progresiones de primos:
352-353
-, reciprocidad cuadrtica:
333, 345-352, 401-402
-, resultados asintticos:
354-357
-, series teta: 348-351
-, sumas de Gauss: 347-348
-, trascendencia: 135
O
ontologa: 226, 335-340, 342-343,
381, 408, 457
operadores (teora de) [MSC 47]
592
ndices
-, convergencia de sucesiones y
series: 107, 154, 158, 241, 244
T
todo/parte: 128, 139, 142, 151153, 161, 188-189, 201, 263,
281-283, 341, 379, 393, 442,
446-449, 453-454
topologa algebraica [MSC 55]
-, conjuntos simpliciales: simplejos y complejos: 174-180,
192, 253-254, 265, 299
-, dualidad: 173-174, 177-181,
265, 351
-, suspensiones y orientabilidad: 155, 173, 351
-, teora de la dimensin: 78,
174-180, 253, 299, 351, 378,
397-398
topologa general [MSC 54]
-, compacidad: 241-242, 244,
248-249, 265, 435
-, conexidad: 143, 148, 192200, 218, 240-242, 297,
304-305
-, espacios mtricos completos: 157-159, 161, 235, 238,
-, puntos fijos: 252-254
U
unidad: 120-121, 138-139, 154,
263, 267, 271-272, 285, 329
593
V
variable compleja (funciones
de) [MSC 30]
-, familias normales: 240-244
-, funciones cuasianalticas: 144
-, funciones enteras: 294-296,
355, 358
-, funciones holomorfas: 148,
242-243, 248
-, funciones meromorfas: 295296, 306-307
-, funciones modulares y
automorfas: 257, 323-325
-, polos y singularidades: 110,
215, 254-257, 295-298, 355
-, prolongacin analtica:
143, 256
-, propiedades mongenas: 110
-, representacin conforme:
169, 199-200, 240-243,
256, 303-304, 324
594
-, representaciones integrales:
142, 144
-, series de potencias: 143, 197
-, superficies de Riemann:
127-128, 166-169, 184, 195200, 215-220, 224, 256-257,
296-297, 303-308, 359,
379, 456
-, teoremas de Picard: 306
-, teora de Nevanlinna:
305-307
variable real (funciones de)
[MSC 26]
-, continuidad: 158-160
-, integral y medida de
Lebesgue: 115-117, 237,
282, 291