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:
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