III. RELACIONES. 1. Nocin de relacin. A 2. Par ordenado. 1.1. Igualdad de pares. 3. Triplos, cudruplos,., n-uplos. 3.1. Igualdad de n-uplos.

4. Conjunto producto. 4.1. Operacin . 4.2. Propiedades. 5. Definicin de relacin. 5.1. Relacin binaria. 5.2. Dominio de definicin de una relacin. 5.3. Dominio de imagen de una relacin. 5.4. Operaciones con relaciones. 5.4.1. Unin. 5.4. 2. Interseccin. 5.5. Propiedades de las relaciones. 5.5.1. Reflexividad. 5.5.1.1. Relaciones reflexivas. 5.5.1.2. Relaciones irreflexivas 5.5.2. Simetra. 5.5.2.1. Relaciones simtricas. 5.5.2.2. Relaciones asimtricas. 5.5.2.3. Relaciones antisimtricas. 5.5.2.4. Relacin no simtrica. 5.5.3. Transitividad. 5.5.3.1. Relaciones transitivas. 5.5.3.2. Relaciones intransitivas. 5.5.4. Conexidad. 5.5.4.1. Relacin conexa. 5.5.4.2. Relacin fuertemente conexa. 5.6. Relaciones de equivalencia. 5.7. Relaciones de orden. 5.7.1. Relaciones de semiorden. 5.7.2. Relaciones de orden parcial. 5.7.3. Relaciones de orden parcial estricto. 5.7.4. Relaciones de orden simple o total. 5.7.5. Relaciones de orden simple estricto. 6. Clases de equivalencia. 6.5.Particiones y clases de equivalencia. 6.6.Conjunto cociente. 7. Relacin trivial. 8. Relacin universal. 9. Relacin inversa. 10. Relacin compuesta. 11. Relacin inversa. 12. Ejercicios.

1 2 3 4

R 3 4 5 6

III. RELACIONES. Nocin de relacin: Consideremos las siguientes expresiones: a. el numero natural es menor o igual al natural b. la recta es paralela a la recta c. el tringulo es semejante al triangulo En las anteriores expresiones se establece un vnculo entre dos elementos u objetos. Estos nexos estn establecidos por los enunciados menor o igual, paralela a y semejante a. Esta idea nos servir para llegar a la definicin formal de una relacin. Par ordenado: Es el resultado de citar a dos elementos en un orden fijo. Se denota por . Se lee: . es el primer elelemnto del par y segundo.

o es el

Basndonos en la teora de conjuntos, es posible hacer una definicin formal de par ordenado: def {{x},{x,y}}

Igualdad de pares ordenados: Los pares ( )y( ) son iguales si y solo si

Triplos ordenados: Se compone de 3 elementos. Es un par cuyo primer elemento tambin es un par. ( ) } } }}

A partir de esta definicin podemos definir cudruplos, quntuplos, etc,. N-uplos ordenados: Es un par ordenado, cuyo primer elemento es un (

) -uplo. .

La igualdad de n-uplos se da cuando todos los elementos respectivos de los n-uplos son iguales, esto es: , , ., 47 Conjunto producto: Es un tipo especial de conjunto, cuyos elementos son n-uplos. Dados y , conjuntos no vacos; a partir de ellos definimos y se lee conjunto producto por al conjunto que tiene como elementos los pares , tales que . Gilma Tablada Martnez | Ingeniera en Matemticas.

Ejemplo: Dados =

}y

}. }

Conjunto producto de n-uplos ordenados: Sea la familia de conjuntos , no vacos y no necesariamente distintos, se define el conjunto producto, al conjunto de pares del tipo ( ), tales que , ,., = {( )/ , ,., }

Para abreviar en esta definicin al conjunto , tal conjunto se conoce matemticamente como espacio.

lo denotaremos por

Operacin . Es una nueva operacin entre conjuntos, que da como resultado un nuevo conjunto, cuyos elementos son pares ordenados. }

Ejemplo: Dados =

}y

}. }

Propiedades de la operacin . a. Conmutatividad. La operacin no es conmutativa.

b. Asociatividad. La operacin no es asociativa.

48

c. Distributividad. La operacin es distributiva con respecto a la unin, interseccin y diferencia. Gilma Tablada Martnez | Ingeniera en Matemticas.

Leyes de Distributividad de la operacin . a. Respecto a la unin:

b. Respecto a la interseccin:

c. Respecto a la diferencia:

Demostracin de la primera propiedad distributiva:

Definicin de relacin binaria: Dados dos conjuntos y , se define una relacin binaria de pares ordenados que denotaremos por R, t u R sobre un conjunto es un subconjunto de .

en a un conjunto de . Una relacin binaria

Una relacin binaria R se define a travs de los siguientes elementos: Un conjunto conjunto de partida. Un conjunto conjunto de llegada. Un enunciado formal tal que es verdadero para todo par de elementos y que estn relacionados segn R, o sea R o sea . Se define a R como una relacin de en y se denota por R ; adems si es verdadero entonces se dice que R y se lee . Los elementos de que estn relacionados con elementos de forman un par ordenado ( ) ( . Si es falso entonces se dice que y se lee . Si entonces se dice que R . Las relaciones binarias se denotan siempre con letras maysculas cursivas y se pueden representar de diferentes maneras: Literalmente. Definiendo su conjunto de partida, de llegada y de su predicado. Como un conjunto de pares ordenados. Matricialmente. Grficamente a travs de: _ Diagramas. Gilma Tablada Martnez | Ingeniera en Matemticas.

49

_ Tablas. _ Grafos. Ejemplos: 1. Sea R sobre el conjunto de los nmeros reales, donde es el enunciado , entonces R es una relacin y 2 , 2 R 2 , 5 10, 8 R 3, 2 2. 2. Sea R1 , siendo , el conjunto de hombres y el conjunto de mujeres: - El enunciado = define una relacin de en . El enunciado = define una relacin de en . - El enunciado = no define una relacin de en . - El enunciado = no define una relacin de en . 3. Dados los conjuntos = {1, 2, 3, 4} y = {3, 4, 5, 6} y el predicado . La relacin tambin puede ser representada a travs de una matriz de la siguiente manera: R 1 2 3 4 3 1 0 0 0 4 1 1 0 0 5 1 1 1 0 6 1 1 1 1

Si la representacin es matricial en las filas se colocan los elementos de y en las columnas los de . En la fila columna habr 1 si el elemento de la fila est relacionado con el elemento de la columna . En caso contrario habr un cero. Por ejemplo 2 +1 = 3 por lo tanto 2 y 3 no estn relacionados. por lo que 3 y 5 si estn relacionados. Tambin se puede representar a travs de un grafo, en el que habr un punto en la interseccin de los elementos relacionados y fuera ellos quedarn las celdas vacas. Por ejemplo para la relacin anterior el grafo sera: R 3 1 2 3 4 4 5 6

Tambin se puede expresar a travs de un diagrama: B R A 1 2 3 4 3 4 5 6

50

Gilma Tablada Martnez | Ingeniera en Matemticas.

4. Sea R2 enunciado el par (4, 23) R2.

, siendo N el conjunto de los nmeros naturales y ; entonces R2 es una relacin y el par (3,12)

el R2 y

Conjunto solucin de una relacin. Sea R una relacin de en , o sea, R R es el conjunto de todos los pares para los cuales R* = {

, el conjunto solucin R* de es verdadero.

Ejemplos: 1. Sean los conjuntos A = {2, 3, 4} y B = {3, 4, 5, 6} y R una relacin de enunciado formal , entonces el conjunto solucin de R es: R* = {(2, 4), (2, 6), (3, 3), (3, 6), (4, 4)} 2. La relacin R sobre los conjuntos A y B anteriores con el enunciado tiene el siguiente conjunto solucin: R* = {(2, 3), (2, 4), (2, 5), (2, 6), (3, 4), (3, 5), (3, 6), (4, 5), (4, 6)}

en

con el

Dominio de definicin de una relacin. Sea R una relacin de en , o sea, R . El dominio de definicin o dominio de la relacin R es el conjunto de todos los primeros elementos de los pares del conjunto solucin. Se denota por R. R
R*}

Note que

Dominio de imgenes de una relacin. El rango o dominio de imgenes de una relacin R , es el conjunto de todos los segundos elementos de los pares ordenados que pertenecen al conjunto solucin de la relacin. Este conjunto se denota por R. R
R*}.

Note que Ejemplos: 1. Sean

. }, R = } R= } } y R* } 51

Gilma Tablada Martnez | Ingeniera en Matemticas.

2. Sea la relacin definida sobre el conjunto de nmeros naturales tal que relaciona con si R* }

se

R = R=

} }

3. Sea la relacin sobre el conjunto de los nmeros reales definida por el enunciado formal Grficamente este enunciado representa una elipse con centro en el origen de coordenadas.

-3

-2

R = [-3, 3] R = [-2, 2] 3. Sean los conjuntos con predicado [ ] [ y sea R la relacin definida de a

10

52
-10 10

R = [-10, 10] R = [0, 10] Gilma Tablada Martnez | Ingeniera en Matemticas.

Propiedades de las relaciones: Las relaciones se clasifican de diferentes maneras segn la vinculacin que existe entre los elementos de los conjuntos sobre los cuales se define la relacin. 1. Reflexividad 1.1. Relaciones reflexivas. Una relacin sobre , se dice que es reflexiva si todo elemento de est relacionado consigo mismo. Si R est representada matricialmente entonces ser reflexiva si en la diagonal principal de la matriz todos los elementos son 1. Sea R , es si

R*.

Ejemplos: 1. Sea el conjunto = {2, 3, 4} y la relacin dada por el conjunto de pares: R* = {(2, 3), (2, 4), (3, 3), (3, 4), (4, 2), (4, 3), (4, 4)} No es reflexiva porque (2, 2) R*. 2. Dado R el conjunto de las rectas del plano y R1 la relacin definida sobre por el enunciado . Es una relacin reflexiva pues cada recta del plano es paralela con ella misma. 3. La relacin con el enunciado , definida sobre el conjunto de rectas del plano no es reflexiva pues toda recta no es perpendicular con ella misma. 1.2. Relaciones irreflexivas. Una relacin sobre , se dice que es irreflexiva si todo elemento de no est relacionado consigo mismo. Si R est representada matricialmente entonces ser reflexiva si en la diagonal principal de la matriz todos los elementos son 1. Sea R , es si

R*.

Ejemplos: 1. Sea el conjunto = {2, 3, 4} y la relacin dada por el conjunto de pares: R* = {(2, 3), (2, 4), (3, 4), (4, 2), (4, 3)} No es reflexiva porque (2, 2) R. 2. Dado R el conjunto de las rectas del plano y R1 la relacin definida sobre por el enunciado . Es una relacin no irreflexiva pues cada recta del plano es paralela con ella misma. 3. La relacin con el enunciado , definida sobre el conjunto de rectas del plano es irreflexiva pues toda recta no es perpendicular con ella misma. 2. Simetra. 2.1. Relaciones simtricas. Una relacin R sobre , se dice que es est relacionado con un elemento , entonces 53 si para todo elemento de , que tambin est relacionado con . Si R

Gilma Tablada Martnez | Ingeniera en Matemticas.

est representada matricialmente, R ser simtrica simtrica respecto a la diagonal principal.

si la matriz de la relacin es

Sea R

, es

si

R*

R*.

Ejemplos: 1. La relacin R del ejemplo 1 anterior sobre el conjunto no es simtrica pues el par (3, 2) R*, mientras que los pares (3, 4) y (4, 2) si pertenecen. 2. La relacin R1 del ejemplo 2 anterior sobre el conjunto de las rectas del plano por el enunciado , es simtrica porque si una recta es paralela a una recta , entonces tambin ser paralela a . 3. La relacin del ejemplo 3 anterior, tambin definida sobre el conjunto de rectas del plano por el enunciado , es tambin una relacin simtrica, pues si una recta es perpendicular a una recta , entonces tambin ser perpendicular a . 2.2. Relaciones asimtricas. Una relacin sobre , es si para todo par de elementos de , que estn relacionados, y , entonces no est relacionado con . Si R est representada matricialmente, ser asimtrica si no es simtrica respecto a la diagonal principal. Sea R

), es R*

si R*.

Ejemplos: 1. Dada R, una relacin sobre = {1, 2, 3, 4}, definida como ( ) R* si . R* = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)} Es antisimtrica porque para todo par de elementos , si el par ( ) R* y , el par ( ) R*. El (1, 2) est en la relacin pero (2, 1) no est. 2. Sea R* = {( antisimtrica. 3. La relacin antisimtrica. )}, definida sobre el conjunto } es

definida sobre el conjunto de los nmeros reales es

4. La relacin de inclusin estricta sobre conjuntos es una relacin antisimtrica. 2.3. Relaciones antisimtricas. Una relacin R sobre , se dice que es si para todo elemento de , que est relacionado con un elemento , entonces tambin est relacionado con entonces . Si R est representada matricialmente, R ser simtrica si la matriz de la relacin es simtrica respecto a la diagonal principal. Gilma Tablada Martnez | Ingeniera en Matemticas. 54

Sea R

, es

si .

R*

R*

Ejemplos: 1. Dada R, una relacin sobre = {1, 2, 3, 4}, definida como ( R* = {(1, 1), (2, 2), (3, 3), (4, 4)} Es antisimtrica.

) R* si

2. Dada R, una relacin sobre = {1, 2, 3, 4}, definida como ( ) R* si . * = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)} Es R antisimtrica. 1.4. Relaciones no simtricas. Una relacin R sobre , se dice que es si y solo si no es , En este caso la relacin tiene como elementos pares ordenados, al menos uno, para los cuales es simtrica y pares ordenados, al menos uno, para los cuales es asimtrica.

Sea R

es no simtrica no es simtrica, ni asimtrica, ni antisimtrica.

Ejemplos: 1. Dada R, una relacin sobre = {1, 2, 3, 4}, definida como ( ) R* si . * = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 2), (4, 4)} Es no R simtrica. 2. La relacin en el conjunto de los seres humanos es no simtrica porque cada persona se ama a s mismo y adems puede amar a una persona que tambin lo ame. 3. La relacin tan alto como, definida sobre el conjunto de alumnos de un curso, es una relacin no simtrica porque dos alumnos pueden tener la misma estatura e indistintamente puede uno ser ms alto que otro. 3. Transitividad. 3.1. Relaciones transitivas. Una relacin sobre , se dice que es si para los elementos de , si y solo si est relacionado con un elemento , y est relacionado con un elemento , entonces el elemento tambin est relacionado con . 55 es R* R* (a, c) R*.

Sea R

Gilma Tablada Martnez | Ingeniera en Matemticas.

Ejemplos: 1. La relacin R del ejemplo 1 anterior sobre el conjunto R*.

no es transitiva pues el par

2. La relacin R1 del ejemplo 2 anterior sobre el conjunto de las rectas del plano por el enunciado , es una relacin transitiva, pues si una recta es paralela a una recta y es paralela a , entonces es paralela a . 3. La relacin del ejemplo 3 anterior, tambin definida sobre el conjunto de rectas del plano por el enunciado , no es una relacin transitiva, pues si una recta es perpendicular a una recta y es perpendicular a , entonces no es perpendicular a . 3.2. Relaciones intransitivas. Una relacin sobre , se dice que es si para los elementos de , si y solo si est relacionado con un elemento , y est relacionado con un elemento , entonces el elemento no est relacionado con .

Sea R

es R*

R* (a, c)

R*.

Ejemplos: 1. Dada R, una relacin sobre = {1, 2, 3, 4}, definida con el conjunto solucin: R* = {(1, 1), (1, 2), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 2), (4, 4)} Es intransitiva. 2. La relacin definida sobre el conjunto de rectas del plano por el enunciado , es una relacin intransitiva, pues si una recta es perpendicular a una recta y es perpendicular a , entonces no es perpendicular a . 4. Conexidad. 4.1. Relacin conexa. Una relacin sobre , se dice que es conexa si y solo si para todo par de elementos de y distintos, se tiene que est relacionado con o est relacionado con . Sea R es conexa R*

R*

Ejemplo: 1.- Dada R, una relacin sobre = {1, 2, 3}, definida con el conjunto solucin: R* = {(1, 2), (2, 3), (1, 3)} Es conexa en

56

Gilma Tablada Martnez | Ingeniera en Matemticas.

4.2. Relacin no conexa. Una relacin sobre , se dice que es no conexa si y solo si no es conexa. Sea R es no conexa R*

R*

Ejemplo: 1. Dada R, una relacin sobre = {1, 2, 3, 4}, definida con el conjunto solucin: R* = {(1, 2), (1, 4), (2, 3), (2, 4), (4, 2)} Es no conexa porque el par (1,3) ni el (3, 1) no estn en la relacin. 4.3. Relacin fuertemente conexa. Una relacin sobre , se dice que es fuertemente conexa si para todo par de elementos de , se tiene que est relacionado con o est relacionado con .

Sea R

es fuertemente conexa R* R*

Ejemplo: 1.- Dada R, una relacin sobre = {1, 2, 3}, definida con el conjunto solucin: R* = {(1, 1), (1, 2), (1, 3), (2, 2), (2, 3), (3, 3)} Es conexa en

Relacin inversa o recproca: Sea la relacin R de en , la inversa de R, que se denota R-1 es la relacin de definida como el conjunto de pares , tales que est relacionado con . Sea R su relacin inversa es R-1 (R-1)* = {( )|( ) R}

en

Ejemplos: 1. Sean los conjuntos = {2, 3, 4} y = {3, 4, 5, 6} y R una relacin de en con el enunciado formal , entonces el conjunto solucin de R es: * R = {(2, 4), (2, 6), (3, 3), (3, 6), (4, 4)}. Para esta relacin la relacin inversa R-1 es: R-1 = {(4,2), (6, 2), (3, 3), (6, 3), (4, 4)} 2. Sea una relacin R definida sobre un conjunto de personas por enunciado formal . La relacin inversa R-1 est dada por el enunciado 57

Gilma Tablada Martnez | Ingeniera en Matemticas.

3. Dados los conjuntos = {1, 2, 3, 4} y = {3, 4, 5, 6} y el predicado la relacin tambin puede ser representada a travs de una matriz de la siguiente manera: R 1 2 3 4 3 1 0 0 0 4 1 1 0 0 5 1 1 1 0 6 1 1 1 1 y matricialmente se

La relacin inversa viene dada por el predicado representa: R-1 3 4 5 6 1 1 1 1 1 2 0 1 1 1 3 0 0 1 1 4 0 0 0 1

Relacin trivial. Es aquella en que cada elemento slo est relacionado consigo mismo. Ejemplo: Dados el conjunto }

= {1, 2, 3, 4} la relacin trivial sobre A tiene los elementos: }

Relacin universal. Es aquella en la que cada elemento est relacionado con todos los restantes elementos del conjunto sobre el cual se define. Relacin de equivalencia. Sea R = es una , si y slo si, es

Ejemplos: 1. De las relaciones anteriores solo es una relacin de equivalencia la relacin definida sobre el conjunto de rectas del plano por el enunciado . 2. La relacin R definida sobre el conjunto = {2, 3, 4}, dada por el conjunto de pares: R* = {(2, 3), (2, 4), (3, 3), (3, 4), (4, 2), (4, 3), (4, 4)} no es una relacin de equivalencia porque no es reflexiva ni transitiva. 4. La relacin definida sobre el conjunto de rectas del plano, con el enunciado , no es una relacin de equivalencia porque no es reflexiva ni transitiva. Gilma Tablada Martnez | Ingeniera en Matemticas. 58

Particiones y relaciones de equivalencia. Una coleccin de subconjuntos propios de un conjunto , { }; es una particin de si y slo si satisface las dos condiciones siguientes: 1.2.-

, = ,

Ejemplo: 1.- Considere el conjunto

{1, 2, 3, 4, 5}

Para el conjunto P existen varias particiones: a) {1, 2, 3} y {4, 5} b) {1, 2}, {3, 4} y {5} c) {1, 3, 5} y {2, 4} y otras. Clases de equivalencia. Si R es una relacin de equivalencia definida sobre un conjunto , se llama clase de equivalencia de un elemento al conjunto de elementos que estn relacionados con segn R y lo denotamos por [ ]. [ ]={ R }.

Ejemplos: 1. Considere la relacin de equivalencia sobre el conjunto conjunto de pares:

= {1, 2, 3, 4, 5} como el

R* = {(1, 1), (1, 3), (1, 5), (2, 2), (2, 4) (3, 1}, (3, 3), (3, 5), (4, 2), (4, 4), (5, 1), (5, 3), (5, 5)} Para esta relacin existen las clases de equivalencia: [1] = {1, 3, 5} [2] = {2, 4} [3] = {1, 3, 5} [4] = {2, 4} [5] = {1, 3, 5} Resumiendo, podemos decir que hay dos clases de equivalencia: [1] = [3] = [5] = {1, 3, 5} [2] = [4] = {2, 4} 2. Sea = {1, 2, 3,.., 10} y la relacin R y si . Se puede probar que R es una relacin de equivalencia. Encontremos los miembros de las clases de equivalencia: [1] = [4] = [7] = [10] = {1, 4, 7, 10} Gilma Tablada Martnez | Ingeniera en Matemticas. 59

[2] = [5] = [8] = {2, 5, 8} [3] = [6] = [9] = {3, 6, 9} Una relacin se puede definir a travs de sus clases de equivalencia. Si { } es una particin de entonces mismo conjunto de la particin de . R

si y slo si

pertenecen al

Si R es una relacin de equivalencia sobre un conjunto , entonces la coleccin de todas las clases de equivalencias {[ ], } es una particin de .

Sea R es una relacin de equivalencia sobre un conjunto finito . Si cada clase de equivalencia tiene elementos entonces existen / r clases de equivalencia.

En la relacin trivial se obtienen tantas clases de equivalencia como elementos tiene el conjunto de partida y cada conjunto tiene slo un elemento. En la relacin universal se obtiene una sola clase de equivalencia que coincide con el propio conjunto de partida. La particin de los elementos de un conjunto en clases de equivalencia permite considerar un nuevo conjunto, desde el punto de vista de la relacin de equivalencia con menos elementos. Conjunto cociente. Sea R es una relacin de equivalencia sobre un conjunto A. El conjunto cociente de A mdulo R es el conjunto que tiene por elementos las clases de equivalencia y se denota por / R = {[ ] | } . Ejemplos: 1. La relacin de semejanza de tringulos definida en el plano euclidiano es una relacin de equivalencia. Todos los tringulos del plano semejantes entre s pertenecen al mismo conjunto. Estos conjuntos son disjuntos y forman las clases de equivalencia. 2. Sea R la relacin sobre los nmeros naturales como ,o sea, , entonces R puede representarse como un conjunto formado por dos clases de equivalencia: Los que tienen resto cero y los que tienen resto distinto de cero. E0 = {2, 4, 6, 8,....} E1 = {1, 3, 5, 7,} Gilma Tablada Martnez | Ingeniera en Matemticas.

60

N/R={

3. De manera general podemos definir la relacin Rn = sobre el conjunto de los nmeros enteros. Dicha relacin se expresa el conjunto de sus n clases de equivalencia que son los enteros que al dividirse por n tiene resto 0, 1, 2, 3,., n-1. Z / Rn = { }

Relaciones de orden. Sea R es una relacin de orden si es ,

Ejemplos: 1. La relacin relacin de orden.

definida sobre el conjunto de los nmeros reales es una

2. La relacin de inclusin estricta sobre el conjunto potencia de un conjunto es una relacin de orden. Si un par de elementos estn relacionados se dice que son comparables. Si todos los elementos del conjunto sobre el que se define una relacin son comparables, entonces la relacin es de orden total, de lo contrario es de orden parcial.

Sea R [(

R*

es una relacin de orden total si ) R*]. En caso contrario, el orden es parcial.

Ejemplos: 1. La relacin R, definida sobre los enteros positivos mediante el predicado formal es una relacin orden. 2. La relacin de inclusin R, definida sobre el conjunto potencia de un conjunto dado es una relacin de orden parcial. Si } entonces B } } }} Los elementos { } y { } no estn relacionados. 3. La relacin una relacin de orden total. sobre el conjunto de los nmeros naturales es 61

Gilma Tablada Martnez | Ingeniera en Matemticas.

Ejercicios propuestos: 1. Dadas las relaciones siguientes, escriba su conjunto solucin: a. La relacin R definida sobre el conjunto {1, 2, 3, 4} definida como ( ) R si

b. La relacin R sobre el producto , donde es el conjunto de ciudades de Ecuador y es el conjunto de provincias de Ecuador. ( ) R si . c. La relacin R sobre el conjunto {1, 2, 3, 4, 5}, definida mediante la regla ( ) R si . 2. Sea la relacin R definida sobre el conjunto , con enunciado formal a. Escriba a R como un conjunto de pares ordenados. b. Halle su conjunto dominio de definicin. c. Halle el dominio de imgenes. d. Defina a . 3. Sea la relacin R definida sobre el conjunto , con enunciado formal e. Escriba a R como un conjunto de pares ordenados. f. Halle su conjunto dominio de definicin. g. Halle el dominio de imgenes. h. Defina a . 4. Dados los conjuntos sobre y representada relacin. R a b c 1 0 1 0 2 0 0 1 3 0 1 1 4 1 0 0 =

} y } y la relacin R1, definida matricialmente, escriba el conjunto de pares de la d 1 0 0 0

5. Dado el conjunto = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} escriba los elementos del conjunto solucin de R definida por los siguientes enunciados sobre : a. = b. = c. = }, considere la siguientes relaciones en . 6. Dado } R1 } R2 } R3 } R4 R5 Decir si cada una de ellas es o no simtrica, antisimtrica, transitiva o reflexiva.

62

Gilma Tablada Martnez | Ingeniera en Matemticas.

7. Establecer la Veracidad o Falsedad de cada uno de los siguientes razonamientos, suponiendo que y son relaciones sobre un conjunto cualquiera . a. Si s simtrica, entonces es simtrica. ___________ b. Si s ntisimtrica, entonces es antisimtrica. ___________ c. Si s r xiv entonces . ___________ d. Si s sim tric entonces . ___________ e. Si es transitiva y es transitiva, entonces es transitiva. ___________ f. Si es transitiva y es transitiva, entonces es transitiva. ___________ g. Si y son antisimtricas, entonces es antisimtrica. ___________ h. Si y son antisimtricas, entonces es antisimtrica. ___________ i. Si s reflexiva y es reflexiva, entonces es reflexiva. ___________ j. Si es reflexiva y es reflexiva, entonces es reflexiva. ___________ 8. Clasifique las siguientes relaciones en reflexivas, simtricas y/o transitivas. Diga de ellas cules son de equivalencia. a. Sea = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} y = sobre . b. Dado = definido sobre la clase de conjuntos. c. Sea = sobre el conjunto de tringulos. 9. Dado el conjunto los predicados que contiene las rectas del plano y las relaciones R1 y R2 con y respectivamente: = y = . Diga si son relaciones de equivalencia.

10. Determine los conjuntos dominio de definicin y de imgenes para cada una de las relaciones definidas a continuacin sobre el conjunto de los enteros positivos y diga si son o no una relacin de equivalencia, de orden o ninguna de las dos: a. . R si b. . R si c. . R si d. . R si e. . R si 11. Dada la relacin R2 definida sobre el siguiente matriz: R2 1 0 0 0 1 1 0 1 1 0 0 0 conjunto ={ }, representada en la

0 0 0 1

a. Defina su relacin inversa. b. Diga si es una relacin de equivalencia, de orden o ninguna de las dos cosas. 12. Sea la relacin R sobre X, conjunto potencia de un conjunto dado, definida como ( ) R si . Es una relacin de equivalencia, de orden ninguna de las dos? Justifique su respuesta. 13. Sea el conjunto de todas las cadenas binarias de 4 bits, por ejemplo 0110, 0101, etc. Defina sobre una relacin de manera tal que R si = siendo y Gilma Tablada Martnez | Ingeniera en Matemticas.

63

subcadenas de longitud 2. Por ejemplo: 0111 R 1010 pues la subcadena 01 est en ambas cadenas. 1110 0001 porque no comparten ninguna subcadena de longitud 2. Es una relacin de equivalencia, de orden o ninguna de las dos? Justifique se respuesta. 14. Halle todas las particiones del conjunto }. ) de nmeros

15. Dado el conjunto , o sea, el conjunto de pares ordenados ( naturales y las relaciones R1 y R2 sobre definidas por: a. ( ) R1 ( ) si y slo si = . b. ( ) R2 ( ) si y slo si = . Pruebe que es una relacin de equivalencia.

16. Dado el conjunto = {1, 2, 3, 4, 5} y las relaciones que se indican a continuacin. Defina su conjunto de definicin y de imgenes. Diga si son o no relaciones de equivalencia. Enumere las clases de equivalencia. a. R1 = {(1,1), (2, 2), (3, 3), (4, 4), (5, 5), (1, 3), (3, 1)} b. R2 = {(1,1), (2, 2), (3, 3), (4, 4), (5, 5), (1, 3), (3, 1), (3, 4), (4, 3)} c. R3 = {(1,1), (2, 2), (3, 3), (4, 4)} d. R4 = {(1,1), (2, 2), (3, 3), (4, 4), (5, 5), (1, 5), (5, 1), (3, 5), (5, 3), (1, 3), (3, 1)} e. R5 = {( )| } f. R6 = {( )| } g. R7 = {( )| } h. R8 = {( y) | } 17. Enumere los miembros de la relacin de equivalencia sobre el conjunto mediante las particiones dadas. = {1, 2, 3, 4} Determine las clases de equivalencia [1], [2], [3] y [4]. a. {{1, 2}, {3, 4}} b. {{1}, {2}, {3}, {4}} c. {{1, 2, 3, 4}} d. {{1}, {2}, {3, 4}} e. {{1, 2, 3}, {4}} f. {{1}, {2, 3}, {4}} , definida

18. De un ejemplo de una relacin de equivalencia sobre el conjunto {1, 2, 3, 4, 5, 6} con 4 clases de equivalencia y enumere los pares de la relacin. 19. Cuntas relaciones de equivalencia existen sobre el conjunto {1, 2, 3}? 20. Dado el conjunto = {1, 2, 3, 4, 5} y una relacin R definida sobre con el enunciado formal , o sea, el nico divisor comn entre e es el 1 a. Defina el conjunto solucin de R. b. Encuentre las clases de equivalencia de la relacin R. c. Diga si la relacin R es de equivalencia o no. Justifique su respuesta.

64

Gilma Tablada Martnez | Ingeniera en Matemticas.

21. Dado el conjunto , o sea, el conjunto de pares ordenados (a, b) de nmeros naturales y una relacin R, definida sobre l, de manera que (a, b) R (c, d) si y solo si ad = bc. a. Diga si R es reflexiva y/o simtrica. Muestre al menos 3 ejemplos adems de su argumentacin para cada propiedad. 22. Dado el conjunto , o sea, el conjunto de pares ordenados (a, b) de nmeros naturales y las relaciones R1 y R2, definidas sobre l, de manera que: R1 = { } R2 = { } a. Represntelas en un plano cartesiano. b. Calcule y seale grficamente y \ 23. Determine los conjuntos dominio de definicin y de imgenes para cada una de las relaciones definidas a continuacin sobre el conjunto y diga si son o no una relacin de equivalencia, de orden o ninguna de las dos: a. . R si b. . R si c. . R si d. R si 24. Dados los conjuntos: }, }, definidas por su conjunto solucin: } } } } Defina para cada una de ellas: a. Rango. b. Conjunto Imagen. c. Dominio de la relacin. d. Relacin inversa 25. Qu clase de relacin es si: a. b. 26. Dadas las relaciones definidas en el ejercicio 18, diga si alguna de ellas es de equivalencia, de orden o ninguna de las dos. 27. Sea el conjunto relaciones: }, encontrar el conjunto solucin de las } y las relaciones

, tal que vocal, consonante. , tal que vocal, vocal. , tal que consonante, consonante. , tal que consonante, vocal. a. Encuentre el conjunto solucin de las relaciones

65 .

Gilma Tablada Martnez | Ingeniera en Matemticas.

b. Analice si esos conjuntos forman un cubrimiento y/o particin del conjunto . c. Diga si alguna de ellas es una relacin de orden, equivalencia o ninguna. 28. Considere las siguientes relaciones sobre el conjunto de nmeros reales: 1 } 2={ } a. pr s nt r r ci n 1 2 en un diagrama de coordenadas de b. Encontrar el dominio de la relacin 1 2. c. Encontrar el dominio de imgenes de 1 2.

29. Considrense los siguientes conjuntos de pares de nmeros reales, o sea relaciones sobre . } { } } } a. b. c. { { } }

} { } Representar cada relacin en un diagrama de coordenadas de Encontrar el dominio de cada relacin. Encontrar el dominio de imgenes de cada relacin.

30. Dada una familia de conjuntos y s un . Decir si R es o no una relacin: a. Reflexiva. b. Simtrica. c. Antisimtrica. d. Transitiva 31. Sean los conjuntos [

r acin definida por

] [ ] [ ], y sea el enunciado formal . Considere las siguientes relaciones:

R1 R2 R3 R4 a. Represente grficamente las relaciones. b. Calcule: i. 1 2 ii. 3 2 iii. 1 4 iv. 4 2 v. 3 4 32. Sean los conjuntos [ ] [ , ] y sea el enunciado formal . Considere la relacin: R1 Si pueden ser conjuntos cualesquiera de los cuatro anteriores, represente grficamente las 16 relaciones en el plano cartesiano. Gilma Tablada Martnez | Ingeniera en Matemticas.

66