5

EVALUACIN INICIAL No. 1

La siguiente prueba tiene como propsito invitarlo a recordar algunos
conceptos bsicos de la teora de conjuntos, que le sern de gran utilidad para
el desarrollo del presente mdulo.

Para iniciar esta labor, se le sugiere buen nimo y disposicin, as obtendr
mejores resultados.

La solucin de cada uno de los puntos propuestos, se desarrollar a lo largo
del captulo.

XITOS!

1. Todos los conjuntos que se nombran por comprensin, se pueden
escribir por extensin?
2. Si A, B y C son tres conjuntos no vacos que verifican las condiciones
A B y B C, qu se puede concluir de A con respecto a C?
3. El conjunto (vaco) es un subconjunto de todo conjunto? Justificar.
4. Cuntos y cules son los subconjuntos que se pueden formar de un
conjunto A = { 1,3,5}?
5. Enuncie y defina las operaciones entre dos conjuntos A y B.
6. El producto cartesiano entre dos conjuntos A y B es conmutativo?
(A X B = B X A)
7 Qu significa la expresin Familia de conjuntos?
8. Cundo se dice que un conjunto esta parcialmente ordenado?
9. Cmo se identifican el primer y ltimo elemento de un conjunto
ordenado?
10. Cundo un elemento de un conjunto ordenado es maximal o minimal?




1.1 DEFINICIN Y GENERALIDADES

Las nociones de conjunto y de elemento son ideas primitivas que se presentan
en forma intuitiva. Los conjuntos estn relacionados con el proceso de contar y
por lo tanto permiten resolver problemas que involucran el concepto de
cantidad.

Se puede afirmar que un conjunto es una coleccin de objetos, smbolos o
entidades bien definidas, que reciben el nombre de miembros o elementos del
conjunto.

Generalmente, los conjuntos se identifican con letras maysculas y sus
elementos con minsculas. Para indicar que un elemento es un miembro de un
6
conjunto, se utiliza el smbolo e (se lee pertenece a) y para indicar que no
esta en el conjunto se utiliza el smbolo e (se lee no pertenece a).

Bsicamente existen dos formas para determinar un conjunto, stas son:

1. Por extensin: cuando se describe el conjunto nombrando, cada uno de sus
elementos.
Ejemplos:
A = {2, 4, 6, 8}
B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
C = {1, 3, 5, 7, 9, 11, 13, 17, 19,}

2. Por comprensin: cuando se busca una propiedad, una regla o una
caracterstica comn a los elementos del conjunto.
Ejemplos:
C = {Nmeros impares menores que 10}
D = {Vocales}
B = {Dgitos}

E = {x eR / 0 x < 9}, en este caso se utiliza un lenguaje muy especfico, el
cual se lee as:

E igual al conjunto de todos los nmeros reales tales que (o que verifican que)
cero (0) es menor o igual a x, y, x a su vez es menor que 9, esta notacin se
usa con mucha frecuencia para describir intervalos, para escribir la solucin de
una inecuacin o para representar el dominio de una funcin real.

Existen conjuntos como por ejemplo,

A = {x e R / 0 x < 9} Z = {x e N / x es par}

Que no se pueden expresar por extensin debido a que nunca se terminara de
escribir la lista de los nmeros reales que pertenecen al conjunto A, o, los
naturales que pertenecen a Z, este tipo de conjuntos, reciben el nombre de
INFINITOS; mientras que otros, como por ejemplo:

C = {x / x es vocal} D = {x / x es dgito par}

Que estn formados por cierto nmero de elementos distintos, reciben el
nombre de conjuntos FINITOS.

El anlisis anterior, permite dar respuesta a la pregunta No.1 de la evaluacin
inicial, se sugiere buscar ms ejemplos que justifiquen la respuesta para que
sean analizados con el tutor y luego socializados en los equipos de trabaja.


1.2 RELACIONES ENTRE CONJUNTOS

1.2.1 Subconjuntos

7
Un conjunto A es un subconjunto de un conjunto B, si todo elemento del
conjunto A tambin es elemento del conjunto B.


Simblicamente esta relacin se expresa as:

A c B (se lee A esta contenido en B) si todo elemento x que est en el
conjunto A entonces x tambin est en B, es decir;

A c B si todo x e A, entonces x e B

Ejemplo 1.
Si A = {x / x es dgito par} y B = {x / x es dgito}, claramente A c B ya que
todo dgito par es dgito. Por extensin la situacin se expresa as:

A = {2, 4, 6, 8} y B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}

Entonces A es un subconjunto de B.

Un resultado muy til e importante acerca de la contenencia entre conjuntos es
el siguiente:

Si A es un subconjunto de B y B es un subconjunto de C, entonces, A es un
subconjunto de C; simblicamente este enunciado se escribe as:

S A c B y B c C, entonces, A c C

La demostracin es la siguiente:
S x e A; entonces x e B porque A c B, pero x tambin esta en C porque
B c C; por lo tanto si xeA, entonces x e C y esto se cumple para todo
elemento x que est en A, debido a que el conjunto A esta contenido en el
conjunto B y B a su vez, esta contenido en C; por consiguiente queda
demostrado que A c C.

El anlisis anterior da respuesta a la pregunta No. 2 de la evaluacin inicial.


1.2.2 Igualdad entre conjuntos

El conjunto A es igual al conjunto B si ambos conjuntos tienen los mismos
elementos, es decir, si todos los elementos de A pertenecen a B y si todos los
elementos de B pertenecen al conjunto A. La igualdad entre conjuntos se
simboliza de la siguiente forma:

A = B si A c B y B c A




Ejemplo 1.
8

Si M = {1, 1, 0, 2} y N = {2, 1, 0, 1}, claramente se observa que M c N y que
N c M, por lo tanto M = N.

Ejemplo 2.

Si A = {x / x es dgito} y B = {x / x es dgito par}, se puede observar que B c A
pero A . B, por lo tanto el conjunto A no es igual al conjunto B, lo cual se
escribe, A = B.

Es importante destacar que cuando dos conjuntos son completamente
diferentes (no tienen ningn elemento en comn) reciben el nombre de
conjuntos disyuntos.

Ejemplo 3.

Los conjuntos A = {x / x es dgito par} y B = {x / x es dgito impar} no tienen
ningn elemento en comn, es decir A y B son disyuntos.


1.2.3 Subconjunto propio
Todo conjunto es subconjunto de s mismo, es decir, A c A (con A un conjunto
cualquiera), si ese subconjunto se llama B, entonces se puede afirmar que B es
un subconjunto propio de A, este hecho se simboliza as:

B _ A (se lee B est contenido o es igual al conjunto A)

Ejemplo 1.

Al considerar los conjuntos A = {x / x es vocal} y B = {a, e, i, o, u}, se puede
afirmar que A = B, en particular se observa que A _ B y B _ A, lo cual
permite afirmar que A es subconjunto propio de A, y B es subconjunto propio
de A.

Ejemplo 2.

Los conjuntos A = {1, 2, 3}, B = {1, 3}, C = {0, 2} y D = {1} son todos
subconjuntos del conjunto M = {0, 1, 2, 3}, pero ninguno es un subconjunto
propio de M, ya que con ninguno se puede establecer alguna de las relaciones
siguientes:
A _ M, B _ M, C _ M, D _ M

1.2.4 Conjuntos especiales

1.2.4.1 Conjunto vaco




9
Un conjunto que carece de elementos se denomina conjunto vaco y se
simboliza as: { } C
1

Naturalmente el conjunto C forma parte de cualquier conjunto A, por lo cual se
puede afirmar que C c A, esto responde a la pregunta No. 3 de la evaluacin
inicial.

Ejemplo 1.

Si D = {x e N / x = x ), obviamente D es un conjunto que carece de elementos,
puesto que no existe ningn nmero natural que sea diferente a s mismo.

1.2.4.2 Conjunto unitario

Se denomina conjunto unitario el que esta formado por un solo elemento. Por
ejemplo:
E = {x / x es un primo par}

El nico nmero que cumple las dos condiciones (ser primo y a la vez par) es el
nmero 2, por lo tanto E = {2} se llama unitario.

1.2.4.3 Conjunto universal

Cuando se habla o se piensa en los conjuntos, es conveniente establecer la
naturaleza de sus elementos, por ejemplo:


Los elementos del conjunto A = {a, e, i} pertenecen al conjunto de las vocales,
= {a, e, i, o, u}, es decir, A c V, este conjunto V constituye el universo del
conjunto A, por esta razn se dice que V es un conjunto Universal.

Similarmente, si A = {x e N / x es primo} sus elementos son elementos del
conjunto de los nmeros naturales N, A c N y en este caso, N se constituye
en el conjunto universal. Generalmente, el conjunto universal se simboliza con
la letra U.


1.2.4.4 Conjunto de partes o conjuntos de conjuntos

Si A es un conjunto, el conjunto de partes de A, escrito como P(A) est formado
por todos los subconjuntos que se pueden formar del conjunto A.


-------------------------------------------------

1. Notacin tomada del texto Introduccin a la teora de conjuntos de Jos
Mara Muoz Quevedo. Departamento de matemticas y estadstica.
Universidad Nacional de Colombia. 1983


10








AA

U

Ejemplo 1.

Si A = {1, 3, 5}, entonces el conjunto partes de A esta formado por los
siguientes subconjuntos:
P (A) = {{1}, {3}, {5}, {1,3}, {1,5}, {3, 5}, {1, 3, 5}, C}.

Como se analiz en la seccin 1.2.4.1, el conjunto vaco est en todo conjunto
y este caso no es la excepcin, por esta razn C e P(A). Adems, cave anotar
que los elementos del conjunto A son a su vez conjuntos, por lo que se dice
que el conjunto P(A) constituye una familia de conjuntos.

El nmero de elementos del conjunto P(A) depende del nmero de elementos
de A; en el ejemplo, A tiene 3 elementos y P(A) tiene 8 = 2
3
elementos, en
general, Si A tiene n-elementos se pueden formar 2
n
subconjuntos del
conjunto A. De esta forma queda resuelta la pregunta No. 4 de la evaluacin
inicial.

Ejemplo 2.

Sea B = {2, {1, 3}, 4, {2, 5}}. B no es una familia de conjuntos porque algunos
elementos de B son conjuntos y otros no. Para que el conjunto B fuera un
conjunto de partes o una familia de conjuntos debera estar expresado de la
siguiente forma:

B = {{2}, {1,3}, {4}, {2,5}}.


1.3 REPRESENTACION GRFICA

Una forma sencilla de visualizar los conjuntos y las relaciones entre ellos, es
mediante la utilizacin de esquemas grficos llamados CIRCULOS DE EULER
o DIAGRAMAS DE VENN. Estos esquemas estn compuestos por una regin
cerrada del plano (generalmente un rectngulo), la cual representa el conjunto
universal, y por uno o varios crculos que representan los conjuntos a graficar.

Ejemplo 1. La representacin grfica de la relacin A c B es:


B
B








Figura No. 1 A c B
11

1.4 OPERACIONES ENTRE CONJUNTOS

As como las operaciones suma, resta, multiplicacin y divisin estn definidas
sobre los nmeros reales, tambin existen operaciones definidas entre los
conjuntos como la unin, interseccin, complemento, diferencia, diferencia
simtrica y producto cartesiano; stas se estudiarn en las siguientes
secciones.

1.4.1 Unin

Si A y B son dos conjuntos no vacos, se define la unin entre A y B como el
conjunto de todos los elementos que pertenecen al conjunto a o al conjunto B.
Simblicamente la unin se define as:
A B = {x / x e A,v, x e B}, donde el smbolo v se lee o.
Para representar grficamente una operacin entre conjuntos, se debe tener en
cuenta la relacin que exista entre ellos, segn los siguientes casos:

Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos
disyuntos).

Caso 2. Que los conjuntos tengan slo unos elementos en comn.

Caso 3. Que un conjunto este contenido en el otro.

Teniendo en cuenta estas situaciones, la unin entre conjuntos se puede
representar de la siguiente forma, donde la parte sombreada indica la
operacin.








uu






Figura No 2 A U A


Ejemplo 1.

Si A = {x e N / x es dgito par o dgito primo}
Grficamente la representacin de est unin es:









CASO 1. CASO 2.






A B A B


B
A
U
12









Figura No. 3 A B. Ejemplo 1.



La figura No.3 permite apreciar que el nico dgito que es a la vez par y primo
es el nmero 2; esto conlleva a la formulacin de la siguiente operacin entre
conjuntos.

1.4.2 Interseccin

Se define la interseccin entre dos conjuntos A y B como el conjunto formado
por todos los elementos que pertenecen simultneamente al conjunto A y al
conjunto B.

Simblicamente la interseccin se expresa as:

A B = {x / x e A,., x e B}, el smbolo se lee interseccin y el smbolo .
se lee y. Teniendo en cuenta los casos citados en la seccin anterior (1.4.1), la
representacin grfica de la interseccin se muestra en la siguiente figura.




















Figura No. 4. A B.


A B

8 8



U










CASO 1. CASO 2.









CASO 3
A B A B
B
13
En el caso 1 de la figura No.4, se puede observar que cuando dos conjuntos
son diferentes, su interseccin es vaca y los conjuntos se llaman disyuntos,
como ya se haba mencionado en la seccin 1.2; el caso 3 de la misma figura
permite afirmar que si A c B, entonces. A B = A; anlogamente se puede
inferir que si B c A, entonces, A B = B.

A continuacin se realiza la demostracin analtica para el caso 3 de la figura
No. 4, la otra situacin si B c A, entonces, A B = B, se deja como ejercicio
complementario (se encuentra al final del captulo), esta demostracin es muy
similar a la que se har a continuacin, sin embargo la puede consultar en el
libro, Teora de conjuntos de Seymour Lipschutz.

Si A c B, por definicin de contenencia entre conjuntos se puede afirmar que
todo elemento x e A, entonces x e B; por definicin de interseccin, stos
elementos x forman el conjunto A B y como todos estos son elementos de
A, se puede concluir que A B = A.

Ejemplo 1.
Dados los conjuntos:
M = {x e N / x es mltiplo de 2}
N = {x e N / x es mltiplo de 3}
P = {x e N / x es impar}
Se pueden analizar las siguientes intersecciones:

1. M N = {6, 12, 18, 24, 36,}, escrito por comprensin es:
M N = {x e N / x es mltiplo de 6}.
2. M P = C, no existe ningn nmero natural que sea mltiplo de 2 y a
la vez impar.
3. C M =C, como se estudi en la seccin 1.2, el conjunto vaco est
contenido en cualquier conjunto, en particular en M, esto es C c M, y por la
demostracin que se realiz en la seccin 1.4.2 del caso 3 de la figura No.4.
se puede concluir que C M = C.

4. Para hallar la interseccin M N P, se puede encontrar la
interseccin de M con N y luego con el conjunto P, es decir, hay que encontrar
los elementos que estn en los tres conjuntos: M, N y P.
En este caso M N = {x e N / x es mltiplo de 6} y ste intersecado con el
conjunto P est formado por los mltiplos de 6 que son impares, es decir,
M N P = {x e N / x es impar y mltiplo de 6}, por extensin el conjunto es:
M N P = C, pues no existe ningn nmero natural que sea a la vez impar y
mltiplo de 6.

1.4.3 Diferencia

Segn los tres casos estudiados en la seccin 1.4.1, se puede afirmar que al
comparar dos conjuntos no vacos, puede suceder que:

1. No tengan ningn elemento en comn, (conjuntos totalmente
diferentes).
14
2. Slo algunos elementos sean comunes, (conjuntos parcialmente
diferentes o parcialmente iguales)
3. Un conjunto este contenido en el otro.
4. Tengan exactamente los mismos elementos, (conjuntos iguales)

En los numerales 1, 2 y 3, se puede formar un conjunto con los elementos
que le faltan a un conjunto para ser igual a otro, este conjunto as formado,
se denomina diferencia entre conjuntos.

Si A y B son dos conjuntos no vacos, entonces se define la diferencia entre
A y B as:
A B = {x / x e A, ., x e B}, esto se lee: A menos B, es el conjunto formado
por los elementos que estn en el conjunto A pero no en el B.
En la siguiente grfica, la parte sombreada representa la diferencia entre los
conjuntos A y B, segn las tres situaciones planteadas.















Figura No. 4. A B






Figura No 4 A -- B


En la grfica, el caso 3 de la figura No. 4, se puede observar que todos los
elementos que estn en A, estn en B (debido a que A c B), por lo tanto no
existe ningn elemento que pertenezca a la diferencia A B y en consecuencia
A B = C. Surge ahora, la siguiente inquietud:

Cul ser la diferencia entre A y B (A B) cuando B c A?

Esta pregunta se plantea formalmente en el numeral 4 de los ejercicios
complementarios y el propsito es realizar la demostracin con el apoyo del
tutor.











CASO 1. A B = A CASO 2.










CASO 3. A B = C

A B

A B

B
15

Ahora, la diferencia B A para los tres casos planteados, se representa por la
parte sombreada de la siguiente figura:






















Figura No. 5. B A

Ejemplo 1.

Dados los conjuntos A = {x / x es un dgito} y B = {0, 2, 3, 7} hallar A B y B
A y hacer la representacin grfica.
Para efectuar estas operaciones se escriben los conjuntos por extensin, as:
A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y B = {0, 2, 3, 7}, entonces:
A B = {1, 4, 5, 6, 8, 9} y B A = C, la representacin grfica se muestra en
la figura No. 6













Figura No. 6. Grfica del ejemplo 1.











CASO 1. CASO 2. B A










CASO 2. A -- B

A B

A B

A B










A B B A


A
B

B
16

1.4.4 Diferencia simtrica

Se define la diferencia simtrica entre dos conjuntos no vacos A y B, como el
conjunto formado por los elementos que pertenecen al conjunto A o al conjunto
B, pero no pertenecen simultneamente a ambos conjuntos.

Simblicamente la diferencia simtrica entre A y B se escribe as:
A A B = {x / x e A, v, x e B, ., x e A B}. Su representacin grfica es:














Figura No. 7. A A B


Ejemplo 1.
Si A = {x / x es una letra de la palabra INGENIERIA} y B = {x / x es una letra
de la palabra SISTEMAS}, entonces A A B = {N, G, R, M, S, T}.

Ejemplo 2.
Dados los conjuntos M = {1, 2, 3, 4} y N = {4, 5}, la diferencia simtrica entre
M y N es:
M A N = {1, 2, 3, 5}, claramente se puede observar que el nmero 4, no
pertenece a la diferencia simtrica porque forma parte de la interseccin entre
M y N.

1.4.5 Complemento

Si A es un conjunto no vaco, el complemento de A, simbolizado por A, est
formado por todos los elementos que no pertenecen al conjunto A, es decir,
A = {x / x e A}
En la siguiente figura la parte sombreada muestra el complemento del conjunto
A, en cada uno de los casos descritos anteriormente.













CASO 1. A A B = C CASO 2.





CASO 3.
A B

A B
B
17















Figura No. 8. A






Figura N0 8 A


Ejemplo 1.

Al considerar el conjunto universal como el conjunto de los estudiantes de
Ingeniera de sistemas de la UNAD y A como el conjunto de los estudiantes
que estn en el primer semestre, el complemento del conjunto A (A) ser el
conjunto formado por todos los estudiantes de ingeniera de sistemas de la
UNAD que no cursan primer semestre, esto es:

U = {x e UNAD / x estudia ingeniera de sistemas}.
A = {x e Ingeniera de sistemas / x e Primer semestre}.
A = {x e Ingeniera de sistemas / x e Primer semestre}.

1.4.6 Producto Cartesiano

Si A y B son dos conjuntos no vacos, se define el producto cartesiano entre A
y B as:
A X B = {(x , y ) / x A , , y B }.
La expresin (x , y ) representa una pareja ordenada , que cumple la condicin
de que su primera componente, (x) pertenece al conjunto A y la segunda
componente (y) pertenece al conjunto B.

Ejemplo 1.

Si A = {1, 2,3} y B = {-1, 0, 2} el producto cartesiano de A X B es:











CASO 1 CASO 2









CASO 3

A B

A B
B

18
A X B = {(1,-1),(1,0),(1,2),(2,-1),(2,0),(2,2),(3,-1),(3,0),(3,2)} y el producto de
BXA es
B X A = {(-1,1),(-1,2),(-1,3),(0,1),(0,2),(0,3),(2,1),(2,2),(2,3)}
Se puede observar que el producto cartesiano entre A y B no es conmutativo,
puesto que la pareja ordenada ( x, y ) es diferente a la pareja ordenada ( y, x ),
en particular, (-1,1) es diferente a (1, -1) y ( 3,-1) es diferente a (-1,3).
La siguiente grfica muestra la diferencia.











Figura No. 8 Producto cartesiano


1.5 LA SIGMA LGEBRA DE CONJUNTOS

1.5.1 Propiedades de las operaciones entre conjuntos
Las siguientes cuatro propiedades, son vlidas para las operaciones de unin e
interseccin:

a) Leyes de idempotencia:
A U A = A
A A = A
b) Leyes asociativas:
(A U B) U C = A U (B U C)
(A B) C = A (B C)
c) Leyes conmutativas:
A U B = B U A
A B = B A
d) Leyes distributivas:
A U (B C) = (A U B) (A U C)
A (B U C) = (A B) U (A C)

Las siguientes propiedades estn relacionadas con los conjuntos Universal U
y vaco C:


e) Leyes de identidad:
A U U = U A U = A
A U = A A =

Propiedades con respecto al complemento.
f) Leyes del complemento:
y



x

19
A U A' = U A A' =
(A' )' = A ' = U

Estas leyes del complemento se pueden representar grficamente de la
siguiente forma:











Figura No. 9. A A = U











Figura No. 10. A A = C











Figura No. 11. (A) = A







Figura No. 12 C = U









A A = U
A
A


A

A



(A) = A
A A
A








A A = C
A
A
A A




U
20

g) Leyes de Morgan:
h)
(A U B)' = A' B'
(A B)' = A' U B'

La representacin grfica es la siguiente:


















Figura No. 13 (A B) = A B



















Figura No. 14 (A B) = A B

Las anteriores leyes estn formuladas por pares, lo cual verifica la naturaleza
dual de la teora de conjunto.
.

A






A B A B








A U B (A U B)
A B A B A B
A B A B









A B A B







A B (A B)
A B

A B A B
A B A B
21
1.5.2 PRINCIPIO DE DUALIDAD

Si se intercambian las operaciones unin (U) por interseccin (), como
tambin el conjunto universal (U) por el conjunto vaco (), en cualquier
razonamiento sobre conjuntos, el enunciado resultante se llama DUAL del
primero.

Ejemplo 1.
Demostrar que el dual de; (U U B) (A U ) = A es:
( B) U (A U) = A

Tomando la primera parte y por las leyes de identidad se tiene que:
(U U B) (A U )
U A = A
Ahora, considerando la segunda y nuevamente aplicando las leyes de identidad
se tiene que:
( B) U (A U)
U A = A
Con lo cual queda demostrado.

Ejemplo 2.
Demostrar que el dual de (A B) U (A B') = A es
(A U B) (A U B') = A

En este caso se puede hacer la demostracin en forma grfica as:

i) La primera parte se puede representar de la siguiente forma:











Figura No.15 Primera parte del ejemplo 2






Figura No 15 Primera parte del ejemplo 2






A
A B A B'


B








(A B) U (A B') = A
22

ii) La representacin grfica de la segunda parte es:


















Figura No. 16 Segunda parte del ejemplo 2



1.6 CONJUNTOS PARCIALMENTE ORDENADOS

Un orden parcial en un conjunto A, es una relacin R en A que cumple:
1. Es reflexiva: (a,a) R para todo a A
2. Es antisimtrica: si (a,b) R y (b,a) R entonces a = b
3. Transitiva: Si (a,b) R y (b,c) R, entonces (a,c) R.

Si una relacin R en A, define un orden parcial en A, entonces (a,b) R ( que
se puede interpretar como a esta relacionado con b ),se simboliza como a b
y se lee a anterior a b.

Ejemplo 1.

Si A es una familia de conjuntos. Demostrar que la relacin R definida por X
es un subconjunto de Y es un orden parcial de A.

Para que R defina un orden parcial en A debe verificar cada una de las
siguientes propiedades:

1. Reflexiva: X es subconjunto de X, esto se verifica en virtud de la seccin
1.2.3 Subconjunto propio.
2. Antisimtrica: X es subconjunto de Y, Y es subconjunto de X, entonces
X = Y, esta conclusin corresponde a la definicin de igualdad entre
conjuntos seccin 1.2.2




A U B A U B'










( A U B) (A U B') = A
23
3. Transitiva: Si X es subconjunto de Y, Y es subconjunto de Z, entonces X
es subconjunto de Z, corresponde a la contenencia entre conjuntos, lo
cual se demostr en la seccin 1.2.1.

Lo anterior permite concluir que la relacin X, es un subconjunto de Y define
una relacin de orden parcial sobre el conjunto A.


Ejemplo 2

Sea A un subconjunto de los nmeros reales. La relacin R sobre A definida
por X Y, X es menor o igual a y, es un orden parcial en A, la cual se llama
orden natural en A.

Para verificar cada una de las propiedades sean a, b, c nmeros reales,
entonces:
1. Reflexiva: a = a para todo elemento a que esta en los nmeros reales,
en este caso la propiedad se verifica para la igualdad, debido a que
ningn nmero real es menor que s mismo.
2. Antisimtrica: Si a b y b a, necesariamente a = b, por la misma
razn expuesta en el numeral 1.
3. Transitiva: Si a b y b c, entonces, a c, esto se puede analizar de
la siguiente manera: Si a esta a la izquierda de b, y b esta a la
izquierda de otro nmero c, entonces se puede asegurar que a est a
la izquierda del nmero c.
Por lo tanto X Y define el orden natural en los nmeros reales.

Ejemplo 3.

Sea R la relacin en V = {1, 2, 3, 4, 5, 6} definida por X divide a Y. Entonces
R define un orden parcial en V.

La relacin R est formada por los siguientes elementos:
R = {(1, 2), (1, 3), (1,4), (1,5), (1,6), (2, 4), (2,6), (3, 6)}.

Para visualizar este orden parcial en V, se utiliza un diagrama, en el cual las
flechas representan la relacin entre los elementos de V, y dos o ms flechas
consecutivas la propiedad transitiva; de esto surgen las siguientes trayectorias:

1 3 6. Se lee: 1 divide a 3, 3 divide a 6, y, 1 divide a 6
1 2 4. Se lee: 1 divide a 2, 2 divide a 4, y, 1 divide a 4


1 2 6. Se lee: 1 divide a 2, 2 divide a 6, y, 1 divide a 6
1 5 Se lee: 1 divide a 5.





24











Figura No.17 Ejemplo 3.


Definicin

Un conjunto A parcialmente ordenado est constituido por el conjunto A, y una
relacin R de orden parcial.


1.6.1 PRIMERO Y ULTIMO ELEMENTOS DE UN CONJUNTO
PARCIALMENTE ORDENADO

Definicin

Sea A un conjunto ordenado. El elemento a A, se dice primer elemento de A,
si para todo x A, a es anterior a todos los elementos de A; anlogamente, un
elemento b A, se dice ltimo elemento de A, si para todo x A, b es posterior
a todos los elementos de A.

Ejemplo 1.

Sea W = {a, b, c, d, e} ordenado por el siguiente diagrama:











Figura No.18 Ejemplo 1

En este ejemplo a, es un elemento ltimo de W porque es posterior a todo
elemento. W carece de primer elemento. El elemento d, no es un primer
elemento porque d no es anterior a e y e no es un primer elemento porque e no
es anterior a d.



4 6

2 3 5



1


a

b c


d e
25

Ejemplo 2
En los nmeros naturales N, el 1 es un primer elemento de N, pero no hay
ltimo elemento.

Ejemplo 3
Si A = {x / 0 < x < 1} ordenado por la relacin x y , A no tiene primero ni
ltimo elemento.

Ejemplo 4
Si A = {x / 0 x < 1} es un conjunto parcialmente ordenado por la relacin
x y, el primer elemento es el 0, pero no tiene ltimo elemento.

1.6.2 ELEMENTOS MAXIMAL Y MINIMAL

Si A es un conjunto ordenado, se dice que un elemento a A es MAXIMAL si
no hay en A, ningn elemento posterior al elemento a en sentido estricto;
anlogamente, se dice que un elemento b A es MINIMAL si ningn elemento
de A es estrictamente anterior a b.

Ejemplo 1

Sea W = { a, b, c, d, e} un conjunto ordenado por el diagrama del ejemplo 1 de
la seccin 1.6.1, se puede observar que d y e son elementos minimales, puesto
que no hay en W, ningn elemento estrictamente anterior a ninguno de ellos y
el elemento a, es un maximal debido a que no hay ningn elemento posterior al
elemento a.

Ejemplo 2
Sea W = {a, b, c, d, e} un conjunto ordenado por el siguiente diagrama:












Figura No.19 Ejemplo 2

Los elementos c y d son minimales y los elementos a y b son maximales; es de
observar que W no tiene primero ni ltimo elemento.



Ejemplo 3


a b


e


c d
26

Si A = {x / 0< x 1} ordenado por la relacin x y, este conjunto no tiene
elemento minimal, pero su elemento maximal es el 1.

Ejemplo 4

Si A = { x / 0 < x < 1} ordenado por la relacin x y no tiene elemento
maximal ni minimal.

Los ejemplos anteriores permiten afirmar que:
1. Si a es un primer elemento del conjunto A, entonces a es un elemento
minimal del conjunto A y es nico; de igual forma, un ltimo elemento de A, es
un elemento maximal de A y es nico.
2. Todo conjunto finito parcialmente ordenado, tiene por lo menos un
elemento maximal y un elemento minimal.
3. Un conjunto infinito parcialmente ordenado, como en el ejemplo 4, puede
no tener elementos maximales o minimales.







27

AUTOEVALUACIN No. 1

1. Si X = {1, {1}}; hallar todos los subconjuntos de X.

2. Sean A = {1, 2, 3, 4, 5}, B = {2, 4, 6,}, C = {3, 5, 7} y U = {x / x es un
nmero natural menor o igual que 9}. Hallar:
2.1 A ' B'
2.2 A' B'
2.3 A - B
2.4 A B
2.5 B C
2.6 A U
2.7 B C
2.8 B X C
2.9 A B
2.10 B C
2.11 Comprobar que el nmero de elementos de A B y de B C
esta dado respectivamente por:
n (A B) = n (A) + n(B) - n(A B) y el
n(B C) = n(B) + n(C)

3. Hallar los conjuntos A y B si se sabe que:
A' = {2, 3, 5, 7}, B' = {1, 4, 7} y U = {1, 2, 3, 4, 5, 6, 7, 8}

4. El nmero de elementos de los conjuntos A, B, C y U son:
n (U) = 60, n(A) = 26, n(B) = 24, n(C) = 8, n(A B) = 10, n(A C) = 0
y se sabe que C c B. Hallar:

4.1 n(A - B)
4.2 n(A B)'
4.3 n(A C)'
4.4 n[A - (B C)' ]


5. Construya un diagrama de Venn con 3 conjuntos A, B y C no vacos,
de tal forma que cumplan con las siguientes caractersticas.
5.1 A c B; C c B; A C = C
5.2 A _ B; C _ B; A C C
5.3 A _ B; B _ C; A B C ; B C.









28

EJERCICIOS DE PROFUNDIZACIN No. 1


1. Representar mediante diagramas de Veen o crculos de Euler las
relaciones entre conjuntos.

2. Demostrar o refutar cada una de las siguientes propiedades entre
conjuntos.
2.1 A B = B A
2.2 A c ( A U B ) y B c ( A U B )
2.3 Si B c C entonces A B = B

3. Si B c A, hallar A B y hacer la representacin grfica.

4. Hallar el dual de cada una de las siguientes operaciones. Realizar la
demostracin.
4.1 (B C) A = (B A) (C A)
4.2 A (A' B) = A B
4.3 (A U) (C A') = C
4.4 (A C) (A U ) = A
4.5 A C = C
4.6 (A B)' = A' B'

5. En cada uno de los siguientes diagramas identificar el rea sombreada.


AA








5.1 5.2












5.3 5.4
29













5.5 5.6

6. En un examen a 200 estudiantes relacionado con la habilidad para leer
ingls, francs y espaol se obtuvieron los siguientes resultados: 80 leen
ingls, 105 leen francs, 80 leen espaol, 55 leen espaol y francs, 55
leen ingls y no leen francs, 60 leen ingls y no leen espaol, 15 leen
ingls y espaol, pero no francs. Cuntos de estos estudiantes:

6.1 Leen los tres idiomas
6.2 Leen nicamente francs
6.3 No leen ninguno de los tres idiomas
6.4 Leen espaol pero no ingls ni francs