Conjunto

Los conjuntos pueden ser nitos o innitos. El conjunto

de los nmeros naturales es innito, pero el conjunto de
los planetas en el Sistema Solar es nito (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 denirlos 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
Los diversos polgonos en la imagen constituyen un conjunto. Alotros.
Su estudio detallado requiere pues la introduccin
gunos de los elementos del conjunto, adems de ser polgonos son
de
axiomas
y conduce a la teora de conjuntos.
regulares. La coleccin de estos ltimos los polgonos regulares
en la imagen es otro conjunto, en particular, un subconjunto
del primero.

1 Historia

En matemticas, un conjunto es una coleccin de elementos considerada en si misma como un objeto. Los
elementos de un conjunto pueden ser cualquier cosa:
personas, nmeros, colores, letras, guras, etc. Se dice
que un elemento (o miembro) pertenece al conjunto si
est denido como incluido de algn modo dentro de l.

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
innito.[1] Los trabajos de Bernard Bolzano y Bernhard
Riemann ya contenan ideas relacionadas con una viEjemplo: el conjunto de los colores del arcoris es:
sin conjuntista de la matemtica. Las contribuciones
de Richard Dedekind al lgebra estaban formuladas en
trminos
claramente conjuntistas, que an prevalecen
AI = {Rojo, Naranja, Amarillo, Verde, Azul,
en
la
matemtica
moderna: relaciones de equivalencia,
Ail, Violeta}
particiones, homomorsmos, etc., y l mismo explicit
Un conjunto suele denirse mediante una propiedad las hiptesis y operaciones relativas a conjuntos que neque todos sus elementos poseen. Por ejemplo, para los cesit en su trabajo.
nmeros naturales, si se considera la propiedad de ser un La teora de conjuntos como disciplina independiente se
nmero primo, el conjunto de los nmeros primos es:
atribuye usualmente a Georg Cantor. Comenzando con
sus investigaciones sobre conjuntos numricos, desarroll un estudio sobre los conjuntos innitos y sus propieP = {2, 3, 5, 7, 11, 13, ...}
dades. La inuencia de Dedekind y Cantor empez a ser
Un conjunto queda denido nicamente por sus miem- determinante a nales del siglo XIX, en el proceso de
bros y por nada ms. En particular, un conjunto puede axiomatizacin de la matemtica, en el que todos los
escribirse como una lista de elementos, pero cambiar el objetos matemticos, como los nmeros, las funciones y
orden de dicha lista o aadir elementos repetidos no de- las diversas estructuras, fueron construidos con base en
los conjuntos.
ne un conjunto nuevo. Por ejemplo:
S = {Lunes, Martes, Mircoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes, Mircoles}

2 Denicin

AI = {Rojo, Naranja, Amarillo, Verde, Azul,

Ail, Violeta} = {Amarillo, Naranja, Rojo,
Verde, Violeta, Ail, Azul}

Un conjunto es una coleccin bien denida de objetos,

entendiendo que dichos objetos pueden ser cualquier cosa: nmeros, personas, letras, otros conjuntos, etc. Algu1

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

2.1

Notacin

DEFINICIN

Esta notacin mediante llaves tambin se utiliza cuando

los conjuntos se especican 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 (:) signican 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
/ .

2.2 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.
Relacin de pertenencia. El conjunto A es un conjunto de
polgonos. En la imagen, algunas de las guras 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
denicin intensiva o por comprensin, donde se especica una propiedad que todos sus elementos poseen. Sin
embargo, para los conjuntos B y C se usa una denicin
extensiva, listando todos sus elementos explcitamente.
Es habitual usar llaves para escribir los elementos de un
conjunto, de modo que:

Un conjunto est totalmente determinado por sus elementos. Por ello, la igualdad de conjuntos se establece como:
Esta propiedad tiene varias consecuencias. Un mismo
conjunto puede especicarse 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}

B = {verde, blanco, rojo}

C = {a, e, i, o, u}

D = {Palos de la baraja francesa} = {, , ,

}

2.5

Conjuntos disjuntos

El orden en el que se precisan los elementos tampoco se ms na mediante el concepto de subconjunto propio: A
tiene en cuenta para comparar dos conjuntos:
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
B = {verde, blanco, rojo} = {rojo, verde, blanpropio,
B A).[n 2]
co}
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}

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}

En ausencia de alguna caracterstica adicional que distinga los 1 repetidos, lo nico que puede decirse del 2.5 Conjuntos disjuntos
conjunto de la derecha es que 1 es uno de sus elementos.
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 dis2.3 Conjunto vaco
juntos: no hay ningn nmero que sea a la vez racional e
irracional. La interseccin de dos conjuntos disjuntos es
El conjunto que no contiene ningn elemento se llama el el conjunto vaco.
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.

3 Cardinalidad

2.4

Subconjuntos

Los conjuntos pueden ser nitos o innitos. En el caso

de un conjunto nito se pueden contar los elementos del
conjunto:
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 innito no hay un nmero nito de elementos. Es el caso por ejemplo de los nmeros naturales:
N = {1, 2, 3, ...}. Sin embargo, existe una manera de comparar conjuntos innitos entre s, y se obtiene que existen
conjuntos innitos ms grandes que otros. El nmero de elementos de un conjunto innito es un nmero
transnito.

Subconjunto. B es un subconjunto de A (en particular un

subconjunto propio).

4 Operaciones con conjuntos

Un subconjunto A de un conjunto B, es un conjunto que

Operaciones con conjuntos
contiene algunos de los elementos de B (o quiz todos):
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 Unin

REFERENCIAS

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

Ejemplos
{1, a, 0} {2, b} = {2, b, 1, a, 0}
{5, z, } {, a} = {}
{5, z, } \ {, a} = {5, z}

Diferencia

{, 5} {8, #, } = {5, #, 8}
{1, a, 0} {2, b} = {(1, 2), (1, b), (a, 2), (a, b), (0,
2), (0, b)}

5 Vase tambin
Complemento

Axiomas de Zermelo-Fraenkel
Relacin matemtica
Correspondencia matemtica
Conjunto de Borel
Diagrama de Venn

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

Estructura algebraica
Funcin matemtica
Georg Cantor
Morsmo
Teora de conjuntos

6 Notas
[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.

7 Referencias
[1] Esta seccin est basada en Ferreirs, J.. Edward N. Zalta
(ed.): The early development of set theory (en ingls).
The Stanford Encyclopedia of Philosophy (Fall 2011 edition). Archivado desde el original el 30-07-2011. Consultado el 15-12-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.

7.1

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-04-2011.
Jech, Thomas. Edward N. Zalta (ed.): Set Theory
(en ingls). The Stanford Encyclopedia of Philosophy
(Spring 2009 Edition). Consultado el 22-04-2011.
Lipschutz, Seymour (1991). Teora de conjuntos y
temas anes. McGraw-Hill. ISBN 968-422-926-7.
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 ConjuntosCommons.

Weisstein, Eric W. Set (en ingls). MathWorld.

Wolfram Research.
Esta obra deriva de la traduccin de Set de la
Wikipedia en ingls, publicada por sus editores bajo la Licencia de documentacin libre de
GNU y la Licencia Creative Commons AtribucinCompartirIgual 3.0 Unported.

10

10
10.1

TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

Text and image sources, contributors, and licenses

Text

Conjunto Fuente: http://es.wikipedia.org/wiki/Conjunto?oldid=77818480 Colaboradores: AstroNomo, Piolinfax, Moriel, Pilaf, Robbot,

Aloriel, Interwiki, Vargenau, Porao, Rembiapo pohyiete (bot), Magister Mathematicae, RobotQuistnix, Unf, Alhen, Aeoris, Yrbot, ALE!,
.Sergio, Echani, Wewe, Eskimbot, Baneld, Gtz, Jos., Tomatejc, Demiannnn, Juan Marquez, Kn, Aleator, BOTpolicia, CEM-bot,
JMCC1, Chabacano, Marianov, Davius, Ingenioso Hidalgo, Fsd141, Thijs!bot, Alvaro qc, Escarbot, IrwinSantos, PhJ, Arcibel, Dogor,
Gusgus, Cgb, JAnDbot, Chien, TXiKiBoT, HiTe, Linkedark, Humberto, Netito777, Rei-bot, Fixertool, Plux, Loku, MarisaLR, VolkovBot, Technopat, Galandil, Matdrodes, Synthebot, DJ Nietzsche, Yayoloco, AlleborgoBot, Muro Bot, SieBot, BOTarate, Mel 23, WikiBotas,
Mafores, PipepBot, Tirithel, Dnu72, HUB, Farisori, Eduardosalg, Leonpolanco, Botito777, Serser, Atila rey, BodhisattvaBot, AipniLovrij, Osado, Juana Banana, Camilo, UA31, Abajo estaba el pez, AVBOT, Ellinik, David0811, MarcoAurelio, Ialad, Diegusjaimes,
MelancholieBot, Andreasmperu, Luckas-bot, Nallimbot, Jotterbot, Vic Fede, Albert0013, Luis Felipe Schenone, ArthurBot, Argentinoo,
SuperBraulio13, Xqbot, Jkbw, Daniel unam, Ricardogpn, Mctpyt, Kismalac, Igna, Botarel, Hprmedina, Lipedia, TobeBot, Albertobsd, PatruBOT, KamikazeBot, Dinamik-bot, Humbefa, Olivares86, Nachosan, Jorge c2010, Foundling, GrouchoBot, The crazy01, Axvolution,
EmausBot, Savh, AVIADOR, Jaucafo, Sergio Andres Segovia, Maestro de matemticas, Jcaraballo, Yormilenio, Tesla91, Waka Waka, Rafamarley, Xerox 5B, MerlIwBot, Julio grillo, UAwiki, Gins90, Sittsam, Cyberdelic, Acratta, Harpagornis, LlamaAl, Helmy oved, Legobot,
Nelsonores3rd, Balles2601, Ereretani, Anthonyko, JacobRodrigues, Elizayandy, Danisora, Ineditable, (- -)ZZZ Dormido y Annimos:
255

10.2

Images

Archivo:Commons-logo.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public domain

Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used to be slightly
warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version, created by
Reidab.
Archivo:Membership.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/0/05/Membership.svg Licencia: CC0 Colaboradores: Trabajo propio Artista original: kismalac
Archivo:PersonsSet.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/8/85/PersonsSet.svg Licencia: CC-BY-SA-3.0 Colaboradores:
Toilets_unisex.svg Artista original: Toilets_unisex.svg: AIGA symbol signs collection
Archivo:PolygonsSet.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/2/2b/PolygonsSet.svg Licencia: CC0 Colaboradores:
Trabajo propio Artista original: kismalac
Archivo:SetComplement.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/b/b9/SetComplement.svg Licencia: CC0 Colaboradores: Trabajo propio Artista original: kismalac
Archivo:SetDifferenceA.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/e/ec/SetDifferenceA.svg Licencia: CC0 Colaboradores: Trabajo propio Artista original: kismalac
Archivo:SetIntersection.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/c/cb/SetIntersection.svg Licencia: CC0 Colaboradores: Trabajo propio Artista original: kismalac
Archivo:SetSymmetricDifference.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/f/f2/SetSymmetricDifference.svg Licencia: CC0 Colaboradores: Trabajo propio Artista original: kismalac
Archivo:SetUnion.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/3/32/SetUnion.svg Licencia: CC0 Colaboradores: Trabajo propio Artista original: kismalac
Archivo:Subset-2.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/9/9c/Subset-2.svg Licencia: CC0 Colaboradores: Trabajo propio Artista original: kismalac

10.3

Content license

Creative Commons Attribution-Share Alike 3.0