• No se han encontrado resultados

Matem´atica Discreta

N/A
N/A
Protected

Academic year: 2021

Share "Matem´atica Discreta"

Copied!
19
0
0

Texto completo

(1)

Matem´atica Discreta

Agust´ın G. Bonifacio

UNSL

Relaciones Binarias

(2)

Relaciones Binarias (Secci´on 3.1 del libro)

Definici´ on

Una relaci´on (binaria) R de un conjunto X a un conjunto Y es un subconjunto del producto cartesiano X × Y. Si (x, y) ∈ R,

escribimos xRy y decimos que “x est´ a relacionada con y”. Si X = Y, R es una relaci´on binaria sobre X.

El dominio de R es el conjunto

{x ∈ X | (x, y) ∈ R para alg´ un y ∈ Y }.

La imagen de R es el conjunto

{y ∈ Y | (x, y) ∈ R para alg´ un x ∈ X}.

(3)

Observaci´ on

Una funci´on es un tipo especial de relaci´ on. Una funci´on f : X → Y es una relaci´ on de X a Y que cumple:

1

domf = X,

2

para cada x ∈ X, existe un ´unico y ∈ Y tal que (x, y) ∈ f.

Ejemplo

Sean X{2, 3, 4} y Y = {3, 4, 5, 6, 7}. si definimos una relaci´ on R de X a Y de la siguiente forma:

(x, y) ∈ R ⇐⇒ x divide a y se obtiene

R = {(2, 4), (2, 6), (3, 3), (3, 6), (4, 4)}.

Notemos que domR = {2, 3, 4} y ImR = {3, 4, 6}.

(4)

Ejemplo

Sea R sobre {1, 2, 3, 4} definida por xRy ⇐⇒ x ≤ y.

Entonces

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

y domR = ImR = X.

Una forma informativa de visualizar una relaci´on es a trav´es de un digrafo (grafo dirigido). Para ello:

1

Se dibujan v´ertices para representar los elementos de X.

2

Si (x, y) ∈ R, se dibuja una arista dirigida de x a y.

3

Una arista dirigida de x a x se denomina lazo.

(5)

Ejemplo

Mostrar a trav´es de un digrafo la relaci´on

R = {(a, b), (b, c), (c, b), (d, d)}.

(6)

Propiedades

Definici´ on: Una relaci´on R sobre un conjunto X se dice reflexiva si (x, x) ∈ R para todo x ∈ X.

Observaci´ on: El digrafo asociado a una relaci´on reflexiva tiene un lazo en cada v´ertice.

Ejemplo: R sobre {1, 2, 3, 4} definida por xRy ⇐⇒ x ≤ y es reflexiva.

Ejemplo: La relaci´on R = {(a, a), (b, c), (c, b), (d, d)} sobre X = {a, b, c, d} NO es reflexiva, ya que (b, b) / ∈ R.

Definici´ on: Una relaci´on R sobre un conjunto X se dice sim´etrica si para todo par x, y ∈ X, si (x, y) ∈ R, entonces (y, x) ∈ R.

Observaci´ on: El digrafo asociado a una relaci´on sim´etrica

cumple que siempre que existe una arista dirigida de v a w,

tambi´en existe una arista dirigida de w a v.

(7)

Ejemplo: La relaci´on R = {(a, a), (b, c), (c, b), (d, d)} es sim´etrica.

Ejemplo: La relaci´on R sobre {1, 2, 3, 4} definida por xRy ⇐⇒ x ≤ y NO es sim´etrica, ya que (2, 3) ∈ R pero (3, 2) / ∈ R.

Definici´ on: Una relaci´on R sobre un conjunto X se dice antisim´etrica si para todo par x, y ∈ X, si (x, y) ∈ R y x 6= y, entonces (y, x) / ∈ R.

Observaci´ on: una forma equivalente de enunciar la antisimetr´ıa es la siguiente. Si (x, y) ∈ R y (y, x) ∈ R, entonces x = y. (Ejercicio)

Ejemplo: La relaci´on R sobre {1, 2, 3, 4} definida por xRy ⇐⇒ x ≤ y es antisim´etrica.

Observaci´ on: El digrafo asociado a una relaci´on antisim´etrica

tiene la propiedad de que entre dos v´ertices cualesquiera existe

a lo sumo una arista dirigida.

(8)

Ejemplo: La relaci´on {(a, a), (b, b), (c, c)} sobre X = {a, b, c}

es antisim´etrica, y tambi´en es sim´etrica.

Definici´ on: Una relaci´on R sobre un conjunto X se dice transitiva si para toda terna x, y, z ∈ X : si (x, y) ∈ R y (y, z) ∈ R, entonces (x, z) ∈ R.

Ejemplo: La relaci´on R sobre X = {1, 2, 3, 4} definida por (x, y) ∈ R ⇐⇒ x ≤ y es transitiva.

Observaci´ on: El digrafo asociado a una relaci´on transitiva tiene la propiedad de que siempre que haya una arista dirigida de x a y y otra de y a z, tambi´en habr´ a una de x a z.

Ejemplo: La relaci´on R = {(a, a), (b, c), (c, b), (d, d)} NO es

transitiva, ya que (b, b) / ∈ R y (c, c) / ∈ R.

(9)

Las relaciones resultan ´ utiles para ordenar conjuntos . Por ejemplo, la relaci´on “menor o igual” ≤ para ordenar los enteros.

Definici´ on

Una relaci´on R sobre un conjunto X es un orden parcial si es reflexiva, antisim´etrica y transitiva.

Ejemplo: La relaci´on R definida en los naturales por (x, y) ∈ R ⇐⇒ “x divide a y” es un orden parcial.

Si R es orden parcial, a veces (x, y) ∈ R se escribe x  y, lo que sugiere ordenaci´ on.

Definici´ on: Los elementos x, y ∈ X son comparables si x  y

´

o y  x. Si no, son incomparables. Si todo par de elementos de X es comparable, R es un orden total.

El “menor o igual” definido en los enteros es un orden total.

La relaci´on “divide” definida en los naturales es un orden

parcial (ya que 2 y 3, por ejemplo, son incomparables).

(10)

Definici´ on: Sea R una relaci´on de X a Y. La inversa de R, denotada R

−1

, es la relaci´on de Y a X definida por

R

−1

= {(y, x) | (x, y) ∈ R}.

Ejemplo: Si R es la relaci´on “divide” de X = {2, 3, 4} a Y = {3, 4, 5, 6, 7}, se obtiene

R = {(2, 4), (2, 6), (3, 3), (3, 6), (4, 4)}.

Entonces

R

−1

= {(4, 2), (6, 2), (3, 3), (6, 3), (4, 4)}.

R

−1

se lee “es divisible entre” ´ o “es m´ ultiplo de”.

(11)

Definici´ on: Sean R

1

una relaci´on de X a Y y R

2

una relaci´on de Y a Z. La composici´on de R

1

y R

2

, denotada por R

2

◦ R

1

, es la relaci´on de X a Z definida por:

R

2

◦R

1

= {(x, z) | (x, y) ∈ R

1

y (y, z) ∈ R

2

para alg´ un y ∈ Y } Ejemplo: La composici´on de

R

1

= {(1, 2), (1, 6), (2, 4), (3, 4), (3, 6), (3, 8)}

y

R

2

= {(2, u), (4, s), (4, t), (6, t), (8, u)}

es

R

2

◦ R

1

= {(1, u), (1, t), (2, s), (2, t), (3, s), (3, t), (3, u)}

(12)

Relaciones de Equivalencia (Secci´on 3.2 del libro)

Sean X un conjunto y S una partici´on de X. Se puede definir una relaci´on R en X si relacionamos entre s´ı a los elementos de X que pertenecen a un mismo elemento S de la partici´on S. (Ejemplo: ser del mismo color.)

Teorema 3.2.1

Sean X un conjunto no vac´ıo y S una partici´on de X. Definamos

una relaci´on sobre X de la siguiente manera: xRy si y s´ olo si tanto

x como y pertenecen a S ∈ S. Entonces R es reflexiva, sim´etrica y

transitiva.

(13)

Teorema 3.2.1

Sean X un conjunto no vac´ıo y S una partici´ on de X. Definamos una relaci´ on sobre X de la siguiente manera: xRy si y s´ olo si tanto x como y pertenecen al mismo S ∈ S. Entonces R es reflexiva, sim´ etrica y transitiva.

Demostraci´ on:

Sea x ∈ X. Por definici´ on de partici´ on, existe un S ∈ S tal que x ∈ S.

Esto implica que xRx y, por lo tanto, R es reflexiva.

Sean x, y ∈ X. Supongamos que xRy. Entonces, tanto x como y pertenecen a un mismo S ∈ S. Equivalentemente, tanto y como x pertenecen a un mismo S ∈ S. Se sigue que yRx y, en consecuencia, R es sim´ etrica.

Sean x, y, z ∈ X. Supongamos que xRy y que yRz. Entonces, tanto x

como y pertenecen a un mismo S ∈ S y tanto y como z pertenecen a un

mismo T ∈ S. Como S es partici´ on, y pertenece a un ´ unico miembro de

S . Por lo tanto S = T, lo que significa que tanto x como z pertenecen a

S ∈ S. Se sigue que xRz, esto es, R es transitiva. 

(14)

Ejemplo

Consideremos la partici´on S = {{1, 3, 5}, {2, 6}, {4}} de {1, 2, 3, 4, 5, 6}. Entonces

R = {(1, 1), (1, 3), (1, 5), (3, 1), (3, 3), (3, 5), (5, 1), (5, 3), (5, 5), (2, 2), (2, 6), (6, 2), (6, 6), (4, 4)}.

Ejercicio: dibujar el digrafo que representa la relaci´on.

Definici´ on

Una relaci´on reflexiva, sim´etrica y transitiva en un conjunto X se

llama relaci´on de equivalencia sobre X.

(15)

Ejemplo

La relaci´on R sobre X = {1, 2, 3, 4} definida por (x, y) ∈ R si y s´ olo si x ≤ y NO es de equivalencia porque no es sim´etrica.

Ejemplo

La relaci´on R = {(a, a), (b, c), (c, b), (d, d)} NO es de equivalencia porque no es ni reflexiva ni transitiva, ya que (b, b) / ∈ R.

Definici´ on

Sea R una relaci´on de equivalencia sobre un conjunto X. Para cada a ∈ X, el conjunto

[a] ≡ {x ∈ X | xRa}

se denomina clase de equivalencia de a.

(16)

Observaci´ on

Las clases de equivalencia aparecen con bastante claridad en el digrafo asociado con una relaci´ on de equivalencia. Una clase es el subgrafo m´as grande que cumple que, para cualesquiera 2 v´ertices en ´el, existe una arista dirigida entre ellos.

Ejemplo

Para la relaci´ on del primer ejemplo, [1] = [3] = [5] = {1, 3, 5}, [2] = [6] = {2, 6} y [4] = {4}.

Afirmaci´ on

Sea R relaci´ on de equivalencia sobre X y c, d ∈ X. Si cRd, entonces [c] = [d].

Demostraci´ on: Supongamos c, d ∈ X tales que cRd. Tomemos x ∈ [c].

Entonces xRc. Como cRd y R es transitiva, xRd. Por lo tanto, x ∈ [d].

Acabamos de ver que [c] ⊆ [d]. Razonando an´alogamente obtenemos que

[d] ⊆ [c]. Se sigue que [c] = [d]. 

(17)

Teorema 3.2.8

Sea R una relaci´on de equivalencia sobre un conjunto X. Entonces S = {[a] | a ∈ X},

donde [a] denota la clase de equivalencia de a, es una partici´on de X.

Demostraci´ on: Debemos ver que todo elemento de X pertenece exactamente a un miembro de S.

Sea a ∈ X. Como, por reflexividad, aRa, tenemos que a ∈ [a].

Esto significa que todo elemento de X pertenece al menos a un miembro de S. Resta ver que todo elemento de X pertenece a exactamente un miembro de S. Es decir, si x ∈ [a] y x ∈ [b], entonces [a] = [b]. Supongamos entonces que x ∈ [a] y x ∈ [b].

Esto implica que xRa y xRb. Por la afirmaci´ on anterior, [x] = [a] y

[x] = [b]. Por lo tanto, [a] = [x] = [b], esto es, [a] = [b]. 

(18)

Teorema 3.2.15

sea R una relaci´on de equivalencia sobre un conjunto finito X. Si cada clase de equivalencia tiene r elementos, existen

|X|r

clases de equivalencia.

Demostraci´ on: Sean X

1

, . . . , X

k

las clases de equivalencias.

Como estas clases forman una partici´on de X,

|X| = |X

1

| + |X

2

| + . . . + |X

k

| = r.k,

por lo tanto, k =

|X|r

. 

(19)

Hemos visto que, dado un conjunto X no vac´ıo,

1

Toda partici´on de X define una relaci´on de equivalencia sobre X (Teorema 3.2.1),

2

Toda relaci´on de equivalencia sobre X define una partici´on de

X (Teorema 3.2.8).

Referencias

Documento similar

Como vimos, el proceso de democratización se define como un tipo de transición política caracterizado por una gran conflictualidad entre una lógica de apertura del sistema

El inconveniente operativo que presenta el hecho de que la distribuci´ on de probabilidad de una variable aleatoria es una funci´ on de conjunto se resuelve mediante el uso de

Pero mientras en Europa la democracia igualitaria, heredera del anden- régime, tien- de sle suyo a la centralización del poder, la democracia de los Es- tados Unidos

Y si la intención de los arquitectos góticos era disponer una estructura de dos caras complementarias, materialidad por fuera, ilusión gravitatoria por dentro, como hemos

Para los detalles concretos, tanto sobre el manuscrito como sobre las fuentes del texto, remito a F erraces r odríguez , Arsenio, «El glosario Agrestia et siluestria

According to Genette (1972) there is a confusion between mood and voice, a confusion between the question who is the character whose point of view orients the narrative

El caballo de batalla en la justificación de la empresa pública es, pues, como ya se hizo notar anteriormente, el concretar cuándo es in- suficiente la iniciativa privada en un

A partir de este momento los modelos se van a re- petir hasta el siglo XV o incluso más tarde, lo que está indicando que habían llegado a un «ideal sonoro».. LOS INSTRUMENTOS