27
Relaciones,PreĀ“ordenes Silvio Reggiani Complementos de MatemĀ“ atica II (LCC) Facultad de Ciencias Exactas, IngenierĀ“ ıa y Agrimensura Universidad Nacional de Rosario 11 de septiembre de 2018

Silvio Reggiani - Facultad de Ciencias Exactas

  • Upload
    others

  • View
    7

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Silvio Reggiani - Facultad de Ciencias Exactas

Relaciones, Preordenes

Silvio Reggiani

Complementos de Matematica II (LCC)Facultad de Ciencias Exactas, Ingenierıa y Agrimensura

Universidad Nacional de Rosario

11 de septiembre de 2018

Page 2: Silvio Reggiani - Facultad de Ciencias Exactas

Repaso de relacionesUna relacion R entre un conjunto A y un conjunto B es unsubconjunto del producto cartesiano AƗ B

R āŠ‚ AƗ B (el orden importa)

I La relacion R nos dice con que elementos de B (posiblementeninguno) se ā€œrelacionaā€ cada elemento de A

I Si a āˆˆ A, b āˆˆ B, significan lo mismo:I a esta relacionado con bI (a, b) āˆˆ RI aRb

Ejemplos triviales

I R = āˆ… āŠ‚ AƗ B (ningun elemento de A se relaciona conningun elemento de B)

I R = AƗ B (todos los elementos de A se relacionan con todoslos elementos de B)

Page 3: Silvio Reggiani - Facultad de Ciencias Exactas

Relacion funcional

(a, b), (a, c) āˆˆ R =ā‡’ b = c (funcion parcial)

Dominio e imagen de una relacion R āŠ‚ AƗ B

I domR := {a āˆˆ A : āˆƒb āˆˆ B, aRb}I imR := {b āˆˆ B : āˆƒa āˆˆ A, aRb}

Ejemplo

Una funcion (total) f : Aā†’ B es una relacion funcional ā€œtotal aizquierdaā€, es decir dom f = A:

(a, b) āˆˆ f āŠ‚ AƗ B

I āˆ€a āˆˆ A,āˆƒ!b āˆˆ B, afb

I b := f (a) (notacion)

Page 4: Silvio Reggiani - Facultad de Ciencias Exactas

Operaciones con relaciones

InversionSi R es una relacion entre A y B se define la relacion inversa entreB y A por

Rāˆ’1 := {(b, a) āˆˆ B Ɨ A : aRb}

Proposicion

Sea f una relacion funcional. Entonces f āˆ’1 es una relacionfuncional sii f es inyectiva.

Demostracion.

ā‡’ bf āˆ’1a āˆ§ bf āˆ’1aā€² =ā‡’ a = aā€²

ā‡ afb āˆ§ aā€²fb =ā‡’ a = aā€²

Page 5: Silvio Reggiani - Facultad de Ciencias Exactas

Union

RāˆŖ S āŠ‚ AƗ B

(solo funciona cuando R y S son ambas relaciones entre A y B)

Ejemplo

I R = ā€œ < ā€ = {(a, b) : a < b} āŠ‚ RƗ RI S = ā€œ = ā€ = {(a, a) : a āˆˆ R} āŠ‚ RƗ RI ā€œ < ā€ āˆŖ ā€œ = ā€ = ā€œ ā‰¤ ā€

Interseccion

Rāˆ© S = {(a, b) : aRb āˆ§ aSb}

Diferencia, etc. . .

Page 6: Silvio Reggiani - Facultad de Ciencias Exactas

Composicion

I R relacion entre A y B

I S relacion entre B y C

I S ā—¦ R := {(a, c) āˆˆ AƗ C : āˆƒb āˆˆ B, aRb āˆ§ bSc}

Ejemplo

Si f : Aā†’ B y g : B ā†’ C son funciones, entonces g ā—¦ f (como loacabamos de definir) es una funcion:

I Dado a āˆˆ A, āˆƒ!b āˆˆ B, afb [b = f (a)]

I āˆƒ!c āˆˆ C , bgc [c = g(b) = g(f (a))]

I Luego, dado a āˆˆ A, āˆƒ!c āˆˆ C , a(g ā—¦ f )c . Es decir, g ā—¦ f es unarelacion funcional.

La composicion de relaciones coincide con la composicion defunciones en el sentido usual.

Page 7: Silvio Reggiani - Facultad de Ciencias Exactas

Restriccion

I R relacion entre A y B

I Aā€² āŠ‚ A, B ā€² āŠ‚ B

I La restriccion de R a Aā€² Ɨ B ā€² es

R|Aā€²Ć—Bā€² := {(a, b) : a āˆˆ Aā€², b āˆˆ B ā€², aRb}

Restriccion de funcionesSi f : Aā†’ B, Aā€² āŠ‚ A,

f |Aā€² = f |Aā€²Ć—B

Page 8: Silvio Reggiani - Facultad de Ciencias Exactas

Relacion en un conjuntoI Un caso muy interesante es cuando R āŠ‚ AƗ A relaciona los

elementos del conjunto A entre sı. Esto tambien se llama unarelacion en A.

I Las relaciones en A se pueden representar con grafos dirigidos:

I Vertices: elementos de AI aRaā€² se representa con una flecha aā†’ aā€²

Igualdad

0 1 2 3

Menor (o igual)

0 1 2 3

Page 9: Silvio Reggiani - Facultad de Ciencias Exactas

Tipos de relaciones

Reflexiva: āˆ€a āˆˆ A : aRaLa igualdad es la menor relacion reflexiva

Simetrica: āˆ€a, b āˆˆ A : aRb =ā‡’ bRa

a b

Antisimetrica: āˆ€a, b āˆˆ A : aRb āˆ§ bRa =ā‡’ a = b

a b a b a b

Transitiva: āˆ€a, b, c āˆˆ A : aRb āˆ§ bRc =ā‡’ aRc

a b c (importante en categorıas)

Page 10: Silvio Reggiani - Facultad de Ciencias Exactas

Tipos de relaciones

Ejercicio

Las propiedades anteriores se heredan cuando restringimos larelacion a un subconjunto de A.

Relaciones de equivalencia

I Notacion: R = āˆ¼I āˆ¼ reflexiva

I āˆ¼ simetrica

I āˆ¼ transitiva

Las relaciones de equivalencia son importantes porque nospermiten ā€œetiquetarā€ los elementos de un conjunto sinambiguedades o repeticiones.

Page 11: Silvio Reggiani - Facultad de Ciencias Exactas

Ejemplos de relaciones de equivalencia

I ā€œ=ā€ Ejemplo trivial (muchas etiquetas)

I Congruencia modulo 2 en Z:

m āˆ¼ n ā‡ā‡’ m āˆ’ n ā‰” 0 mod 0

Etiquetas: ā€œparā€, ā€œimparā€

Page 12: Silvio Reggiani - Facultad de Ciencias Exactas

ĀæQue significa etiquetar?

I āˆ¼ relacion de equivalencia en A

I a = {b āˆˆ A : a āˆ¼ b} es la clase de equivalencia u orbita dea āˆˆ A

I a 6= āˆ… (a āˆˆ a)

I Dados a, b āˆˆ A, o bien a = b o bien a āˆ© b = āˆ…I A es union disjunta de la clases de equivalencia de āˆ¼I Conjunto cociente:

A/āˆ¼ := {a : a āˆˆ A} āŠ‚ P(A)

es una particion de A. Es decir,I A =

ā‹ƒXāˆˆA/āˆ¼ X

I āˆ€X āˆˆ A/āˆ¼,X 6= āˆ…I āˆ€X ,Y āˆˆ A/āˆ¼ : X 6= Y =ā‡’ X āˆ© Y = āˆ…

Page 13: Silvio Reggiani - Facultad de Ciencias Exactas

TeoremaHay una correspondencia biyectiva entre relaciones de equivalenciaen A y particiones de A.

Demostracion.

I Ya vimos que una relacion de equivalencia induce unaparticion

I Recıprocamente, dada una particion P āŠ‚ P(A) definimos

a āˆ¼ b ā‡ā‡’ āˆƒX āˆˆ P : a, b āˆˆ X

(verificar como ejercicio que āˆ¼ es una relacion deequivalencia)

I Estas dos construcciones son recıprocas

Page 14: Silvio Reggiani - Facultad de Ciencias Exactas

Ejemplo 1 (importante)

Dada una funcion f : Aā†’ B,

ker f := {(a, aā€²) : f (a) = f (aā€²)}

es una relacion de equivalencia en A (volveremos sobre esto masadelante)

Ejemplo 2

Dada una relacion de equivalencia āˆ¼ en A, podemos construir laproyeccion al cociente

Ļ€ : Aā†’ A/āˆ¼, Ļ€(a) = a

Se tiene que ker Ļ€ =āˆ¼. Luego Toda relacion de equivalencia es elkernel de una funcion (tambien volveremos sobre esto)

Page 15: Silvio Reggiani - Facultad de Ciencias Exactas

Teorema (de factorizacion)

Si āˆ¼ es una relacion de equivalencia en A y f : Aā†’ B es unafuncion tal que a āˆ¼ b =ā‡’ f (a) = f (b), entonces existe una unicafuncion f : A/āˆ¼ ā†’ B tal que f = f ā—¦ Ļ€.

A B

A/āˆ¼

f

Ļ€ āˆƒ!f

Demostracion.Ejercicio. Definir f (a) = f (a) y probar que esta definicion nodepende del representante elegido.

Page 16: Silvio Reggiani - Facultad de Ciencias Exactas

Conjuntos preordenados

Un preorden en un conjunto A es una relacion que establecejerarquıas entre sus elementos (con mınimos requisitos)

Definicion formalUna relacion ā‰¤ en A es un preorden si es

I reflexiva (a ā‰¤ a) y

I transitiva (a ā‰¤ b, b ā‰¤ c =ā‡’ a ā‰¤ c)

a b cā‰¤

ā‰¤

ā‰¤

ObservacionUn preorden puede tener ciclos

a b c es un preorden valido

Page 17: Silvio Reggiani - Facultad de Ciencias Exactas

Ejemplo

ĀæCuantos preordenes hay en A = {a, b}? Rta: 4

a b a b a b a b

Ejercicio

ĀæCuantos preordenes hay en A = {a, b, c}? Rta: 29

Ejercicio*

ĀæCuantos preordenes hay en un conjunto con n elementos? Rta:muchos

Page 18: Silvio Reggiani - Facultad de Ciencias Exactas

Ejemplo

I Una relacion de equivalencia en A es un preorden.

I ĀæCuantas relaciones de equivalencia hay en A = {a, b, c}?I Relaciones de equivalencia en A ā‡ā‡’ Particiones de A

I P1 = {{a, b, c}}I P2 = {{a, b}, {c}}I P3 = {{a, c}, {b}}I P4 = {{b, c}, {a}}I P5 = {{a}, {b}, {c}}

I |Relaciones de equivalencia| = 5ļæ½ 29 = |Preordenes|I |Relaciones en A| = |P(AƗ A)| = 29 = 512

Ejercicio

Graficar los preordenes asociados a las relaciones de equivalenciaanteriores.

Page 19: Silvio Reggiani - Facultad de Ciencias Exactas

Ejemplo

I A = {Piedra,Papel,Tijera}I Piedra . Papel, Papel . Tijera, Tijera . Piedra

I No es un preorden (Āæpor que?)

Ejemplo/Ejercicio

Construccion de un preorden a partir de una relacion cualquiera Ren un conjunto A.

I R= = RāˆŖ {(a, a) : a āˆˆ A} (clausura reflexiva)

I R< = RāˆŖ {(a, c) : āˆƒ un camino de a a c con flechas de R}=

ā‹‚SāŠƒR

S transitiva

S (clausura transitiva)

I (R=)< = (R<)= es el menor preorden que contiene a R.

Page 20: Silvio Reggiani - Facultad de Ciencias Exactas

Mas ejemplos

I AƗ A es un preorden en A

I āˆ… no es un preorden en A (si A 6= āˆ…)

I El orden (menor o igual) en la recta R es un preorden y sehereda a cualquier subconjunto: N, Z, Q, . . .

I Importante: a | b (a divide a b) es un preorden en Z.Recordar: a | b ā‡ā‡’ āˆƒc āˆˆ Z : b = ac

Ā· Ā· Ā· āˆ’2 āˆ’1 0 1 2 Ā· Ā· Ā·

I No es antisimetrico:n ā‰¤ āˆ’n ā‰¤ nI Hay maximo: āˆ€n, n ā‰¤ 0I Hay ā€œmınimosā€: āˆ€n, 1 ā‰¤ n, āˆ€n,āˆ’1 ā‰¤ n

Page 21: Silvio Reggiani - Facultad de Ciencias Exactas

Jerarquıas

I a es elemento maximal si

āˆ€x , a ā‰¤ x =ā‡’ x ā‰¤ a

Nadie le gana a a

I a es un maximo si

āˆ€x , x ā‰¤ a

a le gana a todos

I a es elemento minimal si

āˆ€x , x ā‰¤ a =ā‡’ a ā‰¤ x

a no le gana a nadie

I a es un mınimo si

āˆ€x , a ā‰¤ x

Todos le ganan a a

Ejercicio

I Maximo =ā‡’ Maximal

I Mınimo =ā‡’ Minimal

Page 22: Silvio Reggiani - Facultad de Ciencias Exactas

Ejemplos

I (Z,ā‰¤) no tienen elementos maximales ni minimalesI (Z, | )

I 0 es maximoI Ā±1 son los mınimos

I ā€œ ā‰¤ ā€ = AƗ A: todo elemento es maximo y mınimo

I ā€œ = ā€ = āˆ…= (clausura reflexiva de la relacion vacıa): todoelemento es minimal y maximal a la vez; no hay maximos nimınimos si |A| ā‰„ 2

Page 23: Silvio Reggiani - Facultad de Ciencias Exactas

Cotas superiores/inferiores, supremos/ınfimos

Sean (A,ā‰¤) un conjunto preordenado, B āŠ‚ A y a āˆˆ A. Decimosque

I a es cota superior de B si āˆ€b āˆˆ B, b ā‰¤ a. Si existe una cotasuperior de B decimos tambien que B esta acotadosuperiormente

I a es cota inferior de B si āˆ€b āˆˆ B, a ā‰¤ b. Si existe una cotainferior de B decimos tambien que B esta acotadoinferiormente

I a es un supremo de B si A es un mınimo de

{c āˆˆ A : c es cota superior de B}

I a es un ınfimo de B si a es un maximo de

{cinA : c es cota inferior de A}

Page 24: Silvio Reggiani - Facultad de Ciencias Exactas

Axioma del supremo

Axioma del supremo

Todo subconjunto no vacıo y acotado superiormente (de unconjunto preordenado) tiene supremo.

Ejemplo

I (R,ā‰¤) satisface el axioma del supremo.

I (Q,ā‰¤) no satisface el axioma del supremo. Por ejemplo

{q āˆˆ Q : q2 ā‰¤ 2}

es acotado superiormente pero no tiene supremo.

I Luego el axioma del supremo no es una propiedad hereditaria.

Page 25: Silvio Reggiani - Facultad de Ciencias Exactas

Ejemplo/Ejercicio importante

I X conjunto (dato)

I (P(X ),āŠ‚) es un conjunto preordenado

I X es maximo

I āˆ… es mınimo

I Luego, todo subconjunto no vacıo B āŠ‚ P(X ) es acotadosuperior/inferiormente (B es un conjunto de subconjuntosde X )

I sup B =ā‹ƒ

B

I ınf B =ā‹‚

B

Page 26: Silvio Reggiani - Facultad de Ciencias Exactas

ObservacionSea (A,ā‰¤) un conjunto preordenado y B āŠ‚ A

I a cota superior de B y a āˆˆ B =ā‡’ a elemento maximal de B

I a āˆˆ B elemento maximal 6=ā‡’ a cota superior de B

ā€¢ ā€¢

ā€¢ ā€¢

ā€¢

a

b bā€²

Page 27: Silvio Reggiani - Facultad de Ciencias Exactas

Orden inverso

I Si (A,ā‰¤) es un conjunto preordenado, el orden inverso ā‰„ sedefine como

a ā‰„ b ā‡ā‡’ b ā‰¤ a (relacion inversa)

I (A,ā‰„) es un conjunto preordenado y todas las definiciones sedualizan:I a elto. maximal en (A,ā‰¤) ā‡ā‡’ a elto. minimal en (A,ā‰„)I a cota superior en (A,ā‰¤) ā‡ā‡’ a cota inferior en (A,ā‰„)I a supremo en (A,ā‰¤) ā‡ā‡’ a ınfimo en (A,ā‰„)I Axioma del supremo en (A,ā‰¤) ā‡ā‡’ Axioma del ınfimo en

(A,ā‰„)

I El grafo del preorden (A,ā‰„) es el mismo grafo de (A,ā‰¤) peroinvirtiendo el sentido de las flechas

Ejercicio

(A,ā‰¤) satisface el Axioma del supremo ā‡ā‡’ (A,ā‰¤) satisface elAxioma del ınfimo (Ā”el mismo preorden!).