Teora de conjuntos

Diagrama de Venn que muestra un conjunto A contenido en otro conjunto U y su

diferencia
La teora de conjuntos es una divisin de las matemticas que estudia los conjuntos. El
primer estudio formal sobre el tema fue realizado por el matemtico alemn Georg
Cantor en el Siglo XIX y ms tarde reformulada por Zermelo.
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.
Actualmente la teora de conjuntos est bien definida por el sistema ZFC. Sin embargo,
sigue siendo clebre la definicin que public Cantor
Se entiende por conjunto a la agrupacin en un todo de objetos bien diferenciados de nuestra
intuicin o nuestra mente.
Georg Cantor

Notacin
Usualmente los conjuntos se representan con una letra mayscula: A, B, K,...
Llamaremos elemento, a cada uno de los objetos que forman parte de un conjunto, estos
elementos tienen carcter individual, tienen cualidades que nos permiten diferenciarlos,
y cada uno de ellos es nico, no habiendo elementos duplicados o repetidos. Los
representaremos con una letra minscula: a, b, k,...
De esta manera, si
escribir:

es un conjunto, y

todos sus elementos, es comn

para definir a tal conjunto . Esta notacin empleada para definir al conjunto
llama notacin por extensin

se

Para representar que un elemento pertenece a un conjunto A, escribimos

"x en A", "x pertenece a A" o bien "x es un elemento de A"). La negacin de
escribe

(lase no pertenece a

(lase
se

).

El conjunto universal, que siempre representaremos con la letra U (u mayscula), es el

conjunto de todas las cosas sobre las que estemos tratando. As, si hablamos de nmeros
enteros entonces U es el conjunto de los nmeros enteros, si hablamos de ciudades, U es
el conjunto de todas las ciudades, este conjunto universal puede mencionarse
explcitamente, o en la mayora de los casos se da por supuesto dado el contexto que
estemos tratando, pero siempre es necesario demostrar la existencia de dicho conjunto
previamente.
Existe adems, un nico conjunto que no tiene elementos al que se le llama conjunto
vaco y que se denota por . Es decir

La caracterstica importante de este conjunto es que satisface todos los elementos

posibles no estn contenidos en l, es decir
.
Por otro lado, si todos los elementos de un conjunto A satisfacen alguna propiedad,
misma que pueda ser expresada como una proposicin
usamos la notacin por comprensin, y se puede definir:

, con la indeterminada ,

Lo anterior se lee "A es el conjunto de elementos x, que cumplen la propiedad p(x)". El

smbolo ":" se lee "que cumplen la propiedad" o "tales que"; este smbolo puede ser
remplazado por una barra .
Por ejemplo, el conjunto

donde el smbolo

puede definirse por:

representa al conjunto de los nmeros naturales.

El uso de algn conjunto es muy importante, ya que de no hacerlo se podra caer en

contradicciones como ejemplo:

Es decir, es el conjunto donde cada elemento satisface la propiedad

. Al
principio uno podra creer que ningn conjunto puede estar contenido en s mismo y que
por lo tanto
no contiene elemento alguno; sin embargo, en vista de que
es un
conjunto, cabe hacer la pregunta "
?" Si la respuesta es negativa (
)
entonces
cumple la propiedad
la respuesta es afirmativa (

y por lo tanto
. Si por el contrario
), entonces
no cumple con la propiedad

y por esta razn

. Esta paradoja es muy famosa y se conoce como la
paradoja del barbero esta es una de las tantas incongruencias que tena la teora de
Cantor.

Igualdad entre conjuntos. Subconjuntos y Superconjuntos

Igualdad de conjuntos
Dos conjuntos y se dicen iguales, lo que se escribe
si constan de los
mismos elementos. Es decir, si y solo si todo elemento de A est tambin contenido en
B y todo elemento de B est contenido en A. En smbolos:

Subconjuntos y Superconjuntos

Diagrama de Venn que muestra

Un conjunto
elemento de

se dice que es subconjunto de otro

, es decir, cuando se verifique:

, si cada elemento de

es tambin

,
sea cual sea el elemento . En tal caso, se escribe

Cabe sealar que, por definicin, no se excluye la posibilidad de que si

, se
cumpla
. Si tiene por lo menos un elemento que no pertenezca al conjunto
pero si todo elemento de es elemento de , entonces decimos que es un
subconjunto propio de , lo que se representa por
. En otras palabras,

si y slo si
,y
. As, el conjunto vaco es subconjunto propio de
todo conjunto (excepto de s mismo), y todo conjunto A es subconjunto impropio de s
mismo.
Si es un subconjunto de , decimos tambin que
se escribe
. As pues

es un superconjunto de

, lo que

,
y tambin que:
,
significando

que

es superconjunto propio de

Por el principio de identidad, es siempre cierto

, para todo elemento
, por lo que todo conjunto es subconjunto (y tambin superconjunto) de s mismo.
Vemos que

es una relacin de orden sobre un conjunto

(
(
(

de conjuntos, pues

es reflexiva)
es antisimtrica)
es transitiva)

Operaciones de conjuntos
Sean

dos conjuntos.

Unin

Diagrama de Venn que ilustra

Para cada par de conjuntos A y B existe un conjunto que se denota como
el cual
contiene todos los elementos de A y de B. De manera ms general, para cada conjunto S

existe otro conjunto denotado como

de manera que sus elementos son todos los
tales que
. De esta manera
es el caso especial donde
.
Es claro que el hecho de que un elemento x pertenezca a
es condicin necesaria
y suficiente para afirmar que x es un elemento de A o al menos de B. Es decir

Ejemplos: si tenemos los conjuntos

Entonces

Interseccin

Diagrama de Venn que ilustra

Los elementos comunes a y forman un conjunto denominado interseccin de y
, representado por
. Es decir,
es el conjunto que contiene a todos los
elementos de A que al mismo tiempo estn en B:
.

Si dos conjuntos y
conjuntos disjuntos.

son tales que

Es claro que el hecho de que

afirmar que
y
. Es decir

, entonces

se dice que son

es condicin necesaria y suficiente para

Ejemplos: si tenemos los conjuntos

Entonces:

Particiones
Dado un conjunto A y una serie de subconjuntos Ai, se dice que Ai son particiones de A
cuando la unin de todas es el conjunto A, y la interseccin de todas es el conjunto
vaco.

Diferencia

Diagrama de Venn que muestra A B

Diagrama de Venn que muestra B A

Los elementos de un conjunto que no se encuentran en otro conjunto , forman otro
conjunto llamado diferencia de y , representado por
. Es decir:
.
o dicho de otra manera:

Algunas personas prefieren denotar la diferencia de

como

Una propiedad interesante de la diferencia es que

eso es porque

Ejemplos: Sin importar cual conjunto A elija usted, siempre se cumple

Complemento
El complemento de un conjunto A, es el conjunto de los elementos que pertenecen a
algn conjunto U pero no pertenecen a A, que lo representaremos por

. Es decir

El conjunto complemento siempre lo es respecto al conjunto universal que estamos

tratando, esto es, si hablamos de nmeros enteros, y definimos el conjunto de los
nmeros pares, el conjunto complemento de los nmeros pares, es el formado por los
nmeros no pares. Si estamos hablando de personas, y definimos el conjunto de las
personas rubias, el conjunto complementario es el de las personas no rubias.
En vista de que

, entonces

,
de manera que

Pero tambin

de modo que

Diferencia simtrica
Los elementos de dos conjuntos,A y B a excepcin de aquellos que se encuentran en el
rea de interseccin de dichos conjuntos se define la diferencia simtrica.

lgebra de conjuntos
Sean A, B, y C conjuntos cualesquiera y U un conjunto tal que
entonces:

Elemento neutro de la unin

Elemento neutro de la interseccin
8

Propiedad conmutativa de la interseccin

Propiedad conmutativa de la unin
Propiedad de Involucin.

Propiedad asociativa de la

interseccin
Propiedad asociativa de la unin

Propiedad distributiva de la

interseccin
Propiedad distributiva de la

unin

Producto cartesiano de conjuntos o producto cruz

Artculo principal: Producto cartesiano

Un par ordenado de nmeros

slo si
.

es tal si los pares

son uno mismo si y

Dados dos conjuntos y , definimos al conjunto producto ( o producto cartesiano) de

y (en ese orden), representado por
, como el conjunto

Ejemplo
Sean

. As,

Ya que el producto cartesiano est formado de pares ordenados (donde el orden de los
componentes importa), resulta

Cuantificadores
Los cuantificadores sirven para indicar cuantos elementos de un conjunto dado cumplen
con cierta propiedad. Tales cuantificadores son

El cuantificador universal, representado por . Este cuantificador se

emplea para afirmar que todos los elementos de un conjunto cumplen
con determinada propiedad. Se escribe

El cuantificador existencial se usa para indicar que al menos un elemento

de un conjunto cumple con una propiedad. Se escribe
.

Se definen

Funciones
Artculo principal: Funcin matemtica

Sean y dos conjuntos. Un subconjunto

de en , lo que se representa por

, se dice aplicacin o funcin

siempre que se verifique

10

Si
, el elemento se dice imagen de por , y el elemento se llama
antecedente de por .
Sea una funcin
de

. Se emplea la notacin

por , y por tanto

para representar a la imagen

Sean las funciones

. Se define

,
y se dice que

es el producto de composicin de las funciones y .

Sean

tres funciones. Entonces

.
Para demostrar la igualdad tendremos que probar que tienen el mismo dominio, el
mismo codominio, y que sus imgenes son iguales:

Hemos demostrado que los dominios son iguales.

Tambin vemos que tienen el mismo codominio, slo nos queda ver que
:

Por lo tanto queda probado que:

11