lgebra de conjuntos

El lgebra de conjuntos define las operaciones, reglas y propiedades que podemos aplicar con los conjuntos.

Tabla de contenidos
[ocultar]
1 Conjuntos
2 Operaciones
3 Propiedades
4 Vase tambin

5 Enlaces externos

Conjuntos [editar]

Conjunto: conjunto cualesquiera la nombraremos con una letra mayscula:

Conjunto universal: Que contiene a todos los conjuntos de los que estemos tratando, lo nombraremos con
la letra u mayscula:
Conjunto vaco: Que es el conjunto que no tiene ningn elemento, lo nombraremos con:

Operaciones [editar]

Unin de conjuntos
: La unin de 2 conjuntos A y B es el conjunto de todos los elementos que
pertenecen a A, a B o a ambos.
Interseccin de conjuntos
: La interseccin de 2 conjuntos A y B es el conjunto de todos los
elementos que pertenecen tanto a A como a B.
Complemento de un conjunto
: Es el conjunto formado por los elementos que no pertenecen a A.
Diferencia de conjuntos o complemento relativo
los elementos de A que no pertenecen a su vez a B.

Propiedades [editar]

: La diferencia de A y B, es el conjunto de todos

Idempotencia o igual potencia:

o
o

Asociativa:
o
o

Conmutativa:
o
o

Distributiva:
o
o

Identidad:
o
o

Complementariedad:
o
o
o
o

Involutiva:
o

Ley de De Morgan:
o
o

Para cualquier conjunto A y B

o

Pero las notaciones pueden variar. Esto se aprecia en los distintos libros de algebra del mercado.

Teora de conjuntos
Artculo de la Enciclopedia Libre Universal en Espaol.

Saltar a navegacin, bsqueda

ndice
[ocultar]

1 I. Introduccin

2 II. Algunas definiciones

2.1 A. Subconjuntos y superconjuntos

2.2 B. Unin e interseccin

2.3 C. Diferencia y complementario

3 III. lgebra de conjuntos

4 IV. Producto cartesiano de conjuntos

5 V. Correspondencia entre conjuntos

Introduccin
Teora de conjuntos, rama de las matemticas a la que el matemtico alemn Georg Cantor dio su
primer tratamiento formal en el siglo XIX. El concepto de conjunto es uno de los ms fundamentales
en matemticas, incluso ms que la operacin de contar, pues se puede encontrar, implcita o
explcitamente, en todas las ramas de las matemticas puras y aplicadas. En su forma explcita, los
principios y terminologa de los conjuntos se utilizan para construir proposiciones matemticas ms
claras y precisas y para explicar conceptos abstractos como el de infinito.

II. Algunas definiciones

Un conjunto es una agrupacin, clase o coleccin de objetos denominados elementos del conjunto:
utilizando smbolos a S representa que el elemento a pertenece o est contenido en el conjunto S, o
lo que es lo mismo, el conjunto S contiene al elemento a. Un conjunto S est definido si dado un
objeto a, se sabe con certeza que o a S o a / S (esto es, a no pertenece a S).
Un conjunto se representa frecuentemente mediante llaves que contienen sus elementos, ya sea de
forma explcita, escribiendo todos y cada uno de los elementos, o dando una frmula, regla o
proposicin que los describa. Por ejemplo, S 1 = {2; 4}; S2 = {2, 4, 6, ..., 2n, ...} = 2N {todos los
enteros pares}; S3 = {x | x2 - 6x + 11 3}; S4 = {todos los varones vivos llamados Juan}. S3 se
describe como el conjunto de todas las x tales que x 2 - 6x + 11 3.

A. Subconjuntos y superconjuntos
Si todo elemento de un conjunto R pertenece tambin al conjunto S, R es un subconjunto de S, y S
es un superconjunto de R; utilizando smbolos, R S, o S R. Todo conjunto es un subconjunto y un
superconjunto de s mismo. Si R S, y al menos un elemento de S no pertenece a R, se dice que R
es un subconjunto propio de S, y S es un superconjunto propio de R. Si R S y S R, es decir, todo
elemento de un conjunto pertenece tambin al otro, entonces R y S son dos conjuntos iguales, lo
que se escribe R = S. En los ejemplos del apartado anterior, S 1 es un subconjunto propio de S2.

B. Unin e interseccin
Si A y B son dos subconjuntos de un conjunto S, los elementos que pertenecen a A, a B o a ambos
forman otro subconjunto de S llamado unin de A y B, escrito A B. Los elementos comunes a A y
B forman un subconjunto de S denominado interseccin de A y B, escrito A B. Si A y B no tienen
ningn elemento comn, su interseccin no tiene ningn elemento, y siendo conveniente
representar esta interseccin como otro conjunto, ste se denomina conjunto vaco o nulo y se
representa con el smbolo o {} . Por ejemplo, si A = {2, 4, 6}, B = {4, 6, 8, 10} y C = {10, 14, 16,
26}, entonces A B = {2, 4, 6, 8, 10}, A C = {2, 4, 6, 10, 14, 16, 26}, A B = {4, 6} y A C = .

C. Diferencia y complementario
El conjunto de elementos que pertenecen a A pero no a B se denomina conjunto diferencia entre A y
B, escrito A - B (y a veces A\B). As, siguiendo con el ejemplo anterior, A - B = {2}, B - A = {8, 10}. Si
A es un subconjunto del conjunto E, el conjunto de los elementos que pertenecen a E pero no a A,
es decir, E - A, se denomina conjunto complementario de A (con respecto a E), lo que se escribe E A = A' (que tambin puede aparecer como A, o ~A).

III. lgebra de conjuntos

Las siguientes propiedades, utilizando las definiciones del apartado anterior, se cumplen si A, B, C...
son subconjuntos de un conjunto E:
1. A B = B A (conmutatividad de )
2. A B = B A (conmutatividad de )
3. (A B) C = A (B C) (asociatividad de ), lo que autoriza la escritura A B C.
4. (A B) C = A (B C) (asociatividad de ),lo que autoriza la escritura A B C.
5. A = A ( es elemento neutro para )
6. A = (( es elemento absorbente para )
7. A E = E (E es elemento absorbente para )
8. A E = A (E es elemento neutro para )
9. A (B C) = (A B) (A C) (distributividad de sobre )
10.A (B C) = (A B) (A C) (distributividad de sobre )
11. A A' = E
12.A A' =
13.(A B)' = A' B'
14.(A B)' = A' B'
15.A A = A A = A
16.(A')' = A
17.A - B = A B'
18.(A - B) - C = A - (B C)
19.Si A B = , entonces (A B) - B = A
20.A - (B C) = (A - B) (A - C)

stas son las propiedades del lgebra de conjuntos, que es un caso particular del sistema
algebraico conocido como lgebra de Boole.

IV. Producto cartesiano de conjuntos

Si A y B son dos conjuntos, el conjunto de todos los posibles pares ordenados de elementos de la
forma (a, b), donde a pertenece a A y b pertenece a B, se denomina producto cartesiano de A y B,
que se escribe normalmente A B. Por ejemplo, si A = {1, 2} y B = {x, y, z}, entonces A B = {(1, x),
(1, y), (1, z), (2, x), (2, y), (2, z)}. Y B A = {(x, 1), (y, 1), (z, 1), (x, 2), (y, 2), (z, 2)}. En este caso, A
B B A, pues al ser pares ordenados, el par (1, x) es distinto del par (x, 1).

V. Correspondencia entre conjuntos

Los elementos del conjunto A = {1, 2, 3} se pueden relacionar o hacer corresponder mediante una
correspondencia f con los del conjunto B = {x, y, z} de modo que a todo elemento de A le
corresponda uno, ninguno o varios elementos de B.
Esto se puede expresar tambin as: f(1) = {x, z}, f(2) = , f(3) = {z}. Tambin se puede decir que f
= {(1, x), (1, z), (3, z)}. Por tanto, una correspondencia entre dos conjuntos A y B es un subconjunto
del producto cartesiano A B.
Cuando una correspondencia es tal que a cada elemento del primer conjunto le corresponde uno y
slo uno del segundo conjunto, entonces se llama aplicacin.