El teorema de isomorfismo

Si dos estructuras A y B son isomorfas, entonces son identicas

excepto por sus dominios.
- A y B son indistinguibles.
En particular: La l
ogica de primer orden no debera poder
distinguir entre estructuras isomorfas.
- Vamos a demostrar esto.
- Por que este resultado es fundamental?

39

El teorema de isomorfismo: Una primera version

Dado: un vocabulario L y L-estructuras A y B.

Teorema: Si A y B son estructuras isomorfas, entonces para cada
L-oraci
on se tiene que:
A |= si y solo si

B |=

C
omo podemos demostrar este Teorema?
- Podemos usar inducci
on?
- Tenemos que demostrar una versi
on mas fuerte del teorema.

40

El teorema de isomorfismo: Una segunda version

Notaci
on: Si h : A B es una biyecci
on que muestra que A y B son
estructuras isomorfas, entonces h es un isomorfismo de A en B.

Nota: Si es una asignacion para A, entonces h es una

asignacion para B.
Teorema: Sea una asignacion para A y h un isomorfismo de A
en B. Entonces para toda L-formula :
(A, ) |= si y s
olo si (B, h ) |=
La primera version del teorema es un corolario de esta version m
as
fuerte.
41

El teorema de isomorfismo: Aplicaciones

Antes de demostrar el teorema de isomorfismo, vamos a ver una de sus

aplicaciones.
Notaci
on: Si (A, ) |= (x1 , . . . , xk ) y (xi ) = ai (i [1, k]), entonces
decimos que A |= (a1 , . . . , ak ).
El problema de definibilidad: Dada una estructura A y S Ak (k 1),
decimos que S es definible en A si existe una f
ormula (x1 , . . . , xk ) tal
que
S

{(a1 , . . . , ak ) Ak | A |= (a1 , . . . , ak )}.

42

El problema de definibilidad: Ejemplos

Que conjuntos definen las siguientes formulas en hN, +, i?

1 (x)

= y(x + y = y),

2 (x)

= y(x y = y),

3 (x, y)

= z(1 (z) x + z = y).

Para demostrar que un conjunto es definible tenemos que construir

una formula.
C
omo podemos demostrar que un conjunto no es definible?
- Podemos usar el teorema de isomorfismo!
43

El problema de definibilidad y el teorema de isomorfismo

Es la multiplicaci
on definible en hR, +i?
- Si esto es cierto, entonces existe (x, y, z) tal que para todo
a, b, c R:
hR, +i |= (a, b, c)

si y s
olo si

a b = c.

- Entonces para todo isomorfismo h de hR, +i en hR, +i, se tiene que:

hR, +i |= (a, b, c)

si y s
olo si

Sea h : R R definida por h(x) =

hR, +i |= (h(a), h(b), h(c)).

x
.
2

- h es un isomorfismo de hR, +i en hR, +i.

- hR, +i |= (2, 2, 4) y hR, +i 6|= (h(2), h(2), h(4)). Tenemos una
contradicci
on!
44

El problema de definibilidad y el teorema de isomorfismo

1. Demuestre que la suma no es definible en hR, i.

2. Demuestre que la suma no es definible en hN, i.
3. Puede usarse el teorema de isomorfismo para mostrar que la
multiplicaci
on no es definible en hN, +i?

45

El teorema de isomorfismo: Demostracion

Ahora vamos a demostrar por inducci

on la versi
on fuerte del teorema de
isomorfismo.
- Dado: un vocabulario L y L-estructuras A y B.
Necesitamos el siguiente lema:
Lema: Si es una asignaci
on para A y h es un isomorfismo de A en B,
entonces h[
=h
.
Demostraci
on: Por inducci
on en los L-terminos.
- Para cada constante c L: h[
(c) = cB = h(cA ) = h(
(c)) =
(h
)(c).
46

El teorema de isomorfismo: Demostracion

- Para cada variable x: h[

(x) = (h )(x) = h((x)) = h(
(x)) =
(h
)(x).
- Para cada funci
on n-aria f L: Si h[
(ti ) = (h
)(ti ) para todo
i [1, n], entonces
h[
(f (t1 , . . . , tn ))

f B (h[
(t1 ), . . . , h[
(tn ))

f B ((h
)(t1 ), . . . , (h
)(tn ))

f B (h(
(t1 )), . . . , h(
(tn )))

h(f A (
(t1 ), . . . ,
(tn )))

h(
(f (t1 , . . . , tn )))

(h
)(f (t1 , . . . , tn )).
47

El teorema de isomorfismo: Demostracion

Vamos a demostrar el teorema por inducci

on en la estructura de :
- Si = t1 = t2 , entonces:
(A, ) |= t1 = t2
si y s
olo si

(t1 ) =
(t2 )
si y s
olo si
(t2 ))
h(
(t1 )) = h(
si y s
olo si
(h
)(t1 ) = (h
)(t2 )
si y s
olo si
h[
(t1 ) = h[
(t2 )
si y s
olo si
(B, h ) |= t1 = t2 .
48

El teorema de isomorfismo: Demostracion

- Si = R(t1 , . . . , tn ), entonces:
(A, ) |= R(t1 , . . . , tn )
si y s
olo si
(
(t1 ), . . . ,
(tn )) RA
si y s
olo si
(h(
(t1 )), . . . , h(
(tn ))) RB
si y s
olo si
((h
)(t1 ), . . . , (h
)(tn )) RB
si y s
olo si
(h[
(t1 ), . . . , h[
(tn )) RB
si y s
olo si
(B, h ) |= R(t1 , . . . , tn ).
49

El teorema de isomorfismo: Demostracion

Finalmente suponemos que la propiedad se cumple para y .

- Si = , entonces:
(A, ) |=
si y s
olo si
(A, ) 6|=
si y s
olo si
(B, h ) 6|=
si y s
olo si
(B, h ) |=

50

El teorema de isomorfismo: Demostracion

- Si = , entonces:
(A, ) |=
si y s
olo si
(A, ) |= y (A, ) |=
si y s
olo si
(B, h ) |= y (B, h ) |=
si y s
olo si
(B, h ) |=

51

El teorema de isomorfismo: Demostracion

- Asuma que = x .
S
olo vamos a demostrar una direcci
on. La otra direcci
on se
demuestra de la misma forma pero considerando h1 en lugar de h.
Si (A, ) |= : Existe a A tal que (A, [x/a]) |= .
Por hip
otesis de inducci
on: Existe a A tal que (B, h [x/a]) |= .
Pero: h [x/a] = (h )[x/h(a)].
Tenemos que: Existe b B tal que (B, (h )[x/b]) |= .
Por lo tanto: (B, h ) |= .
52