IA DE LA RECURSION
Y EL PRIMER TEOREMA DE
INCOMPLETUD DE GODEL
J. CLIMENT VIDAL
Resumen. Demostramos el primer teorema de incompletud de G
odel, seg
un
el cual una teora recursiva y consistente que contenga a un fragmento de la
aritm
etica de Peano-Dedekind, es incompleta. Para ello, una vez demostrada
la existencia de un
algebra de Dedekind-Peano, haciendo uso del axioma del
conjunto infinito, presentamos, por una parte, las nociones fundamentales de
la teora de la recursi
on, utilizando como instrumento el
algebra heterog
enea,
tales como las de aplicaci
on recursiva primitiva, recursiva general y parcial
recursiva, as como las de relaci
on recursiva primitiva, recursivamente enumerable y recursiva, y, por otra, las de la teora de modelos, tales como las de
lenguaje de primer orden, t
ermino, f
ormula, las realizaciones de los t
erminos y
las f
ormulas en los sistemas algebraicos y la relaci
on de satisfacibilidad entre
f
ormulas y sistemas algebraicos. Adem
as, enunciamos los axiomas de PeanoDedekind, definimos las relaciones y aplicaciones representables y el proceso
de la aritmetizaci
on de G
odel.
Indice
1. Introduccion.
2. Algebras heterogeneas relativas a un conjunto de tipos.
2.1. La categora SetS de S-conjuntos.
2.2. S-Signaturas y -algebras heterogeneas.
2.3. Subalgebras heterogeneas.
2.4. Operaciones polinomicas.
2.5. Algebras
libres.
2.6. Operaciones polinomicas formales y operaciones polinomicas.
3. N
umeros naturales.
3.1. El axioma del conjunto infinito.
3.2. Algebras de Dedekind-Peano.
3.3. El principio de la definicion por recursion finita.
3.4. Caracterizacion de Lawvere de las algebras de Dedekind-Peano.
3.5. El orden aritmetico sobre el conjunto de los n
umeros naturales.
3.6. Principios de demostracion por induccion derivados.
3.7. Caracterizacion ordinal del conjunto de los n
umeros naturales.
4. Teora de la recursion.
4.1. Aplicaciones recursivas primitivas.
4.2. Algunas aplicaciones recursivas primitivas.
4.3. Relaciones recursivas primitivas.
4.4. Relaciones recursivamente enumerables.
4.5. Aplicaciones parciales recursivas.
4.6. La aplicacion de Ackermann.
4.7. Aplicaciones recursivas generales.
4.8. Relaciones recursivas generales.
Date: 24 de febrero de 2008.
1991 Mathematics Subject Classification. Primary: ; Secondary:
1
2
3
3
18
20
22
23
25
27
28
29
32
42
44
49
49
56
56
62
68
77
80
91
99
103
JUAN CLIMENT
1.
106
106
108
109
116
120
121
130
137
137
140
146
159
159
160
161
164
165
n.
Introduccio
INCOMPLETUD
matematicas, al poner de manifiesto el abismo infranqueable entre verdad y demostrabilidad, as como el que hay entre las teoras matematicas y su representacion
formal.
2.
En esta seccion presentamos, para un conjunto de tipos S, arbitrario pero fijo, los
conceptos de S-conjunto heterogeneo y S-aplicacion heterogenea entre S-conjuntos
heterogeneos, poniendo de relieve que tales entidades constituyen no solo una categora, sino un topos, i.e., un lugar matematico, lo suficientemente semejante al
mundo conjuntista Cantoriano clasico, como para que en el se pueda desarrollar
con toda naturalidad el pensamiento matematico, pero sujeto a la logica interna
del topos. Ademas, presentamos las nociones y construcciones imprescindibles del
algebra heterogenea que usaremos para definir las diferentes clases de aplicaciones
y relaciones recursivas. Las aplicaciones y relaciones mencionadas se pueden definir
de multidud de maneras diferentes, desde las maquinas de Turing hasta los algoritmos de Markoff, pasando por el -calculo de Church o la logica combinatoria
de Curry, pero hemos adoptado una presentacion algebraica de las mismas por su
sencillez y claridad, al menos eso es as para el autor de estas notas.
2.1. La categora SetS de S-conjuntos.
Para empezar definimos, para un conjunto de tipos, arbitrario, pero fijo, el concepto de conjunto heterogeneo, las deltas de Kronecker, la relacion de inclusion
entre conjuntos heterogeneos, el producto, el coproducto y la union de una familia
de conjuntos heterogeneos, la intersection de una familia no vaca de conjuntos heterogeneos, y las relaciones, funciones y aplicaciones heterogeneas entre conjuntos
heterogeneos.
Definici
on 2.1. Sea S un conjunto de tipos arbitrario, pero fijo.
/ S, para alg
1. Una palabra sobre S es una aplicacion w : n
unSn N.
?
Denotamos por S el conjunto de todas las palabras sobre S, i.e., nN S n .
/ S, la palabra vaca sobre
Ademas, llamamos a la u
nica aplicacion :
S. La longitud de w, |w|, es el dominio de la aplicacion w.
2. Un S-conjunto es una aplicacion A = (As )sS de S en U , siendo U un
universo de Grothendieck arbitrario, pero fijo. Si A y B son S-conjuntos,
entonces A B si, para cada s S, As Bs . El conjunto de los sub-Sconjuntos de A se denota por Sub(A) y cuando se le considera ordenado por
como Sub(A). Ademas, dado un conjunto
de ndices I y una I-familia
Q
(Ai )iI de S-conjuntos, denotamos por iI Ai el S-conjunto tal que, para
cada s S,
Q
Q
( iI Ai )s = iI Ais ,
`
por iI Ai el S-conjunto tal que, para cada s S,
`
`
( iI Ai )s = iI Ais ,
S
por iI Ai el S-conjunto tal que, para cada s S,
S
S
( iI Ai )s = iI Ais ,
T
y si I no es vaco, por iI Ai el S-conjunto tal que, para cada s S,
T
T
( iI Ai )s = iI Ais .
3. Una S-relacion de un S-conjunto A en otro B es un sub-S-conjunto de A
B. Al conjunto de las S-relaciones de A en B lo denotamos por Rel(A, B).
Si A = B, entonces Rel(A, B) se denota como Rel(A). La diagonal de A,
A , es la S-relacion en A cuya coordenada s-esima es As , i.e., la diagonal
JUAN CLIMENT
4.
5.
6.
7.
/ B una S-aplicacion:
/ Sub(B)
Sub(A)
f []
X
7 (fs [Xs ])sS
INCOMPLETUD
/ Sub(A)
Sub(B)
f -1 []
Y
7 (fs1 [Ys ])sS
/ B una S-aplicaci
Proposici
on 2.4. Sea f : A
on. Entonces
T S
1
1. f [] preserva el orden y conmuta con los operadores
y , y tambien
con la diferencia.
S
T
2. f [] preserva el orden y conmuta con
(peroTno en general
T con , para el
que u
nicamente es cierto, en general, que f [ F F F ] S F F f [F ].
/ B se obtiene un functor
A partir de una S-aplicacion f : A
/ Sub(A)
Sub(B)
f 1 []
Y
7 ({a As | fs (a) Ys )})sS
la f -imagen inversa, que tiene un adjunto por la izquierda
/ Sub(B)
Sub(A)
f []
X
7 ({b Bs | x Xs (fs (x) = b)})sS
la f -imagen directa o existencial, y un adjunto por la derecha
/ Sub(B)
Sub(A)
f!
X
7 ({b Bs | fs1 [{b}] Xs })sS
la f -imagen universal.
Esto significa que X A, Y B
f [X] Y exactamente si X f 1 [Y ] y
f 1 [Y ] X exactamente si Y f! (X)
Definici
on 2.5. Sea S un conjunto de tipos.
1. Una S-relacion en un S-conjunto A es una S-relacion de equivalencia
sobre A, si, para cada s S, s es una relacion de equivalencia sobre As .
Si (a, b) s , se escribe tambien a b (mod. s ) o a s b.
Al conjunto de las S-relaciones de equivalencias sobre un S-conjunto A lo
denotamos por Eqv(A) y por Eqv(A) cuando lo consideremos ordenado por
la S-inclusion. Lo mismo que en el caso homogeneo, Eqv(A) es un retculo algebraico y al operador clausura algebraico asociado lo denotamos por
EgA . Observemos que el operador equivalencia generada se obtiene localmente a traves de los operadores equivalencia generada homogeneos, puesto
que, para cada S-conjunto A, se cumple que EgA () = (EqAs (s ))sS .
2. Si , Eqv(A) con S . Entonces el cociente de entre , /,
es la S-relacion de equivalencia (s /s )sS sobre A/ cuya coordenada
s-esima es
s /s = {([a]s , [b]s ) (As /s ) | (a, b) s }
3. Sea X S A y Eqv(A). La -saturacion de X, Sat (X), es el S-conjunto
cuya coordenada s-esima es
S
Sat (X)s = {a As | Xs [a]s 6= } = xXs [x]s
Los n
ucleos e imagenes de las S-aplicaciones se definen localmente. La factorizacion clasica de las aplicaciones es valida tambien para las S-aplicaciones.
/ B es una S-aplicacion, el n
Definici
on 2.6. Si f : A
ucleo de f , Ker(f ), es la
S-relacion de equivalencia sobre A determinada por los n
ucleos de las aplicaciones
subyacentes, i.e., Ker(f ) = (Ker(fs ))sS . La imagen de f , Im(f ), es el S-conjunto
(Im(fs ))sS .
JUAN CLIMENT
Proposici
on 2.7. Si f : A
rizar como
/ B es una S-aplicaci
on, entonces f se puede facto-
A/ Ker(f )
JJ
ii4
i
JJ i
i
i
prKer(f )iiii
JJ f
i
JJ
i
i
i
JJ
b
i
i
f
i
JJ
i
i
ii
JJ
i
i
ii
/%4 B
f
A GG
i
i
i
i
GG
iiii
GG
iiii
i
GG
i
GG
iii
iiiiiii inIm(f )
f sb GGG#
i
iii
Im(f )
donde todas la S-aplicaciones se definen a partir de las correspondientes en cada coordenada, i.e., para cada s S, prs es la proyecci
on can
onica de As en
As / Ker(fs ), fsb es el isomorfismo can
onico entre As / Ker(fs ) y Im(fs ), ins es la inclusi
on can
onica en Bs , fssb es la correstricci
on de fs a Im(fs ) y fsi es la aplicaci
on
que a [a] le asigna fs (a).
La existencia de coordenadas vacas en un S-conjunto es relevante para muchas
de las nociones y construcciones que tienen que ver con el algebra heterogenea (y
la teora de modelos heterogenea). Es por ello que introducimos a continuacion la
nocion de soporte de un S-conjunto.
Definici
on 2.8. Sea A un S-conjunto. El soporte de A, supp(A), es el conjunto de
los s S tales que As no es vaco, i.e., supp(A) = {s S | As 6= }.
Para cada conjunto S, el soporte es una funcion supp : U S
propiedades de esta se detallan en la siguiente proposicion.
/ Sub(S). Algunas
Proposici
on 2.9. Sea S un conjunto de tipos, A, B dos S-conjuntos, (Ai )iI
una familia de S-conjuntos, y una S-relaci
on de equivalencia sobre A, i.e., =
(s )sS , donde, para cada s S, s es una relaci
on de equivalencia sobre As .
Entonces se cumplen las siguientes propiedades:
1. Hom(A, B), i.e., el conjunto de todas las S-aplicaciones de A en B, no es
vaco si, y s
olo si supp(A) supp(B). Por lo tanto, si A B, i.e., si, para
cada s S, As Bs , entonces supp(A) supp(B).
2. Si de A en B existe una S-aplicaci
on sobreyectiva, entonces supp(A) =
supp(B). Por lo tanto, supp(A) = supp(A/), donde, para cada s S,
(A/)s = As /s .
3. supp(()sS ) = , donde ()sS es el S-conjunto cuyas coordenadas son
todas vacas.
4. supp((1)sS ) = S, donde (1)sS es el S-conjunto cuyas coordenadas son
todas S
el conjunto 1S= {}.
S
5. supp( iI Ai ) = iI supp(Ai ), donde, para cada s S, ( iI Ai )s =
S
i
.
iI A
`s
S
`
6. supp( iI Ai ) = iI supp(Ai ), donde, para cada s S, ( iI Ai )s =
`
i
iI As .
T
T
7. Si I no es vaco, supp( iI Ai ) = iI supp(Ai ), donde, para cada s S,
T
T
( iI Ai )s = iI Ais .
Q
T
Q
8. supp( iI Ai ) = iI supp(Ai ), donde, para cada s S, ( iI Ai )s =
Q
i
iI As .
9. supp(A) supp(B) supp(A B), donde, para cada s S, (A B)s =
As Bs .
INCOMPLETUD
JUAN CLIMENT
/ k un
LB
BB
||
BB
|
j ||
BB k
|
BB
|
|
BB
|
|~ |
!
/ F (k)
F (j)
F (u)
conmuta, puesto que, para cada s S, los triangulos correspondientes conmutan,
ya que las s son transformaciones naturales. Es un cono proyectivo lmite ya que si
(M, ) es otro cono proyectivo, entonces, para cada s S, hay un u
nico morfismo
/ Ls , porque Ls es un lmite proyectivo para cada s. Entonces = (s )sS
s : Ms
es el u
nico morfismo de M en L que hace conmutativo el triangulo correspondiente.
La existencia de lmites inductivos se demuestra del mismo modo.
INCOMPLETUD
El exponencial de dos S-conjuntos A y B se denota mediante B A y es el Sconjunto (BsAs )sS , i.e., (HomSet (As , Bs ))sS . La funcion de evaluacion, evA,B : A
/ A, es la S-aplicacion que en la coordenada s-esima es la funcion de evaluaBA
/ Bs .
cion para As , Bs en Set, i.e., ev(A,B)s = evAs ,Bs : As BsAs
Q
Si A y B son S-conjuntos, el producto de su exponencial, sS BsAs , es isomorfo
al conjunto BA de las S-aplicaciones de A en B. Este isomorfismo es natural, como
pone de manifiesto la siguiente proposicion.
Proposici
on 2.16. Sea S un conjunto de tipos y Exp el functor de exponenciacion
definido como
(SetS )op SetS
Exp /
SetS
(BsAs )sS
(A, B)
(f, g)
(C, D)
Los functores Hom y
(gs fs )sS
(DsCs )sS
Demostraci
on. El isomorfismo se define, para cada par de S-conjuntos (A, B) como
Q
As
/
Hom(A, B)
sS Bs S
As
/
S
sS Bs
/ Bs
f
7
As
s 7
a 7 fs (a)
i.e., asociando a f la familia (fs )sS
10
JUAN CLIMENT
INCOMPLETUD
el que f : X
11
/Y
Proposici
on 2.18. Las categoras SetS y Set S son equivalentes.
Demostraci
on. Sea A un S-conjunto. Sea P S el functor definido como
SetS
PS
A
7
/ Set S
`
( A, [A
s ]sS )
`
`
( B, [B
s ]sS )
donde A
on constante de As`
en S que asigna a cada miembro de As
s es la aplicaci
]
la
u
nica
aplicaci
o
n
de
A en S determinada por la propiedad
su tipo s y [A
s sS
A
universal del coproducto, y lo mismo para A
s y [s ]sS .
S
Sea Q el functor definido como
Set S
QS
(A1 (s))sS
(X, A)
7
(Y, B)
/ SetS
(fs )sS
(B 1 (s))sS
La categora SetS es un topos, por el teorema fundamental de los topoi (v. [?]).
La equivalencia con la categora SetS determina morfismos entre ambas categoras
que permiten traducir la estructura de topos de una categora hasta la otra, por lo
que cualquiera de las dos puede ser utilizada como formalizacion de los conceptos
de conjunto y aplicacion heterogenea para un conjunto de tipos S fijo. Sin embargo,
algunas construcciones tienen una forma mas natural en una de las dos, por lo que
resulta conveniente considerar directamente algunas de las propiedades del topos
Set S.
Productos. Sean (X, A) y (Y, B) dos objetos en SetS. Su producto es (X, A)
(Y, B) = (Pb(A, B), pr), con Pb(A, B) el producto fibrado en Set de A y B, y
p = A p0 = B p1 .
p1
/Y
Pb(A, B)
JJJ
JJ
p0
pJ
B
JJ
JJ
J
$/
X
S
A
El objeto final es 1S = (S, idS )
12
JUAN CLIMENT
/Z
X
f
Colmites. El coproducto de (X, A) y (Y, B) es [A, B], la u
nica aplicacion de
XqY en S. El objeto inicial es 0S = (, !,S ). El coigualador y la suma amalgamada
se obtienen mediante diagramas duales a los del igualador y el producto fibrado.
Exponenciales. Sean (X, A) y (Y, B) dos objetos en SetS. Entonces (Y, B)(X,A) =
`
A1 (s)
, pr1 ) y la funcion de evaluacion, ev(X,A),(Y,B) se define como
( sS B 1 (s)
/ Y
Pb(A, pr1 )
ev(X,A),(Y,B)
(x, (f, s)) 7 f (x)
Clasificador de subobjetos. El objeto de valores de verdad, S , viene dado
/ (X, A)
por (2S, pr1 ), y el clasificador de monicas es >S = h>S , idS i. Si f : (Y, B) _
S
entonces chf = hchf , Ai.
f
/X
Y E
EE
y
y
EEB
A yyy
EE
EE
yy
y
E" |yy
chS
B
< S bEE
f = hchf , Ai
y
EE pr
idS yyyy
EE 1
EE
yy
EE
yyy
/ 2S
S
h>, idS i
Valores de verdad. Por ser Set S un topos, los elementos de S estan en
correspondencia biunvoca con Sub(1S ). Ahora bien, un subobjeto de 1S es un
f : (X, A) _ / (S, idS ) tal que ids f = A, por lo que f = A. As pues, un subobjeto
/ S, i.e., con un subconjunto de
de 1S se puede identificar con una monica f : X _
S
S
/ es hchX , idS i, i.e.,
S. Su caracter chf : 1
(
(1, s) si s X
chf (s) =
(0, s) si s 6 X
INCOMPLETUD
13
/ 2S
2S
S
= h pr0 , idS i = (0, s) 7 (1, s)
(1, s) 7 (0, s)
y
/ 2S
(2 S) S (2 S)
((x, s), (y, s))
7 (x y, s)
/ (Y, B)) = f : X
/Y
14
JUAN CLIMENT
and the least upper bound of the same family is the greatest lower bound of the
upper bounds of the S-union of (C i )iI , i.e.,
S
W
T
i
T C iI C i S T
iI C =
T
In this complete lattice the greatest element is A and the least element C.
Proposici
on 2.22. El conjunto ordenado Cls(A) = (Cls(A), ) es un retculo
completo.
Demostraci
on. Let (Ci )iI be a nonempty family in Cls(A). Then greatest lower
bound of (Ci )iI is
T
nf iI Ci = iI Ci
and the least upper bound of the same family is
W
T
S
{C Cls(A) | iI Ci C}
iI Ci =
In this complete lattice the greatest element is Sub(A) and the least element {A}.
Definici
on 2.23. Un S-operador de clausura sobre un S-conjunto A es un operador
J sobre Sub(A) tal que, para cada X, Y A, cumple las siguientes condiciones:
1. X J(X), i.e., J es extensivo.
2. Si X Y , entonces J(X) J(Y ), i.e., J es isotono.
3. J(J(X)) = J(X), i.e., J es idempotente.
Denotamos por Clop(A) el conjunto de los S-operadores de clausura sobre A y por
Clop(A) el mismo conjunto pero ordenado por la relacion ,donde, para J y K
en Clop(A), tenemos que J K si, para cada X A, J(X) K(X). Ademas, a
los puntos fijos de un S-operador de clausura J sobre A los llamamos S-conjuntos
J-cerrados.
Proposici
on 2.24. Let A be an S-sorted set y J un operador clausura sobre A.
Entonces, para cada familia (X i )iI de partes de A, se cumple que
S
S
J( iI X i ) = J( iI J(X i )).
Adem
as, J(X Y ) = J(X J(Y )) = J(J(X) Y ) = J(J(X) J(Y )).
En el caso heterogeneo, lo mismo que en el homogeneo, para dos partes X, Y de
A, si J(X) J(Y ), entonces J(X Z) J(Y Z), para cualquier parte Z de A.
Pero observemos que, en el caso heterogeneo, puede existir una parte no vaca y
estricta T del conjunto de los tipos S y dos partes X, Y de A, de modo que, para
cada t T , J(X)t J(Y )t , y, a su vez, exista una parte Z de A y un t T tal
que J(X Z)t * J(Y Z)t ; del mismo modo, puede existir una parte no vaca y
estricta T del conjunto de los tipos S y dos partes X, Y de A, tales que, para cada
t T , J(X)t = J(Y )t , y, a su vez, exista una parte Z de A y un t T tal que
J(X Z)t 6= J(Y Z)t .
Proposici
on 2.25. El conjunto ordenado Clop(A) es un retculo completo.
Demostraci
on. Let (J i )iI be a nonempty family in Clop(A). Then the greatest
lower bound of (J i )iI , nf iI J i , is defined, for every X S A, as
T
nf iI J i (X) = iI J i (X)
W
and the least upper bound of the same family, iI J i , is
W
i
nf J Clop(A) | i I ( J i J )
iI J =
The greatest element is the totally inconsistent h-closure operator, A , that, to
every X A, assigns A, and the least the identity on Sub(A).
INCOMPLETUD
15
Proposici
on 2.26. Sea A un S-conjunto. Entonces existe un anti-isomorfismo
Fix del conjunto ordenado Clop(A), de los S-operadores de clausura sobre A, en
el conjunto ordenado Cls(A), de los S-sistemas de clausura sobre A.
Demostraci
on. Veamos, en primer lugar, que si J es un operador clausura heterogeneo, entonces, siendo Fix(J) = {X S A | J(X) = X}, el conjunto C J = Fix(J)
es un sistema de clausura heterogeneo. En efecto, si (J(X i ))iI es una familia no
vaca en C J , entonces tenemos que, para cada i I, se cumple que
T
i
i
iI J(X ) J(X )
y, por ser C J isotono e idempotente,
T
J( iI J(X i )) J(X i ).
Entonces
T
T
J( iI J(X i )) = iI J(X i )
T
puesto que J es idempotente, y iI J(X i ) es un punto fijo de J y, por tanto,
pertenece a C J . Como J(A) = A, Fix(J) es un sistema de clausura.
Por otra parte, si C es un sistema de clausura heterogeneo, entonces la aplicacion
J C , definida como:
/ Sub(A)
Sub(A)
C
T
J
X
7 {Y C | X Y },
es un operador clausura heterogeneo. En efecto, el operador J C es extensivo, ya que
T
T
X {Y A | Y X} {Y C | Y X} = J C (X),
el operador J C es isotono, yaTque si X S Y , entoncesT{T C | X S T } contiene
a {T C | Y S T }, luego {T C | X S T } {T C | Y S T }, por lo
tanto J C (X) S J C (Y ).
Por u
ltimo, J C es idempotente, debido a que por
T estar {T C | X S T }
C
incluido
en
{T
C
|
J
(X)
T
},
se
cumple
que
{T C | X S T } contiene a
S
T
{T C | J C (X) S T }, luego J C (X) = J C (J C (X)).
Las aplicaciones J 7 C J y C 7 C J son inversas una de la otra, y, por tanto, son
aplicaciones biyectivas.
Queda por demostrar que las biyecciones son antihomomorfismos, i.e., que invierten el orden. Supongamos que C D. Entonces
T
T
J C (X) = {T C | T X} {T D | T X} = J D (X)
luego J C J D . Supongamos ahora que J K. Entonces si T CK , se tiene que
T = K(X), para alg
un X B. Pero
JK(X) KK(X) = K(X)
J
luego T C .
Observaci
on. Si t S y a, b At , entonces J( t,a ) = J( t,b ) si y solo si J( t,a )t =
t,b
J( )t . Es evidente que J( t,a ) = J( t,b ) es una condicion suficiente para que
J( t,a )t = J( t,b )t .
Por otra parte, si J( t,a )t = J( t,b )t , entonces J( t,a ) = J( t,b ). En efecto, por
ser J( t,b ) el mnimo cerrado que contiene a t,b , es suficiente que se demuestre que
J( t,a ) contiene a t,b , pero, para s = t, eso se cumple por la hipotesis, y, para
s 6= t, es evidente. Del mismo modo se demuestra la inclusion inversa.
Proposici
on 2.27. Sea A un S-conjunto, J Clop(A) y (X i )iI una familia en
Sub(A). Entonces
WFix(J)
S
J(X i ) = J( iI X i )
iI
16
JUAN CLIMENT
S
Demostraci
on. Si T Fix(J) entonces T contiene a iI X i exactamente si T
S
contiene a iI J(X i ), puesto que para cada cerrado T se tiene que T X si y
solo si T J(X). Entonces
S
T
S
J( iI X i ) = {T C J | T iI X i }
T
S
= {T C J | T iI J(X i )}
WC J
= iI J(X i )
GClSp(S)
(A, C)
f
/ SetS
A
(B, D)
que es obviamente fiel, por lo que ClSp(S) es una categora concreta sobre SetS .
Proposici
on 2.29. Sea S un conjunto de tipos. Entonces Clop(S), es la categora
cuyos objetos son pares (A, J), en los que A un S-conjunto y J Clop(A), y cuyos
morfismos de (A, J) en (B, K) son los triplos ((A, J), f, (B, K)), denotados como
/ (B, K), en los que f es una S-aplicaci
f : (A, J)
on de A en B tal que, para
todo X A, f [J(X)] S K(f [X]), y con composici
on e identidades definidas a
partir de las de sus S-aplicaciones subyacentes.
De Clop(S) en SetS se tiene un functor de olvido GClop(S) , definido similarmente a GClSp(S) , por lo que Clop(S) es tambien una categora concreta sobre
SetS .
Proposici
on 2.30. Las categoras ClSp(S) y Clop(S) son concretamente isomorfas, a traves del functor definido como:
Clop(S)
/ ClSp(S)
(A, J)
(A, Fix(J))
7
(B, K)
(B, Fix(K))
INCOMPLETUD
17
Este resultado justifica que, en lo que sigue, se use aquella de las dos categoras, Clop(S), o ClSp(S), que se considere mas oportuna para abordar la situacion de que se trate. Convenimos que por la categora de S-espacios de clausura,
ClSp(S), nos referimos indistintamente a cualquiera de las dos categoras Clop(S),
o ClSp(S).
Cada espacio de clausura ordinario se identifica con un S-espacio de clausura
heterogeneo, tomando como conjunto de tipos S cualquier conjunto final.
Podemos inducir un sistema de clausura heterogeneo, de manera optimal, sobre
el dominio com
un de una familia de S-aplicaciones cuando los codominios de las
mismas estan dotados de sistemas de clausura heterogeneos, y, dualmente, podemos
inducir un sistema de clausura heterogeneo, de manera co-optimal, sobre el codominio com
un de una familia de S-aplicaciones cuando los dominios de las mismas
estan dotados de sistemas de clausura heterogeneos.
Lema 2.31. Sea A un S-conjunto, (Ai , C i )iI una familia de S-espacios de clau.
sura y f = (f i )iI una familia de S-aplicaciones, en la que, para cada i I,
/ Ai . Entonces hay un u
fi : A
nico sistema de clausura heterogeneo C sobre A,
.
al que denotamos por Lf (Ai , C i )iI , y denominamos el levantamiento optimal de
.
(Ai , C i )iI a traves de f , tal que:
/ (Ai , C i ).
1. Para cada i I, f i : (A, Lf (Ai , C i )iI )
/ A, si, para cada i I,
2. Dado un S-espacio de clausura (B, B) y g : B
.
/ (Ai , C i ), entonces g : (B, B)
/ (A, Lf (Ai , C i )iI ).
f i g : (B, B)
Adem
as, se cumple que:
1. Para cada sistema de clausura heterogeneo C sobre A:
LidA (A, C) = C.
2. Si, para cada i I, (Ai,m , C i,m )mMi es una familia de S-espacios de clau.
sura, g i, = (g i,m )mMi una familia de S-aplicaciones, en la que, para cada
.
/ Ai,m y C i = Lgi, (Ai,m , C i,m )mM , entonces
m Mi , g i,m : Ai
i
L(g
i,.
f )iI
f
i
i
Demostraci
on. Es suficiente que tomemos
S como i L1(A , C )iI iel sistema de clausura heterogeneo sobre A generado por iI { (f ) [C] | C C }.
18
JUAN CLIMENT
S-Signaturas y -
algebras heterog
eneas.
Definici
on 2.41. Sea S un conjunto de tipos. Una S-signatura algebraica es
un S ? S-conjunto = (w,s )(w,s)S ? S tal que w,s y w0 ,s0 son disjuntos si
(w, s) 6= (w0 , s0 ).
un par (w, s) S ? S,
Si es una S-signatura algebraica y w,s , para alg
entonces decimos que es un smbolo de operacion de biariedad (w, s) y a las
/ s y w,s las consideramos sinonimas. Ademas, para cada
expresiones : w
S
w S ? , a los smbolos de operacion pertenecientes al conjunto sS w,s , denotado
por w, , los denominamos smbolos
S de operacion de ariedad w, y, para cada s S,
a los pertenecientes al conjunto wS ? w,s , denotado por ,s , los denominamos
smbolos de operacion de coariedad s.
INCOMPLETUD
19
Definici
on 2.42. Sea A = (As )sS un S-conjunto y una S-signatura algebraica. Una -estructura algebraica F sobre A es una S ? S-aplicacion de en
?
OpS S (A) = (Set(Aw , As ))(w,s)S ? S . Una -algebra es un par A = (A, F ), en
el que A es un S-conjunto y F una -estructura algebraica sobre A.
En algunas ocasiones, denotamos a la -estructura de una -algebra A por
/ s, denotamos
F A , y a las operaciones que la componen por FA . Cuando :
A
A
/ As para el u
mediante al valor de F : 1
nico miembro de 1.
Definici
on 2.43.
Sean A = (A, F A ) y B = (B, F B ) dos -algebras. Un -homomorfismo o,
simplemente, un homomorfismo, de A en B es un triplo ordenado (A, f, B),
/ B, en el que f es una S-aplicacion de A en B, tal
denotado por f : A
/ s, el diagrama
que para cada , con : w
Aw
fw
FA
As
/ Bw
FB
fs
/ Bs
(v,v),v = { +v }
(e),e = { e }
(v),v = { v }
(),e = { 0e , 1e }
(),v = { 0v }
(e,v),v = { }
en la que +e , e , e , 0e y 1e se realizaran como las operaciones estructurales del
anillo que se considere, +v , v y 0v como las operaciones estructurales del grupo
abeliano que se considere y como la accion por la izquierda de los escalares sobre
los vectores, entonces, por cada anillo R y cada R-modulo por la izquierda M obtenemos un algebra heterogenea, llamado en este caso un modulo. Observemos que
los morfismos de un modulo (R, M, ) en otro (R0 , M0 , 0 ) son pares de morfismos,
/ M0 ,
/ R0 y uno de grupos abelianos g : M
un homomorfismo de anillos f : R
0
tales que, para cada r R y cada x M , g(r x) = f (r) g(x).
Otros ejemplos de algebras heterogeneas vienen dados por la nocion de automata,
la de G-conjunto, siendo G un grupo, la de M-conjunto, siendo M un monoide,
la de K-algebra lineal, con K un anillo, y, en general, por cualquier constructo
matematico en el que exista, al menos, una accion de un sistema algebraico sobre
otro.
20
JUAN CLIMENT
dn+1
fn+1
M0n+1
/ Mn
fn
d0n+1
/ M0
n
conmuta.
Proposici
on 2.44. Sea una S-signatura algebraica. Las -
algebras y los homomorfismos entre ellas forman una categora, Alg().
Al conjunto de los homomorfismos de A en B lo denotamos por Hom (A, B).
/ A con el mismo dominio y codominio recibe el nombre
Un homomorfismo f : A
de endomorfismo de A, y al monoide de los endomorfismos de A lo denotamos por
End (A). Un endomorfismo de A cuya S-aplicacion subyacente sea una biyeccion
recibe el nombre de automorfismo y al grupo de los automorfismos de A lo denotamos por Aut (A). Los homomorfismos inyectivos (resp., sobreyectivos, biyectivos)
entre -algebras son aquellos cuya S-aplicacion subyacente es inyectiva (resp., sobreyectiva, biyectiva). Por u
ltimo, si hay un -homomorfismo sobreyectivo de A
en B, diremos que B es una imagen homomorfa de A.
2.3. Sub
algebras heterog
eneas.
Los S-subconjuntos del S-conjunto subyacente de un algebra heterogenea que
estan cerrados respecto de las operaciones estructurales del algebra constituyen un
sistema de clausura algebraico, lo mismo que en el caso ordinario u homogeneo.
Estudiamos a continuacion la nocion de parte cerrada o subalgebra de un algebra
heterogenea.
En lo que sigue, es una S-signatura algebraica heterogenea arbitraria pero fija.
Definici
on 2.45. Sea A = (A, F A ) una -algebras y X un S-subconjunto de A,
i.e., X es un S-conjunto tal que, para cada s S, Xs As .
/ s, decimos de X que esta cerrado bajo la operaci
on
1. Si , con : w
A
A
A
/
F : Aw
As si, para cada a Xw , F (a) Xs , i.e., si F [Xw ] Xs .
algebra de A si, para cada
2. Decimos que X es un cerrado o una sub
/ s, y cada a Xw , FA (a) Xs , i.e., si X esta cerrado bajo
con : w
cada una de las operaciones estructurales de A. Al conjunto de los cerrados
de A lo denotamos por Cl(A).
algebra. Entonces el conjunto de los cerrados de
Proposici
on 2.46. Sea A una -
A, Cl(A), es un sistema de clausura algebraico sobre A, i.e., tiene las siguientes
propiedades:
1. A Cl(A).
T
2. Si X Cl(A) y X 6= , entonces XX X Cl(A).
INCOMPLETUD
21
3. Si X Cl(A), X 6=
S y si dados X, Y X , hay un Z X tal que
X Y S Z, entonces XX X Cl(A).
Demostraci
on.
/ SubS (A)
SubS (A)
T
SgA
X
7 { C Cl(A) | X S C }
tiene las siguientes propiedades:
1. Im(SgA ) Cl(A).
2. { X Sub(A) | X = SgA (X) } = Cl(A).
3. SgA es extensiva o inflacionaria, i.e., para cada X SubS (A), X S
SgA (X).
4. SgA es is
otona, i.e., para cada X, Y SubS (A), si X S Y , entonces se
cumple que SgA (X) S SgA (Y ).
5. SgA es idempotente, i.e., para cada X SubS (A), SgA (X) = SgA (SgA (X)).
6. SgA es algebraica, i.e., para cada X SubS (A), si X 6= y para
S cada
X,
Y
X
,
existe
un
Z
X
tal
que
X
Z,
entonces
Sg
(
X) =
S
A
S
XX SgA (X).
Por consiguiente, para cada X A, SgA (X) es el mnimo cerrado de A que contiene a X, y lo denominamos el cerrado de A generado por X.
Demostraci
on.
/ SubS (A)
SubS (A)
EA
X
7 X
,s F [Xar() ] s S .
2. Si X S A, entonces denotamos por (EnA (X) | n N) la familia en SubS (A)
definida por recursion como:
E0A (X) = X,
n
En+1
A (X) = EA (EA (X)), n 0.
(EnA (X) | n N)
Proposici
on 2.49. Si A es una -
algebra y X S A, entonces SgA (X) = E
A (X).
Demostraci
on.
Proposici
on 2.50. Si A es una -
algebra, X S A, s S y a As , entonces una
condici
on necesaria y suficiente para que a SgA (X)s es que exista
Q un p N 1,
una familia (si | i p) S p , y una familia (ai | i p) ip Asi tal que
/ si , o
a = ap1 y para cada i p, ai Xsi , o ai = A , para alg
un :
n
ai = F (ai | n), para un n N 1, una familia (i | n) i y un
/ si .
: (si | n)
Demostraci
on.
22
JUAN CLIMENT
/ Avj
Av
pr
j
conmuta. Entonces
w
/ AA
(AAw )v
s
A
(fj )j|v| 7 F hfj ij|v|
Definici
on 2.52. Sea A un S-conjunto y w una palabra sobre S. Entonces
1. Para cada i |w|, la proyeccion w-aria, i-esima para A, prA
w,i , es la operacion definida como:
/ Aw(i)
Aw
prA
w,i
a 7 ai
2. El S-conjunto de las proyecciones w-arias sobre un S-conjunto A es:
A
prA
w = ({prw,i | wi = s})sS .
Definici
on 2.53. Sea A una -algebra y w S ? . La -algebra heterogenea de las
operaciones polinomicas w-arias u operaciones derivadas w-arias sobre A, Polw (A),
es la subalgebra de la -algebra de las operaciones w-arias sobre A, Opw (A) generada por prA
w.
Proposici
on 2.54. Sea A = (A, F ) una -
algebra. Entonces, se cumple que, para
cada w,s , F Polw (A)s .
Proposici
on 2.55. Sea A una -
algebra, u, w S ? , s S, P Polw (A)s y
Q = (Qi )i|w| una familia tal que, para cada i |w|, Qi Polu (A)w(i) . Entonces
P hQi ii|w| Polu (A)s .
Demostraci
on. Sea X w,u el S-conjunto cuya coordenada s-esima es:
Xsw,u = {P Polw (A)s | (Qi )i|w| Polu (A)w , f hQi ii|w| Polu (A)s }
En primer lugar, se cumple que el S-conjunto de las proyecciones w-arias sobre A,
prA
a incluido en X w,u porque, dado un s S, un i w1 (s) y una familia
w , est
(Qi )i|w| en Polu (A)w ,
prA
w,i hQi ii|w| = Qi Polu (A)w(i)
Ademas, X es un cerrado de Polw (A), ya que, para cada , con : v
y cada R = (Ri )i|v| Xv , se tiene que
Op (A)
F w (R)
/ s,
INCOMPLETUD
23
En la proposicion que sigue usamos las operaciones polinomicas para dar otra
descripcion del operador subalgebra generada.
Proposici
on 2.56. Sea A una -
algebra. Entonces se cumple que
1. Para cada w S ? , cada a Aw y cada s S
SgA ((a[w1 [s]])sS )s = {P (a) | P Polw (A)s }.
2. Para cada X A y cada s S se cumple que
SgA (X)s = {P (x) | w S ? , P Polw (A)s , x Xw }
2.5. Algebras
libres.
Demostramos a continuacion la existencia de -algebras libres sobre cualquier Sconjunto y se estudia la relacion de los terminos o smbolos de operaci
on polin
omica
con las operaciones polinomicas de una -algebra.
Definici
on 2.58. De Alg() en SetS existe un functor de olvido G definido
sobre objetos y morfismos como:
G (f : A
/ B) = f : A
/B
/ W (X)
W (X)w
s
F
(Pi )i|w| 7 () f fi|w| Pi
24
JUAN CLIMENT
Definici
on 2.60. La -algebra libre sobre un S-conjunto X, T (X), es la subalgebra de W (X) generada por el S-conjunto ({(x) | x Xs })sS , donde, para cada
s S y cada x `
Xs , `
(x) es la imagen de x mediante las inclusiones canonicas
desde Xs hasta ( q X)? .
A los elementos de T (X)s se les denomina operacion polinomicas formales o
terminos de tipo s con variables en X.
En las figuras siguientes se muestran las inclusiones desde Xs , resp., w,s , hasta
W (X)s :
Xs
inXs
x
w,s
inw,s
in` X
/ (x, s)
/ `
/ (, (w, s))
` q` X `
/ ` q `X
/ ( q ` X)?
/ ((x, s), 1)
in`
/ ` q `X
/ (` q ` X)?
Proposici
on 2.61. Los smbolos de operaci
on polin
omica se pueden representar
unvocamente como:
1. (x), para un u
nico s S y un u
nico x Xs .
2. (), para un u
nico s S y un u
nico ,s .
3. () f f(Pi )i|w| , para unos u
nicos w S ? {}, s S, w,s , y una
u
nica familia (Pi )i|w| en T (X)w .
si P = (x);
fs (x),
A
si P = ();
P 7 ,
F A (f ] (P ), . . . , f ]
(P
)),
si P = () f f(Pi )i|w| .
0
|w|1
w(0)
w(|w|1)
INCOMPLETUD
25
T (X)
G
>
T
/
Set
Proposici
on 2.64. Cada -
algebra A es isomorfa a un cociente de una -
algebra
libre sobre un S-conjunto.
Demostraci
on. Sea A una -algebra. Entonces la extension canonica de la identidad en A, id]A , es un epimorfismo y T (A)/ Ker(id]A ) es isomorfa a A.
w
w
w /
w I
T (w)
II
II
II
II
PdA
w
II
pA
I
w
I$
Opw (A)
conmuta, siendo pA
on definida, para cada s S y para cada i ws ,
w la S-aplicaci
A
como pA
w,s (i) = prw,i .
Definici
on 2.66. Sea A una -algebra, w S ? , s S y P T (w)s . Entonces
A
a Pdw,s (P ) se le denomina el polinomio (w, s)-ario determinado por P en A y se le
denota por P A .
Proposici
on 2.67. Sea A una -
algebra y w S ? . La -
algebra heterogenea de
las operaciones polin
omicas w-arias sobre A, Polw (A), coincide con la sub
algebra
de Opw (A) can
onicamente asociada a la imagen de T (w) mediante PdA
w , i.e.,
A
26
JUAN CLIMENT
A
A
A
Demostraci
on. Puesto que prA
w Pdw [T (w)], SgOpw (A) (prw ) Pdw [T (w)].
Recprocamente,
A
w
PdA
[w])]
w [T (w)] = Pdw [SgT (w) (
w
= SgOpw (A) (PdA
[w]])
w [
algebra, P un polinomio
Proposici
on 2.68 (Ley de reciprocidad). Sea A una -
/ A. Entonces a]s (P ) = P A (a).
formal en T (w)s y a : w
Demostraci
on. El diagrama
w /
T (w)
w I
LLL
II
II
LLL PdA
II
LLL w
]
II
a
LLL
a III
LL
II
%
$ o
Op
A
w (A)
eva
conmuta, siendo eva el homomorfismo de evaluacion definido, en la coordenada
s-esima, como
/ As ) = f (a)
(eva )s (f : Aw
luego, para cada P T (w)s , se cumple que:
A
A
a]s (P ) = (eva )s PdA
w,s (P ) = (eva )s (P ) = P (a)
Proposici
on 2.69. La restricci
on a Polw (A) de PdA
w es un homomorfismo sobreyectivo, por lo que T (w)/ Ker(PdA
)
es
isomorfa
a
Polw (A).
w
Las operaciones polinomicas w-arias se comportan, respecto de los homomorfismos, como las operaciones estructurales de las algebras.
/ B un homomorfismo
Proposici
on 2.70. Sea un signatura algebraica y h : A
?
de -
algebras. Entonces para cada w S , s S y P T (w)s el diagrama
Aw
PA
hw
Bw
/ As
hs
PB
/ Bs
conmuta.
Demostraci
on. El diagrama
X
/ T (w)
w I
II
II
II
II
II(h a)]
II
II
]
II
a
II
I
a II
II
II
I$
$
/B
A
h
INCOMPLETUD
27
3.
meros naturales.
Nu
En este seccion enunciamos el axioma del conjunto infinito, que nos permitira demostrar la existencia de un algebra de Dedekind-Peano y, para tales algebras, obtendremos el principio de la definicion por recursion finita, a partir del cual demostraremos que las algebras de Dedekind-Peano son esencialmente u
nicas, y que otros
principios de definicion por recursion mas complejos, se pueden obtener a partir del
mismo.
Ademas, demostraremos que el conjunto subyacente del algebra Dedekind-Peano,
que sera el conjunto de los n
umeros naturales, esta dotado de una buena ordenaci
on, y que tal ordenacion es compatible con las operaciones aritmeticas usuales,
definidas por recursion, sobre el conjunto de los n
umeros naturales; as como la
caracterizacion, en terminos ordinales del conjunto de los n
umeros naturales.
Por u
ltimo, una vez definidos los conjuntos finitos y los infinito numerables, estudiaremos la conducta de los mismos respecto de las operaciones conjuntistas, y
demostraremos que el conjunto de los n
umeros naturales, junto con las aplicaciones entre ellos, es un esqueleto del sistema de los conjuntos finitos, junto con las
aplicaciones entre ellos.
Los axiomas de la teora de conjuntos de ZFSk hasta ahora enunciados, solo
nos permiten afirmar la existencia de una infinidad de conjuntos distintos, e.g., los
conjuntos , {}, {{}}, . . . , pero no, y este sera el primer gran salto de lo finito
a lo transfinito, la existencia de un conjunto, actualmente, infinito. Para poder asegurar la existencia de al menos un conjunto infinito, procedemos axiomaticamente,
tal como hizo Zermelo.
28
JUAN CLIMENT
INCOMPLETUD
29
Si con ello tales autores pretenden dar una descripcion de los elementos del conjunto subyacente del algebra absolutamente libre sobre el conjunto vaco y para la
signatura algebraica que tiene una operacion formal 0-aria, precisamente el cero, y
una operacion formal 1-aria, el sucesor, no hay nada que objetar. Solo subsiste el
problema de demostrar la existencia de tal algebra libre, y dicho problema se soluciona admitiendo, axiomaticamente, la existencia de un conjunto infinito. Ahora
bien, si lo que pretenden es que lo afirmado es una definicion, entonces estan incurriendo en peticiones de principio y algunos defectos mas, como no caer en la cuenta
de que las definiciones no son creativas, ni tomar en consideracion la diferencia entre
lenguaje y metalenguaje.
Esta, pretendida definicion, parece presuponer que ya se sabe lo que significa
aplicar un n
umero finito de veces una operaciona una entidad, por lo tanto parece innecesario definir los n
umeros finitos, i.e., los n
umeros naturales, pues ya se
conocen, o se esta incurriendo en una peticion de principio. Seamos mas explcitos,
entre otras cosas, se esta presuponiendo que se dispone del concepto de operacion
(se habla de la operacion siguiente), pero una operacion act
ua sobre los objetos
de un dominio bien determinado, cerrado, as que la operacion siguienteha de
tenerlo,. . . . Ademas, al decir que la operacion se aplique un n
umero finito de veces, se esta, una vez mas, presuponiendo que se dispone de los n
umeros naturales,
que se conoce el concepto de composicion y, ademas, la definicion por recursion
finita. Por u
ltimo, para entender que cada vez obtenemos un objeto distinto de
todos los anteriores , hemos de presuponer que sabemos que la operacion sucesor
es inyectiva.
3.2. Algebras de Dedekind-Peano.
Dedekind, en una carta dirigida a Keferstein, y despues de indicarle que su
ensayo sobre los n
umeros no fue escrito en un da; sino que, mas bien, era una
sntesis construida despues de un prolongado trabajo, basado en un analisis previo
de la sucesion de los n
umeros naturales tal cual como se presenta, en la experiencia,
por as decir, para nuestra consideracion; se pregunta por:
What are the mutually independent fundamental properties of the sequence N, that is, those properties that are not derivable from one another but from which all others follow? And how should we divest these properties of their specifically arithmetic character so that they are
subsumed under more general notions and under activities of the understanding whithout which no thinking is possible but with which a
foundation is provided for the reliability and completeness of proofs and
for the construction of consistent notions and definitions?
30
JUAN CLIMENT
Definici
on 3.3. Al conjunto vaco, cuando lo consideremos como miembro del
conjunto de los n
umeros naturales N, lo denotamos por 0. Ademas, 1 denota al
sucesor de 0, i.e., 1 = {0}, 2 al sucesor de 1, i.e., 2 = {0, 1}, . . . , 9 al sucesor de 8,
i.e., 9 = {0, 1, . . . , 8} y 10 al sucesor de 9, i.e., {0, 1, . . . , 9}.
Proposici
on 3.4. La relaci
on binaria Sc sobre N, definida como:
Sc = { (m, n) N N | n = m+ },
es una endofunci
on de N.
Demostraci
on. Porque, para cada n
umero natural esta unvocamente determinado
el conjunto sucesor del mismo y, ademas, tal conjunto sucesor, en este caso, es un
n
umero natural.
Definici
on 3.5. Denotamos por sc la endoaplicacion de N cuya funcion subyacente
es Sc y la denominamos la aplicacion sucesor de N. Ademas, denotamos el valor de
sc en n, para cada n N, por n+ o n + 1. Por u
ltimo, denotamos por N el triplo
ordenado (N, sc, 0).
Proposici
on 3.6. Para cada n
umero natural n N, sc(n) 6= 0, o, lo que es
equivalente, {0} Im(sc) = .
umero natural n N, sc(n) = n {n} no es
Demostraci
on. Porque, para cada n
vaco.
Teorema 3.7 (Principio de la demostracion por induccion finita). Para cada subconjunto X de N, si 0 X y sc[X] X, entonces X = N.
Demostraci
on. Sea X un subconjunto de N tal que 0 X y sc[X] X. Entonces
N X, ya que N es el mnimo conjunto con tales propiedades, por lo tanto, ya que
por hipotesis X N, X = N.
on por inducci
on finita equivale a
Proposici
on 3.8. El principio de la demostraci
que SgN () = N, siendo SgN () el mnimo subconjunto de N que contiene al vaco,
al que pertenece el 0 y que est
a cerrado bajo sc, i.e., siendo SgN () el conjunto
definido como:
\
SgN () = { Y N | 0 Y sc[Y ] Y }.
INCOMPLETUD
31
Demostraci
on. Supongamos el principio de la demostracion por induccion finita,
i.e., que para cada subconjunto X de N, si 0 X y sc[X] X, entonces X = N.
Entonces, por ser N N y cumplirse que 0 N y que sc[N] N, tenemos que N
pertenece al conjunto { Y N | 0 Y sc[Y ] Y }, luego SgN () N. Ademas,
N SgN (), porque 0 SgN (), sc[SgN ()] SgN () y N es el mnimo conjunto
con tales propiedades. Por lo tanto SgN () = N.
Recprocamente, supongamos que SgN () = N. Entonces, si un subconjunto X
de N es tal que 0 X y sc[X] X, entonces X { Y N | 0 Y sc[Y ] Y },
luego SgN () X, as que N X, pero X N, luego X = N.
Proposici
on 3.13.
+
1. Si A es -transitivo, entonces A
S es -transitivo.
2. Si A es -transitivo, entonces A es -transitivo.
S
3. Si A es tal que todos sus miembros son -transitivos, entonces A es transitivo.
T
4. Si A no es vaco y todos sus miembros son -transitivos, entonces A es
-transitivo.
Demostraci
on.
A continuacion, establecemos una caracterizacion del concepto de conjunto transitivo, que sera especialmente u
til en la demostracion de que la aplicacion sucesor es inyectiva.
Proposici
on 3.14. UnaScondici
on necesaria y suficiente para que un conjunto A
sea -transitivo, es que A+ = A
Demostraci
on.
32
JUAN CLIMENT
Proposici
on 3.15. Cualquier n
umero natural es -transitivo.
Demostraci
on. Demostramos, por induccion, que T = { n N | n es -transitivo },
coincide con el conjunto de los n
uSmeros naturales.
Se cumple que 0 T , porque 0+ = 0.SSupongamos que n T , i.e., que n sea
-transitivo, o, lo que es equivalente, que n+ = n. Entonces
S + + S +
(n ) = (n {n+ })
S
S
= ( n+ ) ( {n+ })
= n (n {n})
= n+ ,
luego n+ es -transitivo, i.e., n+ T . Por consiguiente T = N.
Proposici
on 3.17. El conjunto N es -transitivo, i.e., para cada n N, se cumple
que n N, as que todo n
umero natural es un conjunto de n
umeros naturales.
Demostraci
on.
sc
N
h
en el que 0 es la aplicaci
on que al u
nico miembro de 1 le asigna 0 y e la aplicaci
on
que al u
nico miembro de 1 le asigna e, conmuta, i.e., tal que:
1. h(0) = e.
2. n N (h(sc(n)) = f (h(n))).
Demostraci
on. Decimos que una funcion parcial G de N en A es aceptable, respecto
de e y f = (A, F, A), si cumple las siguientes condiciones:
1. Si 0 Dom(G), entonces G(0) = e.
2. Para cada n N, si sc(n) Dom(G), entonces n Dom(G) y G(sc(n)) =
F (G(n)).
Sea G el conjunto de todas las funciones parciales de N en A que sean aceptables
(conjunto obtenido, mediante una aplicacion del esquema axiomatico de separacion,
a partir del conjunto de
S todas las funciones parciales de N en A). Vamos a demostrar
que el conjunto H = G tiene las siguientes propiedades:
INCOMPLETUD
1.
2.
3.
4.
33
34
JUAN CLIMENT
Demostramos, por u
ltimo, que H es una funcion de N en A. Para ello es suficiente
que demostremos, por induccion, que el conjunto T = { n N | y A ((n, y)
H) } coincide con N.
S
Se cumple que 0 T , porque {(0, e)} G y H = G. Sea n N y supongamos
que n T . Vamos a demostrar que si sc(n) 6 T , entonces la relacion G = H
{(sc(n), F (H(n)))} tiene las propiedades de ser una funcion parcial de N en A, ser
aceptable y contener estrictamente a H, lo cual, junto con lo demostrado hasta
ahora para H, constituira una contradiccion.
G es una funcion parcial de N en A, porque tanto H como {(sc(n), F (H(n)))} lo
son y las restricciones de ambas a la interseccion de sus dominios de definicion (que
es el conjunto vaco) coinciden. Ademas, por definicion de G, se cumple que H G.
Por u
ltimo, G es aceptable, ya que, por una parte, si 0 Dom(G), entonces 0
Dom(H), luego H(0) = e = G(0), y, por otra, dado un m N, si sc(m) Dom(G),
entonces, puesto que Dom(G) = Dom(H) {sc(n)} y Dom(H) {sc(n)} = , o
bien sc(m) Dom(H) o bien sc(m) = sc(n). Si lo primero, entonces, por ser H
aceptable, m Dom(H) y H(sc(m)) = F (H(m)), luego m Dom(G) y G(sc(m)) =
F (H(m)) = F (G(m)). Si lo segundo, entonces por ser sc inyectiva, m = n, pero
n Dom(H), luego n Dom(G) y G(sc(m)) = F (H(m)) = F (G(m)). Pero
esto entra en contradiccion con la definicion de H. Por lo tanto sc(n) T y, en
consecuencia, T = N, i.e., Dom(H) = N.
Luego, tomando como h el triplo ordenado (N, H, A), obtenemos el teorema.
Debemos observar que la propiedad establecida en el teorema anterior, para el
algebra de Dedekind-Peano (N, sc, 0), no es privativa de esa algebra concreta, sino
que es compartida por todas las algebras de Dedekind-Peano.
Si A = (A, f, e) es un algebra de Dedekind-Peano, A0 un conjunto, e0 A0 y
/ A0 , entonces hay una u
/ A0 tal que el diagrama:
f 0 : A0
nica aplicacion h : A
o
q8 A
e qqqq
qqq
qqq
1 LLL
h
LLL
LLL
e0 LL&
A0 o
A
h
A0
sc
N
h
conmuta.
Demostraci
on. Por ser N y A algebras de Dedekind-Peano, existe una u
nica apli/ N, de modo que los
/ A, as como una u
nica aplicacion t : A
cacion h : N
INCOMPLETUD
35
diagramas:
sc
o
r8 N
0 rrrr
rrr
rrr
1 LLL
h
LLL
LLL
e LL
& o
A
o
r8 A
e rrrr
rrr
rrr
t
1 LLL
LLL
LLL
0 LL
& o
N
o
r8 A
e rrrr
rrr
rrr
1 LLL
ht
LLL
L
e LLLL
& o
A
A
t
sc
sc
N
th
sc
A
ht
sc
N
idN
sc
o
r8 A
e rrrr
rrr
rrr
idA
1 LLL
LLL
L
e LLLL
& o
A
A
idA
/ B y g: B
Lema 3.20. Sea f : A
/
h: A N
B tal que el diagrama:
AN o
hidA , 0 A i oooo7
o
ooo
o
o
o
h
A OOO
OOO
OOO
f OOO'
Bo
conmuta, i.e., tal que:
1. a A (h(a, 0) = f (a)).
2. a A n N (h(a, n+ ) = g(h(a, n))).
idA sc
AN
h
36
JUAN CLIMENT
Demostraci
on. Antes de proceder a la demostracion, recordemos que hidA , 0 A i
es la u
nica aplicacion de A en A N tal que el siguiente diagrama
A
/1
A HH
v
H
v
HH
v
HH
vv
HH0 A
idA vvvv
HH
0
hid
,
i
v
A
0
A
HH
v
HH
vv
v
HH
vv
H$
zvo v
/N
A
N
A
prA
prN
conmuta.
Sea g A : B A
/ B A la u
nica endoaplicacion de B A tal que el diagrama
evA,B
/B
A BA
II
II
II
I
A
g
evA,B
g
idA g
II
II
II
II
$/
B
A B A ev
A,B
conmuta, y (f prA )@ : 1
/ B A la u
nica aplicacion de 1 en B A tal que el diagrama
prA
/A
A 1I
II
II
II
@
f prIAI
f
idA (f prA )
II
II
II
$/
B
A B A ev
A,B
conmuta.
/ B A y gA : B A
/ B A , en virtud del principio de la
Para (f prA )@ : 1
definicion por recursion finita, podemos afirmar que existe una u
nica aplicacion t
de N en B A , tal que el diagrama
mm6 N
0 mmmmm
mmm
mmm
m
1 QQQQ
t
QQQ
QQQ
QQQ
Q(
(f prA )@
BA
conmuta.
Sea h : A N
/ B.
BA
sc
/N
t
gA
/ B la composicion de idA t : A N
/ BA
/ A B A y evA,B : A
INCOMPLETUD
37
A?
???
??
??
??
??A
idA
??
hidA , A i
??
??
??
??
/1
A
1
Ao
pr
pr
A
idA
Ao
idA (f prA )@
prA
A BA
prB A
A
xA
x
xx
xx
x
x
xx
idA xxx
x idA , (f prA )@ A
x
x
xx
xx
x
xx
xx
x
x{
Ao
A
BA
prA
prB A
(f prA )@
/ BA
/1
(f prA )@
/ BA
38
JUAN CLIMENT
??
??
??
idA
??0 A
hid
,
i
??
A
0
A
??
??
??
??
o
/N
AN
A
prA
prN
idA
Ao
prA
idA t
A BA
/ BA
A
zz
z
zz
zz
z
zz
idA zzzz
hidA , t 0 A i
z
zz
z
z
zz
zz
z
zz
|zz
Ao
A
BA
prA
prB A
A
/1
0
N
t
prB A
/ BA
y de la antepen
ultima a la pen
ultima se pasa porque el diagrama
A@
@@
~~
@@
~
~
~
@@
~
~
@@
idA ~~~
@@A
hid
,
i
~
@@
A
A
~
@@
~~
~
@@
~
~
@@
~
@
~~~
/1
A
1
Ao
pr
pr
A
INCOMPLETUD
39
/B y
Proposici
on 3.21 (Recursion primitiva con parametros). Sea g : ANB
/ B. Entonces hay una u
/ B tal que el diagrama:
f: A
nica aplicaci
on h : AN
AN o
hidA , 0 A i oooo7
o
ooo
ooo
A OOO
h
OOO
OOO
f OOO'
Bo
idA sc
AN
hidAN , hi
ANB
prAN
(A N) B
g
hprA , sc prN i
AN o
prAN
(A N) B
prB
/B
A N B o
ANB
hprA , sc prN i prAN , g
obtenido aplicando el lema anterior.
/ B la composicion de k : A N
/ A N B y prB : A N
Sea h : A N
/
B.
B
Demostramos en primer lugar que h hidA , 0 A i = f .
h hidA , 0 A i = (prB k) hidA , 0 A i
= prB (k hidA , 0 A i)
= prB hidA , 0 A , f i
= f.
40
JUAN CLIMENT
= g prAN , prB k
= g prAN k, prB k
= g prAN k, h .
Falta demostrar que prAN k = idAN . Pero eso es consecuencia de que el diagrama
AN
ll6
l
l
hidA , 0 A i lll
lll
lll
l
l
lll
prAN k
A RRRR
RRR
RRR
RRR
RRR
hidA , 0 A i
RR(
AN
hprA , sc prN i
/ AN
prAN k
hprA , sc prN i
/ AN
/ N y g : Nn+2
Corolario 3.22. Si A = Nn , B = N, f : Nn
n+1
/ N tal que el diagrama:
una u
nica aplicaci
on h : N
n+1
6N
hidNn , 0 Nn i mmmmm
m
m
mmm
mmm
n
N QQQ
h
QQQ
QQQ
QQQ
f
QQ(
No
n
o idN sc
/ N, entonces hay
Nn+1
hidNn+1 , hi
Nn+2
INCOMPLETUD
41
Proposici
on 3.24 (Recursion primitiva sin parametros). Sea A un conjunto, e
/ A. Entonces hay una u
/ A tal que el
A y f: A N
nica aplicaci
on h : N
diagrama:
o
r8 N
0 rrrr
rrr
rrr
1 LLL
h
LLL
LLL
e LL
% o
A
sc
N
hh, idN i
AN
Proposici
on 3.25 (Recursion primitiva sin parametros para aplicaciones parcia/ A. Entonces hay una u
les). Sea A un conjunto, e A y f : AN
nica aplicaci
on
/
parcial h : N
A tal que:
1. 0 Dom(h) y h(0) = e.
2. Para cada n N, si n+ Dom(h), entonces h(n+ ) = f (h(n), n)).
3. Dom(h) = N o para un n N, Dom(h) = n+ y f (h(n), n) no est
a definido.
Demostraci
on.
Proposici
on 3.26 (Principio de la definicion por recursion de curso de valores).
/ A. Entonces hay una u
/A
Sea A un conjunto y f : A?
nica aplicaci
on h : N
tal que, para cada n N, h(n) = f (hn).
Demostraci
on.
Proposici
on 3.27.
1. Sea f : A
h: A N
/ B y g: A B
/ B. Entonces hay una u
nica aplicaci
on
/ B tal que el diagrama:
AN o
hidA , 0 A i oooo7
o
ooo
ooo
A OOO
h
OOO
OOO
f OOO'
Bo
idA sc
AN
hprA , hi
AB
42
JUAN CLIMENT
2. Sea f : A
h: A N
/ B y g: N B
/ B. Entonces hay una u
nica aplicaci
on
/ B tal que el diagrama:
AN
hidA , 0 A i oooo7
o
ooo
ooo
A OOO
h
OOO
OOO
f OOO'
Bo
o idA sc A N
hprN , hi
NB
/B
sc
o
N
r8 N
r
r
0 rr
rr
rrr
1 LLL
h
LLL
g
LLL
f LL&
B
conmuta, i.e., tal que:
a) (h(0) = f (0)).
b) n N (h(n+ ) = g(n)).
3.4. Caracterizaci
on de Lawvere de las
algebras de Dedekind-Peano.
Vamos a demostrar, en lo que sigue, que una condicion necesaria y suficiente
para que un triplo ordenado A = (A, f, e) en el que A es un conjunto, f una
endoaplicacion de A y e un miembro de A, sea un algebra de Dedekind-Peano, es
que A tenga la propiedad de la definicion por recursion finita, i.e., que si A0 es un
/ A0 , entonces exista una u
/ A0
conjunto, e0 A0 y f 0 : A0
nica aplicacion h : A
tal que el diagrama:
f
A
8Ao
q
q
e qqq
q
qq
qqq
1 LLL
h
h
LLL
LLL
e0 LL&
A0 o
A0
0
f
conmute.
De hecho, ya hemos demostrado que la condicion es necesaria. Para demostrar
la suficiencia hemos de demostrar que si A tiene la propiedad de la definicion por
recursion finita, entonces se cumple que:
f es inyectiva.
Im(f ) {e} = .
X A (( f [X] X e X ) X = A ).
Para ello, establecemos, en primer lugar, la siguiente definicion.
Definici
on 3.28. Si A tiene la propiedad de la definicion por recursion finita,
entonces denotamos por pd a la u
nica endoaplicacion de A para la que el diagrama:
INCOMPLETUD
43
f
Ao
A
8
r
e rrrr
rrr
rrr
pd
1 LLL
LLL
idA
L
e LLLL
&
A
conmuta, y la denominamos la aplicacion predecesor.
Proposici
on 3.29. Si A tiene la propiedad de la definici
on por recursi
on finita,
entonces
/ A es inyectiva.
1. La aplicaci
on f : A
2. Para cada a A, f (a) 6= e, i.e., Im(f ) {e} = .
3. Para cada X A, si f [X] X y e X, entonces X = A.
/ A es inyectiva es suDemostraci
on. Para demostrar que la aplicacion f : A
ficiente que tomemos en consideracion que, en la categora Set, las aplicaciones
inyectivas son exactamente los monomorfismos, i.e., las aplicaciones cancelables a
la izquierda, y que pd f = idA .
Para demostrar que Im(f ) {e} = , procedemos por reduccion al absurdo.
Supongamos que exista un a A tal que f (a) = e, i.e., tal que el diagrama:
r8 A
a rrrr
rrr
rrr
f
1 LLL
LLL
L
e LLLL
&
A
conmute. Entonces pd f a = pd e , luego idA a = e , i.e., a = e o, lo que
es equivalente, a = e, luego f e = f a = e .
Ahora bien, para 2 = (2, , ), siendo la aplicacion de 1 en 2 que a 0 le asigna
0 y la endoaplicacion de 2 que a 0 le asigna 1 y 1 le asigna 0, tenemos que hay
una u
nica aplicacion h de A en 2 tal que el diagrama:
o
r8 A
e rrrr
rrr
rrr
1 LLL
h
LLL
LL
LLL&
2o
A
h
44
JUAN CLIMENT
que el diagrama:
o
r8 A
e rrrr
rrr
rrr
1 LLL
h
LLL
L
e LLLL&
Xo
A
h
f X
conmuta.
Ahora bien, los diagramas:
o
p7 A
eppppp
ppp
ppp
1 NNN inX h
NNN
NN
e NNNN
' o
A
A
inX h
o
p7 A
eppppp
ppp
ppp
idA
1 NNN
NNN
NNN
e NNN
' o
A
A
idA
conmutan, luego, por la unicidad, inX h = idA , i.e., inX es sobreyectiva. Pero
como inX es inyectiva, es, en definitiva, biyectiva. Luego X = A.
INCOMPLETUD
S
xX
45
R x, si
R1 [X] X.
Denotamos por SecR (A) el conjunto de todas las R-secciones iniciales de A.
Proposici
on 3.31. El conjunto SecR (A), de todas las R-secciones iniciales de A,
es un sistema de clausura completamente aditivo sobre A, i.e., tiene las siguientes
propiedades:
1. A SecR (A).
T
2. X SecR (A) ( X
S 6= X SecR (A) ).
3. X SecR (A) ( X SecR (A) ).
Demostraci
on.
Definici
on 3.33. Sea A un conjunto y R una relacion binaria en A. Entonces
denotamos por CR el operador clausura sobre A, canonicamente asociado al sistema
de clausura completamente aditivo SecR (A), que asocia a cada subconjunto X de A,
CR (X), la mnima R-seccion inicial de A que contiene a X, a la que denominamos
el cierre inicial de X relativo a R. En particular, cuando X = {x}, con x A,
al cierre inicial de {x} lo denotamos, para abreviar, por CR (x), y lo denominamos
tambien, la R-seccion inicial principal determinada por x.
Proposici
on 3.34. Sea A un conjunto y R una relaci
on binaria en A, entonces el
operador CR , definido como:
/ Sub(A)
Sub(A)
T
CR
X
7 { Y SecR (A) | X Y }
tiene las siguientes propiedades:
Im(CR ) SecR (A).
{ X Sub(A) | X = CR (X) } = SecR (A).
CR es extensivo o inflacionario, i.e., para cada X Sub(A), X CR (X).
CR es is
otono, i.e., para cada X, Y Sub(A), si X Y , entonces se
cumple que CR (X) CR (Y ).
5. CR es idempotente, i.e., para cada X Sub(A), CR (X) = CR (CR (X)).
6. CR S
es completamente
aditivo, i.e., para cada X Sub(A), se cumple que
S
CR ( X ) = XX CR (X).
1.
2.
3.
4.
Proposici
on 3.35. Sea A un conjunto y R una relaci
on binaria en A, entonces
S
1. X A (CR (X) = S
xX CR (x)).
2. x A (CR (R x) = yR x CR (y)).
Proposici
on 3.36. Sea A un conjunto y R una relaci
on binaria en A. Si R es
transitiva, entonces, para cada x A, se cumple que
CR (x) =R x,
siendo R x = { a A | (a, x) R a = x }.
46
JUAN CLIMENT
Definici
on 3.39. Sea A un conjunto, R una relacion binaria en A, X un subconjunto de A y m X. Decimos que m es un R-minimal de X si R m X = . i.e.,
si no hay ning
un x X tal que (x, m) R.
Definici
on 3.40. Sea A un conjunto y R una relacion binaria en A. Decimos que
R es una relacion bien fundamentada sobre A si todo subconjunto no vaco X de A
tiene un R-minimal, i.e., si hay un m X tal que R mX = . Ademas, si X A,
diremos, para abreviar, que R esta bien fundamentada sobre X si R (X X) lo
esta sobre X, i.e., si todo subconjunto no vaco Y de X tiene un R (X X)minimal.
A continuacion establecemos la equivalencia entre el concepto de relacion bien
fundamentada, y un principio de demostracion por induccion.
Proposici
on 3.41. Sea A un conjunto y R una relaci
on binaria en A. Entonces
una condici
on necesaria y suficiente para que R este bien fundamentada sobre A
es que, para cada subconjunto X de A, X = A, si, para cada x A, x X, si
R x X, i.e., R est
a bien fundamentada si y s
olo si
X A (( x A ( R x X x X )) X = A )
on es necesaria. Sea X un subconjunto de A tal que para
Demostraci
on. La condici
cada x A, x X, si R x X. Si X 6= A, entonces A X 6= , luego, por
la hipotesis, existe un m A X tal que R m (A X) = , por lo tanto
R m A (A X) = X, as que m X, contradiccion. Por consiguiente A = X.
La condici
on es suficiente. Puesto que la condicion
X A (( x A(R x X x X )) X = A )
INCOMPLETUD
47
equivale a la condicion
Y A ( A Y 6= ( x A ( R x X x 6 Y )),
si X es un subconjunto no vaco de A, entonces, tomando como subconjunto Y de
A, el conjunto A X, y ya que X = A (A X) 6= , existe un x A tal que
R x A X y x 6 A X, luego hay un x A tal que R x A X y x X,
as que hay un x X tal que R x X = .
on binaria en A. Si R
Proposici
on 3.42. Sea A un conjunto y R una relaci
est
a bien fundamentada sobre A, entonces R es irreflexiva.
Demostraci
on.
Proposici
on 3.43. Sea A un conjunto
son equivalentes:
1. R est
a bien fundamentada sobre
2. R est
a bien fundamentada sobre
3. R est
a bien fundamentada sobre
y R una relaci
on binaria en A. Entonces
A.
cualquier R-secci
on inicial.
cualquier R-secci
on inicial principal.
Demostraci
on. Nos limitamos a demostrar que de la u
ltima condicion se deduce la
primera.
Supongamos que R este bien fundamentada sobre cualquier R-seccion inicial
principal y sea X un subconjunto no vaco de A. Por ser X no vaco, sea a X,
arbitrario, pero fijo. Entonces el conjunto Y = CR (a) X, que es un subconjunto
no vaco de CR (a), tiene, por hipotesis, un R-minimal m, i.e., hay un m Y
tal que R m Y = . Demostramos ahora que m es un R-minimal de X. En
efecto, por ser Y X, se cumple que m X. Ademas, R m X = , ya que
si R m X 6= , eligiendo un b R m X, tendramos que b CR (a), porque
(b, m) R y m CR (a); luego b R m Y , pero eso es imposible, debido a que
R m Y = . Por lo tanto R m X = , i.e., X tiene un R-minimal.
48
JUAN CLIMENT
toda Sc-seccion inicial principal CSc (n). Podemos pues afirmar que Sc esta bien
fundamentada sobre N.
Corolario 3.46. El cierre transitivo de Sc, denotado en este caso por < y denominado el orden aritmetico sobre N, es una relaci
on de orden bien fundamentada
sobre N.
Proposici
on 3.47. El orden aritmetico sobre N es disyuntivo, i.e., tiene la siguiente propiedad
m, n N (m 6= n (m < n n < m))
Demostraci
on. Sea n N, arbitrario, pero fijo. Demostramos, por induccion sobre
m, que el conjunto T definido como:
T = { m N | m = n m < n n < m },
coincide con N.
Se cumple que 0 T , porque al ser CSc1 (0) = N, tenemos que 0 n. Supongamos que m T . Si n m, entonces de n m y m < m+ , concluimos que
n < m+ . Si m < n, entonces hay un p N tal que p = m+ y n CSc1 (p), pero
CSc1 (p) = {p} CSc1 (Sc1 p), luego m+ n, por lo tanto m+ T . As que
T = N.
(porque Sc n+ = {n})
(por la prop. ??)
= {n} n
=n
INCOMPLETUD
49
Demostraci
on. Sea n N, entonces
< n = { m N | m < n }
(por definicion)
= { m N | m Sc(Sc n) }
(por definicion)
= {m N | m n}
=n
Proposici
on 3.52 (PDI a partir de un n
umero). Sea k N y X N. Si k X y
para cada n N, si cuando k n y n X, entonces n+ X, entonces { n N |
k n } X.
Demostraci
on.
Proposici
on 3.53 (PDI ascendente en un intervalo). Sean a, b N tales que a b
y X N. Si a X y para cada n N, si cuando a n < b y n X, entonces
n+ X, entonces [a, b] = { n N | a n n b } X.
Demostraci
on.
Proposici
on 3.54 (PDI descendente en un intervalo). Sean a, b N tales que
a b y X N. Si b X y para cada n N, si cuando a n < b y n+ X,
entonces n X, entonces [a, b] X.
Demostraci
on.
3.7. Caracterizaci
on ordinal del conjunto de los n
umeros naturales.
Con anterioridad caracterizamos al conjunto de los n
umeros naturales, dotado
de la estructura algebraica, dada por el cero y el sucesor, mediante la propiedad de
la definicion por recursion. Ahora nos proponemos caracterizar al conjunto de los
n
umeros naturales, dotado de la estructura ordinal, dada por el orden aritmetico,
mediante un par de propiedades ordinales adicionales, que tiene el orden sobre
el conjunto de los n
umeros naturales. Para ello definimos y estudiamos una serie
de conceptos, relativos a los conjuntos ordenados, u
tiles en s, y algunos de ellos
necesarios para establecer la caracterizacion ordinal antes mencionada.
Definici
on 3.55. Sea A un conjunto.
1. Un orden sobre A es una relacion binaria < en A tal que:
a) < es irreflexiva, i.e., a A (a 6< a).
b) < es transitiva, i.e., a, b, c A ((a < b b < c) a < c).
Denotamos al conjunto de los ordenes sobre A por Ord(A). Un conjunto
ordenado es un par ordenado (A, <), abreviado como A, en el que <
Ord(A).
2. Un orden lineal sobre A es una relacion binaria < en A tal que:
a) < es irreflexiva, i.e., a A (a 6< a).
b) < es transitiva, i.e., a, b, c A ((a < b b < c) a < c).
c) < es disyuntiva, i.e., a, b A (a 6= b (a < b b < a)).
50
JUAN CLIMENT
Denotamos al conjunto de los ordenes lineales sobre A por Lo(A). Un conjunto linealmente ordenado es un par ordenado (A, <), abreviado como A,
en el que < Lo(A).
Sea A un conjunto. Entonces que hay una correspondencia biunvoca entre el
conjunto Ord(A) y el conjunto de las relaciones binarias en A tales que:
1. es reflexiva, i.e., A .
2. es antisimetrica, i.e., a, b A ((a b b a) a = b).
3. es transitiva, i.e., .
Aunque el concepto de orden fue entendido, por parte de su introductor, Hausdorff, en el sentido irreflexivo, en virtud del resultado contenido en el ejercicio
anterior, seg
un el cual son indistinguibles las relaciones irreflexivas y transitivas de
las refexivas, antisimetricas y transitivas en un mismo conjunto, haremos uso del
concepto de orden que mas convenga a la situacion de que se trate.
Sea A un conjunto. Entonces que hay una correspondencia biunvoca entre el
conjunto Ord(A) y el conjunto de las relaciones binarias < en A tales que:
1. < es asimetrica, i.e., a, b A (a < b b 6< a).
2. < es transitiva, i.e., < <<.
El conjunto Ord(A), a su vez, se ordena por extension, conviniendo que un orden
0 sobre A extiende a otro orden sobre A, precisamente cuando 0 . Esto nos
va a permitir caracterizar a los ordenes lineales sobre A como aquellos ordenes sobre
A que sean maximales en el conjunto ordenado por extension Ord(A).
Proposici
on 3.56. Sea A un conjunto y Ord(A). Una condici
on necesaria y
suficiente para que sea un orden lineal sobre A es que sea maximal en Ord(A).
Demostraci
on.
Definici
on 3.57. Sean A y B dos conjuntos ordenados.
1. Una aplicaci
on is
otona de A en B es un triplo ordenado (A, , B), abre/ B, en el que es una aplicacion
viado como y denotado por : A
de A en B tal que
x, y A ( x y (x) (y) ).
2. Una aplicaci
on anttona de A en B es un triplo ordenado (A, , B), abre/ B, en el que es una aplicacion
viado como y denotado por : A
de A en B tal que
x, y A ( x y (y) (x) ).
Proposici
on 3.58. Sean A, B, C y D cuatro conjuntos ordenados y : A
/ D tres aplicaciones is
/C y : C
otonas. Entonces:
: B
1. Siendo idA = (A, idA , A), se cumple que idA : A
mo de A.
2. Siendo = (A, , C), se cumple que : A
is
otona de A en C.
/ B,
INCOMPLETUD
51
3. (Asociatividad). El diagrama:
( )
/BK
A KK
KK
KK
KK
KK
KK
KK
KK
KK
KK
KK
KKKK
KK
K%
/% D
C
;
( )
conmuta.
4. (Neutros). Los diagramas:
idA /
A
AE
EE
EE
EE
EEEE
E"
B
/B
AE
EE
EE
EE
EEEE idB
E"
B
conmutan.
La composicion de dos aplicaciones anttonas es una aplicacion isotona, y que la
composicion de una isotona y una anttona es anttona.
Definici
on 3.59. Sea A un conjunto ordenado, X A y a A.
aximo de A si, para cada x A, se cumple que
1. Decimos que a que es el m
x a.
2. Decimos de a es el mnimo de A si, para cada x A, se cumple que a x.
3. Decimos que a es un minorante o una cota inferior de X en A, y lo denotamos por a X, si, para cada x X, a x. Denotamos por Cinf A (X)
el conjunto de las cotas inferiores de X en A. Ademas, si Cinf A (X) 6= ,
entonces decimos que el conjunto X esta acotado inferiormente en A. Convenimos que Cinf A () = A.
4. Decimos que a que es un mayorante o una cota superior de X en A, y lo denotamos por X a, si, para cada x X, x a. Denotamos por CsupA (X)
el conjunto de las cotas superiores de X en A. Ademas, si CsupA (X) 6= ,
entonces decimos que el conjunto X esta acotado superiormente en A. Convenimos que CsupA () = A.
5. Si X es tal que Cinf A (X) 6= y CsupA (X) 6= , entonces decimos que X
esta acotado en A.
En un conjunto linealmente ordenado coinciden los conceptos de mnimo y de
minimal, as como los de maximo y de maximal
Sea A un conjunto ordenado y X A no vaca. Entonces
T
1. Cinf A (X) = TxX x.
2. CsupA (X) = xX x.
Definici
on 3.60. Sea A un conjunto linealmente ordenado y X una parte de A.
Decimos que X es un intervalo de A si, para cada a A y cada x, y X, si
x a y, entonces a A.
52
JUAN CLIMENT
Proposici
on 3.61. Sea A un conjunto linealmente ordenado y X una parte de
b = { a A | x, y X ( x a y ) } es un intervalo de A que
A. Entonces X
contiene a X y es el mnimo intervalo de A con dicha propiedad. Por lo tanto X
b
es un intervalo exactamente si X = X.
Demostraci
on.
Definici
on 3.66. Sea A un conjunto ordenado, X A y a A.
1. Decimos que a es el nfimo o el extremo inferior de X en A, si cumple las
siguientes condiciones:
a) Para cada x X, a x, i.e., a Cinf A (X).
b) Para cada b Cinf A (X), b a.
INCOMPLETUD
53
Demostraci
on.
Proposici
on 3.68. Sea W
A un conjuntoWordenado y X e Y dos subconjuntos de A
tales
que
existan
nf
X,
X, nf Y y Y . Si X Y , entonces nf Y nf X y
W
W
X Y.
Demostraci
on.
Proposici
on 3.69. Sea A un conjunto ordenado y (xi | i I) e (yi | i I) dos
familias en A tales que, para cada i I, xi yi . Entonces:
W
W
W
W
1. Si existen (xi | i I) y (yi | i I), entonces (xi | i I) (yi | i
I).
2. Si existen nf(xi | i I) e nf(yi | i I), entonces nf(xi | i I) nf(yi |
i I).
Demostraci
on.
Proposici
on 3.70. Sea A un conjunto ordenado, (xi | iS I) una familia en A y
(Jl | l L) una familia de subconjuntos de I tal que I = (Jl | l L). Entonces:
W
W
1. Si para cada lW W
L, existe (xi | i Jl ), entonces existe (xi | i I) si y
s
olo si existe ( (xi | i Jl ) | l L), y entonces
W
W W
(xi | i I) = ( (xi | i Jl ) | l L) .
2. Si para cada l L, existe nf(xi | i Jl ), entonces existe nf(xi | i I) si
y s
olo si existe nf(nf(xi | i Jl ) | l L), y entonces
nf(xi | i I) = nf (nf(xi | i Jl ) | l L) .
Demostraci
on.
54
JUAN CLIMENT
Proposici
on 3.72. Sea A un conjunto ordenado y X e Y dos subconjuntos de A
tales que X Y . Entonces:
W
W
W
1. Si
AX
W existen A X y WY X, siendo Y = (Y, (Y Y )), entonces
W
X.
Adem
a
s,
si
X
existe
y
pertenece
a
Y
,
entonces
X
existe
y
Y
A
Y
W
W
AX =
Y X.
2. Si existen nf A X y nf Y X, entonces nf Y X nf A X. Adem
as, si nf A X
existe y pertenece a Y , entonces nf Y X existe y nf A X = nf Y X.
Demostraci
on.
Proposici
on 3.73. Si un conjunto no vaco de n
umeros naturales est
a acotado
superiormente, entonces tiene un m
aximo.
Demostraci
on.
Definici
on 3.75. Un conjunto es finito si es isomorfo a un n
umero natural. En caso
contrario decimos que es infinito. Ademas, si A es un conjunto, Subfin (A) denota
el conjunto de los subconjuntos finitos de A.
Teorema 3.76 (Dirichlet). Ning
un n
umero natural es isomorfo a un subconjunto
estricto de s mismo.
Demostraci
on.
Proposici
on 3.81. Cualquier subconjunto de un conjunto finito es finito.
Proposici
on 3.82. Si A es un conjunto finito y F una funci
on, entonces F [A] es
finito. Adem
as, card(F [A]) card(A).
Demostraci
on.
INCOMPLETUD
55
Proposici
Son 3.83. Si A es un conjunto finito y cada miembro de A es finito,
entonces
A
as, si card(A) = n y A = { Xi | i n }, enS es finito. Adem
toncesScard( A) Sumin card(Xi ) y, si Xi Xj = cuando i 6= j, entonces
card( A) =Sumin card(Xi ).
Demostraci
on.
Proposici
on 3.84. Si A es un conjunto finito, entonces Sub(A) es finito. Adem
as,
se cumple que
card(Sub(A)) = 2card(A) .
Demostraci
on.
Proposici
on 3.85. Si A es un conjunto infinito, entonces, para cada n N, hay
una aplicaci
on inyectiva de n en A y no hay ning
un isomorfismo de n en A.
Demostraci
on.
Proposici
on 3.86. Si A y B son finitos, entonces A B es finito. Adem
as, se
cumple que
card(A B) = card(A) card(B).
Demostraci
on.
Proposici
on 3.87. Si los conjuntos A y B son finitos, entonces tambien los conjuntos Fnc(A, B), Pfnc(A, B) y Mfnc(A, B) son finitos.
Demostraci
on.
Definici
on 3.88. Sea A un conjunto. Decimos de A que es infinito numerable si
hay un isomorfismo entre A y N. Si tal es el caso, lo denotamos por card(A) = 0 .
Por otra parte, decimos de A que es numerable si A esta dominado por N. Si tal es
el caso, lo denotamos por card(A) 0 .
Proposici
on 3.89. Cualquier subconjunto infinito de un conjunto infinito numerable es infinito numerable.
Demostraci
on.
Proposici
on 3.92. El conjunto de los n
umeros naturales se puede representar
como la uni
on de un conjunto infinito numerable de conjuntos infinito numerables
Demostraci
on.
Usaremos esta u
ltimna proposicion en la teora de la recursion cuando definamos
la nocion de aplicacion de gran amplitud de Kouznetsov.
Proposici
on 3.93. La uni
on de dos conjuntos infinito numerables es un conjunto
infinito numerable. Por consiguiente, la uni
on de un conjunto finito de conjuntos
infinito numerables es infinito numerable.
Demostraci
on.
56
JUAN CLIMENT
n
),
si
para
cada
i
n,
A
es
infinito
numerable, entonces
i
i
Q
n
in Ai es infinito numerable; en particular, si A es infinito numerable, A es
infinito numerable.
Proposici
on 3.96. Sea ( An | n N ) una familia
de conjuntos tal que, para cada
S
n N, An 6= y An es numerable. Entonces nN An es numerable.
Demostraci
on.
n.
Teora de la recursio
INCOMPLETUD
57
En mathematiques, il est dusage dentendre par algorithmeune prescription precise, definissant un processus de calcul, conduisant `
a partir
de points de depart qui varient au resultat cherche.
A.A. Markov.
58
JUAN CLIMENT
caracter similar a otras hipotesis propuestas en las ciencias empricas, no es demostrable, y su fundamento u
ltimo reside en las equivalencias antes mencionadas.
Definimos y estudiamos en esta seccion las aplicaciones y relaciones recursivas
primitivas, lo cual nos permitira, en particular, dotar al conjunto de los n
umeros
naturales de una estructura algebraica, i.e., de unas operaciones finitarias (la adici
on y la multiplicacion, entre otras), que como puso de manifiesto Dedekind, son
definibles por recursion y sus propiedades demostrables por induccion, lo mismo que
ocurre con casi todas las operaciones aritmeticas usuales, y, que de hecho, tienen
la propiedad de caer bajo el concepto de aplicacion recursiva primitiva, estando,
ademas, tales operaciones finitarias sujetas a cumplir ciertas condiciones, expresadas ecuacional o implicacionalmente, y de modo que tal estructura sea compatible
con la buena ordenacion de que esta dotado el conjunto de los n
umeros naturales.
Conviene tambien se
nalar que el conjunto de las aplicaciones recursivas primitivas, considerado por primera vez por Godel, es una de las clases de aplicaciones
numericas (con argumentos y valores, n
umeros naturales), junto al de las aplicaciones recursivas (generales) y al de las aplicaciones parciales recursivas, que se
considera esta constituido por aplicaciones que son mecanicamente computables (si
no se toman en consideracion las limitaciones espacio-temporales, o si no se las
identifica con las aplicaciones que sean pragmaticamente computables), pace Blum,
Shub and Smale.
Puesto que el conjunto de las aplicaciones recursivas primitivas sera la union de la
mnima subalgebra heterogenea de una determinada algebra heterogenea, definimos
en primer lugar la signatura algebraica heterogenea del algebra heterogenea en
cuestion.
Definici
on 4.1. Denotamos por rp la N-signatura algebraica heterogenea, para
las aplicaciones recursivas primitivas, cuya coordenada (w, n)-esima, con (w, n)
N? N, es la definida como:
si w = y n = 0;
{0,0 },
{sc}
{pr
},
si w = y n = 1;
1,0
{ pr | i n }, si w = y n 2;
n,i
w,n =
m,n
{
},
si w = (m) f(n | i m) y m 1;
{
},
si w = (m) f(m + 2) y n = m + 1;
,
en cualquier otro caso.
Definici
on 4.2. Denotamos por Hrp (N , N) la rp -algebra heterogenea cuyo Nconjunto subyacente, Hrp (N , N), es (Hom(Nn , N) | n N), de modo que la coordenada n-esima es el conjunto de las aplicaciones de Nn en N, y en la que las
operaciones estructurales son:
1. 0,0 , la aplicacion constante 0-aria determinada por 0, que es la aplicacion
de N0 en N, que al u
nico miembro de N0 le asigna como valor 0.
2. sc, la aplicacion sucesor.
3. pr1,0 , la aplicacion identidad de N.
4. Para cada n 2 y cada i n, prn,i , la proyeccion canonica i-esima de Nn
en N.
5. Para cada m N1 y cada n N, m,n
on (geneC , el operador de composici
ralizada) de ariedad (m) f(n | i m) y coariedad n, que es la aplicacion de
Hom(Nm , N)(Hom(Nn , N))m en Hom(Nn , N) que a un par (f, (gi | i m))
n
del primero le asigna como valor la aplicacion m,n
C (f, (gi | i m)) de N
en N obtenida componiendo hgi | i mi y f .
on primitiva de ariedad
6. Para cada m N, m
R , el operador de recursi
(m) f(m + 2) y coariedad m + 1, que es la aplicacion de Hom(Nm , N)
INCOMPLETUD
59
algebra de H (N , N).
iI F es una sub
i
3. Si (F )iI es una familia no vaca de sub
algebras de Hrp (NS
, N), y si dados
i
j
i, j I, hay un k I tal que F F N F k , entonces iI F i es una
sub
algebra de Hrp (N , N).
Corolario 4.4. Para la rp -
algebra heterogenea Hrp (N , N), se cumple que la endoaplicaci
on SgHrp (N ,N) del conjunto SubN (Hrp (N , N)), de los N-subconjuntos de
Hrp (N , N), definida como:
3. SgHrp (N ,N) es extensiva, i.e., para cada X SubN (Hrp (N , N)), se cumple
que X N SgHrp (N ,N) (X ).
4. SgHrp (N ,N) es is
otona, i.e., para cada X , Y SubN (Hrp (N , N)), si X N Y,
entonces SgHrp (N ,N) (X ) N SgHrp (N ,N) (Y).
5. SgHrp (N ,N) es idempotente, i.e., para cada X SubN (Hrp (N , N)), se cumple que SgHrp (N ,N) (X ) = SgHrp (N ,N) (SgHrp (N ,N) (X )).
6. SgHrp (N ,N) es algebraica, i.e., para cada familia no vaca (X i )iI en el
conjunto SubN (Hrp (N , N)), si para cada
existe un k I tal que
S i, j I, S
X i X j N X k , entonces SgHrp (N ,N) ( iI X i ) = iI SgHrp (N ,N) (X i ).
60
JUAN CLIMENT
Por consiguiente, para cada X Hrp (N , N), SgHrp (N ,N) (X ), al que tambien denotamos por X , es el mnimo cerrado de Hrp (N , N) que contiene a X , y lo denominamos el cerrado de Hrp (N , N) generado por X .
Demostraci
on.
ARP(F) = ARP(F).
rp
mos, por una parte, que para cada N-subconjunto finito F de Hrp (N , N), ARP
ARP(F), i.e., que toda aplicacion recursiva primitiva es una aplicacion F-recursiva
primitiva y, por otra, que si F, G y H son tres N-subconjuntos
finitos de Hrp (N , N)
S
tales que F G H, y,S
ademas, toda aplicacion de nN Fn es G-recursiva primitiva yStoda aplicacion de nN Gn es H-recursiva primitiva, entonces toda aplicacion
de nN Fn es H-recursiva primitiva.
Proposici
on 4.6. Sea F = (Fn )nN un N-subconjunto finito de Hrp (N , N) y f
S
n
on necesaria y suficiente para que f
nN Hom(N , N). Entonces una condici
ARP(F) es que exista una sucesi
on de formaci
oSn para f relativa a rp y F, i.e.,
que exista un p N1, y una familia (fi )ip en nN Hom(Nn , N) tal que f = fp1
y, para cada i p, se cumpla que:
1.
2.
3.
4.
5.
6.
fi Fn , para alg
un n N, o
fi = 0,0 , o
fi = sc, o
fi = pr1,0 , o
fi = prn,j , para alg
un n 2 y alg
un j n, o
fi es m + 1-aria y fi = m
(f
,
f
j k ), para un j y un k i tales que fj sea
R
m-aria y fk sea m + 2-aria, o
INCOMPLETUD
61
7. fi es n-aria y fi = m,n
C (fj , (fk | m)), para un m N 1, un j i y
una familia (k | m) im tal que fj sea m-aria y, para cada m,
fk sea n-aria.
Demostraci
on. Sea L el N-subconjunto de Hrp (N , N) cuya coordenada n-esima, Ln ,
consta de todas las aplicaciones f Hom(Nn , N) para las que existe una sucesion
de formacion relativa a rp y F. Puesto que ARP(F) es la union de F, i.e., la
union del mnimo
cerrado de Hrp (N , N) que contiene a F, para demostrar que
S
ARP(F) nN Ln , sera suficiente que demostremos que L es un cerrado de
Hrp (N , N) y que contiene a F.
Se cumple que F N L, porque, dado un n N y un f Fn , la familia (fi )i1
con f0 = f , es una sucesion de formacion para f . Es evidente que 0,0 L0 , que
sc y pr1,0 L1 y que, para cada n 2 y cada j n, prn,j Ln . Ademas, dado
un m N 1, un n N, un f Lm y una m-familia (gj )jm en Ln , en virtud de
la definicion de L, tenemos que hay una sucesion de formacion (fi )inf para f y,
para cada j m, hay una sucesion de formacion (fj,i )inj para gj . Situacion que
resumimos, parcialmente, mediante la matriz:
f0
f1
...
fnf 1 = f
f0,0
f0,1
...
f0,n0 1 = g0
f1,0
f
...
f
=
g
1,1
1,n
1
1
1
..
..
.
.
.
.
.
.
.
.
fm1,0 fm1,1 ... fm1,nm1 1 = gm1
P
n
+1 y tomando como (hi )in la familia cuyo u
ltimo
Luego para n = nf +
j
jm
termino es m,n
erminos los formado por los de la
C (f, (gj | j m)) y siendo los otros t
matriz, recorridos de izquierda a derecha y de arriba abajo, se cumple que (hi )in es
m,n
una sucesion de formacion para m,n
C (f, (gj | j m)), luego C (f, (gj | j m))
Ln . Del mismo modo se demuestra que L esta cerrado bajo m
R . Por consiguiente
S
L es un cerrado de Hrp (N , N).
De
todo
ello
concluimos
que
ARP(F)
nN Ln .
S
N y f Ln . Entonces,
Demostramos ahora que nN Ln ARP(F). Sea n S
por definicion, hay un p N 1 y una familia (fi )ip en nN Hom(Nn , N) tal que
f = fp1 y, para cada i p, se cumple que fi Fn , para alg
un n N, o fi = 0,0 ,
o fi = sc, o fi = pr1,0 , o fi = prn,j , para alg
un n 2 y alg
un j n, o fi es
m + 1-aria y fi = m
(f
,
f
),
para
un
j
y
un
k
i
tales
que
f
sea
m-aria y fk sea
j
k
j
R
(f
,
(f
|
m)),
para
un
m N 1, un
m + 2-aria, o fi es n-aria y fi = m,n
j
k
C
j i y una familia (k )m im tal que fj sea m-aria y, para cada m, fk sea
n-aria.
Demostramos que f = fp1 ARP(F), por induccion sobre i p. Para i = 0,
f0 ARP(F), porque, en este caso, f0 o bien pertenece a Fn , para alg
un n N,
o bien es de la forma 0,0 , o sc, o pr1,0 , o prn,j , para alg
un n 2 y alg
un j n
y entonces f0 ARP(F), porque ARP(F) es la union del mnimo cerrado de
Hrp (N , N) que contiene a F. Sea k p y supongamos que i k, fi ARP(F).
Entonces, por definicion, fk Fn , para alg
un n N, o fk = 0,0 , o fk = sc, o
fk = pr1,0 , o fk = prn,j , para alg
un n 2 y alg
un j n, o fk es m + 1-aria y
fk = m
(f
,
f
),
para
un
u
y
un
v
k
tales
que
f
sea m-aria y fv sea m + 2-aria,
u
v
u
R
o fk es n-aria y fk = m,n
(f
,
(f
|
m)),
para
un m N 1, un j k y
j
k
C
una familia (k )m k m tal que fj sea m-aria y, para cada m, fk sea naria. Es evidente que en los cinco primeros casos fk ARP(F). En los dos u
ltimos
casos tambien fk ARP(F), porque al ser, por hipotesis, f0 , . . . , fk1 ARP(F),
tambien fu , fv y fk0 , . . . , fkm1 ARP(F), luego, ya que ARP(F) es la union del
mnimo cerrado de Hrp (N , N) que contiene a F, fk = m
R (fu , fv ) ARP(F) y
62
JUAN CLIMENT
fk = m,n
que, para cada
C (fj , (fk | m)) ARP(F). As
S k p, fk ARP(F),
luego, para k = p 1, f = fp1 ARP(F). Por lo tanto nN Ln ARP(F).
S
Corolario 4.7. Sea f nN Hom(Nn , N). Entonces una condici
on necesaria y
suficiente
para
que
f
ARP
es
que
exista
un
p
1,
y
una
familia
(fi )ip en
S
n
nN Hom(N , N) tal que f = fp1 y, para cada i p, se cumpla que:
1.
2.
3.
4.
5.
fi = 0,0 , o
fi = sc, o
fi = pr1,0 , o
fi = prn,j , para alg
un n 2 y alg
un j n, o
fi es m + 1-aria y fi = m
R (fj , fk ), para un j y un k i tales que fj sea
m-aria y fk sea m + 2-aria, o
6. fi es n-aria y fi = m,n
C (fj , (fk | m)), para un m N 1, un j i
y una familia (k | m) im tal que fj sea m-aria y, para cada p,
fk sea n-aria.
Corolario 4.8. El conjunto de las aplicaciones recursivas primitivas es infinito
numerable. Por consiguiente, la mayora de las aplicaciones numericas no son recursivas primitivas.
Corolario 4.9. El conjunto de las aplicaciones recursivas primitivas ceroarias
es infinito numerable. Adem
as, hay ninguna aplicaci
on recursiva primitiva unaria
/ N tal que, para cada n N, g(n) = fn , siendo { fn | n N } la imagen
g: N
de un isomorfismo entre N y el conjunto de las aplicaciones recursivas primitivas
ceroarias.
Corolario 4.10. El conjunto de las aplicaciones recursivas primitivas unarias es
/N
infinito numerable. Adem
as, no hay ninguna aplicaci
on recursiva primitiva g : N2
tal que, para cada n N, g(n, ) = fn , siendo { fn | n N } la imagen de un isomorfismo entre N y el conjunto de las aplicaciones recursivas primitivas unarias.
Demostraci
on. Hay al menos 0 de ellas, porque idN , sc, sc2 ,. . . , scn , . . . , son todas recursivas primitivas y dos a dos distintas. hay a lo sumo 0 de ellas, porque
son parte de las aplicaciones recursivas primitivas, de las que hay una infinidad
numerable.
/ N tal que,
Supongamos que exista una aplicacion recursiva primitiva g : N2
para cada n N, g(n, ) = fn . Entonces la endoaplicacion f = sc g hidN , idN i
de N, que a un n N le asigna g(n, n) + 1, es recursiva primitiva. Por lo tanto, hay
un n N, para el que f = fn , as que f (n) = fn (n) = g(n, n) y f (n) = g(n, n) + 1,
que es absurdo.
La segunda parte del corolario anterior se puede generalizar de modo que, para cada n
umero natural n 1, no hay ninguna aplicacion recursiva primitiva
/ N tal que, para cada x N, g(x, ) = fx , siendo { fx | x N } la
g : N1+n
imagen de un isomorfismo entre N y el conjunto de las aplicaciones recursivas primi/N
tivas n-arias. Porque si existiera una aplicacion recursiva primitiva g : N1+n
tal
que,
para
cada
x
N,
g(x,
)
=
f
,
entonces
la
aplicaci
o
n
f
=
sc
INCOMPLETUD
63
Proposici
on 4.11. La familia de aplicaciones (0,k )kN , que es la u
nica aplicaci
on
N0
de N en N tal que el diagrama:
o
p8 N
0 pppp
ppp
ppp
(0,k )kN
1 MMM
MMM
MMM
0,0 M&
0
NN o
sc
N
(0,k )kN
N0
0,1
N0 D
DD
DD 0,0
h0,0 i DDDD
DD
D"
/N
N1 pr
1,0
sc
#
N
/ N, que al u
Supongamos que la aplicacion constante 0,k : N0
nico miembro
0
de N le asigna k, para k 0 sea recursiva primitiva. Entonces la aplicacion cons/ N, que al u
tante 0,k+1 : N0
nico miembro de N0 le asigna k + 1, es recursiva
1,0
primitiva, porque 0,k+1 = C (sc, (0,k )), i.e., 0,1 es la composicion de h0,k i y
sc, o diagramaticamente:
0,k+1
N0 D
DD
DD 0,k
h0,k i DDDD
DD
D"
/
1
N
pr1,0 N
sc
#
N
Proposici
on 4.12. Para cada k N, la aplicaci
on constante 1,k : N1
1
a cualquier miembro de N le asigna k, es recursiva primitiva.
Demostraci
on. Lo es porque 1,k = 0R (0,k , pr2,1 ), o diagramaticamente:
/ N, que
64
JUAN CLIMENT
N0 F
N2
N1
FF
x
x
FF
xx
FF
1,k xxx
F
x
0,k FF
FF xxx pr2,1
" |x
N
/ N,
n,k
Nn KK
K
KKKKprn,0
KK
prn,0
KK
KK
KK
/% N
1
N
pr1,0
1,k
#
N
Con esto queda demostrado que todas las aplicaciones constantes son recursivas
primitivas. Ahora bien, si, e.g., respecto de la conjetura de Goldbach, seg
un la cual
cualquier n
umero natural par distinto del 2 es la suma de dos n
umeros primos,
que todava no ha sido demostrada, a pesar de que su verdad parece indudable,
definimos la endoaplicacion f de N como:
/ N
N
(
1, si la conjetura es verdadera;
f
00 [2 2 ][3 3 ][4 4 ] . . .
sea racio-
INCOMPLETUD
65
/ N, de formaci
Proposici
on 4.14. La aplicaci
on pd : N1
on del predecesor de
un n
umero natural, definida como:
1
/ N
N
(
0, si x = 0;
pd
x 7 pd(x) = y, si x = sc(y),
es recursiva primitiva.
Demostraci
on. Lo es porque pd = 0R (0,0 , pr2,0 ), o diagramaticamente:
N1
N0 F
N2
FF
x
x
FF
xx
FF
xx
pd
F
x
x
0,0 FF
FF xxx pr2,0
" |x
N
/ N, definida como:
Proposici
on 4.15. La diferencia modificada : N2
(
x 0 = x,
x sc(y) = pd(x y), si y 0,
es recursiva primitiva.
Demostraci
on. Lo es porque
aticamente:
= 1R (pr1,0 , 1,3
C (pd, (pr3,2 ))), o diagram
N1 F
N3
N2
FF
x
x
FF
xx
FF
xx
F
x
x
pr1,0 FF
FF xxx 1,3
C (pd, (pr3,2 ))
" |x
N
siendo 1,3
on de N3 en N obtenida como:
C (pd, (pr3,2 )) la aplicaci
1,3
C (pd, (pr3,2 ))
N3 JJ
JJ
JJJpr3,2
JJ
pr3,2
JJ
JJ
JJ
/% N
N1
pr1,0
pd
#
N
/ N, definida como:
Proposici
on 4.16. La suma + : N2
(
x + 0 = x,
x + sc(y) = sc(x + y), si y 0,
es recursiva primitiva.
Demostraci
on. Lo es porque + = 1R (pr1,0 , 1,3
aticamente:
C (sc, (pr3,2 ))), o diagram
66
JUAN CLIMENT
N1 F
N3
N2
FF
x
x
FF
xx
FF
xx
+
F
x
x
pr1,0 FF
FF xxx 1,3
C (sc, (pr3,2 ))
" |x
N
siendo 1,3
on de N3 en N obtenida como:
C (sc, (pr3,2 )) la aplicaci
1,3
C (sc, (pr3,2 ))
N3 JJ
JJ
JJJpr3,2
JJ
pr3,2
JJ
JJ
JJ
/% N
1
N
pr1,0
sc
#
N
/ N, definido como:
Proposici
on 4.17. El producto : N2
(
x 0 = 0,
x sc(y) = x y + x, si y 0,
es una aplicaci
on recursiva primitiva.
Demostraci
on. Lo es porque = 1R (1,0 , 2,3
aticaC (+, (pr3,2 , pr3,0 ))), o diagram
mente:
N1 F
N3
N2
FF
x
x
FF
x
FF
xx
xx2,3
x
1,0 FFF
FF xxx C (+, (pr3,2 , pr3,0 ))
" |x
N
on de N3 en N obtenida como:
siendo 2,3
C (+, (pr3,2 , pr3,0 )) la aplicaci
2,3
C (+, (pr3,2 , pr3,0 ))
N3 JJ
JJ
JJ(pr
J 3,2 , pr3,0 )
pr3,2 , pr3,0 JJJJ
JJ
JJ
/% N
2
N
(pr2,i )i2
+
&
N
/ N, definida como:
Proposici
on 4.18. La potenciacion pot : N2
(
x0 = 1,
xsc(y) = xy x, si y 0,
es una aplicaci
on recursiva primitiva.
INCOMPLETUD
67
Demostraci
on. Lo es porque pot = 1R (1,1 , 2,3
C (, (pr3,2 , pr3,0 ))), i.e., se cumple
que:
N1 F
N3
N2
FF
x
x
FF
xx
FF
xx
pot
F
x
x
1,1 FF
FF xxx 2,3
C (, (pr3,2 , pr3,0 ))
" |x
N
siendo 2,3
on de N3 en N obtenida como:
C (, (pr3,2 , pr3,0 )) la aplicaci
2,3
C (, (pr3,2 , pr3,0 ))
N3 JJ
JJ
JJ(pr
J 3,2 , pr3,0 )
pr3,2 , pr3,0 JJJJ
JJ
JJ
/% N
2
N
(pr2,i )i2
&
N
Proposici
on 4.19. Para cada n 1 y cada i n, la aplicaci
on scn,i de Nn en N
n
que a un x N le asigna sc(xi ), es recursiva primitiva.
Demostraci
on. Lo es porque scn,i = 1,n
C (sc, (prn,i )).
/ N, definida como:
Proposici
on 4.20. La aplicaci
on factorial fac : N2
(
0! = 1,
sc(y)! = y! sc(y), si y 0,
es una aplicaci
on recursiva primitiva.
Demostraci
on. Lo es porque fac = 0R (0,1 , 2,2
C (, (pr2,1 , sc2,0 ))), i.e., se cumple
que:
N0 F
N3
N2
FF
x
x
FF
xx
FF
xx
fac
F
x
x
0,1 FF
FF xxx 2,2
C (, (pr2,1 , sc2,0 ))
" |x
N
siendo 2,2
on de N2 en N obtenida como:
C (, (pr2,1 , sc2,0 )) la aplicaci
2,2
C (, (pr2,1 , sc2,0 ))
N2 JJ
JJ
JJ(pr
JJ 2,1 , sc2,0 )
JJ
pr2,1 , sc2,0
JJ
JJ
J%
/N
2
N
(pr2,i )i2
&
N
68
JUAN CLIMENT
/ N
Nn
(
1, si (xi | i n) R;
chR
/ 2, el caracter de R, e in2 : 2
/ N,
Definici
on 4.21. Sea F una subalgebra heterogenea finitamente generada de
Hrp (N , N) y R Nn , i.e., una relacion n-aria sobre N. Decimos que R es una
relacion recursiva primitiva relativa a F, o que es una relacion F-recursiva primitiva si su aplicacion caracterstica chR ARP(F). Al conjunto de las relaciones
F-recursivas primitivas lo denotamos por RRP(F).
En particular, decimos que R es una relacion recursiva primitiva si chR ARP.
Al conjunto de las relaciones recursivas primitivas lo denotamos por RRP.
Si F y G son dos subalgebras heterogeneas finitamente generadas de Hrp (N , N)
tales que F G y R Nn es una relacion F-recursiva primitiva, entonces R es Grecursiva primitiva. Por consiguiente, para cada subalgebra heterogenea finitamente
generada F de Hrp (N , N), se cumple que RRP RRP(F), i.e., que toda relacion
recursiva primitiva es F-recursiva primitiva.
Proposici
on 4.22. Para cada n N 1, el conjunto de las relaciones recursivas primitivas n-arias es infinito numerable. Por consiguiente, la mayora de las
relaciones en N no son recursivas primitivas.
Demostraci
on.
INCOMPLETUD
69
Demostraci
on. m,n
C (Q, (fi )im ) es hfi iim [Q]
Proposici
on 4.24. Sea m N 1, n N, (fi )im una familia de aplicaciones en
/ N, Q una relaci
la que, para cada i m, fi : Nn
on m-aria y F una sub
algebra
heterogenea finitamente generada de Hrp (N , N). Si, para cada i m, fi es Frecursiva primitiva y Q es una relaci
on F-recursiva primitiva, entonces la relaci
on
n-aria m,n
(Q,
(f
)
)
en
N
es
F-recursiva
primitiva.
i im
C
m,n
Demostraci
on. Porque chm,n
(Q,(fi )im ) = C (chQ , (fi )im ).
C
m))
en
N
es
recursiva
primitiva.
la relaci
on n-aria m,n
i
C
Proposici
on 4.26. Sea n N, R una relaci
on n-aria en N y F una sub
algebra
heterogenea finitamente generada de Hrp (N , N). Si R es F-recursiva primitiva,
entonces la negacion de R, a la que denotamos por Ngn (R) y que es la relaci
on
n-aria Nn R en N, es F-recursiva primitiva.
Demostraci
on. Porque chNgn (R) = 1 chR .
Proposici
on 4.31. Sean m, n y t N tales que t > m, n, : m _ / t, : n _ / t,
P una relaci
on m-aria en N, Q una relaci
on n-aria en N y F una sub
algebra heterogenea finitamente generada de Hrp (N , N). Si P y Q son F-recursivas primitivas,
entonces la conjuncion generalizada de P y Q relativa a (, , t), a la que denotamos
por Cjm,n
on t-aria Rl (P ) Rl (Q) en N es F-recursiva
,,t (P, Q) y que es la relaci
primitiva.
70
JUAN CLIMENT
Demostraci
on.
/ t, : n _
/ t,
Corolario 4.32. Sean m, n y t N tales que t > m, n, : m _
P una relaci
on m-aria en N, Q una relaci
on n-aria en N. Si P y Q son recursivas
primitivas, entonces la relaci
on t-aria Cjm,n
,,t (P, Q) en N es recursiva primitiva.
Proposici
on 4.33. Sea n N, P y Q dos relaciones n-arias en N y F una sub
algebra heterogenea finitamente generada de Hrp (N , N). Si P y Q son F-recursivas
primitivas, entonces la disyuncion de P y Q, a la que denotamos por Djn (P, Q) y
que es la relaci
on n-aria P Q en N es F-recursiva primitiva.
Demostraci
on.
Demostraci
on.
/ t, : n _
/ t,
Corolario 4.36. Sean m, n y t N tales que t > m, n, : m _
P una relaci
on m-aria en N, Q una relaci
on n-aria en N. Si P y Q son recursivas
primitivas, entonces la relaci
on t-aria Djm,n
,,t (P, Q) en N es recursiva primitiva.
Proposici
on 4.37. Sea F una sub
algebra heterogenea finitamente generada de
Hrp (N , N) y n N. Entonces el conjunto de las relaciones n-arias en N Frecursivas primitivas es una sub
algebra Booleana del
algebra Booleana Sub(Nn ).
Adem
as, Subfin (Nn ) est
a incluido en tal sub
algebra Booleana.
Demostraci
on.
/N
Nm pr
m,i
conmuta. De modo que pr asigna a cada x Nn , la m-tupla (x(i) )im .
Proposici
on 4.40. Sean q, r N y una aplicaci
on estrictamente creciente
de q en r + q. Entonces hay una u
nica aplicaci
on estrictamente creciente c , la
complementaria de , de r en r + q tal que:
1. Im() Im(c ) = .
2. Im() Im(c ) = r + q.
Demostraci
on.
INCOMPLETUD
71
Definici
on 4.41. Sean q, r N, una aplicacion estrictamente creciente de q en
r + q y L una relacion r-aria en N. Entonces el cilindro en Nr+q elevado sobre L
a lo largo de los ejes , al que denotamos por Cyl (L), es la imagen inversa de L
bajo prc . De modo que:
Cyl (L) = { x Nr+q | (xc (j) | j r) L }
Proposici
on 4.42. Sean q, r N, una aplicaci
on estrictamente creciente de q
en r + q, L una relaci
on r-aria en N y F una sub
algebra heterogenea finitamente
generada de Hrp (N , N). Si L es F-recursiva primitiva, entonces la relaci
on r + qaria Cyl (L) en N (el cilindro en Nr+q elevado sobre L a lo largo de los ejes ),
es F-recursiva primitiva.
Demostraci
on.
72
JUAN CLIMENT
/ N, a N y F una sub
Proposici
on 4.50. Sea f : Nn
algebra heterogenea finirp
Proposici
on 4.55. Sean m, n N, (fi )im una familia de aplicaciones en la
/ N, (Ri )im una familia de relaciones n-arias
que, para cada i m, fi : Nn
S
tal que, para cada i, j m, si i 6= j, entonces Ri Rj = y im Ri = Nn
y F una sub
algebra heterogenea finitamente generada de Hrp (N , N). Si, para cada i m, fi es F-recursiva primitiva y Ri es F-recursiva primitiva, entonces
m,n
DC ((fi )im , (Ri )im ) Fn .
Demostraci
on. Porque m,n
DC ((fi )im , (Ri )im ) = f0 chR0 +. . .+fm1 chRm1 .
INCOMPLETUD
3.
4.
Qn+1
<
Qn+1
73
(x, y) 7
(f (x, z) | z y).
/ N, y F una sub
Proposici
on 4.58. Sean n N, f : Nn+1
algebra heterogenea
Pn+1
rp
2. n+1
on existencial limitado amplio, es la endo , el operador de cuantificaci
n+1
aplicacion de Sub(N
) que a una relacion n + 1-aria R en N le asigna la
relacion n + 1-aria
n+1
3. n+1
on universal limitado estricto, es la endo< , el operador de cuantificaci
aplicacion de Sub(Nn+1 ) que a una relacion n + 1-aria R en N le asigna la
relacion n + 1-aria
n+1
<
(R) = { (x, y) Nn+1 | z < y ((x, z) R) }.
4. n+1
on universal limitado amplio, es la endo , el operador de cuantificaci
aplicacion de Sub(Nn+1 ) que a una relacion n + 1-aria R en N le asigna la
relacion n + 1-aria
n+1
Proposici
on 4.61. Sean n N, R Nn+1 , y F una sub
algebra heterogenea finitamente generada de Hrp (N , N). Si R es F-recursiva primitiva, entonces n+1
< (R),
n+1
n+1
n+1
(R),
(R)
y
(R)
son
F-recursivas
primitivas.
<
Demostraci
on.
N
(
min{ z < y | (x, z) R }, si z < y ((x, z) R);
n+1
< (R)
(x, y) 7 0,
en caso contrario.
74
JUAN CLIMENT
2. n+1
on limitado amplio, es la aplicacion de
, el operador de minimizaci
n+1
n+1
Sub(N
) en Hom(N
, N) que a una relacion n + 1-aria R en N le asigna
la aplicacion
n+1
/ N
N
(
n+1
min{ z y | (x, z) R }, si z y ((x, z) R);
(R)
(x, y) 7 0,
en caso contrario.
Proposici
on 4.64. Sean n N, R Nn+1 , y F una sub
algebra heterogenea finitamente generada de Hrp (N , N). Si R es F-recursiva primitiva, entonces n+1
< (R)
n+1
y
(R) son F-recursivas primitivas.
Demostraci
on.
finitamente generada de H (N , N). Si f es F-recursiva primitiva y hay una apli/ N tal que, para cada x Nn , f (x) g(x),
caci
on F-recursiva primitiva g : Nn
entonces f es F-recursiva primitiva.
Demostraci
on.
/ N y L un subconjunto infinito de
Definici
on 4.69 (Kouznetsov). Sea f : N
N. Decimos que f es una enumeraci
on directa de L si Im(f ) = L y, ademas, f es
extensiva, i.e., para cada n N, n f (n).
/ N una enuProposici
on 4.70. Sea L un subconjunto infinito de N, f : N
meraci
on directa de L y F una sub
algebra heterogenea finitamente generada de
Hrp (N , N). Si f es F-recursiva primitiva, entonces L es F-recursiva primitiva.
Demostraci
on.
INCOMPLETUD
75
El conjunto de los n
umeros naturales se puede representar como la union de una
infinidad numerable de conjuntos infinito numerables y dos a dos disjuntos, e.g.,
para la familia (Xn | n N) de subconjuntos de N definida como:
(
{0} { 2k + 1 | k N }, si n = 0;
Xn =
{ 2n m | m X0 {0} }, si n 1,
S
se cumple que N = nN Xn , que los conjuntos Xn son dos a dos disjuntos y que
cada uno de ellos es infinito numerable.
Se cumple que X0 Xn = , si n 1, porque 0 6 Xn y porque los elementos de
Xn son todos pares, ya que empiezan por 2n , siendo n 1. Ademas, Xm Xn = ,
si m, n 1 y m 6= n, porque, suponiendo que m < n, entonces hay un p 1 tal
que m + p = n. Por lo tanto, si a Xm Xn , a = 2m x y a = 2n y, con x e y
impares, luego 2m x = 2m 2n y, de donde x = 2p y, pero x es impar y 2p y es
par, que es una contradiccion.
Definici
on 4.75. Sea f es una endoaplicacion de N. Decimos que f es una aplicacion de gran amplitud si para cada n N, hay un M N tal que card(M ) = 0 y
para cada m M , f (m) = n.
S
Puesto que N = nN Xn , siendo los conjuntos Xn infinito numerables y dos a
dos disjuntos, la endoaplicacion f de N que a un x N le asigna el u
nico n N tal
que x Xn , es una aplicacion de gran amplitud.
Proposici
on 4.76. Sea f es una endoaplicaci
on de N. Entonces son equivalentes:
1. f es una aplicaci
on de gran amplitud.
2. Para cada n N, card(f 1 [{n}]) = 0 .
3. Hay una relaci
on de equivalencia sobre N tal que, para cada n N,
card([n] ) = 0 .
Demostraci
on.
|y
/N
o
N pr
N2 pr
2,1
2,0
conmuta. Puesto que pr2,0 y pr2,1 son sobreyectivas, f y g tambien lo son.
Nos limitamos a demostrar que f tiene todas las fibras infinitas, debido a que
el argumento para demostrar lo mismo de g, es identico. Supongamos que no sea
ese el caso, i.e., que exista un n N tal que f 1 [n] = { xn,0 , . . . , xn,p1 }, con
p > 0. Entonces, para cada i p, hf, gi (xn,i ) = (n, g(xn,i )). Veamos que hay un
(x, y) N2 tal que, para cada k N, hf, gi (k) 6= (x, y). En efecto, sea y un n
umero
natural distinto de g(xn, ), para cada i p, entonces para (x, y) = (n, y), tenemos
que, para cada k N, hf, gi (k) 6= (n, y), porque si, para alg
un k N, tuvieramos
que hf, gi (k) = (n, y), entonces, por ser hf, gi (k) = (f (k), g(k)), tendramos que
f (k) = n y g(k) = y, luego, de f (k) = n, que k debera ser igual a uno de entre
los elementos de f 1 [n], por ejemplo a xn,i , y entonces que g(xn,i ) = y, pero eso es
imposible, ya que, para cada i p, g(xn,i ) 6= y.
76
JUAN CLIMENT
Corolario 4.78. Sea m N tal que m 2 y (fi )im una familia de aplicaciones
/ Nm
tal que, para cada i m, fi sea una endoaplicaci
on de N. Si hfi iim : N
es sobreyectiva, entonces, para cada i m, fi es una aplicaci
on de gran amplitud.
Demostraci
on.
N=
..., ..., ..., ..., ...,...
xn,0 , xn,1 , xn,2 , . . . , xn,i , . . .
..., ..., ..., ..., ...,...
y dos filas distintas son disjuntas, definimos la endoaplicacion g de N como la u
nica
para la que cada uno de los diagramas:
f 1 [n]
S
inn
1
/
[n]
nN f
MMM
MMM
MM
g
gn MMMMM
MMM
&
N
Proposici
on 4.80. Si f es una endoaplicaci
on de N recursiva primitiva y de gran
amplitud, entonces hay una endoaplicaci
on g de N recursiva primitiva tal que hf, gi
es una biyecci
on de N en N2 .
Demostraci
on.
Proposici
on 4.81. Sea m 1. Entonces hay situaciones de Cantor para m que
son recursivas primitivas, i.e., hay un par ordenado ( m , (jm )jm ) en el que m
es una aplicaci
on recursiva primitiva de Nm en N y, para cada j m, jm una
endoaplicaci
on recursiva primitiva de N tal que:
m
1. hjm ijm = idN .
2. hjm ijm m = idNm .
Adem
as, hay situaciones de Cantor para m recursivas primitivas ( m , (jm )jm )
tales que:
1. Para cada j m y para cada n N, jm (n) n.
/ N tal que, para cada x
2. Hay una aplicaci
on recursiva primitiva : N2
N y cada y N, si, para cada j m, xj y, entonces m (x) (y, m).
Demostraci
on.
Proposici
on 4.82. Sea m 1. Si tanto ( m , (jm )jm ) como ( m , ( m
j )jm ) son
situaciones de Cantor para m recursivas primitivas, entonces hay una endoaplicaci
on recursiva primitiva de N tal que m = m .
INCOMPLETUD
Demostraci
on.
77
Proposici
on 4.83. Hay una biyecci
on (natural) entre el conjunto de las aplicaciones de N 1 en N? {} y el conjunto de los pares ordenados (0 , 1 ) en
los que 0 es una endoaplicaci
on parcial de N tal que Dom(0 ) = N 1 y, para cada t SDom(0 ), 0 (t) 1 y 1 una aplicaci
on parcial de N2 en N tal que
Dom(1 ) = tN1 {t} 0 (t). Por consiguiente hay una biyecci
on (natural) entre
el conjunto de las aplicaciones de N en N? tales que (0) = y el mismo conjunto
de pares ordenados de aplicaciones parciales.
Demostraci
on.
Definici
on 4.84. Sea una aplicacion de N en N? tal que (0) = . Decimos que
es una representaci
on recursiva primitiva de N en N? si el par ordenado (0 , 1 ),
que le corresponde, en virtud de la biyeccion (natural) anterior, es tal que hay
/N y
un par ordenado ( 0 , 1 ) de aplicaciones recursivas primitivas, con 0 : N
2
/
1 : N
N, para el que se cumple que:
1. Para cada t N, 0 (t) = 0 (t).
2. Para cada t N 1 y cada j 0 (t), 1 (t, j) = 1 (t, j)
Proposici
on 4.85. Hay una biyecci
on (natural) entre el conjunto de las biyecciones
de N? en N tales que () = 0 y el conjunto de los pares ordenados (0 , 1 ) en los
que 0 es una endoaplicaci
on inyectiva de N tal que, para cada x N, 0 (x) 6= 0 y
1 una aplicaci
on sobreyectiva de N2 en N tal que, para cada x, y N, 1 (x, y) = 0
si y s
olo si x = 0 e y = 0.
Demostraci
on.
Definici
on 4.86. Sea una aplicacion de N en N tal que () = 0. Decimos que
es una representaci
on recursiva primitiva de N? en N si el par ordenado (0 , 1 ),
que le corresponde, en virtud de la biyeccion (natural) anterior, es tal que 0 y 1
son aplicaciones recursivas primitivas.
Definici
on 4.87. Sea una aplicacion de N en N? y una aplicacion de N? en
N. Decimos que (, ) es una representaci
on isomorfa recursiva primitiva entre N
y N? si = idN , = idN? , es una representacion recursiva primitiva de N
en N? y una representacion recursiva primitiva de N? en N.
Proposici
on 4.88. Hay una representaci
on isomorfa recursiva primitiva entre N
y N? .
Demostraci
on.
78
JUAN CLIMENT
anillo Sub(Nn ). Tambien demostramos que las relaciones recursivamente enumerables se conservan bajo la formacion de imagenes directas e inversas mediante la
aplicacion determinada por una familia de aplicaciones recursivas primitivas, as como que la proyeccion de una relacion recursivamente enumerable es recursivamente
enumerable.
Definici
on 4.89. Sea m N y R Nm , i.e., una relacion m-aria en N. Decimos
que R es una relacion recursivamente enumerable si hay un n N, una relacion
recursiva primitiva m + n-aria S en N y una aplicacion estrictamente creciente
/ m + n tal que pr [S] = R. Al conjunto de las relaciones recursivamente
: m
enumerables lo denotamos por RRE.
Proposici
on 4.90. Para cada n N 1, el conjunto de las relaciones n-arias en
N recursivamente enumerables es infinito numerable. Por consiguiente, el conjunto
RRE es infinito numerable. De donde se deduce que la mayora de las relaciones
en N no son recursivamente enumerables.
Demostraci
on.
Proposici
on 4.91. Toda relaci
on en N que sea recursiva primitiva es recursivamente enumerable.
Demostraci
on.
on m-aria en N recursivamente
Proposici
on 4.93. Sean m, n N, R una relaci
/ n una aplicaci
enumerable y : m
on estrictamente creciente. Entonces pr [R]
es una relaci
on m-aria en N recursivamente enumerable.
Demostraci
on.
Proposici
on 4.94. Sea m N y R una relaci
on m-aria en N. Una condici
on
necesaria y suficiente para que R sea recursivamente enumerable es que exista una
relaci
on m + 1-aria S en N tal que S sea recursiva primitiva y R = m (S), i.e.,
para cada x Nm , x R precisamente si hay un y N tal que (x, y) S.
Demostraci
on.
Proposici
on 4.95. Sea m N1, n N, (fi )im una familia de aplicaciones en la
/ N y R una relaci
que, para cada i m, fi : Nn
on m-aria. Si, para cada i m,
fi es una aplicaci
on recursiva primitiva y R es una relaci
on recursivamente enumerable, entonces la relaci
on n-aria m,n
(R,
(f
|
i
m))
en N es recursivamente
i
C
enumerable.
Demostraci
on.
Proposici
on 4.96. Sea n N y P y Q dos relaciones n-arias en N. Si P y Q
son recursivamente enumerables, entonces la relaci
on n-aria Cjn (P, Q) en N es
recursivamente enumerable.
Demostraci
on.
INCOMPLETUD
79
Proposici
on 4.97. Sean m, n y t N tales que t > m, n, : m _ / t, : n _ / t,
P una relaci
on m-aria en N, Q una relaci
on n-aria en N. Si P y Q son recursivamente enumerables, entonces la relaci
on t-aria Cjm,n
,,t (P, Q) en N es recursivamente
enumerable.
Demostraci
on.
Proposici
on 4.98. Sea n N y P y Q dos relaciones n-arias en N. Si P y
son recursivamente enumerables, entonces la relaci
on n-aria Djn (P, Q) en N
recursivamente enumerable.
/ t, : n _
Proposici
on 4.99. Sean m, n y t N tales que t > m, n, : m _
Q
es
Demostraci
on.
/ t,
P una relaci
on m-aria en N, Q una relaci
on n-aria en N. Si P y Q son recursivamente enumerables, entonces la relaci
on t-aria Djm,n
,,t (P, Q) en N es recursivamente
enumerable.
La negacion no conserva, en general, la propiedad de una relacion de ser recursivamente enumerable. Este es un hecho central de la teora de las relaciones
recursivamente enumerables y, en el fondo, sobre el se fundamentan todos los ejemplos de inexistencia de algoritmos.
Proposici
on 4.100. Sea n N. Entonces el conjunto de las relaciones n-arias
en N recursivamente enumerables es un anillo de subconjuntos del anillo Sub(Nn ).
Adem
as, Subfin (Nn ) est
a incluido en tal anillo de subconjuntos.
Demostraci
on.
on estrictamente creciente de
Proposici
on 4.101. Sean q, r N, una aplicaci
q en r + q y L una relaci
on r-aria en N recursivamentre enumerable. Entonces la
relaci
on r + q-aria Cyl (L) en N (el cilindro en Nr+q elevado sobre L a lo largo de
los ejes ), es recursivamentre enumerable.
Demostraci
on.
Proposici
on 4.102. Sean m, n N, L una relaci
on m-aria en N y M una relaci
on
n-aria en N. Si L y M son recursivamentre enumerables, entonces la concatenaci
on de L y M , L f M , que es una relaci
on m + n-aria en N, es recursivamentre
enumerable.
Demostraci
on.
Proposici
on 4.103. Sea m N, una permutaci
on de m y L una relaci
on maria en N. Si L es recursivamentre enumerable, entonces Rl (L) es recursivamentre
enumerable.
Demostraci
on.
Proposici
on 4.104. Sea m N, n N 1, (fi )in una familia de aplicaciones
/ N, L una relaci
en la que, para cada i n, fi : Nm
on m-aria en N y M una
relaci
on n-aria en N. Si, para cada i n, fi es recursiva primitiva, y L y M son
1
recursivamente enumerables, entonces hfi iin [L] y hfi iin [M ] son recursivamente
enumerables
Demostraci
on.
Proposici
on 4.105. Sea n N 1 y L N no vaco. Entonces una condici
on
necesaria y suficiente para que L sea recursivamente enumerable es que exista una
familia de aplicaciones (fi )in en la que, para cada i n, fi sea una endoaplicaci
on
de N recursiva primitiva tal que L = Im(hfi iin ). En particular, una condici
on
80
JUAN CLIMENT
Proposici
on 4.106. Sean n N y R Nn+1 . Si R es recursivamente enumen+1
n+1
n+1
rable, entonces n (R), n+1
< (R), (R), < (R) y (R) son recursivamente
enumerables.
Demostraci
on.
INCOMPLETUD
81
Demostraci
on. Decimos que un subconjunto G de Nm+1 N es (f, g)-admisible si
cumple las siguientes condiciones:
1. Para cada x Nm , si f esta definida en x, entonces (x, 0, f (x)) G.
2. Para cada (x, y, z) Nm+1 N, si (x, y, z) G y g esta definida en (x, y, z),
entonces (x, y + 1, g(x, y, z)) G.
Es evidente que Nm+1 N es (f, g)-admisible y que la interseccion de cualquier
familia no vaca de conjuntos (f, g)-admisibles, es (f, g)-admisible. Por lo tanto
existe el mnimo conjunto (f, g)-admisible: precisamente la interseccion de todos
ellos, al que denotamos por H.
Ahora demostramos que:
1.
2.
82
JUAN CLIMENT
INCOMPLETUD
83
pero fijo y tal que (x0 , y 0 , z 0 ) G y g esta definida en (x0 , y 0 , z 0 ). Es evidente que
(x0 , y 0 + 1, g(x0 , y 0 , z 0 )) H, porque G H.
Falta demostrar que (x0 , y 0 + 1, g(x0 , y 0 , z 0 )) 6= (x, y + 1, w). Supongamos que
ambos pares ordenados coincidan, entonces x0 = x, y 0 = y y g(x, y, z 0 ) = w. As que
(x, y, z 0 ) = (x0 , y 0 , z 0 ) H, porque (x0 , y 0 , z 0 ) G H y x0 = x e y 0 = y, que
contradice el que, para cada z N, (x, y, z) 6 H. Por lo tanto (x, y + 1, w) 6 H.
A partir de lo anterior, por induccion sobre y, se demuestra que, para cada
x Nm y cada y N, hay a lo sumo un z N tal que (x, y, z) H. Entonces
nica aplicacion parcial de Nm+1 en N cuyo dominio de definicion es:
m
R (f, g) es la u
m+1
Dom(m
| z N ((x, y, z) H) },
R (f, g)) = { (x, y) N
cada x Nm y cada y N, m
(f
)(x)
=
y
precisamente
si
f
(x,
y)
=
0
y,
para
cada
Df (xi | i m) = y N z y
.
& f (x0 , . . . , xm1 , y) = 0
Entonces m
nica aplicacion parcial de Nm en N cuyo dominio de defini (f ) es la u
cion es:
m
Dom(m
(f )) = { (xi | i m) N | Df (xi | i m) 6= },
y que a un (xi | i m) Dom(m
(f )) le asigna como valor:
m
(f )(xi | i m) = min(Df (xi | i m))
m
(f )
As pues,
esta definida en (xi | i m) si y solo si hay un y N tal
que, para cada z y, la aplicacion parcial f esta definida en (x0 , . . . , xm1 , z) y
f (x0 , . . . , xm1 , y) = 0; en cuyo caso m
(f )(xi | i m) es precisamente el primer
y N con tal propiedad.
Podra parecer razonable definir m
on
(f ) conviniendo que su dominio de definici
sea:
m
Dom(m
(f
))
=
(x
|
i
m)
N
y
N
,
i
& f (x , . . . , x
, y) = 0
0
m1
(x, y) Dom(f )
Dom(g) = x N y N
,
& f (x, y) = 0
84
JUAN CLIMENT
y que a un x Dom(g) le asigna como valor el primer y N tal que (x, y) Dom(f )
y f (x, y) = 0, se cumple que Dom(g) = N y que g no es parcial recursiva, ya que si
lo fuera, sera recursiva y puesto que, para cada x N, g(x) = 0 si y solo si x A,
A sera recursivo, contradiccion.
Definici
on 4.110. Denotamos por pr la N-signatura algebraica heterogenea, para
las aplicaciones parciales recursivas, cuya coordenada (w, n)-esima, con (w, n)
N? N, es la definida como:
{0,0 },
si w = y n = 0;
{sc} {pr1,0 }, si w = y n = 1;
{ prn,i | i n }, si w = y n 2;
w,n = {m,n
si w = (m) f(n | i m) y m 1;
C },
{
},
si
w = (m) f(m + 2) y n = m + 1;
m
{ },
si w = (m + 1) y n = m;
,
en cualquier otro caso.
Definici
on 4.111. Denotamos por Hpr (N , N) la pr -algebra heterogenea cuyo
N-conjunto subyacente Hpr (N , N) es (Homp (Nn , N))nN y en la que las operaciones
estructurales son:
1. 0,0 , la aplicacion constante 0-aria determinada por 0, que es la aplicacion
de N0 en N, que al u
nico miembro de N0 le asigna como valor 0.
2. sc, la aplicacion sucesor.
3. pr1,0 , la aplicacion identidad de N.
4. Para cada n 2 y cada i n, prn,i , la proyeccion canonica i-esima de Nn
en N.
5. Para cada m N 1 y cada n N, m,n
on
C , el operador de composici
(generalizada) de ariedad (m) f(n | i m) y coariedad n, que es la aplicacion de Homp (Nm , N) (Homp (Nn , N))m en Homp (Nn , N) que a un par
(f, (gi | i m)) del primero le asigna como valor la aplicacion parcial
n
m,n
C (f, (gi | i m)) de N en N obtenida componiendo hgi | i mi y f .
m
6. Para cada m N, R , el operador de recursi
on primitiva de ariedad
(m) f(m + 2) y coariedad m + 1, que es la aplicacion de Homp (Nm , N)
Homp (Nm+2 , N) en Homp (Nm+1 , N) que a un par (f, g) del primero le asigm+1
na como valor la aplicacion parcial m
en N obtenida de f
R (f, g) de N
y g por recursion primitiva.
7. Para cada m N, m
on de ariedad (m + 1) y
, el operador de minimizaci
coariedad m, que es la aplicacion de Homp (Nm+1 , N) en Homp (Nm , N) que
/ N del primero le asigna como valor
a una aplicacion parcial f : Nm+1
m
/
la aplicacion parcial m
(f
)
:
N
N,
obtenida de f por minimizacion.
En la definicion anterior, para simplificar la notacion, hemos identificado las operaciones formales heterogeneas con sus realizaciones en el N-conjunto (Homp (Nn , N) |
n N).
Puesto que disponemos del concepto de subalgebra de un algebra heterogenea,
para la pr -algebra heterogenea Hpr (N , N), un N-subconjunto F = (Fn )nN del
N-conjunto subyacente (Homp (Nn , N))nN de Hpr (N , N), sera una subalgebra precisamente cuando cumpla las siguientes condiciones:
0,0 F0 .
sc F1 .
pr1,0 F1 .
Para cada n 2 y cada i n, prn,i Fn .
INCOMPLETUD
85
F
.
m
Debido a que lo que es cierto para todas las algebras heterogeneas, lo es de las
de una signatura determinada, tenemos las siguientes proposiciones.
Proposici
on 4.112.
1. (Homp (Nn , N) |)nN es una sub
algebra de Hpr (N , N).
i
a de sub
algebras de Hpr (N , N), entonces
2. Si
T (F )iiI es una familia no vac
pr
algebra de H (N , N).
iI F es una sub
3. Si (F i )iI es una familia no vaca de sub
algebras de Hpr (NS
, N), y si dados
i
j
i, j I, hay un k I tal que F F N F k , entonces iI F i es una
sub
algebra de Hpr (N , N).
Corolario 4.113. Para la pr -
algebra heterogenea Hpr (N , N), se cumple que la
endoaplicaci
on SgHpr (N ,N) del conjunto SubN (Hpr (N , N)), de los N-subconjuntos de
Hpr (N , N), definida como:
3. SgHpr (N ,N) es extensiva, i.e., para cada X SubN (Hpr (N , N)) se cumple
que X N SgHpr (N ,N) (X ).
4. SgHpr (N ,N) es is
otona, i.e., para cada X , Y SubN (Hpr (N , N)), si X N Y,
entonces SgHpr (N ,N) (X ) N SgHpr (N ,N) (Y).
5. SgHpr (N ,N) es idempotente, i.e., para cada X SubN (Hpr (N , N)) se cumple
que SgHrp (N ,N) (X ) = SgHpr (N ,N) (SgHpr (N ,N) (X )).
6. SgHpr (N ,N) es algebraica, i.e., para cada familia no vaca (X i )iI en SubN (Hpr (N , N)),
si para cadaSi, j I, existe
un k I tal que X i X j N X k , entonces
S
i
SgHpr (N ,N) ( iI X ) = iI SgHpr (N ,N) (X i ).
Por consiguiente, para cada X Hpr (N , N), SgHpr (N ,N) (X ) es el mnimo cerrado de Hpr (N , N) que contiene a X , y lo denominamos el cerrado de Hpr (N , N)
generado por X .
Demostraci
on.
86
JUAN CLIMENT
mos, por una parte, que para cada N-subconjunto finito F de Hpr (N , N), APR
APR(F), i.e., que toda aplicacion parcial recursiva es una aplicacion parcial Frecursiva y, por otra, que si F, G y H son tres N-subconjuntos finitos
de Hpr (N , N)
S
tales que F G H, y, ademas, toda S
aplicacion parcial de nN Fn es parcial
G-recursiva y toda aplicaci
o
n
parcial
de
nN Gn es parcial H-recursiva, entonces
S
toda aplicacion parcial de nN Fn es parcial H-recursiva.
Proposici
on 4.115.
Sea F = (Fn )nN un N-subconjunto finito de Hpr (N , N)
S
on necesaria y suficieny adem
as f nN Homp (Nn , N). Entonces una condici
te
para
que
f
APR(F)
es
que
exista
un
p
1,
y
una familia (fi )ip en
S
n
Hom
(N
,
N)
tal
que
f
=
f
y,
para
cada
i
p,
se
cumpla
que:
p
p1
nN
1.
2.
3.
4.
5.
6.
fi Fn , para alg
un n N, o
fi = 0,0 , o
fi = sc, o
fi = pr1,0 , o
fi = prn,j , para alg
un n 2 y alg
un j n, o
fi es m + 1-aria y fi = m
(f
,
f
j k ), para un j y un k i tales que fj sea
R
m-aria y fk sea m + 2-aria, o
7. fi es m-aria y fi = m
(fj ), para un j i tal que fj sea m + 1-aria, o
8. fi es n-aria y fi = m,n
C (fj , (fk )m ), para un m N 1, un j i y una
familia (k )m im tal que fj sea m-aria y, para cada p, fk sea
n-aria.
S
Corolario 4.116. Sea f nN Homp (Nn , N). Entonces una condici
on necesaria
ySsuficiente para que f APR es que exista un p N 1, y una familia (fi )ip en
n
nN Homp (N , N) tal que f = fp1 y, para cada i p, se cumpla que:
fi = 0,0 , o
fi = sc, o
fi = pr1,0 , o
fi = prn,j , para alg
un n 2 y alg
un j n, o
fi es m + 1-aria y fi = m
(f
,
f
), para un j y un k i tales que fj sea
j
k
R
m-aria y fk sea m + 2-aria, o
6. fi es m-aria y fi = m
(fj ), para un j i tal que fj sea m + 1-aria, o
7. fi es n-aria y fi = m,n
C (fj , (fk )m ), para un m N 1, un j i y una
familia (k )m im tal que fj sea m-aria y, para cada p, fk sea
n-aria.
1.
2.
3.
4.
5.
INCOMPLETUD
87
88
JUAN CLIMENT
con el. En u
ltima instancia no es lo mismo aceptar el conjunto de los n
umeros naturales como un todo acabado, completo, un infinito actual, que aceptar un sistema
potencialmente infinito, un sistema abierto, susceptible de aumentar sin fin.
Hay algunos autores que se toman la libertad, injustificada, de identificar la
hip
otesis fundamental de la teora de la recursion de Church-Turing-Kleene, que no
es un teorema matematico y, por lo tanto, no tiene sentido plantearse la demostraci
on de la misma, en todo caso justificarla o refutarla; con el teorema matematico
que establece la equivalencia entre diferentes formalizaciones matematicas del concepto no matematico de computabilidad, como, por ejemplo, que las maquinas
matematicas de Post-Turing, que en modo alguno son maquinas fsicas, ya que se
hace abstraccion de las limitaciones espacio-temporales y energeticas, los algoritmos
normales de Markoff, los sistemas canonicos de Post, etc, son equivalentes ente s,
i.e., definen el mismo conjunto de aplicaciones parciales de potencias de los n
umeros naturales en los n
umeros naturales. Con ello tales autores falsean la historia, al
hacer una identificacion que nadie ha sostenido, se confunden, al hacer la identificacion entre una hipotesis y un teorema matematico, y, lo que es peor, inducen a
error a los demas.
El autor de estas notas no ha leido en ninguno de los trabajos de los estudiosos de
la teora de la recursion, desde, e.g., Church, Godel, Kleene, Kolmogoroff, Markoff,
Post, Rosser, Shanin, Turing, etc, hasta, e.g., Davis, Friedman, Lacombe, Odifreddi,
Saks, Shoenfield, Soare, etc, que alguno de ellos haga la identificacion anterior, todos
tratan de justificar la hipotesis haciendo girar sus argumentos, esencialmente, sobre
la estabilidad del conjunto de las aplicaciones parciales recursivas, en el sentido de
que las diferentes definiciones son equivalentes, salvo Kalmar que trata de refutarla.
Abundando en lo dicho conviene recordar lo dicho por Lacombe:
Il est bien evident que beaucoup de theories mathematiques ont ete construites (au moins initialment) pour reproduir- et, partant, pour approfondir- la structute de certains domains extra-mathematiques. Autrement dit, une notion mathematique donne constitue souvent une traduction abstraite(ou, comme on dit parfois, une formalisation) de
certains phenom`enes concretes. Dans le cas des fonctions recursives,
ces phenom`enes concrets sont dordre perimathematique.
Convenons de designer par le mot perimathematique les questions
qui portent sur la mathematique consideree comme un fait. Ces questions, lorsquon les envisage directament, ne sont evidentment pas dordre
mathematique, quelle que soit lextension quon donne `
a ce dernier terme.
On peut - tr`es grossi`erement - separer les probl`emes perimathematiques en deux groupes principaux: dune part ceux qui concernent les
notions (intuitives) denonce mathematique et de demonstration (do`
u
lon deduit la notion de theor`eme), dautre part ceux qui concernent les
questions de calculabilite effective et de decidabilite effective. La reproduction mathematique des concepts du premier groupe seffectue gr`
ace
a
` des syst`emes formels adequats; quant aux concepts du second groupe, nous nous proposons de montrer, comme la notion de recursivite en
constitue une traduction mathematique satisfaisant.
Il nous faut dabord pr`eciser quelque peu, sur le plan pratique( ou
intuitive) le contenu concret de cette notion perimathematiquedeffectivite.
Une application de Np dans N est dite effectivement calculable
sil existe un procede general et uniforme, defini une fois pour toutes, permettant de passer de chaque p-uplet (x0 , . . . , xp1 ) `
a la valeur
(x0 , . . . , xp1 ) au moyen dune suite finie et effectivement determinee
doperations effectivement realisables.
Une telle definitionnoffre evidentment aucun sens mathematique
precis. Il ne saurait en etre autrement, puisquil ne sagit pas dune notion
INCOMPLETUD
89
90
JUAN CLIMENT
Definici
on 4.124. Sea m N y n 1. Una representaci
on parcial recursiva de
Nm en Nn es una aplicacion parcial f de Nm en Nn para la que existe una familia
de aplicaciones parciales (fi )in en la que, para cada i n, fi es una aplicacion
parcial recursiva de Nm en N tal que f = hfi iin , siendo hfi iin la u
nica aplicacion
parcial de Nm en Nn tal que:
1. Para cada i n, prn,i hfi iin fi .
2. Para cada aplicacion parcial h de Nm en Nn , si, para cada i n, prn,i h
fi , entonces h hfi iin .
Teorema 4.125 (generalizado del grafo). Sea m N n 1 y f una representaci
on parcial de Nm en Nn . Una condici
on necesaria y suficiente para que f sea una
representaci
on parcial recursiva es que f sea una relaci
on recursivamente enumerable.
Demostraci
on.
INCOMPLETUD
91
una sub
algebra heterogenea de Hrp (N , N). Si, para cada i m, fi es una aplicaci
on parcial recursiva y Q es una relaci
on recursivamente enumerable, entonces la
relaci
on n-aria m,n
(Q,
(f
)
)
en
N
es
recursivamente enumerable.
i im
C
Demostraci
on.
Proposici
on 4.128. Sean m, n N, (fi )im una familia de aplicaciones parciales
/ N, (Ri )im una familia de relaciones nen la que, para cada i m, fi : Nn
S
arias tal que, para cada i, j m, si i 6= j, entonces Ri Rj = y im Ri = Nn .
Si, para cada i m, fi es una aplicaci
on parcial recursiva y Ri es recursivamente
enumerable, entonces m,n
((f
)
,
(R
on parcial recursiva.
i
im
i )im ) es una aplicaci
DC
Demostraci
on.
92
JUAN CLIMENT
que el diagrama:
o
n7 N
0 nnnnn
n
nnn
nnn
1 OOO (f x )xN
OOO
OO
idN OOO'
End(N) o
sc
N
(f x )xN
End(N)
en el que 0 es la aplicaci
on que al u
nico miembro de 1 le asigna 0, idN la aplicaci
on
que al u
nico miembro de 1 le asigna idN y F la aplicaci
on definida como:
/ End(N)
End(N)
F
g
7 g f
conmuta.
Demostraci
on.
End(N) o
sc
N
(fx )xN
End(N)
/ End(N)
End(N)
/ N
N
F
t
7 F (t)
y 7 ty+1 (1)
conmuta. De modo que f0 = sc y, si 0 x, fx+1 asigna a un y N, fx+1 (y) =
fxy+1 (1).
/ End(N) N con evN,N : End(N)
A la composicion de (fx )xN idN : N N
/ N, la denotamos por g, as que, para cada (x, y) N N, g(x, y) = fx (y).
N
Proposici
on 4.138. Para cada x N, se cumple que fx : N
ci
on recursiva primitiva.
/ N es una aplica-
Demostraci
on. Observemos que fx+1 se obtiene por recursion a partir de la aplica/ N.
/ N y de fx pr2,1 : N2
cion fx (1) : N0
Definici
on 4.139. Denotamos por Ack la correspondencia de N N en N definida
como:
INCOMPLETUD
93
Demostraci
on. Por induccion sobre x.
Para x = 0 se cumple que, para cada y N, hay un u
nico z N tal que
Ack(x, y) = z, ya que, en este caso, Ack(0, y) = y + 1.
Supongamos que para 0 x se cumpla que para cada y N, hay un u
nico z N
tal que Ack(x, y) = z. Demostramos entonces que para x + 1 tambien se tiene que
para cada y N, hay un u
nico z N tal que Ack(x + 1, y) = z, por induccion sobre
y.
Para y = 0 se cumple que hay un u
nico z N tal que Ack(x + 1, 0) = z, ya que
en este caso, Ack(x + 1, 0) = Ack(x, 1).
Supongamos que para 0 y se cumpla que hay un u
nico z N tal que Ack(x +
1, y) = z. Entonces para y + 1 hay un u
nico z N tal que Ack(x + 1, y + 1) = z.
Por lo tanto, para cada y N, hay un u
nico z N tal que Ack(x + 1, y) = z.
De donde podemos afirmar que, para cada x N y para cada y N, hay un u
nico
z N tal que Ack(x, y) = z.
Proposici
on 4.141. Se cumple que Ack coincide con la aplicaci
on g de N N en
N que a un (x, y) N N, le asigna fx (y).
Demostraci
on. Por induccion sobre x.
Base de la inducci
on principal. Para x = 0 y para cada y N, se cumple que
g(0, y) = f0 (y)
=y+1
= Ack(0, y).
Hip
otesis de la inducci
on principal. Supongamos que para 0 x se cumpla que,
para cada y N, g(x, y) = fx (y) = Ack(x, y). Demostramos entonces que para x+1
tambien se tiene que, para cada y N, g(x + 1, y) = Ack(x + 1, y), por induccion
sobre y.
Base de la inducci
on subordinada. Para y = 0 se cumple que
g(x + 1, 0) = fx+1 (0)
= fx1 (1)
= fx (1)
= g(x, 1)
= Ack(x, 1) Hipot. ind. prin..
Hip
otesis de la inducci
on subordinada. Supongamos que para 0 y se cumpla
que g(x + 1, y) = Ack(x + 1, y). Entonces
g(x + 1, y + 1) = fx+1 (y + 1)
= fxy+2 (1)
= fx (fxy+1 (1))
= fx (fx+1 (y))
= fx (g(x + 1, y))
= Ack(x, g(x + 1, y))
94
JUAN CLIMENT
INCOMPLETUD
95
Lema 4.143. Para cada r N y cada (cj )jr Nr , hay un c N tal que, para
cada y N, se cumple que
P
jr Ack(cj , y) Ack(c, y).
Demostraci
on. Si r = 0, es suficiente tomar c = 0,P
ya que 0 < sc(0) = Ack(0, y).
Si r = 1, es suficiente tomar c = c0 , ya que
j1 Ack(cj , y) = Ack(c0 , y)
Ack(c0 , y).
Para r = 0, 1, el resultado es obvio, as que la base de la induccion ha de ser
r = 2. En este caso sea d = max{c0 , c1 } y c = d+4. Entonces Ack(c0 , y) Ack(d, y)
y Ack(c1 , y) Ack(d, y), luego
Ack(c0 , y) + Ack(c1 , y) 2Ack(d, y)
< 2Ack(d, y) + 3.
Pero 2Ack(d, y) + 3 = Ack(2, Ack(d, y)), Ack(d, y) < Ack(d + 3, y), por ser Ack
estrictamente creciente en la primera variable, Ack(2, Ack(d, y)) < Ack(2, Ack(d +
3, y)), por ser Ack estrictamente creciente en la segunda variable, y Ack(2, Ack(d +
3, y)) < Ack(2 + d, Ack(d + 3, y)). De las dos u
ltimas desigualdades obtenemos que
Ack(2, Ack(d, y)) < Ack(2 + d, Ack(d + 3, y)).
Ahora bien, por la definicion de Ack, tenemos que
Ack(2 + d, Ack(d + 3, y)) = Ack(d + 3, y + 1),
y, puesto que Ack(x, y + 1) Ack(x + 1, y), Ack(d + 3, y + 1) Ack(d + 4, y), pero
Ack(d + 4, y) = Ack(c, y), as que Ack(c0 , y) + Ack(c1 , y) Ack(max{c0 , c1 } + 4, y).
Supongamos que para 2 r y cada (cj )jr Nr , exista un c N tal que, para
cada y N, se cumpla que
P
jr Ack(cj , y) Ack(c, y).
Sea (cj )jr+1 Nr+1 . Entonces, para cada y N,
P
P
jr+1 Ack(cj , y) = (
jr Ack(cj , y)) + Ack(cr , y),
luego,
por la hipotesis de induccion, hay un c N tal que, para cada y N,
P
Ack(c
j , y) Ack(c, y), por lo tanto, para cada y N,
jr
P
jr Ack(cj , y) + Ack(cr , y) Ack(c, y) + Ack(cr , y),
de donde, por la base de la induccion, hay un d N tal que,
P para cada y N,
Ack(c, y) + Ack(cr , y) Ack(d, y), as que, para cada y N, jr+1 Ack(cj , y)
Ack(d, y). Podemos pues afirmar que, para cada r N y cada (cj )jr Nr , hay un
c N tal que, para cada y N, se cumple que
P
jr Ack(cj , y) Ack(c, y).
96
JUAN CLIMENT
in xi ),
n
entonces hay un d N tal que, para cada (xi )in N , se cumple que
P
P
f (xi | i n) + in xi < Ack(d, in xi ).
Demostraci
on. Sea (xi )in Nn , puesto que
P
P
f (xi | i n) + in xi = f (xi | i n) + in prn,i (xi | i n),
P
P
f (xi | i n) < Ack(c, in xi ) y, para cada i n, prn,i (xi | i n) < Ack(0, in xi ),
tenemos que
P
P
P
f (xi | i n) + in prn,i (xi | i n) < Ack(c, in xi ) + nAck(0, in xi ),
luego para un d N se cumple que, para cada (xi )in Nn ,
P
P
P
Ack(c, in xi ) + nAck(0, in xi ) < Ack(d, in xi ),
as que, para cada (xi )in Nn ,
f (xi | i n) +
in xi
< Ack(d,
in xi ).
/ N hay un c N
Demostraci
on. Sean n, c N. Entonces denotamos por Fn,c el conjunto de las aplin
/ N para las que se cumple que, para cada(xi )in Nn , f (xi | i
caciones f : NP
S
S
n) < Ack(c, jn xi ). Ademas, denotamos por FAck el conjunto nN cN Fn,c .
Para demostrar el lema es suficiente que demostremos que FAck contiene a las aplicaciones recursivas primitivas basicas y que esta cerrado bajo los operadores de
composicion y de recursion primitiva.
Se cumple que 0,0 FAck , porque, para c = 0, tenemos que 0 < Ack(0, 0) = 1.
Se cumple que sc FAck , porque, para c = 1, tenemos que, para cada y N,
sc(y) = Ack(0, y) y ademas, para cada y N, por ser Ack estrictamente creciente
en la primera variable, Ack(0, y) < Ack(1, y), luego, para cada y N, sc(y) <
Ack(1, y).
Se cumple que, para cada n N 1 y cada j n, prn,j FAck , porque,
n
para c P
= 0, tenemos
P que, para cada (yi )in N , prn,j (yi | i n) = yj <
Ack(0, in yi ) = in yi + 1.
Demostramos ahora que FAck esta cerrado bajo los operadores de composicion.
m
Sea 1 m, n N, g FAck Hom(Nm , N) y (hj )jm FAck
Hom(Nn , N)m .
m
Entonces
Phay un cg N tal que, para cada (xj )jm N , g(xj | j m) <
Ack(cg , jm xj ) y, para cada j m, hay un chj N tal que, para cada (yi )in
P
Nn , hj (yi | i n) < Ack(chj , in yi ). Sea m,n
on de g
C (g, (hj )jm ) la composici
y (hj )jm . Puesto que, para cada (yi )in Nn y cada j m, hj (yi | i n) N y
g FAck , se cumple que
P
m,n
C (g, (hj )jm )(yi | i n) < Ack(cg ,
jm hj (yi | i n)),
pero, ya que, para cada j m,
Phay un chj N tal que, para cada (yi )in n
n
N
,
h
(y
|
i
n)
<
Ack(c
,
yi ), tenemos que, para cada (yi )in N ,
j
i
h
j
in P
P
P
h
(y
|
i
n)
<
Ack(c
,
j
i
h
j
jm
jm
in yi ). Por lo tanto, por ser Ack estrictamente creciente en la segunda variable, tambien se cumple que
P
P
P
Ack(cg , jm hj (yi | i n)) < Ack(cg , jm Ack(chj , in yi )).
INCOMPLETUD
97
Pero dado que, para cada r N y cada (cj )jr Nr , hay un c N tal que, para
cada y N, se cumple que
P
jr Ack(cj , y) Ack(c, y),
para P
r = m y (cj )jm
P = (chj )jm ), hay
P un c N tal que, para cada (yi )in n
Nn ,
Ack(c
,
y
)
Ack(c,
para cada (yi )in N ,
h
i
j
jm
in
in yi ), luego,
P
P
P
Ack(cg , jm Ack(chj , in yi )) Ack(cg , Ack(c, in yi )), pero c < cg + c + 1,
as que, por ser AckPestrictamente creciente en
P la primera variable, para cada
(yi )in Nn , Ack(c, in yi ) < Ack(cg + c + 1, in yi ), luego, por ser Ack estrictamente creciente en la segunda variable, para cada (yi )in Nn , tenemos que
P
P
Ack(cg , Ack(c, in yi )) < Ack(cg , Ack(cg + c + 1, in yi )).
Puesto que cg cg + c, para cada (yi )in Nn , se cumple que
P
P
Ack(cg , Ack(cg + c + 1, in yi )) Ack(cg + c, Ack(cg + c + 1, in yi )),
as que
Ack(cg , Ack(c,
in yi ))
Ack(cg + c, Ack(cg + c + 1,
in yi )),
pero, por la definicion de Ack, para cada (yi )in Nn , tenemos que
P
P
Ack(cg + c, Ack(cg + c + 1, in yi ) = Ack(cg + c + 1, ( in yi ) + 1).
Puesto que, para cada x, y N, Ack(x, y + 1) Ack(x + 1, y), tenemos que, para
cada (yi )in Nn , se cumple que
P
P
Ack(cg + c + 1, ( in yi ) + 1) Ack(cg + c + 2, in yi ),
de donde m,n
C (g, (hj )jm ) FAck .
Demostramos ahora que FAck esta cerrado bajo los operadores de recursion. Sea
m N, g FAck Hom(Nm , N) y h FAck Hom(Nn , N)m+2 . Entonces
hay
P
un cg N tal que, para cada (xj )jm Nm , g(xj | j m) < Ack(cg , jm xj )
m+2
y hay un
, h(xj | j m + 2) <
Pch N tal que, para cada (xj )jm+2m N
Ack(ch , jm+2 xj ). Vamos a demostrar que R (g, h) FAck , i.e., que hay un
c N tal que, para cada ((xj )jm , y) Nm+1 , se cumple que
P
m
R (g, h)((xj )jm , y) < Ack(c,
jm xj + y).
Por el lema anterior, para g, hay un dg N tal que, para cada (xj )im Nm , se
cumple que
P
P
g(xj | j m) + jm xj < Ack(dg , jm xj ),
y, por el mismo lema, para h, hay un dh N tal que, para cada (xj )im+2 Nm+2 ,
se cumple que
P
P
h(xj | j m + 2) + jm+2 xj < Ack(dh , jm+2 xj ).
m+1
Vamos a demostrar que
,
Phay un c N tal que,
P para cada ((xj )jm , y) N
m
R (g, h)((xj )jm , y) + jm xj + y < Ack(c, jm xj + y), por induccion sobre y.
Sea (xj )jm Nm , arbitrario pero fijo.
Para y = 0 tenemos que
P
P
m
R (g, h)((xj )jm , 0) +
jm xj + 0 = g(xj | j m) +
jm xj + 0,
P
P
pero g(xj | j m)+ jm xj < Ack(dg , jm xj ) y, puesto que dg < max{dg , dh }+
1, tenemos que
P
P
Ack(dg , jm xj ) < Ack(max{dg , dh } + 1, jm xj ),
as que
m
R (g, h)((xj )jm , 0) +
jm xj
+ 0 < Ack(max{dg , dh } + 1,
jm xj
+ 0).
98
JUAN CLIMENT
Entonces
m
R (g, h)((xj )jm , y + 1) +
jm xj
+y+1
= h((xj )jm , y, m
R (g, h)((xj )jm , y)) +
jm xj
+ y + 1.
jm xj
+y
< Ack(max{dg , dh } + 1,
jm xj
+ y),
jm xj
+ y)) + 1,
jm xj
+ y)),
por lo tanto
Ack(dh , Ack(max{dg , dh } + 1,
jm xj
+ y)) + 1
Ack(max{dg , dh }, Ack(max{dg , dh } + 1,
jm xj
+ y)) + 1,
pero
Ack(max{dg , dh }, Ack(max{dg , dh } + 1,
jm xj
+ y))
= Ack(max{dg , dh } + 1,
jm xj
+ y + 1),
INCOMPLETUD
99
as que
Ack(max{dg , dh }, Ack(max{dg , dh } + 1,
jm xj
+ y)) + 1
P
= Ack(max{dg , dh } + 1, jm xj + y + 1) + 1,
luego
m
R (g, h)((xj )jm , y) +
jm xj
+y+1
< Ack(max{dg , dh } + 1,
jm xj
+ y + 1).
Hemos demostrado pues que hay un c N tal que, para cada ((xj )jm , y) Nm+1 ,
P
P
m
ax{dg , dh } + 1, jm xj + y),
R (g, h)((xj )jm , y) +
jm xj + y < Ack(m
pero
P
m
m
R (g, h)((xj )jm , y) R (g, h)((xj )jm , y) +
jm xj + y,
por lo tanto
P
m
ax{dg , dh } + 1, jm xj + y).
R (g, h)((xj )jm , y) < Ack(m
100
JUAN CLIMENT
Por otra parte, demostraremos que las relaciones recursivas se conservan bajo las
imagenes inversas mediante la aplicacion determinada por una familia de aplicaciones recursivas, que la funcion subyacente de una aplicacion recursiva es una relacion
recursiva y que las fibras de una aplicacion recursiva son relaciones recursivas. Por
u
ltimo, caracterizaremos, para n 1, las relaciones recursivamente enumerables
como aquellas que son vacas o la imagen mediante la aplicacion determinada por
una n-familia de endoaplicaciones de N recursivas.
Definici
on 4.148. Sea m N y f una aplicacion parcial de Nm en N. Decimos que
f es una aplicaci
on recursiva general o, simplemente, una aplicaci
on recursiva si es
una aplicacion parcial recursiva y Dom(f ) = Nm . Al conjunto de las aplicaciones
recursivas generales lo denotamos por ARG.
Introducimos a continuacion el concepto de aplicacion regular que nos permitira,
en definitiva, caracterizar a las aplicaciones recursivas algebraicamente, como con
las otras clases de aplicaciones consideradas hasta ahora, pero haciendo uso de
algebras heterogeneas parciales y no totales.
Definici
on 4.149. Sea m N y f una aplicacion de Nm+1 en N. Decimos que f es
una aplicaci
on regular si para cada x Nm existe un y N tal que f (x, y) =
0. Al conjunto de las aplicaciones regulares de Nm+1 en N lo denotamos por
Homreg (Nm+1 , N).
Proposici
on 4.150. Sea f una aplicaci
on regular de Nm+1 en N. Entonces hay una
m
u
nica aplicaci
on g de N en N, obtenida por minimizaci
on a partir de la aplicaci
on
regular f tal que, para cada x Nm , g(x) = min{ y N | f (x, y) = 0 }.
on parcial
Definici
on 4.151. Sea m N. Entonces denotamos por m
,reg la aplicaci
m+1
m
de Hom(N
, N) en Hom(N , N) cuyo dominio de definicion es Homreg (Nm+1 , N)
y que a una aplicacion regular f de Nm+1 en N le asigna la aplicacion m
,reg (f ) de
Nm en N obtenida por minimizacion a partir de la aplicacion regular f .
Definici
on 4.152. Denotamos por rg la N-signatura algebraica heterogenea, para
las aplicaciones recursivas generales, cuya coordenada (w, n)-esima, con (w, n)
N? N, es la definida como:
{0,0 },
si w = y n = 0;
{sc} {pr1,0 }, si w = y n = 1;
{ prn,i | i n }, si w = y n 2;
w,n = {m,n
si w = (m) f(n | i m) y m 1;
C },
{R },
si w = (m) f(m + 2) y n = m + 1;
{
},
si w = (m + 1) y n = m;
,reg
,
en cualquier otro caso.
Definici
on 4.153. Denotamos por Hrg (N , N) la rg -algebra heterogenea parcial cuyo N-conjunto subyacente, Hrg (N , N), es (Hom(Nn , N))nN , de modo que la
coordenada n-esima es el conjunto de las aplicaciones de Nn en N, y en la que las
operaciones estructurales son:
1. 0,0 , la aplicacion constante 0-aria determinada por 0, que es la aplicacion
de N0 en N, que al u
nico miembro de N0 le asigna como valor 0.
2. sc, la aplicacion sucesor.
3. pr1,0 , la aplicacion identidad de N.
4. Para cada n 2 y cada i n, prn,i , la proyeccion canonica i-esima de Nn
en N.
INCOMPLETUD
101
algebra de H (N , N).
iI F es una sub
i
algebras de Hrg (NS
, N), y si dados
3. Si (F )iI es una familia no vaca de sub
i
j
i, j I, hay un k I tal que F F N F k , entonces iI F i es una
sub
algebra de Hrg (N , N).
algebra heterogenea Hrg (N , N), se cumple que la
Corolario 4.155. Para la rg -
endoaplicaci
on SgHrg (N ,N) del conjunto SubN (Hrg (N , N)), de los N-subconjuntos de
Hrg (N , N), definida como:
102
JUAN CLIMENT
3. SgHrg (N ,N) es extensiva, i.e., para cada X SubN (Hrg (N , N)), se cumple
que X N SgHrg (N ,N) (X ).
4. SgHrg (N ,N) es is
otona, i.e., para cada X , Y SubN (Hrg (N , N)), si X N Y,
entonces SgHrg (N ,N) (X ) N SgHrg (N ,N) (Y).
5. SgHrg (N ,N) es idempotente, i.e., para cada X SubN (Hrg (N , N)), se cumple que SgHrg (N ,N) (X ) = SgHrg (N ,N) (SgHrg (N ,N) (X )).
6. SgHrg (N ,N) es algebraica, i.e., para cada familia no vaca (X i | i I) en
SubN (Hrg (N , N)), si para S
cada i, j I,
que X i X j N
S existe un k I tal
k
i
i
X , entonces SgHrg (N ,N) ( iI X ) = iI SgHrg (N ,N) (X ).
Por consiguiente, para cada X Hrg (N , N), SgHrg (N ,N) (X ), al que tambien deno-
tamos por X , es el mnimo cerrado de Hrg (N , N) que contiene a X , y lo denominamos el cerrado de Hrg (N , N) generado por X .
Demostraci
on.
ARG(F) = ARG(F).
rg
mos, por una parte, que para cada N-subconjunto finito F de Hrg (N , N), ARG
ARG(F), i.e., que toda aplicacion recursiva general es una aplicacion F-recursiva
general y, por otra, que si F, G y H son tres N-subconjuntos
finitos de Hrg (N , N)
S
tales que F G H,S
y, ademas, toda aplicacion de nN Fn es G-recursiva general
y
toda
aplicaci
o
n
de
on de
nN Gn es H-recursiva general, entonces toda aplicaci
S
F
es
H-recursiva
general.
nN n
INCOMPLETUD
103
Proposici
on 4.157. Sea F = (Fn )nN un N-subconjunto finito de Hrg (N , N) y
S
f nN Hom(Nn , N). Entonces una condici
on necesaria y suficiente para que
rg
f ARG(F) es que exista una sucesi
on de formaci
on para
S f relativan a y F,
i.e., que exista un p N 1, y una familia (fi )ip en nN Hom(N , N) tal que
f = fp1 y, para cada i p, se cumpla que:
1.
2.
3.
4.
5.
6.
fi Fn , para alg
un n N, o
fi = 0,0 , o
fi = sc, o
fi = pr1,0 , o
fi = prn,j , para alg
un n 2 y alg
un j n, o
fi es m + 1-aria y fi = m
(f
,
f
j k ), para un j y un k i tales que fj sea
R
m-aria y fk sea m + 2-aria, o
7. fi es m-aria y fi = m
,reg (fj ), para un j i tal que fj sea m + 1-aria
regular, o
8. fi es n-aria y fi = m,n
C (fj , (fk )m) ), para un m N 1, un j i y
una familia (k )m im tal que fj sea m-aria y, para cada p, fk
sea n-aria.
S
on necesaria
Corolario 4.158. Sea f nN Hom(Nn , N). Entonces una condici
ySsuficiente para que f ARG es que exista un p N 1, y una familia (fi )ip en
n
nN Hom(N , N) tal que f = fp1 y, para cada i p, se cumpla que:
1.
2.
3.
4.
5.
fi = 0,0 , o
fi = sc, o
fi = pr1,0 , o
fi = prn,j , para alg
un n 2 y alg
un j n, o
fi es m + 1-aria y fi = m
(f
,
f
), para un j y un k i tales que fj sea
j
k
R
m-aria y fk sea m + 2-aria, o
6. fi es m-aria y fi = m
,reg (fj ), para un j i tal que fj sea m + 1-aria
regular, o
7. fi es n-aria y fi = m,n
C (fj , (fk )m ), para un m N 1, un j i y una
familia (k )m im tal que fj sea m-aria y, para cada p, fk sea
n-aria.
Proposici
on 4.159. Toda aplicaci
on recursiva primitiva es recursiva general y
toda aplicaci
on de esta u
ltima clase es una aplicaci
on parcial recursiva.
Corolario 4.160. El conjunto de las aplicaciones recursivas generales es infinito numerable. Por consiguiente, la mayora de las aplicaciones numericas no son
recursivas primitivas.
4.8.
Definici
on 4.161. Sea n N y R una relacion n-aria sobre N. Decimos que
R es una relaci
on recursiva general, si tanto R como Nn R son recursivamente
enumerables. Al conjunto de las relaciones recursivamente lo denotamos por REC.
Proposici
on 4.162. Toda relaci
on recursiva primitiva es recursiva y toda relaci
on
de esta u
ltima clase es recursivamente enumerable.
Proposici
on 4.163. Para cada n N 1, el conjunto de las relaciones n-arias
en N recursivas es infinito numerable. Por consiguiente, el conjunto REC es infinito numerable. De donde se deduce que la mayora de las relaciones en N no son
recursivas.
Demostraci
on.
104
JUAN CLIMENT
Proposici
on 4.164. Sea n N y R una relaci
on n-aria sobre N. Una condici
on necesaria y suficiente para que R sea recursiva es que chR sea una aplicaci
on
recursiva.
Demostraci
on.
Proposici
on 4.165. Sea m N 1, n N, (fi )im una familia de aplicaciones en
/ N, Q una relaci
la que, para cada i m, fi : Nn
on m-aria y F una sub
algebra
finitamente generada heterogenea de Hrp (N , N). Si, para cada i m, fi es recursiva
y Q es una relaci
on recursiva, entonces la relaci
on n-aria m,n
C (Q, (fi )im ) en N
es recursiva.
Demostraci
on.
Proposici
on 4.166. Sea n N y R una relaci
on n-aria en N. Si R es recursiva,
entonces la relaci
on n-aria Ngn (R) en N es recursiva.
Proposici
on 4.167. Sea n N y P y Q dos relaciones n-arias en N. Si P y Q
son recursivas, entonces la relaci
on n-aria Cjn (P, Q) en N es recursiva.
/ t, : n _
/ t,
Proposici
on 4.168. Sean m, n y t N tales que t > m, n, : m _
P una relaci
on m-aria en N, Q una relaci
on n-aria en N. Si P y Q son recursivas,
entonces la relaci
on t-aria Cjm,n
(P,
Q)
en
N es recursiva.
,,t
Proposici
on 4.169. Sea n N y P y Q dos relaciones n-arias en N. Si P y Q
son recursivas, entonces la relaci
on n-aria Djn (P, Q) en N es recursiva.
/ t, : n _
/ t,
Proposici
on 4.170. Sean m, n y t N tales que t > m, n, : m _
P una relaci
on m-aria en N, Q una relaci
on n-aria en N. Si P y Q son recursivas,
entonces la relaci
on t-aria Djm,n
(P,
Q)
en
N es recursiva.
,,t
Corolario 4.171. Sea n N. Entonces el conjunto de las relaciones n-arias en
N recursivas es una sub
algebra Booleana del
algebra Booleana Sub(Nn ). Adem
as,
n
Subfin (N ) est
a incluido en tal sub
algebra Booleana.
Proposici
on 4.172. Sean q, r N, una aplicaci
on estrictamente creciente de
q en r + q y L una relaci
on r-aria en N. Si L es recursiva, entonces la relaci
on
r + q-aria Cyl (L) en N (el cilindro en Nr+q elevado sobre L a lo largo de los ejes
), es recursiva.
Proposici
on 4.173. Sean m, n N, L una relaci
on m-aria en N y M una relaci
on
n-aria en N. Si L y M son recursivas, entonces la concatenaci
on de L y M , L f M ,
que es una relaci
on m + n-aria en N, es recursiva.
Proposici
on 4.174. Sea f Hom(Nn , N). Si f es recursiva, entonces f , la funci
on subyacente de f , es recursiva.
Proposici
on 4.175. Sea m N, n N 1 y (fi )in una familia de aplicaciones
/ N. Si, para cada i n, fi es recursiva,
en la que, para cada i n, fi : Nm
entonces hfi |ini es recursiva.
Proposici
on 4.176. Sea f : Nn
la fibra de f en a, es recursiva.
Proposici
on 4.177. Sea L Nn . Entonces una condici
on necesaria y suficiente
/ N tal que f sea
para que L sea recursiva es que exista una aplicaci
on f : Nn
recursiva y L sea la fibra de f en un a N.
Proposici
on 4.178. Sean m, n N, (fi )im una familia de aplicaciones en la
/ N, (Ri )im una familia de relaciones n-arias tal
que, para cada i m, fi : Nn
S
que, para cada i, j m, si i 6= j, entonces Ri Rj = y im Ri = Nn . Si, para
INCOMPLETUD
105
Proposici
on 4.179. Sean m N, n N 1, (fi )in una familia de aplicaciones
/ N y L Nn . Si, para cada i n, fi
en la que, para cada i n, fi : Nm
1
es recursiva y L es recursiva, entonces hfi iin [L], la imagen inversa de L bajo
hfi iin , es recursiva. En particular, si f es una aplicaci
on m-aria recursiva y L un
subconjunto recursivo de N, entonces f 1 [L] es una relaci
on recursiva.
La recursividad de las relaciones no se conserva, en general, bajo la formacion
de imagenes directas.
Proposici
on 4.180. Sean m N, n N 1, (fi )in una familia de aplicaciones
/ N y L Nn . Si, para cada i n, fi es
en la que, para cada i n, fi : Nm
recursiva, hfi iin es sobreyectiva, L es recursiva y las im
agenes directas de L y
Nm L bajo hfi iin son disjuntas, entonces hfi iin [L], la imagen directa de L bajo
hfi iin , es recursiva.
/ N. Si f es recursiva, entonces
Proposici
on 4.181. Sean n N y f : Nn+1
Qn+1
Qn+1
Pn+1
Pn+1
(f ) son recursivas.
< (f ) y
(f ),
< (f ),
Proposici
on 4.182. Sean n N y R Nn+1 . Si R es recursiva, entonces n+1
< (R),
n+1
n+1
(R), n+1
< (R) y (R) son recursivas.
Proposici
on 4.183. Sea n N y R Nn+1 . Si R es recursiva, entonces n+1
< (R)
n+1
y (R) son recursivas.
Proposici
on 4.184. Sea m N y R Nm+1 . Si R es recursiva, entonces m
(chR )
es una aplicaci
on parcial recursiva.
Proposici
on 4.185. Sean n N 1 y L Nn+1 . Si L es recursiva, entonces
n+1
Inf
(L) es recursiva.
Proposici
on 4.186. Sean m N 1 y L Nm . Una condici
on necesaria y
suficiente para que L sea recursivamente enumerable es que sea vaco o exista una
familia de aplicaciones (fi )im en la que, para cada i m, fi sea una endoaplicaci
on
de N recursiva tal que L = Im(hfi iim ).
Proposici
on 4.187. Sea L un subconjunto infinito de N y f una enumeraci
on
directa de L. Si f es recursiva, entonces L es recursivo.
Corolario 4.188. Si L es un subconjunto infinito de N recursivamente enumerable,
entonces L contiene un subconjunto infinito recursivo.
Proposici
on 4.189. Sea L un subconjunto infinito de N. Si L es recursivo, entonces existe una enumeraci
on directa de L recursiva.
Corolario 4.190. Sea L un subconjunto infinito de N. Si L es recursivo, entonces
L es la imagen de una endoaplicaci
on de N creciente y recursiva.
Proposici
on 4.191. Sea L un subconjunto infinito de N. Si L es recursivamente enumerable, entonces L es la imagen de una endoaplicaci
on de N inyectiva y
recursiva.
Proposici
on 4.192. Sea m N 1 y L un subconjunto infinito de Nm . Si L es
recursivamente enumerable, entonces hay una familia de aplicaciones (fi )im en la
que, para cada i m, fi sea una endoaplicaci
on recursiva de N tal que hfi | i mi
induce una biyecci
on entre N y L.
106
JUAN CLIMENT
Proposici
on 4.193. Sea L un subconjunto no vaco de N. Si L es recursivamente
enumerable, entonces hay una endoaplicaci
on recursiva f de N tal que L = Im(f )
y, para cada n L, la fibra de f en n es infinita numerable.
4.9.
La jerarqua aritm
etica.
Definici
on 4.194. Al conjunto de las relaciones recursivas lo denotamos por 01 =
0
0
0 = 0 . Si R Nk , decimos que R es 0n+1 si hay una relacion Q Sub(Nk+1 )0n
tal que
R = { x Nk | y N ((x, y) Q) }.
Por u
ltimo, si R Nk , decimos que R es 0n+1 si hay una relacion Q Sub(Nk+1 )
0
n tal que
R = { x Nk | y N ((x, y) Q) }.
El conjunto 01 es el formado por las relaciones recursivamente enumerables. El
concepto de relacion recursivamente enumerable es la contrapartida matematica
de la nocion informal de semicomputabilidad, del mismo modo que el de relacion
recursiva es el de computabilidad.
La jerarqua aritmetica es la contrapartida de la jerarqua de Borel en la teora
descriptiva de conjuntos. Recordemos que para un espacio metrizable X = (X, T )
y para los ordinales tales que 1 < 1 , 01 (X) es T , el conjunto de los abiertos
0
del mismo, y, para
del espacio metrizable, S
1 (X) es el conjunto de los cerrados
S
0
ltimo,
1 < < 1 , (X) = ( 0 (X)) y 0 (X) = ( 0 (X)) . Por u
para los ordinales tales que 1 < 1 , 0 (X) = 0 (X) 0 (X). Por ejemplo,
el conjunto 01 (X) esta formado por los subconjuntos de X que son abiertos y
cerrados (clopen).
Podemos representar la situacion como:
0
/ 0
= 1 DD
= 2
z
z
DD
zz
zz
D
z
z
DD
z
z
zz
zz
"
0
0
/
1
2
DD
DD
z=
DD
DD
z
z
DD
DD
z
z
D"
D"
z
z
/ 0
01
2
4.10.
/ 0
DD
= 3
z
DD
zz
DD
zz
D"
zz
/ 0
= 3 DD
z
D
z
DD
z
DD
zz
zz
"
/ 0
3
Reducibilidad.
Definici
on 4.195. Sean A, B N. Decimos que A es 1 1-reducible a B, y lo
/N
denotamos por A 41 B, si para alguna aplicacion recursiva inyectiva f : N
se cumple que
x N (x A si y solo si f (x) B).
Observemos que la condicion definitoria equivale a que A = f 1 [B].
Por otra parte, decimos que A es many-one reducible a B, y lo denotamos por
/ N se cumple que
A 4m B, si para alguna aplicacion recursiva f : N
x N (x A si y solo si f (x) B).
hay otros tipos de reducibilidad: la truth-table y la Turing-reducibilidad.
Proposici
on 4.196.
1. 41 y 4m son pre
ordenes.
2. 41 4m .
3. Si A 41 B, entonces N A 41 N B.
4. Si A 4m B, entonces N A 4m N B.
5. Si A 4m B y B es recursivo, entonces A es recursivo.
INCOMPLETUD
107
108
JUAN CLIMENT
5.
Teora de modelos.
INCOMPLETUD
109
Otro tipo de aplicacion esta relacionado con la completud, e.g., hay resultados
acerca del cuerpo de los n
umeros reales que se pueden formular en FOPL pero
que han sido demostrados usando metodos topologicos. Un resultado de Tarski demuestra que tales resultados son verdaderos en todos los cuerpos reales cerrados
independientemente de sus propiedades topologicas. Un metodo relacionado ha sido
usado por A. Robinson para dar una nueva demostracion de un teorema de Artin
relativo a un problema de Hilbert. El mismo A. Robinson, haciendo uso del metodo
de los ultraproductos, aplico la teora de modelos para obtener nuevos resultados
en el analisis matematico. Tambien han sido obtenidos resultados acerca de la independencia y consistencia relativa, por parte de Cohen, mediante la construccion
de modelos adecuados.
Ademas, los metodos de la teora de modelos permiten obtener caracterizaciones
de ciertas clases de sentencias mediante el estudio de las propiedades de clausura
de los conjuntos de modelos de las mismas, asi e.g., como vimos en el captulo
anterior, las clases ecuacionalmente definibles son exactamente las clases de algebra
universales cerradas bajo imagenes homomorfas, subalgebras y productos.
5.1.
Signaturas y
algebras.
Definici
on 5.1. Una signatura algebraica es un par ordenado = (, ar) en
el que , el conjunto de los smbolos de operaci
on, es un conjunto y ar, la ariedad,
una aplicacion de en N. Si y ar() = n, entonces decimos que es un
smbolo de operacion n-ario, y, para cada n N, denotamos por n el conjunto de
todos los smbolos de operacion n-arios.
La ariedad de un smbolo de operacion , indica el n
umero de los argumentos
que tendra cualquier realizacion de como una operacion sobre un conjunto.
Definici
on 5.2. Sea una signatura algebraica y A un conjunto.
S Una -estructura
algebraica sobre el conjunto A es una aplicacion F de en Hom(Aar() , A)
tal que, para cada , F Hom(Aar() , A).
En algunos casos, para evitar equivocaciones, denotaremos la -estructura algebraica que estemos considerando sobre un conjunto A por F A , y a las operaciones
que la componen por FA , con . Ademas, cuando ar() = 0, denotaremos por
/ A en el u
A el valor de FA : 1
nico miembro de 1.
Una -
algebra es un par ordenado A = (A, F ), en el que A es un conjunto y F
una -estructura algebraica sobre A.
En la definicion de -estructura algebraica sobre un conjunto no hemos exigido
que a smbolos de operacion distintos, de la misma ariedad, correspondan operaciones distintas sobre el conjunto en cuestion.
Presentamos a continuacion algunos ejemplos de algebras especialmente relevantes en las matematicas, sin animo de ser exhaustivo.
5.1.1. Magmas. Un magma es un par (A, ) en el que A es un conjunto y una
operacion binaria sobre A. Para cada conjunto A, los pares (Rel(A), ), (Endp (A), )
y (End(A), ) son magmas.
5.1.2. Semigrupos. Un semigrupo es un par (A, ) en el que A es un conjunto y
una operacion binaria sobre A tal que:
x, y, z A, x (y z) = (x y) z.
Para cada conjunto A, los pares (Rel(A), ), (Endp (A), ) y (End(A), ) son semigrupos.
110
JUAN CLIMENT
/ Ml(A)
Ml(A) Ml(A)
(
xk ,
si 0 k < m;
f
/ N(A)
N(A) N(A)
+
((ma )aA , (na )aA ) 7 (ma + na )aA
y 0 , la aplicacion de A en N cuya imagen es {0}, es una estructura de monoide
abeliano sobre N(A) .
5.1.5. Cuasigrupos. Un cuasigrupo es un cuadruplo (A, , /, \) en el que A es un
conjunto y , / y \ operaciones binarias sobre A tales que:
1. x, y A, (x/y) y = x.
2. x, y A, (x y)/y = x.
3. x, y A, y (y\x) = x.
4. x, y A, y\(y x) = x.
5.1.6. Bucles. Un bucle es un quntuplo (A, , /, \, 1) en el que (A, , /, \) es un
cuasigrupo y 1 A tal que
x, y A, x 1 = x y 1 x = x.
5.1.7. Grupos. Un grupo es un cuadruplo (A, , 1 , 1) en el que A es un conjunto,
una operacion binaria sobre A, 1 una operacion unaria sobre A y 1 un elemento
de A tal que:
1. x, y, z A, x (y z) = (x y) z.
2. x A, x 1 = x y 1 x = x.
3. x A, x x1 = 1 y x1 x = 1.
Para cada conjunto A, el cuadruplo (Aut(A), , 1 , idA ) es un grupo.
INCOMPLETUD
111
x, y, z A, x + (y + z) = (x + y) + z.
x A, x + 0 = x y 0 + x = x.
x A, x + (x) = 0 y (x) + x = 0.
x, y A, x + y = y + x.
Anillos. Un anillo es un sextuplo (A, +, , 0, , 1) tal que:
Algebras lineales.
5.1.15. Semirretculos. Un semirretculo es un par (A, ) en el que A es un conjunto y una operacion binaria sobre A tal que:
1. x A, x x = x.
2. x, y A, x y = y x.
3. x, y, z A, x (y z) = (x y) z.
Para cada conjunto A, (Sub(A), ) y (Sub(A), ) son semirretculos.
112
JUAN CLIMENT
Algebras de Heyting.
Ademas, salvo en el caso de los anillos ternarios, las algebras consideradas estan
sujetas a cumplir ecuaciones.
Por otra parte, el concepto de algebra considerado esta sujeto a las siguientes
limitaciones:
Las algebras tienen un u
nico conjunto subyacente, i.e., son entidades homogeneas.
Las operaciones son finitarias.
Las operaciones estan totalmente definidas.
De modo que objetos matematicos tales como e.g., los aut
omatas, los monoides
con cancelaci
on, los anillos con divisi
on, los cuerpos, los espacios topol
ogicos, los
INCOMPLETUD
113
fn
FA
/ Bn
FB
/B
/ B, g : B
/ C y h: C
/ D tres homomorfis-
114
JUAN CLIMENT
/ A, el homomorfismo
1. Siendo idA = (A, idA , A), se cumple que idA : A
identidad de A, es un endomorfismo de A.
/ C, el homomorfismo
2. Siendo gf = (A, gf, C), se cumple que gf : A
composicion de f y g, es un homomorfismo de A en C.
3. (Asociatividad). El diagrama:
(h g) f
f
/BK
A KK
KK
KK
KK
KK
KKh g
KK
KK
g
KK
KK
K
KK
g f KKK
KK
K%
/% D
C
;
h
h (g f )
conmuta.
4. (Neutros). Los diagramas:
idA /
A
AE
EE
EE
EE
f
E
f EEEE
"
B
f
/B
AE
EE
EE
EE
idB
E
f EEEE
"
B
conmutan.
Demostraci
on.
/ A es un
1. Puesto que, para cada n N, idnA = idAn , tenemos que idA : A
homomorfismo, ya que entonces, para cada , con ar() = n, el diagrama:
An
idnA
/ An
FA
FA
idA
/A
conmuta.
2. Puesto que, para cada n N, g n f n = (g f )n , y, por hipotesis, para cada
, con ar() = n, los diagramas:
An
fn
FA
/ Bn
FB
/B
Bn
gn
FB
/ Cn
FC
/C
INCOMPLETUD
115
(g f )n
/ Cn
FA
FC
A
luego g f : A
gf
/C
/ C es un homomorfismo.
/
/A
/
;B
f h
conmuta, entonces g = h, i.e., si cuando f g = f h, entonces g = h;
es por ello que a este tipo de homomorfismos tambien se los denomina
simplificables a la izquierda. Denotamos al conjunto de los monomorfismos
/ B significa
de A en B por Mono(A, B). Convenimos entonces que f : A _
_
/
que el homomorfismo f : A
B es un monomorfismo.
/ B es un epimorfismo si, para cada -algebra Y y
2. Decimos que f : A
/ Y, si el diagrama
cualesquiera homomorfismos g, h : B
gf
A
/B
g
h
/#
/; Y
hf
conmuta, entonces g = h, i.e., si cuando g f = h f , entonces g = h; es
por ello que a este tipo de homomorfismos tambien se los denomina simplificables a la derecha. Convenimos entonces que f : A _ / B significa que
/ B es un epimorfismo, y denotamos al conjunto
el homomorfismo f : A
de los epimorfismos de A en B por Epi(A, B).
/ B es un isomorfismo si existe un g : B
/ A tal
3. Decimos que f : A
que g f = idA y f g = idB . A los isomorfismos de un algebra en s misma
los denominamos automorfismos.
/ B es inyectivo, resp., sobreyectivo, entonces es
Si un homomorfismo f : A
un monomorfismo, resp., epimorfismo.
/ B es un isomorfismo precisamente si es un homoUn homomorfismo f : A
morfismo biyectivo.
116
5.2.
JUAN CLIMENT
Sub
algebras.
The concept of a subgroup is fundamental in the theory of groups. The
entire content of group theory is more or less linked up with questions
about the existence, in a group, of subgroups having one or another
special property, about groups that can be embedded in a given group,
about properties that characterise the mutual disposition of subgroups
in a group, about methods of constructing a group from its subgroups,
etc. The classification of various special types of groups also depends
mainly on the concept of a subgroup.
Kurosh.
Del mismo modo que para estudiar los conjuntos es imprescindible considerar
los subconjuntos de los mismos, para el estudio de las algebras hay que considerar
las subalgebras de las mismas, y que son las partes que tienen la propiedad de estar
cerradas bajo las operaciones estructurales de las que estan dotadas las algebras.
Definici
on 5.7. Sean A = (A, F A ) y X un subconjunto de A.
1. Si , con ar() = n, decimos que X esta cerrado bajo la operaci
on
/ A si, para cada a X n , FA (a) X, i.e., si FA [X n ] X.
FA : An
2. Decimos que X es un cerrado o una sub
algebra de A si, para cada
con ar() = n, y cada a X n , FA (a) X, i.e., si X esta cerrado bajo cada
una de las operaciones estructurales de A. Al conjunto de los cerrados de
A lo denotamos por Cl(A).
Proposici
on 5.8. Sea A una -
algebra. Entonces el conjunto de los cerrados de
A, Cl(A), es un sistema de clausura algebraico sobre A, i.e., tiene las siguientes
propiedades:
1. A Cl(A).
T
2. Si C Cl(A) y C 6= , entonces CC C Cl(A).
3. Si C Cl(A),
S C 6= y si dados X, Y C, hay un Z C tal que X Y Z,
entonces CC C Cl(A).
Demostraci
on. Debido a que es evidente que A es un cerrado de A, nos limitamos
a demostrar las dos u
ltimas propiedades.
2. Sea
C
un
conjunto
no vaco de cerrados de A, , con ar() = n y
T
a ( CC C)n . Entonces, para cada C C, se cumple que FA (a) C, luego
T
FA (a) CC C.
3. Sea C un conjunto no vaco de cerrados de A tal que dados
S X, Y C, exista
un Z C tal que X Y Z, , con ar() = n y a ( CC C)n . Entonces,
para cada i n, hay un Ci C tal que ai Ci . Ahora bien, por estar la familia de
cerrados C dirigida superiormente, hay un C C tal que, para cada i n, Ci C,
luego, para cada i n, ai C, pero, S
por ser C un cerrado de A, se cumple que
FA (a) C, por lo tanto que FA (a) CC C.
/ Sub(A)
Sub(A)
T
SgA
X
7 { C Cl(A) | X C }
tiene las siguientes propiedades:
1. Im(SgA ) Cl(A).
2. { X Sub(A) | X = SgA (X) } = Cl(A).
3. SgA es extensiva o inflacionaria, i.e., para cada X Sub(A), X SgA (X).
4. SgA es is
otona, i.e., para cada X, Y Sub(A), si X Y , entonces se
cumple que SgA (X) SgA (Y ).
INCOMPLETUD
117
5. SgA es idempotente, i.e., para cada X Sub(A), SgA (X) = SgA (SgA (X)).
6. SgA es algebraica, i.e., para cada X Sub(A), si X 6= y para
S cada
X,
Y
X
,
existe
un
Z
X
tal
que
X
Z,
entonces
Sg
(
X) =
A
S
Sg
(X).
A
XX
Por consiguiente, para cada X A, SgA (X) es el mnimo cerrado de A que contiene a X, y lo denominamos el cerrado de A generado por X. Adem
as, a la sub
algebra
de A can
onicamente asociada a SgA (X), la denotamos por SgA (X) y la denominamos, tambien, la sub
algebra de A generada por X.
Demostraci
on. Nos limitamos a demostrar las cuatro u
ltimas propiedades, dejando
las dos primeras como ejercicios.
T
3. Sea X Sub(A). Puesto que SgA (X), por definicion, es { C Cl(A) | X
C }, es evidente que X SgA (X).
4. Sean X, Y Sub(A) tales que X Y . Entonces { C Cl(A) | Y C }
esta incluido en { C Cl(A) | X C }, luego SgA (X) lo esta en SgA (Y ).
5. Sea X Sub(A). En virtud de la extensividad y de la isotona, se cumple
que SgA (X) SgA (SgA (X)). Recprocamente, debido a que SgA (SgA (X)) es el
mnimo cerrado de A que contiene a SgA (X) y SgA (X) es un cerrado de A que se
contiene a s mismo, se cumple que SgA (SgA (X)) SgA (X).
6. Sea X Sub(A), tal que X 6= y para cada X, Y XS
, existe un Z X
tal que X Y Z. Puesto que, para cada X X , X XX X,Spodemos
afirmar, en virtud
S de la isotona, que,Spara cada X X , SgA (X) SgA ( XX X),
por lo tanto XX SgA (X) SgA ( XX X). Recprocamente, por ser la familia
de conjuntos X Sub(A) no vaca y estar dirigida superiormente, la familia de
subalgebras
por
S
S de A, (SgA (X) | X X ) no es vaca y esta dirigida superiormente,
subalgebra de A que, ademas, contiene a XX X,
lo tanto XX SgA (X) es una S
luego tambien contiene a SgA ( XX X).
S X de A, SgA (X) =
S Sea A una -algebra. Entonces, para cada subconjunto
Sg
(K).
En
general
no
se
cumple
que
Sg
(X)
=
A
A
xX SgA ({x}).
Kfin X
Proposici
on 5.10. Si B A y X B, entonces SgB (X) = SgA (X)
Demostraci
on.
EA
ar()
X
7 X
] .
F [X
2. Si X A, entonces denotamos por (EnA (X) | n N) la familia en Sub(A)
definida por recursion como:
E0A (X) = X,
n
En+1
A (X) = EA (EA (X)), n 0.
(EnA (X) | n N)
118
JUAN CLIMENT
Proposici
on 5.12. Si A es una -
algebra y X A, entonces SgA (X) = E
A (X).
Demostraci
on. Demostramos en primer lugar que SgA (X) E
A (X). Para ello,
debido a que SgA (X) es el mnimo cerrado de A que contiene a X, es suficiente
que demostremos que E
A (X) es un cerrado de A y que contiene a X. Ahora bien,
0
EA (X) = X, luego X E
A (X). Por otra parte, si , con ar() = m y
n
m
a (E
A (X)) , entonces, para cada m, hay un n N tal que a EA (X),
n
pero la familia (EA (X) | n N) es una cadena ascendente, luego hay un m
n
tal que, para cada m, EnA (X) EA (X), por lo tanto, para cada m,
n
n +1
a EA (X), de donde FA (a) EA (X), por consiguiente FA (a) E
A (X).
Para demostrar que EA (X) SgA (X) procedemos por induccion finita. Puesto que E0A (X) = X y X SgA (X), se cumple que E0A (X) SgA (X). Supongamos que, para n 0, se cumpla que EnA (X) SgA (X). Entonces, ya que
n
En+1
En+1
A (X) = EA (EA (X)), para demostrar que S
A (X) SgA (X), es suficiente
n
que demostremos que EA (X) SgA (X) y que F [(EnA (X))ar() ] SgA (X).
Ahora bien, lo primero se cumple por la hipotesis de induccion. Sea pues ,
con ar() = m y a (EnA (X))m , entonces, para cada m, a SgA (X), luego
FA (a) SgA (X), por lo tanto F [(EnA (X))m ] SgA (X).
Proposici
on 5.13. Sea A una -
algebra, X un cerrado de A e Y A. Entonces
hay un cerrado Z de A tal que X Z y Z Y = X Y y Z es maximal con dichas
propiedades.
Demostraci
on. Sea XX,Y = { C Cl(A) | X C y C Y = X Y }. El conjunto
XX,Y no es vaco, porque X XS
X,Y . Por otra parte, si (Ci | i I) es una cadena
no vaca en (XX,Y , ), entonces iI Ci es, obviamente, el supremo de (Ci | i I)
en (XX,Y , ), luego, en virtud del lema de Zorn, en el conjunto ordenado (XX,Y , )
hay un maximal Z.
Definici
on 5.14. Sea A es una -algebra y X A. Decimos que X es un conjunto
de generadores de A, o que X genera A, si SgA (X) = A y que es un conjunto de
generadores minimal de A si es un conjunto de generadores y si ning
un subconjunto
estricto de X genera A. Ademas, decimos que A esta finitamente generada, o que
es de generaci
on finita, si hay un subconjunto X de A tal que card X < 0 y X
genera A. En particular, decimos que A es cclica si hay un a A tal que {a}
genera A.
En el estudio de las algebras, como tendremos oportunidad de comprobar, e.g.,
al estudiar todo lo referente a las operaciones polinomicas sobre un algebra, nos
encontraremos ante situaciones en las que queremos demostrar que todos los elementos de la subalgebra generada por un subconjunto de un algebra tiene una
cierta propiedad. En tal caso, generalizando el principio de la demostracion por induccion finita, procederemos mediante el principio de la demostracion por inducci
on
algebraica, que pasamos a establecer a continuacion.
Proposici
on 5.15. Sea A una -
algebra, X A e Y SgA (X). Una condici
on
suficiente para que Y = SgA (X), es que X Y y que Y sea un cerrado de SgA (X)
(o, lo que es equivalente, un cerrado de A). En particular, si X es un conjunto de
generadores de A, una condici
on suficiente para que Y = A, es que X Y y que
Y sea un cerrado de A.
Demostraci
on. Supongamos que X Y y que Y sea un cerrado de SgA (X). Entonces, en virtud de la isotona, SgA (X) SgA (Y ) = Y , luego, ya que Y SgA (X),
Y = SgA (X).
INCOMPLETUD
119
/ B un homomorfismo de -
algebras, X un cerraProposici
on 5.19. Sea f : A
do de A e Y uno de B. Entonces f [X] Cl(B) y f 1 [Y ] Cl(A). En particular,
Im(f ) Cl(B).
Demostraci
on.
120
JUAN CLIMENT
/ B un homomorfismo de -
Proposici
on 5.20. Sea f : A
algebras y X A.
Entonces f [SgA (X)] = SgB (f [X]), i.e., el diagrama:
Sub(A)
f []
SgA
Sub(A)
/ Sub(B)
SgB
f []
/ Sub(B)
conmuta.
Demostraci
on. Puesto que X SgA (X), f [X] f [SgA (X)]. Ahora bien, SgB (f [X])
es la mnima subalgebra de B que contiene a f [X] y f [SgA (X)] es una subalgebra
de B que contiene a f [X], por lo tanto SgB (f [X])
A (X)]. S
S f [Sg
n
Para
demostrar
la
inversa,
ya
que
Sg
(X)
=
E
(X)
y f [ nN EnA (X)] =
A
nN A
S
n
on finita, que, para cada
nN f [EA (X)], es suficiente que demostremos, por inducci
n N, f [EnA (X)] SgB (f [X]).
Para n = 0, se cumple que f [E0A (X)] SgB (f [X]), porque f [E0A (X)] = f [X].
Supongamos que, para n
0, se cumpla que f [EnA (X)] SgB (f [X]). Entonces, ya
S
n
A n
ar()
]y
que En+1
A (X) = EA (X)
F [EA (X)
[
[
n
n
n
f [FA [EnA (X)ar() ]]
f [EA (X)
FA [EA (X)ar() ]] = f [EA (X)]
f [En+1
A (X)]
S
INCOMPLETUD
121
` X
`
/ Ml( X)
MMM
MMM
MMM
ar[X]]
M
ar[X] MMMM
MM&
N
conmuta.
Demostraci
on.
Proposici
on 5.23. Sea una signatura algebraica,
X un conjunto y 1 la aplica`
`
ci
on de X en N que a cada miembro
de
X
le
asigna
como valor 1. Entonces
`
/ (N, +, 0) que extiende a la aplicaci
hay un u
`
nico morfismo || : Ml( X)
on
`
1 de X en N, i.e., || es el u
nico morfismo del monoide Ml( X) en el
monoide (N, +, 0) tal que el diagrama:
` X
/ Ml( ` X)
MMM
MMM
MMM
||
1 MMMM
MMM
&
N
conmuta.
Demostraci
on.
122
JUAN CLIMENT
/ A, hay un u
nico -
X /
T (X)
X HH
HH
HH
HH
H
f]
f HHHH
H$
A
conmuta.
Para obtener la -algebra absolutamente libre sobre un conjunto X, definimos en
primer lugar, explcitamente, una -algebra W (X), la -algebra de las palabras
sobre X, cuyo
` conjunto subyacente estara formado por todas las palabras sobre el
alfabeto X.
Definici
on 5.24. Sea una signatura algebraica y X un conjunto. Denotamos
` por
W (X) la -algebra cuyo conjunto subyacente, W (X),
es
el
conjunto
Ml(
X),
`
formado por todas las palabras sobre el alfabeto X, y cuyas operaciones estructurales, F , para cada , son las definidas como:
`
/ Ml( ` X)
(Ml( X))ar()
F
,
(Pj | j ar()) 7 () f f(Pj | j ar())
i.e., como la concatenacion de la palabra () y de las palabras Pj , con j ar().
A la -algebra W (X) la denominamos la -algebra de las palabras sobre X.
Ademas, para cada , con ar() = n, y con el fin de abreviar, denotaremos la
accion de F sobre la familia finita de palabras (Pj | j n) como ()P0 Pn1 .
En lo anterior, las operaciones estructurales, `
F , se han podido definir, de cierta
manera canonica, esencialmente, porque Ml( X) ademas de ser un conjunto,
esta dotado de una estructura de monoide, gracias, en particular, a la operacion de
concatenacion de palabras. Es por ello, entre otras razones, por lo que el concepto
de monoide es tan importante.
Ahora que disponemos de la -algebra W (X), as como del concepto de subalgebra de una -algebra, definimos la -algebra absolutamente libre sobre un conjunto.
Definici
on 5.25. Sea una signatura algebraica y X un conjunto. Entonces la
-algebra absolutamente libre sobre X, denotada por T (X), es la subalgebra de
W (X) canonicamente asociada a SgW (X) ({ (x) | x X }), i.e., al cerrado de
W (X) generado por { (x) | x X }. A los miembros del conjunto T (X), subyacente de la -algebra T (X), los denominamos smbolos de operaci
on polin
omica
o terminos con variables en X.
En virtud de la definicion, sabemos que T (X) es la subalgebra de W (X)
canonicamente asociada al cerrado de W (X) generado por { (x) | x X }, pero
desconocemos, en principio, si los terminos o smbolos de operacion polinomica
con variables en X, admiten alguna representacion canonica. Vamos a demostrar,
siguiendo a Bourbaki, que, de hecho, los terminos s tienen una representacion
canonica. Pero antes de ello, introducimos el concepto de sucesi
on de formaci
on
de una palabra, relativa a una signatura algebraica y a un conjunto de variables,
mediante el cual daremos otra caracterizacion del conjunto T (X), que no sera,
esencialmente, mas que otra version del hecho de que T (X) = E
W (X) ({ (x) | x
X }).
`
Definici
on 5.26. Sea una signatura algebraica, X un conjunto y P Ml( X).
Una sucesi
on de formaci
on para P , relativa a y X, es una familia finita no vaca
INCOMPLETUD
123
`
S
`
(Pi | i n) en Ml( X), i.e., un miembro de nN1 Fnc(n, Ml( X)) que
tiene las siguientes propiedades:
1. P = Pn1 .
2. i n, x X tal que Pi = (x), o 0 tal que Pi = (), o p N 1,
p y (i | p) ip tal que Pi = ()Pi0 Pip1 .
`
Denotamos por L (X) el conjunto de todas las palabras P Ml( X) para las`
que existe alguna sucesion de formacion, i.e., L (X) es `
el subconjunto de
Ml( X) que consta precisamente de las palabras
P
Ml(
X) para las que
`
n N 1, (Pi | i n) Fnc(n, Ml( X)) tal que P = Pn1 y i n,
x X tal que Pi = (x), o 0 tal que Pi = (), o p N 1, p y
(i | p) ip tal que Pi = ()Pi0 Pip1 .
Proposici
on 5.27. Sea una signatura algebraica y X un conjunto. Entonces se
cumple que T (X) = L (X).
Demostraci
on. Puesto que T (X) es el mnimo cerrado de W (X) que contiene a { (x) | x X }, para demostrar que T (X) L (X), sera suficiente que
demostremos que L (X) es un cerrado de W (X) y que contiene a { (x) | x X }.
Se cumple que { (x) | x X } L (X), porque, dado un x X, la familia
(Pi | i 1) con P0 = (x), es una sucesion de formacion para (x). Ademas, dado
un , con ar() = p, y una familia (Qj | j p) en L (X), en virtud de la
definicion de L` (X), tenemos que, para cada j p, nj N 1, (Pj,i | i nj )
Fnc(nj , Ml( X)) tal que Qj = Pj,nj 1 y i nj , x X tal que Pj,i = (x),
o 0 tal que Pj,i = (), o q N 1, q y (k | q) iq tal
que Pj,i = ( )Pj,k0 Pj,kq1 . Situacion que resumimos, parcialmente, mediante la
matriz:
P0,0
P0,1
...
P0,n0 1 = Q0
P1,0
P1,1
...
P1,n1 1 = Q1
..
..
.
.
.
.
.
.
.
.
Pp1,0 Pp1,1 ... Pp1,np1 1 = Qp1
P
ltimo
Luego para n =
jp nj + 1 y tomando como (Pi | i n) la familia cuyo u
termino es ()Q0 Qp1 y siendo los otros terminos los formado por los de la
matriz, recorridos de izquierda a derecha y de arriba abajo, se cumple que (Pi |
i n) es una sucesion de formacion para ()Q0 Qp1 , luego ()Q0 Qp1
L (X). Por consiguiente L (X) es un cerrado de W (X). De todo ello concluimos
que T (X) L (X).
Demostramos ahora
que L (X) T (X). Sea P L (X). Entonces, por
`
`definici
on, P Ml( X) para el que n N 1, (Pi | i n) Fnc(n, Ml( X))
tal que P = Pn1 y i n, x X tal que Pi = (x), o 0 tal que Pi = (),
o p N 1, p y (i | p) ip tal que Pi = ()Pi0 Pip1 . Demostramos que P = Pn1 T (X), por induccion sobre i n. Para i = 0,
P0 T (X), porque, en este caso, P0 o bien es de la forma (x), para alg
un x X,
y entonces P0 T (X), porque { (x) | x X } T (X), o bien es de la forma
(), para alg
un 0 , y entonces P0 T (X), porque T (X) es un cerrado
de W (X). Sea k n y supongamos que i k, Pi T (X). Entonces, por
definicion, x X tal que Pk = (x), o 0 tal que Pk = (), o p N 1,
p y (i | p) ip tal que Pk = ()Pi0 Pip1 . Es evidente que en los
dos primeros casos Pk T (X). En el u
ltimo caso tambien Pk T (X), porque al
ser, por hipotesis, P0 , . . . , Pk1 T (X), tambien Pi0 , . . . , Pip1 T (X), luego,
ya que T (X) es un cerrado de W (X), Pk = ()Pi0 Pip1 T (X). As que,
para cada k n, Pk T (X), luego, para k = n 1, P = Pn1 T (X). Por lo
tanto L (X) T (X).
124
JUAN CLIMENT
Antes de demostrar que los smbolos de operacion polinomica tienen una representacion canonica, introducimos unas nociones auxiliares de la teora de monoides,
y unas propiedades especiales del monoide libre sobre un conjunto, que nos seran
de utilidad para alcanzar el objetivo mencionado.
Definici
on 5.28. Sea A un conjunto y P, Q Ml(A).
1. Decimos que Q un segmento de P si hay dos palabras X, Y Ml(A) tales
que P = X f Q f Y . Ademas, si |X| = k, entonces decimos que la palabra
Q empieza en el k + 1-esimo lugar.
2. Decimos que Q un segmento inicial de P , y lo denotamos por Q pre P ,
si hay una palabra Y Ml(A) tal que P = Q f Y , y que es un segmento
inicial estricto de P , y lo denotamos por Q <pre P , si es un segmento inicial
de P y si Q 6= P .
Proposici
on 5.29. Sea A un conjunto. Entonces Ml(A) es regular o cancelativo,
i.e., el monoide libre sobre A tiene las siguientes propiedades:
1. X, P, Q Ml(A) ((X f P = X f Q) P = Q).
2. X, P, Q Ml(A) ((P f X = Q f X) P = Q).
Demostraci
on.
Proposici
on 5.30. Sea A un conjunto, P Ml(A) y X e Y dos segmentos iniciales
de P . Entonces X es un segmento inicial de Y , o Y es un segmento inicial de X.
Demostraci
on.
`
Definici
on 5.31. Sea una signatura algebraica, X un conjunto y P Ml( X).
Decimos que P es una palabra equilibrada, relativa a y X, si cumple las siguientes
condiciones:
1. |P | = ar[X]] (P ) + 1.
2. Para cada segmento inicial estricto Q de P , |Q| ar[X]] (Q)
Denotamos por Bal (X) el conjunto de todas las palabras equilibradas, relativas a
y X.
Proposici
on 5.32. Sea una signatura algebraica y X un conjunto. Entonces se
cumple que T (X) Bal (X).
Demostraci
on. Puesto que T (X) es el mnimo cerrado de W (X) que contiene
a { (x) | x X }, para demostrar que T (X) Bal (X), sera suficiente que
demostremos que Bal (X) es un cerrado de W (X) y que contiene a { (x) | x
X }.
Se cumple que { (x) | x X } Bal (X), porque, para cada x X, la palabra
(x) es equilibrada, ya que, por una parte, al ser |(x)| = 1 y ar[X]] ((x)) = 0,
tenemos que |(x)| = ar[X]] ((x)) + 1, y, por otra, si Q es un segmento inicial propio
de (x), entonces, necesariamente, Q = , y para la palabra vaca tenemos que
|| ar[X]] (), ya que 0 0.
Demostramos a continuacion que, para cada , con ar() = p, y cada familia
(Pj | j p) en Bal (X), la palabra ()P0 Pp1 es equilibrada.
Si p = 0, entonces la palabra () es equilibrada ya que, por una parte, al ser
|()| = 1 y ar[X]] (()) = 0, tenemos que |()| = ar[X]] (()) + 1, y, por otra, si Q
es un segmento inicial propio de (), entonces, necesariamente, Q = , y para la
palabra vaca tenemos que || ar[X]] (), ya que 0 0.
INCOMPLETUD
125
Si p 6= 0, entonces:
P
|()P0 Pp1 | = |()| + jp |Pj |
(porque || es morfismo)
P
= 1 + jp |Pj |
P
= 1 + jp (ar[X]] (Pj ) + 1)
(porque Pj Bal (X))
P
= 1 + p + jp ar[X]] (Pj )
P
= 1 + ar[X]] (()) + jp ar[X]] (Pj ) (porque ar[X]] (()) = p)
= 1 + ar[X]] (()P0 Pp1 )
Por lo tanto se cumple, para la palabra ()P0 Pp1 , la primera condicion definitoria del concepto de palabra equilibrada.
Sea Q un segmento inicial estricto de ()P0 Pp1 . Entonces, o bien hay un
i p 1 para el cual la palabra Pi es un segmento de Q, o bien no es ese el caso.
Si no hay ning
un i p 1 para el cual Pi sea un segmento de Q, entonces, o bien
Q = , o bien Q = (), o bien Q = ()R, siendo R un segmento inicial estricto de
P0 . Si Q = , entonces || ar[X]] (); si Q = (), entonces |()| ar[X]] (()),
ya que |()| = 1, ar[X]] (()) = p y, por hipotesis 1 p; si Q = ()R, siendo R un
segmento inicial estricto de P0 , entonces
|Q| = |()| + |R|
]
1 + ar[X] (R)
(porque || es morfismo)
(porque P0 Bal (X) y R <pre P0 )
p + ar[X] (R)
= ar[X]] (()) + ar[X]] (R)
= ar[X]] (()R)
= ar[X]] (Q).
De modo que si Q un segmento inicial estricto de ()P0 Pp1 y no hay ning
un
i p 1 para el cual Pi sea un segmento de Q, entonces |Q| ar[X]] (Q).
Bajo la misma hipotesis de que Q sea un segmento inicial estricto de ()P0 Pp1 ,
supongamos que exista un i p 1 para el cual Pi sea un segmento de Q. Sea entonces q el maximo de entre los i p 1 para los cuales se cumple que la palabra Pi
sea un segmento de Q. Entonces Q = ()P0 Pq R, siendo R un segmento inicial
estricto de Pq+1 (ya que si R no fuera un segmento inicial estricto de Pq+1 , q no
sera el maximo con la propiedad indicada), y tenemos que:
P
(porque || es morfismo)
|Q| = |()| +
jq+1 |Pj | + |R|
P
]
=1+
jq+1 (ar[X] (Pj ) + 1) + |R|
P
]
= 1 + (q + 1) +
jq+1 ar[X] (Pj ) + |R|
P
]
p+
ar[X]
(P
)
+ ar[X]] (R)
(porque q p 2 y R <pre Pq+1 )
j
jq+1
= ar[X]] (()P0 Pq R)
= ar[X]] (Q).
De modo que si Q un segmento inicial estricto de ()P0 Pp1 y hay un i p 1
para el cual Pi sea un segmento de Q, entonces |Q| ar[X]] (Q).
Por consiguiente, para cada segmento inicial estricto Q de ()P0 Pp1 , se
cumple que |Q| ar[X]] (Q). Luego Bal (X) es un cerrado de W (X), y por lo
tanto T (X) esta incluido en Bal (X).
126
JUAN CLIMENT
Antes de demostrar, por induccion sobre la longitud, que Bal (X) esta incluido
en T (X), demostramos que para cada palabra equilibrada P , o bien hay un u
nico
x X tal que P = (x), o bien hay un u
nico 0 tal que P = (), o bien hay un
u
nico p N 1, un u
nico p y una u
nica familia (Pj | j p) en Bal (X) tal
que P = ()P0 Pp1 . Para ello demostramos los lemas que siguen.
Lema 5.33. Si P Bal (X), entonces ning
un segmento inicial estricto de P es
una palabra equilibrada.
Demostraci
on. Sea P Bal (X) y Q un segmento inicial estricto de P . Entonces
|Q| ar[X]] (Q). Ahora bien, ar[X]] (Q) < ar[X]] (Q)+1, luego |Q| < ar[X]] (Q)+1,
(porque P = B f C)
= (ar[X] (P ) + 1) |B|
(ar[X]] (P ) + 1) ar[X]] (R)
(porque B <pre P ).
Pero debido a que ar[X]] (P ) = ar[X]] (B) + ar[X]] (C), tambien (ar[X]] (P ) + 1)
ar[X]] (B) = ar[X]] (C) + 1, luego |C|C| | ar[X]] (C|C| ) + 1. As que la palabra C
tiene al menos un segmento inicial T , e.g., ella misma, para el que |T | ar[X]] (T )+
1.
Por otra parte, hay al menos un j |C| para el que se cumple que, para cada
h j, |Ch | ar[X]] (Ch ), e.g., para j = 0, se cumple que, para cada h 0,
|Ch | ar[X]] (Ch ). Sea i el maximo del conjunto
{ j |C| | h j (|Ch | ar[X]] (Ch )) }.
Entonces |Ci | ar[X]] (Ci ) y |Ci+1 | ar[X]] (Ci+1 ) + 1. La palabra Ci+1 es una
palabra equilibrada. En efecto, tenemos que |Ci+1 | ar[X]] (Ci+1 ) + 1, pero tambien:
|Ci+1 | = |Ci | + 1
ar[X]] (Ci ) + 1
ar[X]] (Ci+1 ) + 1,
as que |Ci+1 | = ar[X]] (Ci+1 ) + 1. Ademas, si D es un segmento inicial estricto de
Ci+1 , entonces D = Cj , para alg
un j i + 1, luego |D| ar[X]] (D).
INCOMPLETUD
127
]
ar[X]
(P
)
+1
j
jp
P
= ar[X]] (()) +
jp (|Pj | 1) + 1
P
|P
|
+ (1 p),
= ar[X]] (()) +
j
jp
= ar[X]] (()) +
128
JUAN CLIMENT
P
P
(Pj | j p) en Bal (X). Ahora bien, |P | = |()| + jp |Pj | = 1 + jp |Pj |, por lo
tanto, para cada j p, |Pj | < |P | = n + 1, luego, por la hipotesis de induccion, para
cada j p, Pj T (X), as que P = ()P0 Pp1 T (X). Queda demostrado
que todas las palabras equilibradas cuya longitud sea n+1, son miembros de T (X).
Por consiguiente Bal (X) T (X).
INCOMPLETUD
129
/ Y . Entonces hay un
Corolario 5.41. Sea una signatura algebraica y f : X
/
u
nico homomorfismo T (f ) : T (X)
T (Y ) tal que el diagrama:
X
/ T (X)
T (f )
/ T (Y )
conmuta.
Demostraci
on.
Proposici
on 5.42. Sea una signatura algebraica y X e Y dos conjuntos. Una
condici
on necesaria y suficiente para que X e Y sean isomorfos es que T (X) y
T (Y ) lo sean.
Demostraci
on.
130
JUAN CLIMENT
Proposici
on 5.46. Si X es un conjunto no vaco, entonces T (X) es un separador, i.e., dadas dos -
algebras A, B y dos homomorfismos distintos f y g de A en
B, existe un homomorfismo h de T (X) en A tal que f h 6= g h.
Demostraci
on.
=A
5.5. Operaciones polin
omicas.
Ahora nos ocupamos del estudio de las operaciones polinomicas sobre las algebras
y de algunas de sus propiedades. Ademas, establecemos las relaciones entre las
algebras libres y las algebras de operaciones polinomicas sobre las algebras, as como
otra manera de obtener la subalgebra generada por una parte de un algebra, a traves
de las operaciones polinomicas sobre el algebra en cuestion. Pero antes demostramos
que en la categora Alg() existen las potencias de las algebras para cualesquiera
conjuntos.
algebra y X un conjunto. Entonces hay una Proposici
on 5.49. Sea A una -
INCOMPLETUD
131
/A
AX
prx
conmuta.
Demostraci
on. Sea AX la -algebra cuyo conjunto subyacente es el producto cartesiano de la familia de conjuntos (A | x X), i.e., el conjunto, AX , de las funciones
de X en A, y en la que, para cada , con ar() = n, la operacion estructural
F , correspondiente a , es la aplicacion de (AX )n en AX definida como:
/ AX
(AX )n
F
(a | n) 7 (F (a (x) | n) | x X),
siendo F la operacion estructural de Ai
sea prx el triplo ordenado (AX , prx , A),
prx es la aplicacion de AX en A definida
X
A
prx
a
prnx
/ An
F
AX
prx
/A
/ AX
B
hfx | x Xi
b 7 (fx (b) | x X).
Es evidente que, para cada x X, prx hfx | x Xi = fx y que hfx | x Xi es un
homomorfismo de A en AX . Con ello queda demostrada la existencia de al menos
un homomorfismo de A en AX con la propiedad indicada. Dejamos, como ejercicio,
la demostracion de la unicidad.
Definici
on 5.50 (McKinsey-Tarski). Sea A una -algebra y n N. Entonces
n
Poln (A) es la -algebra determinada por el cerrado de AA generado por las n
proyecciones canonicas de An en A, i.e., por { prn,i | i n } y la denominamos
la -algebra de las operaciones polin
omicas n-arias sobre A. Ademas, Pol (A)
N
es la -algebra determinada por el cerrado de AA generado por las proyecciones
N
canonicas de A en A, i.e., por { prN,i | i N } y la denominamos la -algebra de
las operaciones polin
omicas finitarias sobre A.
Demostramos a continuacion que cada operacion polinomica n-aria sobre una algebra se puede obtener a partir de, al menos, un smbolo de operacion polinomica
con n variables.
132
JUAN CLIMENT
Proposici
on 5.51. Sea V = { vn | n N } un conjunto infinito numerable, n N
y A una -
algebra. Entonces hay un u
nico homomorfismo Pdn,A de T ( vn ) en
n
AA tal que, para cada i n, Pdn,A ((vi )) = prn,i , i.e., tal que el diagrama:
vn
/ T ( vn )
vn K
KK
KK
KK
KK
Pdn,A
KK
(prn,i | i n)
KK
%
n
AA
conmuta, y Poln (A) = Im(Pdn,A ), i.e., cada operaci
on polin
omica n-aria sobre
la -
algebra A se puede obtener a partir de, al menos, un smbolo de operaci
on
polin
omica con n variables. Por consiguiente, la -
algebra Poln (A) es isomorfa a
T ( vn )/Ker(Pdn,A ). Adem
as, hay un u
nico homomorfismo Pd,A de T (V ) en
N
AA tal que, para cada n N, Pd,A ((vn )) = prN,n , i.e., tal que el diagrama:
(prN,n
V
/ T (V )
V GG
GG
GG
GG
Pd,A
GG
GG
| n N)
G#
N
AA
INCOMPLETUD
133
Proposici
on 5.52. Sean A y B dos -
algebras, f : A
vn ). Entonces el diagrama:
An
fn
/ Bn
PA
/ B, n N y P T (
PB
/B
conmuta. Adem
as, si P T (V ), entonces el diagrama:
AN
fN
/ BN
PA
PB
/B
conmuta.
Demostraci
on.
Proposici
on 5.53. Sea A una -
algebra. Entonces se cumple que:
1. Si n N, x, y An , P T ( vn ), Var(P ) = { vi | p } y, para cada
p, x(i ) = y(i ), entonces P A (x) = P A (y).
2. Si x, y AN , P T (V ) Var(P ) = { vn | p } y, para cada p,
x(n ) = y(n ), entonces P A (x) = P A (y).
Demostraci
on.
Proposici
on 5.54. Sea A una -
algebra. Entonces, para cada , con ar() =
n, se cumple que F Poln (A).
Demostraci
on.
Proposici
on 5.55. Sea A una -
algebra, m, n N, P Polm (A) y (Qj | j
m) Poln (A)m . Entonces P hQj | j mi Poln (A).
Demostraci
on. Sea F el subconjunto de AA
definido como:
134
JUAN CLIMENT
que
F (Pk | k q) hQj | j mi = (FA hPk | k qi) hQj | j mi
= FA (hPk | k qi hQj | j mi)
= FA hPk hQj | j mi | k qi
= FA (Pk hQj | j mi | k q),
se cumple que F (Pk | k q) F.
/ n. Entonces hay
Proposici
on 5.56. Sea A una -
algebra, m, n N y : m
un u
nico homomorfismo Pol (A) de Polm (A) en Poln (A) tal que el diagrama:
T ( vm )
T ()
Pdm,A
Polm (A)
/ T ( vn )
Pdn,A
Pol (A)
/ Poln (A)
conmuta.
Demostraci
on. En efecto, Pol (A) definido como
/ Poln (A)
Polm (A)
Pol (A)
P
7 (P (x ) | x An )
es un homomorfismo de
Proposici
on 5.57. Sea A una -
algebra. Entonces:
1. Para cada n N, Polidn (A) = idPoln (A) .
/ n y : n
/ p, Pol (A) = Pol (A) Pol (A).
2. Para cada : m
Demostraci
on.
/A y
Proposici
on 5.58. Sea A una -
algebra, 0 < m < n N, P : Am
n
n
/ A. Si, para cada x A , Q(x) = P (xm), entonces P Polm (A)
Q: A
precisamente si Q Poln (A)
Demostraci
on.
Como aplicacion de los conceptos que acabamos de introducir, damos una caracterizacion de la subalgebra generada por una parte de una -algebra.
Proposici
on 5.59. Sea A una -
algebra. Entonces:
1. Para cada n N y cada x An , se cumple que
SgA (Im(x)) = { P (x) | P Poln (A) }.
2. Para cada X A, se cumple que
SgA (X) = { P (x) | n N, P Poln (A) y x X n }.
Demostraci
on. Se cumple que SgA (Im(x)) { P (x) | P Poln (A) }, porque el
conjunto { P (x) | P Poln (A) } es un cerrado de A que contiene al conjunto
Im(x) y SgA (Im(x)) es el mnimo cerrado de A con dicha propiedad.
Para demostrar que { P (x) | P Poln (A) } SgA (Im(x)), i.e., que si P
Poln (A), entonces P (x) SgA (Im(x)), procedemos por induccion algebraica. Para
cada i n, prn,i (x) = xi , luego prn,i (x) SgA (Im(x)). Para cada m N, cada
m y cada familia (Pi )im en Poln (A), si, para cada i m, Pi (x) SgA (Im(x)),
entonces, ya que (F hPi | i mi)(x) = F (P0 (x), . . . , Pm1 (x)), y SgA (Im(x)) es
INCOMPLETUD
135
Proposici
on 5.60. Sea A una -
algebra, X un cerrado de A, n N y P
Poln (A). Entonces, para cada x X n , P (x) X.
Demostraci
on.
Proposici
on 5.61. Sea f : A _ / B. Entonces hay un u
nico homomorfismo sobreyectivo Poln (f ) de Poln (A) en Poln (B) tal que el diagrama:
T ( vn )
MMM
q
q
q
MMMPd
Pdn,A qqq
MMMn,B
q
q
q
MMM
q
q
MM&
xqqq
/ Poln (B)
Poln (A)
Poln (f )
conmuta.
Demostraci
on.
Pd : EnsN Alg()epi
Proposici
on 5.62. Sea : m
diagonal del diagrama:
/n y f: A
Polm (f )
/ Polm (B)
Polm (A)
MMM
MMMPol (f )
MMM
Pol (A)
Pol (B)
MMM
MMM
&
/ Poln (B)
Poln (A)
Poln (f )
se cumple que el diagrama:
T ( vm )
Pdm,A
/ Polm (A)
Pol (f )
T ()
T ( vn )
Pdn,B
/ Poln (B)
conmuta. Adem
as, para los homomorfismos del tipo Pol (f ) tenemos que:
1. Para cada n N y cada -
algebra A,
2. Para cada : m
_ / C,
136
JUAN CLIMENT
Demostraci
on. La definicion de Pol (f ) como la diagonal del primer diagrama de
la proposicion es correcta, ya que el diagrama:
Polm (f )
/ Polm (B)
Polm (A)
fMMM
q8
MMM
q
qq
q
MMM
q
qq
M
qqqPdm,B
Pdm,A MMMMM
q
q
qq
T ( vm )
Pol (A)
Pol (B)
T ()
T ( vn )
MMM
qq
MMM Pd
Pdn,Aqqqqq
MMM m,B
q
MMM
q
q
q
MMM
q
&
xqqq
/ Poln (B)
Poln (A)
Poln (f )
conmuta
Proposici
on 5.63. Sea f : B _ / A. Entonces hay un u
nico homomorfismo sobreyectivo Poln (f ) de Poln (A) en Poln (B) tal que el diagrama:
T ( vn )
MMM
q
q
q
MMMPd
Pdn,A qqq
MMMn,B
q
q
q
MMM
q
q
MM&
xqqq
/ Poln (B)
Poln (A)
Poln (f )
conmuta.
Demostraci
on.
/ n y f : B _
T ( vm )
Pdm,A
/ A. Entonces el diagrama:
/ Polm (A)
Pol (f )
T ()
T ( vn )
Pdn,B
/ Poln (B)
conmuta. Adem
as, para los homomorfismos del tipo Pol (f ) tenemos que:
1. Para cada n N y cada -
algebra A,
2. Para cada : m
/ B,
INCOMPLETUD
5.6.
137
Definici
on 5.65. Una signatura de primer orden es un par ((, ar), (, rk)), abreviado como (, ) en el que , el conjunto de los smbolos de operaci
on, es un
conjunto, ar, la ariedad, una aplicacion de en N, , el conjunto de los smbolos
de relaci
on, es un conjunto, rk, el rango, una aplicacion de en N 1. Si y
ar() = n, entonces decimos que es un smbolo de operacion n-ario, y, para cada
n N, denotamos por n el conjunto de todos los smbolos de operacion n-arios.
Del mismo modo, si y rk() = n, entonces decimos que es un smbolo de
relacion n-ario, y, para cada n N 1, denotamos por n el conjunto de todos los
smbolos de relacion n-arios.
La ariedad de un smbolo de operacion , indica el n
umero de los argumentos
que tendra cualquier realizacion de como una operacion sobre un conjunto. Por
otra parte, el rango de un smbolo de relacion , indica el n
umero de los argumentos
que tendra cualquier realizacion de como una relacion sobre un conjunto.
Definici
on 5.66. Sea (, ) una signatura de primer orden y A un conjunto. Una
(, )-estructura
sobre el conjunto A es un par (F, R) en el que F es una aplicacion
S
de en Hom(Aar() , A) tal que, para cada , F Hom(Aar() , A) y
S
R una aplicacion de en Sub(Ark() ) tal que, para cada , R
Sub(Ark() ).
En algunos casos, para evitar equivocaciones, denotaremos la (, )-estructura
que estemos considerando sobre un conjunto A por (F A , RA ), a las operaciones
que la componen por FA , con y a las relaciones por RA . Ademas, cuando
/ A en el u
ar() = 0, denotaremos por A el valor de FA : 1
nico miembro de 1.
Un (, )-sistema algebraico o, para abreviar, un sistema algebraico es un triplo
ordenado A = (A, F, R), en el que A es un conjunto y (F, R) una (, )-estructura
sobre A.
Si = , entonces a los (, )-sistemas algebraicos los denominamos sistemas relacionales. Ademas, si A = (A, F, R) es un (, )-sistema algebraico, el
par (A, F ) es la -algebra subyacente del mismo y, del mismo modo, el par (A, R),
el -sistema relacional subyacente de dicho sistema algebraico.
5.7.
Definici
on 5.67. Un lenguaje de primer orden es un cuadruplo
L = (V, , (, ), =),
en el que V = { vn | n N } es un conjunto infinito numerable, arbitrario pero
fijo, una signatura algebraica, a la que denominamos la signatura l
ogica, tal que,
para cada n N, los conjuntos n , de smbolos de operacion logicos, estan definidos
como:
1. 1 = {} { vn | n N }.
2. 2 = { , , }.
3. n = , si n 6= 1, 2,
(, ) una signatura de primer orden y = el smbolo de la igualdad.
Definici
on 5.68. El conjunto Tm(L), de los L-terminos es:
Tm(L) = T (V ),
i.e., el conjunto subyacente de la -algebra libre sobre el conjunto de las variables
V.
Los miembros de Tm(L), i.e., los smbolos de operacion polinomica, o terminos,
denotan operaciones, esencialmente, finitarias, que se realizan como tales sobre
conjuntos que esten dotados de una estructura de -algebra. Ademas, para un
138
JUAN CLIMENT
`
/ Ml( ` V )
(Ml( V ))ar()
F
(Pj | j ar()) 7 () f f(Pj | j ar()),
i.e., como la concatenacion de la palabra () y de las palabras Pj , con j ar().
Corolario 5.69. Sea T W (V ). Si T es un cerrado de la -
algebra W (V ) y
T contiene al conjunto { (vn ) | n N }, entonces Tm(L) T .
Corolario 5.70. El par ordenado (V , Tm(L)) en el que V es la u
nica aplicaci
on
de V en Tm(L) tal que el diagrama:
V
y
yy
y
inV
yy
`
V yyy
y
V
yy
yy
y
` V
yy
`
|yy
/ Ml( V )
Tm(L)
inTm(L)
conmuta, tiene la propiedad de que, para cada -algebra A y cada aplicaci
on
/ A, existe un u
f: V
nico homomorfismo f ] de Tm(L) en A tal que el diagrama:
V /
Tm(L)
V HH
HH
HH
HH
H
f]
f HHHH
H$
A
conmuta.
Definici
on 5.71. Denotamos por Var el u
nico homomorfismo de Tm(L) en Fin(V )
tal que, para cada n N, Var((vn )) = {vn }, siendo Fin(V ) la -algebra cuyo
conjunto subyacente es Subfin (V ) y en la que, para cada , con ar() = n, F ,
la operacion estructural
de Fin(V ) asociada a , asigna a una familia (Xi | i n)
S
en Subfin (V ), in Xi .
Definici
on 5.72. El conjunto de los L-terminos cerrados, denotado por ClTm(L),
es:
ClTm(L) = { P Tm(L) | Var(P ) = }.
El conjunto ClTm(L) es, esencialmente, el conjunto subyacente de la -algebra
libre sobre el conjunto vaco.
ormulas at
omicas es el conjunto definido
Definici
on 5.73. El conjunto de las L-f
(explcitamente, y no por recursion) como:
S
At(L) = ({=} Tm(L)2 ) {} Tm(L)rk() .
INCOMPLETUD
139
At(L) www
`
ww
At(L)
ww
w
w
w
` At(L)
ww
{ww
/ Ml( ` At(L))
Fm(L)
inFm(L)
140
JUAN CLIMENT
INCOMPLETUD
141
/ A
N
(
x(m), si m N {n};
x(n|a)
(n|a)
(m) =
m 7 x
a,
si m = n.
As pues, la aplicacion x(n|a) coincide con x en N {n} y en n toma como valor a.
Definici
on 5.83. Sea A = (A, F, R) un sistema algebraico y P Tm(L). Entonces
denotamos por P A la imagen bajo Pd,A de P , y lo denominamos el polinomio
determinado por (el smbolo de operacion polinomica) P en A, siendo Pd,A el
N
u
nico homomorfismo de la -algebra Tm(L) en la -algebra (A, F )A tal que,
para cada n N, Pd,A ((vn )) = prN,n , i.e., tal que el diagrama:
V
/ Tm(L)
V GG
GG
GG
GG
Pd,A
G
(prN,n )nN GGGG
#
N
AA
conmuta.
Proposici
on 5.84. Sea A un sistema algebraico , x, y AN , P Tm(L) y
Var(P ) = { vn | p }. Si, para cada p, x(n ) = y(n ), entonces P A (x) =
P A (y).
Demostraci
on.
Definici
on 5.85. Sea A un sistema algebraico, P T (V ) y n(P ) = min{ n
N | Var(P ) vn }. Entonces P n(P ),A denota la operacion n(P )-aria sobre A que
a un x An(P ) le asigna P n(P ),A (x) = P A (y), siendo y cualquier miembro de AN
tal que yn(P ) = x.
Definici
on 5.86 (Tarski). Sea A un sistema algebraico. Entonces
1. Denotamos por Sub (AN ) la -algebra cuyas operaciones estructurales
estan definidas como:
a)
/ Sub(AN )
Sub(AN )
F
X
7 F (X ) = AN X .
b)
Fvn
/ Sub(AN )
Sub(AN )
X
7 Fvn (X ) = { y AN | a A (y (n|a) X ) }.
c)
/ Sub(AN )
Sub(AN )2
X
7 F (X , Y) = X Y.
142
JUAN CLIMENT
d)
e)
/ Sub(AN )
Sub(AN )2
X
7 F (X , Y) = X Y.
/ Sub(AN )
Sub(AN )2
X
7 F (X , Y) = (AN X ) Y.
INCOMPLETUD
Demostraci
on.
143
Definici
on 5.90. Sea A un sistema algebraico, Fm(L) y n() = min{ n N |
Fvar() vn }. Entonces n(),A denota la relacion n(P )-aria sobre A definida
como:
n(),A = { x An() | y AN (yn() = x & y A ) }.
Si x n(),A , decimos que x satisface a en A y lo denotamos por A |=L [[x]].
Definici
on 5.91. Sea A un sistema algebraico, n N 1 y R An . Decimos que
R es definible en A si hay una formula tal que Fvar() vn y n(),A = R.
Proposici
on 5.92. Sea n N 1 y A un sistema algebraico. Entonces el conjunto
Def n (A) de las relaciones de rango n definibles en A est
a cerrado bajo la uni
on
binaria, intersecci
on binaria y complementaci
on. Adem
as, y An Def n (A). Por
lo tanto Def n (A) = (Def n (A), , , {, , An ) es un
algebra booleana.
Demostraci
on.
Definici
on 5.93. Sea L un lenguaje de primer orden. Entonces la relacion de
validez entre sistemas algebraicos y formulas, a la que denotamos por |=L , es la
definida como:
|=L = { (A, ) SAlg(, ) Fm(L) | x AN (A |=L [x]) }.
Convenimos que A |=L significa que el par (A, ) SAlg(, ) Fm(L)
esta en |=L , y decimos, en ese caso, que la formula es verdadera en A o que
A es un modelo de ; ademas, decimos que una formula es universalmente
v
alida si, para cada sistema algebraico A, A |=L . Entonces el triplo ordenado (SAlg(, ), Fm(L), |=L ) es el contexto de Galois de la L-l
ogica de predicados de primer orden con igualdad y a la situacion de Galois contravariante (Sub(SAlg(, )), VdL , ModL , Sub(Fm(L))), asociada al anterior contexto de
Galois, la denominamos la situaci
on de Galois contravariante de la L-l
ogica de
predicados de primer orden con igualdad.
La aplicacion VdL asigna a cada conjunto A de sistemas algebraicos, el conjunto
de formulas VdL (A) definido como:
/ Sub(Fm(L))
Sub(SAlg(, ))
VdL
A
7 { Fm(L) | A A (A |=L ) },
de modo que VdL (A) es el conjunto de las formulas validas, o verdaderas, en A.
A cualquier formula cerrada de VdL (A) la denominamos un teorema de A y al
conjunto de los teoremas de A, i.e., a VdL (A) Sent(L), lo denotamos por ThL (A).
La aplicacion ModL asigna a cada conjunto de formulas, el conjunto de sistemas algebraicos ModL () definido como:
/ Sub(SAlg(, ))
Sub(Fm(L))
ModL
7 { A SAlg(, ) | (A |=L ) }.
A cualquier sistema algebraico de ModL () lo denominamos modelo de .
Decimos que un conjunto A de sistemas algebraicos es axiomatizable si hay un
conjunto de f
ormulas cerradas tal que A = ModL (), en cuyo caso decimos que
es un conjunto de axiomas de A. Si es finito, entonces decimos que A es finitamente axiomatizable. Decimos que un conjunto de formulas esta modelsticamente
cerrado si hay un conjunto de sistemas algebraicos A tal que = VdL (A).
Proposici
on 5.94. Para el contexto de Galois (SAlg(, ), Fm(L), |=L ), dados A, A0 SAlg(, ), una familia no vaca (Ai | i I) de subconjuntos de
SAlg(, ), , 0 Fm(L) y una familia no vaca (i | i I) de subconjuntos de
Fm(L) se cumple que:
144
JUAN CLIMENT
1.
2.
3.
4.
5.
6.
7.
8.
Demostraci
on.
Definici
on 5.95. Sea Fm(L) tal que Fvar() = { vn | p }. Una clausura
universal de es cualquier formula de la forma vn(0) . . . vn(p1) , para alguna
permutacion (() | p) de p. A cualquiera de ellas la denotamos por cl ().
Proposici
on 5.96. Sea A un sistema algebraico y Fm(L) tal que Fvar() =
{ vn | p }. Entonces A |=L si y s
olo si A |=L cl ().
Demostraci
on.
INCOMPLETUD
145
Demostramos por u
ltimo que ModL (ThL (ModL ())) ModL (). Sea pues A un
modelo de ThL (ModL ()) i.e., A cumple que
(( Sent(L) & (C ModL () (C |=L ))) A |=L ),
entonces, dado un , ya que cl () Sent(L) y, para cada C ModL (),
se cumple, en virtud de la proposicion 5.96, que C |=L cl (), tenemos que A |=L
cl (), luego, por la misma proposicion, A |=L . Por lo tanto
ModL (ThL (ModL ())) ModL ().
Proposici
on 5.99. El conjunto
Im(VdL ) = { Fm(L) | A SAlg(, ) ( = VdL (A)) },
de todos los conjuntos de f
ormulas modelsticamente cerrados, es un sistema de
clausura y es isomorfo al conjunto
Im(ModL Sub(Sent(L))) = { A SAlg(, ) | Sent(L) (A = ModL ()) },
de todos los conjuntos de sistemas algebraicos axiomatizables.
Demostraci
on. Veamos que el conjunto Im(VdL ) es un sistema de clausura sobre
Fm(L). Se cumple que Fm(L) Im(VdL ) porque, para A = , VdL () T
= Fm(L).
Ademas, si (i | i I) es una familia no vaca en Im(VdL ), entonces iI i
Im(VdL ), porque, paraTcada i I, existe
S un subconjunto Ai de SAlg(, ) tal
que i = ModL (Ai ) y iI i = VdL ( iI Ai ).
Para establecer que el conjunto de todos los conjuntos de formulas modelsticamente cerrados es isomorfo al conjunto de todos los conjuntos de sistemas algebraicos axiomatizables, es suficiente tomar en consideracion que las aplicaciones:
/ Im(ModL Sub(Sent(L)))
Im(VdL )
ML
VdL (A) 7 ModL (ThL (A))
y
VL
/ Im(VdL )
Im(ModL Sub(Sent(L)))
ModL ()
7 VdL (ModL ())
146
JUAN CLIMENT
/ Sub(Fm(L))
Sub(Fm(L))
CnL
7 { Fm(L) | L },
es un operador clausura sobre Fm(L).
Demostraci
on.
Si Sent(L), entonces
CnL () Sent(L) = ThL (ModL ()).
Definici
on 5.102. Una L-teora o tambien, para abreviar, una teora, es un subconjunto de Sent(L) tal que, para cada Sent(L), si L , entonces
Si Sent(L), entonces es una teora precisamente si = CnL ().
Proposici
on 5.103. Para cada conjunto de sistemas algebraicos A, ThL (A) es una
teora. En particular, para cada sistema algebraico A, ThL (A) es una teora.
Demostraci
on.
En esta subeccion definimos la relacion de equivalencia elemental y la de encajamiento elemental entre sistemas algebraicos y estudiamos tanto las propiedades de
las mismas, como las relaciones que subsisten entre ellas y la relacion de isomorfa.
Ademas, demostramos el teorema de Tarski-Vaught sobre la clausura del conjunto
de los sistemas algebraicos, relativos a una signatura de primer orden, arbitraria
pero fija, respecto de la union de cadenas ascendentes de sistemas algebraicos, en
las que cada termino de la cadena es un subsistema elemental de su sucesor, el
INCOMPLETUD
147
Definici
on 5.108. Sean A y B dos sistemas algebraicos. Un encajamiento elemental de A en B es un triplo ordenado (A, f, B), abreviado como f y denotado por
f : A / / B, en el que f es una aplicacion de A en B tal que, para cada formula
y cada x AN , A |=L [x] exactamente si B |=L [f x], i.e., x A s y solo si
f x B .
Proposici
on 5.109. Si f : A /
un encajamiento de A en B.
Demostraci
on.
Proposici
on 5.110.
1. Si f : A / / B y g : B / / C son encajamientos elementales, entonces tambien lo es g f : A / / C .
2. Si g f : A / / C y g : B / / C son encajamientos elementales, entonces
tambien lo es f : A / / B.
3. idA es un encajamiento elemental.
/ B es un isomorfismo, entonces tambien es un encajamiento
4. Si f : A
elemental.
5. Si f : A / / B es un encajamiento elemental, entonces A B.
Demostraci
on.
Definici
on 5.111 (Tarski). Sean A y B dos sistemas algebraicos. Decimos que A
es un subsistema elemental de B, y lo denotamos por A 4 B, si A B y si inA es
un encajamiento elemental de A en B.
Proposici
on 5.112. Sean A y B dos sistemas algebraicos. Si A es un subsistema
elemental de B, entonces A es un subsistema de B y A B.
Demostraci
on.
148
JUAN CLIMENT
/ lim(T, B).
Demostraci
on.
iI
iI
Ai
Ai
, P1
iI
Ai
),
S
(ini x) = P1
iI
Ai
inN
i
/(
S
iI
PAi
Ai
Ai )N
P iI
ini
S
iI
Ai
Ai
INCOMPLETUD
149
S
Ai
iI
Ai
iI
(inN
i (x)) = P1 S
Ai
(inN
i (x)).
Ai
Ai
Ai
iI
Por otra parte, si P0
(inN
(inN
i (x)) = P1
i (x)), entonces ini (P0 (x)) =
Ai
Ai
Ai
ini (P1 (x)), luego, ya que ini es inyectiva, P0 (x) = P1 (x). Para las formulas
at
omicas de la forma (Pi | i n) se procede del mismo modo y lo dejamos como
ejercicio.
Veamos que esta cerrado bajo los operadores logicos.
Sea Fm(L) tal que . Vamos a demostrar queS , i.e., que para
cada i I y cada x AN
i , Ai |=L [x] precisamente si
iI Ai |=L [ini x].
Ai
Sea i I y x AN
= {Ai ,
i . Supongamos que Ai |=L [x], entonces x ()
Ai
luego x 6S , i.e., no es el caso que Ai |=L [x],
S luego, por la hipotesis, no es el
caso que iI Ai |=L [ini x], por lo tanto iI Ai |=L [ini x]. Del mismo
modo se demuestra la recproca.
Sea Fm(L) tal que . Vamos a demostrar que, para cada n N,
vn , i.e., que para cada n N, seScumple que, para cada i I y cada
x AN
i , Ai |=L vn [x] precisamente si
iI Ai |=L vn [ini x]. Sea n N,
i I y x AN
.
Supongamos
que
A
|=
v
a Ai tal
i
L
i
Sn [x], entonces hay un
(n|a)
(n|a)
A
|=
[(in
x)
], as que
que
A
|=
[x
],
luego,
por
la
hip
o
tesis,
i
L
i
i
L
SiI
S
A
|=
v
[in
x],
entonces
A
|=
v
[in
x].
Rec
procamente,
si
i
L
n
i
i
L
n
i
iI
iI
S
S
hay un a iI Ai tal que iI Ai |=L [(ini x)(n|a) ]. Por lo tanto para un j I
tenemos que a Aj , luego hay un k I tal que Ai 4 Ak y Aj 4 Ak , entonces, por
la hipotesis de induccion algebraica, Ak |=L [x(n|a) ], i.e., Ak |=L vn [x], luego
Ai |=L vn [x], porque Ai 4 Ak .
Dejamos como ejercicio la demostracion de que esta cerrado para el resto de
los operadores logicos.
iI
150
JUAN CLIMENT
que A |=L [x], entonces no es el caso que A |=L [x], luego, por la hipotesis, no
es el caso que B |=L [x], por lo tanto B |=L [x]. Del mismo modo se demuestra
la recproca.
Sea Fm(L) tal que . Vamos a demostrar que, para cada n N,
vn , i.e., que para cada n N, se cumple que, para cada x AN , A |=L
vn [x] precisamente si B |=L vn [ini x]. Sea n N y x AN . Supongamos
que A |=L vn [x], entonces hay un a A tal que A |=L [x(n|a) ], luego, por la
hipotesis, B |=L [x(n|a) ], as que B |=L vn [x]. Recprocamente, si B |=L vn [x],
entonces, por 2, hay un a A tal que B |=L [x(n|a) ],luego, por la hipotesis de
induccion, A |=L [x(n|a) ], por lo tanto A |=L vn [x].
Dejamos como ejercicio la demostracion de que esta cerrado para el resto de
los operadores logicos.
B
(
f ({ u B | B |=L [b(i|u) ] }), si { u B | B |=L [b(i|u) ] } 6= ;
G,i
b
f (B),
en caso contrario.
Sea A el cerrado de (B, (G,i | (, i) Fm(L) N)) generado por Y . El conjunto
A es tal que card(A) = m. Ahora vamos a dotar al conjunto A de una estructura
de (, )-sistema algebraico. Para un smbolo de relacion de rango m convenimos que RA = RB Am . Por otra parte, para un smbolo de operacion de
ariedad m, vamos a ver que A esta cerrado bajo la operacion FB . Sea la formula
(v0 , . . . , vm1 ) = vm y a0 , . . . , am1 A, entonces
G,m (a0 , . . . , am1 , a0 ) = FB (a0 , . . . , am1 ),
porque FB (a0 , . . . , am1 ) es el u
nico elemento u de B tal que, tomando como a =
(a0 , . . . , am1 , a0 ), B |=L [a(m|u) ]. Luego definimos
FA (a0 , . . . , am1 ) = FB (a0 , . . . , am1 ).
Obviamente se cumple que A = (A, F A , RA ) es un subsistema de B = (B, F B , RB ).
Para demostrar que A = (A, F A , RA ) es un subsistema elemental de B = (B, F B , RB )
aplicamos el teorema 5.115. Sea Fm(L), n N, x AN y supongamos que
B |=L vn [x]. Sea m un n
umero natural tal que las variables libres de esten incluidas en vm+1 = { v0 , . . . , vm } y n m. Entonces para u = G,n (a0 , . . . , am ) se
cumple que u A, porque A est
a cerrado bajo las operaciones G,n . Ademas, por la
definicion de G,n , tenemos que B |=L [(xm + 1)(n|u) ], luego B |=L [x(n|u) ].
Teorema 5.117 (Los). Sea I un conjunto, F un ultrafiltro sobre I y (Ai | i I)
una familia de sistemas algebraicos. Entonces, para cada Fm(L) y cada x
Q
N
, las siguientes condiciones son equivalentes:
iI Ai
INCOMPLETUD
1.
151
iI
Q Ai /
Q
iI
Ai
Demostraci
on. Para la demostracion conviene que tengamos presente el diagrama:
N NNN
NNN
Npr
NNNF x
NNN
x
NNN
N
Q
Q'
/
A
i
iI
iI Ai / F
prF
pri
Ai
Q
N Q
Para demostrar que, para cada Fm(L) y cada x
, iI Ai / F |=L
iI Ai
[prF x] precisamente si { i I | Ai |=L [pri x] } F, procedemos por induccion algebraica. Concretamente, vamos a demostrar que el conjunto de formulas
definido como:
Q
olo
Q
N
iI Ai / F |=L [prF x] si y s
= Fm(L) x
,
A
i
iI
si { i I | Ai |=L [pr x] } F
i
contiene al conjunto At(L) de las formulas atomicas y esta cerrado bajo las operaciones estructurales definidas sobre Fm(L).
Sabemos que las L-formulas atomicas, o bien son de la forma P0 = P1 , para
alg
un (Pi | i 2) Tm(L)2 , o bien de la forma (Pi | i n), para alg
un n N 1,
alg
un n y alguna familia (Pi | i n) Tm(L)n .
N
Q
Q
. Vamos a demostrar que iI Ai / F |=L P0 = P1 [prF x]
Sea x
iI Ai
precisamente si { i I | Ai |=L P0 = P1 [pri x] } F. Si prF x Q
satisface a
Q
Ai /F
P0 =
P en iI Ai / F , entonces prF x pertenece al igualador de P0 iI
Q 1
y P1
iI
Ai /F
iI
Ai
prN
F
/ Q
Ai
prF
Q
Ai
iI
iI
Ai /F
(x)) = pr
(P1
QF
iI
Ai
iI
iI
Q
iI
Q
iI
Ai
(prF x) = prF (P
prN
i
Ai
Q
iI
/ AN
i
PAi
Ai
pri
iI
Ai
(x)).
Ai
Ai /F
Ai / F
{ i I | pri (P0
(x)) = pri (P1
(x)) } F.
Ahora bien, para 2, el diagrama:
iI
iI
Luego prFQ(P0
Ai / F
Ai
iI
iI
/ Ai
152
JUAN CLIMENT
Q
Ai
INCOMPLETUD
153
T
T
(j | j n) I n , jn Gj 6= , porque jn Gj = GSjn j y se cumple que
S
on, hay un ultrafiltro F
jn j I. Por lo tanto, en virtud del axioma de elecci
sobre I tal que GQ F, i.e., tal que, para cada I, , G F. Veamos que,
para cada , I A / F |=L . Para ello es suficiente que demostremos, en
virtud del corolario 5.118 que, para cada , { I | A |=L } F. Ahora
bien, dado un , el conjunto { I | A |=L } pertenece a F, porque
contiene al conjunto G{} F.
Proposici
on 5.121. El teorema de compacidad equivale a que, para cada {}
Sent(L), si L , entonces hay un subconjunto finito de tal que L .
Demostraci
on. Supongamos el teorema de compacidad y sea {} Sent(L) tal
que L . Si, contrariamente a lo enunciado, para cada subconjunto finito de
, existiera un sistema algebraico A tal que A ModL () pero A 6 ModL (),
entonces, para cada subconjunto finito de , existira un sistema algebraico A
tal que A ModL () y A ModL (). Por lo tanto, para el conjunto de formulas
cerradas {}, tendramos que, para cada subconjunto finito de {},
ModL () 6= , pero ModL ({}) = , ya que en caso contrario, i.e., si existiera
un sistema algebraico A tal que A ModL ( {}), entonces A |=L y A |=L
, lo cual es absurdo. De modo que hay un subconjunto finito de tal que
L .
Ahora supongamos que, para cada {} Sent(L), si L , entonces hay
un subconjunto finito de tal que L . Si no se cumpliera el teorema de
compacidad, i.e., si existiera un Sent(L) tal que, para cada subconjunto finito
de , ModL () 6= pero ModL () = , entonces, para la formula cerrada
x (x 6= x), tendramos que L x (x 6= x), porque ModL () = , y, para
cada subconjunto finito de , 6L x (x 6= x), porque ModL () 6= pero
ModL (x (x 6= x)) = .
Proposici
on 5.124. Sea A un conjunto infinito y m un cardinal transfinito. Entonces hay un conjunto I tal que card(I) = m y un ultrafiltro F sobre I tal que
2m card(AI / F ).
Demostraci
on. Sea I = { X m | card(X) < 0 }. Para cada X I, sea GX =
{ Y I | X Y }. Entonces el subconjunto G = { GX | X I } de Sub(I), es una
subbase de filtro sobre I, i.e., se cumple que:
1. G 6= .
2. 6 G.
T
3. Para cada n N 1 y cada (Xj | j n) I n , jn GXj 6= .
En efecto, el conjunto G 6= , porque I 6= . El conjunto vaco no pertenece a G
porque, dado un XT I, X GX . Por u
ltimo,
T dado un n N 1 y una familia
(Xj | j n) I n , jn GXj 6= , porque jn GXj = GSjn Xj y se cumple que
S
on, hay un ultrafiltro F
jn Xj I. Por lo tanto, en virtud del axioma de elecci
sobre I tal que G F, i.e., tal que, para cada X I, , GX F. Ahora vamos a
demostrar que existe una aplicacion inyectiva de Sub(m) en AI / F . Para ello, una
154
JUAN CLIMENT
Q
vez elegida una familia f = (fX | X I) en XI Mono(Sub(X), A), definimos la
aplicacion Hf de Sub(m) en AI como:
/ AI
Sub(m)
Hf
Y
7 (fX (Y X) | X I).
Entonces la aplicacion H de Sub(m) en AI / F definida como:
/ AI / F
Sub(m)
H
Y
7 [Hf (Y )]F ,
es inyectiva. En efecto, dados dos subconjuntos distintos Y y Z de m, si Y Z,
entonces, ya que G{} { X I | fX (Y X) 6= fX (Z X) } y G{} F, se
cumple que { X I | fX (Y X) 6= fX (Z X) } F, luego H(Y ) 6= H(Z).
Definici
on 5.126. Sea L un lenguaje de primer orden. Decimos que una teora
T es completa si, para cada Sent(L), o bien T o bien T ; que T es
consistente si Mod(T ) 6= ; por u
ltimo, siendo m un cardinal, decimos que T es una
teora m-categ
orica si, salvo isomorfismo, tiene exactamente un modelo de cardinal
m, i.e., si, para cada A, B Mod(T ), si la cardinalidad de A y B es m, entonces
A
orica si dos modelos cualesquiera de T son isomorfos.
= B, y que es categ
La teora de grupos, Grp, no es una teora completa, porque para la sentencia
= x, y (x y = y x), se cumple que ni Grp L ni Grp L , i.e., que tanto
Grp{} como Grp{} son consistentes. Sin embargo la teora de grupos triviales,
Grp {x (x = 1)}, es completa. Porque, por una parte, salvo isomorfismo, el grupo
trivial es el u
nico modelo de Grp {x (x = 1)} y, por otra, si fuera incompleta,
entonces . . . .
INCOMPLETUD
155
Proposici
on 5.127. Una teora T es completa si y s
olo si dos modelos cualesquiera
de T son elementalmente equivalentes.
Demostraci
on. Supongamos que dos modelos cualesquiera de T son elementalmente equivalentes. Si T no fuera completa, existira un Sent(L) tal que ni T L
ni T L . Luego T {} y T {} seran teoras consistentes. Por lo tanto, para cada A Mod(T {}) y cada B Mod(T {}), tendramos que
A, B Mod(T ), luego, por la hipotesis, A B. Pero eso es absurdo, porque
A Mod({}) y B Mod({}). De modo que T es completa. Recprocamente,
si T es completa y A, B son dos modelos de T , entonces dada Sent(L) tal
que A |=L , se cumple que T , ya que en caso contrario, por ser T completa,
T , luego A |=L , que sera una contradiccion. Por lo tanto B |=L . De
modo que A y B son elementalmente equivalentes.
Usando el test de L
os-Vaught demostramos que la teora de los ordenes lineales
densos y sin maximo ni mnimo, Dlone, es completa. En primer lugar, cualquier
modelo de Dlone es infinito (demuestrese). Ademas, en virtud de un teorema de
Cantor, Dlone es 0 -categorica. Por lo tanto es completa.
Otro modo de demostrar la completud de la teora Dlone es: Si Dlone no fuera
completa, existira una sentencia tal que ni Dlone L ni Dlone L . Luego
Dlone {} y Dlone {} seran teoras consistentes. Por lo tanto, puesto que el
conjunto de los smbolos no logicos, que es {}, es numerable, en virtud del teorema
de Lowenheim-Skolem-Tarski descendente, existira un A Mod(T {}) infinito
numerable y un B Mod(T {}) infinito numerable. Ahora bien, puesto que
Dlone, en virtud de un teorema de Cantor, es 0 -categorica, A
= B. Pero eso es
absurdo, porque A Mod({}) y B Mod({}).
La teora de los ordenes lineales densos y sin maximo ni mnimo, como acabamos
de ver, es completa pero no es categorica, en el sentido de que dos modelos cualesquiera de tal teora sean isomorfos. Porque tanto (Q, ) como (R, ) son modelos
de Dlone y, obviamente, (Q, ) (R, ).
El conjunto linealmente ordenado (R, ) es Dedekind-completo, pero el conjunto
linealmente ordenado (Q, ), como es bien sabido, no es Dedekind-completo. Esto
significa que la Dedekind-completud es una propiedad que distingue a los conjuntos
linealmente ordenados (R, ) y (Q, ). Pero tanto (R, ) como (Q, ) son modelos
de Dlone, y Dlone es una teora completa, por lo tanto (R, ) y (Q, ) satisfacen a las
mismas sentencias, i.e., son elementalmente equivalentes. En particular, cualquier
sentencia, del lenguaje de ambos sistemas relacionales, que exprese la Dedekindcompletud debe ser verdadera en los dos modelos o falsa en los dos. De este modo,
aparentemente, parece que hemos llegado a una situacion contradictoria, porque los
156
JUAN CLIMENT
INCOMPLETUD
157
luego n = card(X). Del mismo modo obtenemos que n = card(Y ). Por lo tanto,
en tanto que Q-espacios vectoriales, son isomorfos. De donde, en virtud del test
de L
os-Vaught, podemos afirmar la completud de la teora de los grupos abelianos
divisibles sin torsion y no triviales.
Observemos que entonces los grupos abelianos R = (R, +, , 0) y Q = (Q, +, , 0),
por ser grupos abelianos divisibles sin torsion y no triviales, son elementalmente
equivalentes, pero no isomorfos.
Por otra parte, la teora de los grupos abelianos divisibles sin torsion no triviales, no es 0 -categorica, debido a que tal teora tiene (una infinidad de) modelos
infinito numerables, que no son isomorfos, por ejemplo, las potencias finitas de
Q = (Q, +, , 0), considerado como Q-espacio vectorial.
Haciendo uso del test de L
os-Vaught, tambien se puede demostrar que la teora
de los cuerpos algebraicamente cerrados de caracterstica p, siendo p = 0 o un
n
umero primo, es completa.
Definici
on 5.134. Decimos que un cuerpo K es algebraicamente cerrados si, para
cada n N 1, se cumple que:
x0 , . . . , xn K ( xn 6= 0 y K (xn y n + + x1 y + x0 = 0)).
Una vez mas, observemos que la propiedad de un cuerpo de estar algebraicamente
cerrado, viene determinado por una infinidad numerable de axiomas.
Veamos que la teora de los cuerpos algebraicamente cerrados de caracterstica
p, es para cada cardinal n tal que 0 < n, n-categorica.
Lema 5.135. Sea A un sistema algebraico y un conjunto de f
ormulas cerradas
tal que ModL () [A] . Entonces
1. [A] = ModL (ThL (A)).
2. ThL (A) ThL (ModL ()).
Demostraci
on.
Proposici
on 5.136. Las clases de equivalencia [A] SAlg(, )/ son los
conjuntos (de sistemas algebraicos) axiomatizables minimales.
Demostraci
on. Puesto que, por el lema 5.135, [A] = ModL (ThL (A)), podemos
afirmar que [A] es axiomatizable.
Veamos que [A] es minimal. Sea un conjunto de formulas cerradas tal que
ModL () [A] . Sea B un sistema algebraico tal que B [A] , i.e., tal que
ThL (B) = ThL (A) y supongamos que B 6 ModL (). Entonces hay una formula
cerrada tal que 6 ThL (B), por lo tanto 6 ThL (A), luego ThL (A)
(porque ThL (A) es completa). Pero, ya que ModL () [A] , por el lema 5.135,
se cumple que
ThL (A) ThL (ModL ()),
luego ThL (ModL ()), por lo tanto todo modelo de , que, en particular, lo
sera de , es modelo de , lo cual es absurdo. De modo que ModL () = [A] .
Proposici
on 5.137. El subconjunto BL de Sub(SAlg(, ))/ ) definido como:
BL = { B | Sent(L) },
siendo, para cada Sent(L), B el conjunto definido como:
B = { [A] SAlg(, )/ | A ModL () },
es una base para una topologa sobre SAlg(, )/ .
158
JUAN CLIMENT
S
Demostraci
on. Es evidente que Sent(L) B SAlg(, )/ . Por otra parte, si
[A] SAlg(, )/ , entonces [A] B , siendo cualquier formula cerrada de
ThL (A).
Por u
ltimo, si [A] B B , entonces [A] B B B .
Proposici
on 5.138. El espacio topol
ogico (SAlg(, )/ , TgX (BL )) es Hausdorff, compacto y cero-dimensional, luego totalmente desconectado, i.e., las componentes conexas son puntuales, y normal.
Demostraci
on.
T
Supongamos que, para cada ThL (A ), A |=L . Entonces, para cualquier
conjunto de formulas cerradas , si { [A ] | } B , tenemos que, para
cada , [A ] B , luego, para
T cada , A |=L , as que, para cada
, ThL (A ), i.e., ThL (A ), por consiguiente A |=L , de
modo que [A] B y, por lo tanto, [A] { [A ] | }. Recprocamente,
supongamos
S que [A] este en la clausura de { [A ] | }. Si existiera un
ThL ( [A ] ) tal que A 6 ModL (), entonces [A] no estara en la clausura
de { [A ] | }, porque, para el cerrado B se cumpliraSque [A] 6 B , pero
que { [A ] | } B . Por lo tanto, para cada ThL ( [A ] ), A |=L .
Ahora
S que ya sabemos que [A] { [A ] | } si y solo si para cada
ThL ( [A ] ), A |=L ,Ssi existiera un conjunto I, una familia (Ai | i I)
de sistemas algebraicos en [A ] y un ultrafiltro F sobre I tal que A
Q
os, [A] { [A ] | }.
iI Ai / F , entonces, en virtud del teorema de L
Recprocamente, sea [A] { [A ] | } y elijamos un sistema algebraico
A enScada clase de equivalencia de { [A ] | }. Puesto que para cada
ThL (S [A ] ), A |=L , para cualquier formula cerrada valida en A, existe un
B [A ] tal que B |=L (porqueSsino, i.e., si existiera una formula cerrada
talS
que A |=L pero, para cada B [A ] , B 2L , entonces, para cada
B [A ] , B |=L , luego A |=L , absurdo). Para cada [] LT(L)
tal que A |=L , sea E[] = { | A |=L }. Entonces S
E[] 6= , porque
para cualquier formula cerrada valida en A, existe un B [A ] tal que
B |=L ; y E[] E[] = E[] . Por lo tanto hay un ultrafiltro F sobre que
contiene a todos los conjuntos de la forma Q
E[] , cuando recorre el conjunto de
las formulas cerradas. Se cumple que A Ai / F
INCOMPLETUD
6.
159
del.
El primer teorema de incompletud de Go
v0 (sc(v0 ) = 0).
v0 v1 (v0 = 0 sc(v1 ) = v0 ).
v0 , v1 (sc(v0 ) = sc(v1 ) v0 = v1 ).
v0 (v0 0 = v0 ).
v0 , v1 (v0 sc(v1 ) = sc(v0 v1 ).
v0 (v0 0 = 0).
v0 , v1 (v0 sc(v1 ) = (v0 v1 ) v1 .
Si (v0 , v1 , . . . , vn ) es una f
ormula cuyas variables libres est
an incluidas en
el conjunto { v0 , . . . , vn }, entonces
160
JUAN CLIMENT
/ N es representable exactamente si es
Demostraci
on. La demostracion de que todas las aplicaciones recursivas son representables se realiza por induccion algebraica, i.e., demostrando que las aplicaciones
/ N, sc : N
/ N y, para cada n N 1 y cada i n, prn,i : Nn
/N
0,0 : N0
son representables, y que los operadores de composicion, minimizacion para las
regulares y recursion primitiva preservan la representabilidad cuando se aplican a
aplicaciones representables.
INCOMPLETUD
161
Para la demostracion de que el operador de recursion preserva la representabilidad, se usa la funcion de Godel que codifica sucesiones finitas no vacas de
n
umeros naturales mediante pares de n
umeros naturales. A su vez, la funcion de
Godel depende del teorema chino del resto
Proposici
on 6.5 (Teorema Chino del resto). Sea n N, (b0 , . . . , bn ) Nn+1 tal
que, para cada i, j n + 1, si i 6= j, entonces bi y bj son coprimos, y (a0 , . . . , an )
Nn+1 . Entonces hay un a N tal que, para cada i n + 1, a ai (mod bi ), i.e.,
para cada i n + 1, a y ai dan lugar al mismo resto cuando se dividen entre bi .
Demostraci
on. Por induccion sobre n. Para n = 0, tenemos b0 y a0 N. Tomando
a = a0 , tenemos que a0 a0 (mod b0 ).
Para n = 1, puesto que b0 y b1 son primos entre s, por el teorema de Bezout,
hay dos n
umeros enteros 0 y 1 tales que 0 b0 + 1 b1 = 1, luego, multiplicando
por a1 a0 , tenemos que (a1 a0 )(0 b0 + 1 b1 ) = a1 a0 , por lo tanto, para
el entero, m = (a1 a0 )0 b0 + a0 = (a1 a0 )1 b1 + a1 tenemos que m a0
(mod b0 ) y que m a1 (mod b1 ). Por lo tanto, para tener un n
umero natural con
la misma propiedad que tiene el entero m es suficiente a
nadirle kb0 b1 , para un k
suficientemente grande.
Supongamos el teorema para n 1 y demostremoslo para n + 1. Por la hipotesis
de induccion hay un n
umero natural c tal que, para cada i n+1, c ai (mod bi ).
Pero bn+1 y b0 . . . bn son coprimos, luego hay un n
umero natural a tal que a c
(mod b0 . . . bn ) y a an+1 (mod bn+1 ). Por lo tanto, para cada i n + 2, a ai
(mod bi ).
/ N que es
Proposici
on 6.6 (Aplicacion de Godel). Hay una aplicaci
on : N3
recursiva primitiva y representable y tal que, para cada n N y cada (k0 , . . . , kn )
Nn+1 , existen b, c N tales que, para cada i n + 1, (b, c, i) = ki .
Demostraci
on. Para (b, c, i) N3 , sea (b, c, i) el resto de la division de b entre
c(i + 1) + 1.
Sea n N y (k0 , . . . , kn ) Nn+1 . Queremos demostrar que existen b, c N tales
que, para cada i n + 1, (b, c, i) = ki . Sea j = max{n, k0 , . . . , kn }. Entonces los
n
umeros naturales us = 1 + j!(s + 1), para s n + 1, son dos a dos coprimos, i.e.,
si 0 s < t n, entonces mcd(us , ut ) = 1. Sea p un n
umero primo que divida a
us = 1 + j!(s + 1) y a ut = 1 + j!(t + 1), con 0 s < t n. Entonces p | ut us , i.e.,
p | j!(t s). Pero p no divide a j!, ya que si lo dividiera, p | j!(s + 1) y puesto que
p | 1 + j!(s + 1), p | 1, que es imposible. El n
umero primo p tampoco divide a t s,
porque al ser t s n j, tenemos que t s | j! y si p | t s, entonces p | j!. Por
lo tanto p no divide a j!(t s), contradiccion. As que mcd(us , ut ) = 1. Luego, por
el teorema chino del resto, hay un n
umero natural b tal que, para cada i n + 1,
b ki (mod ui ), i.e., tal que, para cada i n + 1, rt(ui , ki ) = rt(ui , b) = ki .
Pero, para cada i n + 1, (b, j!, i) = rt(1 + j!(i + 1), b) = rt(ui , b) = ki , porque
ki j j! < 1 + j!(i + 1) = ui , i.e., ki < ui .
6.3. Aritmetizaci
on de la metamatem
atica.
Una godelizacion de un sistema formal consiste en asignar, de manera inyectiva,
n
umeros naturales a los terminos, formulas y demostraciones del mismo, todo ello
de modo que se cumplan las siguientes condiciones:
1. Para cada termino, formula o demostracion, el n
umero natural asociado ha
de poder ser calculado de manera efectiva.
umero natural ha de existir un procedimiento mecanico que
2. Para cada n
permita determinar si tal n
umero es o no el n
umero de Godel de un termino,
formula o demostracion y, en el caso de que lo sea, permita determinarlo
de manera efectiva.
162
JUAN CLIMENT
Por medio de una godelizacion cualquier propiedad o relacion acerca de los terminos, formulas o demostraciones del sistema formal, se transforma en una propiedad
o relacion acerca de los n
umeros. Por ejemplo, el concepto de polinomio formal o
termino, que es un concepto sintactico, se transforma en el subconjunto TermN del
conjunto N de los n
umeros naturales que consta precisamente de los n N para los
que n es el n
umero de Godel de un polinomio formal. El concepto de formula, que
es un concepto sintactico, se transforma en el subconjunto FormN del conjunto N
de los n
umeros naturales que consta precisamente de los n N para los que n es
el
n
u
mero
de Godel de una formula. La relacion Dem que se da entre el conjunto
S
n
Form(L)
, de las sucesiones finitas no vacas de formulas del lenguaje del
nN1
sistema formal, y el conjunto Form(L), de las formulas del mismo, cuando la sucesi
on (i )in es una demostracion de la sentencia en el sistema formal en cuestion,
se transforma en la relacion binaria DemN sobre N que consta precisamente de los
pares de n
umeros naturales (m, n) para los que se cumple que n es el n
umero de
Godel de una sentencia y m el n
umero de Godel de una sucesion de formulas
(i )in que sea una demostracion de en el sistema formal. La demostrabilidad de
una sentencia, que es una propiedad de las formulas y constituye el conjunto Bew,
se transforma en el subconjunto BewN de los n
umeros naturales que consta de los
n N tales que n es el n
umero de Godel de una sentencia demostrable.
Al procedimiento descrito se le llama la aritmetizaci
on de la metamatem
atica. Si
el sistema formal contiene, ademas, a un fragmento de la aritmetica de DedekindPeano, entonces algunos de los subconjuntos del conjunto de los n
umeros naturales
y algunas de las relaciones sobre el mismo, tienen contrapartidas formales en el
sistema formal, i.e., son representables en el sistema formal mediante formulas. Por
ejemplo hay una formula TermDP que representa al conjunto de n
umeros naturales
TermN , otra formula FormDP que representa al conjunto de n
umeros naturales
FormN , otra formula DemDP que representa a la relacion binaria DemN , etc.
Nociones y relaciones
metamatematicas sobre el
sistema formal
god. +3 Nociones y
relaciones
numericas
De este modo a una nocion o relacion acerca de un cierto tipo de sistema formal
le hemos asociado, a traves de la godelizacion y, despues, por medio de la representabilidad formal de las relaciones recursivas, una formula en el sistema formal,
que es su contrapartida interna. As, a partir de la relacion metamatematica Dem
hemos obtenido, por godelizacion, la relacion numerica DemN y de esta, por la
representabilidad de las relaciones recursivas, la formula DemDP :
(Relacion externa) Dem
god. +3
DemN
rep. +3
DemDP (Formula interna)
INCOMPLETUD
163
Ahora bien, p es el n
umero de Godel de v1 W(v0 , v1 )DP y si a esta formula la
denotamos por (v0 ), entonces (scp (0)) es , por lo tanto la sentencia se puede
interpretar como:
Para cada n N, n no es el n
umero de Godel de una demostracion
en DP de .
En un cierto sentido la sentencia afirma su propia indemostrabilidad. La formula
es tal que ni ella ni su negacion son demostrables a partir de DP, luego DP es
incompleta.
La codificacion hace uso de la existencia de situaciones de Cantor para m que
son recursivas primitivas, i.e., hay un par ordenado ( m , (jm )jm ) en el que m
es una aplicacion recursiva primitiva de Nm en N y, para cada j m, jm una
endoaplicacion recursiva primitiva de N tal que:
1. m hjm ijm = idN .
2. hjm ijm m = idNm .
Ademas, necesitamos el siguiente lema
/ N, g : Np
/ N y h : Np+n+1
/N
Lema 6.7. Sean p, n N y t0 , . . . , tn1 : N
aplicaciones recursivas primitivas. Si, para cada y > 0 y cada i n, ti (y) < y, en/ N definida como:
tonces la aplicaci
on f : Np+1
f (x, 0) = g(x)
f (x, y) = h(x, f (x, t0 (y)), . . . , f (x, tn1 (y)), y), si y > 0.
es recursiva primitiva.
Para codificar un termino P se usan tres n
umeros naturales (a, b, c), siendo la
funcion del u
ltimo la de determinar si es simple o compuesto, i.e., si es una variable,
la constante 0, o de una de las formas sc(Q), sc(Q)sc(R) o sc(Q)sc(R), mientras
que la de los dos primeros sera la de codificar, seg
un el caso, el termino o los terminos a partir de los cuales se construye el termino en cuestion. Entonces, mediante
/ N, el triplo (a, b, c) se reducira a un n
3 : N3
umero natural. Denotamos por
G la aplicacion de T (V ) en N definida como:
3 (0, 0, 0),
(n + 1, 0, 0),
3
G (P ) = (G (Q), 0, 1),
si
si
si
si
si
P
P
P
P
P
= 0;
= vn ;
= sc(Q);
= sc(Q) sc(R);
= sc(Q) sc(R).
164
JUAN CLIMENT
3 (G (P ), G (Q), 0), si = P = Q;
3 (G (), 0, 1),
si = ;
3 (G (), n, 6),
si = vn ;
3
(G (), n, 7),
si = vn .
Lema 6.9. El conjunto For = { G (P ) | P T (L) } es recursivo primitivo.
A continuacion vamos a asociar a las nociones y operaciones fundamentales relativas a las formulas, tales como la determinacion de las variables libres o ligadas
de las mismas, o la substitucion en una formula de una variable por un termino,
relaciones y aplicaciones recursivas primitivas
6.4.
&
decidible
&
consistente
&
recursiva
Demostraci
on. Por ser T consistente y contener a DP 0 , T es indecidible, luego, por
ser, ademas, recursiva, es incompleta
Observemos que por ser la teora T consistente, esta incluida en una teora T 0
consistente y completa. Ahora bien, T 0 no puede ser recursiva, ya que si lo fuera,
por ser, ademas, completa sera decidible. Pero, por ser T 0 consistente y contener
a T , es consistente y contiene a DP 0 , luego es indecidible, contradiccion. Por lo
tanto T 0 no puede ser recursiva. De modo que la completud de T 0 se alcanza a
costa de la recursividad de la misma. Ahora bien, el que una teora sea recursiva,
i.e., que el conjunto de los n
umeros de Godel de las sentencias que le pertenecen sea
recursivo, es razonable, ya que ello significa que hay un procedimiento mecanico que
nos permite reconocer los axiomas y, por lo tanto, usarlos en las demostraciones.
La sentencia mostrada por Godel y para la cual DP 0 y DP 0 es la que
afirma la consistencia de DP. Ahora bien, tal sentencia es verdadera en el modelo
standard N de DP, luego, por no ser demostrable a partir de DP, hay modelos
de DP en los que dicha sentencia no es verdadera, as que Cn(DP) Th(N), i.e.,
hay verdades aritmeticas que no son demostrables desde la aritmetica de DedekindPeano. Por lo tanto, el que una sentencia sea verdadera en un sistema algebraico que
sea modelo de una cierta teora, no significa en modo alguno que sea demostrable
INCOMPLETUD
165
Referencias
[1]
[2]
[3]
[4]
[5]
M. Barr and Ch. Wells, Toposes, triples, and theories, Springer-Verlag, 1985.
J.Y. Girard, Proof theory and logical complexity, vol. I, Bibliopolis, 1987.
K. G
odel, Obras completas, Alianza Editorial, 1981.
S.C. Kleene, Introducci
on a la metamatem
atica, Tecnos, 1974.
J. Lambek and P. Scott, Introduction to higher order categorical logic, Cambridge University
Press, 1988.
[6] S. Mac Lane, Categories for the working mathematician, Springer-Verlag, 1971.
[7] M. Makkai and G. Reyes, First order categorical logic, Springer-Verlag, 1977.
[8] J. Meseguer, General logics, en Logic Coll. (H.D. Ebbinghaus et alli., ed.) North-Holland, 1989,
pp. 275329.
[9] G. Takeuti, Proof theory, North-Holland, 1975.
[10] A. Troelstra and H. Schwichtenberg, Basic proof theory, Cambridge University Press, 1996.
gica y Filosofa de la Ciencia, Apt.
Universidad de Valencia, Departamento de Lo
22.109 E-46071 Valencia, Spain
E-mail address: Juan.B.Climent@uv.es