3.1 Conjuntos.

Dentro de la teora se consideran como primitivos o trminos no definidos los conjuntos y los elementos. En general, se designan los conjuntos usando letras latinas maysculas y los elementos con letras minsculas. Intuitivamente, un conjunto es una coleccin o clase de objetos bien definidos. Estos objetos se llaman elementos o miembros del conjunto. Si un objeto x es elemento de un conjunto A, se escribe: x A. que se puede leer tambin "x pertenece a A" o "x est en A". Si por el contrario, un objeto x no es elemento de un conjunto A, se escribe: x A. Un conjunto se puede definir haciendo la presentacin efectiva de cada uno de sus elementos, as el conjunto A cuyos elementos son 2, 3, 5, se escribe: A = { 2, 3, 5}

Esto se conoce como expresin por extensin del conjunto. Otra forma de definir un conjunto es enunciando una propiedad que permita seleccionar de un conjunto ya formado, aquellos que verifiquen dicha propiedad. Por ejemplo, dentro del conjunto de los nmeros podemos seleccionar el conjunto B de los nmeros pares, en este caso se emplea una letra, por lo general x, para representar un elemento cualquiera y se escribe:

B = { x / x es par} lo que se lee: "B es el conjunto de los nmeros x tales que x es par". Esta forma de definir un conjunto de llama por comprensin.

3.1.1 Definiciones. 3.1.1.1 Igualdad de Conjuntos. El conjunto A es igual al conjunto B si ambos tienen los mismos elementos, es decir, si cada elemento de A es tambin elemento de B y recprocamente. Luego, podemos escribir:

(A = B) ( x)(x A x B).

3.1.1.2 Subconjuntos. Si todo elemento de un conjunto A es tambin elemento de un conjunto B, entonces se dice que A es un subconjunto de B. Esta relacin se denomina relacin de inclusin y se denota como: A B. Simblicamente esto se puede expresar as:

A B ( x)(x A x B) Esta relacin tambin se puede leer: "A est contenido en B", "A es una parte de B". Para expresar que A no est contenido en B, escribimos: A B. Con esta definicin de subconjunto se puede dar de otra manera la definicin de igualdad de dos conjuntos, as:

(A = B) (A B) (B A) Puesto que todo conjunto A es subconjuto de si mismo, se dir que A es un subconjunto propio de B; si A es subconjuto de B y A no es igual a B. Ms brevemente, A es subconjuto propio de B si A B y A { B. Esta situacin puede representarse mediante un diagrama as:

3.1.1.3 Conjunto Universal. Es el conjunto de todos los elementos en discusin. Tambin se le llama dominio de discusin o referencial. El conjunto universal se designa con el smbolo 1.

Ejemplos

1. En geometra plana el conjunto universal es el de todos los puntos del plano. 2. En los estudios de poblacin humana el conjunto universal estar formado por todos los seres humanos del mundo.

3.1.1.4 Conjunto Vaco. Es el conjunto que carece de elementos. Este conjunto se denotar por 0. Un conjunto vaco se puede definir mediante una propiedad que sea contradictoria, por ejemplo: Sea A = {x / x2 = 4 x es impar}. 3.1.1.5 Conjunto de Partes de un Conjunto. El conjunto de todos los subconjuntos de un conjunto A, se denomina conjunto de partes de A y se denota (A).

En consecuencia, x P(A) x A

P(A) = {x / x A}
3.1.2 Operaciones Fundamentales con Conjuntos.

3.1.2.1 Unin. La unin de los conjuntos A y B, es el conjunto de todos los elementos que pertenecen a A o a B o a ambos. Se denota la unin de A y B por A  B y se llama unin de A y B.

En consecuencia, x ( A  B) x A x B.

Entonces se puede expresar por comprensin este conjunto as: A  B = {x / x A x B } Una interpretacin grfica de la unin de A y B es la siguiente:

En la grfica la regin rayada corresponde a la unin de A y B. Se presentan los conjuntos dentro de un rectngulo que representa el conjunto referencial del cual se seleccionan los conjuntos A y B.

3.1.2.2 Interseccin. La interseccin de dos conjuntos A y B es el conjunto de los elementos que son comunes a A y a B, esto es, aquellos que pertenecen a A y que tambin pertenecen a B. Se denota la interseccin de A y B por A y B y se lee "A interseccin B". En consecuencia, x Ay B x A x B.

El conjunto Ay B est dado por: Ay B = { x / x A x B }. Grficamente, una representacin de Ay B es:

La regin rayada corresponde a Ay B. Cuando A y B no tienen elementos comunes, se dice que son disjuntos.

3.1.2.3 Complemento. El complemento de un conjunto A es el conjunto de todos los elementos que no pertenecen a A, es decir, el conjunto de todos los elementos que estn en el Universal y no estn en A. El complemento de A se denota por A'. En consecuencia, x A' x 1 x A.

Grficamente, su representacin est dada por:

A' = {x / x 1 x A }. 3.1.3 Leyes del lgebra de Conjuntos.

Si 1 designa al conjunto universal y 0 al conjunto vaco, las siguientes identidades son vlidas en el lgebra de conjuntos para conjuntos arbitrarios X, Y, Z.

Leyes conmutativas XY = YX X  Y = Y  X.

Leyes asociativas X(YZ) = (XY)Z Leyes distributivas X(Y  Z) = XY  XZ Leyes de idempotencia XX = X X  X = X. X  YZ = (X  Y) (X  Z). X  (Y  Z) = (X  Y)  Z.

Leyes de complementacin XX' = 0 X  X' = 1.

Leyes de absorcin X (X  Y) = X Leyes de D'Morgan ( XY)' = (X'  Y') (X  Y )' = X'Y'. X  XY = X.

Leyes con 0 y 1 X1=X X0=0 0' = 1 X  0 = X. X  1 = 1. 1' = 0.

Ley de complemento doble (X')' = X.

Es importante destacar la dualidad dada en estas leyes, es decir, si en cualquiera de las identidades, cada unin se reemplaza por una interseccin, cada interseccin por una unin, cada 0 por 1 y cada 1 por 0, la expresin resultante es tambin una identidad.

Ejercicios 3.1 1) Sean A, B, C, los siguientes conjuntos: A = { {1,3}, {2,4,6}, {8,9}} B = { 1,2,3,4,6,8,9} C = { {1}, {3}, {2}, {4}, {6}, {8}, {9}} - Es correcto decir que A = B = C ?. Explique. - Para cada una de las siguientes expresiones; diga si es correcto o no. {1,3} A {1,3} B {1} A {1} A

{1,3} A {1,3} B {{1}, {2}} B

{1,3} C {1,3} C {{1}, {2}} C

{1} B {1} C {{1,3} } A.

{1} B {1} C

2)Si A = {x}; B = {{x}}; Cules de las siguientes expresiones son correctas? xA {x} A {x} B AB {A} B

xB

{x} B

{{x}} A

AB

{A} = B.

3) Dados los siguientes conjuntos: F: El conjunto de los nmeros de cuatro cifras, donde dos al menos de dichas cifras son cero. G: El conjunto de nmeros de cuatro cifras, donde una al menos de dichas cifras es cero. H: El conjunto de nmeros de cuatro cifras, dos de las cuales son cero y las otras dos diferentes de cero. Determine todas las posibles relaciones de inclusin que se pueden establecer entre los conjuntos F, G y H.

4) Sea A = {0,1,2,3} y B = {0, {0},3,5}

y y

Determine todos los subconjuntos de A. Determine todos los subconjuntos de B.

5) Sea A el conjunto de todos los nmeros naturales que verifican la ecuacin: (x  2)(x  1) = 0. Sea B = {A, 1}, Cules de las siguientes expresiones son verdaderas?. 1 A, 2 B, 1 A, {2} B, {2} A.

6) Sean: X = {a, b, c, e, u, k, m, n, t, {a}, {x}, {y}, {c}}, considerado como conjunto referencial, A = {{x}, {y}, a, b, u, {a}, t} y B = {c, {a}, {x}, {y}, m, t}.

Determinar A' y B'.

7) Sea A = {0, J }. En el espacio en blanco coloque los signos apropiados entre , , ,. 0 ____

P(A)

{0, J } ____

P(A)

{{J },J } ____

P(A)

{0} ____ A

{J } ____P(A)

{{J },0} ____P(A)

J ____

P(A)

{{J }} ____P(A) {0, J } ____ A {{0}, 0} ____P(A).

{{0},{J }} ____P(A)

J ____ A {J } ____ A

8) Sean A = {0,{ 1,2}}; B = { 1,2}; C = {1, {J }}. Determinar

P(A), P(P(B)), P(C).

9) si A es el conjunto de nmeros de dos cifras tales que la primera cifra es mayor que la segunda y B el conjunto de nmeros de dos cifras tales que la primera cifra es menor que la segunda, expresar A  B y Ay B.

10) Suponga que el conjunto universal es el conjunto de los nmeros enteros positivos. Defina S, E y M as: S: Conjunto de todos los enteros positivos menores o iguales a 6. E: Conjunto de todos los enteros positivos pares. M: Conjunto de todos los enteros positivos mltiplos de tres. Escriba expresiones algebraicas simples en trminos de S, E y M para los siguientes conjuntos:

y y y y

{3,6}, {1,3,5}.. Todos los enteros positivos mltiplos de 6. Todos los enteros pares mayores que 6. El conjunto que contiene todos los mltiplos de 3 y todos los enteros impares.

11) Dar contraejemplos para los recprocos de cada uno de los siguientes teoremas:
y y y y

A X B B

B A A A

B C A C. X B X A  B. B  C A  C. By C Ay C.

12) Aplicando leyes fundamentales para el lgebra de conjuntos simplifique las siguientes expresiones.(Cada expresin se reduce a un slo smbolo).
y y y y y

Ay Ay Ay Ay (A vv

B'y A'y B'. B  Ay B'  A'y B  A'y B'. C'  Ay By C  Ay C. By C  A'  B'  C'.  B)( A'  B).

y y y

(A  Ay B  Ay By C) (A  B  C). ( Ay B'  A'y B )' ( Ay B  A'y B' )'. Ay By C  Ay By C'  Ay B'y C  A'y By C  Ay B'y C'  A'y By C'  A'y B'y C  A'y B'y C'.

13) Simplificar las siguientes expresiones, justificando cada paso.

y y y

(Ay B  Ay C  A'y X'y Y)( Ay B'y C  A'y X'y Y'  A'y By Y)'. Xy Y(Xy Z'  Xy Y  Xy Yy Z). (Xy Y  X'y Y'  Xy Y' )' ((X'  Y' )( X  Y' ))'.

14) Escriba cada una de las siguientes condiciones sobre los conjuntos X, Y y Z, sin hacer uso del smbolo " ". X'y Y Z X  Y' Z.

Xy Y'  X'y Y Z  Y' X Y' Z.

15) Encuentre una proposicin equivalente en trminos de inclusin para cada una de las siguientes condiciones sobre los conjuntos X, Y , Z y W. ( X'  Y )( Z  W' )' = 0 ( X'  Y )( Z  W' ) = 0. X  Y'  Z'  W' = 1 Xy Y'  Z'y W = 0.

3.2 Par Ordenado.

3.2.1 Definicin. Se llama par ordenado a un conjunto formado por dos elementos y un criterio de ordenacin que establece cul es primer elemento y cul el segundo.

Un par ordenado de componentes a, b es el conjunto {{a}, {a,b}} y se denota (a, b).

A partir de dos objetos a y b, se forma un nuevo objeto (a, b) llamado par ordenado. En general (a, b) { (b, a), a "a" se le llama primera componente o abscisa y a "b" se llama segunda componente u ordenada.

3.2.2 Axioma. (x, y) = (u, v) x = u y = v. Intuitivamente, dos pares ordenados son iguales s y slo s son iguales sus primeras componentes y sus segundas componentes.

Nota: En muchas ocasiones es necesario tener un conjunto de ms de dos elementos, en el cual haya un orden establecido y se pasa entonces a formar conjuntos de n elementos ordenados. Tales conjuntos se llaman nadas ordenadas.

As: (a1, a2,..., an) representa la nada ordenada de componentes a1, a2,..., an.

De la misma manera, dos n adas son iguales s y slo s son iguales componente a componente. 3.3 Producto Cartesiano.

3.3.1 Definicin. Sean A y B conjuntos. Al conjunto formado por todos los pares ordenados de primera componente en A y segunda componente en B, se le denota A x B y se le llama producto cartesiano de A y B. Simblicamente: A x B = {(x, y) / x A y B}.

En consecuencia: (x, y) A x B x A y B (x, y) A x B x A y B

En particular, siendo R el conjunto de los nmeros reales, se tiene:

R x R = {(x, y) / x R y R }.

R x R es el conjunto de todas las parejas de nmeros reales. La representacin

geomtrica de

R x R es el plano cartesiano llamado tambin plano numrico.

Se establece una relacin biunvocaentre

R x Ry el conjunto de los puntos del

plano geomtrico, asocindose de esta forma el par ordenado (x, y) con el punto P(x,y).

Ejemplo 1:

Sean A = {1, 2} y B = {3, 4, 5} el producto cartesiano A x B ser: A x B = {(1, 3),(1, 4),(1, 5),(2, 3),(2, 4),(2, 5)}.

Ejemplo 2: Sean A = {x / x R1 x e 3 }, 2 }.

B = {x / x R2 e x

Su representacin geomtrica es:

A x B es el conjunto de los puntos interiores al rectngulo PQRS y los puntos que pertenecen a los segmentos PQ y QR. Ejemplo 3:

Sean A = {x / x N1 e x

4}, B = {x / x R 1 e x e 3}.

Representar A x B en el plano cartesiano.

Nota: La definicin de producto cartesiano puede generalizarse al producto entre n conjuntos A1, A2,..., An. En este caso, al conjunto formado por todas las nadas ordenadas (a1, a2,..., an) tales que ai Ai con i = 1, 2,..., n, se llama producto cartesiano de A1, A2,..., An y se denota A1 x A2 x ... x An.

3.3.2 Propiedades del producto cartesiano.

3.3.2.1 A X B Y A x B X x Y. 3.3.2.2 A x B = 0 A = 0 B = 0. 3.3.2.3 A { B A x B { 0 A x B { B x A. 3.3.2.4 A x (B y C) = (A x B)( A x C). 3.3.2.5 A x ( B  C) = (A x B)  ( A x C ). Demostracin de 3.3.2.2: Suponga que A x B = 0. Razonando por reduccin al absurdo, s A { 0 y B { 0; entonces existen elementos a y b tales que a A y b B. Luego la pareja (a,b) A x B, en contradiccin con la hiptesis de que A x B = 0. Recprocamente si A = 0, debe ser A x B = 0 pues si se llega a dar que Ax B { 0, existir (a, b) A x B entonces a A en contradiccin con la suposicin de que A =

0. Anlogamente se razona en el caso de que B = 0. Demostracin de 3.3.2.4: (x, y) A x (B y C) x A y B y C. x A ( y B y C). ( x A y B) (x A y C). (x, y) A x B (x, y) A x C. (x, y) (A x B) y (A x C). 3.3.3 Nmero de elementos del producto cartesiano. (Tcnicas de conteo). Para conjuntos finitos A y B se tiene:  A x B  =  A  B .

puesto que: A x B = {(a, b): a A b B}. y para cada una de las  A  elecciones de a en A hay  B elecciones de b en B para formar el par ordenado (a, b). Ejemplo 4. Sea A = {1, 2, 3, 4} y B = {a, b, c}. Entonces A x B consta de 12 elementos, los cuales se pueden representar por medio de una tabla organizada en la siguiente forma:

Para el producto de ms de dos conjuntos, se cumple una identidad semejante. 3.3.3.1 Reglas del producto.
y

Para conjuntos finitos A1, A2,..., Ak, se tiene:

k  A1x A2x ... x An= 4  Aj  j =1

De manera ms general, suponga que un conjunto puede considerarse como un conjunto de kadas ordenadas de la forma (a1, a2,..., ak) con la siguiente estructura. Hay n1 elecciones posibles de a1. Dado a1, hay n2 elecciones posibles de a2. Dados a1 y a2 hay n3 elecciones posibles de a3.

En general dados a1, a2,..., aj1 hay nj elecciones posibles de aj. Entonces el conjunto tiene n1, n2,..., nk elementos.

Ejemplo 5: Calcular el nmero de maneras de seleccionar cinco cartas con reemplazo de una baraja de 52 cartas.

Solucin: En este problema deben considerarse quintillas ordenadas de cartas de baraja. Con reemplazo significa que cada carta se regresa a la baraja antes de sacar la nueva carta. El conjunto de formas de seleccionar 5 cartas con reemplazo est en correspondencia uno a uno con: D x D x D x D x D = D5. Donde D es el conjunto de cartas con 52 elementos. Por la tanto el conjunto de cartas tiene 525 elementos.

Ejemplo 6: Calcular el nmero de maneras de seleccionar cinco cartas sin reemplazo de una baraja de 52 cartas.

Solucin: Esta vez la regla del producto no puede aplicarse puesto que no se permiten todas las quintillas ordenadas en D5. Especficamente estn prohibidas las quintillas donde se repita una carta. Sin embargo es posible razonar de la forma siguiente: La primera carta puede seleccionarse de 52 maneras. Una vez seleccionada, la segunda carta puede elegirse de 51 maneras. La tercera carta puede escogerse de 50 formas, la cuarta de 49 y la quinta de 48. De esta forma, pueden elegirse 5 cartas sin reemplazo de 52 y 51y 50 y 49 y 48 maneras diferentes.

Ejercicios 3.3

1) Encontrar en cada caso los valores de x e y que hacen verdaderas las siguientes igualdades: (x  y, 1/2) = (1, x  y) (x  2, y) = (3y, 2x) 2) Demostrar los teoremas 3.3.2.1, 3.3.2.3, 3.3.2.5. 3) Demostrar que (A x B) (C x D) = (A x D) (C x B). 4) Cmo deben ser A y B para que en A x B existan parejas que tengan iguales las dos componentes?. 5) Sean: A, el conjunto de todos los nmeros reales que estn entre 1 y 3 incluyendo el 1 y el 3; B el conjunto de los nmeros enteros entre 2 y 5, incluyendo al 2 y al 5. Hacer un diagrama cartesiano de: A x B y B x A. 6) Sea S = {100, 101,..., 999} as que  S = 900.
y

Cuntos nmeros en S tienen al menos un dgito que es un 3 o un 7? Ejemplos: 300, 707, 736, 103, 997.

Cuntos nmeros en S tienen al menos un dgito que es 3 y al menos uno que es 7? Ejemplos: 736, 377.

7) Sea T = {1000, 1001, ..., 9999} Cuntos enteros en T tienen al menos un dgito que sea 0, al menos uno que sea 1 y al menos uno que sea 2? Ejemplo: 1072, 2101. Sugerencia: Sea, Ak = {n T: n no tiene dgito igual a k}, k = 0,1,2. Entonces, Ak' = {n T: tienen al menos un dgito igual a k}. 8) Sea: L = {a,b,c,d,e,f,g} Cuntas palabras de longitud 5, pueden formarse con los elementos de L?. ( Aqu se entiende por palabra una sucesin cualquiera de signos de L).

3.4 Relaciones. 3.4.1 Definicin. Una relacin es un conjunto de parejas ordenadas. Si A y B son dos conjuntos cualesquiera, R es una relacin de A en B s y slo s R es subconjunto de A x B. Si R A x A se dice que R es una relacin de A en A o simplemente una relacin en A. 0 y A x B son relaciones de A en B, puesto que 0 A x B y A x B A x B.

Si (x,y) R se escribe x R y y se lee "x est en relacin con y".

Ejemplo 1: Sean: A = {1, 3, 5}, B = {2, 4, 6, 8}. R1 = {(3, 2), (1, 8), (5, 4)} es una relacin de A en B. R2 = {(3, 8)} es una relacin de A en B. R3 = {(x, y) / x A y B x " y} = {(3, 2),(5, 2),(5, 4)}. R4 = {(x, y) / x A y B x  y e 7} = {(1, 2), (1, 4), (1, 6), (3, 2), (3, 4), (5, 2)}. R5 = {(1, 5), (3, 3)} es una relacin de A en A. R6 = {(2, 3), (6, 1)} es una relacin de B en A. R7 = {(3, 6), (1, 4),(5 ,8), (2, 1)} no es una relacin de A en B y tampoco de B en A. R8 = {(x, y) / x A , y B, x  y = 0} = 0. 3.4.2 Dominio de una Relacin. Definicin. Sea R una relacin. Se llama Dominio de R y se denota por

D(R) al

conjunto formado por todas las primeras componentes de las parejas ordenadas que

pertenecen a R. Por lo tanto:

D(R) = { x / ( y) (x, y) R}

En consecuencia, x D(R) ( y)((x, y) R).

x D(R) ( y)((x, y) R).

3.4.3 Rango de una Relacin. Definicin. Sea R una relacin. Se llama Rango de R y se denota por K(R) al conjunto formado por todas las segundas componentes de las parejas ordenadas que pertenecen a R. Por lo tanto: K (R) = { y / ( x) (x, y) R} En consecuencia, y K (R) ( x)((x, y) R). y K (R) ( x)((x, y) R).

Ejemplo 2. En las relaciones del ejemplo 1 se tiene:

D(R1) = {3, 1, 5} K (R1) = {2, 8, 4} D(R2) = {3} K (R2) = {8} D(R3) = {3, 5} K (R3) = {2, 4} D(R4) = {3, 1, 5} K (R4) = {2, 4, 6}

D(R5) = {3, 1} K (R5) = {5, 3} D(R6) = {2, 6} K (R6) = {3, 1}.

Ejemplo 3. Sea S = {(x, y) / x Ry Ry

x}.

El siguiente grfico es un representacin cartesiana de S. La recta y = x no hace parte de S.

Ejemplo 4. Sea A = {1, 2, 3}, B = {1, 2, 3}. Sea R la relacin: "x es menor que y"

Entonces, R = {(1, 2), (2, 3), (1, 3)}.

D(R) = {1, 2}, K (R) = { 2, 3}.

3.4.4 Teorema. Sea R una relacin, A y B dos conjuntos. R es una relacin de A en B s y slo s

D(R) A y K (R) B.

3.4.5 Relacin inversa. Definicin. Sea R una relacin. Entonces la relacin {(y, x) / (x, y) R} se denomina relacin inversa y se denota R1. En consecuencia,
y y y

(y, x) R1 (x, y) R. (y, x) R1 (x, y) R. Si R es una relacin de A en B, entonces R1 es una relacin de B en A.

3.4.6 Relacin Idntica. Definicin. Sea A un conjunto. La relacin dada por: {(x, y) / x A y = x} se denomina relacin idntica en A y se designa -A: En consecuencia: (x, y) -A x A y = x. (x, y) -A x A y { x.

Ejemplo 7.

-R es la relacin idntica en los reales, es decir el conjunto de todos los pares

ordenados de nmeros reales que tienen ordenada y abscisa iguales. Su grfica es la recta bisectriz del primero al tercer cuadrante.

3.4.7 Relacin reflexiva en un conjunto. 3.4.7.1 Definicin. R es una relacin reflexiva en un conjunto A s y slo s R es una relacin en A y todo elemento de A est relacionado con sigo mismo. Es decir R es reflexiva en A si y slo s, R A x A ( x A) ((x, x) R). R no es reflexiva en A si y slo si, R A x B ( x A) ((x, x) R).

Ejemplo 8. Sea A = {1, 3, 5}. R1 = {(1, 3), (3, 5), (1, 1), (5, 1), (5, 5), (3, 1), (3, 3)} es reflexiva en A. R2 = {(1, 1), (5, 3), (5, 5), (3, 1)} no es reflexiva en A. Ejemplo 9.

-A es reflexiva en A cualquiera sea A { 0.

Ejemplo 10. A2 es reflexiva en A cualquiera sea A { 0.

3.4.7.2 Teorema. R es reflexiva en A s y slo s -A R. 3.4.8 Relacin simtrica en un conjunto. 3.4.8.1 Definicin. R es una relacin simtrica en A s y slo s R es relacin en A y cualesquiera sean los elementos x,y de A se verifica que si x R y entonces y R x. En consecuencia:
y y

R es simtrica en A R A x A ( x)( y) ( x R y y R x). R no es simtrica en A R A x A ( x)( y) (x R y y x).

Ejemplo 11. Las relaciones -A y A2 son simtricas en A cualquiera sea A. Ejemplo 12 Sea A = {3, 4, 2} entonces: R = {(2, 3), (3, 4), (4, 3), (3, 2), (4, 4)} es simtrica en A. S = {(3, 2), (4, 3), (2, 2), (3, 4)} no es simtrica en A. Ejemplo 13. La relacin T = {(x, y) / x N, y Nx ` y} donde la expresin "x` y" significa x divide a y no es simtrica en N puesto que si x` y no necesariamente y` x. 3.4.8.2 Teorema. R es simtrica en A s y slo s R = R1. 3.4.9 Relacin antisimtrica en un conjunto. 3.4.9.1 Definicin. R es una relacin antisimtrica en A s y slo s R es una relacin en A y cualesquiera que sean x,y de A se verifica que: S x R y y R x entonces x = y. En consecuencia:
y

R es antisimtrica en A equivale a decir:

R A x A ( x)( y) ( x R y y R x x = y)
y

R no es antisimtrica en A equivale a decir:

R A x A ( x)( y) ( x R y y R x x { y) Ejemplo 14.

- A es antisimtrica en A.
Ejemplo 15. Sea A = {2, 4, 6} entonces: R = {(2, 2), (4, 4)} es antisimtrica en A. S = {(2, 4)} es antisimtrica en A. T ={(4, 6), (2, 2), (6, 4), (4, 2)} no es antisimtrica en A Ejemplo 16. La relacin T = {(x, y) / x N, y Nx`y} es antisimtrica en N, puesto que x`y y`x implica x = y. 3.4.9.2 Teorema. R es antisimtrica en A R y R1-A. 3.4.10 Relacin transitiva. R es una relacin transitiva en A s y slo s R es una relacin en A y cualquiera sean x, y, z pertenecientes a A se verifica que: S x R y y R z, entonces x R z. En consecuencia:
y

R es transitiva en A equivale a decir:

R A x A ( x)( y)( z) ( x R y y R z x R z)
y

R no es transitiva en A equivale a decir: z).

R A x A ( x)(  y)( z) ( x R y y R z x Ejemplo 17.

- A es transitiva en A.
Ejemplo 18. Sea = {2, 4, 6, 3} entonces: R = {(2, 2), (2, 3), (4, 6), (6, 2), (4, 2), (4, 3), (6, 3)} es transitiva en A. S = {(2, 2), (4, 4), (4, 2), (2, 6), (6, 4), (6, 2)} no es transitiva en A. Ejemplo 19. La relacin T = {(x, y) / x N, y N x `y} es transitiva en N. Ejercicios 3.4 1) Sea A = {1, 2, 3} . Sealar que tipos de relaciones corresponde cada una de las siguientes relaciones en A: R1 = {(1, 1), (2, 1), (2, 2), (3, 2), (2, 3), (3, 3)}. R2 = {(1, 1)}. R3 = {(1, 2)}. R4 = {(1, 1), (2, 3), (3, 2)}.

- Dar una relacin en A que no sea simtrica ni antisimtrica. 2) Sea A = {2, 3, 4, 5, 6} y R = {(x, y) / x A, y A, x  y es divisible por 3}. Escribir por extensin a R.

3) En un mismo diagrama, representar las siguientes relaciones y determinar su interseccin. R1 = {(x, y) / x N, y = 2x  1 }.

R2 = {(x, y) / x N, y = 3x  3 }.

4) Sean R1 = {(x, y) / x R y Ry u x2}. R2 = {(x, y) / x R y R y e x  2}.

y y

Representar grficamente la relacin R1 R2 (rayando la regin correspondiente). Halle el dominio y el rango de R1 R2.

5) Hallar las inversas de las siguientes relaciones: R = {(x, y) / x R y Ry = x2}. S = {(x, y) / x R y R y = 2x}. Hacer un diagrama en un mismo plano cartesiano para R y R1. Hacer la mismo para S y S1.

6) Se da el subconjunto G = {(1, 2), (2, 4), (3, 6), (4, 8)} del conjunto Ax A, siendo A = {x / x N x es un dgito}. Expresar G por comprensin.

7) Sealar a que tipos corresponde cada una de las siguientes relaciones: R1 = {(x, y) / x Ny N x e y}.

R2 = {(x,y) / x Ny Nx y }. R3 = {(x, y) / x Ny N , x es primo relativo con y}.

R4 = {(Ai , Aj) / Ai

P(A) Aj P(A), Ai Aj = 0}.

8) Demostrar que si x e y son elementos de un conjunto A y R = {(x, y)} entonces R es antisimtrica en A.

9) Demostrar que si R es una relacin de A en B y S R, entonces S tambin es relacin de A en B y adems

D(S) D(R) y K (S) K (R).

10) Demostrar que si R es una relacin transitiva en A, entonces R1 tambin lo es.

11) Si R y S son relaciones, demostrar:

y y

(R  S)1 = R1  S1. (R S)1 = R1 S1.

12) Demostrar mediante un contraejemplo la falsedad de las siguientes afirmaciones:

y y

Si R y S son relaciones antisimtricas, entonces R  S es antisimtrica. Si R y S son relaciones transitivas, entonces R  S es transitiva.

13) Demuestre que si R1 y R2 son relaciones simtricas en A, R1 R2 y R1  R2 son relaciones simtricas en A.

14)Dados S = {1,2,...,10}y la relacin R = {(x,y)/ x  y = 10} sobre S. Qu tipo de relacin se cumple en ella?

15) Para las siguientes relaciones, indique si la relacin es reflexiva, simtrica o transitiva. a) Sean x e y enteros, y sea x R y s y slo s x divide a y. b) Sean x e y seres humanos, y sea x R y s y slo s x e y pertenecen a la misma familia. c) Sean x e y nios, y sea x R y s y slo s x es hermano de y o si x = y.

3.5 Relaciones de equivalencia. 3.5.1 Introduccin. Sea H el conjunto formado por todos los seres humanos. Considere una relacin R definida en H de la siguiente manera: Si x e y pertenecen a H, se dice que "x est en relacin con y s y slo s x es compatriota de y". Con la anterior definicin queda establecida la relacin:

R = {(x, y) / x, y H "x es compatriota de y"}.

Esta relacin es reflexiva puesto que toda persona es compatriota de si mismo. Es simtrica, puesto que "si x es compatriota de y, y es compatriota de x". Es transitiva, por que "si x es compatriota de y e y es compatriota de z, entonces x es compatriota de z". Sea un elemento fijo de H. se denota por de a, es decir: = {x H / x R a}. el conjunto formado por los compatriotas

a est formado por la poblacin del pas del cual es nativo a. Por ejemplo, si a es colombiano, = {x H / x es colombiano}. Al individuo se le llama un "representante del conjunto a". Cualquier colombiano puede ser un representante. Eligiendo los diferentes representantes se obtiene la divisin de la humanidad en pases.

Si se toma otro elemento fijo b H y se forma el conjunto : = {x H / x R b}, pueden ocurrir dos casos: - Que a R b. En tal caso - Que a b, y entonces = y . son conjuntos disjuntos, es decir, pases diferentes.

Siguiendo este proceso se obtienen tantos conjuntos como pases existen. Se puede verificar que cada conjunto es no vaco y que no existe interseccin entre cada dos de ellos, adems que la unin de todos ellos es el conjunto H.

Una relacin que produce sobre el conjunto en el cual se define una clasificacin con las caractersticas anteriores, se llama relacin de equivalencia. 3.5.2 Definicin. Sea A un conjunto no vaco y R una relacin en A. R es una relacin de equivalencia en A, si R es reflexiva, simtrica y transitiva en A.

Ejemplo 1.

-A es una relacin de equivalencia en A (A { 0).

Ejemplo 2. La relacin de paralelismo definida entre la rectas del plano euclideo, es una relacin de equivalencia, pero no lo es la relacin de perpendicularidad.

Ejemplo 3. Sean a y b enteros y n un nmero fijo positivo. En Z (conjunto de los enteros) se define una relacin de la siguiente manera:

Se dice que a es congruente con b mdulo n y se escribe, a | b (mod n) s y slo s n (a  b), es decir, a  b = kn con k Z .

En tal caso, el par (a,b) pertenece a la relacin. Esta relacin se llama congruencia mdulo n. Rn = {(x, y) / x | y mod n, x, y Z }.

Rn es reflexiva, puesto que x | x mod n. x  x = 0 = 0n 0 Z .

Rn es simtrica. si x | y mod n, x  y = kn con k Z . Luego, y  x = kn, k Z . Es decir, y | x mod n. Rn es transitiva en Z . Sean x | y mod n y | z mod n, entonces: x  y = k1n y  z = k2n, k1 y k2 Z . x  y  y  z = (k1  k2)n. x  z = (k1  k2)n, (k1  k2) Z . sea k = k1  k2, luego x  z = kn y en consecuencia x | z mod n.

3.5.3 Clases de equivalencia. Definicin. Sea A un conjunto no vaco, R una relacin de equivalencia en A y x un elemento fijo en A. Al conjunto de todos los elementos de A relacionados con x, se le denomina clase de equivalencia de x con respecto a R y se le denota: x. En consecuencia,

= {y A / y R x}. y y y A y R x. yA y x.

El elemento fijo x se llama representante de clase.

3.5.4 Teorema. Sea R una relacin de equivalencia en un conjunto no vaco A. Entonces, { 0 para cualquier x A.

y y

Si x, y A, entonces Sean:
1, 2,

= 0.
1

... ,

las clases de equivalencia de A. Entonces,

 ... 

= A.

Demostracin:
y

Como A { 0, existe un x A y puesto que x R x, entonces:

x Sean x,y A, x R y x

y.

Si x R y entonces . Por tanto,

. En efecto, sea a

,a R x, y como x R y, a R y,luego a

. (1).

Sea a y, a R y, como x R y,y R x,luego a R x, y por tanto a . (2).

. En consecuencia

De (1) y (2), Si x

. = 0. En efecto, si { 0, existe un a tal que: a a

y, entonces

, luego a R x a R y. Por simetra, x R a a R y, entonces por transitividad x R y. Absurdo! Luego. = 0.

Definicin. Sea R es una relacin de equivalencia en A. El conjunto formado por todas las clases de equivalencia respecto a R, se llama conjunto cociente de A por R, y se denota A R. En consecuencia, A R = { / x A}.

3.5.5 Particin de un conjunto A. Una particin de un conjunto A no vaco, es una coleccin de subconjuntos no vacos A1, A2, ..., An de A tal que:
y y

Ai Aj = 0, i { j. A1  A2  ...  An = A.

La figura anterior es una representacin grfica de la particin P = {A1, A2, A3, A4, A5, A6} de un conjunto A.

Ejemplo 4. Sea, A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. A1 = {1, 2, 3, 4}, A2 = {5, 6, 7}, A3 = {4, 5, 7, 9}, A4 = {8, 9, 10}, A5 = {1,2,3,6,8,10}. Los conjuntos P1 = {A1, A2, A4} y P2 = {A3, A5} son particiones de A. El conjunto {A1, A3, A4} no es una paricin de A puesto que 4 A1 A3.

Nota: El teorema anterior puede interpretarse, diciendo que una relacin de equivalencia en A genera una particin del conjunto A. La particin ser el conjunto cociente de A.

Ejemplo 5. En la relacin de congruencia mdulo n se puede formar las diferentes clases de equivalencia y el conjunto cociente, as:

R = {(a, b) / a | b mod n, a, b Z }. a | b mod n a  b = kn con k Z . a = kn  b. Luego los elementos de a son los que dejan residuo b al ser divididos por n. O sea que habr tantas equivalencias como posibles residuos. Por esta razn a estas clases se les denomina clases residuales mdulo n y se forman de la siguiente manera: = {...,  2n,  n, 0, n, 2n,...}

= {..., 1  2n, 1  n, 1, 1  n, 1  2n,...} = {..., 2  2n, 2  n, 2, 2  n, 2  2n,...} . . .

= {...,  1  2n,  1  n,  1,  1  n,  1  2n,...}

Es posible verificar que no hay otras clases distintas de esta. Por ejemplo:

= {...,  2n,  n, 0, n, 2n,...} = 0

Anlogamente,

, etc.

3.5.6 Teorema. Toda particin de un conjunto no vaco A, define una relacin de equivalencia en A.

Demostracin: Sea P = { A1, A2, ..., An } una particin de A. Se define en A la siguiente relacin: R = {(x, y) / x Ai, y Ai Ai P}. Veamos que R es una relacin de equivalencia.
y

R es reflexiva, como A { 0, existe x A; ahora como P es una particin de A, x Ai , Ai p.

y y

R es simtrica puesto que s x R y, x e y Ai y por tanto y R x. R es transitiva. s x R y y R z, entonces, x Ai y Ai de igual manera y Aj z Aj. Luego, y Ai Aj, por definicin de particin se sigue que: Ai = Aj. Por tanto, y Ai z Ai , de donde x R z.

Ejemplo 6. Sean A = {1,2,3,4} y A R = {{1,2,3},{4}} una particin de A. Determinar la relacin de equivalencia correspondiente en A.

Solucin: Las clases de equivalencia de A sern los subconjuntos de A que conforman la particin, as: 1 = {1,2,3} 4 = {4}.

A partir de la definicin de 1 y el hecho de que R es una relacin de equivalencia, se llega a que: (1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3) pertenecen a R. De igual manera (4,4) pertenece a R, entonces: R = {(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3),(4,4)}

Ejercicios 3.5

1) Cul de las siguientes relaciones en S son de equivalencia?

y

R = {(a, b)/ a R b s y slo s a y b viven en Medelln}, donde S = {a / a vive en Medelln}.

R = {(a, b)/ a y b tienen la misma madre}, donde S = {a / a es cualquier persona}.

R = {(a, b)/ a y b tienen un pariente comn}, donde S = {a / a es cualquier persona }.

2) Defina la relacin "$ " en Z como m $ n s y slo s m2 = n2.

y y

Muestre que $ es una relacin de equivalencia en Z . Describa las clases de equivalencia. Cuantas hay?.

3) Para m, n pertenecientes a los naturales defina m b n si m2  n2 es mltiplo de 3.

y y

Muestre que b es una relacin de equivalencia en N .

D cuatro elementos de
y

D cuatro elementos de
y

Piensa usted que hay ms clases de equivalencia?.

4) La definicin m | n (mod p) tiene sentido inclusive si p = 0 o p = 1.

y

Describa esta relacin de equivalencia para p = 1 y sus respectivas clases de equivalencia.

Repita el procedimiento anterior para p = 0.

5) Considere la relacin en Z definida como m R n s y slo s m3  n3 | 0 (mod 5) Es una relacin de equivalencia?.

6) Dado A = {a, b, c, d, e, f}, escriba cinco relaciones de equivalencia en A diferentes.

7) Sea A = {a, b, c, d} y A R ={{a, b}, {c}, {d}}. Escriba la relacin de equivalencia correspondiente en A. Escriba todas las clases de equivalencia.

8) Sea S un conjunto. Es la igualdad "=" una relacin de equivalencia en S?.

9) Escriba las clases de equivalencia para la relacin de congruencia mdulo 4. Cul es el conjunto cociente?.

10) Considere el conjunto N x N . Definamos una relacin N x N de la forma siguiente: (a, b) b (c, d) s y slo s a  b = b  c. Pruebe que R es una relacin de equivalencia. 11) Para cada una de las siguientes relaciones, decir cules son de equivalencia. Todas las relaciones son sobre el conjunto de los seres humanos. a) x R y representa que x es hijo de y. b) x R y representa que x es un descendiente de y. c) x R y representa que x e y tienen los mismos padres. d) x R y representa que x es de la misma estatura o de menor estatura que y.

12) Sea R una relacin sobre el conjunto de los enteros positivos, tal que R = {(a, b)/a  b es entero positivo impar}. Ser esta relacin de equivalencia?.

13) Sea R una relacin simtrica y transitiva sobre un conjunto A. Demuestre que si para todo a A existe b A tal que (a, b) R, entonces R es una relacin de equivalencia.

14) Sea R una relacin reflexiva y transitiva en A. Sea T una relacin en A tal que (a,b) T s y slo s tanto (a, b) como (b, a) est en R. Demuestre que T es una relacin de equivalencia.

15) Una relacin R es una funcin si para todo x existe slo una y tal que x R y. Puede una funcin ser una relacin de equivalencia?.

3.6 Relaciones de orden. 3.6.1 Conjuntos parcialmente ordenados. Una relacin R en un conjunto A se llama un orden parcial si R es reflexiva, antisimtrica y transitiva. El conjunto A junto con el orden parcial R se llama conjunto parcialmente ordenado y se denota por (A, R).

Ejemplo 1. Sea " " la relacin de inclusin en

P(A). Esta relacin es un orden parcial en P(A). Por lo

tanto (P(A), ) es un conjunto parcialmente ordenado.

Ejemplo 2. Sea Z  el conjunto de todos los enteros positivos. La relacin "e " es un orden parcial en Z  , como lo es tambin "u ". Luego (Z  , e ) es un conjunto parcialmente ordenado. Ejemplo 3. La relacin de divisibilidad (b R a b a) que se lee, b es divisor de a, es un orden parcial en Z  . Ejemplo 4. La relacin " " en Z  no es un orden parcial porque no es reflexiva.

Las ordenes parciales mas comunes son las relaciones u y e en Z y N . Por esta razn cuando se habla en general de un orden parcial R en un conjunto A, a menudo se usan los smbolos u o e para R. Siempre que (A, e ) sea un conjunto parcialmente ordenado se usar el smbolo u para indicar el orden inverso de e de modo que (A, u ) ser el conjunto parcialmente ordenado dual.

Si (A, e ) es un conjunto parcialmente ordenado, a los elementos a y b de A y B se les llama comparables si a e b o b e a.

Cuando un conjunto est parcialmente ordenado, no es necesario que todo par de elementos sean comparables.

Obsrvese que en el ejemplo 3, los elementos 2 y 7 no son comparables puesto que ni 2 divide a 7 ni 7 divide a 2. Por tanto la palabra parcial en estos conjuntos, significa que algunos elementos podrn no ser comparables. Si cada par de elementos en un conjunto parcialmente ordenado son comparables, se dice que el conjunto es totalmente ordenado. Tambin se dice que el conjunto es una cadena. Ejemplo 5. El conjunto parcialmente ordenado del ejemplo 2 est totalmente ordenado

3.6.2 Grafo dirigido de un orden parcial y diagramas de Hasse. El grafo dirigido de un orden parcial (A, e ) es una representacin grfica de dicho orden. El grfico consiste en representar por medio de un pequeo crculo cada elemento del conjunto A. Estos crculos son llamados vrtices. Si a R b entonces se traza una lnea orientada desde el crculo a hasta el b. Esta lnea se denomina arista. Por tanto, si R es una relacin en A, las aristas en el grafo dirigido de R corresponden exactamente a los pares en R y los vrtices a los elementos del conjunto A. Como un orden parcial es reflexivo, cada vrtice estar conectado con si mismo. Para simplificar, se borrarn todas estas conexiones del grafo dirigido. Por ejemplo el grafo representado por (a) podr representarse como aparece en (b).

Tambin podrn eliminarse todas las aristas que estn implicadas por la propiedad transitiva. Por tanto, si a e b y b e c se sigue que a e c. En este caso se omitir la arista que va desde a hasta c; sin embargo se dibujarn las que van desde a hasta b y de b a c. As que el grafo queda as:

Tambin se conviene en dibujar el grafo dirigido de un orden parcial con todas las aristas apuntando hacia arriba, puesto que las flechas pueden omitirse de las aristas.

Finalmente, los crculos se reemplazan por puntos para representar los vrtices. As, el diagrama de la figura anterior tiene la como forma final:

El diagrama resultante de un orden parcial, mucho ms simple que su grafo dirigido, se llamar diagrama de Hasse de un orden parcial o de un conjunto parcialmente ordenado. Ejemplo 6. Sea A = {1,2,3,4,12}. Examnese el orden parcial de divisibilidad de A. Esta es, si a, b A, a e b s y slo s a b. Dibuje el diagrama de Hasse del conjunto parcialmente ordenado (A, e ).

Ejemplo 7. Sea S = {a, b, c} y sea A =

P(A). Dibuje el diagrama de Hasse del conjunto parcialmente

ordenado A con el orden parcial " ". A = {0, S, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}}

El diagrama de Hasse de un conjunto ordenado totalmente siempre ser una lnea recta.

Ahora, si (A, e ) es un conjunto parcialmente ordenado y (A, u ) es el conjunto parcialmente ordenado dual, el diagrama de Hasse de (A, u ) es el diagrama de Hasse de (A, e ) puesto de cabeza girado hacia abajo.

Ejemplo 8. Sea (A, e ) representado por el siguiente diagrama:

El conjunto parcialmente ordenado dual (A, u ) estar representado por :

3.6.3 Elementos extremos de un conjunto parcialmente ordenado. Considrese un conjunto parcialmente ordenado (A, e ). Un elemento a A se llama elemento maximal de a si a e x implica que a = x, para todo x perteneciente a A, es decir, ( x)( x A a e x a = x )

Intuitivamente esto quiere decir, que a A es elemento maximal s y slo s no existe en A un elemento distinto que lo siga.

Un elemento a A se llama elemento minimal x e a implica que x = a, para todo x perteneciente a A, es decir, ( x)( x A x e a x = a ).

Esto quiere decir que a A es elemento minimal s y slo s no existe en A un elemento distinto que lo preceda. Ejemplo 9. Sea el conjunto parcialmente ordenado cuyo diagrama de Hasse es :

Los elementos a, b y c son elementos maximales de A, y los elementos d, e y f son los elementos minimales de A. Observe que como no existe una lnea recta entre e y f, no se puede decir que e e f ni que f e e.

Ejemplo 10 Sea A el conjunto parcialmente ordenado de todos los nmeros reales no negativos con el orden usual e . Entonces el cero es el elemento minimal de A y no existen elementos maximales.

Ejemplo 11.

El conjunto parcialmente ordenado Z con el orden usual e no tiene elementos maximales ni minimales.

3.6.3.1 Teorema. Sea A un conjunto parcialmente ordenado, no vaco y finito con orden parcial "e ". Entonces A tiene al menos un elemento maximal y al menos un elemento minimal.

Demostracin: Sea a A, si a no es maximal, es posible encontrar b A tal que a e b. si b no es maximal, es posible encontrar c A tal que b e c. Como A es un conjunto finito podemos obtener una cadena de la forma a e b e c e ... e m. Luego m es un elemento maximal.

3.6.3.2 Definicin. A un elemento a A se le llama mximo de A, si x e a para todo x A. A un elemento b A se le llama mnimo de A, si b e x para todo x A. Es decir, a es elemento mximo de A s y slo s ( x)(x A x e a) b es elemento mnimo de A s y slo s ( x)(x A b e x).

Ejemplo 12 Sea S = {a,b,c} y sea A =

P(S). Entonces el conjunto vaco es el elemento mnimo

de A y S es el elemento mximo con el orden parcial " ". Ejemplo 13. El conjunto parcialmente ordenado Z con el orden parcial habitual no tiene ni mximo ni mnimo. 3.6.3.3 Teorema. Un conjunto parcialmente ordenado tiene a lo sumo un elemento mximo y uno mnimo.

Demostracin: Supongamos que a y b son los elementos mximos de un conjunto parcialmente ordenado A. Entonces a e b puesto que b es mximo y b e a porque a tambin e mximo. Por la propiedad antisimtrica se concluye que a = b. 3.6.3.4 Definicin. Sea (A, e ) un conjunto parcialmente ordenado y B A. Un elemento a A se le llama cota superior de B si b e a para todo b B. Un elemento c A se le llama cota inferior de B si c e x para todo x B.

Ejemplo 14. Sea el conjunto parcialmente ordenado, A = {a, b, c, d, e, f, g, h} cuyo diagrama de Hasse es:

Hallar cotas superiores e inferiores de los siguientes subconjuntos de A: B1 = {a, b} B2 = {c, d, e} Solucin: B1 no tiene cotas inferiores y sus cotas superiores son c, d, e, f, g, h. B2 tiene como cotas superiores a f, g y h y como cotas inferiores c, a y b. 3.6.3.5 Definicin. Sea (A, e ) un conjunto parcialmente ordenado y B A. Un elemento a A se le llama mnima cota superior de B si a es una cota superior de B y se cumple que a e a1 siempre que a1 sea una cota superior de B.

De igual manera, a un elemento a A se le llama mxima cota inferior de B si a es una cota inferior de B y se cumple que a1 e a siempre que a1 sea una cota inferior de B. Las cotas inferiores en (A, e ) corresponden a las cotas superiores en (A, u ) y las cotas superiores en (A, e ) corresponden a las cotas inferiores en (A, u ). Lo mismo puede decirse de las mximas cotas inferiores y las mnimas cotas superiores. Ejemplo 15. Sea A, el conjunto parcialmente ordenado del ejemplo 14 con los subconjuntos B1 y B2 definidos anteriormente. Halle la mnima cota superior y la mxima cota inferior de B1 y B2. Solucin: B1 no tiene cotas inferiores por lo tanto carece de mxima cota inferior. La mnima cota superior de B1 es c. Puesto que las cotas inferiores de B2 son c, a y b entonces la mxima cota inferior es c. Las cotas superiores de B2 son a f, g y h; pero f y g no son comparables por lo tanto B2 no tiene mnima cota superior. 3.6.3.6 Teorema. Sea (A, e ) un conjunto parcialmente ordenado. Entonces un subconjunto B de A tiene cuando ms una mnima cota superior y una mxima cota inferior. Ejercicios 3.6 1) Sea A = (-1, 1) R , con la relacin usual "e ". Verifique que el conjunto A con la relacin dada es un conjunto parcialmente ordenado. Halle elementos maximales y minimales de A, si los hay. Cotas superiores e inferiores de A. Elemento mximo y elemento mnimo de A, si lo hay. Mxima cota inferior y mnima cota superior de A si las hay. 2) si A = (-1, 1) con la relacin "e " es parcialmente ordenado, responda las preguntas del ejercicio anterior. 3) Sea A = {2, 3, 6, 9, 12, 36} con la relacin de divisibilidad un conjunto parcialmente ordenado. Halle elementos maximales y minimales.

4) Sea A = {a, b, c, d, e, f, g, h}. Sea B = {c, d} y la relacin de orden representada en el siguiente diagrama de Hasse:

Hallar elementos maximales y minimales de A. Cotas superiores e inferiores de B. Mxima cota inferior y mnima cota superior de B. 5) Examine el orden parcial de divisibilidad en el conjunto A. Dibuje el diagrama de Hasse del conjunto parcialmente ordenado y determine cual est totalmente ordenado siendo: A = {1, 2, 3, 5, 6, 10, 15, 30} A = {2, 4, 8, 16, 32}

6) En los siguientes ejercicios encuentre, si existen, cotas superiores, cotas inferiores, mxima cota inferior y mnima cota superior de B.

a)

b)

B={c,d,e}

B={b,c,d}

c)

B={3,4,6} d) (A, e ) es el conjunto parcialmente ordenado de la parte c) de este ejercicio y B = {4, 6, 9}. 7) Sea A {2, 3, 4, 6, 8, 12, 24, 48} y "e " denota el orden parcial de divisibilidad. si B = {4, 6, 12} encuentre, si existen, cotas superiores, cotas inferiores, mxima cota inferior y mnima cota superior de B. 8) Sea A, el conjunto de factores de un entero positivo m y sea e la relacin de divisibilidad. Dibuje el diagrama de Hasse para m = 2, m = 6, m =30, m = 210, m = 45. 9) D un ejemplo de una relacin que sea tanto de equivalencia como de orden parcial. 10) Demuestre que slo hay cinco diagramas diferentes de Hasse, para conjuntos parcialmente ordenados que contengan 3 elementos.