Teora bsica de conjuntos

La teora de conjuntos ms elemental es una de las herramientas bsicas del lenguaje

matemtico. Dados unos elementos, unos objetos matemticos como nmeros opolgonos por
ejemplo, puede imaginarse una coleccin determinada de estos objetos, un conjunto. Cada
uno de estos elementos pertenece al conjunto, y esta nocin depertenencia es la relacin
relativa a conjuntos ms bsica. Los propios conjuntos pueden imaginarse a su vez como
elementos de otros conjuntos. La pertenencia de un elemento a a un conjunto A se indica
como a A.
Una relacin entre conjuntos derivada de la relacin de pertenencia es la relacin de inclusin.
Una subcoleccin de elementos B de un conjunto dado A es un subconjunto de A, y se indica
como B A.
Ejemplos.

Los conjuntos numricos usuales en matemticas son: el conjunto de los nmeros

naturales N, el de los nmeros enteros Z, el de los nmeros racionales Q, el de
losnmeros reales R y el de los nmeros complejos C. Cada uno es subconjunto del
siguiente:

El espacio

tridimensional E3 es

un

conjunto

de

objetos

elementales

denominados puntos p, p E3. Las rectas r y planos son conjuntos de puntos a su vez,
y en particular son subconjuntos de E3, r E3 y E3.

lgebra de conjuntos
Artculo principal: lgebra de conjuntos

Existen unas operaciones bsicas que permiten manipular los conjuntos y sus elementos,
similares a las operaciones aritmticas, constituyendo el lgebra de conjuntos:

Unin. La unin de dos conjuntos A y B es el conjunto A B que contiene cada

elemento que est por lo menos en uno de ellos.

Interseccin. La interseccin de

dos

conjuntos A y B es

contiene todos los elementos comunes de A y B.

el

conjunto A B que

Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene

todos los elementos de A que no pertenecen a B.

Complemento. El complemento de un conjunto A es el conjunto A que contiene

todos los elementos (respecto de algn conjunto referencial) que no pertenecen a A.

Diferencia

simtrica 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. El producto

conjunto A B que

contiene

todos

cartesiano de
los pares

dos

conjuntos A y B es

ordenados (a, b) cuyo

el

primer

elemento a pertenece aA y su segundo elemento b pertenece a B.

Teora axiomtica de conjuntos

La teora informal de conjuntos apela a la intuicin para determinar cmo se comportan los
conjuntos. Sin embargo, es sencillo plantear cuestiones acerca de las propiedades de estos
que llevan a contradiccin si se razona de esta manera, como la famosa paradoja de Russell.
Histricamente sta fue una de las razones para el desarrollo de lasteoras axiomticas de
conjuntos, siendo otra el inters en determinar exactamente qu enunciados acerca de los
conjuntos necesitan que se asuma el polmico axioma de eleccin para ser demostrados.
Las teoras axiomticas de conjuntos son colecciones precisas de axiomas escogidos para
poder derivar todas las propiedades de los conjuntos con el suficiente rigor matemtico.
Algunos ejemplos conocidos son:

La teora de conjuntos de Zermelo-Fraenkel

La teora de conjuntos de Neumann-Bernays-Gdel

La teora de conjuntos de Morse-Kelley

Clases de conjuntos por el nmero de elementos

1. CONJUNTO UNITARIO
Es aquel conjunto que tiene un solo elemento.
Ejemplos:
Monografias.com
2. CONJUNTO VACIO (O NULO)

Es aquel conjunto que no tiene elementos.

Monografias.com
Ejemplo:
A = {es el conjunto de aves que tienen 3 patas}
B = {es el conjunto de hombres con 4 piernas}
Como se habr dado cuenta no existe ninguna ave u hombre con tres patas o
cuatro piernas respectivamente, por tanto, estos conjuntos carecen de
elementos y decimos que es un conjunto VACIO.
Conjunto universal: (o universo)
Monografias.com
Es el conjunto que contiene, comprende o dentro del cual estn todos los
dems conjuntos, se le simboliza por letra U, grficamente se le representa
mediante un rectngulo en cuyo vrtice (uno cualquiera) se coloca la letra U.
Monografias.com
Si consideramos como un conjunto universal al sistema Universitario de
nuestro pas, entonces cada Universidad x, ser elemento de dicho universo. El
conjunto de libros de una biblioteca determinada, puede ser otro ejemplo, sus
elementos sern cada uno de los libros de los que consta. El marco de
referencia es relativo, de modo que podemos referir como conjunto universal
por ejemplo al conjunto de Bibliotecas de Contumaz.
4. CONJUNTO FINITO
Es aquel cuyos elementos se pueden contar en forma usual desde el primero
hasta el ltimo. El nmero de sus elementos se llama cardinal de conjunto.
Ejemplos:
Monografias.com
5. CONJUNTO INFINITO
Si contamos no llegamos nunca a un ltimo elemento del conjunto
mencionado. A este tipo de enunciados se denominan conjuntos infinitos o
indefinidos.
Ejemplo:
Monografias.com
Ejemplo:
1. A = {1, 2, 3,..,100} (es finito)
2. B = {1, 2, 3,.} (es infinito)

3. C = {-4, -3, -2, -1, 0, 1, 2, 3, 4} (es infinito)

Relaciones entre conjuntos
1. INCLUSIN
Se dice que "A" est incluido en el conjunto "B", cuando todo elemento de A,
pertenece a "B". La inclusin se simboliza por: "("
Tambin se puede decir que A es subconjunto del conjunto B. Se puede denotar
por B(A, que se lee "B incluye, contiene al conjunto A"
Monografias.com
Ejemplo:
Si: P = {vacas}
M = {mamferos}
Entonces se tiene:
Monografias.com
Sean por ejemplo los conjuntos:
A = {a, b, c, d} B = {a, d}
C = {b, d, a, c} D = {a, c, e}
En este caso se observa las siguientes inclusiones:
B ( A; C ( A; A ( C
En cambio los conjuntos "C" y "D" son incomparables, porque ni "C" incluye a
"D", ni "D" incluye a "C", es decir:
D (C; C(D
Hemos visto que pueden ocurrir al mismo tiempo las dos inclusiones C ( A y A
( C, esto quiere decir, que A = C.
2. CONJUNTOS IGUALES
Dos conjuntos son iguales si tienen los mismos elementos, su forma simblica
es: A = B
Ntese que decimos los mismos elementos que no es igual a decir el mismo
nmero de elementos.
De la definicin podemos inferir que: A = A (todo conjunto es igual a s mismo).
Ejemplo 01
Si: A = [1, 3, 7, 9, a, b} B = {a, b, 9, 3, 1, 7}

Entonces: A = B pues son los mismos elementos aunque estn en diferente

orden. Recuerde, no importa el nombre dado al conjunto si no los elementos
que lo forman.
Ejemplo 02
Si: C = {a, e, o, i, u} D = {a, e, o, 3, u}
Entonces: C?D porque a pesar de que cada conjunto tiene cinco elementos
(igual nmero de elementos) basta que exista un elemento diferente para que
ya no sean iguales.
3. CONJUNTOS DIFERENTES
Dos conjuntos son diferentes si sus elementos no son iguales.
Ejemplo:
Monografias.com
4. CONJUNTOS DISJUNTOS
Dos conjuntos son disjuntos si no tienen ningn elemento en comn: es decir,
todos los elementos de un conjunto son diferentes a los elementos de otro
conjunto.
Ejemplo:
A = {0, 1, 2, 3, 4, 5} B = {9, 8, 7, 6, 10}
En este caso podemos apreciar que ningn elemento de A o B son los mismos a
esto se denomina conjuntos disjuntos.
5. CONJUNTO POTENCIA
Se llama as al conjunto formado por todos los subconjuntos que es posible
formar de un conjunto dado. Se simboliza por P. La notacin P(A), se lee:
"potencia del conjunto A". El nmero de subconjuntos que es posible formar
con los elementos de un conjunto es: 2n siendo "n" el nmero de elementos
integrantes del conjunto dado.
Ejemplo:
Monografias.com
Se pueden intuir muchos sistemas auxiliares para visualizar las relaciones;
entre conjuntos, los ms conocidos son los diagramas lineales y los de VennEuler.