TEORIA DE CONJUNTOS

CONJUNTOS
En matemticas, un conjunto es una agrupacin de objetos considerada como un objeto en
s. Los objetos del conjunto pueden ser cualquier cosa: personas, nmeros, colores, letras,
figuras, etc. Cada uno de los objetos en la coleccin es un elemento o miembro del
conjunto.
1
Por ejemplo, el conjunto de los colores del arcoris es:
AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta}
Un conjunto suele definirse mediante una propiedad que todos sus elementos poseen. Por
ejemplo, para los nmeros naturales, si se considera la propiedad de ser un nmero primo,
el conjunto de los nmeros primos es:
P = {2, 3, 5, 7, 11, 13, ...}
Un conjunto queda definido nicamente por sus miembros y por nada ms. En particular,
un conjunto puede escribirse como una lista de elementos, pero cambiar el orden de dicha
lista o aadir elementos repetidos no define un conjunto nuevo. Por ejemplo:
S = {Lunes, Martes, Mircoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes,
Mircoles}
AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} = {Amarillo, Naranja,
Rojo, Verde, Violeta, Ail, Azul}
Los conjuntos pueden ser finitos o infinitos. El conjunto de los nmeros naturales es
infinito, pero el conjunto de los planetas en el Sistema Solar es finito (tiene ocho
elementos). Adems, con los conjuntos pueden combinarse mediante operaciones, de
manera similar a las operaciones con nmeros.
Los conjuntos son un concepto primitivo, en el sentido de que no es posible definirlos en
trminos de nociones ms elementales, por lo que su estudio puede realizarse de manera
informal, apelando a la intuicin y a la lgica. Por otro lado, son el concepto fundamental
de la matemtica: mediante ellos puede formularse el resto de objetos matemticos, como
los nmeros y las funciones, entre otros. Su estudio detallado requiere pues la introduccin
de axiomas y conduce a la teora de conjuntos.
HISTORIA
El concepto de conjunto como objeto abstracto no comenz a emplearse en matemticas
hasta el siglo XIX, a medida que se despejaban las dudas sobre la nocin de infinito.
2
Los
trabajos de Bernard Bolzano y Bernhard Riemann ya contenan ideas relacionadas con una
visin conjuntista de la matemtica. Las contribuciones de Richard Dedekind al lgebra
estaban formuladas en trminos claramente conjuntistas, que an prevalecen en la
matemtica moderna: relaciones de equivalencia, particiones, homomorfismos, etc., y l
mismo explicit las hiptesis y operaciones relativas a conjuntos que necesit en su trabajo.
La teora de conjuntos como disciplina independiente se atribuye usualmente a Georg
Cantor. Comenzando con sus investigaciones sobre conjuntos numricos, desarroll un
estudio sobre los conjuntos infinitos y sus propiedades. La influencia de Dedekind y Cantor
empez a ser determinante a finales del siglo XIX, en el proceso de axiomatizacin de la
matemtica, en el que todos los objetos matemticos, como los nmeros, las funciones y las
diversas estructuras, fueron construidos en base a los conjuntos.
DEFINICION
Un conjunto es una coleccin bien definida de objetos, entendiendo que dichos objetos
pueden ser cualquier cosa: nmeros, personas, letras, otros conjuntos, etc. Algunos
ejemplos son:
A es el conjunto de los nmeros naturales menores que 5.
B es el conjunto de los colores verde, blanco y rojo.
C es el conjunto de las letras a, e, i, o y u.
D es el conjunto de los palos de la baraja francesa.
Los conjuntos se denotan habitualmente por letras maysculas. Los objetos que componen
el conjunto se llaman elementos o miembros. Se dice que pertenecen al conjunto y se
denota mediante el smbolo :
n 1
a A se lee entonces como a est en A, a pertenece a
A, A contiene a a, etc. Para la nocin contraria se usa el smbolo . Por ejemplo:
3 A , D
amarillo B, z C
Notacin


Relacin de pertenencia. El conjunto A es un conjunto de polgonos. En la imagen,
algunas de las figuras pertenecen a dicho conjunto, pero otras no.
Existen varias maneras de referirse a un conjunto. En el ejemplo anterior, para los
conjuntos A y D se usa una definicin intensiva o por comprensin, donde se especifica una
propiedad que todos sus elementos poseen. Sin embargo, para los conjuntos B y C se usa
una definicin extensiva, listando todos sus elementos explcitamente.
Es habitual usar llaves para escribir los elementos de un conjunto, de modo que:
B = {verde, blanco, rojo}
C = {a, e, i , o, u}
Esta notacin mediante llaves tambin se utiliza cuando los conjuntos se especifican de
forma intensiva mediante una propiedad:
A = {Nmeros naturales menores que 5}
D = {Palos de la baraja francesa}
Otra notacin habitual para denotar por comprensin es:
A = {m : m es un nmero natural, y 1 m 5}
D = {p : p es un palo de la baraja francesa}
F = {n
2
: n es un entero y 1 n 10} ,
En estas expresiones los dos puntos (:) significan tal que. As, el conjunto F es el
conjunto de los nmeros de la forma n
2
tal que n es un nmero natural entre 1 y 10 (ambos
inclusive), o sea, el conjunto de los diez primeros cuadrados de nmeros naturales. En
lugar de los dos puntos se utiliza tambin la barra vertical (|) u oblicua / .
Igualdad de conjuntos


Conjunto de personas. El conjunto de personas mostrado en la imagen, A, tiene 8
miembros. Este conjunto puede representarse mediante llaves o mediante un diagrama de
Venn. El orden de las personas en A es irrelevante.
Un conjunto est totalmente determinado por sus elementos. Por ello, la igualdad de
conjuntos se establece como:
Propiedad de la extensionalidad
Dos conjuntos A y B que tengan los mismos elementos son el mismo conjunto, A =
B.
Esta propiedad tiene varias consecuencias. Un mismo conjunto puede especificarse de
muchas maneras distintas, en particular extensivas o intensivas. Por ejemplo, el conjunto A
de los nmeros naturales menores que 5 es el mismo conjunto que A, el conjunto de los
nmeros 1, 2, 3 y 4. Tambin:
B = {verde, blanco, rojo} = {colores de la bandera de Mxico}
C = {a, e, i, o, u} = {vocales del espaol}
D = {Palos de la baraja francesa} = {, , , }
El orden en el que se precisan los elementos tampoco se tiene en cuenta para comparar dos
conjuntos:
B = {verde, blanco, rojo} = {rojo, verde, blanco}
C = {a, e, i, o, u} = {e, i, u, a, o}
Adems, un conjunto no puede tener elementos repetidos, ya que un objeto solo puede o
bien ser un elemento de dicho conjunto o no serlo. Se da entonces que, por ejemplo:
{1, 2} = {1, 2, 1}
En ausencia de alguna caracterstica adicional que distinga los 1 repetidos, lo nico que
puede decirse del conjunto de la derecha es que 1 es uno de sus elementos.
Subconjuntos
Artculo principal: Subconjunto.


Subconjunto. B es un subconjunto de A (en particular un subconjunto propio).
Un subconjunto A de un conjunto B, es un conjunto que contiene algunos de los elementos
de B (o quiz todos):
Un conjunto A es un subconjunto del conjunto B si cada elemento
de A es a su vez un elemento de B.
Cuando A es un subconjunto de B, se denota como A B y se dice que A est contenido
en B. Tambin puede escribirse B A, y decirse que B es un superconjunto de A y
tambin B contiene a A o B incluye a A.
Todo conjunto A es un subconjunto de s mismo, ya que siempre se cumple que cada
elemento de A es a su vez un elemento de A. Es habitual establecer una distincin ms fina
mediante el concepto de subconjunto propio: A es un subconjunto propio de B si es un
subconjunto de B pero no es igual a B. Se denota como A B, es decir: A B pero A B
(y equivalentemente, para un superconjunto propio, B A).
n 2

Ejemplos.
El conjunto de todos los hombres es un subconjunto propio del conjunto de
todas las personas.
{1, 3} {1, 2, 3, 4}
{1, 2, 3, 4} {1, 2, 3, 4}
[editar] Conjuntos disjuntos
Artculo principal: Conjuntos disjuntos.


A y B son conjuntos disjuntos.
Un conjunto A es disjunto a otro B si los elementos de A no pertenecen a B:

la disjuncin de conjuntos es reciproca y si A es disjunto de B, B es disjunto de A:

Por lo tanto dos conjuntos A y B son disjuntos si no tienen elementos comunes, que tambin
puede decirse:
Los conjuntos A y B son disjuntos si: la interseccin entre A y B es el conjunto
vaco.


CARDINALIDAD
Los conjuntos pueden ser finitos o infinitos. En el caso de un conjunto finito se pueden
contar los elementos del conjunto:
El nmero de elementos de un conjunto finito es su cardinal.
El cardinal se denota por |A|, card(A) o #A. As, en los ejemplos anteriores, se tiene que |A|
= 4 (cuatro nmeros), |B| = 3 (tres colores) y |F| = 10 (diez cuadrados). El nico conjunto
cuyo cardinal es 0 es el conjunto vaco .
En un conjunto infinito no hay un nmero finito de elementos. Es el caso por ejemplo de
los nmeros naturales: N = {1, 2, 3, ...}. Sin embargo, existe una manera de comparar
conjuntos infinitos entre s, y se obtiene que existen conjuntos infinitos ms grandes que
otros. El nmero de elementos de un conjunto infinito es un nmero transfinito.
OPERACIONES CON CONJUNTOS
Artculo principal: lgebra de conjuntos.
Existen varias operaciones bsicas que pueden realizarse para, partiendo de ciertos
conjuntos dados, obtener nuevos conjuntos:
- Unin: (smbolo ) La unin de dos conjuntos A y B, que se representa como A
B), es el conjunto de todos los elementos que pertenecen al menos a uno de los
conjuntos A y B.
- Interseccin: (smbolo ) La interseccin de dos conjuntos A y B es el conjunto A
B de los elementos comunes a A y B.
- Diferencia: (smbolo \) La diferencia del conjunto A con B es el conjunto A \ B que
resulta de eliminar de A cualquier elemento que est en B.
- Complemento: El complemento de un conjunto A es el conjunto A

que contiene
todos los elementos que no pertenecen a A, respecto a un conjunto U que lo
contiene.
- Diferencia simtrica: (smbolo ) La diferencia simtrica de dos conjuntos A y B
es el conjunto A B con todos los elementos que pertenecen, o bien a A, o bien a B,
pero no a ambos a la vez.
- Producto cartesiano: (smbolo ) El producto cartesiano de dos conjuntos A y B es
el conjunto A B de todos los pares ordenados (a, b) formados con un primer
elemento a perteneciente a A, y un segundo elemento b perteneciente a B.
Ejemplos
- {1, a, 0} {2, b} = {2, b, 1, a, 0}
- {5, z, } {, a} = {}
- {5, z, } \ {, a} = {5, z}
- {, 5} {8, #, } = {5, #, 8}
- {1, a, 0} {2, b} = {(1, 2), (1, b), (a, 2), (a, b), (0, 2), (0, b)}

http://www.slideshare.net/juliapintado/conjuntos-344758















3.1 Conjuntos.
Dentro de la teora se consideran como primitivos o trminos no
definidos los conjuntos y los elementos. En general, se designan los
conjuntos usando letras latinas maysculas y los elementos con letras
minsculas.
Intuitivamente, un conjunto es una coleccin o clase de objetos bien
definidos. Estos objetos se llaman elementos o miembros del conjunto.
Si un objeto x es elemento de un conjunto A, se escribe:
x e A.
que se puede leer tambin "x pertenece a A" o "x est en A". Si por el
contrario, un objeto x no es elemento de un conjunto A, se escribe:
x e A.
Un conjunto se puede definir haciendo la presentacin efectiva de cada
uno de sus elementos, as el conjunto A cuyos elementos son 2, 3, 5, se
escribe:
A = { 2, 3, 5}

Esto se conoce como expresin por extensin del conjunto.
Otra forma de definir un conjunto es enunciando una propiedad que
permita seleccionar de un conjunto ya formado, aquellos que verifiquen
dicha propiedad. Por ejemplo, dentro del conjunto de los nmeros
podemos seleccionar el conjunto B de los nmeros pares, en este caso
se emplea una letra, por lo general x, para representar un elemento
cualquiera y se escribe:

B = { x / x es par}
lo que se lee: "B es el conjunto de los nmeros x tales que x es par".
Esta forma de definir un conjunto de llama por comprensin.

3.1.1 Definiciones.
3.1.1.1 Igualdad de Conjuntos. El conjunto A es igual al conjunto B si
ambos tienen los mismos elementos, es decir, si cada elemento de A es
tambin elemento de B y recprocamente. Luego, podemos escribir:
(A = B) ( x)(x e A x e B).

3.1.1.2 Subconjuntos. Si todo elemento de un conjunto A es tambin
elemento de un conjunto B, entonces se dice que A es un subconjunto
de B. Esta relacin se denomina relacin de inclusin y se denota como:
A c B.
Simblicamente esto se puede expresar as:

A c B ( x)(x e A x e B)
Esta relacin tambin se puede leer: "A est contenido en B", "A es una
parte de B". Para expresar que A no est contenido en B, escribimos: A
. B.
Con esta definicin de subconjunto se puede dar de otra manera la
definicin de igualdad de dos conjuntos, as:

(A = B) (A c B) . (B c A)
Puesto que todo conjunto A es subconjuto de si mismo, se dir que A es
un subconjunto propio de B; si A es subconjuto de B y A no es igual a B.
Ms brevemente, A es subconjuto propio de B si A c B y A = B. Esta
situacin puede representarse mediante un diagrama as:

3.1.1.3 Conjunto Universal. Es el conjunto de todos los elementos en
discusin. Tambin se le llama dominio de discusin o referencial.
El conjunto universal se designa con el smbolo 1.

Ejemplos

1. En geometra plana el conjunto universal es el de todos los puntos del
plano.
2. En los estudios de poblacin humana el conjunto universal estar
formado por todos los seres humanos del mundo.


3.1.1.4 Conjunto Vaco. Es el conjunto que carece de elementos. Este
conjunto se denotar por 0. Un conjunto vaco se puede definir
mediante una propiedad que sea contradictoria, por ejemplo:
Sea A = {x / x
2
= 4 . x es impar}.

3.1.1.5 Conjunto de Partes de un Conjunto. El conjunto de todos los
subconjuntos de un conjunto A, se denomina conjunto de partes de A y
se denota P (A).

En consecuencia,
x e P(A) x c A
P(A) = {x / x c A}

3.1.2 Operaciones Fundamentales con Conjuntos.


3.1.2.1 Unin. La unin de los conjuntos A y B, es el conjunto de todos
los elementos que pertenecen a A o a B o a ambos. Se denota la unin
de A y B por A + B y se llama unin de A y B.

En consecuencia,
x e ( A + B) x e A v x e B.



Entonces se puede expresar por comprensin este conjunto as:
A + B = {x / x e A v x e B }

Una interpretacin grfica de la unin de A y B es la siguiente:

En la grfica la regin rayada corresponde a la unin de A y B. Se
presentan los conjuntos dentro de un rectngulo que representa el
conjunto referencial del cual se seleccionan los conjuntos A y B.


3.1.2.2 Interseccin. La interseccin de dos conjuntos A y B es el
conjunto de los elementos que son comunes a A y a B, esto es, aquellos
que pertenecen a A y que tambin pertenecen a B. Se denota la
interseccin de A y B por A - B y se lee "A interseccin B".
En consecuencia,
x e A- B x e A . x e B.

El conjunto A- B est dado por:
A- B = { x / x e A . x e B }.

Grficamente, una representacin de A- B es:


La regin rayada corresponde a A- B. Cuando A y B no tienen elementos
comunes, se dice que son disjuntos.


3.1.2.3 Complemento. El complemento de un conjunto A es el
conjunto de todos los elementos que no pertenecen a A, es decir, el
conjunto de todos los elementos que estn en el Universal y no estn en
A. El complemento de A se denota por A'.
En consecuencia,
x e A' x e 1 . x e A.


Grficamente, su representacin est dada por:

A' = {x / x e 1 . x e A }.

3.1.3 Leyes del lgebra de Conjuntos.

Si 1 designa al conjunto universal y 0 al conjunto vaco, las siguientes
identidades son vlidas en el lgebra de conjuntos para conjuntos
arbitrarios X, Y, Z.


Leyes conmutativas
XY = YX X + Y = Y + X.


Leyes asociativas
X(YZ) = (XY)Z X + (Y + Z) = (X + Y) + Z.


Leyes distributivas
X(Y + Z) = XY + XZ X + YZ = (X + Y) (X + Z).


Leyes de idempotencia
XX = X X + X = X.


Leyes de complementacin
XX' = 0 X + X' = 1.


Leyes de absorcin
X (X + Y) = X X + XY = X.


Leyes de D'Morgan
( XY)' = (X' + Y') (X + Y )' = X'Y'.


Leyes con 0 y 1
X 1 = X X + 0 = X.
X 0 = 0 X + 1 = 1.
0' = 1 1' = 0.


Ley de complemento doble
(X')' = X.

Es importante destacar la dualidad dada en estas leyes, es decir, si en
cualquiera de las identidades, cada unin se reemplaza por una
interseccin, cada interseccin por una unin, cada 0 por 1 y cada 1 por
0, la expresin resultante es tambin una identidad.


Ejercicios 3.1
1) Sean A, B, C, los siguientes conjuntos:
A = { {1,3}, {2,4,6}, {8,9}}
B = { 1,2,3,4,6,8,9}
C = { {1}, {3}, {2}, {4}, {6}, {8}, {9}}
- Es correcto decir que A = B = C ?. Explique.

- Para cada una de las siguientes expresiones; diga si es correcto o no.
{1,3} eA {1,3} c B {1} e A {1} c A

{1,3} c A {1,3} e C {1} e B {1} c B
{1,3} e B {1,3} c C {1} e C {1} c C
{{1}, {2}} c B {{1}, {2}} c C {{1,3} } c A.

2)Si A = {x}; B = {{x}}; Cules de las siguientes expresiones son
correctas?
x e A {x} c A {x} e B A e B {A} c B
x e B {x} c B {{x}} c A A c B {A} = B.


3) Dados los siguientes conjuntos:
F: El conjunto de los nmeros de cuatro cifras, donde dos al menos de
dichas cifras son cero.
G: El conjunto de nmeros de cuatro cifras, donde una al menos de
dichas cifras es cero.
H: El conjunto de nmeros de cuatro cifras, dos de las cuales son cero y
las otras dos diferentes de cero.
Determine todas las posibles relaciones de inclusin que se pueden
establecer entre los conjuntos F, G y H.

4) Sea A = {0,1,2,3} y B = {0, {0},3,5}
- Determine todos los subconjuntos de A.
- Determine todos los subconjuntos de B.


5) Sea A el conjunto de todos los nmeros naturales que verifican la
ecuacin:
(x 2)(x + 1) = 0.
Sea B = {A, 1}, Cules de las siguientes expresiones son verdaderas?.
1 e A, 2 e B, 1 e A, {2} e B, {2} e A.

6) Sean:
X = {a, b, c, e, u, k, m, n, t, {a}, {x}, {y}, {c}}, considerado como
conjunto referencial,
A = {{x}, {y}, a, b, u, {a}, t} y B = {c, {a}, {x}, {y}, m, t}.
Determinar A' y B'.

7) Sea A = {0, | }. En el espacio en blanco coloque los signos
apropiados entre e , e , c , . .
0 ____ P(A) {0, | } ____ P(A) {{| },| } ____ P(A)
{0} ____ A {| } ____P(A) {{| },0} ____P(A)
| ____ P(A) {{| }} ____P(A) {{0},{| }} ____P(A)
| ____ A {0, | } ____ A
{| } ____ A {{0}, 0} ____P(A).


8) Sean A = {0,{ 1,2}}; B = { 1,2}; C = {1, {| }}.
Determinar P(A), P(P(B)), P(C).

9) si A es el conjunto de nmeros de dos cifras tales que la primera cifra
es mayor que la segunda y B el conjunto de nmeros de dos cifras tales
que la primera cifra es menor que la segunda, expresar A + B y A- B.

10) Suponga que el conjunto universal es el conjunto de los nmeros
enteros positivos. Defina S, E y M as:
S: Conjunto de todos los enteros positivos menores o iguales a 6.
E: Conjunto de todos los enteros positivos pares.
M: Conjunto de todos los enteros positivos mltiplos de tres.
Escriba expresiones algebraicas simples en trminos de S, E y M para
los siguientes conjuntos:
- {3,6}, {1,3,5}..
- Todos los enteros positivos mltiplos de 6.
- Todos los enteros pares mayores que 6.
- El conjunto que contiene todos los mltiplos de 3 y todos los
enteros impares.

11) Dar contraejemplos para los recprocos de cada uno de los
siguientes teoremas:
- A c B . B c C A c C.
- X c A . X c B X c A + B.
- B c A B + C c A + C.
- B c A B- C c A- C.

12) Aplicando leyes fundamentales para el lgebra de conjuntos
simplifique las siguientes expresiones.(Cada expresin se reduce a un
slo smbolo).
- A- B'- A'- B'.
- A- B + A- B' + A'- B + A'- B'.
- A- C' + A- B- C + A- C.
- A- B- C + A' + B' + C'.
- (A + B)( A' + B). vv
- (A + A- B + A- B- C) (A + B + C).
- ( A- B' + A'- B )' ( A- B + A'- B' )'.
- A- B- C + A- B- C' + A- B'- C + A'- B- C + A- B'- C' + A'- B- C' + A'-
B'- C + A'- B'- C'.

13) Simplificar las siguientes expresiones, justificando cada paso.
- (A- B + A- C + A'- X'- Y)( A- B'- C + A'- X'- Y' + A'- B- Y)'.
- X- Y(X- Z' + X- Y + X- Y- Z).
- (X- Y + X'- Y' + X- Y' )' ((X' + Y' )( X + Y' ))'.

14) Escriba cada una de las siguientes condiciones sobre los conjuntos
X, Y y Z, sin hacer uso del smbolo "c ".
X'- Y c Z
X + Y' c Z.
X- Y' + X'- Y c Z + Y'
X c Y' c Z.

15) Encuentre una proposicin equivalente en trminos de inclusin
para cada una de las siguientes condiciones sobre los conjuntos X, Y , Z
y W.
( X' + Y )( Z + W' )' = 0
( X' + Y )( Z + W' ) = 0.
X + Y' + Z' + W' = 1
X- Y' + Z'- W = 0.
http://es.scribd.com/doc/40352825/teoria-de-conjuntos












CONJUNTOS NUMERICOS NOTABLES

http://es.scribd.com/doc/3480566/Conjuntos-numericos-GUION-CEVA