Lenguaje matem

atico, conjuntos y n
umeros
Actividades. Tema 2
Ejercicio 2
En este ejercicio, suponemos que todos los elementos son elementos de un conjunto C.
a) xPx xQx significa que todos los elementos x satisfacen P y todos los elementos x satisfacen Q. Esto es,
todos los elementos x satisfacen P y Q, que escrito simb
olicamente sera x(Px Qx ).
b) Analogamente, xPx xQx significa que hay alg
un elemento que cumple P o que hay alg
un elemento que
cumple Q y esto equivale a que hay alg
un elemento que satisface P o Q, es decir, x(Px Qx ).
c)Si xPx xQx es verdadero entonces todos los elementos de C satisfacen P o todos los elementos de C
satisfacen Q. En consecuencia cualquier elemento de C satisface P o satisface Q. Es decir xPx xQx
x(Px Qx ).
d) x(Px Qx ) significa que existe al menos un elemento x que satisface simult
aneamente P y Q. En consecuencia
hay alg
un elemento que satisface P y alg
un elemento que satisface Q. Por tanto, x(Px Qx ) xPx xQx .
e) El recproco de los condicionales en los apartados c) y d) es falso. Observese que si cualquier elemento de C
satisface P o satisface Q, no se tiene que verificar obligatoriamente que todos los elementos de C satisfacen P
o todos los elementos de C satisfacen Q. Por ejemplo, sea C = N, P el predicado ser par y Q el predicado ser
impar. Claramente la proposici
on x N (Px Qx ) es verdadera mientras que (x N) Px y (x N) Qx son
proposiciones falsas (pues ni todos los n
umeros naturales son pares, ni todos los n
umeros naturales son impares
y por tanto (x N) Px (x N) Qx es una proposici
on falsa.

Ejercicio 7
a) La respuesta es no. Por ejemplo, si B y C son subconjuntos disjuntos de un conjunto A, entonces A B
A C = A siendo B * C.
b) La respuesta es no. Por ejemplo, si B es tal que A B = , entonces A B A C y sin embargo no
se verifica necesariamente que B C. En concreto si A el conjunto de los n
umeros naturales pares, B es el
conjunto de los n
umeros naturales impares y C es el conjunto de los m
ultiplos de 3, se tiene A B =
A C = { naturales m
ultiplos de 6} y sin embargo B no es un subconjunto de C.
c) En este caso la respuesta es afirmativa. Demostremos que si A B A C y A B A C entonces B C.
Veamos que si x B entonces x C. En efecto:

/ A y xAC
/ A y xAB
x C
x
x
= x C
= o
= o
x B =
o

xC
xAC
x AB
d) Supongamos que A B = B C. En particular, resulta que A B B C y en consecuencia, A B B y
A B C. As pues, A B, A C, B B y B C, esto es, A B C.
Recprocamente, si A B C, entonces A B = B y B C = B y por tanto, A B = B C.

Ejercicio 10 En este ejercicio, utilizaremos las propiedades del algebra de conjuntos del cuadro 2.1 de la
p
agina 54 del Texto base.
a) Queremos ver que (A \ B) (B \ A) = (A B) \ (A B). En efecto:
(A \ B) (B \ A) = (A B) (B A)
= (A B) (A A) (B B) (B A)
= (A B) U U (B A)
= (A B) \ (A B)
b) Queremos ver que (A B) C = (A C) (B C). En efecto:
(A B) C = (A B) C
= (A C) (B C)
= (A \ C) (B \ C)

c) Queremos ver que A (B C) = (A B) (A C). En efecto:

A (B C) = A \ (B \ C) = A \ (B C)
= A (B C)




= A BC =A BC

= (A B) (A C) = (A \ B) (A C)

d) Queremos ver que (A B) C = A (B C). En efecto:

(A B) C = (A \ B) \ C = (A \ B) C
= (A B) C
= A (B C) = A B C
= A (B C)
e) Queremos ver que A B = A (A B). En efecto:
A (A B) =

A (A B)) \ A (A B)

= A A B = A (A B) = (A A) (A B)
= (A \ B) = A B
La igualdad A (A B) = A se deduce de la inclusion A B A. Tambien se puede deducir de las propiedades
del algebra de conjuntos pues A (A B) = (A U ) (A B) = A (U B) = A U = A.
f) Queremos ver que A (B C) = (A B) C. En este caso utilizamos la expresi
on de la diferencia simetrica:
X Y = (X \ Y ) (Y \ X) = (X Y ) (Y X)
(A B) C = [(A B) (A B)] C
= [(A B) (A B) C] [(A B) (A B) C]
= [(A B C) (A B C)] [[(A B) (A B)] C]
Pero,
[[(A B) (A B)] C] = [(A A) (A B) (A B) (B B)] C]
= [(A B) (A B)] C
= (A B C) (A B C)
y en consecuencia,
(A B) C = (A B C) (A B C) (A B C) (A B C)
Utilizando la propiedad conmutativa de , la formula anterior, y las propiedades conmutativa y asociativa de
la uni
on y la intersecci
on, se deduce que
A (B C) = (B C) A
= (B C A) (B C A) (B C A) (B C A)
= (A B) C
g) Queremos ver que A (B C) = (A B) (A C).
A (B C) = A [(B C) (C B)
= [(A (B C)] [(A (C B)]
= (A B C) (A C B)

Pero si desarrollamos el segundo miembro, se obtiene:

(A B) (A C) = [(A B) A C] [(A C) A B]
= [(A B) (A C)] [(A C) (A B)]
= (A B A) (A B C) (A C A) (A C B)
= (A B C) (A C B)
y en consecuencia:
A (B C) = (A B) (A C)

Ejercicio 12 Los
S apartados
T a) y b) se deducen de los apartados c) y d).
c) Veamos que

iI

Ai =

iI

Ai . En efecto:

Ai

x
/

iI

Ai

iI

[i I x Ai ]

i I x
/ Ai i I x Ai
\
Ai
x

iI

d) Analogamente se tiene:
x

Ai

x
/

[i I x Ai ]

i I x
/ Ai i I x Ai
[
x
Ai

iI

Ai

iI

iI

En consecuencia,

iI

Ai =

iI

Ai .

Ejercicio 16 Observemos que B(1,2) es un cuadrado (con los puntos interiores).Vease la figura 1.
2 [
2
[

B(n,m) es el rect
angulo uni
on de los cuadrados B(0,1) , B(0,2) , B(1,1) , B(1,2) , B(2,1) y B(2,2) . Vease la figura

n=0 m=1

2.
S
on de todos los cuadrados Bnm con n, m N que coincide con el conjunto
Finalmente (n,m)N2 B(n,m) es la uni
de todos los puntos del primer cuadrante del plano. Vease la figura 3.

Figura 1: El conjunto B(1,2)

Figura 2:

2 [
2
[

n=0 m=1

Ejercicio 24
a) Las relaciones inversas son:
R1 = {(a, 1), (b, 1), (b, 2), (c, 2)}
S 1 = {(, a), (, b), (, a), (, b)(, c)}
T 1 = {(1, ), (1, ), (3, ), (3, ), (4, )(4, )(5, ), }
b) Las relaciones pedidas son:

B(n,m)

Figura 3:

(n,m)N2

B(n,m)

S R = {(1, ), (1, ), (1, ), (2, ), (2, )(2, )}

T S = {(a, 1), (a, 3), (a, 5), (b, 1), (b, 3), (b, 5), (b, 4), (c, 4)}
T S R = {(1, 1), (1, 5), (1, 3), (1, 4), (2, 1), (2, 5), (2, 3), (2, 4)}
R1 S 1 T 1 T S R = {(1, 1), (1, 2), (2, 1), (2, 2)}
c) R(1) = {a, b}, R(2) = {b, c} y R(3) = R(4) = R(5) = .
S(a) = {, }, S(b) = {, } y S(c) = {}.
T () = {1, 3, 5}, T () = {1, 3}, T () = {4} y T () = {4}.