Matemática Discreta UNAH-VS

Trabajo en grupo MM-420 Matemática Discreta

Catedrático: Jorge Luis Madrid

1. Sean R y S relaciones definidas de A a B , demuestre que:

a) ( R −1 ) −1 = R
b) ( R  S ) −1 = R −1  S −1
c) ( R − S )−1 = R −1 − S −1

2. Sean las relaciones R definida de A en B , y S y T definidas de B en C .

Demuestre que:
a) ( S R) −1 = R −1 S −1
b) ( S  T ) R = ( S R )  (T R )

3. Sean R y S relaciones transitivas definidas sobre un conjunto A no vacío,

demuestre que:
Si a ( R  S )b  b( R S )a entonces a ( R S )b

4. Una relaciónR sobre un conjunto A se llama circular si satisface que

aRb  bRc  cRa
Demuestre que R es una relación de equivalencia si y solo si es reflexiva y circular

5. Demuestre que si R es una relación de orden sobre un conjunto A , entonces R −1

es también una relación de orden

Trabajo en grupo MM-420 Página 1