Elementos de Teora de Conjuntos

Conjuntos
Un conjunto es una coleccion de objetos arbitrarios. Denotaremos un conjunto por las
letras may
usculas del abecedario :
A, B, C, . . . , S, . . . , Z
Los objetos que forman un conjunto son los elementos, los que denotaremos por letras
min
usculas :
a, b, c, . . . , z
Cuando un objeto x es un elemento de un conjunto A , escribiremos
xA
y diremos que el elemento x pertenece al conjunto A . Si no esta, escribiremos
x
/A
y diremos que x no pertenece a A
Cuando un conjunto A tiene un n
umero finito de elementos, decimos que A es un
conjunto finito y el n
umero de elementos es llamado el cardinal del conjunto, el que
denotaremos por #A . As
#A = n
umero de elementos de A
Para el caso infinito esta nocion se complica y da lugar a una teora complicada ya que
se consideran infinitos de distinta naturaleza.

Definiciones de Conjuntos
Un conjunto A queda definido (determinado o caracterizado) cuando se da una regla
que permita decidir si un objeto arbitrario pertenece o no a A
Algunos conjuntos son definidos especificando, uno a uno, sus distintos elementos. Se
usa la notacion,
A = {a, b, c, . . .}
para representar al conjunto A cuyos elementos son los objetos a, b, c, . . . etc. En este
caso, se dice que el conjunto queda definido por extension.
El metodo mas frecuente de definir un conjunto es por comprension, esto es, enunciando
una propiedad com
un y exclusiva que deben cumplir sus elementos. En forma mas
precisa, se parte de una propiedad P , la que define a un conjunto A de la siguiente
forma : Si un objeto x goza de la propiedad P , entonces x A y si x no goza de la
/ A . En este caso, escribimos
propiedad P , entonces x
A = {x / x goza de la propiedad P }

Muchas veces la propiedad P se refiere a elementos de un conjunto referencial (Universo) U .

En este caso, se escribe que
A = {x U / x goza de la propiedad P }
Si ocurre que ning
un elemento de U goza de la propiedad P , el conjunto
{x U / x goza de la propiedad P } no posee elementos y es llamado conjunto vaco,
el que se representa por el smbolo . As el conjunto vaco es el conjunto tal que
cualquiera que sea el elemento x , se tiene que x
/ .

Igualdad entre Conjuntos

Diremos que dos conjuntos A y B son iguales si y solo si contienen exactamente los
mismos elementos. Esto es,
A = B (x A x B)
En caso contrario, diremos que A es distinto de B y, en para denotar este hecho,
escribimos A = B .
De la definicion de igualdad se verifica que :
I1. A = A (Reflexividad)
I2. A = B B = A (Simetra)
I3. (A = B) (B = C) (A = C) (Transitividad)

Inclusi
on de Conjuntos
Dados dos conjuntos A y B , diremos que A esta includo en B o que A es un subconjunto de B , si cada elemento de A es tambien elemento de B .En este caso escribiremos A B . Formalmente
A B (x A x B)
En un diagrama.

AB

 De la definicion se verifica que dados los conjuntos A , B y C arbitrarios,

S1. A A
S2. A
S3. (A B) (B A) A = B
S4. (A B) (B C) (A C)
Un conjunto A estrictamente contenido en B , o sea, que exista al menos un elemento
de B que no pertenece a A , se dice un subconjunto propio y escribiremos
A B (A B A = B)

Conjunto Potencia
Dado un conjunto A se define el conjunto potencia o el conjunto de las partes de A ,
denotado por P (A) , como el conjunto de todos los subconjuntos de A . Formalmente,
P (A)={X / X A}
De la definicion se puede afirmar que X P (A) es lo mismo decir que X A . Por
otro lado, P (A) es siempre no vaco ya que por lo menos P (A) y A P (A) .
Si A es un conjunto finito con #A = n , entonces P (A) tiene 2n elementos.
Si A B se tiene que P (A) P (B) .

Uni
on de Conjuntos
Dados dos conjuntos A y B , la union entre A y B es el conjunto A B formado
por todos los elementos de A mas todos los elementos de B .
Afirmar que x A B significa que al menos una de las afirmaciones x A o x B ,
es verdadera. As podemos escribir que,
A B = {x / x A x B}
En un diagrama,

AB

 Es inmediato que cualquiera que sean los conjuntos A y B , A A B y B A B .

Dados los conjuntos A, B y C se tiene para la union las siguientes propiedades:
U1. A A = A
U2. A = A
U3. A B = B A
U4. (A B) C = A (B C)
U5. A B = B A B

Intersecci
on de Conjuntos
Dados dos conjuntos A y B , la interseccion entre A y B es el conjunto A B formado
por todos los elementos comunes de A y de B .
Afirmar que x A B significa que al mismo tiempo x A y x B . As formalmente,
A B = {x / x A x B}
En un diagrama,

AB
Puede ocurrir que no exista elemento x tal que x A y x B . En este caso,
se tiene que A B = y los conjuntos A y B se dice que son disjuntos. En un
diagrama,

A y B disjuntos
Es inmediato que cualquiera que sean los conjuntos A y B , A B A y A B B .

 Dados los conjuntos A, B y C se tiene para la interseccion las siguientes propiedades

:
In1. A A = A
In2. A =
In3. A B = B A
In4. (A B) C = A (B C)
In5. A B = A A B
Ademas, en forma conjunta, la union con la interseccion satisfacen las leyes distributivas.
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)

Diferencia de Conjuntos
Dados dos conjuntos A y B , la diferencia entre A y B es el conjunto A B formado
por todos los elementos de A que no estan en B .
/ B . As formalmente,
Afirmar que x A B significa que x A y que x
A B = {x / x A x
/ B}
En un diagrama,

AB
Es inmediato que para conjuntos A y B , A B A .
Dados los conjuntos A, B y C se tiene para la diferencia las siguientes propiedades:
D1. A B = A = B
D2. A B = B A, si A = B
D3. (A B) B =
D4. (A B) (B A) =
D5. A (A B) B = A B
D6. A (B C) = A B A C
Un tipo particular de diferencia entre dos conjuntos A y B es la diferencia simetrica
A  B que es el conjunto formado por todos los elementos que estando en A no
estan en B y por los que estando en B no estan en A . O sea, un elemento
x A  B (x (A B) x (B A)) . As
A  B = (A B) (B A)
5

En un diagrama, se tiene la situacion

AB
Dados los conjuntos A, B y C se tiene para la diferencia simetrica, las siguientes
propiedades:
DS1. A  B = B  A
DS2. A  (B  C) = (A  B)  C
DS3. A  = A
DS4. A  A =
DS5. A  B = C A  C = B

Complemento de un Conjunto
Tomando un conjunto referencial o universo U , el cual contiene a todos los conjuntos
que intervienen en una cierta discusion, si A U la diferencia U A se define como
el complemento de A y se denota como Ac . Esto es
Ac = U A
Es decir, Ac contiene a los elementos que pertenecen a U y que no pertenecen a A .
De esta forma, restringidos a considerar elementos de un conjunto universal U , en/ A . El diagrama ilustra la situacion
tonces x Ac x

Ac
Dados los conjuntos A, B como partes de un conjunto universal U , relativo al cual
se toman los complementos, se tiene que :
C1. A B = A B c
C2. (Ac )c = A
C3. A B B c Ac
C4. A = Ac = U
C5. (A B)c = Ac B c
C6. (A B)c = Ac B c

curso : algebra i - ingenieria

UTA - i semestre 2011