DEFINICION

La palabra conjunto generalmente la asociamos con la idea de agrupar objetos, por

ejemplo un conjunto de discos, de libros, de plantas de cultivo y en otras ocasiones en
palabras como hato, rebao, piara, parcelas, campesinado, familia, etc., es decir la
palabra conjunto denota una coleccin de elementos claramente entre s, que guardan
alguna caracterstica en comn. Ya sean nmeros, personas, figuras, ideas y conceptos.
En matemticas el concepto de conjunto es considerado primitivo y ni se da una
definicin de este, sino que se trabaja con la notacin de coleccin y agrupamiento de
objetos, lo mismo puede decirse que se consideren primitivas las ideas de elemento y
pertenencia.
La caracterstica esencial de un conjunto es la de estar bien definido, es decir que dado
un objeto particular, determinar si este pertenece o no al conjunto. Por ejemplo si se
considera el conjunto de los nmeros dgitos, sabemos que el 3 pertenece al conjunto,
pero el 19 no. Por otro lado el conjunto de las bellas obras musicales no es un conjunto
bien definido, puesto que diferentes personas puedan incluir distintas obras en el
conjunto.
Los objetos que forman un conjunto son llamados miembros o elementos. Por
ejemplo el conjunto de las letras de alfabeto; a, b, c, ..., x, y, z. que se puede escribir
as:
{ a, b, c, ..., x, y, z}
Como se muestra el conjunto se escribe entre llaves ({}) , o separados por comas (,).
El detallar a todos los elementos de un conjunto entre las llaves, se denomina forma
tabular, extensin o enumeracin de los elementos.
Dos conjuntos son iguales si tienen los mismos elementos, por ejemplo:
El conjunto { a, b, c } tambin puede escribirse:
{ a, c, b }, { b, a, c }, { b, c, a }, { c, a, b }, { c, b, a }
En teora de conjuntos se acostumbra no repetir a los elementos por ejemplo:
El conjunto { b, b, b, d, d } simplemente ser { b, d }.

MEMBRESIA
Los conjuntos se denotan por letras maysculas : A, B, C,... por ejemplo:
A={ a, c, b }
B={ primavera, verano, otoo, invierno }
El smbolo e indicar que un elemento pertenece o es miembro de un conjunto. Por el
contrario para indicar que un elemento no pertenece al conjunto de referencia, bastar
cancelarlo con una raya inclinada / quedando el smbolo como e .
Ejemplo:
Sea B={ a, e, i, o, u }, a e B y c e B
SUBCONJ UNTO
Sean los conjuntos A={ 0, 1, 2, 3, 5, 8 } y B={ 1, 2, 5 }
En este caso decimos que B esta contenido en A, o que B es subconjunto de A. En
general si A y B son dos conjuntos cualesquiera, decimos que B es un subconjunto de A
si todo elemento de B lo es de A tambin.
Por lo tanto si B es un subconjunto de A se escribe B c A. Si B no es subconjunto de A
se indicar con una diagonal . .
Note que e se utiliza solo para elementos de un conjunto y c solo para conjuntos.
UNIVERSO O CONJ UNTO UNIVERSAL
El conjunto que contiene a todos los elementos a los que se hace referencia recibe el
nombre de conjunto Universal, este conjunto depende del problema que se estudia, se
denota con la letra U y algunas veces con la letra S (espacio muestral).
Por ejemplo si solo queremos referirnos a los 5 primeros nmeros naturales el conjunto
queda:
U={ 1, 2, 3, 4, 5 }
Forma alternativa para indicar conjuntos de gran importancia:
Conjunto de nmeros naturales (enteros mayores que cero) representados por la letra
N donde
N={ 1, 2, 3, .... }
Conjunto de nmeros enteros positivos y negativos representados por la letra Z donde
Z={..., -2, -1, 0, 1, 2, ... }
Conjunto de nmeros racionales (nmeros que se representan como el cociente de
dos nmeros enteros {fracciones }). Estos nmeros se representan por una Q
Conjunto de nmeros irracionales (nmeros que no puedan representarse como el
cociente de dos nmeros enteros) representados por la letra I.
Conjunto de los nmeros reales que son los nmeros racionales e irracionales es decir
todos, representados por R.
Todos estos conjuntos tienen un nmero infinito de elementos, la forma de
simbolizarlos por extensin o por enumeracin es de gran utilidad cuando los conjuntos
a los que se hace referencia tienen pocos elementos para poder trabajar con ellos se
emplean la notacin llamada comprehensin.
Por ejemplo, la denotar el conjunto de los nmeros naturales menores que 60. Aqu U
es el conjunto N y se tiene una propiedad que caracteriza a los elementos del conjunto:
ser menores que 60.
Para indicar esta situacin empleamos la simbologa del lgebra de conjuntos:
{ x/x e N ; x<60 }
En esta expresin se maneja un conjunto de x que pertenece a los nmeros naturales
(N) y adems que los valores de x son menores que 60.
Ahora si se desea trabajar con conjuntos que manejen intervalos estos pueden ser
representados por medio de una expresin algebraica; supongamos que se desea
expresar los nmeros enteros (Z) entre -20 y 30 el conjunto quedara de la manera
siguiente:
{ x/x e Z ; -20 s x s 30 }
Tambin se puede expresar el valor de un conjunto indicando la pertenencia o no
pertenencia a uno diferente, por ejemplo
L={ 1, 3, 4, 6, 9 }
P={ x/x e N ; X e L }
En el conjunto P se indica que los elementos x de un conjunto pertenecen a los
nmeros naturales y adems x no pertenece al conjunto L.
OPERACIONES CON CONJUNTOS
UNION
La unin de dos conjuntos A y B la denotaremos por A B y es el conjunto formado por
los elementos que pertenecen al menos a uno de ellos a los dos. Lo que se denota
por:
A B = { x/x e A x e B }
Ejemplo: Sean los conjuntos A={ 1, 3, 5, 7, 9 } y B={ 10, 11, 12 }
A B ={ 1, 3, 5, 7, 9, 10, 11, 12 }
INTERSECCION
Sean A={ 1, 2, 3, 4, 5, 6, 8, 9 } y B={ 2, 4, 8, 12 }
Los elementos comunes a los dos conjuntos son: { 2, 4, 8 }. A este conjunto se le llama
interseccin de A y B; y se denota por A B, algebraicamente se escribe as:
A B = { x/x e A y x e B }
Y se lee el conjunto de elementos x que estn en A y estn en B.
Ejemplo:
Sean Q={ a, n, p, y, q, s, r, o, b, k } y P={ l, u, a, o, s, r, b, v, y, z }
Q P={ a, b, o, r, s, y }
CONJ UNTO VACIO
Un conjunto que no tiene elementos es llamado conjunto vaco conjunto nulo lo que
denotamos por el smbolo C .
Por ejemplo:
Sean A={ 2, 4, 6 } y B={ 1, 3, 5, 7 } encontrar A B.
A B= { }
El resultado de A B= { } muestra que no hay elementos entre las llaves, si este es el
caso se le llamar conjunto vaco nulo y se puede representar como:
A B=C
CONJ UNTOS AJ ENOS
S la interseccin de dos conjuntos es igual al conjunto vaco, entonces a estos
conjuntos les llamaremos conjuntos ajenos, es decir:
Si A B = C entonces A y B son ajenos.
COMPLEMENTO
El complemento de un conjunto respecto al universo U es el conjunto de elementos de
U que no pertenecen a A y se denota como A' y que se representa por comprehensin
como:
A'={ x e U/x y x e A }
Ejemplo:
Sea U = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }
A= { 1, 3, 5, 7, 9 } donde A c U
El complemento de A estar dado por:
A'= { 2, 4, 6, 8 }
DIFERENCIA
Sean A y B dos conjuntos. La diferencia de A y B se denota por A-B y es el conjunto de
los elementos de A que no estn en B y se representa por comprehensin como:
A - B={ x/x e A ; X e B }
Ejemplo:
Sea A= { a, b, c, d } y
B= { a, b, c, g, h, i }
A - B= { d }
En el ejemplo anterior se observa que solo interesan los elementos del conjunto A que
no estn en B. Si la operacin fuera B - A el resultado es
B A = { g, h, i }
E indica los elementos que estn en B y no en A.
DIAGRAMAS DE VENN
Los diagramas de Venn que de deben al filsofo ingls John Venn (1834-1883) sirven
para encontrar relaciones entre conjuntos de manera grfica mediante dibujos
diagramas.
La manera de representar el conjunto Universal es un rectngulo, bien la hoja de
papel con que se trabaje.
Un ejemplo de la representacin del conjunto universal se muestra como:

Los conjuntos se representan por medio de dibujos dentro del rectngulo, los aspectos de
inters se resaltan sombreando las reas respectivas. En el caso de este curso las indicaremos
por medio de un color azul por ejemplo:




























Los diversos polgonos en la imagen constituyen un conjunto. Algunos de los elementos
del conjunto, adems de ser polgonos son regulares. La coleccin de estos ltimos
los polgonos regulares en la imagen es otro conjunto, en particular, un subconjunto
del primero.

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.

ndice [ocultar]
1 Historia
2 Definicin
2.1 Notacin
2.2 Igualdad de conjuntos
2.3 Subconjuntos
2.4 Conjuntos disjuntos
3 Cardinalidad
4 Operaciones con conjuntos
5 Vase tambin
6 Notas
7 Referencias
7.1 Bibliografa
8 Bibliografa adicional
9 Enlaces externos

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.
DEFINICIN
[...] entiendo en general por variedad o conjunto toda multiplicidad que puede ser
pensada como unidad, esto es, toda coleccin de elementos determinados que pueden
ser unidos en una totalidad mediante una ley.
Georg Cantor

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}

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
Artculo principal: Nmero cardinal.
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
Operaciones con conjuntos

UNIN

INTERSECCIN

DIFERENCIA

COMPLEMENTO

Diferencia simtrica

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)}