c

 

En matemáticas, un 

 es un concepto fundamental, y como tal no admite definición

en términos de conceptos más fundamentales.[1] A veces se lo presenta como un concepto
autoevidente, o por medio de sinónimos. Por ejemplo, a veces se dice que un conjunto es
una colección de objetos.[1] Por objeto aquí no debe entenderse sólo las entidades físicas,
como las mesas y las sillas, sino todo objeto en el sentido más amplio de la palabra: mesas,
sillas, personas, ideas, creencias, lenguajes, letras, otros conjuntos, etc. A los objetos que
pertenecen a un conjunto se los llama V
V o

V
 del conjunto.

Otras veces se toma a los axiomas de la teoría de conjuntos como proveyendo una
definición implícita de lo que es un conjunto: un conjunto es todo aquello que cumple con
los axiomas.[1] Sin embargo, esto conlleva el riesgo de que haya más de una interpretación
que haga verdaderos a los axiomas (más de un modelo), y por lo tanto de que haya más de
un


 V

La cantidad de elementos de un conjunto puede ser finita o infinita.[2] Por ejemplo, el

conjunto de los números naturales, que son infinitos, es tanto como el conjunto de los
planetas del Sistema Solar, que son ocho.

En un conjunto, el orden de los elementos es irrelevante.[2] El conjunto compuesto por

Venus y Mercurio es el mismo que el compuesto por Mercurio y Venus. También es
irrelevante si se repite un elemento.[2] Venus y Mercurio forman el mismo conjunto que
Mercurio, Venus y Mercurio.

Los conjuntos no deben ser confundidos con los agregados. Los primeros son estudiados
por la teoría de conjuntos, los segundos por la mereología. Los primeros son siempre
entidades abstractas, los segundos no siempre. Por ejemplo, el conjunto de todas las
personas no tiene ningún peso, pero el agregado de todas las personas sí.

u 


 


 

Œn conjunto se puede determinar de dos maneras: por extensión y por comprensión

 



Œn conjunto está determinado por extensión cuando se escriben uno a uno todos sus
elementos. Por ejemplo, el conjunto de los números naturales menores que 9:

 




Œn conjunto está determinado por comprensión cuando solamente se menciona una
característica común de todos los elementos. Por ejemplo, el conjunto formado por las
letras vocales del abecedario:

Dos conjuntos son idénticos si, y sólo si, contienen los mismos elementos. Se puede
obtener una descripción más detallada en la teoría de conjuntos.

Las aplicaciones de teoría de conjuntos son muy amplias, y baste con mencionar que se
utiliza en el diseño de circuitos en electrónica digital; en cuestiones relacionadas con
probabilidad; y sus conceptos están de manera implícita en la terminología utilizada en
diseño de bases de datos, cuando se realizan las consultas.

 



 


 

 es subconjunto de .

Œnión de  y .
Intersección de  y .

Los conjuntos son uno de los conceptos básicos de la matemática. Como ya se ha dicho, un
conjunto es, más o menos, una colección de objetos, denominados  

. La notación
estándar utiliza llaves , y  alrededor de la lista de elementos para indicar el contenido del
conjunto, como por ejemplo:

Las tres líneas anteriores denotan el mismo conjunto. Como puede verse, es posible
describir el mismo conjunto de diferentes maneras: o bien dando un listado de sus
elementos (lo mejor para conjuntos finitos pequeños) o bien dando una propiedad que
defina todos sus elementos. Por otro lado, no importa el orden, ni cuantas veces aparezcan
en la lista sus elementos.

Si ! y son dos conjuntos y todo elemento
de ! está contenido también en , entonces se

dice que ! es un subconjunto de . Todo conjunto tiene como subconjunto a sí mismo y al
conjunto vacío, {}.

La 

de una colección de conjuntos: es el conjunto de todos

los elementos contenidos al menos una vez en los conjuntos y se
representa:

La 



de una colección de conjuntos: , es el conjunto
de todos los elementos contenidos simultáneamente en todos los conjuntos:
y se representa:

los conjuntos también son nombrados según el número de elementos que tengan ejemplo
conjunto vacío, conjunto unitario,conjuntofinito,conjunto infinito. Algunos ejemplos de
conjuntos de números son:

1.Y Los números naturales utilizados para contar los elementos de un conjunto.
2.Y Los números enteros.
 Ú.Y Los números racionales.
4.Y Los números reales, que incluyen a los números irracionales.
5.Y Los números complejos que proporcionan soluciones a ecuaciones del tipo:
2 + 1 =
0.

La teoría estadística se construye sobre la base de la teoría de conjuntos y la teoría de la

probabilidad.

 







Œna categoría matemática consta de dos partes: los objetos y los morfismos. Cuando
hablamos de la categoría de conjuntos, los objetos son los mismos conjuntos y un
morfismo
entre dos objetos, digamos  e , en un tipo de 
 

 e    i.e.
un subconjunto del producto cartesiano de  con , en símbolos:

y ésta es una aplicación entre los conjuntos.

c

 


 

  

 
  

 
Al definir un conjunto L no sólo se determinan sus elementos, sino también los que no lo
son. Sin embargo, esto puede acarrear algún problema. Por ejemplo, pensemos en el
conjunto de los números enteros, Z. Si hacemos caso de lo dicho hasta ahora, Z no define
sólo el conjunto de los números enteros; define también un conjunto Z¶, al que definimos
como ³todo aquello que no es un número entero´. Hasta aquí, todo parece correcto: el
conjunto Z¶ contiene, por ejemplo, el número Ú 4, la raíz cuadrada de 2, ... pero también
incluye los templos hindúes a orillas del Ganges, o las zapaterías del barrio gótico de
Barcelona. Para evitar complicaciones, resulta más adecuado restringir los elementos
considerados a un conjunto menor. En nuestro caso, servirá el conjunto de los números
reales ( ). Con el fin de obtener esta restrición postulamos un conjunto universal E que
definimos como el conjunto de todos los elementos que consideramos. El complementario
de un conjunto es entonces el complementario respecto de este conjunto universal. La
interpretación de este conjunto universal por parte de Boole le llevó a identificar tal
conjunto con el valor ³1´.

Queda por determinar qué es un conjunto vacío. En general, la intersección de dos

conjuntos sería siempre un conjunto, excepto cuando no tienen elementos comunes. Este
caso especial se elimina postulando un conjunto vacío, &. La interpretación de este
conjunto universal por parte de Boole le llevó a identificar tal conjunto con el valor ³0´.
Esta asignación de valores 1-0 a los conjuntos E y & tiene importantes consecuencias no
sólo en el ámbito de la lógica sentencial sino también en ámbitos que aquí no tratamos,
como la teoría de la probabilidad (diremos sólo que cualquier valor de probabilidad se
encuentra entre 0 y 1).
Para mostrar algunas de estas consecuencias, consideremos el modo de Boole de asignar
valores de verdad a las proposiciones: hoy día expresamos la certeza de un enunciado
asignándole el valor ³1´, y su falsedad con el valor ³0´. Pues bien, en Bochénski leemos:

[  V V
 


   
 
  

consideración, se podrán imaginar sólo dos casos, a saber, primero, que la sentencia sea
verdadera, y la segunda, que sea falsa. Como estos casos componen el universo de la
sentencia, y el primero se representa por el símbolo x, el segundo se representará por el
símbolo (1-x)´

^
 c




c^ ^u
c ^

Œn 

 es la reunión en un todo de objetos bien definidos y diferenciables

entre si, que se llaman elementos del mismo.

Si  es un elemento del conjunto ! se denota con la á
  á

 .
En caso contrario, si  no es un elemento de ! se denota ´!.

Ejemplos de conjuntos:

‘Y â : el , que carece de elementos.

‘Y : el conjunto de los V

.
‘Y -: el conjunto de los V


.
‘Y å : el conjunto de los V
 
.
‘Y : el conjunto de los V


.
‘Y c: el conjunto de los V
V
.

Se puede

  un conjunto:

‘Y por


 , enumerando todos y cada uno de sus elementos.

‘Y por V
 , diciendo cuál es la propiedad que los caracteriza.

Œn conjunto se suele
 encerrando


 a sus elementos, si se define

por extensión,
o su propiedad característica, si se define por comprensión. Por ejemplo:

‘Y A := {1,2,Ú, ... ,n}

 ‘Y B := {p- | p es par}

Se dice que A está contenido en B (también que A es un a
 

 de B o que A
es una parte de B),
y se denota A  B, si todo elemento de A lo es también de B, es decir, a A a
B.

Dos conjuntos A y B se dicen 
, y se denota A = B, si simultáneamente A  B

y B  A;
esto equivale a decir que tienen los mismos elementos (o también la misma
propiedad característica).

Para cualquier conjunto A se verifica que â A y A A;

B  A es un   de A si A ëâ y B ë A.

El conjunto formado por todos los subconjuntos de uno dado A se llama á

a de
A, y se denota > (A).
Entonces, la relación B  A es equivalente a decir B > (A). Ejemplos:

Si A = {a,b} entonces > (A) = {â ,{a},{b},A}.

Si a A entonces {a} > (A).

Cuando en determinado contexto se consideran siempre conjuntos que son partes de

uno dado Œ,
se suele considerar a dicho Πcomo  
  áa
o de referencia.


c

^
c ^

Dados dos conjuntos A y B, se llama 

 al conjunto A UB := {a A | a ´

B}.
Asimismo, se llama 


 
 entre A y B al conjunto A ½B := (A U B)

U A

Si A > (Œ), a la diferencia Œ U A se le llama   

 de A respecto de

Œ,
y se denota abreviadamente por A' (Πse supone fijado de antemano).

Es fácil ver que si A y B son subconjuntos cualesquiera de Œ se verifica:

‘Y â ' = Œ .
‘Y Œ ' = â
.
 ‘Y (A')' = A .
‘Y A  B
B' A' .
‘Y Si A = { x Œ | p(x) es una proposición verdadera} entonces A' = { x  Œ |
p(x) es una proposición falsa}.

Se llama 

de dos conjuntos A y B al conjunto formado por objetos que son
elementos de A o de B,
es decir: A B := { x | x  A  x  B}.

Se llama 



de dos conjuntos A y B al conjunto formado por objetos que
son elementos de A y de B,
es decir: A $B := {x | x  A  x  B}.

Si A y B son subconjuntos de un cierto conjunto universal Œ, entonces es fácil ver

que A U
B = A $ B'.
En este caso, la llamadas 


  

(unión e intersección) verifican
las siguientes 

:

PROPIEDADES Œ
IO
I
TERSECCIO

—
  
 A A=A A $A = A

c
 A B=B A A$B=B$A
Ú

 A (B C)=(A B) C A$(B$C)=(A$B)$C
=



A (A$B)=A A$(A B)=A
J
u

 A (B$C)=(A B)$(A C) A$(B C)=(A$B) (A$
R
c  

  A A' = Œ A $A' = â

Estas propiedades hacen que partes de Œ con las operaciones unión e intersección
tenga una estructura de álgebra de Boole.
Además de éstas, se verifican también las siguientes propiedades:

‘Y A â = A , A $â = â (

V
 ).
‘Y A Œ = Œ , A $ Œ = A (

V
 
 ).
‘Y ( A B )' = A' $ B' , ( A $ B )' = A' B' ( 


 ).

Dados dos conjuntos A y B, se define el 
 



de ambos como el
conjunto de pares ordenados:

A OB := { (a,b) : a A b  B}
Dos pares (a,b) y (c,d) de A O B son 
 si a = c y b = d; análogamente, dados
cuatro conjuntos A,B,C,D se verifica

A O B = C O D
( A = C  B = D )

Se llama á relativo a AO B a todo subconjunto G  A O B.

Dado un grafo G relativo a AO B, se llama á  de G sobre A al conjunto

ProyAG := { a A : (a,b)  G,  b  B}

Análogamente se define la proyección ProyBG de G sobre B.

Por último, los conceptos anteriores pueden 

 


V  
.
Si para cada elemento i de un conjunto (de  
) I se tiene un conjunto Ai,
entonces se define el conjunto { Ai : i I }
y se denomina 
  
a indicada por I. También se suele denotar por {
Ai } i I.
De forma análoga se define una
V  


V
( ai ) i I .

Dada una familia de conjuntos { Ai } i I se definen:

‘Y i I Ai := { a : a  Ai ,  i  I }
‘Y $i  I Ai := { a : a  Ai ,  i  I }
‘Y —i  I Ai := { (ai) : ai Ai ,  i  I }

Las propiedades de la unión e intersección siguen siendo válidas para familias de

conjuntos, y en particular las 


:

( iI Ai )' = $i  I A'i , ($i  I Ai )' = iI A'i

uu



Los conjuntos de suelen representar gráficamente mediante "diagramas de Venn",

con una línea que encierra a sus elementos.
Así, todas las operaciones entre conjuntos se pueden representar gráficamente con el
fin de obtener una idea más intuitiva.

AB
A B

A$B

AUB
A½B


c
^
^
u
c ^c
 c

Existe una relación muy estrecha entre la Teoría de Conjuntos y la Lógica

Proposicional.
Para mostrar dicha relación, denotemos por letras mayúsculas A,B ... los conjuntos
y
por las correspondientes minúsculas a,b ... sus propiedades características
(es decir, la proposición lógica que caracteriza a los elementos de cada conjunto);
entonces se tiene la siguiente correspondencia:




AB A=B A B A $ B A' A U B A ½ B




a b a

b ab ab a' a  b' ab

Además, el conjunto vacío se corresponde con una    y el conjunto

universal con una .
Mediante esta correspondencia, todos los resultados sobre conjuntos se pueden
reescribir en términos de lógica
proposicional y viceversa; a modo de ejemplo:

A (A$B)=A a(bc)
a
A (B$C)=(A B)$(A C a(bc)
(ab)(ac
) )
(A B )' = A' $ B' ( a  b )'
a'  b'

 c
cc ^cu


Los símbolos  (cuantificador universal) y  (cuantificador existencial) se utilizan

en Matemáticas para
enunciar proposiciones logicas relativas a objetos matemáticos.

Sea A un conjunto y p(x) una proposición o propiedad que hace referencia a un

elemento x.

½— Cuantificador universal : La expresión

x A p(x)

se lee "para todo x que pertenece a A se verifica p(x)", representa la proposición

{ x A : p(x) } = A

½ Cuantificador existencial : La expresión

x A | p(x)

se lee "existe x que pertenece a A tal que p(x)", representa la proposición

{ x A : p(x) } ëâ

La negación de cualquiera de las dos proposiciones anteriores se realiza negando la

proposición p(x)
y cambiando el cuantificador universal por el cuantificador existencial, o viceversa.

Así, la negación de la proposición " x  A p(x)" es " x  A | p(x)' ", mientras

que
la negación de " x  A | p(x)" es " x  A p(x)' "
Y