SlideShare a Scribd company logo
1 of 6
U.T.S Antonio José de Sucre
2015
Relaciones Binarias
Ricardo Santaella C.I: 26.343.797
Relaciones Binarias
Sean Y, y X dos conjuntos. Una relación de X en Y es un subconjunto R del producto cartesiano X
x Y. El conjunto X es llamado conjunto de partida de la relación R; e Y es el conjunto de llegada.
En el caso de que Y = X, en lugar de decir que R es una relación de X en X, diremos que R es una
relación en X.
Los elementos de R son pares ordenados. Si (x, y) es un elemento de R, en lugar de escribir (x, y) Î
R, escribiremos X R Y, y leeremos: "X está relacionado con Y", según la relación R".
Nota: Usaremos las letras R, S, T, etc., para representar relaciones.
Ejemplos:
1. Si X = {a, b, c, d} e Y = {1, 2, 3, 4, 5}, una relación de X en Y es R = {(a, 2), (b, 1), (b, 4), (c, 5)}
2. La siguiente relación S de R en R S = {(X, Y) Î R x R / X £ Y} es la relación "menor o igual" en
R. En este caso X S Y Û X £ Y
3. Sea U el conjunto referencial. La relación de inclusión en P (U) es la relación
R = {(A, B) Î P (U) x P (U) / A Ì B}
Dominio y Rango
Definición: Sea R una relación de X en Y
El Dominio de R es el conjunto
Dom(R) = {xÎ X / (x, y) Î R, para algún y Î Y}
El Rango o imagen de R es el conjunto
Rang(R) = {y Î Y / (x, y) Î R, para algún x Î X}
En otros términos, el dominio y la imagen de una relación están constituidos por los primeros y
segundos componentes respectivamente de los pares ordenados que constituyen la relación.
Ejemplo:
La relación R= { (a, 2) , (b, 1) , (b, 4) , (c, 5) } tiene como dominio el conjunto Dom (R) = { a, b, c}
y rango a rang (R) = { 1, 2, 4, 5 }, ya que a,b y c están en el primer componente de los pares
ordenados y 1,2,4,5 están en el segundo componente de cada par.
Representación grafica de Relaciones
Existen varias formas de representar gráficamente una relación. Las más usuales son las siguientes:
Representación Cartesiana, Matricial y Sagitaria.
Representación Cartesiana
Para obtener una representación cartesiana de una relación, se toman como abscisas los elementos
del conjunto de partida; y como ordenadas, el conjunto de llegada. En el plano se marcan los pares
ordenados que conforma la relación. Esta representación alcanza su mayor importancia cuando el
conjunto de partida y el de llegada son subconjuntos de R.
Ejemplo 1
Si X= {a, b, c, d} e Y= {1, 2, 3, 4, 5} una relación de X en Y
R= {(a, 2), (b, 1), (b, 4), (c, 5)}
La representación cartesiana es el diagrama adjunto.
Representación Sagital
La representación sagital es la más popular de las representaciones. Ésta, igual que la matricial, se
usa cuando los conjuntos de partida y llegada son finitos. La representación sagital se obtiene
representando mediante diagramas de Venn el conjunto de partida y el de llegada; uniendo luego,
con flechas, los elementos relacionados. Así, la representación sagital de la relación del ejemplo 1 es
el siguiente diagrama:
Si el conjunto de partida y el de llegada coinciden, se usa un solo diagrama de Venn y las flechas se
representan interiormente. Así, el diagrama siguiente representa a la siguiente relación en X= {a, b,
c, d}
S= {(a, b), (b, b), (a, d), (b, c), (d, d)}
Matriz Binaria
La representación matricial se usa cuando los conjuntos de partida y de llegada de la relación son
conjuntos finitos con pocos elementos. Para obtener tal representación, se asigna a cada elemento del
conjunto de llegada una columna; y a cada elemento del conjunto de partida, una fila.
Si (x, y) está en la relación, en la intersección de la fila que corresponde a x con la columna que
corresponde a Y, escribimos 1; y escribiremos 0 en caso contrario. La configuración rectangular de
ceros y unos que se obtiene se llama matriz binaria de la relación.
Así, la matriz de la relación. R= {(a, 2), (b, 1), (b, 4), (c, 5)}
Relación Inversa
Sea R una relación de X en Y. Se llama relación inversa de R a la relación R-1 de Y en X dada por:
R-1 = {(y, x) Î Y x X / (x, y) Î R}
O sea, Y R-1 X Û X R Y
Es evidente que se verifica que:
Dom(R-1) = rang(R) 2. Rang(R-1) = Dom(R)
Ejemplo
Si X = {a, b, c} Y= {1, 2, 3, 4} y R Ì X x Y es dado por
R = {(a, 3), (a, 1), (b, 1), (c, 4)}
R-1 = {(3, a), (1, a), (1, b), (4, c)}
Además domR-1 = {1, 3, 4} = rang(R)
Rang(R-1) = {a, b, c} = Dom(R)
El siguiente teorema nos dice que la inversa de la inversa de una relación es la misma relación.
Teorema: Sea R una relación de X en Y. Entonces (R-1)-1 = R
Demostración
X(R-1)-1 Y Û Y R-1 X definición de relación inversa
Û X R Y
Luego, (R-1)-1 = R
Composición de Relaciones
Sea R una relación de X a Y, y S una relación de Y en Z. Se llama composición de R con S a la
siguiente relación de X en Z:
X(S o R) Z Û $ YÎ Y, X R Y Ù Y S Z
Observación
En la composición de R con S, es necesario que el conjunto de llegada de R sea igual al conjunto de
partida de S. Este requisito puede ser aligerado exigiendo solamente que el conjunto de llegada de R
esté contenido en el conjunto de partida de S.
Observar también que el orden en que se escriben R y S en la composición S o R es inverso al orden
en que se dan R y S.
Ejemplo
Sean X= {2, 3, 5}, Y= {a, b, c, d} y Z= {1, 4, 9}
Si R y S son las relaciones de X en Y, y de Y en Z respectivamente, dadas por
R= {(2, a), (2, d), (3, c), (5, a)},
S= {(a, 9), (b, 1), (d, 4)}
Entonces:
SoR = {(2, 9), (2, 4), (5, 9)}
Teorema: Si R es una relación de X en Y, S es una relación de Y en Z y T es una relación de Z en
W, entonces:
T o (S o R) = (T o S) o R
Demostración
X (T o (S o R) W Û $ z Î Z, x(S o R) z Ù z T w Û $ z Î Z, ($ y Î Y, x R y Ù y S z) Ù z T w
Û $ y Î Y, x R y Ù ($ z Î Z, y S z Ù z T w) $ y Î Y, x R y Ù y (T o S) w
Û x ( (T o S) o R) w
Luego, T o (S o R) = (T o S) o R
Teorema: Si R es una relación de X en Y, y S en una relación de Y en Z, entonces (S o R)-1 = R-1 o
S-1
Demostración
z (S o R)-1 x Û x (S o R) z
Û $ y Î Y, x R y Ù y S z
Û $ y Î Y, y R-1 x Ù z S-1 y
Û $ y Î Y, z S-1 y Ù y R-1 x
Û z(R-1 o S-1) x
Luego, (S o R)-1 = R-1 o S-1

More Related Content

What's hot

Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binariasgmromano
 
Relaciones
RelacionesRelaciones
Relacioneshcherov
 
Relaciones Introducción
Relaciones IntroducciónRelaciones Introducción
Relaciones Introducciónrezzaca
 
relaciones binarias
relaciones binariasrelaciones binarias
relaciones binariaskendrys05
 
Matematica discreta2011 unidad3_3ºparte_2011
Matematica discreta2011 unidad3_3ºparte_2011Matematica discreta2011 unidad3_3ºparte_2011
Matematica discreta2011 unidad3_3ºparte_2011gmromano
 
TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)
TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)
TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)Videoconferencias UTPL
 
Algebra: Monomios y Polinomios Parte III
Algebra: Monomios y Polinomios Parte IIIAlgebra: Monomios y Polinomios Parte III
Algebra: Monomios y Polinomios Parte IIILuis
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binariaselduro299ful
 
Simetricas Y Transitivas
Simetricas Y TransitivasSimetricas Y Transitivas
Simetricas Y Transitivasrezzaca
 
Matematica discreta2011 unidad3_2ºparte_2011
Matematica discreta2011 unidad3_2ºparte_2011Matematica discreta2011 unidad3_2ºparte_2011
Matematica discreta2011 unidad3_2ºparte_2011gmromano
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binariasprofealex21
 
Propiedades De Las Relaciones
Propiedades De Las RelacionesPropiedades De Las Relaciones
Propiedades De Las Relacionesrezzaca
 
Relación binaria entre conjuntos
Relación binaria entre conjuntosRelación binaria entre conjuntos
Relación binaria entre conjuntosLuis Antonio Siza
 

What's hot (20)

Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Propiedades de las relaciones
Propiedades de las relacionesPropiedades de las relaciones
Propiedades de las relaciones
 
Relaciones
RelacionesRelaciones
Relaciones
 
Relaciones
RelacionesRelaciones
Relaciones
 
Relaciones
RelacionesRelaciones
Relaciones
 
Relación de orden
Relación de ordenRelación de orden
Relación de orden
 
Relaciones Introducción
Relaciones IntroducciónRelaciones Introducción
Relaciones Introducción
 
relaciones binarias
relaciones binariasrelaciones binarias
relaciones binarias
 
Matematica discreta2011 unidad3_3ºparte_2011
Matematica discreta2011 unidad3_3ºparte_2011Matematica discreta2011 unidad3_3ºparte_2011
Matematica discreta2011 unidad3_3ºparte_2011
 
TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)
TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)
TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)
 
Algebra: Monomios y Polinomios Parte III
Algebra: Monomios y Polinomios Parte IIIAlgebra: Monomios y Polinomios Parte III
Algebra: Monomios y Polinomios Parte III
 
Tema 4 Relaciones
Tema 4   RelacionesTema 4   Relaciones
Tema 4 Relaciones
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Simetricas Y Transitivas
Simetricas Y TransitivasSimetricas Y Transitivas
Simetricas Y Transitivas
 
Matematica discreta2011 unidad3_2ºparte_2011
Matematica discreta2011 unidad3_2ºparte_2011Matematica discreta2011 unidad3_2ºparte_2011
Matematica discreta2011 unidad3_2ºparte_2011
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Propiedades De Las Relaciones
Propiedades De Las RelacionesPropiedades De Las Relaciones
Propiedades De Las Relaciones
 
Algebra 1 - Relaciones
Algebra 1 - Relaciones Algebra 1 - Relaciones
Algebra 1 - Relaciones
 
Relación binaria entre conjuntos
Relación binaria entre conjuntosRelación binaria entre conjuntos
Relación binaria entre conjuntos
 

Similar to Relaciones binarias

Similar to Relaciones binarias (20)

Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Instituto universitario de tecnologí1
Instituto universitario de tecnologí1Instituto universitario de tecnologí1
Instituto universitario de tecnologí1
 
Relaciones binarias
Relaciones binarias Relaciones binarias
Relaciones binarias
 
algebra
algebra algebra
algebra
 
Alexis romero
Alexis romeroAlexis romero
Alexis romero
 
algebra
algebra algebra
algebra
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Relaciones binarias-1
Relaciones binarias-1Relaciones binarias-1
Relaciones binarias-1
 
Tema 4 algebra
Tema 4 algebraTema 4 algebra
Tema 4 algebra
 
República bolivariana de venezuel1
República bolivariana de venezuel1República bolivariana de venezuel1
República bolivariana de venezuel1
 
Relaciones en algebra
Relaciones en algebraRelaciones en algebra
Relaciones en algebra
 
Revista matematica2 (1)
Revista matematica2 (1)Revista matematica2 (1)
Revista matematica2 (1)
 
Chano saya
Chano sayaChano saya
Chano saya
 
Semana 1 Calculo I.pptx
Semana 1 Calculo I.pptxSemana 1 Calculo I.pptx
Semana 1 Calculo I.pptx
 
Guía de Estudio sobre Relaciones y Funciones
Guía de Estudio sobre Relaciones y FuncionesGuía de Estudio sobre Relaciones y Funciones
Guía de Estudio sobre Relaciones y Funciones
 
Naudys bouquet
Naudys bouquetNaudys bouquet
Naudys bouquet
 
Logica...
Logica...Logica...
Logica...
 
Relaciones Generales
Relaciones GeneralesRelaciones Generales
Relaciones Generales
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 

Recently uploaded

TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSTEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSjlorentemartos
 
Ecosistemas Natural, Rural y urbano 2021.pptx
Ecosistemas Natural, Rural y urbano  2021.pptxEcosistemas Natural, Rural y urbano  2021.pptx
Ecosistemas Natural, Rural y urbano 2021.pptxolgakaterin
 
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptxTECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptxKarlaMassielMartinez
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzprofefilete
 
La empresa sostenible: Principales Características, Barreras para su Avance y...
La empresa sostenible: Principales Características, Barreras para su Avance y...La empresa sostenible: Principales Características, Barreras para su Avance y...
La empresa sostenible: Principales Características, Barreras para su Avance y...JonathanCovena1
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.amayarogel
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dstEphaniiie
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxzulyvero07
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PCCesarFernandez937857
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptxFelicitasAsuncionDia
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMarjorie Burga
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...JAVIER SOLIS NOYOLA
 
Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arteRaquel Martín Contreras
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADauxsoporte
 
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxTIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxlclcarmen
 
la unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscala unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscaeliseo91
 

Recently uploaded (20)

TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOSTEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
TEMA 13 ESPAÑA EN DEMOCRACIA:DISTINTOS GOBIERNOS
 
Ecosistemas Natural, Rural y urbano 2021.pptx
Ecosistemas Natural, Rural y urbano  2021.pptxEcosistemas Natural, Rural y urbano  2021.pptx
Ecosistemas Natural, Rural y urbano 2021.pptx
 
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptxTECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
TECNOLOGÍA FARMACEUTICA OPERACIONES UNITARIAS.pptx
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
 
La empresa sostenible: Principales Características, Barreras para su Avance y...
La empresa sostenible: Principales Características, Barreras para su Avance y...La empresa sostenible: Principales Características, Barreras para su Avance y...
La empresa sostenible: Principales Características, Barreras para su Avance y...
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes d
 
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptxACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
ACUERDO MINISTERIAL 078-ORGANISMOS ESCOLARES..pptx
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PC
 
Registro Auxiliar - Primaria 2024 (1).pptx
Registro Auxiliar - Primaria  2024 (1).pptxRegistro Auxiliar - Primaria  2024 (1).pptx
Registro Auxiliar - Primaria 2024 (1).pptx
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grande
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
 
Historia y técnica del collage en el arte
Historia y técnica del collage en el arteHistoria y técnica del collage en el arte
Historia y técnica del collage en el arte
 
Unidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la InvestigaciónUnidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la Investigación
 
Tema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdf
Tema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdfTema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdf
Tema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdf
 
Sesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdfSesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdf
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDAD
 
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptxTIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
TIPOLOGÍA TEXTUAL- EXPOSICIÓN Y ARGUMENTACIÓN.pptx
 
Power Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptxPower Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptx
 
la unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscala unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fisca
 

Relaciones binarias

  • 1. U.T.S Antonio José de Sucre 2015 Relaciones Binarias Ricardo Santaella C.I: 26.343.797
  • 2. Relaciones Binarias Sean Y, y X dos conjuntos. Una relación de X en Y es un subconjunto R del producto cartesiano X x Y. El conjunto X es llamado conjunto de partida de la relación R; e Y es el conjunto de llegada. En el caso de que Y = X, en lugar de decir que R es una relación de X en X, diremos que R es una relación en X. Los elementos de R son pares ordenados. Si (x, y) es un elemento de R, en lugar de escribir (x, y) Î R, escribiremos X R Y, y leeremos: "X está relacionado con Y", según la relación R". Nota: Usaremos las letras R, S, T, etc., para representar relaciones. Ejemplos: 1. Si X = {a, b, c, d} e Y = {1, 2, 3, 4, 5}, una relación de X en Y es R = {(a, 2), (b, 1), (b, 4), (c, 5)} 2. La siguiente relación S de R en R S = {(X, Y) Î R x R / X £ Y} es la relación "menor o igual" en R. En este caso X S Y Û X £ Y 3. Sea U el conjunto referencial. La relación de inclusión en P (U) es la relación R = {(A, B) Î P (U) x P (U) / A Ì B} Dominio y Rango Definición: Sea R una relación de X en Y El Dominio de R es el conjunto Dom(R) = {xÎ X / (x, y) Î R, para algún y Î Y} El Rango o imagen de R es el conjunto Rang(R) = {y Î Y / (x, y) Î R, para algún x Î X} En otros términos, el dominio y la imagen de una relación están constituidos por los primeros y segundos componentes respectivamente de los pares ordenados que constituyen la relación. Ejemplo: La relación R= { (a, 2) , (b, 1) , (b, 4) , (c, 5) } tiene como dominio el conjunto Dom (R) = { a, b, c} y rango a rang (R) = { 1, 2, 4, 5 }, ya que a,b y c están en el primer componente de los pares ordenados y 1,2,4,5 están en el segundo componente de cada par.
  • 3. Representación grafica de Relaciones Existen varias formas de representar gráficamente una relación. Las más usuales son las siguientes: Representación Cartesiana, Matricial y Sagitaria. Representación Cartesiana Para obtener una representación cartesiana de una relación, se toman como abscisas los elementos del conjunto de partida; y como ordenadas, el conjunto de llegada. En el plano se marcan los pares ordenados que conforma la relación. Esta representación alcanza su mayor importancia cuando el conjunto de partida y el de llegada son subconjuntos de R. Ejemplo 1 Si X= {a, b, c, d} e Y= {1, 2, 3, 4, 5} una relación de X en Y R= {(a, 2), (b, 1), (b, 4), (c, 5)} La representación cartesiana es el diagrama adjunto. Representación Sagital La representación sagital es la más popular de las representaciones. Ésta, igual que la matricial, se usa cuando los conjuntos de partida y llegada son finitos. La representación sagital se obtiene representando mediante diagramas de Venn el conjunto de partida y el de llegada; uniendo luego, con flechas, los elementos relacionados. Así, la representación sagital de la relación del ejemplo 1 es el siguiente diagrama: Si el conjunto de partida y el de llegada coinciden, se usa un solo diagrama de Venn y las flechas se representan interiormente. Así, el diagrama siguiente representa a la siguiente relación en X= {a, b, c, d} S= {(a, b), (b, b), (a, d), (b, c), (d, d)}
  • 4. Matriz Binaria La representación matricial se usa cuando los conjuntos de partida y de llegada de la relación son conjuntos finitos con pocos elementos. Para obtener tal representación, se asigna a cada elemento del conjunto de llegada una columna; y a cada elemento del conjunto de partida, una fila. Si (x, y) está en la relación, en la intersección de la fila que corresponde a x con la columna que corresponde a Y, escribimos 1; y escribiremos 0 en caso contrario. La configuración rectangular de ceros y unos que se obtiene se llama matriz binaria de la relación. Así, la matriz de la relación. R= {(a, 2), (b, 1), (b, 4), (c, 5)} Relación Inversa Sea R una relación de X en Y. Se llama relación inversa de R a la relación R-1 de Y en X dada por: R-1 = {(y, x) Î Y x X / (x, y) Î R} O sea, Y R-1 X Û X R Y Es evidente que se verifica que: Dom(R-1) = rang(R) 2. Rang(R-1) = Dom(R) Ejemplo Si X = {a, b, c} Y= {1, 2, 3, 4} y R Ì X x Y es dado por R = {(a, 3), (a, 1), (b, 1), (c, 4)} R-1 = {(3, a), (1, a), (1, b), (4, c)} Además domR-1 = {1, 3, 4} = rang(R) Rang(R-1) = {a, b, c} = Dom(R) El siguiente teorema nos dice que la inversa de la inversa de una relación es la misma relación. Teorema: Sea R una relación de X en Y. Entonces (R-1)-1 = R Demostración X(R-1)-1 Y Û Y R-1 X definición de relación inversa Û X R Y Luego, (R-1)-1 = R
  • 5. Composición de Relaciones Sea R una relación de X a Y, y S una relación de Y en Z. Se llama composición de R con S a la siguiente relación de X en Z: X(S o R) Z Û $ YÎ Y, X R Y Ù Y S Z Observación En la composición de R con S, es necesario que el conjunto de llegada de R sea igual al conjunto de partida de S. Este requisito puede ser aligerado exigiendo solamente que el conjunto de llegada de R esté contenido en el conjunto de partida de S. Observar también que el orden en que se escriben R y S en la composición S o R es inverso al orden en que se dan R y S. Ejemplo Sean X= {2, 3, 5}, Y= {a, b, c, d} y Z= {1, 4, 9} Si R y S son las relaciones de X en Y, y de Y en Z respectivamente, dadas por R= {(2, a), (2, d), (3, c), (5, a)}, S= {(a, 9), (b, 1), (d, 4)} Entonces: SoR = {(2, 9), (2, 4), (5, 9)} Teorema: Si R es una relación de X en Y, S es una relación de Y en Z y T es una relación de Z en W, entonces: T o (S o R) = (T o S) o R
  • 6. Demostración X (T o (S o R) W Û $ z Î Z, x(S o R) z Ù z T w Û $ z Î Z, ($ y Î Y, x R y Ù y S z) Ù z T w Û $ y Î Y, x R y Ù ($ z Î Z, y S z Ù z T w) $ y Î Y, x R y Ù y (T o S) w Û x ( (T o S) o R) w Luego, T o (S o R) = (T o S) o R Teorema: Si R es una relación de X en Y, y S en una relación de Y en Z, entonces (S o R)-1 = R-1 o S-1 Demostración z (S o R)-1 x Û x (S o R) z Û $ y Î Y, x R y Ù y S z Û $ y Î Y, y R-1 x Ù z S-1 y Û $ y Î Y, z S-1 y Ù y R-1 x Û z(R-1 o S-1) x Luego, (S o R)-1 = R-1 o S-1