Buscar en INTERNET los siguientes temas:

Conjuntos
Pertenencia, inclusin.
Representacin en conjuntos: por comprensin, por extensin.
Diagramas de Venn
Propiedades en conjuntos
Plantear dos conjuntos y demostrar las operaciones que pueden realizarse
entre los mismos.
Buscar resta entre conjuntos, plantear un caso demostrativo de la misma.
ASUNTO: CONJUNTOS

Conjunto

Definicin
Es una coleccin de objetos bien definidos y diferenciables entre si que se
llaman elementos.

Representacin
Suelen emplearse letras maysculas para los conjuntos y minsculas para los
elementos.
Pertenencia de un elemento `x' a un conjunto `A' se denota: x " A
El contenido de un conjunto se representa:

por extensin: encerrando todos sus elementos entre llaves. Ej:

A={1,2,3,4...}

por comprensin: mostrando entre llaves sus propiedades caractersticas. Ej:

A={ x"N | 1 " x " 4 }

Tamao o Cardinalidad
El tamao de un conjunto A es su n de elementos y se denota entre barras: |A|
Si un conjunto tiene " elementos se dice que es:
- infinito numerable si " aplicacin biyectiva entre el conjunto y N.
- infinito no numerable en caso contrario. Ej: R (porque " " decimales)

Subconjunto

Definicin
Un conjunto A es subconjunto de otro conjunto B, si todo elemento de A es tambin
un elemento de B.
Si adems existe algn elemento de B no pertenecientes a A, se dice que A es
subconjunto propio de B.
Ojo! : A"B no excluye la posibilidad de que A"B, esta, es una informacin que
ignoramos.

Representacin
A subconjunto de B : A"B, o B"A
A subconj. propio de B : A"B, o B"A (ntese como desaparece la lnea de igual al
excluirse tal posibilidad)

Propiedades de la relacin "

Reflexiva (cumple la relacin consigo mismo) : A"A

Anti simtrica (no simtrica): si A"B y B"A ! A=B

Transitiva (B hace de intermediario): si A"B y B"C ! A"C

Se considera que todo conjunto no vaco tiene como subconjunto al nulo y a si
mismo.

Las expresiones `x"A' y `{x}"A' son equivalentes, ambas expresiones significan

que el conjunto que tiene a x
Como nico elemento es subconjunto de A.

Algunos conjuntos:
Nulo `"' o `{}` : Es aquel que carece de elementos.
Ojo ! : |"|=0 pero {"}"" porque este conjunto ( {"} ), tiene un elemento: el nulo.
Universal `U' : Es la coleccin de todos los elementos implicados en el problema a
considerar.
Iguales `A=B' : Aquellos conjuntos que contienen los mismos elementos sin
importar orden o repeticin.
Diferencia `AB' : Es el conjunto de los elementos de A que no pertenecen a B : AB={x| x"A, x"B} )

Relacin de inclusin

La relacin de inclusin, se da entre conjuntos y sub conjuntos. Es correcto decir

que un subconjunto est incluido en un conjunto mayor, pero no es correcto decir
que un subconjunto pertenece a un conjunto mayor.
La relacin de inclusin tiene un smbolo especfico para el conector est
incluido y para el conector no est incluido. Veamos un ejemplo sencillo en la
misma lnea del anterior: consideramos al conjunto L como el conjunto de las letras
del abecedario.
L = { a, b, c, d, e. x, y, z }

As las cosas es correcto decir cualquiera de las siguientes afirmaciones, que

escribir tambin en lenguaje de smbolos matemticos. Pon atencin.
El subconjunto V (de las vocales) est incluido en L
VL
El subconjunto G (letras griegas) no est incluido en L
GL
Tambin es usual en estos casos otro concepto: incluye a. Pondr un ejemplo en
relacin precisamente al ejemplo que acabamos de utilizar:
El conjunto L incluye al conjunto V ==> L V
Ambos tipos de relacin, es decir pertenencia e inclusin, tienen algunas
propiedades que estudiaremos en un prximo post. Te invito a estar pendiente
porque iremos desarrollando toda una serie sobre este tema, que culminar con la
propuesta de algunos ejercicios sobre conjuntos, algunos sencillos y otros
complejos, siempre aportando las soluciones para que puedas evaluar por ti mismo
cmo te has desempeado en cada uno de ellos.

Relacin de pertenencia

La relacin de pertenencia slo se da entre los elementos de un conjunto y ste. Es

decir es perfectamente correcto decir que uno o ms elementos pertenecen a un
conjunto. En este caso, nunca debe usarse la palabra inclusin, por tanto no es
correcto decir que un elemento est incluido en un conjunto.
La relacin de pertenencia tiene un smbolo especfico para el conector
pertenece y para el conector no pertenece. Veamos un ejemplo sencillo: si

consideramos a V, conjunto de las letras vocales, ste definido por extensin sera
as:
V = { a, e, i, o, u }
As las cosas es correcto decir cualquiera de las siguientes afirmaciones, que
escribir tambin en lenguaje de smbolos matemticos. Pon atencin.

El elemento a pertenece a V

==>

El elemento f no pertenece a V ==>

aV
f V

Diagramas de Venn

Los diagramas de Venn son esquemas usados en la teora de conjuntos. Estos

diagramas muestran colecciones (conjuntos) de cosas (elementos) por medio de
lneas cerradas. La lnea cerrada exterior abarca a todos los elementos bajo
consideracin, el conjunto universal U.

Con los diagramas de Venn es posible representar las relaciones de interseccin,

inclusin y disyuncin sin cambiar la posicin relativa de los conjuntos

Interseccin
Dado que los conjuntos pueden tener elementos comunes, las regiones encerradas
por sus lneas lmite se superponen. El conjunto de los elementos que pertenecen
simultneamente a otros dos es la interseccin de ambos.

A = {1; 2; 3; 4; 6; 12}
B = {1; 3; 5; 15}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14;
15; 16}

A = {x | x es divisor natural de 12}

B = {x | x es divisor natural de 15}
U = {x | x es natural menor o igual que 16}

Inclusin
Si todos los elementos de un conjunto son parte de los elementos de otro, se dice
que el primero es un subconjunto del segundo o que est incluido en el
segundo.1 En los diagramas de Venn, todas las regiones de superposicin posibles
deben ser representadas. Y, cuando hay regiones que no contienen elementos
(regiones vacas), la situacin se indica anulndolas (con un color de fondo
distinto).

A = {1; 2; 3; 4; 6; 12}
B = {1; 2; 3; 6}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12}

A = {x | x es divisor natural de 12}

B = {x | x es divisor natural de 6}
U = {x | x es natural menor o igual que 12}

Disyuncin
Cuando los conjuntos no tienen elementos comunes, la regin de superposicin
queda vaca.

A = {2; 4; 6; 8}
B = {1; 3; 5; 7; 9}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10}

A = {x | x es par y de una cifra}

B = {x | x es impar y de una cifra}
U = {x | x es natural menor o igual que 10}

A la izquierda de los diagramas, las definiciones de los conjuntos por

enumeracin y por comprensin.

Operaciones con conjuntos

Sean A y B dos subconjuntos de un conjunto universal U. Definimos las siguientes

operaciones
entre conjuntos:
Unin: A B = { } xU : x A x B
Interseccin: A B = { } xU : x A y x B
Diferencia o resta: A \ B = { } xU : x A y x B
Diferencia simtrica: AB = ( )( ) A \ B B \ A
Complementario: A U A { } x U x A c = \ = :
ABABA\B
AB c A

Propiedades:
1) A A B, B A B
A B A, A B B
2) A ( )( ) B C = A B C (propiedad asociativa de la unin)
A ( )( ) B C = A B C (propiedad asociativa de la interseccin)
3) A ( )( ) ( ) B C = A B A C (propiedad distributiva)
A ( )( ) ( ) B C = A B A C (propiedad distributiva)
4) ( )c c c A B = A B (leyes de Morgan)
( )c c c A B = A B
5) A B = B A (conmutativa de la unin)
A B = B A (conmutativa de la interseccin)
6) AB = ( )( )

Diferencia de conjuntos

En teora de conjuntos, la diferencia entre dos conjuntos es una operacin que

resulta en otro conjunto, cuyos elementos son todos aquellos en el primero de los
conjuntos iniciales que no estn en el segundo. Por ejemplo, la diferencia entre el
conjunto de los nmeros naturales N y el conjunto de los nmeros pares P es el
conjunto de los nmeros que no son pares, es decir, los impares I:

Como no hay ningn nmero par que no sea un nmero natural, la

diferencia P menos N no tiene ningn elemento, por lo que es el conjunto vaco. La
diferencia entre dos conjuntos A y B se denota por A \ B A B, por lo
que: N \ P = I, y tambin P N = .

Ejemplo.

Sean A = {, 5, z, R, 0} y B = {0, p, 9, z, }. Sus diferencias son A \ B = {,

5, R} y B \ A = {p, 9, }

Sean los conjuntos de nmeros naturales P = {n: n es par} y P =

{n: n es primo}. La diferencia P \ P es entonces {n: n es par y no es primo} =
{n: n es par y compuesto} = {4, 8, 6, ...}. Por otro lado, P \ P = {n: n es primo y
no es par} = {n: n es primo e impar} = {3, 5, 7, 11, ...}.

En la introduccin se mostr que la diferencia P \ N es el conjunto vaco.

Adems, P \ I es igual a P: ningn nmero par es a la vez un nmero impar.

Diferencia entre los conjuntos A y B :

Diferencia entre los conjuntos B y A :