Sie sind auf Seite 1von 30

ndice general

1. TEORIA DE CONJUNTOS 3
1.1. CONJUNTOS PRIMITIVOS . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. CONECTORES Y CUANTIFICADORES . . . . . . . . . . . . . . . . . . 3
1.3. TABLAS DE VERDAD . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4. ALGUNAS EQUIVALENCIAS . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5. NEGACION DE PROPOSICIONES CON CUANTIFICADORES . . . . . 5
1.6. LENGUAJE OBJETO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.7. METALENGUAJE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.8. SIMBOLOS DEL LENGUAJE OBJETO . . . . . . . . . . . . . . . . . . . 6
1.9. FORMULAS PRIMITIVAS ATOMICAS . . . . . . . . . . . . . . . . . . . 6
1.10. FORMULAS PRIMITIVAS . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.11. ALCANCE O RADIO DE ACCION DE UN CUANTIFICADOR . . . . . 7
1.12. VARIABLES LIBRES Y VARIABLES LIGADAS . . . . . . . . . . . . . . 7
1.13. CONVENIO SOBRE EL USO DE PARENTESIS . . . . . . . . . . . . . . 8
1.14. CONVENCION SOBRE EL CUANTIFICADOR UNIVERSAL . . . . . . 8
1.15. METODOS DE DEMOSTRACION . . . . . . . . . . . . . . . . . . . . . . 9
1.16. TAREA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.17. CONCEPTO PRIMITIVO . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.17.1. DEFINICION DE CONJUNTO . . . . . . . . . . . . . . . . . . . . 10
1.18. AXIOMA DE ZERMELO FRAENKEL . . . . . . . . . . . . . . . . . . . . 10
1.18.1. AXIOMA DE EXTENSIONALIDAD O AXIOMA DE EXTENSION 10
1.18.2. AXIOMA DE SEPARACION O AXIOMA DE ESPECIFICACION 10
1.18.3. TEOREMA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.19. DEFINICION DE CONJUNTO VACIO . . . . . . . . . . . . . . . . . . . 11
1.20. INTERSECCION, UNION Y DIFERENCIA . . . . . . . . . . . . . . . . . 16
1.20.1. DEFINICION DE INTERSECCION . . . . . . . . . . . . . . . . . 17
1.20.2. AXIOMA DE LA UNION . . . . . . . . . . . . . . . . . . . . . . . 19
1.21. DIFERENCIA DE CONJUNTOS . . . . . . . . . . . . . . . . . . . . . . . 23
1.22. COMPLEMENTO DE UN CONJUNTO . . . . . . . . . . . . . . . . . . . 27
1.23. DIFERENCIA SIMETRICA . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1
2 NDICE GENERAL
Captulo 1
TEORIA DE CONJUNTOS
Paradoja de Rossel o del mentiroso.
1.1. CONJUNTOS PRIMITIVOS
1. Axiomas.
2. Teoremas.
3. Proposiciones.
4. Lemas
5. Corolarios.
6. Deniciones.
1.2. CONECTORES Y CUANTIFICADORES
Notacin Uso Signicado
Negacin , ~, p No p.
Conjuncin . p . q p y q.
Disyuncin . p . q p o q.
Implicacin ==, p == q p entonces q.
Equivalencia == p == q
(Doble implicacin)
Cuanticador Universal \ (\v) o
Cuanticador Existencial
Cuanticador Existencial !
3
4 CAPTULO 1. TEORIA DE CONJUNTOS
Ejemplo 1.1 Para todo x existe un nico y tal que x +y = 0.
Se puede escribir:
(\x) (!y) (x +y = 0)
1.3. TABLAS DE VERDAD
Negacin:
p p
V F
F V
Conjuncin:
p q p . q
V V V
V F F
F V F
F F F
Disyuncin:
p q p . q
V V V
V F V
F V V
F F F
Implicacin:
p q p == q
V V V
V F F
F V V
F F V
Doble implicacin:
p q p == q
V V V
V F F
F V F
F F V
1.4. ALGUNAS EQUIVALENCIAS
1. p . q = q . p
1.5. NEGACION DE PROPOSICIONES CON CUANTIFICADORES 5
2. p . q = q . p
3. p = p
4. (p . q) . r = (p . r) . (q . r)
5. (p . q) . r = (p . r) . (q . r)
6. (p . q) . q = p . q
7. (p . q) = p . q
8. (p . q) = p . q
9. p == q = q == p
10. p == q = p . q
11. (p == q) = p . q.
1.5. NEGACIONDE PROPOSICIONES CONCUAN-
TIFICADORES
1. (\x) p (x) = (x) p (x)
2. (x) p (x) = (\x) p (x)
1.6. LENGUAJE OBJETO
Es el lenguaje con los que hablaremos de conjuntos.
1.7. METALENGUAJE
Espaol sirve para describir al lenguaje objeto.
6 CAPTULO 1. TEORIA DE CONJUNTOS
1.8. SIMBOLOS DEL LENGUAJE OBJETO
Los smbolos del lenguaje objeto:
Constantes: , , =
Variables: x, y, z, m, etc.
x
1
, x
2
, etc.
x
30
, x
5
, etc.
Conectores: , ., ., ==, ==
Cuanticadores: \, , !
Parntesis: (, ).
1.9. FORMULAS PRIMITIVAS ATOMICAS
Llamamos frmula primitiva atmica a todas las siguientes:
v w
v = w
v y w son variables o la constante .
1.10. FORMULAS PRIMITIVAS
Son las oraciones del lenguaje objeto.
Se denen las frmulas primitivas de la siguiente manera:
1. Cualquier frmula primitiva atmica es frmula primitiva.
2. Si p y q son frmulas primitivas, entonces tambin los son:
p, p . q, p . q, p == q y p == q
3. Si p es frmula primitiva y v es una variable, las siguientes son frmulas primitivas:
(\v) p, (v) p, (!v) p
Ejemplo 1.2 x _ z, x = z, son frmulas primitivas atmicas y frmulas primitivas.
Ejemplo 1.3 (x y).
((x y
. .
)
Atmica
. (x = z
. .
Atmica
))
. .
Primitiva
== z = 0
. .
A/P
Estos dos son frmulas primitivas pero ya no son atmicas.
1.11. ALCANCE O RADIO DE ACCION DE UN CUANTIFICADOR 7
Ejemplo 1.4 (\x)(y)(x y
. .
A
. y =
. .
A
) == x = z
. .
A/P
. .
P
. .
P
. .
P
Ejemplo 1.5 (\x)(y)(x )
Ejemplo 1.6 (\x)(\y)(x = y
. .
A
== (\z)(z x
. .
A
== z y
. .
A
)
. .
P
. .
P
. .
P
. .
P
. .
P
1.11. ALCANCE O RADIO DE ACCION DE UN
CUANTIFICADOR
Es el cuanticador en s mismo con la frmula ms pequea que le sigue.
Ejemplo 1.7 (\x)(x y) == x = z
El alcance del cuanticador \ o (\x)(x y).
Ejemplo 1.8 (\x)((y)(x = y) == x = z).
El alcance de \ es:
(\x)((y)(x = y == x = z)
1.12. VARIABLES LIBRES YVARIABLES LIGADAS
Una variable es ligada si esta en el radio de accin del cuanticador, o es libre si no
es ligada.
Ejemplo 1.9 (\x)(x = y).
La variable x est ligada.
La variable y est libre.
Ejemplo 1.10 (\x)( x
..
Ligada
= y
..
Libre
. y = ) == x
..
Libre
=
Libre
..
z .
La variable x esta ligada, las variables y y z est libre y
8 CAPTULO 1. TEORIA DE CONJUNTOS
1.13. CONVENIO SOBRE EL USO DE PARENTE-
SIS
Convenimos que . o . tienen mayor fuerza agrupativa que == o ==.
Ejemplo 1.11 Sea:
(x = y . x = ) == z x
Se puede escribir simplemente:
x = y . x = == z x
Ejemplo 1.12 Sea:
(\x)(x = y . x = ) == z x
No se puede escribir como:
(\x)x = y . x = == z x
1.14. CONVENCIONSOBRE EL CUANTIFICADOR
UNIVERSAL
En axiomas o teoremas, todos los cuanticadores de universales cuyos radios de accin
son toda la frmula. Se entiende y no se escriben.
Ejemplo 1.13 Teoremas: (y)(x y).
Se sobreentiende que quiere decir:
(\x)(y)(x y))
Ejemplo 1.14 Axiomas: x = == (y)(y = z), se sobreentiende que quiere decir:
(\x)(\z)(x = == (y)(y = z))
Todos los teoremas tienen la forma:
p == q
donde p es el antecedente y q el consecuente.
1.15. METODOS DE DEMOSTRACION 9
1.15. METODOS DE DEMOSTRACION
Para demostrar:
p == q
1. METODO DIRECTO. Suponemos cierto p y mediante una serie de pasos lleg-
amos a q.
2. CONTRARECIPROCA. Suponemos p y mediante una serie de pasos llegamos
a q.
3. REDUCCION AL ABSURDO O CONTRADICCION. Suponemos p y q
y mediante una serie de pasos llegamos a una contradiccin.
1.16. TAREA
1. Concepto de pertenencia.
Un elemento x pertenece a un conjunto A, si x est en A. Se simboliza x A y se
lee el elemento x pertenece al conjunto A.
Sean los conjuntos: A: los nmeros naturales menores que 6 y B: las vocales del
alfabeto espaol.
Entonces podemos decir que:
1 A pero 1 = B.
u B pero u = A.
2. Concepto de vaco.
En lgica y matemticas, especcamente en teora de conjuntos, el conjunto vaco
es el conjunto que no contiene ningn elemento. Puesto que lo nico que dene a
un conjunto son sus elementos, el conjunto vaco es nico.
En una teora axiomtica de conjuntos, la existencia de un conjunto vaco se postula.
Algunas propiedades de los conjuntos son trivialmente ciertas para el conjunto vaco.
El conjunto vaco es denotado por los smbolos: o O.
Otra notacin comn para el conjunto vaco es la notacin extensiva, especicando
sus elementos (ninguno) entre llaves: .
Propiedades. (1) El conjunto vaco es nico: dado dos conjuntos sin elementos,
ambos son iguales. (Esto justica hablar de .
el
conjunto vaco no de n conjunto
vaco"). (2) El nico subconjunto del conjunto vaco es l mismo:
A _ == A =
10 CAPTULO 1. TEORIA DE CONJUNTOS
1.17. CONCEPTO PRIMITIVO
No existe porque se va a construir a partir de este punto.
Ejemplo 1.15 1 + 0 = 1.
Dos conceptos primitivos:
1. Pertenencia: .
2. Conjunto vaco: .
1.17.1. DEFINICION DE CONJUNTO
y es conjunto == (x)(x y . y = )
Intuitivamente, esta denicin dice que y es conjunto si existe algo que le pertenece o es
el conjunto vaco.
1.18. AXIOMA DE ZERMELO FRAENKEL
CONVENCION. Las letras maysculas representan solo conjuntos, las letras mins-
culas representan elementos o conjuntos.
1.18.1. AXIOMA DE EXTENSIONALIDAD O AXIOMA DE
EXTENSION
(\x)(x A == x B) == A = B
Intuitivamente, esto quiere decir que dos conjuntos son iguales, cuando tienen los mismos
elementos. Dicho de otra manera, un conjunto est determinado de manera nica.
(\A)(\B)(\x)(x A == x B) == A = B
1.18.2. AXIOMADE SEPARACIONOAXIOMADE ESPECI-
FICACION
(\A)((B)(\x)(x B == x A . '(x)))
donde '(x) es una frmula, donde B no aparece libre.
Dos aclaraciones:
1.19. DEFINICION DE CONJUNTO VACIO 11
1. La relacin '(x), signica que ' expresa una propiedad acerca de x. No necesaria-
mente indica que la nica variable de ' sea x, de hecho pueden haber variables o
incluso puede faltar x.
2. Este en realidad no es un axioma, sino un esquema para construir innitos axiomas
cada uno de los cuales proviene de reemplazar '(x) por una frmula.
Ejemplo 1.16 (B) (\x) (x B == x A . x = x).
Ejemplo 1.17 (B) (\x) x B == x A . (z) (z = x . x = )
Estos son axiomas de Z, F.
Intuitivamente este esquema axiomatico dice que dado un conjunto A, se puede separar
o especicar aquellos elementos de A que satisfacen una propiedad ', y con esos elementos
se puede formar un nuevo conjunto B.
CONSECUENCIAS:
Denicin: x = y == (x y).
Denicin: x ,= y == (x = y).
1.18.3. TEOREMA
Extensin: (\x) (x A == x B) == A = B.
Separacin: (B) (\x) (x B == x A . '(x)).
1.19. DEFINICION DE CONJUNTO VACIO
Sea: X un conjunto.
Denimos mediante el axioma de separacin, un conjunto con la propiedad: x X.x =
X, dicho conjunto lo llamaremos onjunto vaco lo notamos por la letra griega (fi).
Esto es
= (\x) (x X . x = X)
consecuencia:
x == x X . x = X
x = == x = X . x X
El conjunto vaco es un conjunto que no tiene elementos, puesto que su propiedad carac-
terstica corresponde a una contradiccin, la cual no es satisfecha por ningn objeto.
12 CAPTULO 1. TEORIA DE CONJUNTOS
Teorema 1.1 (Propiedades del conjunto vaco)
_ X
1. Sea X un conjunto. Hiptesis general.
2. x = . por teorema
3. x = . x X. Adjuncin en 2.
4. x == x X. Denicin de implicacin en 3.
5. (\x) (x == x X) G.U. en 4.
6. _ X. Denicin de inclusin en 5.
Teorema 1.2 (\x) (x = ).
Demostracin. Usamos el axioma de separacin siendo '(x) la frmula x ,= x.
(\A) (B) (\x) (x B == x A . x ,= x)
Como (1) se cumple para todo A, en particular se cumple A = , es decir:
(B) (\x) (x B == x . x ,= x)
Si suponemos que existe x tal que x B, entonces x ,= x, lo cual no es posible. Concluimos
que:
(\x) (x B)
Como B es conjunto por denicin B = . Luego:
(\x) (x = )
Teorema 1.3 Unidad del vaco:
(\x) (x = A) == (A = )
Demostracin.
== supongamos que sea A tal que (\x) (x = A).
Como A es un conjunto por tanto, por denicin A = .
==) Sea A = . Por el teorema anterior (\x) (x = A).
Denicion 1.1 A _ B == (\x) (x A == x B).
Teorema 1.4 Teorema de reexividad:
A _ A
Demostracin 1. Es una verdad lgica que
(\x) (x A == x A)
1.19. DEFINICION DE CONJUNTO VACIO 13
Por denicin:
A _ A
Demostracin 2. Como A = A por el axioma de extensin.
(\x) (x A == x A)
luego:
(\x) (x A == x A)
o
A _ A

Demostracin 2. Por la ley reexiva de la igualdad A = A:


(\x) (x A == x A) . (x A == x A)
en consecuencia:
(\x) (x A == x A)
en consecuencia, por la denicin de subconjunto:
A _ A

Teorema 1.5 A
Demostracin 1. Por contradiccin. Supongamos que ,_ A. Entonces:
x == x = A
Aqu hay una contradiccin puesto que el conjunto vaco no tiene elementos, luego:
_ A

Demostracin 2. Por una propiedad de conjunto vaco es subconjunto de cualquier


conjunto. Consideremos la siguiente proposicin
(\x) (x == x A)
Lo cual es verdad por ser el antecedente falso. En consecuencia por la denicin de sub-
conjunto:
_ A

Teorema 1.6 Teorema 4. (Bicondicional) Antisimetra.


A _ B . B _ A == A = B
14 CAPTULO 1. TEORIA DE CONJUNTOS
tambin se puede escribir:
(\A) (\B) (A _ B . B _ A) == A = B
Demostracin. ==) Como A _ B, por denicin:
(\x) (x A == x B) (1)
como B _ A, por denicin:
(\x) (x B == x A) (2)
de (1) y (2) :
(\x) (x A == x B)
por el axioma de extensin:
A = B

==) Supongamos A = B, por el axioma de extensin:


(\x) (x A == x B)
Esto es lo mismo que:
(\x) (x A == x B) . (\x) (x B == x A)
luego por denicin de inclusin:
A _ B . B _ A
Teorema 1.7 El conjunto vaco es nico.
Demostracin. Supongamos que es un conjunto vaco y
0
es otro conjunto vaco.
Por un teorema anterior:
_
0
y por la misma razn:

0
_
luego podemos concluir que:
=
0

Teorema 1.8 Teorema 5. Sea:


A _ == A =
Demostracin. Mostramos por reduccin al absurdo. Supongamos que:
A _ y A ,=
1.19. DEFINICION DE CONJUNTO VACIO 15
Por denicin, como A ,=
(x
0
) (x
0
A)
como A _ por denicin:
(\x) (x A == x )
Concluimos que:
x
0
Contradiccin
luego:
A =
Teorema 1.9 Transitividad de la inclusin:
A _ B . B _ C == A _ C
Demostracin. Como A _ B, por denicin:
(\x) (x A == x A) (1)
tambin B _ C, por denicin:
(\x) (x B == x C) (2)
Por demostrar:
(\x) (x A == x C)
Sea un x cualquiera o para x tenemos que:
Por (1) si x
0
est en A, entonces concluimos que x
0
est en B.
Por (2), si x
0
est en B, entonces concluimos que x
0
est en C.
Conclusin: Si:
x
0
A == x
0
C
Luego:
(\x) (x A == x
0
C)
A _ C
Sea x
0
A por (1) tenemos que x
0
_ B, como x
0
B por (2), x
0
C. Luego:
A _ C
Denicion 1.2 A B == A _ B . A ,= B.
TAREA 02
Teorema 1.10 (A A).
Demostracin. Por denicin de
Teorema 1.11 A B == (B A).
Teorema 1.12 A B . B C == A C.
Teorema 1.13 A B == A _ B.
16 CAPTULO 1. TEORIA DE CONJUNTOS
1.20. INTERSECCION, UNION Y DIFERENCIA
Teorema 1.14
(!C) (\x) (x A == x B)
Demostracin. Sean A y B conjuntos por el esquema axiomtico de separacin donde
'(x) es la frmula x B,
(C) (\x) (x C == x A . x B) (1)
mostremos que C es el nico con esta propiedad.
Sea D un conjunto tal que:
(\x) (x D == x A . x B) (2)
Mostrar que D = C. ** Sea x D, por (2) :
x A . x B
As por (1) :
x C
Acabamos de mostrar que x D == x C. Luego:
D _ C (3)
Sea x C por (1) :
x A . x B
Acabamos de demostrar que x C == x D. Luego:
C _ D (4)
Por (3) y (4) y de un teorema anterior:
C = D
(!C) (\x) (x C == x A . x B)

Segunda forma. ** Por (1) y por (2) :


(\x) (x C == x A . x B)
luego:
(\x) (x C == x D)
Luego por el axioma de extensin:
C = D
luego:
(!C) (\x) (x C == x A . x B)
1.20. INTERSECCION, UNION Y DIFERENCIA 17
1.20.1. DEFINICION DE INTERSECCION
A B = y == (\x) (x y == x A . x B) . y es conjunto
Teorema 1.15 Sea:
x A B == x A . x B
Demostracin. Sean A y B conjuntos. Es una verdad lgica:
A B = A B
Por denicin de interseccin:
(\x) (x A B == x A . x B)

Teorema 1.16 Conmutativa:


A B = B A
Demostracin. Sea x general:
x A B == x A . x B
== x B . x A Ley Conmutativa
== x A B
(\x) (x A B == x B A)
luego:
A B = B A
Teorema 1.17 Mostrar que:
A B _ B A
Sea x A B, entonces x A . x B. Pero esto es lo mismo que x B . x A. As:
x B A
concluimos que:
A B _ B A
Mostramos que:
A B _ B A
luego:
A B = B A
18 CAPTULO 1. TEORIA DE CONJUNTOS
Teorema 1.18 Idempotencia:
A A = A
Demostracin. Sea x general, se cumple que:
x A A == x A . x A
== x A
(\x) (x A A == x A)
Por el axioma de extensin: A A = A

.
TAREA.
A _ B y B _ A == A = B
Teorema 1.19
A _ B == A B = A
Demostracin. Supongamos que A _ B. Por denicin:
(\x) (x A == x B)
En efecto, sea x A B. Por el teorema anterior
x A . x B
luego:
x A
Es decir:
x A B == x A
luego:
A B A (2)
Mostramos que:
A _ A B
En efecto, sea x A, por (1)
x B
luego, x A . x B. Es decir:
x A B
Concluimos que x A == x A B. Luego:
A _ A B (3)
1.20. INTERSECCION, UNION Y DIFERENCIA 19
Por (2) y (3) y un teorema anterior:
A = A B
==) Supongamos que A B = A. Por el axioma de extensin:
(\x) (x A B == x A)
pero
x A B == x A . x B
luego
(\x) (x A . x B == x A) (4)
Mostramos que A _ B. En efecto, sea x A. Por (4)
x A . x B
luego x B. Es decir:
x A == x B
A _ B

Teorema 1.20
A B _ A
Demostracin. Sea x A B por propiedad de la interseccin:
x A . x B
luego: x A, es decir:
x A B == x A
luego:
A B _ A
1.20.2. AXIOMA DE LA UNION
(C) (\x) (x C == x A . x B)
Teorema 1.21 (!C) (\x) (x C == x A . x B)
Denicion 1.3 A ' B = y == (\x) (x y == x A . x B) . y es conjunto.
20 CAPTULO 1. TEORIA DE CONJUNTOS
Teorema 1.22 Teorema 13. A B = B A
Demostracin. Vamos a demostrar aplicando:
A _ B . B _ A == A = B
Entonces:
x (A B) == x A . x B
== x B . x A p . q = q . p
== x (B A)
luego:
A B _ B A
Ahora:
x (B A) == x B . x A
== x A . x B p . q = q . p
== x (A B)
entonces:
B A _ A B
como:
A B _ B A . B A _ A B == A B = B A
Teorema 1.23 Teorema 14. (A B) C = A (B C)
Demostracin (primera forma). Por demostrar a) (A B) C _ A (B C) y
b) A (B C) _ (A B) C.
a) Sea x (A B) C, debemos demostrar que x A (B C),
x (A B) C == x (A B . x C)
== (x A . x B) . x C
== x A . (x B . x C)
== x A . x (B C)
== x A (B C)
por la denicin de inclusin, concluimos que:
(A B) C _ A (B C)
b) Sea x A (B C), se debe demostar que x (A B) C,
x A (B C) == x A . x (B C)
== x A . (x B . x C)
== (x A . x B) . x C
== x (A B) . x C
== x (A B) C
1.20. INTERSECCION, UNION Y DIFERENCIA 21
por la denicin de inclusin, concluimos que:
A (B C) _ (A B) C
Por a) y b) se deduce que (Teorema 4):
(A B) C = A (B C)
Teorema 1.24 Teorema 15. A A = A (Teorema de la idempotencia).
Teorema 1.25 (16)
A =
Demostracin. Por contradiccin o reduccin al absurdo. Suponemos A ,= . Por
denicin de conjunto:
(x) (x A )
Por el teorema anterior, x A , signica:
x A . x
Pero, por teorema anterior x = (Contradiccin). Luego:
A =

Segunda forma. Debe cumplirse que A = ya que si no es as, es decir, si


A ,= entonces existe al menos un elemento en A. Esto constituye una contradiccin
dado que el conjunto vaco no tiene elementos

.
Teorema 1.26 Teorema 17. A B _ A
Demostracin. Por denicin de subconjunto.
A _ B == (\x) (x A == x B)
Por denicin de interseccin:
(\x) (x A B) == x A . x B
x B == x A . x B
luego:
x A . x B == x A
de:
_

_
p == q
q == r
:::::::
r == p
22 CAPTULO 1. TEORIA DE CONJUNTOS
entonces:
(\x) (x A B) == x A
luego:
A B _ A
Otra forma. Supongamos: x A B. Hiptesis.
x A . x B. Consecuencia denicin de interseccin.
x A. Simplicacin.
x A B == x A. Mtodo directo.
A B _ A. Denicin de inclusin.
Teorema 1.27 Teorema 18. A _ B == A B = A
Teorema 1.28 Teorema 19. (!C) (\x) (x C == x A . x B)
Teorema 1.29 Teorema 20. x A ' B == x A . x B
Teorema 1.30 Teorema 21. A ' B = B ' A
Teorema 1.31 Teorema 22. (A ' B) ' C = A ' (B ' C)
Demostracin. Bastara con que:
(A ' B) 'C _ A'(B ' C) .A'(B ' C) _ (A ' B) 'C == (A ' B) 'C = A'(B ' C)
Primero:
(A ' B) ' C == x (A ' B) . x C
== (x A . x B) . x C
== x A . (x B . x C)
== x A . x (B ' C)
== x A ' (B ' C)
y en segundo lugar:
A ' (B ' C) == x A . x (B ' C)
== x A . (x B . x C)
== (x A . x B) . x C
== x (A ' B) . x C
== x (A ' B) ' C
luego:
(A ' B) 'C _ A'(B ' C) .A'(B ' C) _ (A ' B) 'C == (A ' B) 'C = A'(B ' C)
1.21. DIFERENCIA DE CONJUNTOS 23
Teorema 1.32 Teorema 23. A ' A = A
Teorema 1.33 Teorema 24. A ' = A
Teorema 1.34 Teorema 25. A _ A ' B
Demostracin. Por denicin
A _ B == (\x) (x A == x B)
(\x) x A == x A . x B
(\x) A _ A ' B
Teorema 1.35 Teorema 26. A _ B == A ' B = B
Demostracin. Se debe demostrar que a) A ' B _ B y que b) B _ A ' B.
a) Sea x A ' B, debemos demostrar que x B,
x A ' B == x A . x B
Si x A == x B. Por hiptesis A _ B.
Si x B == x B. Esto indica que en todo caso x B, de donde
A ' B _ B
b) Sea x B == x A . x B == x A ' B, as B _ A ' B.
Por a) y b) A _ B == A ' B = B.
En la parte b) de la demostracin usamos la tautologa p == q . p
Teorema 1.36 Teorema 27. A _ C . B _ C == A ' B _ C
1.21. DIFERENCIA DE CONJUNTOS
Enunciamos el teorema que justica la existencia de la diferencia de conjuntos:
Teorema 1.37 Teorema 30
(!C) (\x) (x C == x A . x = B)
Demostracin. Aplicando el esquema axiomtico de seaparacin, donde '(x) = x =
B:
(C) (\x) (x C == x A . x = B)
Necesitamos demostrar que C es nico. Supongamos que hubiera un segundo C
0
, tal que,
para todo x:
x C
0
== x A . x = B
24 CAPTULO 1. TEORIA DE CONJUNTOS
entonces para todo x :
x C == x C
0
en virtud al axioma de extensionalidad:
C = C
0

Denicion 1.4 Denicin 7.


AB = y == (\x) (x y == x A . x = B) . y es un conjunto.
Teorema 1.38 Teorema 31. x AB == x A . x = B
El teorema siguiente asegura obviamente el hecho de que la diferencia entre conjuntos
no es idempotente, supuesta la existencia de conjuntos no vacos.
Teorema 1.39 Teorema 32. AA =
Demostracin. Por el teorema 1,
x =
Por la lgica proposicional:
x == x A . x = A
nalmente por la denicin 7.
AA =

Teorema 1.40 Teorema 33. A (A B) = AB


Demostracin. Sea x un elemento arbitrario. Entonces:
x A (A B) == x A . x = (A B) T. 31
== x A . (x A B) Def. 2
== x A . (x A . x B) T. 12
== x A . (x = A . x = B) L.P.
== (x A . x = A) . (x A . x = B) L.P.
== x A . x = B L.P.
== x AB
luego, por el axioma de extensin:
A (A B) = AB

1.21. DIFERENCIA DE CONJUNTOS 25


Teorema 1.41 Teorema 34. A (AB) = AB.
Demostracin. Sea x un elemento arbitrario. Entonces:
x [A (AB)] == x A . x (AB) T. Inter.
== x A . (x A . x = B) Teor. Dif.
== (x A . x A) . x = B Ax. Asoc.
== x A . x = B L. P.
== x AB
luego, por el axioma de extensin:
A (AB)
Teorema 1.42 Teorema 35. (AB) ' B = A ' B.
Demostracin. Sea x un elemento arbitrario. Entonces:
x (AB) ' B == x (AB) . x B T. Unin.
== (x A . x = B) . x B T. Dif.
== (x A . x B) . (x = B . x B) Distr.
== (x A . x B) . V L. P.
== (x A . x B)
== x A ' B
luego, por el axioma de extensin:
(AB) ' B = A ' B
Teorema 1.43 Teorema 36. (A ' B) B = AB.
Demostracin. Sea x un elemento arbitrario. Entonces:
x (A ' B) B == x (A ' B) . x = B T. Dif.
== (x A . x B) . x = B T. Unin.
== (x A . x = B) . (x B . x = B) Ditrib.
== x A . x = B L. P.
== x AB
luego, por el axioma de extensionalidad:
(A ' B) B = AB
Teorema 1.44 Teorema 37. (A B) B = .
Demostracin. Sea x un elemento arbitrario. Entonces:
x (A B) B == x (A B) . x = B T. Dif.
== (x A . x B) . x = B T. Int.
== x A . (x B . x = B) Ax. Asoc.
== x A . L. P.
== x (A )
==
26 CAPTULO 1. TEORIA DE CONJUNTOS
luego, por el axioma de extensionalidad:
(A B) B =
Teorema 1.45 Teorema 38. (AB) B = .
Demostracin. Sea x un elemento arbitrario. Entonces:
x (AB) B == x (AB) . x B T. Int.
== (x A . x = B) . x B T. Dif.
== x A . (x = B . x B) Ax. Dist.
== x A . L. P.
== x (A ) T. Int.
==
luego, por el axioma de extensionalidad:
(AB) B =
Teorema 1.46 Teorema 39. A (B ' C) = (AB) (AC).
Demostracin. Sea x un elemento arbitrario. Entonces:
x A (B ' C) == x A . x = (B ' C) T. Dif.
== x A . [x (B ' C)] Def.
== x A . [x B . x C] T. Unin.
== x A . (x = B . x = C) L. P.
== (x A . x A) . (x = B . x = C) L.P.
== (x A . x = B) . (x A . x = C) Distrib.
== x [(AB) (AC)]
luego, por el axioma de extensin:
A (B ' C) = (AB) (AC)
Teorema 1.47 Teorema 40. A (B C) = (AB) ' (AC)
Demostracin. Sea x un elemento arbitrario. Entonces:
x A (B C) == x A . x = (B C) T. Dif.
== x A . [x B . x C] T. Int.
== x A . (x = B . x = C) Def.
== (x A . x = B) . (x A . x = C) Distrib.
== x [(AB) ' (AC)] T. Dif. y T. Unin.
luego, por el axioma de extensionalidad:
A (B C) = (AB) ' (AC)
1.22. COMPLEMENTO DE UN CONJUNTO 27
Ejercicio 1.1 AB = == A _ B.
Demostracin. ==
Supongamos: AB = . Hiptesis 1.
Supongamos: x A. Hiptesis 2.
x = . Teorema, luego x = (AB), que equivale a
x = A . x B. Ley lgica p == q == p . q
x A == x B.
A _ B
Luego: AB = == A _ B (1)
Demostracin. ==
Supongamos A _ B. Hiptesis 1.
Supongamos x AB. Hiptesis 2.
x A . x = B, luego x A, x = B y de la hiptesis 1 se concluye que x B. Por
conjuncin se tiene x B . x = B que equivale a x ; concluyndose en consecuencia:
AB _ , como _ AB concluimos que:
AB = . Luego:
A _ B == AB = (2)
Finalmente.
AB = == A _ B de (1) y (2)
Ejercicio 1.2 Demostrar: A (BC) = (A B) (A C)
Demostracin. a) Primero demostramos: A (BC) _ (A B) (A C)
Sea x A(BC). Esto signica que x A.x B.x = C. Por un lado x A.x B
implica que x (A B). Por otro, como A C _ C, x = C implica que x = (A C).
Luego x (A B) (A C)
b) Demostramos que: (A B) (A C) _ A (BC)
Si x (A B) (A C), entonces x A . x B, ambas obligatoriamente; y por
tanto, x = C para que x = (A C). Resulta entonces evidente que x pertenecer a la
interseccin de A con B, pero no a C: x (A B) C o lo que es lo mismo, A(BC).
Finalmente:
A (BC) = (A B) (A C)
1.22. COMPLEMENTO DE UN CONJUNTO
En la teora de conjuntos de Von Neumann, el universo V , que es la clase de todos los
conjuntos, existe. El complemento A
c
de un conjunto A puede denirse como:
A
c
= UA
28 CAPTULO 1. TEORIA DE CONJUNTOS
1.23. DIFERENCIA SIMETRICA
Denicion 1.5
A B = (AB) ' (BA)
= (A B
c
) ' (A
c
B)
= (A ' B) (A
c
' B
c
)
= (A ' B) (A B)
1. (A
c
)
c
= A
2. A ' A
c
= U
3. (A ' B)
c
= A
c
B
c
4. (A B)
c
= A
c
' B
c
5. AB = A B
c
= B
0
A
0
Demostracin.
A=B = (x A . x = B)
= (x A . x B
c
)
= A B
c
tambin:
AB = (x A . x B
c
)
= x = A
c
. x B
c
= x B
c
. x = A
c
= B
c
A
c
Ejercicio 1.3 A B = (A ' B) (A
c
' B
c
)
A B = (A B
c
) ' (B A
c
)
= (A ' B) (A ' A
c
) (B
c
' B) (B
c
' A
c
)
= (A ' B) U U (B
c
' A
c
)
= (A ' B) (B
c
' A
c
)
Ejercicio 1.4 (A B)C = (A ' B ' C)(A ' B
c
' C
c
)(A
c
' B ' C
c
)(A
c
' B
c
' C)
(A B) C = (A B) ' C (A B)
c
' C
c

= [(A ' B) (A
c
' B
c
)] ' C [(A
c
' B) (A ' B
c
)] ' C
c

= (A ' B ' C) (A
c
' B
c
' C) (A
c
' B ' C
c
) (A ' B
c
' C
c
)
1.23. DIFERENCIA SIMETRICA 29
Ejercicio 1.5 A = A
(\x) (A ) == (\x) (A) ' (A)
== (\x) A '
== (\x) A
luego, por axioma de extensin:
A = A
Ejercicio 1.6 A B = B A
(\x) (A B) == (AB) ' (BA)
== (BA) ' (AB)
== (B A)
luego:
A B = B A
Ejercicio 1.7 (A B) C = A (B C)
(A B) C = (A ' B ' C) (A ' B
c
' C
c
) (A
c
' B ' C
c
) (A
c
' B
c
' C)
= (B ' C ' A) (B ' C
c
' A
c
) (B
c
' C
c
' A
c
) (B
c
' C
c
' A)
= (B C) A
= A (B C)
segunda forma:
(A B) C = ((A B) C) ' (C (A B))
= (((A B) ' (B A)) C) ' (C ((A B) ' (B A)))
Por una parte:
(((A B) ' (B A)) C) = (A B C) ' (B A C)
Por otra parte:
(C ((A B) ' (B A))) = C ((A B) ' (B A))
= C (A B) (B A)
= C
_
A B
_

_
B A
_
= C
_
B ' A
_

_
A ' B
_
30 CAPTULO 1. TEORIA DE CONJUNTOS
aplicando la distributividad y teniendo en cuenta que la interseccin de un conjunto y su
complemento es vaca:
= (C A B) '
_
C A B
_
= (C A B) ' (C A B)
en denitiva llegamos a:
(A)
Otra forma:
(R S) T = (((R S
c
) ' (R
c
S)) T
c
) ' ((R S)
c
T) Denicin
= (((R S
c
) ' (R
c
S)) T
c
) ' (((R ' S) (R
c
' S
c
))
c
T) Denicin
= (R S
c
T
c
) ' (R
c
S T
c
) ' (((R ' S)
c
' ((R
c
' S
c
))
c
) T) Intersec. distrib. y de Morgan
= (R S
c
T
c
) ' (R
c
S T
c
) ' (((R
c
S
c
) ' (R S)) T) De Morgan
= (R S
c
T
c
) ' (R
c
S T
c
) ' (R
c
S
c
T) ' (R S T) Interseccin distrib. en la unin
Por otro lado:
R (S T) = (R (S T)
c
) ' (R
c
((S T
c
) ' (S
c
T)))
= (R ((S ' T) (S
c
' T
c
))
c
) ' (R
c
((S T
c
) ' (S
c
T)))
=
_
R
_
(S ' T)
c
' (S
c
' T
c
)
C
__
' (R
c
S T
c
) ' (R
c
S
c
T)
= (R ((S
c
T
c
) ' (S T))) ' (R
c
S T
c
) ' (R
c
S
c
T)
= (R S
c
T
c
) ' (R S T) ' (R
c
S T
c
) ' (R
c
S
c
T)
Ejercicio 1.8 A (B C) = (A B) (A C)
A (B C) == x A . x (B C)
== x A . x [BC ' CB]
== x A . [x BC . x CB]
== [x A . x BC] . [x A . x CB]
== [x A . (x B . x = C) . x = A] . [x A . (x C . x = B)]
== [x A B . (x C . x A)] . [x A C . x = B . x = A]
== [x (A B) . (x A C)] . [x (A C) . (x (A B))]
== x [(A B) (A C)]
luego:
A (B C) = (A B) (A C)

Das könnte Ihnen auch gefallen