Conjunto

Ir a la navegaci�nIr a la b�squeda
Para otros usos de este t�rmino, v�ase Conjunto (desambiguaci�n).

Los diversos pol�gonos en la imagen constituyen un conjunto. Algunos de los

elementos del conjunto, adem�s de ser pol�gonos son regulares. La colecci�n de
estos �ltimos �los pol�gonos regulares en la imagen� es otro conjunto, en
particular, un subconjunto del primero.
En matem�ticas, un conjunto es una colecci�n de elementos con caracter�sticas
similares considerada en s� misma como un objeto. Los elementos de un conjunto,
pueden ser las siguientes: personas, n�meros, colores, letras, figuras, etc. Se
dice que un elemento (o miembro) pertenece al conjunto si est� definido como
incluido de alg�n modo dentro de �l.

Ejemplo: el conjunto de los colores del arco�ris es:

AI = {Rojo, Naranja, Amarillo, Verde, Azul, A�il, Violeta}

Un conjunto suele definirse mediante una propiedad que todos sus elementos poseen.
Por ejemplo, para los n�meros naturales, si se considera la propiedad de ser un
n�mero primo, el conjunto de los n�meros primos es:

P = {2, 3, 5, 7, 11, 13, ...}

Un conjunto queda definido �nicamente por sus miembros y por nada m�s. En
particular, un conjunto puede escribirse como una lista de elementos, pero cambiar
el orden de dicha lista o a�adir elementos repetidos no define un conjunto nuevo.
Por ejemplo:

S = {Lunes, Martes, Mi�rcoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes,

Mi�rcoles}
AI = {Rojo, Naranja, Amarillo, Verde, Azul, A�il, Violeta} = {Amarillo, Naranja,
Rojo, Verde, Violeta, A�il, Azul}
Los conjuntos pueden ser finitos o infinitos. El conjunto de los n�meros naturales
es infinito, pero el conjunto de los planetas del sistema solar es finito (tiene
ocho elementos). Adem�s, los conjuntos pueden combinarse mediante operaciones, de
manera similar a las operaciones con n�meros.

Los conjuntos son un concepto primitivo, en el sentido de que no es posible

definirlos en t�rminos de nociones m�s elementales, por lo que su estudio puede
realizarse de manera informal, apelando a la intuici�n y a la l�gica. Por otro
lado, son el concepto fundamental de la matem�tica: mediante ellos puede formularse
el resto de objetos matem�ticos, como los n�meros y las funciones, entre otros. Su
estudio detallado requiere pues la introducci�n de axiomas y conduce a la teor�a de
conjuntos.

�ndice
1 Historia
2 Definici�n
2.1 Notaci�n
2.2 Igualdad de conjuntos
2.3 Conjunto vac�o
2.3.1 Propiedades
2.4 Subconjuntos
2.5 Conjuntos disjuntos
3 Cardinalidad
3.1 Cardinalidad de los reales
4 Operaciones con conjuntos
5 V�ase tambi�n
6 Notas y referencias
6.1 Notas
6.2 Referencias
6.3 Bibliograf�a
6.4 Bibliograf�a adicional
7 Enlaces externos
Historia
El concepto de conjunto como objeto abstracto no comenz� a emplearse en matem�ticas
hasta el siglo XIX, a medida que se despejaban las dudas sobre la noci�n de
infinito.1? Los trabajos de Bernard Bolzano y Bernhard Riemann ya conten�an ideas
relacionadas con una visi�n conjuntista de la matem�tica. Las contribuciones de
Richard Dedekind al �lgebra estaban formuladas en t�rminos claramente conjuntistas,
que a�n prevalecen en la matem�tica moderna: relaciones de equivalencia,
particiones, homomorfismos, etc., y �l mismo explicit� las hip�tesis y operaciones
relativas a conjuntos que necesit� en su trabajo.

La teor�a de conjuntos como disciplina independiente se atribuye usualmente a Georg

Cantor. Comenzando con sus investigaciones sobre conjuntos num�ricos, 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
�axiomatizaci�n� de la matem�tica, en el que todos los objetos matem�ticos, como
los n�meros, las funciones y las diversas estructuras, fueron construidos con base
en los conjuntos.

Definici�n
[...] entiendo en general por variedad o conjunto toda multiplicidad que puede ser
pensada como unidad, esto es, toda colecci�n de elementos determinados que pueden
ser unidos en una totalidad mediante una ley.
�Georg Cantor2?
Un conjunto es una colecci�n bien definida de objetos, entendiendo que dichos
objetos pueden ser cualquier cosa: n�meros, personas, letras, otros conjuntos, etc.
Algunos ejemplos son:

A es el conjunto de los n�meros 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 may�sculas. Los objetos que
componen el conjunto se llaman elementos o miembros. Se dice que �pertenecen� al
conjunto y se denota mediante el s�mbolo ?:n 1? la expresi�n a ? A se lee entonces
como �a est� en A�, �a pertenece a A�, �A contiene a a�, etc. Para la noci�n
contraria se usa el s�mbolo ?. Por ejemplo:

3 ? A , ? ? D
amarillo ? B, z ? C
Notaci�n

Relaci�n de pertenencia. El conjunto A es un conjunto de pol�gonos. 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 definici�n intensiva o por comprensi�n, donde se
especifica una propiedad que todos sus elementos poseen. Sin embargo, para los
conjuntos B y C se usa una definici�n extensiva, listando todos sus elementos
expl�citamente.

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 notaci�n mediante llaves tambi�n se utiliza cuando los conjuntos se
especifican de forma intensiva mediante una propiedad:

A = {N�meros naturales menores que 5}

D = {Palos de la baraja francesa}
Otra notaci�n habitual para denotar por comprensi�n es:

A = {m : m es un n�mero 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 n�meros de la forma n2 tal que n es un n�mero natural entre
1 y 10 (ambos inclusive)�, o sea, el conjunto de los diez primeros cuadrados de
n�meros naturales. En lugar de los dos puntos se utiliza tambi�n la barra vertical
(�|�) u oblicua �/� .

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.
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 n�meros naturales menores que 5 es el mismo conjunto que A', el
conjunto de los n�meros 1, 2, 3 y 4. Tambi�n:

B = {verde, blanco, rojo} = {colores de la bandera de M�xico}

C = {a, e, i, o, u} = {vocales del espa�ol}
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}
Adem�s, 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 caracter�stica 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 vac�o
Art�culo principal: Conjunto vac�o
El conjunto que no contiene ning�n elemento se llama el conjunto vac�o y se denota
por {\displaystyle \emptyset } \emptyset o simplemente {}. Algunas teor�as
axiom�ticas de conjuntos aseguran que el conjunto vac�o existe incluyendo un axioma
del conjunto vac�o. En otras teor�as, su existencia puede deducirse. Muchas
posibles propiedades de conjuntos son trivialmente v�lidas para el conjunto vac�o.

Propiedades
En la teor�a de conjuntos axiom�tica est�ndar, por el Axioma de extensionalidad,
dos conjuntos son iguales si tienen los mismos elementos; por lo tanto s�lo puede
haber un conjunto sin ning�n elemento. Por consiguiente, s�lo hay un �nico conjunto
vac�o, y hablamos de "el conjunto vac�o" en lugar de "un conjunto vac�o".

Para cualquier conjunto A:

(Ver operaciones con conjuntos)

El conjunto vac�o es un subconjunto de A:

{\displaystyle \forall A:\emptyset \subseteq A} {\displaystyle \forall
A:\emptyset \subseteq A}
La uni�n de A con el conjunto vac�o es A:
{\displaystyle \forall A:A\cup \emptyset =A} {\displaystyle \forall A:A\cup
\emptyset =A}
La intersecci�n de A con el conjunto vac�o es el conjunto vac�o:
{\displaystyle \forall A:A\cap \emptyset =\emptyset } {\displaystyle \forall
A:A\cap \emptyset =\emptyset }
El producto cartesiano de A y el conjunto vac�o es el conjunto vac�o:
{\displaystyle \forall A:A\times \emptyset =\emptyset } {\displaystyle \forall
A:A\times \emptyset =\emptyset }
El conjunto vac�o tiene las siguientes propiedades:

Su �nico subconjunto es el propio conjunto vac�o:

{\displaystyle \forall A:A\subseteq \emptyset \Rightarrow A=\emptyset }
{\displaystyle \forall A:A\subseteq \emptyset \Rightarrow A=\emptyset }
El conjunto potencia del conjunto vac�o es el conjunto que contiene �nicamente el
conjunto vac�o:
{\displaystyle 2^{\emptyset }=\{\emptyset \}} {\displaystyle 2^{\emptyset }=\
{\emptyset \}}
Su n�mero de elementos (cardinalidad) es cero:
{\displaystyle \mathrm {card} (\emptyset )=0} {\displaystyle \mathrm {card}
(\emptyset )=0}
(La lista de s�mbolos matem�ticos empleados se encuentra aqu�).
Subconjuntos
Art�culo principal: Subconjunto

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

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 �A est�

contenido en B�. Tambi�n puede escribirse B ? A, y decirse que B es un
superconjunto de A y tambi�n �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 distinci�n
m�s 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
Art�culo principal: Conjuntos disjuntos
Dos conjuntos A y B son disjuntos si no tienen ning�n elemento en com�n. Por
ejemplo, los conjuntos de los n�meros racionales y los n�meros irracionales son
disjuntos: no hay ning�n n�mero que sea a la vez racional e irracional. La
intersecci�n de dos conjuntos disjuntos es el conjunto vac�o.

Cardinalidad
Art�culo principal: N�mero cardinal
Los conjuntos pueden ser finitos o infinitos. En el caso de un conjunto finito se
pueden contar los elementos del conjunto:

El n�mero 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 n�meros), |B| = 3 (tres colores) y |F| = 10 (diez
cuadrados). El �nico conjunto cuyo cardinal es 0 es el conjunto vac�o �.

Existen, a su vez, determinadas propiedades de cardinalidad. Si tomamos como

ejemplo dos conjuntos, A y B:

{\displaystyle n(\phi )=0} {\displaystyle n(\phi )=0}

{\displaystyle A=B\Rightarrow n(A)=n(B)} {\displaystyle A=B\Rightarrow n(A)=n(B)}
{\displaystyle A\subseteq B\Rightarrow n(A)\leq n(B)} {\displaystyle A\subseteq
B\Rightarrow n(A)\leq n(B)}
{\displaystyle n(A\cup B)=n(A)+n(B)-n(A\cap B)} {\displaystyle n(A\cup B)=n(A)
+n(B)-n(A\cap B)}
{\displaystyle n(U)=n(A)+n(A^{c})} {\displaystyle n(U)=n(A)+n(A^{c})}
{\displaystyle n(A-B)=n(A)-n(A\cap B)} {\displaystyle n(A-B)=n(A)-n(A\cap B)}
Y en el caso de tres conjuntos, A, B y C:

{\displaystyle n(A\cup B\cup C)=n(A)+n(B)+n(C)-n(A\cap B)-n(A\cap C)-n(B\cap C)

+n(A\cap B\cap C)} {\displaystyle n(A\cup B\cup C)=n(A)+n(B)+n(C)-n(A\cap B)-
n(A\cap C)-n(B\cap C)+n(A\cap B\cap C)}
{\displaystyle n(A-(B\cup C))=n(A)-n(A\cap B)-n(A\cap C)+n(A\cap B\cap C)}
{\displaystyle n(A-(B\cup C))=n(A)-n(A\cap B)-n(A\cap C)+n(A\cap B\cap C)}
{\displaystyle n((A\cap B)-C)=n(A\cap B)-n(A\cap B\cap C)} {\displaystyle n((A\cap
B)-C)=n(A\cap B)-n(A\cap B\cap C)}
{\displaystyle n((A\cup B)-C)=n(A\cup B)-n(A\cap C)-n(B\cap C)+n(A\cap B\cap C)}
{\displaystyle n((A\cup B)-C)=n(A\cup B)-n(A\cap C)-n(B\cap C)+n(A\cap B\cap C)}
En un conjunto infinito no hay un n�mero finito de elementos. Es el caso por
ejemplo de los n�meros naturales: N = {1, 2, 3, ...}. Sin embargo, existe una
manera de comparar conjuntos infinitos entre s�, y se obtiene que existen conjuntos
infinitos �m�s grandes� que otros. El �n�mero de elementos� de un conjunto infinito
es un n�mero transfinito.

Cardinalidad de los reales

Art�culo principal: N�mero real
Uno de los resultados m�s importantes de Georg Cantor fue que la cardinalidad de
los reales ( {\displaystyle {\mathfrak {c}}} {\displaystyle {\mathfrak {c}}}) es
m�s grande que la de los n�meros naturales ( {\displaystyle \aleph _{0}} \aleph
_{0}). Esto es, que hay m�s n�meros reales R que n�meros enteros N. Concretamente,
Cantor mostr� que {\displaystyle {\mathfrak {c}}=2^{\aleph _{0}}>{\aleph _{0}}}
{\displaystyle {\mathfrak {c}}=2^{\aleph _{0}}>{\aleph _{0}}}

La hip�tesis del continuo afirma que no existen conjuntos con cardinalidades

intermedias entre los naturales y los reales:

No existe ning�n conjunto A tal que su cardinal |A| cumpla:

{\displaystyle \aleph _{0}<|A|<2^{\aleph _{0}}} {\displaystyle \aleph _{0}<|A|
<2^{\aleph _{0}}}
Si se asume el axioma de elecci�n, la estructura de los cardinales infinitos es m�s
clara: todos los cardinales infinitos son �lefs y est�n bien ordenados, por lo que
existe s�lo un cardinal inmediatamente superior a ?0, denotado por ?1. La hip�tesis
es equivalente entonces a:

El cardinal del conjunto de los n�meros reales es el inmediatamente superior al

cardinal de los n�meros naturales:
{\displaystyle 2^{\aleph _{0}}=\aleph _{1}} {\displaystyle 2^{\aleph _{0}}=\aleph
_{1}}
Operaciones con conjuntos
Operaciones con conjuntos

Uni�n

Intersecci�n

Diferencia

Complemento

Diferencia sim�trica
Art�culo principal: �lgebra de conjuntos
Existen varias operaciones b�sicas que pueden realizarse, partiendo de ciertos
conjuntos dados, para obtener nuevos conjuntos:

Uni�n: (s�mbolo ?) La uni�n 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.
{\displaystyle A\cup B=\{x\mid x\in A\lor x\in B\}} {\displaystyle A\cup B=\{x\mid
x\in A\lor x\in B\}}
Intersecci�n: (s�mbolo n) La intersecci�n de dos conjuntos A y B es el conjunto A n
B de los elementos comunes a A y B.
{\displaystyle A\cap B=\{x\mid x\in A\land x\in B\}} {\displaystyle A\cap B=\{x\mid
x\in A\land x\in B\}}
Diferencia: (s�mbolo \) La diferencia del conjunto A con B es el conjunto A \ B que
resulta de eliminar de A cualquier elemento que est� en B.
{\displaystyle A\setminus B=\{x\mid x\in A\land x\notin B\}} {\displaystyle
A\setminus B=\{x\mid x\in A\land x\notin 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.
{\displaystyle A^{c}=\{x\in U\mid x\not \in A\}} {\displaystyle A^{c}=\{x\in U\mid
x\not \in A\}}
Diferencia sim�trica: (s�mbolo ?) La diferencia sim�trica 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.
{\displaystyle A\bigtriangleup B=\{x\mid x\in A\setminus B\lor x\in B\setminus A}\}
{\displaystyle A\bigtriangleup B=\{x\mid x\in A\setminus B\lor x\in B\setminus A}\}
Producto cartesiano: (s�mbolo �) 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
{1, a, 0} ? {2, b} = {2, b, 1, a, 0}
{5, z, ?} n {?, 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)}
V�ase tambi�n
Axiomas de Zermelo-Fraenkel
Relaci�n matem�tica
Correspondencia matem�tica
Conjunto de Borel
Equipotencia de conjuntos
Diagrama de Venn
Estructura algebraica
Funci�n matem�tica
Georg Cantor
Morfismo
Teor�a de conjuntos
Notas y referencias
Notas
Este s�mbolo lo introdujo Peano. Vid Matem�tica Moderna de Andr� Warusfel sobre
epsilon y Nachbin en su �lgebra Elemental (p�g.1 y p�g.2) habla de: "La notaci�n de
Peano x ? X".
Tambi�n se utiliza la notaci�n A ? B y B ? A, pero seg�n el autor esto puede
denotar subconjunto, A ? B y B ? A; o subconjunto propio, A ? B y B ? A. V�ase
Subconjunto.
Referencias
Esta secci�n est� basada en Ferreir�s, J. �The early development of set theory�.
En Edward N. Zalta. The Stanford Encyclopedia of Philosophy (Fall 2011 edition) (en
ingl�s). Archivado desde el original el 30 de julio de 2012. Consultado el 15 de
diciembre de 2011.
V�ase Cantor, Georg (2006) [1872-1899]. Fundamentos para una teor�a general de
conjuntos. Escritos y correspondencia selecta. Edici�n de Jos� Ferreir�s. Cr�tica.
p. 137. ISBN 84-8432-695-0.
Bibliograf�a
Courant, Richard; Robbins, Herbert; Stewart, Ian (1996). What is Mathematics? An
Elementary Approach to Ideas and Methods (en ingl�s). Oxford University Press. ISBN
0-19-510519-2. Suplemento del cap�tulo II.
Ivorra, Carlos, L�gica y teor�a de conjuntos, consultado el 18 de abril de 2011.
Jech, Thomas. �Set Theory�. En Edward N. Zalta. The Stanford Encyclopedia of
Philosophy (Spring 2009 Edition) (en ingl�s). Consultado el 22 de abril de 2011.
Lipschutz, Seymour (1991). Teor�a de conjuntos y temas afines. McGraw-Hill. ISBN
968-422-926-7.
Nachbin, Leopoldo : �lgebra elemental (1986) Rochester, Nueva York; editora: Eva V.
Chesnau. Edici�n de la OEA, traducida al espa�ol por C�sar E. Silva.
Bibliograf�a adicional
Halmos, Paul R. : Teor�a intuitiva de conjuntos (1965) Compa��a editorial
Continental S.A. M�xico 22, D.F. primera edici�n en espa�ol.
Enlaces externos
Wikimedia Commons alberga una categor�a multimedia sobre Conjuntos.
Weisstein, Eric W. �Set�. En Weisstein, Eric W. MathWorld (en ingl�s). Wolfram
Research.
Esta obra contiene una traducci�n derivada de Set de Wikipedia en ingl�s, publicada
por sus editores bajo la Licencia de documentaci�n libre de GNU y la Licencia
Creative Commons Atribuci�n-CompartirIgual 3.0 Unported.
Categor�as: ConjuntosTeor�a de conjuntosTerminolog�a matem�tica
Men� de navegaci�n
No has accedidoDiscusi�nContribucionesCrear una
cuentaAccederArt�culoDiscusi�nLeerEditarVer historialBuscar
Buscar en Wikipedia
Portada
Portal de la comunidad
Actualidad
Cambios recientes
P�ginas nuevas
P�gina aleatoria
Ayuda
Donaciones
Notificar un error
En otros proyectos
Wikimedia Commons
Imprimir/exportar
Crear un libro
Descargar como PDF
Versi�n para imprimir
Herramientas
Lo que enlaza aqu�
Cambios en enlazadas
Subir archivo
P�ginas especiales
Enlace permanente
Informaci�n de la p�gina
Elemento de Wikidata
Citar esta p�gina

En otros idiomas
???????
English
??????
Bahasa Indonesia
Bahasa Melayu
Portugu�s
???????
????
??
84 m�s
Editar enlaces
Esta p�gina se edit� por �ltima vez el 28 may 2019 a las 20:19.
El texto est� disponible bajo la Licencia Creative Commons Atribuci�n Compartir
Igual 3.0; pueden aplicarse cl�usulas adicionales. Al usar este sitio, usted acepta
nuestros t�rminos de uso y nuestra pol�tica de privacidad.
Wikipedia� es una marca registrada de la Fundaci�n Wikimedia,