Notacin de conjuntos

El concepto de conjunto es intuitivo y se podra definir como una "coleccin de objetos"; as,
se puede hablar de un conjunto de personas, ciudades, gafas, lapiceros o del conjunto de
objetos que hay en un momento dado encima de una mesa. Un conjunto est bien definido si
se sabe si un determinado elemento pertenece o no al conjunto. El conjunto de los bolgrafos
azules est bien definido, porque a la vista de un bolgrafo se puede saber si es azul o no. El
conjunto de las personas altas no est bien definido, porque a la vista de una persona, no
siempre se podr decir si es alta o no, o puede haber distintas personas, que opinen si esa
persona es alta o no lo es. En el siglo XIX, segn Frege, los elementos de un conjunto se
definan slo por tal o cual propiedad.
Un conjunto es una agrupacin, clase o coleccin de objetos denominados elementos del
conjunto (aunque cualquier definicin dada esconde implcitamente paradojas lgicas o
contradicciones). Por objeto entenderemos no slo entes fsicos, como mesas, sillas, etc.,
sino tambin entes abstractos, como son nmeros, letras, etc. La relacin de pertenencia
entre los elementos y los conjuntos siempre es perfectamente discernible, en otras palabras,
si un objeto pertenece a un conjunto o no, siempre puede calificarse como verdadero o falso.
Un conjunto se puede determinar de dos maneras: por extensin y por compresin.

Ejemplo:
Determinacin de un conjunto por extensin
Un conjunto est determinado por extensin cuando se escriben uno a uno todos sus
elementos.
Los nmeros menores que 5: A={1,2,3,4}.

Determinacin por compresin

Un conjunto est determinado por compresin cuando solamente se menciona una
caracterstica comn de todos los elementos.
El conjunto de vocales del abecedario: X={x: x es una vocal}.

Cardinalidad
La cardinalidad de un conjunto se representa con el smbolo # y corresponde al nmero de
elementos que tiene el conjunto.
Dos conjuntos se dicen equipotentes cuando es posible establecer una aplicacin biyectiva
entre ellos.
Diremos que dos conjuntos tienen el mismo cardinal cuando sean equipotentes. Asociaremos
un smbolo comn a todos los conjuntos que tengan el mismo cardinal.
As, a los conjuntos equipotentes al conjunto vaco les asociaremos el smbolo 0; a los
-3-

equipotentes a un conjunto unitario, el smbolo 1; al cardinal de un conjunto binario es 2; el

de uno ternario, 3; etc.

Ejemplo:
W={ $, %, &, /, }El conjunto W est integrado por 5 elementos, por lo tanto, su cardinalidad
es 5 ( #=5 )

Relacin de pertenencia
Para indicar que un objeto es un elemento de un conjunto se utiliza el smbolo . Por
ejemplo, para el conjunto A = {1,2,3,4,5,6}, podemos escribir 1 A, 2 A, , 6 A.

Ejemplo:
Si un objeto no es un elemento del conjunto, lo indicaremos con el smbolo . As, para el
conjunto anterior, escribiremos 0 A, - 3 A, ...

Contencin de conjuntos
Un conjunto est contenido en otro si todo elemento del primero es elemento del segundo, el
primer conjunto est "contenido" en el otro.

Ejemplo:
El conjunto de vocales est contenido en el conjunto de letras del alfabeto. O el conjunto de
todos los cuadrados est contenido en el conjunto de los paralelogramos.
El signo del contenido es una U girada a la derecha 90 grados (no s escribirla en este
editor). La representacin en un diagrama de Venn se plasma dibujando el conjunto B dentro
del rea que representa al conjunto A.

-3-