TEORIA DE CONJUNTOS

Un conjunto es la reunin en un todo de objetos bien definidos y diferenciables

entre s, que se llaman elementos del mismo.


Pertenencia y no pertenencia
Si a es un elemento del conjunto A (vocales del alfabeto) se denota con la relacin
de pertenencia a e A.

En caso contrario, si b no es un elemento de A (vocales del alfabeto) se
denota be A.




Se puede definir un conjunto por:
o extensin, enumerando todos y cada uno de sus elementos.
o comprensin, diciendo cul es la propiedad que los caracteriza.

Un conjunto se suele denotar encerrando entre llaves a sus elementos, si se
define por extensin,
o su propiedad caracterstica, si se define por comprensin. Por ejemplo:
o A := {1,2,3, ... ,n}
o Q := {p/q | pe Z, q e Z, q 0}




SUBCONJUNTOS
Un subconjunto es aquel que est formado por una parte de los elementos que
conforman un conjunto mayor.

Si se dice que A est contenido en B (tambin que A es un subconjunto de B o
que A es una parte de B),
y se denota A _ B, si todo elemento de A lo es tambin de B, es decir,
a e A a e B.
Dos conjuntos A y B se dicen iguales, y se denota A = B, si simultneamente
A _ B y B _A; esto equivale a decir que tienen los mismos elementos.
Para cualquier conjunto A se verifica que C_ A y A _ A;
B _ A es un subconjunto propio de A si A = C y B = A.

Todo conjunto es parte de un conjunto llamado conjunto universal o de referencia
que se representa por U.

Conjuntos finitos: Combinatoria
La Combinatoria es la parte de las Matemticas que se dedica al estudio de los
conjuntos finitos.
Puesto que la propiedad principal de estos conjuntos es que se puede representar su
nmero de elementos mediante un nmero natural (llamado cardinal de dicho
conjunto), la tarea bsica de la Combinatoria es precisamente el clculo del cardinal
de dichos conjuntos.
Para dicho clculo se necesita definir los llamados nmeros combinatorios:

(1) Nmeros factoriales: se define n! mediante la ley de recurrencia
n! = n (n-1)!
y la condicin inicial 0! := 1. De forma iterativa, se tiene
n! = n (n-1) (n-2) ... 3 2 1
n! es el nmero de permutaciones de n elementos, es decir, es el nmero total de
formas de ordenar n elementos de todas las formas distintas posibles.

(2) Coeficientes binomiales: se definen por la frmula

El nmero "n sobre k" es el nmero de combinaciones de n elementos tomados
de k en k, es decir, el nmero de subconjuntos distintos de k elementos que tiene un
conjunto con n elementos.
Los coeficientes binomiales tienen dos propiedades bsicas:
(a)

(b)


Como aplicacin de los nmeros combinatorios y del Binomio de Newton,
podemos contar el nmero total de subconjuntos que tiene un conjunto A con n
elementos, es decir, el cardinal de partes de A; para ello, notemos que el nmero de
tales subconjuntos se obtiene sumando el nmero de subconjuntos de 0 elementos ms
los de 1 elemento, ms los de 2 elementos, y as hasta los de n elementos, es decir:

Pero esta cantidad corresponde a desarrollar mediante el binomio de Newton la
expresin
(1+1)
n
= 2
n


OPERACIONES ENTRE CONJUNTOS

Se llama unin de dos conjuntos A y B al conjunto formado por objetos que
son elementos de A o de B, es decir: A B := { x | x e A v x e B}.
Se llama interseccin de dos conjuntos A y B al conjunto formado por objetos
que son elementos de A y de B, es decir: A B := {x | x e A . x e B}.


Dados dos conjuntos A y B, se llama diferencia al conjunto A B := {a e A |
a e B}.
Asimismo, se llama diferencia simtrica entre A y B al conjunto A A B :=
(A B) (B A).
Si A e (U), a la diferencia U A se le llama complementario de A respecto de
U, y se denota abreviadamente por A'.
Es fcil ver que si A y B son subconjuntos cualesquiera de U se verifica:
o C ' = U .
o U ' = C.
o (A')' = A .
o A _ B B' _ A' .
o Si A = { x e U | p(x) es una proposicin verdadera} entonces A' = {
x e U | p(x) es una proposicin falsa}.


Si A y B son subconjuntos de un cierto conjunto universal U, entonces es fcil
ver que A B = A B'.

En este caso, la llamadas operaciones booleanas (unin e interseccin)
verifican las siguientes propiedades :
PROPIEDADES UNION INTERSECCION
1.- Idempotencia A A = A A A = A
2.- Conmutativa A B = B A A B = B A
3.- Asociativa A ( B C ) = ( A B ) C A ( B C ) = ( A B ) C
4.- Absorcin A ( A B ) = A A ( A B ) = A
5.- Distributiva A ( B C ) = ( A B ) ( A C ) A ( B C ) = ( A B ) ( A C )
6.- Complementariedad A A' = U A A' = C


Estas propiedades hacen que partes de U con las operaciones unin e
interseccin tenga una estructura de lgebra de Boole.
Adems de stas, se verifican tambin las siguientes propiedades:
o A C = A , A C = C ( elemento nulo ).
o A U = U , A U = A ( elemento universal ).
o ( A B )' = A' B' , ( A B )' = A' B' ( leyes de Morgan ).


Producto Cartesiano
Dados dos conjuntos A y B, se define el producto cartesiano de ambos como
el conjunto de pares ordenados:

A B := { (a,b) : a e A . b e B}

A={1,2,3}
B={a,b}
AXB={1,a}, {1,b}, {2,a}, {2, b}, {3,a}, {3,b}
Se llama grafo relativo a A B a todo subconjunto G _ A B.
Dado un grafo G relativo a A B, se llama proyeccin de G sobre A al
conjunto

Proy
A
G := { a e A : (a,b) e G, - b e B}

Anlogamente se define la proyeccin Proy
B
G de G sobre B.
Por ltimo, los conceptos anteriores pueden generalizarse a familias de
conjuntos.
Si para cada elemento i de un conjunto (de ndices ) I se tiene un conjunto A
i
,
entonces se define el conjunto { A
i
: i e I }
y se denomina familia de conjuntos indicada por I. Tambin se suele denotar
por { A
i
}
i eI
.
De forma anloga se define una familia de elementos ( a
i
)
i e I
.
Dada una familia de conjuntos { A
i
}
i e I
se definen:

o A
1
A
2
A
3
...A
n
=

o A
1
A
2
A
3
...A
n
=

o

Las propiedades de la unin e interseccin siguen siendo vlidas para familias
de conjuntos, y en particular las leyes de Morgan :

(
i e I
A
i
)' =
i e I
A'
i
, (
i e I
A
i
)' =
i e I
A'
i


DIAGRAMAS DE VENN
Los conjuntos de suelen representar grficamente mediante "diagramas de
Venn", con una lnea que encierra a sus elementos.
As, todas las operaciones entre conjuntos se pueden representar grficamente
con el fin de obtener una idea ms intuitiva.
A _ B


A B


A B


A B


A A B

RELACION ENTRE LA TEORIA DE CONJUNTOS Y LA LOGICA
PROPOSICIONAL

Existe una relacin muy estrecha entre la Teora de Conjuntos y la Lgica
Proposicional.
Para mostrar dicha relacin, denotemos por letras maysculas A,B ... los
conjuntos y
por las correspondientes minsculas a,b ... sus propiedades caractersticas
(es decir, la proposicin lgica que caracteriza a los elementos de cada
conjunto);
entonces se tiene la siguiente correspondencia:


conjuntos A _ B A = B A B A B A' A B A A B
proposiciones a b a b a v b a . b a' a . b' a v b
Adems, el conjunto vaco se corresponde con una contradiccin y el conjunto
universal con una tautologa.
Mediante esta correspondencia, todos los resultados sobre conjuntos se pueden
reescribir en trminos de lgica proposicional y viceversa; a modo de ejemplo:


A ( A B ) = A a v ( b . c ) a
A ( B C ) = ( A B ) ( A C ) a v ( b . c ) ( a v b ) . ( a vc )
( A B )' = A' B' ( a v b )' a' . b'

PROPOSICIONES CON CUANTIFICADORES
Los smbolos (cuantificador universal) y - (cuantificador existencial) se
utilizan en Matemticas para enunciar proposiciones lgicas relativas a objetos
matemticos.
Sea A un conjunto y p(x) una proposicin o propiedad que hace referencia a un
elemento x.
(1) Cuantificador universal : La expresin
x e A p(x)
se lee "para todo x que pertenece a A se verifica p(x)", representa la
proposicin
{ x e A : p(x) } = A
(2) Cuantificador existencial : La expresin
- x e A | p(x)
se lee "existe x que pertenece a A tal que p(x)", representa la proposicin
{ x e A : p(x) } = C

La negacin de cualquiera de las dos proposiciones anteriores se realiza
negando la proposicin p(x)
y cambiando el cuantificador universal por el cuantificador existencial, o
viceversa.
As, la negacin de la proposicin " x e A p(x)" es "- x e A | p(x)' ",
mientras que
la negacin de "- x e A | p(x)" es " x e A p(x)' "




RESUMEN DE LA TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS
Definiciones:

1.- Conjunto: es una lista, clase o coleccin de objetos bien definidos, objetos que, pueden ser
cualesquiera: nmeros, personas, letras, etc. Estos objetos se llaman elementos o miembros del
conjunto.

Ejemplos: { 1, 3, 7, 10}
{x/x
2
-3x 2= 0}
{ Inglaterra, Francia, Dinamarca}

2.-Subconjunto: A es subconjunto de B si todo elemento de A lo es tambin de B.

Notacin: AcB x eA xeB

Ejemplo:
El conjunto C = {1,3,5} es un subconjunto del D = {5,4,3,2,1} ya que todo elemento de C
pertenece al conjunto D.

3.- Conjunto Universal: es aquel conjunto que no puede ser considerado un subconjunto de
otro conjunto, excepto de si mismo. Todo conjunto se debe considerar un subconjunto del
Conjunto Universal.

Notacin: U

Ejemplo:
A = {1,3,5} B = {2,4,6,8}

U = {0,1,2,3,4,5,6,7,8,9}

4.- Conjunto Potencia: se denomina conjunto potencia de A, P(A), a la familia de todos los
subconjuntos del conjunto A. S el conjunto A tiene n elementos, el conjunto potencia de A
tendr 2
n

elementos.

Notacin:

Ejemplo:
A = {3,4,5}
P(A)= 2
3
= 8, lo que significa que pueden formarse 8 subconjunto de A.

P(A)= { {3}, {4}, {5}, {3,4}, {3,5}, {4,5}, {3,4,5}, | }.

5.- Conjunto Vaco: es aquel que no posee elementos y es subconjunto de cualquier
otro conjunto.

Notacin: | = { x / x = x }

Ejemplo:
B= {x/x
2
= 4, x es impar}. B es entonces un conjunto vaco.



6.-Diagrama de Venn: Los diagramas de venn permiten visualizar grficamente las
nociones conjuntistas y se representan mediante crculos inscritos en un rectngulo.
Los crculos corresponden a los conjuntos dados y el rectngulo al conjunto universal.

Ejemplo:
A c B








U
B
A

7.-Conjuntos Finitos o Infinitos: Los conjuntos sern finitos o infinitos, si sus
elementos son o no factibles de contar.

Ejemplo:
M= {a,e,i,o,u}, M es finito.

N={1,3,5,7...}, N es infinito.

8.- Conjuntos disjuntos: Dos conjuntos son disjuntos si no tienen elementos
comunes.

Grficamente:









Ejemplo:

A= {1,3,8}, B={2,4,9}; A y B son conjuntos disjuntos.












U
A B
OPERACIONES CON CONJUNTOS
1.-Unin de conjuntos: La unin de dos conjuntos A y B es un conjunto cuyos elementos
pertenecen a A o a B.

Notacin: AB= {x/xeAv xeB}

Grficamente:








Ejemplo

A={3,4,5,8,9} B={5,7,8,9,10}

AB={3,4,5,7,8,9,10}

2.- Interseccin de conjuntos: La interseccin de dos conjuntos A y B, es un conjuntos cuyos
elementos son comunes a A y B.

U U U
A b A B B
A
Notacin: A B= {x / x e A . x e B}

Grficamente:









Ejemplo:

A={7,8,9,10,11,12} B={5,6,9,11,13,14}


A B={9, 11}






A
U U U
A
B A
B
A
) B
)
)
A
A
A A

3.-Complemento: El complemento de un conjunto A, son todos los elementos que no estn en
el conjunto A
y que estn en el universo.

Notacin: A
c
= {x / x eU . x eA}

A
c
= U - A



Grficamente:








Ejemplo:

U= {1,2,3,...10} y A={ 3,4,6,7}

A
c
U
A
A
c
= {1,2,5,8,9,10}


4.- Diferencia de conjuntos: La diferencia de dos conjuntos A y B, es un conjunto cuyos
elementos son aquellos que estn en el conjunto A, pero no en el conjunto B.

Notacin: A - B ={x / x eA . x e B}


Grficamente:









Ejemplo:

C = {u, v, x, y, z} D = {s, t, z, v, p, q}

C - D = {x, y, u}
U U U
A B
A B A
B

5.- Diferencia Simtrica: La diferencia simtrica de dos conjuntos A y B es un
conjunto cuyos elementos son aquellos que estn en A, pero no en B, unidos con
aquellos que estn en B, pero no en A.

Notacin: A A B= {x / x e A . x e B} {x / x eA . x eB}

A A B= ( A - B ) ( B -A )

Grficamente:








Ejemplo:

A= {1,3,4,5,6,7,20,30} B={2,6,20,40,50}

AAB= {1,3,4,5,7,30} {2,40,50}

AAB= {1,2,3,4,5,7,30,40,50}

6.-Producto cartesiano: El producto cartesiano entre dos conjuntos A y B es el
conjunto de todos los pares ordenados que tienen como primera componente un
elemento de A y como segundo componente un elemento de B.

Notacin: A x B = {(a, b ) / a eA . b e B}

Ejemplo:

A= {1,2} B={3,4,5}

A x B = {(1,3), (1,4), (1,5), (2,3), (2,4), (2,5)}

Observaciones:

1.- n(A) = n . n(B) = s n(A x B) = n s

2.-Si A = | B = | Ax B = |

3.- A x B = Bx A siempre que se cumpla que A = B
A B U U
AAA
A B )
)
)


7.- Cardinalidad:

n(AB) = n(A) + n(B) n (AB)

n(A(BC)) = n(A) + n(B) + n(C) - n(AB) - n(AC) n(BC) +
n(A(BC))



LEYES DE ALGEBRA DE CONJUNTO


1.- Asociatividad:

(AB)C = A(BC)

(AB)C = A(BC)


2.- Conmutatividad:

AB = BA

AB = BA


3.- Distributividad:

A(BC) = (AB)(AC)

A(BC) = (AB)(AC)

4.- Absorcin:

A(AB) = A

A(AB) = A

5.- Idempotencia:

AA = A

BB = B




6.- Identidad:

A| = A AU = A

AU = U A| = |


7.-Complemento:

AA
c
= U AA
c
= |

(A
c
)
c
= A U= |, | = U


8.- Ley de Morgan:

(AB)
c
= A
c
B
c
(AB)
c
= A
c
B
c

A B = AB
c