Está en la página 1de 6

2013

Propiedades de las relaciones


Desarrollo de habilidades del pensamiento lgico

Guillermo Cuevas Rosales Universidad Tecnolgica De Xicotepec 07/03/2013

Trabajo gUiLLerMO cUeVaS rOsAlEs

Propiedades de las relaciones

Las relaciones se pueden clasificar de acuerdo al tipo de asociacin que hay en sus elementos como: uno-a-uno 11, uno-a-mucho 1-M, muchos-a-uno M-1 o muchos-a-muchos M-M. Recordemos que una relacin es un conjunto de pares ordenados. Definicin: Una relacin R de A a B es: Muchos-a-uno, M-1 si existen dos pares con el mismo segundo elemento, esto es existen (x,y), (z,y) distintas en la relacin, con smbolos ( x A)( y B)( z A) ((x,y) R ^ (z,y) R ^ x z) Propiedades de las relaciones. Uno-a-muchos 1-M si existen dos pares con el mismo primer elemento, esto es existen (x,y), (x,z) distintas en la relacin, con smbolos ( x A)( y B)( z B) ((x,y) R ^ (x,z) R ^ y z) Propiedades de las relaciones. Muchos-a-muchos M-M si es muchos-a-uno y uno-a-muchos. sea que hay al menos dos pares con el mismo primer elemento y tambin hay dos pares con el mismo segundo elemento. O sea que cumple las dos definiciones anteriores. Propiedades de las relaciones. Uno-a-uno 11 si no es muchos-a-uno ni uno-a-muchos, o sea que no hay dos pares con el mismo primer elemento y no hay dos pares con el mismo segundo elemento. Esto significa que cumple las dos condiciones siguientes ( x A)( y B)( z B)((x,y) R ^ (x,z) isin; R y = z) ( x A)( y B)( z A)((x,y) R ^ (z,y) R x = z) Dinmica grupal. Junto con el compaero de al lado ejemplifiquen en su cuaderno el cmo sera este tipo de relaciones en la vida real. Enfoque sobre todo en datos que un computador pudiera aceptar, como por ejemplo: los datos de un alumno en relacin con un maestro, saln, etc.

Universidad tecnolgica de Xicotepec de Jurez

Trabajo gUiLLerMO cUeVaS rOsAlEs

Relacin Reflexiva e Irreflexiva

Teorema: Una relacin R en un conjunto es reflexiva si y solo si la diagonal principal de la matriz asociada a la relacin tiene nicamente unos. De la misma forma es Irreflexiva si tiene solamente ceros. Una relacin A es: Reflexiva: Si todo elemento en A esta relacionado con sigo mismo, con smbolos: Irreflexiva: Si ningn elemento en A esta relacionado con sigo mismo, con smbolos:

Sea Sea Sea Sea Sea Sea Sea Sea

, , , , ,

es reflexiva, porque todo conjunto esta contenido en s mismo. ("mayor o igual que") es reflexiva, pero ("menor o igual que") es reflexiva, pero (la igualdad matemtica), es reflexiva. (la inclusin de conjuntos), es reflexiva. , (la divisibilidad) es reflexiva. ("mayor estricto que") no lo es. ("menor estricto que") no lo es.

el conjunto de todas las rectas en el plano, la relacin de paralelismo || entre rectas es el conjunto de todas las rectas en el plano, la relacin de perpendicularidad entre dos rectas

reflexiva, porque toda recta es paralela a s misma. es anti reflexiva, porque no hay rectas que sean perpendiculares a s mismas. Las relaciones Ser padre de y Ser madre de son anti reflexivas, porque en ningn caso alguien puede ser padre o madre de s mismo.

Universidad tecnolgica de Xicotepec de Jurez

Trabajo gUiLLerMO cUeVaS rOsAlEs

Relacin Simtrica, Asimtrica, Anti simtrica Y Transitiva

Teorema: Una relacin R es simtrica si y solo si los elementos opuestos con respecto a la diagonal principal son iguales. Simtrica: Si cuando un elemento esta relacionado con un segundo elemento, el segundo tambin se relaciona con el primero, con smbolos: (x ,y) R (y ,x) R Sea A un conjunto cualquiera:

Sea Sea

, ,

(la igualdad matemtica), es simtrica. es simtrica.

"Estar casado con" es una relacin simtrica, mientras que "ser ms alto que" no lo es. Sea Sea , , ("mayor estricto que") es asimtrica, al igual que (la inclusin estricta de conjuntos), es asimtrica. ("menor estricto que").

Asimtrica: Una relacin R en un conjunto A es asimtrica si cuando a R b, entonces b Ra. De esto se sigue que R no es simtrica si se tiene a y b e A con ambos a R b y b R a.

Teorema: Una relacin R en conjunto es Anti simtrica si y solo si los elementos opuestos con respeto a la diagonal principal no pueden ser iguales a 1; esto es, puede aparecer 0 con 1 o pueden aparecer ceros.

Universidad tecnolgica de Xicotepec de Jurez

Trabajo gUiLLerMO cUeVaS rOsAlEs


Anti simtrica: Si cuando un elemento est relacionado con un segundo elemento diferente, el segundo no se relaciona con el primero, con smbolos: x, y, ((x, y) R (y, x) R x = y) La anti simetra no es lo opuesto de la simetra. Transitiva: Si cuando un elemento est relacionado con un segundo elemento y el segundo est relacionado con un tercero, entonces el primero est relacionado con el tercero: As por ejemplo dado el conjunto N de los nmeros naturales y la relacin binaria "menor o igual que" vemos que es transitiva:

As, puesto que:

En general las relaciones de orden (ser menor, mayor, igual, menor o igual, mayor o igual) son transitivas. Tomando de nuevo el conjunto de los nmeros naturales, y la relacin divide a:

Para todo valor a, b, c numero natural: si a divide a b y b divide a c entonces a divide a c Dado que 3|12 (3 divide a 12) y 12|48 (12 divide a 48), la transitividad establece que 3|48 (3 divide a 48). Sin embargo, no todas las relaciones binarias son transitivas. La relacin "no es subconjunto" no es transitiva. Por ejemplo, si X = {1,2,3}, Y={2,3,4,5}, Z={1,2,3,4}. Entonces Se cumple subconjunto de . y pero no se cumple puesto que es

Otro ejemplo de relacin binaria que no es transitiva es "ser la mitad de": 5 es la mitad de 10 y 10 es la mitad de 20, pero 5 no es la mitad de 20.

Ejemplo para todas las relaciones Cuando tenemos la matriz de una relacin es muy fcil verificar si es reflexiva, Irreflexiva, Simtrica, Asimtrica, Anti simtrica, Transitiva: Ejemplo.R1 R2 R3 R4 R5 R6 R7 = = = = { = = Sea { { A = { a, b, c, d, e } } } } } } } }

(a,a), (b,b), (a,c), (b,c), (c,a), (d,d) (a,a), (a,d), (c,b), (d,a), (c,e), (e,e) { (a,a), (b,b), (c,c), (d,d), (e,e), (b,c), (b,a) (a,a), (a,b), (b,a), (b,b), (b,c), (b,e), (c,e), (b,d), (d,a), (e,e) = { (a,c), (a,e), (e,c), (b,c) { ( (a,a), (b,b), (c,c), (d,d), (e,e), (a,e), (b,c), (c,b), (e,a) { (a,b), (b,d), (c,a), (d,e), (e,c), (b,c), (b,a)

Universidad tecnolgica de Xicotepec de Jurez

Trabajo gUiLLerMO cUeVaS rOsAlEs


Si observamos la figura podemos darnos cuenta que R3 y R6 son Reflexivas, y tambin podemos ver que R5 y R7 son Irreflexivas. De las relaciones anteriores R6 es simtrica, R3 y R5 son antisimetricas; R3, R4 y R5 son Transitivas.

Universidad tecnolgica de Xicotepec de Jurez