Logica

Curso 20162017. Grupo A2

Nociones elementales de teora de conjuntos

1.

Concepto de conjunto

Un conjunto es una colecci

on de objetos, los elementos del conjunto. Todo tipo de objeto es un posible
elemento de un conjunto. En particular, un conjunto puede ser elemento de otro conjunto.
Si A es un conjunto y x es un objeto, las expresiones
xA

y x
/A

significan, respectivamente, que x es un elemento de A y que x no es un elemento de A. En vez de x es un

elemento de A, tambien decimos x pertenece a A. Estas dos expresiones son sinonimas. Analogamente,
en vez de decir que x no es un elemento de A diremos tambien que x no pertenece a A.
Clasificamos los objetos que consideramos en dos categoras: los conjuntos y todos los demas. Nos referimos
a los objetos que no son conjuntos como objetos primitivos. Los objetos primitivos no tienen elementos.
Usaremos las letras may
usculas latinas (A, B, . . . , Z) para referirnos a conjuntos. Hablando tecnicamente,
las letras may
usculas latinas varan sobre conjuntos, son variables de conjunto. Para referirnos a objetos cualesquiera, sean o no conjuntos, usaremos las letras min
usculas latinas (a, b, . . . , z). Estas letras, pues, varan
sobre objetos cualesquiera, son variables de objeto. As, si decimos: B tiene tal propiedad presuponemos que
B es un conjunto, mientras que si decimos: b tiene tal propiedad no lo presuponemos; b puede ser un conjunto
o un objeto primitivo.
Un conjunto est
a determinado por sus elementos. Dicho de otro modo, no hay dos conjuntos distintos que
tengan los mismos elementos. Este hecho b
asico sobre los conjuntos es el principio de extensionalidad, que
podemos reformular as:
Principio de extensionalidad. Si todo elemento de A pertenece a B y todo elemento de B pertenece a A,
entonces A = B.
La afirmaci
on inversa de este principio es obviamente verdadera: si A y B son el mismo conjunto, A y B
tienen los mismos elementos. Por consiguiente,
A = B syss1 A y B tienen los mismos elementos.
El principio de extensionalidad expresa que lo que importa de un conjunto no es como lo definimos, sino
cu
ales son sus elementos. Esta caracterstica de los conjuntos no es compartida por las propiedades, ya que
existen propiedades distintas que sin embargo las poseen exactamente los mismos objetos. Por ejemplo, las
propiedades ser un n
umero natural par menor que 3, y ser un n
umero cuyo cuadrado es igual a su doble son
distintas, pero es claro que las poseen exactmente los mismos objetos: los n
umeros 0 y 2.
En general, si es una propiedad y A es un conjunto, decimos que A es la extensi
on de si los elementos
de A son precisamente los objetos que tienen la propiedad . Como muestra el ejemplo anterior, dos propiedades
distintas pueden tener la misma extensi
on, por este motivo se dice a veces que las propiedades, a diferencia de
los conjuntos, no son extensionales, no est
an determinadas por su extension.

1.1.

C
omo referirse a conjuntos

Hay dos maneras de nombrar o de denotar conjuntos: por comprensi

on o por enumeraci
on.
Denotamos un conjunto por enumeraci
on nombrando todos sus elementos. En general, si los elementos de
un conjunto son a1 , a2 , . . . , an , denotamos este conjunto por enumeracion as:
{a1 , a2 , . . . , an }.
1 syss

es una abreviatura de si y s
olo si.

Por tanto, para todo objeto x,

x {a1 , a2 , . . . , an } syss x = a1 o x = a2 o . . . o x = an .
Decimos que {a}, el conjunto cuyo u
nico elemento es el objeto a, es el conjunto unitario de a.
De acuerdo con el principio de extensionalidad, cuando denotamos un conjunto por enumeracion no importa
en que orden nombremos sus elementos ni si hay repeticiones en la enumeracion. As, si a, b, c son objetos
cualesquiera,
{a, b, c} = {a, c, b} = {b, c, a} = {a, b, a, c, c}.
Denotamos un conjunto por comprensi
on dando una propiedad que poseen todos los elementos del conjunto
y s
olo ellos (es decir, dando una propiedad cuya extension es el conjunto en cuestion). En general, si A es un
conjunto y es una propiedad que poseen todos los elementos de A y solo ellos, la expresion
{x : x posee la propiedad }

(*)

(que se lee: el conjunto de los x tales que x posee la propiedad ) denota al conjunto A. Por ejemplo, el conjunto
{1, 3, 5, 7, 9} (denotado por enumeraci
on), puede denotarse tambien por comprension de este modo:
{x : x es un n
umero entero impar menor que 10}.
Para expresar esquem
aticamente que el objeto a posee la propiedad , escribimos
(a).
As,

{x : (x)}

es un modo esquem
atico de expresar (*).

1.2.

La relaci
on de inclusi
on

Decimos que un conjunto A est

a incluido en un conjunto B o que A es un subconjunto de B, en smbolos,
A B, si todo elemento de A pertenece tambien a B. O sea
A B syss para todo objeto x, si x A, entonces x B.
Si A B y A 6= B, decimos que A est
a incluido propiamente en B o que A es un subconjunto propio
de B; en smbolos, A B. O sea,
A B syss A B y A 6= B.
Para expresar que A no es un subconjunto B y que A no es un subconjunto propio de B, escribimos
A 6 B, respectivamente A 6 B.
Observemos que A 6 B si y solo si hay por lo menos un objeto x tal que x A y x
/ B.
Con respecto a la relaci
on entre inclusi
on y pertenencia, podemos observar que para todo objeto x y todo
conjunto A,
x A syss {x} A.
La relaci
on de inclusi
on tiene las siguientes propiedades: para cualesquiera conjuntos A, B, C,
1) A A,
2) si A B y B C, entonces A C,
3) si A B y B A, entonces A = B.

1.3.

El conjunto vaco

Llamamos al u
nico conjunto sin elementos el conjunto vaco y lo denotamos con el smbolo . Es
importante observar que
1) =
6 {} (pues carece de elementos, mientras que {} tiene un elemento, a saber, ).
2) Para todo conjunto A, A.
2

1.4.

Conjunto potencia

El conjunto potencia de un conjunto A, en smbolos, P(A), es el conjunto cuyos elementos son todos los
subconjuntos de A. As:
P(A) = {x : x A}.
Ejemplos
1) P() = {},
2) P({a}) = {, {a}},
3) P({a, b}) = {, {a}, {b}, {a, b}},
4) P({a, b, c}) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}.
Observaci
on.

2.
2.1.

Si A es un conjunto de n elementos, entonces P(A) tiene 2n elementos.

Operaciones con conjuntos

Uni
on

La uni
on de dos conjuntos A y B, en smbolos, A B, es el conjunto cuyos elementos son los objetos que
pertenecen a A o a B:
A B = {x : x A o x B}.
As, para todo objeto x,
x A B syss x A o x B.
Por tanto, para todo x,
x
/ A B syss x
/A y x
/ B.
Observaci
on. Cuando decimos que un objeto x pertenece a A o a B, queremos decir que pertenece por lo
menos a uno de los dos conjuntos, no excluyendo que pueda pertenecer a ambos. Si alg
un momento queremos
expresar que un objeto x pertenece a A o a B, pero no a ambos, lo diremos explcitamente.
Propiedades de la uni
on.

Para cualesquiera conjuntos A, B y C,

1) A B = B A (propiedad conmutativa de la union)

2) (A B) C = A (B C), (propiedad asociativa de la union)
3) A = A,
4) A A = A,
5) A A B y B A B,
6) A B syss A B = B.

2.2.

Intersecci
on

La intersecci
on de dos conjuntos A y B, en smbolos, A B, es el conjunto cuyos elementos son los objetos
que pertenecen tanto a A como a B:
A B = {x : x A y x B}.

As, para todo objeto x,

x A B syss x A y x B.
Por tanto,
x
/ A B syss x
/A o x
/ B.
Decimos que dos conjuntos son disjuntos si no tienen ning
un elemento en com
un. As , A y B son disjuntos
si y s
olo si A B = .
Propiedades de la intersecci
on.

Para cualesquiera conjuntos A, B y C,

1) A B = B A, (propiedad conmutativa de la interseccion)

2) (A B) C = A (B C), (propiedad asociativa de la interseccion)
3) A = ,
4) A A = A,
5) A B A y A B B,
6) A B syss A B = A.

2.3.

Diferencia

La diferencia de dos conjuntos A y B, en smbolos, A B, es el conjunto cuyos elementos son los objetos
que pertenecen a A pero no a B:
A B = {x : x A y x 6 B}.
As, para todo objeto x,
x A B syss x A y x 6 B.
Por tanto,
x
/ AB
Propiedades de la diferencia.

x
/ A o x B.

syss

Para cualesquiera conjuntos A, B,

1. A = A , A = ,
2. A A = ,
3. A B A y (A B) B = ,
4. A B syss A B = .
Observaci
on.

2.4.

La diferencia no tiene las propiedades conmutativa y asociativa.

Relaciones entre uni

on, intersecci
on y diferencia

Para cualesquiera conjuntos A, B, C y D,

1.a. A (B C) = (A B) (A C),
1.b. A (B C) = (A B) (A C),
3.a. A (A B) = A,
3.b. A (A B) = A,
4.a. A (B C) = (A B) (A C),
4.b. A (B C) = (A B) (A C).
4

2.5.

Complementaci
on

En ocasiones s
olo estamos interesados en los objetos que pertenecen a un conjunto fijado de antemano. Es
habitual referirse a este conjunto como al universo del discurso y denotarlo mediante la letra U . Los u
nicos
conjuntos que nos interesan en este caso son los subconjuntos de U .
Si A es un subconjunto de U , el complemento o complementario de A con respecto a U , en smbolos,
U
A , es el conjunto de todos los elementos de U que no pertenecen a A; o sea,
U

A = U A.
U

En lo que sigue, omitiremos sistem

aticamente el superndice U y escribiremos A en lugar de A . Sin
embargo, es importante no olvidar que s
olo tiene sentido hablar del complemento con respecto a un cierto
universo del discurso.
Propiedades del complemento
1) = U y U = ,
2) A A = y A A = U,
3) A = A,
4) A B syss B A,
5) A B = syss A B,
6) A B = U syss A B,
7) A B = A B.
8) Leyes de De Morgan:
a) (A B) = A B,
b) (A B) = A B,
9) A B = (A B),
10) A B = (A B).

3.

Relaciones

Pares ordenados y producto cartesiano

Un par ordenado est
a constituido por dos objetos dados en un cierto orden. Los objetos que lo constituyen
son los componentes del par. Con ha, bi nos referimos al par cuyo primer componente es a y cuyo segundo
componente es b.
La propiedad caracterstica de los pares ordenados es la siguiente: para todo a, b, c y d
si ha, bi = hc, di, entonces a = c y b = d.
(Observese que tambien se cumple el condicional inverso, pero es un hecho trivial). Una consecuencia inmediata
de esta propiedad que tiene interes resaltar es
si a 6= b, entonces ha, bi =
6 hb, ai.
El producto cartesiano de los conjuntos A y B (A B) es el conjunto de todos los pares ordenados cuyo
primer componente es elemento de A y cuyo segundo componente es elemento de B. Esto es,
A B = {ha, bi | a A y b B}
5

Observaciones

Para cualesquiera conjuntos A, B, C y D

1) Si A tiene n elementos y B tiene m elementos, entonces A B tiene n m elementos.

2) A B = syss A = o B = .
3) Si A B y C D, entonces A C B D.
Concepto de relaci
on
Una relaci
on (binaria) es un conjunto de pares ordenados. Habitualmente, usaremos las letras R, S y
T (con subndices si es necesario) para referirnos a relaciones. Para indicar que el par hx, yi es un elemento
de la relaci
on R, escribiremos indistintamente hx, yi R o xRy y decimos que x esta en la relacion R con y.
Para expresar que x no est
a en la relaci
on R con y escribimos hx, yi
/ R o xR
6 y.
Observaciones
1) es una relaci
on.
2) Si A y B son conjuntos, A B es una relacion.
3) Si R y S son relaciones, entonces R S, R S y R S son relaciones.
Principio de extensionalidad para relaciones: Las relaciones R y S son iguales syss R tiene los mismos
pares ordenados que S. Esto es
R = S syss para todo x, y, hx, yi R syss hx, yi S
Dominio, recorrido y campo
El dominio de una relaci
on R, dom(R), es el conjunto de los primeros componentes de los pares de R. El
recorrido de una relaci
on R, rec(R), es el conjunto de los segundos componentes de los pares de R. El campo
de una relaci
on R, campo(R), es la uni
on de su dominio y su recorrido. Esto es
dom(R) = {x | xRy, para alg
un y} ,
rec(R) = {x | yRx, para alg
un y} ,
campo(R) = dom(R) rec(R).
Observaciones
1) dom() = rec( =
2) R dom(R) rec(R)
Relaci
on en un conjunto
Si A es un conjunto cualquiera, R es una relacion en A si R A A. La identidad en A, IdA , es la relaci
on
definida del siguiente modo:
IdA = {ha, ai | a A}
Si A es un conjunto, , IdA y A A son relaciones en A.
Relaci
on inversa
es el conjunto de los pares ha, bi tales que hb, ai R. Es decir
La inversa de una relaci
on R, R,
= {ha, bi | bRa} ;
R
por tanto,
syss bRa
para todo a, b : aRb
6

Observaciones.

Para cualesquiera conjuntos A y B, y toda relacion R:

1)
= y IdA = Id A ,
= rec(R) y rec(R)
= dom(R),
2) dom(R)
3) A B = B A,

4) R = R.
Producto relacional
A partir de dos relaciones R y S podemos obtener una nueva relacion, su producto relacional, R|S, que
definimos as:
R|S = {ha, bi | hay alg
un c tal que ha, ci R y hc, bi S}.
As, para cualesquiera objetos a, b,
ha, bi R|S syss hay alg
un objeto c tal que aRc y cSb.
Observaciones.

Para cualesquiera relaciones R, S y T ,

1) R|(S|T ) = (R|S)|T ,
R.

2) (R|S) = S|
Tipos de relaciones
1) Una relaci
on R es reflexiva en A syss para todo a A, aRa
2) Una relaci
on R es irreflexiva syss para todo a, a R
6 a.
3) Una relaci
on R es simetrica syss para todo a y b, si aRb, entonces bRa.
4) Una relaci
on R es antisimetrica syss para todo a y b, si aRb y bRa, entonces a = b.
5) Una relaci
on R es asimetrica syss para todo a y b, si aRb, entonces b R
6 a.
6) Una relaci
on R es transitiva syss para todo a, b y c, si aRb y bRc, entonces aRc.
Observaciones
1) Si R es asimetrica, entonces es irreflexiva
2) Si R es asimetrica, entonces es antisimetrica
3) R es asimetrica syss es irreflexiva y antisimetrica
4) Si R 6= y R es simetrica, entonces no es asimetrica.
5) R es asimetrica y transitiva syss R es irreflexiva y transitiva
Proposici
on 1 Si R es una relaci
on en un conjunto A, entonces
(1)

R es reflexiva en A

syss

IdA R,

(2)

R es irreflexiva

syss

(3)

R es simetrica

syss

R IdA = ,

R = R,

(4)

R es antisimetrica

syss

(5)

R es asimetrica

syss

IdA ,
RR
= ,
RR

(6)

R es transitiva

syss

R|R R.

Relaciones de equivalencia
Una relaci
on de equivalencia en un conjunto A es una relacion en A que es reflexiva en A, simetrica y
transitiva.
Sea A un conjunto cualquiera, R una relacion de equivalencia en A y a un elemento de A. La clase de
equivalencia de a (respecto a R), en smbolos, [a]R , es el conjunto de todos los elementos de A relacionados
con a; es decir,
[a]R = {x A | xRa}.
El conjunto cociente de A respecto a R, en smbolos, A/R, es el conjunto de las clases de equivalencia
respecto a R de todos los elementos de A, es decir,
A/R = {[a]R : a A}.
Observaciones Si A es un conjunto cualquiera y R es una relacion de equivalencia en A, entonces para
cualesquiera a, b A,
(1) x [a]R

syss

xRa,

(2) a [a]R ,
(3) si aRb, entonces [a]R = [b]R ,
(4) si a R
6 b, entonces [a]R [b]R = .

4.

Funciones
Una funci
on es una relaci
on R tal que para cualesquiera objetos a, b, c,
si ha, bi R y ha, ci R, entonces b = c;

en otras palabras, una relaci

on R es una funcion si y solo si para todo a dom(R) hay un u
nico objeto b tal
que ha, bi R.
Solemos referirnos a funciones mediante las letras f , g, h, F , Gy H, posiblemente con subndices. Si f es una funci
on y a dom(f ), designamos con f (a)al u
nico objecto b tal que ha, bi f . As, para
todo elemento a del dominio de f ,
f (a) = b syss ha, bi f.
Decimos que f (a) es el valor de f en el argumento a, o el valor que f asigna al argumento a. En
este contexto, argumentoes sin
onimo de elemento del dominio.
Una funci
on de A en B, es una funci
on f tal que dom(f ) = A y rec(f ) B. En otras palabras, f es una
funci
on de A en B si y s
olo si para todo a A hay un u
nico objeto b B tal que ha, bi f . Si f es una funci
on
de A en B, escribimos
f : A B.
Principio de extensionalidad para funciones Toda funcion es una relacion y, por tanto, un conjunto (de
pares ordenados). Por consiguiente, las funciones son extensionales, es decir, cumplen el principio de extensionalidad: f y g son iguales (son la misma funcion) si tienen los mismos elementos, o sea, si a ellas pertenecen los
mismos pares.
Si f : A B y g : C D entonces
f = g syss A = C y para todo a A, f (a) = g(a);
en otras palabras, las funciones f y g son iguales si y solo si tienen el mismo dominio y asignan los mismos
valores a cada argumento.

Funci
on inyectiva
Una funci
on f es inyectiva syss para cualesquiera a, b dom(f )
si f (a) = f (b), entonces a = b,
o, lo que es equivalente,
si a 6= b, entonces f (a) 6= f (b);
en otras palabras, una funci
on es inyectiva si y solo si asigna valores distintos a argumentos distintos.
Funci
on de A sobre B
Si f es una funci
on de A en B, decimos que es una funci
on de A sobre B si y solo si rec(f ) = B. As, f
es una funci
on de A sobre B si y s
olo si
1) si f es una funci
on de A en B y
2) para todo b B hay alg
un a A tal que f (a) = b.
Funci
on biyectiva entre A y B
Si A y B son conjuntos cualesquiera, una biyecci
on entre A y B es una funcion inyectiva de A sobre B.
Observemos que para todo conjunto A, IdA es una biyeccion entre A y A.
Funci
on inversa
Puesto que toda funci
on es una relaci
on y toda relacion tiene su relacion inversa, siempre podemos considerar
la relaci
on inversa f de una funci
on cualquiera f . Ahora bien, la relacion la inversa f puede no ser una funci
on.
Por ejemplo, la inversa de la funci
on que asigna a cada palabra del castellano su letra inicial no es una funci
on.
S
olo cuando la funci
on es inyectiva su inversa es una funcion. Mas concretamente,
una funci
on f es inyectiva syss f es una funci
on.
Si f es una funci
on inyectiva,la funci
on inversa se denota mediante f 1 (y no mediante f); es importarte
recalcar que s
olo se usa esta notaci
on cuando la inversa de f es una funcion; si f no es inyectiva, la notaci
on
f 1 carece de sentido.
Observaciones
1) Si f es una funci
on inyectiva, entonces para cualesquiera objetos a y b,
f (a) = b syss

f 1 (b) = a.

2) Si f es una biyecci
on entre A y B, entonces f 1 es una biyeccion entre B y A.