Conjunto

DeWikipedia,laenciclopedialibre
Enmatemticas,unconjuntoesunacoleccindeelementosconsiderada
ensmismacomounobjeto.Loselementosdeunconjunto,puedenser
las siguientes: personas, nmeros, colores, letras, figuras, etc. Se dice
que un elemento (o miembro) pertenece al conjunto si est definido
comoincluidodealgnmododentrodel.
Ejemplo:elconjuntodeloscoloresdelarcorises:
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
nmerosprimoses:
P={2,3,5,7,11,13,...}

Losdiversospolgonosenlaimagenconstituyen
unconjunto.Algunosdeloselementosdel
conjunto,ademsdeserpolgonossonregulares.
Lacoleccindeestosltimoslospolgonos
regularesenlaimagenesotroconjunto,en
particular,unsubconjuntodelprimero.

Un conjunto queda definido nicamente por sus miembros y por nada

ms. En particular, un conjunto puede escribirse como una lista de
elementos,perocambiarelordendedichalistaoaadirelementosrepetidosnodefineunconjuntonuevo.Porejemplo:

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 finitosoinfinitos. 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,demanerasimilaralasoperacionesconnmeros.
Los conjuntos son un concepto primitivo, en el sentido de que no es posible definirlos en trminos de nociones ms
elementales,porlo que su estudio puede realizarse de manera informal, apelandoalaintuicinyalalgica.Porotro
lado,sonelconceptofundamentaldelamatemtica:medianteellospuedeformularseelrestodeobjetosmatemticos,
comolosnmerosylasfunciones,entreotros.Suestudiodetalladorequierepueslaintroduccindeaxiomasyconducea
lateoradeconjuntos.

ndice
1 Historia
2 Definicin
2.1 Notacin
2.2 Igualdaddeconjuntos
2.3 Conjuntovaco
2.4 Subconjuntos
2.5 Conjuntosdisjuntos
3 Cardinalidad
4 Operacionesconconjuntos
5 Vasetambin
6 Notasyreferencias
6.1 Notas
6.2 Referencias
6.3 Bibliografa
6.4 Bibliografaadicional
6.5 Enlacesexternos

Historia

ElconceptodeconjuntocomoobjetoabstractonocomenzaemplearseenmatemticashastaelsigloXIX,amedidaque
sedespejabanlasdudassobrelanocindeinfinito.1LostrabajosdeBernardBolzanoyBernhardRiemannyacontenan
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.,ylmismoexplicitlashiptesisyoperacionesrelativasaconjuntosque
necesitensutrabajo.
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
influenciadeDedekindyCantorempezaserdeterminanteafinalesdelsigloXIX,enelprocesodeaxiomatizacin
delamatemtica,enelquetodoslosobjetosmatemticos,comolosnmeros,lasfuncionesylasdiversasestructuras,
fueronconstruidosconbaseenlosconjuntos.

Definicin
Un conjunto es una coleccin bien definida de objetos, entendiendo que dichos
objetospuedensercualquiercosa:nmeros,personas,letras,otrosconjuntos,etc.
Algunosejemplosson:
Aeselconjuntodelosnmerosnaturalesmenoresque5.
Beselconjuntodeloscoloresverde,blancoyrojo.
Ceselconjuntodelasvocalesa,e,i,oyu.
Deselconjuntodelospalosdelabarajafrancesa.

[...]entiendoengeneralpor
variedadoconjuntotoda
multiplicidadquepuedeserpensada
comounidad,estoes,todacoleccin
deelementosdeterminadosque
puedenserunidosenunatotalidad
medianteunaley.
GeorgCantor2

Los conjuntos se denotan habitualmente por letras maysculas. Los objetos que
componenelconjuntosellamanelementosomiembros.Sedicequepertenecen
alconjuntoysedenotamedianteelsmbolo:n1laexpresinaAseleeentoncescomoaestenA,apertenecea
A,Acontieneaa,etc.Paralanocincontrariaseusaelsmbolo.Porejemplo:
3A,D
amarilloB,zC

Notacin
Existen varias maneras de referirse a un conjunto. En el ejemplo
anterior,paralosconjuntosAyDseusaunadefinicinintensiva o por
comprensin, donde se especifica una propiedad que todos sus
elementos poseen. Sin embargo, para los conjuntos B y C se usa una
definicinextensiva,listandotodossuselementosexplcitamente.
Es habitual usar llaves para escribir los elementos de un conjunto, de
modoque:
B={verde,blanco,rojo}
C={a,e,i,o,u}
Estanotacinmediantellavestambinseutilizacuandolosconjuntosse
especificandeformaintensivamedianteunapropiedad:
A={Nmerosnaturalesmenoresque5}
D={Palosdelabarajafrancesa}
Otranotacinhabitualparadenotarporcomprensines:

Relacindepertenencia.ElconjuntoAesun
conjuntodepolgonos.Enlaimagen,algunasde
lasfiguraspertenecenadichoconjunto,pero
otrasno.

A={m:mesunnmeronatural,y1m5}
D={p:pesunpalodelabarajafrancesa}
F={n2:nesunenteroy1n10},
Enestasexpresioneslosdospuntos(:)significantalque.As,elconjuntoFeselconjuntodelosnmerosdela
forma n2 tal que n es un nmero natural entre 1 y 10 (ambos inclusive), o sea, el conjunto de los diez primeros
cuadradosdenmerosnaturales.Enlugardelosdospuntosseutilizatambinlabarravertical(|)uoblicua/.

Igualdaddeconjuntos
Unconjuntoesttotalmentedeterminadoporsuselementos.Porello,la
igualdaddeconjuntosseestablececomo:

Propiedaddelaextensionalidad
Dos conjuntos A y B que tengan los mismos
elementossonelmismoconjunto,A=B.

Esta propiedad tiene varias consecuencias. Un mismo conjunto puede

especificarse de muchas maneras distintas, en particular extensivas o
intensivas.Porejemplo,elconjuntoAdelosnmerosnaturalesmenores
que5eselmismoconjuntoqueA,elconjuntodelosnmeros1,2,3y
4.Tambin:

Conjuntodepersonas.Elconjuntode
personasmostradoenlaimagen,A,tiene8
miembros.Esteconjuntopuederepresentarse
mediantellavesomedianteundiagramade
Venn.ElordendelaspersonasenAes
irrelevante.

B={verde,blanco,rojo}={coloresdelabanderadeMxico}
C={a,e,i,o,u}={vocalesdelespaol}
D={Palosdelabarajafrancesa}={,,,}
Elordenenelqueseprecisanloselementostampocosetieneencuentaparacomparardosconjuntos:
B={verde,blanco,rojo}={rojo,verde,blanco}
C={a,e,i,o,u}={e,i,u,a,o}
Adems,unconjuntonopuedetenerelementosrepetidos,yaqueunobjetosolopuedeobienserunelementodedicho
conjuntoonoserlo.Sedaentoncesque,porejemplo:
{1,2}={1,2,1}
Enausenciadealgunacaractersticaadicionalquedistingalos1repetidos,lonicoquepuededecirsedelconjuntode
laderechaesque1esunodesuselementos.

Conjuntovaco
Elconjuntoquenocontieneningnelementosellamaelconjuntovacoysedenotaporosimplemente{}.Existeun
nicoconjuntovaco,yaquelonicoquedistingueaunconjuntosonsuselementos.

Subconjuntos
Un subconjunto A de un conjunto B, es un conjunto que contiene
algunosdeloselementosdeB(oquiztodos):

Un conjunto A es un subconjunto del

conjuntoBsicadaelementodeAesasuvez
unelementodeB.

CuandoAesunsubconjuntodeB,sedenotacomoABysediceque
AestcontenidoenB.TambinpuedeescribirseBA,ydecirseque
BesunsuperconjuntodeAytambinBcontieneaAoBincluyea
A.

Subconjunto.BesunsubconjuntodeA(en
particularunsubconjuntopropio).

TodoconjuntoA es un subconjunto de s mismo, ya que siempre se cumple que cada elemento de A es a su vez un
elementodeA.Eshabitualestablecerunadistincinmsfinamedianteelconceptodesubconjuntopropio: A es un
subconjuntopropiodeBsiesunsubconjuntodeBperonoesigualaB.SedenotacomoAB,esdecir:A B pero
AB(yequivalentemente,paraunsuperconjuntopropio,BA).n2
Ejemplos.
Elconjuntodetodosloshombresesunsubconjuntopropiodelconjuntodetodaslaspersonas.
{1,3}{1,2,3,4}
{1,2,3,4}{1,2,3,4}

Conjuntosdisjuntos
DosconjuntosAyBsondisjuntossinotienenningnelementoencomn.Porejemplo,losconjuntosdelosnmeros
racionales y los nmeros irracionales son disjuntos: no hay ningn nmero que sea a la vez racional e irracional. La
interseccindedosconjuntosdisjuntoseselconjuntovaco.

Cardinalidad
Losconjuntospuedenserfinitosoinfinitos.Enelcasodeunconjuntofinitosepuedencontarloselementosdelconjunto:

Elnmerodeelementosdeunconjuntofinitoessucardinal.

Elcardinalsedenotapor|A|,card(A)o#A.As,enlosejemplosanteriores,setieneque|A|=4(cuatronmeros),|B|=3
(trescolores)y|F|=10(diezcuadrados).Elnicoconjuntocuyocardinales0eselconjuntovaco.
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
conjuntosinfinitosmsgrandesqueotros.Elnmerodeelementosdeunconjuntoinfinitoesunnmerotransfinito.

Operacionesconconjuntos
Existen varias operaciones bsicas que pueden realizarse para, partiendo de ciertos conjuntos dados, obtener nuevos
conjuntos:
Unin:(smbolo)LaunindedosconjuntosAyB,queserepresentacomoAB,eselconjuntodetodoslos
elementosquepertenecenalmenosaunodelosconjuntosAyB.
Interseccin:(smbolo)LainterseccindedosconjuntosAyBeselconjuntoABdeloselementoscomunes
aAyB.
Diferencia: (smbolo \) La diferencia del conjunto A con B es el conjunto A \ B que resulta de eliminar de A
cualquierelementoqueestenB.
Complemento: El complemento de un conjunto A es el conjunto A que contiene todos los elementos que no
pertenecenaA,respectoaunconjuntoUquelocontiene.
Diferenciasimtrica:(smbolo)LadiferenciasimtricadedosconjuntosAyBeselconjuntoABcontodos
loselementosquepertenecen,obienaA,obienaB,peronoaambosalavez.
Productocartesiano:(smbolo)ElproductocartesianodedosconjuntosAyBeselconjuntoABdetodoslos
pares ordenados (a, b) formados con un primer elemento a perteneciente a A, y un segundo elemento b
pertenecienteaB.
Ejemplos
{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)}

Operacionescon
conjuntos

Vasetambin
AxiomasdeZermeloFraenkel
Relacinmatemtica
Correspondenciamatemtica
ConjuntodeBorel
Equipotenciadeconjuntos
DiagramadeVenn
Estructuraalgebraica

Estructuraalgebraica
Funcinmatemtica
GeorgCantor
Morfismo
Teoradeconjuntos

Notasyreferencias

Unin

Interseccin

Notas
1.Este smbolo lo introdujo Peano. Vid Matemtica Moderna de Andr Warusfel sobre epsilon y
NachbinensulgebraElemental(pg.1ypg.2)hablade:"LanotacindePeanoxX".
2.Tambin se utiliza la notacin A B y B A, pero segn el autor esto puede denotar
subconjunto,AByBAosubconjuntopropio,AByBA.VaseSubconjunto.

Diferencia

Referencias
1.Esta seccin est basada en Ferreirs, J.
The early development of set theory(htt
p://www.webcitation.org/69YJbQ9RY). En
Edward N. Zalta. The Stanford
Encyclopedia of Philosophy (Fall 2011
edition) (en ingls). Archivado desde el
original (http://plato.stanford.edu/entries/se
ttheoryearly/) el 30 de julio de 2011.

ttheoryearly/) el 30 de julio de 2011.

Consultadoel15dediciembrede2011.
2.Vase Cantor, Georg (2006) [18721899].
Fundamentos para una teora general de
conjuntos. Escritos y correspondencia
selecta. Edicin de Jos Ferreirs. Crtica.
p.137.ISBN8484326950.

Complemento

Bibliografa
Courant, Richard Robbins, Herbert Stewart, Ian (1996). What is Mathematics? An
Elementary Approach to Ideas and Methods (en ingls). Oxford University Press.
Diferenciasimtrica
ISBN0195105192.SuplementodelcaptuloII.
Ivorra,Carlos,Lgicayteoradeconjuntos(http://www.uv.es/ivorra/Libros/Logica.pd
f),consultadoel18deabrilde2011.
Jech, Thomas. Set Theory (http://plato.stanford.edu/archives/spr2009/entries/settheory/). En Edward N. Zalta.
TheStanfordEncyclopediaofPhilosophy(Spring2009Edition)(eningls).Consultadoel22deabrilde2011.
Lipschutz,Seymour(1991).Teoradeconjuntosytemasafines.McGrawHill.ISBN9684229267.
Nachbin, Leopoldo : lgebra elemental (1986) Rochester, Nueva York editora: Eva V. Chesnau. Edicin de la
OEA,traducidaalespaolporCsarE.Silva.

Bibliografaadicional
Halmos, Paul R. : Teora intuitiva de conjuntos (1965) Compaa editorial Continental S.A. Mxico 22, D.F.
primeraedicinenespaol.

Enlacesexternos
WikimediaCommonsalbergacontenidomultimediasobreConjuntos.
Weisstein,EricW.Set(http://mathworld.wolfram.com/Set.html).EnWeisstein,EricW.MathWorld(eningls).
WolframResearch.
EstaobracontieneunatraduccinderivadadeSetdeWikipediaeningls,publicadaporsuseditores(https://en.wik
ipedia.org/wiki/Set?action=history) bajo la Licencia de documentacin libre de GNU y la Licencia Creative

CommonsAtribucinCompartirIgual3.0Unported.
Obtenidodehttps://es.wikipedia.org/w/index.php?title=Conjunto&oldid=95799596
Categoras: Conjuntos Teoradeconjuntos Terminologamatemtica
Estapginafuemodificadaporltimavezel23dic2016alas19:47.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podranseraplicables
clusulasadicionales.Alusarestesitio,ustedaceptanuestrostrminosdeusoynuestrapolticadeprivacidad.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimodelucro.