Conjunto - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Conjunto

Conjunto
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 Los diversos polgonos en la imagen constituyen
considera la propiedad de ser un nmero primo, el conjunto de los un conjunto. Algunos de los elementos del
nmeros primos es: conjunto, adems de ser polgonos son regulares.
La coleccin de estos ltimos los polgonos
P = {2, 3, 5, 7, 11, 13, ...} regulares en la imagen es otro conjunto, en
particular, un subconjunto del primero.
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.

ndice
1 Historia
2 Definicin
2.1 Notacin
2.2 Igualdad de conjuntos
2.3 Conjunto vaco
2.3.1 Propiedades
2.4 Subconjuntos
2.5 Conjuntos disjuntos
3 Cardinalidad
3.1 Cardinalidad de los reales
4 Operaciones con conjuntos
5 Vase tambin
6 Notas y referencias
6.1 Notas
6.2 Referencias
6.3 Bibliografa
6.4 Bibliografa adicional
6.5 Enlaces externos

1 de 7 03/10/2017 21:28
Conjunto - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Conjunto

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.1 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 con base en los conjuntos.

Definicin
Un conjunto es una coleccin bien definida de objetos, entendiendo que dichos
objetos pueden ser cualquier cosa: nmeros, personas, letras, otros conjuntos, etc. [...] entiendo en general por variedad
Algunos ejemplos son: o conjunto toda multiplicidad que
puede ser pensada como unidad, esto
A es el conjunto de los nmeros naturales menores que 5. es, toda coleccin de elementos
determinados que pueden ser unidos
B es el conjunto de los colores verde, blanco y rojo. en una totalidad mediante una ley.
C es el conjunto de las vocales a, e, i, o y u. Georg Cantor2
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
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:
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.

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

2 de 7 03/10/2017 21:28
Conjunto - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Conjunto

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
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.

Conjunto de personas. El conjunto de personas

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:
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.

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
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.

Propiedades

En la teora de conjuntos axiomtica estndar, por el Axioma de extensionalidad, dos conjuntos son iguales si tienen los
mismos elementos; por lo tanto slo puede haber un conjunto sin ningn elemento. Por consiguiente, slo hay un nico
conjunto vaco, y hablamos de "el conjunto vaco" en lugar de "un conjunto vaco".

Para cualquier conjunto A:

(Ver operaciones con conjuntos)

El conjunto vaco es un subconjunto de A:

La unin de A con el conjunto vaco es A:

3 de 7 03/10/2017 21:28
Conjunto - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Conjunto

La interseccin de A con el conjunto vaco es el conjunto vaco:

El producto cartesiano de A y el conjunto vaco es el conjunto vaco:

El conjunto vaco tiene las siguientes propiedades:

Su nico subconjunto es el propio conjunto vaco:

El "conjunto de poder" del conjunto vaco es el conjunto que contiene nicamente el conjunto vaco:

Su nmero de elementos (cardinalidad) es cero:

(La lista de smbolos matemticos empleados se encuentra aqu).

Subconjuntos
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 Subconjunto. B es un subconjunto de A (en

A est contenido en B. Tambin puede escribirse B A, y decirse que particular un subconjunto propio).
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
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:

4 de 7 03/10/2017 21:28
Conjunto - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/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 .

Existen, a su vez, determinadas propiedades de cardinalidad. Si tomamos como ejemplo dos conjuntos, A y B:

1.
2.
3.
4.
5.
6.

Y en el caso de tres conjuntos, A, B y C:

1.
2.
3.
4.

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.

Cardinalidad de los reales

Uno de los resultados ms importantes de Georg Cantor fue que la cardinalidad de los reales ( ) es ms grande que la de
los nmeros naturales ( ). Esto es, que hay ms nmeros reales R que nmeros enteros N. Concretamente, Cantor
mostr que

La hiptesis del continuo afirma que no existen conjuntos con cardinalidades intermedias entre los naturales y los reales:

No existe ningn conjunto A tal que su cardinal |A| cumpla:

Si se asume el axioma de eleccin, la estructura de los cardinales infinitos es ms clara: todos los cardinales infinitos son
lefs y estn bien ordenados, por lo que existe slo un cardinal inmediatamente superior a 0, denotado por 1. La
hiptesis es equivalente entonces a:

El cardinal del conjunto de los nmeros reales es el inmediatamente superior al cardinal de los nmeros naturales:

Operaciones con conjuntos

Existen varias operaciones bsicas que pueden realizarse, partiendo de ciertos conjuntos dados, para 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.

5 de 7 03/10/2017 21:28
Conjunto - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Conjunto

Operaciones con conjuntos

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

Unin
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 Interseccin

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

Vase tambin
Diagrama de Venn
Axiomas de Zermelo-Fraenkel Estructura algebraica
Relacin matemtica Funcin matemtica
Correspondencia matemtica Georg Cantor Complemento
Conjunto de Borel Morfismo
Equipotencia de conjuntos Teora de conjuntos

Notas y referencias
Notas Diferencia simtrica

1. Este smbolo lo introdujo Peano. Vid Matemtica Moderna de Andr Warusfel sobre epsilon y
Nachbin en su lgebra Elemental (pg.1 y pg.2) habla de: "La notacin de Peano x X".
2. Tambin se utiliza la notacin A B y B A, pero segn el autor esto puede denotar subconjunto, A B y B A; o subconjunto
propio, A B y B A. Vase Subconjunto.

Referencias
1. Esta seccin est basada en Ferreirs, J. The early
development of set theory (https://www.webcitation.org
/69YJbQ9RY?url=http://plato.stanford.edu/entries
/settheory-early/). En Edward N. Zalta. The Stanford
Encyclopedia of Philosophy (Fall 2011 edition) (en ingls).
Archivado desde el original (http://plato.stanford.edu
/entries/settheory-early/) el 30 de julio de 2012. Consultado
el 15 de diciembre de 2011.
2. Vase Cantor, Georg (2006) [1872-1899]. Fundamentos
para una teora general de conjuntos. Escritos y
correspondencia selecta. Edicin de Jos Ferreirs. Crtica.
p. 137. ISBN 84-8432-695-0.

Bibliografa
Courant, Richard; Robbins, Herbert; Stewart, Ian (1996). What is Mathematics? An Elementary Approach to Ideas
and Methods (en ingls). Oxford University Press. ISBN 0-19-510519-2. Suplemento del captulo II.
Ivorra, Carlos, Lgica y teora de conjuntos (http://www.uv.es/ivorra/Libros/Logica.pdf), consultado el 18 de abril
de 2011.
Jech, Thomas. Set Theory (http://plato.stanford.edu/archives/spr2009/entries/set-theory/). En Edward N. Zalta.
The Stanford Encyclopedia of Philosophy (Spring 2009 Edition) (en ingls). Consultado el 22 de abril de 2011.
Lipschutz, Seymour (1991). Teora de conjuntos y temas afines. McGraw-Hill. ISBN 968-422-926-7.

6 de 7 03/10/2017 21:28
Conjunto - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Conjunto

Nachbin, Leopoldo : lgebra elemental (1986) Rochester, Nueva York; editora: Eva V. Chesnau. Edicin de la
OEA, traducida al espaol por Csar E. Silva.

Bibliografa adicional
Halmos, Paul R. : Teora intuitiva de conjuntos (1965) Compaa editorial Continental S.A. Mxico 22, D.F.
primera edicin en espaol.

Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Conjuntos.
Weisstein, Eric W. Set (http://mathworld.wolfram.com/Set.html). En Weisstein, Eric W. MathWorld (en ingls).
Wolfram Research.

Esta obra contiene una traduccin derivada de Set de Wikipedia en ingls, publicada por sus editores
(https://en.wikipedia.org/wiki/Set?action=history) bajo la Licencia de documentacin libre de GNU y la Licencia
Creative Commons Atribucin-CompartirIgual 3.0 Unported.

Obtenido de https://es.wikipedia.org/w/index.php?title=Conjunto&oldid=102138659

Se edit esta pgina por ltima vez el 25 sep 2017 a las 16:31.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden aplicarse
clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de lucro.

7 de 7 03/10/2017 21:28