lgebra

Basado en el texto: Algebra y Matematica Discreta Universidad de Castilla-La Mancha Departamento de Matematicas

Algebra p.1/69

Conjuntos, aplicaciones y relaciones

Algebra p.2/69

Conjuntos

Algebra p.3/69

Conjuntos

Denicin de conjunto: Entenderemos por conjunto una coleccin o familia de objetos a los que denominaremos elementos. Habitualmente los conjuntos se simbolizan mediante letras maysculas, y sus elementos con minsculas. Si a es un elemento del conjunto A, diremos que a pertenece a A y escribiremos a A. Un conjunto A queda totalmente determinado si se conocen todos sus elementos.

Algebra p.4/69

Conjuntos

Existen bsicamente dos formas de especicar un conjunto: Por extensin o enumeracin: Reriendo todos sus elementos, que se escriben entre llaves y separados por comas. Por ejemplo, el conjunto A formado por las letras vocales se puede escribir como A = {a, e, i, o, u}. Por comprensin: Dando la propiedad (o propiedades) que caracteriza a los elementos del conjunto. Por ejemplo, en el caso anterior escribiremos A = {x : x es una letra vocal }.
Algebra p.5/69

Ejemplos

Algunos conjuntos numricos son El conjunto de los nmeros naturales, N = {0, 1, 2, . . .} El conjunto de los nmeros enteros, Z = {. . . , 2, 1, 0, 1, 2, . . .} El conjunto de los nmeros racionales, m : m, n Z, n = 0 Q= n El conjunto de los nmeros reales, R El conjunto de los nmeros complejos, C = {a + bi : a, b R}.
Algebra p.6/69

Conjuntos. Subconjuntos

A veces resulta posible determinar el nmero de elementos de un conjunto A. Diremos entonces que el conjunto es nito y representaremos por |A| este nmero. En otro caso diremos que el conjunto es innito. Diremos que un conjunto B es subconjunto de un conjunto A o que B est contenido en A, si todos los elementos de B son a su vez elementos de A, es decir, b B b A. En tal caso escribiremos B A.

Algebra p.7/69

Subconjuntos
Cualquier conjunto A es subconjunto de s mismo, al que se llama subconjunto impropio. El resto de subconjuntos se dicen propios. Diremos que dos conjuntos A y B son iguales, y escribimos A = B , si BA y A B,

o lo que es lo mismo, si ambos poseen los mismos elementos. En caso contrario diremos que los conjuntos A y B son distintos, y lo denotaremos por A = B .
Algebra p.8/69

Subconjuntos
Escribiremos A B para indicar que A B y A = B . Para un conjunto numrico cualquiera A, representaremos por A al subconjunto de A formado por todos los elementos de A a excepcin del cero. Igualmente, A+ representa al subconjunto de A formado por los elementos no negativos y A al de los elementos no positivos. Ejemplo. Se tiene la siguiente cadena de inclusiones, para los conjuntos numricos conocidos: N Z Q R C.
Algebra p.9/69

Conjunto Universal

Es importante observar que la relacin de inclusin tiene sentido exclusivamente entre conjuntos, y la de pertenencia slo entre un elemento y un conjunto. As por ejemplo, dado el conjunto A formado por las letras vocales, escribiremos que {a} A y sin embargo pondremos a A. Cuando se trabaja con conjuntos, se llama conjunto universal a un conjunto tal que tiene como subconjuntos a todos los conjuntos en consideracin. Lo denotaremos por U . El conjunto universal puede variar de unas ocasiones a otras, dependiendo de la coleccin de conjuntos con que estemos trabajando.
Algebra p.10/69

Complementario. Conj. vaco

Sea A un subconjunto de un conjunto U . Llamaremos complementario de A en U y lo denotaremos por AU , al subconjunto de U formado por los elementos de U que no pertenecen a A, esto es, AU = {x U : x / A}. Cuando no resulte necesario especicar el universal U escribiremos simplemente A o Ac . Al considerar en U el complementario del propio U se hace necesario introducir un conjunto que no tenga elementos; lo llamaremos conjunto vaco y lo designaremos por .

Algebra p.11/69

Partes de un conjunto
Sea A un conjunto cualquiera. Llamaremos conjunto de las partes de A o conjunto potencia de A y lo denotaremos por P (A), al que tiene por elementos los subconjuntos de A, es decir, P (A) = {B : B A}. Se verica entonces que B P (A) B A. Ejemplo: El conjunto de las partes de A = {1, a, {a}} es P (A) = {, {1}, {a}, {{a}}, {1, a}, {1, {a}}, {a, {a}}, A}. Si A es un conjunto de n elementos, entonces P (A) tiene 2n elementos, esto es, A tiene 2n subconjuntos.
Algebra p.12/69

Representacin de conjuntos

Los conjuntos se representan en el plano especicando mediante un rectngulo el universal y mediante regiones del mismo los distintos subconjuntos. Adems, si un subconjunto B est contenido en otro subconjunto A se representar por medio de una regin que est incluida en la regin correspondiente a A. Estas representaciones se conocen con el nombre de diagramas de Venn, en honor al lgico John Venn.

Algebra p.13/69

Diagramas de Venn

Ejemplo: Se representa un conjunto A y otro B tal que B A. U A B

Algebra p.14/69

Operaciones: Interseccin
Dados los subconjuntos A y B de U , se dene la interseccin de A y B , A B , como el conjunto formado por los elementos de U que pertenecen a ambos conjuntos simultneamente, es decir, A B = {x U : x A x B }. Ejemplo: Si A = {x : x es una letra vocal } y B = {a, b, c, d, e}, entonces A B = {a, e}. Dos subconjuntos A y B de un conjunto U son disjuntos si no tienen ningn elemento en comn, es decir, si A B = .
Algebra p.15/69

Operaciones: Unin
Dados los subconjuntos A y B de U , se dene la unin de A y B , A B , como el conjunto formado por los elementos de U que pertenecen al menos a uno de los dos conjuntos, es decir, A B = {x U : x A x B }. Ejemplo: Si A = {x : x es una letra vocal } y B = {a, b, c, d, e}, entonces A B = {a, b, c, d, e, i, o, u}.

Algebra p.16/69

Operaciones: Propiedades

Idempotencia: A U , A A = A, Conmutativa: A, B U , A B = B A, Asociativa: A, B, C U , A (B C ) = (A B ) C, A (B C ) = (A B ) C. A B = B A. A A = A.

Algebra p.17/69

Operaciones: Propiedades

Absorcin: A, B U , A (B A) = A, Distributiva: A, B, C U , A (B C ) = (A B ) (A C ), A (B C ) = (A B ) (A C ). Existencia de elemento neutro: / A U , A = , A = A. A (B A) = A.

Algebra p.18/69

Operaciones: Propiedades

Existencia de elemento universal: U / A U , A U = A, A U = U.

Existencia de complementario: A U , A / A A = , A A = U .

Leyes de Morgan: A, B U (A B ) = A B , (A B ) = A B .

Algebra p.19/69

Operaciones generalizadas
Si {Ai }n i=1 es una familia nita de subconjuntos de U , la propiedad asociativa de la interseccin y la unin de conjuntos da sentido a los conjuntos
n

Ai = {x U : x Ai , i = 1, 2, . . . , n}
i=1 n

Ai = {x U : x Ai , para algn i = 1, 2, . . . , n}
i=1

Ms en general, si {Ai }iI es una familia arbitraria de subconjuntos de U , se pueden denir su interseccin y unin como Ai = {x U : x Ai , i I }
iI

Ai = {x U : x Ai , para algn i I }
iI
Algebra p.20/69

Particin de un conjunto
Llamaremos particin de un conjunto U a una familia de subconjuntos suyos no vacos, disjuntos dos a dos y cuya unin sea U . Por tanto, una coleccin de subconjuntos {Ai }iI de U es una particin de U , si: Ai = para todo i I . Ai Aj = para todo i = j . Ai = U .
iI

Ejemplo: Dado U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, una particin de U viene dada por A1 = {0, 2, 4, 6, 8}, A2 = {1, 7} y A3 = {3, 5, 9}.
Algebra p.21/69

Operaciones: Diferencia
Dados los conjuntos A y B , llamaremos diferencia de A y B , A B , al conjunto formado por los elementos que pertenecen a A y no estn en B , es decir, A B = {x A : x / B }. Si se toman A y B como subconjuntos de un universal U , entonces A B = A B. Ejemplo: Si A = {x : x es una letra vocal} B = {a, b, c, d, e}, entonces A B = {i, o, u}.
Algebra p.22/69

Diferencia simtrica
Dados los conjuntos A y B , llamaremos diferencia simtrica de A y B , A B , al conjunto formado por los elementos que pertenecen a uno y slo uno de los dos conjuntos mencionados, es decir, A B = {x : (x A x / B ) (x B x / A)}. Si se toman A y B como subconjuntos de un universal U , entonces A B = (A B ) (B A) = (A B ) (A B ). Ejemplo: Si A = {a, e, i, o, u} y B = {a, b, c, d, e}, como en el ejemplo anterior, se tiene que A B = {b, c, d, i, o, u}.
Algebra p.23/69

Producto cartesiano
Sean A y B dos conjuntos. Llamaremos producto cartesiano de los conjuntos A y B , A B , al conjunto formado por todos los pares ordenados cuya primera componente pertenece a A y la segunda componente a B , es decir, A B = {(a, b) : a A, b B }. En general, dados n conjuntos A1 , A2 , . . . , An , se dene su producto cartesiano como el conjunto A1 A2 An = {(a1 , a2 , . . . , an ) : ai Ai , i = 1, 2, . . . , n} formado por todas las nuplas (a1 , a2 , . . . , an ) con ai Ai .
Algebra p.24/69

Aplicaciones

Algebra p.25/69

Concepto de aplicacin
Dados los conjuntos A y B , llamaremos correspondencia de A en B a cualquier asignacin que asocie a elementos de A, elementos de B . Llamaremos aplicacin a una correspondencia f de A en B que a cada elemento del conjunto A le asigne un nico elemento de B . Habitualmente representaremos una aplicacin f que asocie a cada elemento ao inA un elemento b B de la siguiente manera: f : A B a f (a) = b

Algebra p.26/69

Concepto de aplicacin
En este contexto, llamaremos: Conjunto inicial o dominio al conjunto A. Conjunto nal o codominio al conjunto B . Imagen de a por f al elemento f (a) B . De otro modo, se dice que a es un origen o antiimagen de f (a). Formalmente, f : A B es aplicacin si verica que a A, b B / f (a) = b.

Algebra p.27/69

Imagen directa

El subconjunto de B formado por las imgenes de todos los elementos de A se denomina imagen de f y se denota por Im(f ), esto es, Im(f ) = {f (a) : a A}. Dado un subconjunto C de A, llamaremos imagen directa de C al subconjunto f (C ) de B denido por f (C ) = {f (a) : a C }. En particular, f () = y f (A) = Im(f ).
Algebra p.28/69

Imagen recproca
Llamaremos imagen recproca de D al subconjunto f 1 (D) de A formado por los elementos que tienen por imagen algn elemento de D, es decir, f 1 (D) = {a A : f (a) D}. En particular, f 1 () = y f 1 ({b}) = {a A : f (a) = b}, para cualquier b B . Ntese que puede ser f 1 ({b}) = .

Algebra p.29/69

Ejemplos de aplicacin

Dado un conjunto A, llamaremos identidad de A a la aplicacin iA : A A tal que iA (a) = a. Dado un subconjunto A de un conjunto U , a la aplicacin i : A U tal que i(a) = a, la denominaremos inclusin de A en U . Sean A, B conjuntos y sea k un elemento jo de B . Entonces la aplicacin fk : A B dada por fk (a) = k , que hace corresponder a todo elemento a A el elemento jo k B , se llama aplicacin constante.

Algebra p.30/69

Frmula de una aplicacin

Si los dos conjuntos que intervienen en la aplicacin son numricos, sta suele llamarse funcin. Si el conjunto nal coincide con el inicial, la aplicacin se denomina transformacin. En ocasiones puede obtenerse una expresin analtica que determina por completo la asignacin de imgenes de la aplicacin. A tal expresin se le denomina frmula de la aplicacin y resulta enormemente prctico disponer de ella. As por ejemplo, la transformacin del conjunto N que asigna a cada natural su doble, puede expresarse por medio de la frmula f (n) = 2n.
Algebra p.31/69

Aplicacin inyectiva
Sean A, B dos conjuntos y f : A B una aplicacin. Se dice que f es inyectiva si elementos distintos de A tienen imgenes distintas por f , es decir, si verica que a, a A, o equivalentemente a, a A, f (a) = f (a ) a = a . a = a f (a) = f (a )

Algebra p.32/69

Aplicacin inyectiva
Ejemplo: La siguiente aplicacin f : A B es inyectiva. A f
: : z z

Algebra p.33/69

Aplicacin sobreyectiva
Sean A, B dos conjuntos y f : A B una aplicacin. Se dice que f es sobreyectiva, exhaustiva o suprayectiva, si todo elemento de B es imagen de algn elemento de A, es decir, si b B, a A/ f (a) = b, o lo que es lo mismo, si se verica la igualdad Im(f ) = B.

Algebra p.34/69

Aplicacin sobreyectiva
Ejemplo: La siguiente aplicacin f : A B es sobreyectiva. A f
: z : z z

Algebra p.35/69

Aplicacin biyectiva
Sean A, B dos conjuntos y f : A B una aplicacin. Se dice que f es biyectiva si es inyectiva y sobreyectiva. Obsrvese que en este caso todo elemento de B tiene una nica antiimagen y por tanto la correspondencia f 1 de B en A que asocia a cada elemento de B su origen por f , es una aplicacin a la que llamaremos inversa de f . Por esta razn tambin se dice que f es invertible. As, f 1 : B A es la aplicacin denida por f 1 (b) = a, donde a es el nico elemento de A tal que f (a) = b.

Algebra p.36/69

Aplicacin biyectiva
Ejemplo: La siguiente aplicacin f : A B es biyectiva. A f
: : z z

Dos conjuntos tienen el mismo cardinal cuando existe entre ellos una aplicacin biyectiva. En particular, dos conjuntos nitos tienen el mismo cardinal si, y slo si, tienen el mismo nmero de elementos.
Algebra p.37/69

Composicin de aplicaciones
Sean f : A B y g : C D dos aplicaciones de manera que B C (habitualmente B = C ). Llamaremos aplicacin compuesta de f y g , g f , a la aplicacin g f : A D denida como (g f )(a) = g (f (a)) para cualquier a A. Proposicin. Sean A, B dos conjuntos y f : A B una aplicacin. Entonces f es biyectiva si, y slo si, existe una aplicacin g : B A tal que f g = iB , g f = iA . En tal caso, g = f 1 .

Algebra p.38/69

Ejemplo
Tomemos las transformaciones f y g de Z dadas por f (n) = n2 y g (n) = n + 1. Entonces (g f )(n) = g (f (n)) = g (n2 ) = n2 + 1 mientras que (f g )(n) = f (g (n)) = f (n + 1) = (n + 1)2 = n2 + 2n + 1 lo que adems pone de maniesto que la composicin de aplicaciones no es en general conmutativa.

Algebra p.39/69

Leyes de composicin

Llamaremos ley de composicin (u operacin) interna en un conjunto A a cualquier aplicacin del producto cartesiano A A en el propio A. En otras palabras, una operacin interna es una regla que asigna a cada par de elementos de A un nuevo elemento de A, su imagen, que llamaremos resultado. Sean A y K dos conjuntos. Llamaremos ley de composicin (u operacin) externa en A con dominio de operadores en K a cualquier aplicacin del producto cartesiano K A en A. Por otra parte, llamaremos ley de composicin (u operacin) externa en un conjunto A a cualquier aplicacin del producto cartesiano A A en otro conjunto K .
Algebra p.40/69

Ejemplos

La suma y el producto ordinarios, son operaciones internas en el conjunto de los naturales N. La divisin ordinaria no es una operacin interna en el conjunto Z . Por ejemplo, el resultado de dividir 1 entre 2 es 1/2 que no es un elemento de Z . La divisin es operacin interna en Q . Dado un conjunto A, la unin y la interseccin son operaciones internas en P (A).

Algebra p.41/69

Ejemplos

Tomemos como A el conjunto Rn y K = R. Entonces dados R y (x1 , . . . , xn ) Rn , la operacin denida por (x1 , . . . , xn ) = (x1 , . . . , xn ) es una operacin externa en Rn con dominio de operadores en R. El producto escalar en Rn es una operacin externa en Rn que toma valores en R, (x1 , . . . , xn ) (y1 , . . . , yn ) = x1 y1 + + xn yn . Si en un conjunto estn denidas una o ms operaciones vericando ciertas propiedades, se dice que el conjunto est dotado de estructura algebraica.
Algebra p.42/69

Relaciones binarias

Algebra p.43/69

Relaciones binarias
Una relacin binaria R denida entre dos conjuntos A y B es un criterio que establece cundo un elemento a A se asocia con otro b B . Diremos entonces que a est relacionado con b, y escribiremos aRb. El conjunto de todos los pares de elementos que estn relacionados forman un subconjunto del producto cartesiano A B . Recprocamente, todo subconjunto C A B determina una relacin binaria entre A y B dada por aRb (a, b) C, a A, b B . Por esta razn se puede denir una relacin binaria como un subconjunto del producto cartesiano. En lo que sigue, tomaremos B = A y diremos simplemente que R es una relacin binaria en A.
Algebra p.44/69

Ejemplo: La divisibilidad en Z
Dados dos enteros a, b Z, diremos que a divide a b o equivalentemente que b es un mltiplo de a, si existe t Z tal que a t = b. Usaremos las notaciones a|b b=a que se lee a divide a b que se lee b es mltiplo de a

Por ejemplo, el 1 divide a cualquier nmero entero y el 0 es mltiplo de cualquier entero. Un nmero entero positivo se dice primo cuando sus nicos divisores positivos son el 1 y l mismo. Esta denicin se debe al famoso matemtico francs Pierre Fermat.
Algebra p.45/69

Ejemplo: La divisibilidad en Z
Dados dos enteros positivos a, b, se dene el mximo comn divisor de a y b como el nico entero positivo d vericando que: d|a y d|b. Si c es un entero positivo tal que c|a y c|b, entonces c|d. Si d es el mximo comn divisor de a y b, escribiremos d = m.c.d.(a, b). Diremos que dos enteros son primos entre s cuando su mximo comn divisor es 1.

Algebra p.46/69

Ejemplo: La divisibilidad en Z
Dados dos enteros positivos a, b, se dene el mnimo comn mltiplo de a y b como el nico entero positivo m vericando que: a|m y b|m. Si c es un entero positivo tal que a|c y b|c, entonces m|c. Si m es el mnimo comn mltiplo de a y b, escribiremos m = m.c.m.(a, b).

Algebra p.47/69

Propiedades

Las propiedades ms signicativas que puede vericar una relacin binaria en un conjunto A son: Reexiva. Diremos que R es reexiva si a A, aRa. Simtrica. Diremos que R es simtrica si a, a A, aRa a Ra. Antisimtrica. Diremos que R es antisimtrica si a, a A, aRa a Ra a = a . Transitiva. Diremos que R es transitiva si a, a , a A, aRa a Ra aRa .
Algebra p.48/69

Relaciones de equivalencia
Dado un conjunto A, llamaremos relacin de equivalencia a una relacin binaria en A que verica las propiedades reexiva, simtrica y transitiva. A las relaciones de equivalencia las representaremos en lo sucesivo mediante el smbolo , de modo que si dos elementos a y b de A estn relacionados escribiremos ab y en caso contrario, a b.

Algebra p.49/69

Ejemplos

En el conjunto formado por todas las rectas del plano, la relacin ser paralelas es de equivalencia. En el conjunto Z de los nmeros enteros, jado un entero p > 1, la relacin denida por m n t Z / m n = t p, m, n Z

es de equivalencia, y la denominaremos congruencia mdulo p. Es sencillo probar que dos enteros m y n estn relacionados si, y slo si, dan el mismo resto al dividir por p.
Algebra p.50/69

Clases de equivalencia
Sea una relacin de equivalencia en un conjunto A y a A. Llamaremos clase de equivalencia de a por la relacin al subconjunto de A [a] = {x A : a x}. El elemento a es representante de la clase [a]. Para la relacin de congruencia mdulo p, las clases [r] = {n Z : n r = p } estn formadas por los enteros n tales que el resto al dividir n entre p es r, con r = 0, 1, . . . , p 1, y se denominan clases de restos mdulo p. Hay p clases de equivalencia, ya que se pueden obtener p restos distintos al dividir por p. As, las clases para dicha relacin son [0], [1], . . . , [p 1].
Algebra p.51/69

Propiedades

Son propiedades interesantes de las clases de equivalencia las siguientes: [a] = . [a] = [b] si, y slo si, a b. Por tanto, todo elemento de una clase de equivalencia es un representante de sta. [a] [b] = si, y slo si, a b. [a] = A.
a A

Estas propiedades permiten deducir:

Algebra p.52/69

Propiedades
Dos clases, o bien son iguales o bien son disjuntas, dependiendo de si estn o no relacionados sus representantes. Las distintas clases son no vacas, disjuntas y tales que su unin es A. Por tanto, determinan una particin del conjunto A. Recprocamente, toda particin {Ai }iI del conjunto A origina una relacin de equivalencia, que es a b a, b Ai , para algn i I , a, b A. As, existe una biyeccin entre las particiones de un conjunto A y las relaciones de equivalencia que pueden denirse sobre l.
Algebra p.53/69

Conjunto cociente
Dada una relacin de equivalencia en un conjunto A, llamaremos conjunto cociente y lo denotaremos por A/ , al conjunto de sus clases de equivalencia, A/ = {[a] : a A}. Por ejemplo, para la relacin de congruencia mdulo p en Z, el conjunto cociente, que en este caso particular denotaremos por Zp , est formado por las p clases de restos mdulo p, Zp = {[0], [1], [2], . . . , [p 1]}.

Algebra p.54/69

Relaciones de orden
Dado un conjunto A, llamaremos relacin de orden a una relacin binaria en A que verica las propiedades reexiva, antisimtrica y transitiva. En general representaremos a las relaciones de orden mediante el smbolo , de modo que si a est relacionado con b escribiremos a b y diremos que a es menor o igual que b, a es anterior a b, o b es posterior a a. En caso de no estar a relacionado con b, escribiremos a b. Cuando a b y a = b, diremos que a es estrictamente menor que b o que b es estrictamente mayor que a. Si A es un conjunto dotado de una relacin de orden, se dice que es un conjunto ordenado y se denota por (A, ).
Algebra p.55/69

Ejemplos

Son relaciones de orden: El orden habitual en el conjunto N de los nmeros naturales, denido por n m p N / n + p = m. Los rdenes habituales en los conjuntos Z, Q y R. La relacin de divisibilidad en el conjunto N denida por m n m|n t N / m t = n donde m, n N . La relacin de inclusin en el conjunto P (A) de las partes de un conjunto A, dada por B C B C , para B, C A.
Algebra p.56/69

Representacin grca

Cuando una relacin de orden est denida en un conjunto nito, resulta particularmente ilustrativo representarla mediante grcos en el plano denominados diagramas de Hasse, en los que la relacin x y se expresa mediante una echa de x a y , omitindose las que corresponden a las propiedades reexiva y transitiva. Estos diagramas son a su vez ejemplos de lo que en el Captulo 3 se llamarn grafos dirigidos. Se adjunta como ejemplo el grco obtenido al representar el conjunto D20 = {1, 2, 4, 5, 10, 20} de los divisores naturales de 20 ordenados por la relacin de divisibilidad.
7 o

20

4 2

6 o

3 6 7

10 5

1
Algebra p.57/69

Orden parcial y orden total

Sea (A, ) un conjunto ordenado. Diremos que dos elementos a, b A son comparables cuando estn relacionados, es decir, si a b o b a. En particular, si todo par de elementos del conjunto A son comparables diremos que A es totalmente ordenado o que la relacin es de orden total. En caso contrario, diremos que A es parcialmente ordenado o que la relacin es de orden parcial. Por ejemplo, el conjunto N de los nmeros naturales es un conjunto totalmente ordenado con el orden habitual y sin embargo parcialmente ordenado cuando se considera el orden de la divisibilidad. Tampoco es de orden total la relacin denida sobre P (A), salvo cuando A tenga a lo sumo un elemento.

Algebra p.58/69

Orden parcial y orden total

Si (A, ) es un conjunto ordenado y B A, B est ordenado por la misma relacin denida sobre A. Adems, si la relacin fuese de orden total en A lo sera tambin en B . Sin embargo el recproco no es cierto; el orden puede ser parcial en A y total en B . Por ejemplo, la relacin de divisibilidad es de orden parcial en N , pero es de orden total en B = {2, 8, 16, 32, 128}. Sea (A, ) un conjunto ordenado. Llamaremos cadena a cualquier subconjunto no vaco de A que sea totalmente ordenado. En particular si A es totalmente ordenado, el mismo A y cualquiera de sus subconjuntos no vacos son cadenas.
Algebra p.59/69

Elementos notables
Sea (A, ) un conjunto ordenado y B un subconjunto no vaco de A. Desempean un papel destacado los siguientes elementos: Cota superior de B : Llamaremos as a cualquier elemento de A que sea mayor o igual que todos los elementos de B . Formalmente, ks A es cota superior de B si b B, b ks . Cota inferior de B : Llamaremos as a cualquier elemento de A que sea menor o igual que todos los elementos de B . Formalmente, ki A es cota inferior de B si b B, ki b.
Algebra p.60/69

Elementos notables
Diremos que B est acotado superiormente si posee alguna cota superior. Diremos que B est acotado inferiormente si posee alguna cota inferior. Cuando B est acotado superior e inferiormente diremos simplemente que est acotado. Segn se desprende de la denicin, las cotas de un conjunto B no pertenecen necesariamente a este conjunto y, cuando existen, no tienen por qu ser nicas. En particular, cualquier elemento mayor que una cota superior es tambin cota superior y cualquiera que sea menor que una cota inferior es tambin cota inferior.

Algebra p.61/69

Elementos notables
Supremo o extremo superior de B : Llamaremos as a la menor de las cotas superiores de B , cuando sta exista. La denotaremos por sup(B ). nmo o extremo inferior de B : Llamaremos as a la mayor de las cotas inferiores de B , cuando sta exista. La denotaremos por nf(B ). Ni el nmo ni el supremo pertenecen necesariamente al conjunto B . Adems conviene resaltar que un conjunto puede estar acotado sin que exista alguno de estos dos elementos.

Algebra p.62/69

Elementos notables
Mximo de B : Llamaremos as, cuando exista, al mayor de los elementos del conjunto B , y lo denotaremos por m ax(B ). As, b B, b m ax(B ). Mnimo de B : Llamaremos as, cuando exista, al menor de los elementos del conjunto B , y lo denotaremos por m n(B ). As, b B, m n(B ) b. Si existe m ax(B ), coincide con sup(B ). De este modo, una vez obtenido sup(B ) bastar comprobar si ste pertenece a B para saber si existe m ax(B ). Anlogamente, si existe m n(B ) coincide con nf(B ), de modo que una vez obtenido nf(B ), bastar comprobar si ste pertenece a B para saber si es el m n(B ).
Algebra p.63/69

Elementos notables
Al contrario que en los casos anteriores, el mximo y el mnimo de un conjunto B pertenecen a dicho conjunto. Cuando no existen tiene sentido calcular los elementos Elemento maximal de B : Llamaremos as a cualquier elemento de B tal que no existe ningn elemento de B mayor que l. Es decir, B es un elemento maximal de B si b B, b = b. Elemento minimal de B : Llamaremos as a cualquier elemento de B tal que no existe ningn elemento de B menor que l. Es decir, B es un elemento minimal de B si b B, b = b.

Algebra p.64/69

Elementos notables
De la denicin se desprende que tanto el mximo como el mnimo, cuando existen, son nicos. Sin embargo, pueden existir ms de un maximal o ms de un minimal. En cualquier caso, si existe el mximo de un conjunto ste es su nico maximal y, anlogamente, si existe el mnimo ste es su nico minimal. Tambin cabe sealar que si el orden es total, los conceptos de mximo y de elemento maximal, as como los de mnimo y elemento minimal son equivalentes.

Algebra p.65/69

Ejemplos
1.- Consideremos el conjunto ordenado (N , |) y el subconjunto B1 = {2, 4, 6, 8, 12, 16, 48}. La gura 1 representa el grco de esta relacin en B1 . Los elementos notables de B1 son: Cotas superiores de B1 : 48, 96, 144, . . . (todos los mltiplos de 48). Cotas inferiores de B1 : 2, 1. sup(B1 ) = 48; m ax(B1 ) = 48; nf(B1 ) = 2. m n(B1 ) = 2.

Elementos maximales de B1 : 48. Elementos minimales de B1 : 2.

Algebra p.66/69

Ejemplos
2.- Sea ahora B2 = {2, 5, 10, 18, 25, 30, 36} (N , |), que representamos en la gura 2. Se obtiene: Cotas superiores de B2 : 900, 1800, . . ., es decir, los mltiplos de 900 (que es el mnimo comn mltiplo de los elementos de B2 ). Cotas inferiores de B2 : 1. sup(B2 ) = 900; nf(B2 ) = 1.

Como sup(B2 ) / B2 entonces m ax(B2 ) no existe; por una razn similar m n(B2 ) no existe. Elementos maximales de B2 : 36, 30, 25. Elementos minimales de B2 : 2, 5.
Algebra p.67/69

Ejemplos
3.- Sea B = {30, 42} A, con A = {2, 3, 30, 42, 210}, que est ordenado por divisibilidad y cuyo diagrama de Hasse es el de la gura 3. Se tienen entonces: Cotas superiores de B : 210. Cotas inferiores de B : 2, 3. sup(B ) = 210. No existe nf(B ), puesto que las cotas inferiores no son comparables. Esto indica que la existencia de cotas inferiores no es razn suciente para que exista el nmo, como sabemos. No existen m ax(B ) ni m n(B ). Los elementos de B , 30 y 42, son a la vez maximales y minimales.
Algebra p.68/69

Ejemplos

 M

48

16 8

6 7 6

12

36 10

30 25 30

210
7o 6 I  6

6 o 7

18 6

7o

42

2 Figura 1

5 2 Figura 2

3 2 Figura 3

Algebra p.69/69