Conjunto

Para otros usos de este trmino, vase Conjunto (desambiguacin).

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 coleccin de elementos considerada en s misma

como un objeto. Los elementos de un conjunto, pueden ser las
siguientes: personas, nmeros, colores, letras, figuras, etc. Se dice que
un elemento (o miembro) pertenece al conjunto si est definido como incluido de algn
modo dentro de l.
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, 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.
Definicin[editar]

[...] 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 Cantor2

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 vocales 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:
3A,D
amarillo B, z C

Notacin[editar]

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 = {n2 : 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 n2 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[editar]

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.

Conjunto vaco[editar]
Artculo principal: Conjunto vaco

El conjunto que no contiene ningn elemento se llama el conjunto vaco y se denota

por o simplemente {}. Algunas teoras axiomticas de conjuntos aseguran que el

conjunto vaco existe incluyendo un axioma del conjunto vaco. En otras teoras, su
existencia puede deducirse. Muchas posibles propiedades de conjuntos son trivialmente
vlidas para el conjunto vaco.

OPERACIONES CON CONJUNTOS

ALGEBRA DE CONJUNTOS
TEORIA DE CONJUNTOS