1

Relaciones de orden

Sea R una relacin binaria en un conjunto A. Si R satisface las o propiedades reexiva, antisimtrica y transitiva se dice que R es e una relacin de orden. En este caso si a y b son elementos de o A tales que aRb, lo denotaremos por a b.

Si verica la propiedad de que dados a y b en A, entonces a b o b a, entonces la relacin se denomina de orden o total.

Sean A y B dos conjuntos tales que B A y una relacin o de orden en A. Podemos entonces denir varios elementos notables de A: a) Elemento minimal de A es todo aquel elemento a A tal que si b a entonces a = b. b) Elemento maximal de A es todo aquel elemento a A tal que si a b entonces a = b. c) M nimo de A es el elemento a de A tal que a b para todo b A. d) Mximo de A es el elemento a de A tal que b a para a todo b A. e) Cota inferior de B es cualquier elemento a A tal que a b para todo b B. f) Cota superior de B es cualquier elemento a A tal que b a para todo b B. g) Inmo de B, es el mximo de las cotas inferiores de B. a h) Supremo de A, es el m nimo de las cotas superiores de B.
1

Ret culos

Denicin 2.1 Sea L un conjunto parcialmente ordenado. Se o dice que L es un semiretculo inferior (resp. superior) si para cualesquiera x e y elementos de L, existen el nmo, inf ({x, y}) (resp. el supremo, sup({x, y})) del conjunto {x, y}. Un conjunto ordenado que es a la vez un semiretculo inferior y superior se denomina un retculo. Ejemplos. a)El conjunto de los nmeros enteros Z con la u Z relacin de orden usual. o b) El conjunto de los divisores (en I ) de un nmero natN u ural n, D(n), con la relacin aRb si y slo si a divide a b o o es un conjunto parcialmente ordenado. Adems, se tiene que a inf ({a, b}) = (a, b) y sup({a, b)} = m.c.m(a, b). c) Sea X un conjunto y A = P(X) el conjunto de todos los subconjuntos de X. A con la relacin de inclusicn. o o Denicin 2.2 Un semigrupo se llama una banda si cada eleo mento es idempotente. Proposicin 2.3 La clase de los semiretculos coincide con al o clase de todas las bandas abelianas. Un ret culo se puede denir tambin de manera algebraica: e Denicin 2.4 Sean L un conjunto y y dos operaciones o binarias denidas en L. L se dice un retculo si es cerrado para ambas operaciones y si se verican los siguientes axiomas para cualesquiera a, b, c L : Conmutatividad. 1.a) a b = b a y 1.b) a b = b a.
2

Asociatividad.2.a) a(bc) = (ab)c y 2.b) a(bc) = (a b) c. Absorcin. 3.a) a (a b) = a y 3.b) a (a b) = a. o Denicin 2.5 El dual de cualquier expresin en un retculo L o o es la expresin resultante de intercambiar las operaciones y o . Teorema 2.6 (Principio de Dualidad) El dual de cualquier teorema en un retculo es tambin un teorema. e Corolario 2.7 (Propiedades idempotentes) Sea L un retculo y a un elemento de L. Entonces: i) a a = a. ii) a a = a. Aplicando las leyes de absorcin se tiene que o a a = a (a (a a)) = a Lema 2.8 Sea L un ret culo y sean a y b elementos de L. Entonces: i) a b = a si y slo si a b = b. o ii) La relacin R denida en L por aRb si y slo si a b = a o o o a b = b es una relacin de orden en L. o Teorema 2.9 Las deniciones 1.1 y 1.4 son equivalentes. Denicin 2.10 Sean (L, , ) y (L , , ) dos ret o culos y f : L L . Se dice que f es un homomorsmo de retculos si f (a b) = f (a) f (b) y f (a b) = f (a) f (b). Si adems se a tiene que f es biyectiva entonces se dice que f es un isomorsmo de retculos. Dados (L, , ) y (L , , ) dos retculos, se dice que L y L son isomorfos si existe un isomorsmo de ret culos de L en L .
3

Ret culos acotados

Denicin 3.1 Sea L un retculo. Se dice que L es un ret o culo acotado si existen mnimo,(tambin llamado elemento cero 0), e y mximo(tambin llamado elemento uno, 1) para L. a e

Ejemplos. i) En el conjunto de las partes de un conjunto, el conjunto vac y el propio conjunto son el elemento cero y el o elemento uno respectivamente. ii) El conjunto de los nmeros naturales ordenados por divisu ibilidad tiene elemento cero pero no elemento uno.

Lema 3.2 Sea L un retculo acotado con m nimo, 0, y un mximo, a 1. Entonces se tienen las siguientes igualdades para cualquier elemento a de L: a.1) a 1 = a. a.2) a 1 = a. b.1) a 0 = a. b.2) a 0 = 0.

Teorema 3.3 Todo ret culo nito es un ret culo acotado.

Ret culos modulares y distributivos

Denicin 4.1 Un ret o culo L se dice modular si para cualesquiera elementos a, b, c L se tiene a c a (b c) = (a b) c. Teorema 4.2 Un retculo L es modular si y solo si ninguno de sus subretculos es isomorfo al ret culo del pentagono V45 . Denicin 4.3 Un retculo L se dice distributivo si para cuao lesquiera a, b, y c en L se verican: a (b c) = (a b) (a c) y a (b c) = (a b) (a c) Ejemplos. i) El ret culo de las partes de un conjunto es distributivo. ii) Toda cadena es un ret culo distributivo. iii) El conjunto de los nmeros naturales ordenados por diu visibilidad es un ret culo distributivo. Teorema 4.4 Cada ret culo distributivo es modular. Teorema 4.5 Un retculo modular es distributivo si solo si ninguno de sus subret culos es isomorfo al ret culo del diamante. Corolario 4.6 Un retculo es distributivo si y solo si ninguno de sus subretculos es isomorfo al ret culo del pentgono o el a ret culo del diamante.

Ret culos complementados

Denicin 5.1 Un retculo acotado con 0 y 1, L, se dice como plementado si para cualquier elemento x de L, existe un elemento x de L tal que x x = 1 y x x = 0. Dicho elemento x se denomina complementario o complemento de x. Es claro que 0 = 1 y que 1 = 0.

Proposicin 5.2 Sean L un retculo acotado y distributivo y x o un elemento de L. Si y y z son complementos de x, entonces y = z.

Corolario 5.3 Sea L un ret culo acotado y distributivo y x un elemento de L. Entonces x = (x ) .

6

Algebras de Boole

Denicin 6.1 Un lgebra de Boole es un ret o a culo distributivo, acotado y complementado. Ejemplos: a) Sea A un conjunto y consideremos el conjunto de las partes de A, P(A). (P(A), , ) es un lgebra de Boole. a b) Sea B = {0, 1} un conjunto con dos elementos y denimos 0 + 0 = 0, 0 + 1 = 1 + 0 = 1 + 1 = 1 y 0 0 = 0 1 = 1 0 = 0 y 1 1 = 1 y 0 = 1 y 1 = 0. Las funciones f : B m B2 se denominan funciones de conmutacin o funciones o booleanas, Bm . El conjunto de las funciones booleanas con +, y la funcin complemento dada por f (x1 , ..., xm ) = f (x1 , ..., xm ) o es un lgebra de Boole. a Nota: Dada un lgebra de Boole (B, , ), es usual denotar a las operaciones y por + y respectivamente. Teorema 6.2 (leyes de De Morgan) Sea B una lgebra de a Boole y sean x e y elementos de B. Entonces (x + y) = x y y (x y) = x + y .

Denicin 6.3 Sea B un lgebra de Boole. Un elemento b de o a B se dice disyuntivamente irreducible si b = x + y implica que b = x o b = y.
7

Denicin 6.4 Sea B un lgebra de Boole. Un elemento a de o a B se dice un tomo si es tal que b a para algn b en B, implica a u que b = 0. Lema 6.5 Sea B un lgebra de Boole. Todo tomo de B es a a disyuntivamente irreducible. Proposicin 6.6 Sea B un lgebra de Boole nita. Los eleo a mentos disyuntivamente irreducibles de B distintos de 0 son los tomos de B. a Teorema 6.7 Sea B un lgebra de Boole nita. Entonces todo a elemento de B puede expresarse de forma unica como disyuncin o de un conjunto nito de tomos irredundantes. a Denicin 6.8 Sean A y B dos lgebras de Boole y f de A en o a B un isomorsmo de retculos. Se dice que f es un isomorsmo de lgebras de Boole si f (x ) = f (x) para todo x A. a Lema 6.9 Sean A y B dos lgebras de Boole y f de A en B a un isomorsmo de retculos. Entonces f es un isomorsmo de lgebras de Boole si y slo si f (1A ) = 1B y f (0A ) = 0B . a o Teorema 6.10 (de Representacin de las lgebras de Boole o a nitas) Sea B un ret culo nito y sea A el conjunto de sus tomos. Entonces B es un lgebra de Boole si y slo si es isoa a o morfa al lgebra de Boole P (A). a
8

Teorema. La cardinalidad de cualquier lgebra de Boole a n nita es siempre 2 y cualesquiera dos lgebras booleanas nitas a con la misma cardinalidad son isomorfas. Teorema. Para cada lgebra booleana nita B = 0 existe a algn nmero entero n con u u B {0, 1}n . = Denicin. Sea x1 , ..., xn un conjunto de n indeterminadas. o Los polinomios booleanos en esas indeterminadas son los objetos uq pueden obtenerse de manera recursiva por la aplicacin o sucesiva de i) x1 , ..., xn y 0 y 1 son polinomios booleanos; ii) si f y g son polinomios booleanos, tambin lo son f + g, e fg y f . Denotaremos el conjunto de polinomios booleanos en n indeterminadas por Pn . Denicin. Sea B un lgebra booleana, B n el producto o a directo de n copias de B, y f un polinomio booleano en Pn . Entonces f B : Bn B denido por (a1 , a2 , ..., an ) f (a1 , ..., an ) se llama una funcin polinmica booleana inducida por f o o sobre B. Denotaremos por Pn (B) el conjunto de todas las funciones polinmicas booleanas sobre B. o
9

Teorema. Sea B un lgebra booleana; entonces el conjunto a de Pn (B) es un lgebra booleana y una sublgebra del lgebra a a a booleana de todas las funciones de B n en B.

Denotaremos por B el lgebra boolena {0, 1} a

Denicin Dos polinomios booleanos p, q Pn son equivao lentes p q si sus funciones asociadas sobre B son iguales.

Teorema. a) La relacin es una relacin de equivalencia. o o b) Pn / es un lgebra de Boole y a (Pn / ) Pn (B) = como lgebras booleanas. a

Teorema. Sean p, q Pn y B un lgebra booleana arbitraria. a Si p q, entonces pB = q B .

10

Formas normales

Denicin. N Pn se llama un sistema de formas normales o si: a) Cada polinomio p Pn es equivalente a un polinomio (su forma normal) de N ; b) Si q1 , q2 N , entonces si los polinomios no son iguales no son equivalentes.

Teorema. Los siguientes conjuntos son sistemas de formas normales: 1) Nd = { y1 y2 ...yn } donde cada yi es igual a xi o a xi . 2) Nc = { (y1 + ... + yn )} donde cada yi es igual a xi o a xi .

Denicin. Dado un polinomio p o a) El polinomio unico pd Nd tal que p pd se llama la forma normal disyuntiva de p. b) El polinomio unico pc Nd tal que p pc se llama la forma normal conjuntiva de p.

11