Conjunto

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:
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, 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 deaxiomas y conduce a
la teora de conjuntos.
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.
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
la expresin 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[editar editar cdigo]


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 Dse 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 8miembros. 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
losnmeros 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.
Conjunto vaco
Conjunto vaco
El conjunto que no contiene ningn elemento se llama el conjunto
vaco y se denota por o simplemente {}. Existe un nico conjunto
vaco, ya que lo nico que distingue a un conjunto son sus elementos.
Subconjuntos
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 Aes 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 super conjunto 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 Bpero 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
Dos conjuntos A y B son disjuntos si no tienen ningn elemento en
comn. Por ejemplo, los conjuntos de los nmeros racionales y
los nmeros irracionales son disjuntos: no hay ningn nmero que sea
a la vez racional e irracional. La interseccin de dos conjuntos
disjuntos es el conjunto vaco.
Cardinalidad
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.