Professional Documents
Culture Documents
EL METODO
AXIOMATICO
y sus
CREENCIAS
EDITORIAL TECNOS
MADRID
C by JAVIER DE LORENZO, 1980
EDITORIAL TECNOS , S.A.
O'Donnell, 27 . Madrid-9
I SBN 84-309-0844-7
Depsito Legal : M . 25.033- 1980
Prinled in Spain . Impreso en Espaa por Grficas Lormo. e/ Isabel Mndez. 15. Madrid. J9fM},
INDICE
Pg.
l. Caracteriz acin
Componente A :
Componente B :
l . Se definen nuevos objetos, relaciones y operaciones en funcin de los pri
mitivos.
2. Se obtienen unas series de proposiciones o teoremas.
Componente C:
Component e D :
l. Se establecen reglas semnt icas de interpretacin , por l as cu ales los obj etos
de X adquieren u n determinado referen cial en un m odelo.
Componente E:
3. Logros y pr oblemas
formal, pero ello no sera otra cosa que confundir la teora intuiti
va con la Teora formal, plenament e axiomatizada, de conjuntos.
Tal contradicci n se vera desde el enfoque pretendidamente sin
tctico que se le confiri a la elaboracin de los sistemas formales
en su origen y en la cual la clave se centraba en enfocar una teora
desde el plano estrictamente lingstico , sin observar que dicha .
teora lo es de una estructura y, a su vez, ella misma queda englo
bada en una red de teoras con su estructuracin propia . Enfoque
estrictamente sintctico que , por otro lado, y a partir de los teore
mas de incompletitud, sabemos que es insuficiente. Ello no es obs
tculo para que desde la visin sintctica, no se hayan obtenido re
sultados importantes, fundamentalmente referidos a un anlisis y
crtica de los trminos que entran en juego. Por ello, aunque deba
hacerse uso de este enfoque, no debe autolimitarse al mismo , sino
que debe quedar englobado en lo que podra estimarse, dada la
terminologa aqu empleada, como enfoque semntico del hacer
matemtico. Creo que aparece claro, por todo lo dicho, que el
mtodo axiomtico es, como tal mtodo, independiente respecto a
uno u otro enfoque.
Debo precisar dos puntos: 1. Ambos enfoques -predominio
de lo sintctico, predominio de lo semntico- tienen su lugar en
el hacer matemtico, aunque se haya discutido y admitido , en
general , que el sintctico es el propio de la Lgica matemtica,
considerada como un hacer independiente del estrictamente mate
mtico. Y si bien la Lgica formal tiene su propio contenido que
no se limita, por supuesto, y como algunos han estimado, al mero
anlisis lingstico, la Lgica formal , si se estima como el estudio
de los sistemas formales, queda incluida en el hacer matemtico ; y
por lo dicho antes, en ntima conexin tanto con la Teora de mo
delos como con la Teora de la computacin.
2. El mtodo axiomtico no se limita al hacer intrnseco mate
mti co sino que es una de las herramienta s clave para cualquier
tipo de trabajo conceptual. De aqu que no slo en ciencias como
la Fsica se haya adoptado este instrumento , sino en la Filosofa de
las ciencias, para sus propios intentos clarificadores , especialmente
en el terreno de las Teoras cientficas. Sin embargo, el propsito
indicado en el Prefacio , me lleva a centrarme aqu en el hacer
matemti co, dejando para otro lugar el papel instrumental del
mtodo axiomtico en las llamada s teoras cientficas.
42 EL METODO AXIOMATICO Y SUS CREENCIAS
l. l. l. Estructura
l . Dejinicin y notaciones
2. E.jemplos
que es del tipo (2, 1, 0), que puede identificarse con el tipo
(2, 1). Pero tambin puede caracterizarse la estructura de grupo
por G = (A , ) mediante los postulados apropiados y esta estruc-
EL METOOO 49
3. Nociones f undamentales
a. Subestructuras
b. Morjismos
Sean A y f!iJ dos estru cturas de la misma clase de semejanza
K (-r); ./1 =(A, F, R) y ::iJ = (B , F', R'). U na aplicacin <p:A - B
se dir morjismo entre ambas estruct ura s si es una aplicacin entre
los conjuntos base tal que para toda sucesin (a) = (ao, ..., an) E Aw
se verif ican las dos condicion es siguientes, tanto para cada opera
cin fn de Fn y toda relacin rm de Rm , como para cua lesquiera n y
m de v y p. respectiva mente
1. 'P(fn(<l(, ..., an - J)) = J'(<p(il_J) , ..., <p(an -1))
2. <p(rm(il_h ..., am- I)) = r'(<p(a) , ..., <p(am - 1))
que pueden escribirse abreviadamente como
l '. <p(fn (a)) = f (<p(a))
2'. <p(rm (a)) = r:n (<p(a))
En particular , si <p es una aplicacin suprayectiva de A en B,
entonces el m orf ismo recibe el nombre de epimorjismo, mientras
que si es inyectiva , el de monomorjismo. Finalmente , si la apli
cacin es biyectiva , entonces 'P recibe el nombre de isomorfismo y
las estructuras se dirn isomorfas, representndose grficamente
en la forma A = $.
Cuando existe un epimorfismo, el conjun to <p(A) puede tomar -
EL METODO 51
c. Congruencias
l. fy ([fo], ..., [f'\- ]) = [f].si ysl?si {il f( (i}, ... .f'\_ ,(i)) = f i)} E F
2. ry([ ], ..., [f'\J) se satisface SI y slo sdlr(fo(), ..., fn-r_ , ())} E F
Por supuesto hay que comprobar que ambas definiciones son
uniformes o, en otras palabras, que estn bien definidas. Pero lo
que importa destacar es que la nocin de ultraproducto no es otra
que la estructura cociente mdulo un ultrafiltro sobre el producto
cartesiano de los conjuntos base de cada estructura componente y
es tal que si se predica alguna propiedad de cada estructura enton
ces lo mismo se predica del ultraproducto -y enuncio una versin
informal del teorema de Ls, fundamental en la teora de modelos-.
Tanto en el concepto de producto directo como en el de ultra
producto las estructuras .rl; de la familia no tienen por qu ser,
todas, distintas entre s. Cuando son todas iguales se tendra la
potencia directa o la ultrapotencia , respectivamente ...
Def inicin :
l . La recta L que contiene dos puntos distintos A , B , se dir
recta que un e A y B.
2. E l nico punto P que tienen en comn dos rectas L 1 y
distin tas, se llamar interseccin de L 1 y >>.
3. Se llam ar Orden>> de un plan o proyectivo al nmero de
pun tos de cada recta menos uno .
Prop osicin 2. Existen cuatro rectas tales que cada tres de ellas
no contienen el mismo punto .
Definicin.
5. Se denomina centro de la colineacin f al punto P que
perman ece invariante por f.
6. Se denomina eje de la colineacin f a la recta L que perm a
nece invariante por f .
7. Se denomina colineacin central a la que satisface la condi
cin expresada en la Proposicin 5. Si P no est en L la colinea
cin se denominar hom ga y si P est en L, elacin.
Como Proposicin cabe demostrar que las elaciones constit u
ye n un grupo G(L), que es el de las traslaciones de eje L. Y , con
el enla ce algebraico, puede interrogarse por l as condiciones que
harn abeliano a G(L), as como por el orden de cada elemento
del grupo...
3. Tipos de planos
4. Otros punto s
Convenios de escritura
Dados dos objetos x , y de X, en lugar de indicar que fes uno de
sus morfismos asociados mediante la notacin f E Hom(x, y),
se represen tar por f :x- y o bien por x J
y. De esta forma , la
com posicin se indica mediante un tringulo de flech as con el
adjetivo de conmu tativo:
Ejemp los
l. La clase X de los conjuntos y de las fu nciones entre dichos
conj unt os.
2. La clase de los conjunt os finitos y las aplicaciones entre
conjunt os f initos.
3. Cuando los objetos x de X poseen una estructura, como la
de grupo, en tonces la clase X de objetos lo es de los grupos mien
t ras que los morfismos lo son de morfismos entre grupos.
4. . Com o en el caso anterior , pero ahora se toman como obje
tos x de X los espacios topolgico.s y como morfismos f las apli
caciones contin uas entre dichos espacios topolgicos.
5. Los obj etos de la clase X son los intervalos de R y los
morfism os las aplicaciones de va riable real derivables.
f y
g g'
f'
x' y'
Igualmente pueden construirse nuevas categoras mediante el
product o cartesiano de categoras dadas, as como mediante la
suma directa de las mismas. Y es en trminos de productos como
pueden interpretarse otra serie de nociones del lenguaje categri
co. Sin entrar en detalles me limito a sealar algn concepto ms.
As, el de objeto inicial de una categora:
z
X y
64 EL METODO AXIOMATICO Y SUS CREENCIAS
x' XV
Ejemplos
l. Las biyeccion es de un conjunto sobre s mismo, respect o a
la composicin de aplicaciones, constituye un grupo. Se denom in a
J( rupo sim trico de X, S(X), y su orden no depende m s que del
cardinal de X y , adems, para n 3, no es abeliano.
2. Ejemplos tambin clsicos son los procedentes de Geome
tra , como el conjunto de rotacion es de un cuadrado que lo dejan
invariante o el de los m ovimientos de un rectngulo que lo dejan
invariante , o el de las races cuartas de la unidad con su represen
tacin geomtrica asociada ... Las tablas de Cay ley que caracte ri
zan a estos ltimos grupos son las dos siguientes:
ao a, a2 a3 ao a, a2 a3
a, ao a, a2 a3 ao ao a, a2 a3
a, a, ao a3 a2 a, a, a2 a3 l
a2 a2 a3 ao a, a2 a2 a3 ao a,
a3 a3 a2 a, l a3 a3 ao a, a2
1.2.2.2. S emntico
A. l. Vx 1Vx2 3!x3 o (x 1 , x2 , x3 )
A .2. Vx 1Vx2Vx 3Va'v'b'v'c'v'd(,(x1 , X2> a)Ao(a, x3 , b)A o(x2 , x 3, e)
Ao(X, e, d)---+ b = d)
A.3. Vx o (e, x , x)
A.4. Vx 1, 3x2 o (x 2 , X, e).
86 EL METODO AXIOMATICO Y SUS CREENCIAS
z
diagrama que no hay inconveni ente en incorporar a las expresion es
formal es, puramente simblicas, al igual que se incorpor al len
guaje postulaci onal.
En esta teora elemental formal de categoras pued en darse las
definiciones de monom orfismo, epimorfismo, generador , retrac
to... As, por ejemplo,
f
x es un retracto de y cuando y slo cuand o 3Gg(x y /1. f o g = x)
e) Otros temas
1.3.3. Ca tegoricidad
1.3.6. Decidibilidad
ria del hacer matemtico, sino dar alguna de las creencias con las
que el mtodo se maneja en dicho hacer.
Historia que , por otro lado, mostrara su impotencia en el in
tento de exponer el total de dicho contexto en el cual surge y se
aplica el mtodo . Contexto imposible de captar en su totalidad
desde un contexto actual, muy diferente en las componentes socio
lgicas, culturales, econmicas. Por poner un ejemplo, hay que
tener presente que, con pocos siglos de diferencia , el simbolismo
que encierran cuadros como los de Ticiano, Tintoretto o El Greco
quedan prcticamente perdidos para nuestro mundo actual salvo
para estudio especiales de iconologa ... Adems , esa histori a del
mtodo en la complejidad de su s creencias exigira una historia
global de la cultura, de la totalidad de actos de cada contexto,
totalidad como la apuntada en el inicio de este trabajo referida a la
crisis en que la sociedad contempornea se me presenta inmersa.
Totalidad de actos que pudieran reflejar un mismo fondo comn,
interactuante en cada uno de los haceres en que , de modo obliga
do, debe pensarse. Actos que constituyen una unidad en la que el
matemtico se encuentra inJJlerso, como un individuo ms, y de los
que es difcil desgajar , como ha hecho el positivismo , los que se
consideran logrados de los fallidos. Estos ltimos estimados como
entorpecedores de la 'verdadera ' marcha de la historia , en este
caso de la historia de las ciencias. Desgaje de actos, anlisis o divi
sin de una totalidad apoyados en una visin posterior, en una
creencia en la marcha 'progresiva ' de la historia, enfocada linea l
mente , por la cual en cada momento se alcanza el culmen de todo
un proceso histrico lineal anterior cuyo nico objetivo -postula
do de reificacin antropomrfica- era llevar al hombre hasta el
estado presente. Pero tal marcha lineal histrica no existe, ni la
ciencia h a 'progre sado' siempre y en la misma ln ea, sino que en su
trabajo, en el de quienes la hacen posible, han confluido, en cada
momento , muy diversas tendencias, con sus cargas ideolgicas, con
influjos nada positivistas como los de la alquimia , el neoplatonis
mo, la idea de la captacin de la 'verdadera ' naturaleza, la creen
cia en que el hombre impone rea lmente leyes aunque lo dulcifique
con trminos como los de su descubrimiento ... Componentes que,
para los que mantienen un cerrado positivismo, pueden escindirse
logrando separar lo que es positivo de la ganga, lo autnticam ent e
cientfico de las ideas entorpecedora s de esa marcha que ha con
ducido hasta el estado actual ; cuando de hecho esta separacin es
112 EL METOOO AXIOMATICO Y SUS CREENCIAS
2.1. LO DADO
2.2. LO DESCUBIERTO
2.3.1. LO CONSTRUIDO
axiomtica no es otra cosa que una etapa posterior que, til sin
duda, necesita del dato previo de aquello que ordena. As, el
propio ejemplo de Dedekind es claro cuando sistematiza el cono
cimiento ya adquirido de la Aritmtica elemental, slo posible
porque el sistema se encontraba dado de antemano y los axiomas
de Peano no hacen otra cosa que adoptar las notas esenciales esta
blecidas, empricamente, por Dedekind. Es el mismo proceso el
realizado por Bourbaki cuando obtiene las distintas estructuras
que componen el entramado matemtico apoyndose en un traba
jo 'experimental', emprico sobre el total de la matemtica de
entonces, entornos de 1939, aunque se reconozca que el mtodo
axiomtico es el criterio unificador que da 'existencia' a las distin
tas estructuras madre. En otras palabras, el mtodo axiomtico no
es creador; como mucho, sistematizador. Y en este sentido, al no
poder aplicarse los mtodos formales hasta que la materia de estu
dio est suficientemente desarrollada y clarificada , resulta que el
mtodo axiomtico sobra, mero entretenimiento para quien carez
ca de ideas originales creadoras.
C.3. Aun cuando se acepte el mtodo axiomtico , se observa
que no todas las proposiciones conocidas de una teora encuadran
en la formalizaci.n que constituye la clave del mtodo.
C.4. El hacer axiomtico es un hacer inmovilista y atemporal.
Como todo se contiene en los primeros principios -y ese todo
equivale a nada, por ser un mero juego sin contenido concreto, sin
conocimiento en el caso del formalismo inscripcionista- resulta el
argumento increble -ya dado por Galileo, por otra parte- de
que con slo conocer estos primeros principios se conoce todo y
este saber es para siempre. La lgica que subtiende este mane
jo es una lgica calificable del estado permanente. Conse
cuentemente , los conceptos del hacer matemtico no sufren varia
cin alguna una vez obtenidos en esos primeros principios,
lo cual va contra el hecho histrico de su evolucin, cambios
de sentido...
C.S. Establecidos dos o tres axiomas, el matemtico se permite
obtener una serie de consecuencias de esos datos primeros. Pero
ello supone, en general, un aislamiento del objeto respecto a su
contexto, falto de una observacin ms completa del fenmeno,
con lo cual puede conseguir, ms que un estudio serio del fen
meno a considerar, una mera cadena de afirmaciones sin sentido.
Y este hbito conduce, en general, a una desnutricin y esclerosis
LAS CREEN CIAS 169
del propio pensamiento .matem tico, alejado de cualquier tipo de
realidad , enclaustrado en su formalismo esterilizador.
C.6. La demostracin formal llega a hacerse por la demostra
cin formal, como eje,rcicio de prestidigitacin ante un pblico
admirativo. Pero tal demostracin formal, perfecta y rigurosa ,
ocult a la verdadera marcha del pensamiento en su realizacin , en
su planificacin . Adems , en una disciplina, la detencin en cada
una de las demostraciones llega a enmascarar t ambin la propia
estructura y finalidad de dicha disciplina, perdind ose la visin de
unidad que la soporta y que , adems, posibilita la ejecucin de
dichas demostraciones.
C.7. La hegemona de la accin formal , de la caligrafa o el
ju ego simblico sin contenido, conduce a un estatuto especial del
matemtico: creerse en posesin de la verdadera marcha de la
ciencia, superior a Jos restantes haceres por su precisin y capaci
dad deductiva por la cual llega a obtener un mundo de proposicio
nes con un m ero punto de apoyo, al estilo arquimediano; aunque
tal mundo nada tenga que ver con el mundo de la naturaleza .
Ligado con este estatuto del que se autoapropia el matemtico,
resulta que los dems cientficos, para pasar por cientficos nece
sitan imitar la verborrea simblico-formal y el mtodo expositivo
deductivo axiomtico. Y cualquier obra de ciencia, para obtener
dicho calificativo, debe ir sembrada o adoquinada de frmulas
matemticas y no en el lenguaje usual , aunque ste pu ede ser, en
algunos casos, ms apropiado. Pero si slo se escribe en lenguaje
usual, indicando las motivaci ones y finalidades del trabajo, este se
estima, con cierto matiz despectivo, como de especulacin o mera
divulgacin deformadora , y no de investigacin prof unda , sin las
not as de objetividad y universa lidad que se atribuyen al l engu aje
cientfico, notas dadas nicamente por el formalismo matemtico ,
radica lmente impersonal , y q u e n o tiene que ser nicamente len
guaje formulario clsico, sino de estructuras.
5. Los antimetdicos
l . AGA ZZJ. E. Temi e prohl emi di.filo.wji a dellaj isica . Roma 1974. (Se anuncia ver
sin espao l a).
BLA NCH t , R . L' axiomarique. PU F 1955.
BuN Gt, M . Philosophy oj phis ics . Reidei-Dordrecht 1973 (Se anun cia versin
espaola).
CAVAI LLES. J . M tlwde axiomatique er jormalis me. Hennann 1937.
C H AVA R R I. E. Na tumleat de la demo.1tmci<n 'propter quid ' en los Ana lticos
p osteriores . Estudios Filosficos. V a. 1973.
GON SETH . F. L es marhnw tiques er la ralir . Blanch ard 1974.
K R EI SEL, J . L. La mthode axiom atique . Apndice 1 de El ments de logiqu e
math ma tique. En colab. con J . L. K rivi n e. Dun od 1%7. Versin ingl esa
Nor th Holland .
DE LORENZO. J . La ji losvja d1' la ma temtica de Poincar. Tecn os 1974 , en
especial la 2 parte.
M u OZ. V . D e la axiomtica a los sistemas jormal es. CSI C . 196 1 .
W ANG , Hao. The axiomatic method. Com o cap. 1 de Log ic. comp uters and
se ts. Chel sea 1970. (Tambin caps. 111 y IV). La 1 ed. 1962, en Pe kn ; la 2
en N orth Holland con el ttulo A survey o} marh . logic.
2. BARN ES-M ACK. A n algebraic immd ucrion ro M athematical Log i('. Sprin ger
1975 (Hay versin espaola).
BELL-SLOMSON . M vdels and Ulrrapmducr s: an lntroduction. North Holland ,
19743_
198 EL METODO AXIOMATICO Y SUS CREENC IAS