Conjunto

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.

Determinacin de conjuntos

1. Por Extensin

Un conjunto "D" est determinado por extensin cuando se mencionan uno por uno todos
sus elementos o cuando, si son nmeros, se mencionan los primeros de ellos (y se coloca
puntos suspensivos)

Ejemplos:

D = {lunes, martes, mircoles, jueves, viernes, sbado,

domingo}

C = {0, 1, 2, 3, 4, 5,}

Sin embargo, no todos los conjuntos pueden ser determinados de esta sobre todo cuando el
nmero de elementos que constituyen el conjunto es muy elevado.

Imagine los casos de aquellos conjuntos que tienen infinitos elementos como el conjunto de
estrellas del universo.

Es por ello, que necesariamente, se debe emplear otro procedimiento para determinar los
conjuntos que tienen muchos elementos. A esta otra forma de determinar a un conjunto se
le denomina comprensin que tambin se puede utilizar para cualquier conjunto.

2. Por Comprensin

Un conjunto "D" est determinado por comprensin cuando se enuncia una ley o una
funcin que permite conocer que elementos la cumplen y por tanto, van a pertenecer al
conjunto D.

Para diferenciar cada forma de determinar un conjunto veamos los siguientes ejemplos:

Ejemplo 1

Por extensin:

D = {lunes, martes, mircoles, jueves, viernes, sbado, domingo}

Por comprensin: (una posible respuesta sera)

D = {x/"x" es un da de la semana}

Se lee:

"El conjunto D est formado por todos los elementos "x" que satisfacen la condicin de ser
un da de la semana".

Otra posible respuesta sera:

"D es el conjunto constituido por todos los elementos "x" tal que X es un da de la semana"

Ejemplo 2

Por extensin:

C = {0, 1, 2, 3, 4, 5,}

Por comprensin: (una posible respuesta sera)

C = {x/x = (2n 1) ^ x(N}

Se lee:

"C es un conjunto formado por los elementos "x" tal que "x" es un nmero impar y "x"
pertenece al conjunto de los nmeros naturales.

Ejemplo 3

Determinar por comprensin el conjunto "S" formado por los elementos dos y tres.

Por extensin:

S = {2,3}

Por comprensin:

S = {x/x2 - 5x + 6 = 0}

Se lee.

"S es un conjunto formado por los elementos "x" tal que x al cuadrado menos cinco x mas
seis es igual a cero.
Conjuntos disjuntos

Dos conjuntos disjuntos A y B.

Se dice que dos conjuntos son disjuntos si no tienen ningn elemento en comn . Por
ejemplo, {1, 2, 3} y {4, 5, 6} son conjuntos disjuntos.

Definicin formal

Los conjuntos A y B no tienen ningn elemento en comn.

Formalmente, dos conjuntos A y B son disjuntos si su interseccin es el conjunto vaco; es

decir, si

Esta definicin se extiende a cualquier coleccin de conjuntos. Los conjuntos de una tal
coleccin son disjuntos por pares o mutuamente disjuntos si cualquier par de conjuntos
distintos de ella son disjuntos.

Formalmente sea Ai un conjunto para cada i I (donde I es cualquier conjunto). La familia

de conjuntos {Ai | i I} es disjunta por pares si para cada i, j I, con i j,
Por ejemplo, la coleccin de conjuntos { {1}, {2}, {3},... } es disjunta por pares.

Si la coleccin {Ai} es disjunta por pares, su interseccin es obviamente vaca:

La implicacin inversa no es, sin embargo, cierta: la interseccin de la coleccin {{1, 2},
{2, 3}, {3, 1}} es vaca, pero la coleccin no es disjunta por pares; no hay, de hecho, dos
conjuntos disjuntos en ella (no hay ningn elemento perteneciente a la interseccin comn,
pero s lo hay en la interseccin entre cada par).

Una particin de un conjunto X es una coleccin de subconjuntos no vacos {Ai | i I} de

X, disjuntos por pares, tales que

Conjunto finito
En matemtica, un conjunto finito es un conjunto que tiene un nmero finito de elementos.
Por ejemplo {2, 4, 6, 8, 10} es un conjunto finito con cinco
elementos. La cardinalidad o nmero de elementos de un
conjunto finito es igual a un nmero natural.

Si un conjunto no es finito, entonces es infinito. Por

ejemplo, el conjunto N = {1, 2, 3, ...} de los nmeros
naturales es infinito. Todo conjunto finito es un conjunto
numerable, puesto que sus elementos pueden contarse,
pero la recproca es falsa: existen conjuntos numerables que no son finitos (como el propio
N).

Los conjuntos finitos son particularmente importantes en combinatoria.

Conjunto infinito
En teora de conjuntos, un conjunto infinito es un
conjunto que no es finito. Algunos ejemplos son:

Los nmeros enteros Z = {..., -3, -2, -1, 0, 1, 2,

3, ...} forman un conjunto infinito y
numerable.
Los puntos en una recta, representados por
un nmero real, forman un conjunto infinito
y no numerable.

Un conjunto finito A es aquel que tiene un

nmero finito de elementos, o de otro modo, que
puede ponerse en correspondencia biunvoca con un
conjunto del tipo {1, 2, 3, ..., n}, donde n es un nmero
natural. Esto significa que podemos emparejar los
elementos de A y los de {1, 2, 3, ..., n} sin que sobre
ninguno. Si un conjunto no verifica esto entonces
es infinito:

Un conjunto infinito es un conjunto que no puede ponerse en

correspondencia biunvoca con ningn conjunto {1, 2, 3, ..., n} para
ningn nmero natural n.

Los conjuntos infinitos poseen las siguientes propiedades:

La unin de dos conjuntos es infinita siempre que al menos uno de

ellos sea infinito.
Cualquier conjunto que contenga un conjunto infinito es infinito a su
vez.
El conjunto potencia de un conjunto infinito es infinito a su vez.

Aunque ningn nmero natural se corresponde con el nmero de elementos de un conjunto

infinito, se pueden contar la cantidad de dichos elementos usando nmeros transfinitos.
Puede entenderse entonces que los conjuntos infinitos ms pequeos son los conjuntos
numerables, como el conjunto de los nmeros naturales.

Conjunto unitario
En matemticas, un conjunto unitario, singulete o singleton es un conjunto con un nico
elemento. Por ejemplo, el conjunto { 0 } es un conjunto unitario. Observe que un conjunto
como, por ejemplo, { { 1, 2, 3 } } es tambin un conjunto unitario: el nico elemento es un
conjunto (que, sin embargo, no es unitario). Un conjunto es unitario si y solamente si su
cardinalidad es uno. En la construccin -teortico-conjuntista de los nmeros naturales, el
nmero 1 es definido como el conjunto unitario { 0 }. En la teora axiomtica de conjuntos,
la existencia de conjuntos unitarios es una consecuencia del axioma del conjunto vaco y
axioma de apareamiento: el primero da vaco, y el ltimo, aplicado al apareamiento de { } y
{ }, produce el conjunto unitario {{}}. si A es un conjunto y S es cualquier conjunto
unitario, existe exactamente una funcin de A a S, la funcin constante que enva cada
elemento de A al elemento de S. Las estructuras construidas sobre conjuntos unitarios
sirven a menudo como los objetos terminales o finales o los objetos cero de varias
categoras:

La afirmacin anterior muestra que cada conjunto unitario S es un objeto terminal

en Set, la categora de conjuntos y funciones. No hay otros conjuntos terminales en
esa categora.

Cualquier conjunto unitario se puede presentar como espacio topolgico en una

nica forma (todos los subconjuntos son abiertos, esto es, slo vaco y conjunto
unitario: lo mismo que el espacio vaco,
discreto e indiscreto a la vez). Estos
espacios topolgicos sobre un conjunto
unitario son objetos terminales en la
categora Top de los espacios topolgicos
y funciones continuas. No hay otro tipo de
espacios terminales en esa categora.

Cualquier conjunto unitario se puede

presentar como un grupo en una nica
forma (el nico elemento como identidad).
estos grupos sobre un conjunto unitario
son los objetos cero en la categora Grp
de grupos y homomorfismos. No hay
otros objetos cero en esa categora.

Conjunto vaco

El conjunto vaco es aquel que no tiene elementos.

En lgica y matemticas, especficamente en teora de conjuntos, el conjunto vaco es el
conjunto que no contiene ningn elemento. Puesto que lo nico que define a un conjunto
son sus elementos, el conjunto vaco es nico.

En una teora axiomtica de conjuntos, la existencia de un conjunto vaco se postula.

Algunas propiedades de los conjuntos son trivialmente ciertas para el conjunto vaco.

Notacin

El conjunto vaco es denotado por los smbolos:

derivados de la letra . Esta notacin fue introducida

por Andr Weil en 1939.1

Otra notacin comn para el

conjunto vaco es la notacin
extensiva, especificando sus
elementos (ninguno) entre llaves:

Conjunto universal
En matemticas, un conjunto universal es un conjunto formado por todos los objetos de
estudio en un contexto dado. Por ejemplo, en aritmtica los objetos de estudio son los
nmeros naturales, por lo que el conjunto universal para este caso puede ser el conjunto de
los nmeros naturales N. Al conjunto universal tambin se le denomina conjunto
referencial, universo del discurso o clase universal, segn el contexto, y se denota
habitualmente por U o V.

La eleccin de un conjunto universal se hace por conveniencia, para establecer una

distincin clara entre los objetos matemticos, todos ellos en el conjunto universal; y los
conjuntos formados por dichos objetos, todos ellos subconjuntos del conjunto universal.
Dentro de un conjunto universal, cada conjunto tiene un complementario, que contiene
todos los elementos que no estn en dicho conjunto.

En teora de conjuntos, los objetos matemticos estudiados incluyen a los propios

conjuntos. El conjunto universal abarcara entonces no slo objetos simples como nmeros,
sino tambin conjuntos de nmeros, conjuntos de conjuntos de nmeros, etc. Sin embargo,
en este caso suponer la existencia de un conjunto universal lleva una contradiccin
conocida como la paradoja de Russell.

Propiedades

El rectngulo se corresponde con un cierto conjunto universal U. El conjunto A ocupa el rea

delimitada por su contorno, y la superficie azul es su complementario A : toda el rea de U que no
pertenece a A.

Una vez que se ha establecido un conjunto universal U de elementos de una cierta clase, se
asume que todos los conjuntos A contienen elementos de esta clase, por lo que todos ellos
son subconjuntos de U. Esto conlleva una serie de propiedades:

Todo conjunto A es subconjunto de U, A U.

La unin de un conjunto A con el conjunto universal U es igual a U:

La interseccin de un conjunto A con el conjunto universal resulta en el mismo

conjunto A:

El conjunto universal es entonces el elemento absorbente de la unin y el elemento neutro

de la interseccin. Una vez definido un conjunto universal, puede definirse el conjunto
complementario de otro, a partir de la operacin de diferencia de conjuntos:

Esto da lugar a las siguientes propiedades:

El complemento del conjunto universal es el conjunto vaco, y viceversa: