Está en la página 1de 21

MATEMATICAS PARA COMPUTADORA IV UNIDAD

. Dirección General de Educación Superior Tecnológica

INSTITUTO TECNOLÓGICO DEL


ISTMO
CARRERA:

LIC. EN INFORMÁTICA

MATERIA:

MATEMATICAS PARA COMPUTACION

CATEDRÁTICO:

ING: IVAN SANCHEZ RUIZ

NOMBRE DEL ALUMNO:

ELIAZAR MIGUEL SOLANO

JUCHITAN DE ZARAGOZA OAX. 12 DE NOVIEMBRE DEL 2010

1
MATEMATICAS PARA COMPUTADORA IV UNIDAD

INDICE ----------------------------------------------------------------------------------------------------------2

Relaciones------------------------------------------------------------------------------------------------------3

Matriz de una relación-------------------------------------------------------------------------------------12

Relación de pertenencia----------------------------------------------------------------------------------15

Relación reflexiva-------------------------------------------------------------------------------------------16

Relación simétrica------------------------------------------------------------------------------------------17

Relación transitiva-----------------------------------------------------------------------------18

Grafo dirigido-----------------------------------------------------------------------------------20

Referencia---------------------------------------------------------------------------------------21

2
MATEMATICAS PARA COMPUTADORA IV UNIDAD

Relaciones

Se define una relación como un conjunto de pares ordenados.

Una relación (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 esta relacionado con y.

Una relación que es reflexiva, simétrica y transitiva en un conjunto X se llama relación de


equivalencia sobre X.

Ejemplos

a) Sean los conjuntos X = {a, b, c, d} y Y = {1, 2, 3, 4}, definir una relación R de X en Y y


determinar el dominio de R y lel rango de R.

R = {(a, 1), (b, 2), (c, 3), (d, 4)}


El dominio se define por el conjunto {x ∈ X/(x, y) ∈ R para algún y ∈ Y}

dominio de R es el conjunto {a, b, c, d}

b) La relación R sobre X = {1, 2, 3, 4} esta definida por “(x, y) ∈ R si x ≤ y“ es:

R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}
el dominio de R es el conjunto {1, 2, 3, 4}
el rango de R es el conjunto {1, 2, 3, 4}
se concluye que: el dominio y el rango son iguales porque la relación está definida
sobre el mismo conjunto X.
La digráfica de la relación R es la siguiente:

3
MATEMATICAS PARA COMPUTADORA IV UNIDAD

Ejemplos de las propiedades de las relaciones

a) Reflexiva

La relación R del ejemplo anterior dada por:


R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}
se dice que es reflexiva por que cada elemento x ∈ X, (x, x) ∈ R; los pares
ordenados (1, 1), (2, 2), (3, 3) y (4, 4) están en R. Si observamos la digráfica de la
relación reflexiva, encontramos que tiene un lazo sobre cada vértice.

b) Simétrica

Tomando la relación R del ejemplo anterior dada por:


R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}
“no es simétrica”, por cuanto no cumple la definición que dice: “si para cada x, y ∈
X, si (x, y) ∈ R, entonces (y, x) ∈ R”.

c) Transitiva

Tomando la relación R del ejemplo anterior dada por:


R = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}
“es una relación transitiva R sobre el cojunto X”, por cuanto cumple la definición
que dice: “x, y, z ∈ X, si (x, y) y (y, z) ∈ R, entonces (x, z) ∈ R”.
Específicamente tenemos (1, 2), (2, 3) se tiene (1, 3); (1, 3), (3, 4) se tiene (1, 4);
(2, 3), (3, 4) se tiene (2, 4) todos pertenecen a R.

d) Antisimétrica

Tomando la relación R del ejemplo anterior dada por:

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

“la relación R sobre el cojunto X es antisimétrica”, por cuanto cumple la definición


que dice para toda: “x, y X, si (x, y) ∈ R y x ≠ y, entonces (x, y) ∉ R”.
Específicamente tenemos (1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4) pertenecen a R,
pero (2, 1), (3, 1), (4, 1), (3, 2), (4, 2), (4, 3) no pertenecen a R.

e) Inversa

4
MATEMATICAS PARA COMPUTADORA IV UNIDAD

Tomando la relación R del ejemplo anterior dada por:


R = {(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),(4,4)}
La relación inversa de R que se denota por R-1, esta dada por:
R - 1 = {(1, 1), (2, 1), (3, 1), (4, 1), (2, 2), (3, 2), (4, 2), (3, 3), (4, 3), (4, 4)}
Ejercicio 1

A partir del siguiente dígrafo, resuelva las siguientes


instrucciones:

1. Escriba R como un conjunto de pares ordenados

R ={(3, 5), (4, 4), (5, 5), (3, 5), (3, 4), (4, 5)}

2. Escriba una relación reflexiva sobre G1

R = {(3,3), (4,4), (5,5)}

3. Escriba una relación simétrica sobre G1

R = {(3,3), (4,4), (5,5)}

4. Escriba una relación antisimétrica sobre G1

R = {(3, 5), (3, 4), (4, 5)}

5. Escriba una relación transitiva sobre G1

R ={(3, 4), (4, 5), (3, 5)}

6. Escriba R-1 como un conjunto de pares ordenados

R-1 = {(3, 3), (4, 3), (4, 4), (5, 4), (5, 5), (5, 3)}

5
MATEMATICAS PARA COMPUTADORA IV UNIDAD

Ejercicio 2

Considere las siguientes relaciones en W = {1, 2, 3, 4} y determinar si son reflexivas,


simétricas, antisimétricas o transitivas.

R1 = {(1, 1), (1, 2)}

R2 = {(1, 1), (2, 3), (4, 1)}

R3 = {(1, 3), (2, 4)}

R4 = {(1, 1), (2, 2), (3, 3)}

R5 = {W x W}

Respuestas: Reflexivas: R5

Simétricas: R4 y R5
Antisimétricas: R1, R2, R3, R4
Transitiva: R1, R2, R3, R4, R5

REPRESENTACIÓN DE LAS RELACIONES


a) Enumerado de pares
Ahora bien, cualquier relación R de un conjunto A a un conjunto B define unívocamente
un subconjunto R* de A X B como sigue:
R* - {(a, b) : a está en relación con b} = {(a, b) : a R b}
Por otra parte, cualquier subconjunto R* de A X B define una' relación R de A a B como
sigue:
a R b sii (a, b) Î R*
En vista de la correspondencia que hay entre las relaciones fi de A a B y los subconjuntos
de A X B, volvemos a definir la relación como sigue:
Una relación R de A a B es un subconjunto de A X B.
Diagrama sagital
Una forma de representar el producto cartesiano es el diagrama sagital.
Escriba los elementos de a y los elementos de b en dos discos disyuntos, y luego dibuje
una flecha de " a e a " en " b e b" cada vez que a este relacionado con b.
Para ver el gráfico seleccione la opción "Descargar" del menú superior 

6
MATEMATICAS PARA COMPUTADORA IV UNIDAD

c) Grafos
Los grafos son artefactos matemáticosque permiten expresar de una forma visualmente
muy sencilla y efectiva las relaciones que se dan entre elementos de muy diversa índole.
Un grafo simple está formado por dos conjuntos.
d) Gráfica cartesiana
Un plano cartesiano se forma por dos rectas que se interceptan perpendicularmente de
modo que, cada una de las rectas se asocia a un sistemanumérico, donde el punto de
intersección es llamado centro u origen del sistema y se le asigna el número 0.
La recta horizontal se llama eje de las abcisas (x), o de las "primeras componentes". A la
derecha del cero se ubican convencionalmente valorespositivos y a la izquierda valores
negativos.
El eje vertical se llama eje de las ordenadas (y) o de las "segundas componentes". Sobre
el cero, convencionalmente se ubican los valores positivos y bajo éste los valores
negativos.
e) Matrices.
La construcciónde arreglos en filas y columnas que cumplen con las reglas de una
álgebra, denotados entre ( ), l l o [ ]. (nosotros las representaremos con [ ]). Se construye
la matriz aumentada A’, del sistema AX=Y, Esta es la matriz mx(n+1) cuyas primeras n
columnas son las de A por X y la última columna es Y.

 f) Listas
Una lista es una sucesión ordenada de objetos, se escribe abreviando el paréntesis y
anotando los elementos que la conforman separados por comas, y al terminar se cierra el
paréntesis. Por ejemplo (1,2,Z) es una lista cuyo primer elemento es el numero 1, su
segundo es el numero 2 y su tercer elemento es un conjunto de los enteros.
Es importante señalar que (1,2,3) no es igual que (3,2,1)
Los elementos de una lista pueden estar repetidos (3,3,2).
Una lista de longitud dos tiene un nombre especial: par ordenado.
Una lista de longitud cero se llama lista vacia y se representa ().
Dos listas son iguales siempre y cuando tengan la misma losngitud ylos mismos
elementos en las posiciones correspondientes de las dos sean iguales.

NOTACION SIMBOLICA
Existen muchas formas para representar los esquemas de permisos Unix. La forma más
común es la notación simbólica. Este esquema permite representar permisos en una serie

7
MATEMATICAS PARA COMPUTADORA IV UNIDAD

de 10 caracteres.

El primer carácter indica el tipo de archivo:

'-' denota un archivo regular


'd' denota un directorio
'b' denota un archivo especial de bloques
'c' denota un archivo especial de caracteres
'l' denota un enlace simbólico
'p' denota un tubo nombrado
's' denota un socket de dominio
Cada clase de permisos se representa por tres caracteres. El primer conjunto de
caracteres representa la clase de usuario. El segundo conjunto representa la clase de
grupo. El tercer y último conjunto de tres caracteres representa la clase del resto.

Cada uno de los tres caracteres representa los permisos de lectura, escritura y ejecución
respectivamente:

'r' si el bit de lectura está asignado, '-' en caso contrario.


'w' si el bit de escritura está asignado, '-' en caso contrario.
'x' si el bit de ejecución está asignado, '-' en caso contrario.
Estos son algunos ejemplos de notación simbólica:

"-rwxr-xr-x" para un archivo regular que tiene todos los permisos asignados para su
propietario y solo permisos de lectura y ejecución para el grupo de usuarios del archivo y
el resto de los usuarios. Ningún usuario, salvo el propietario, puede modificar los
contenidos del archivo.
"crw-rw-r--" para un archivo especial de caracteres que tiene permisos de lectura y
escritura para su propietario y grupo de usuarios y solo permiso de lectura para el resto de
los usuarios.
"dr-x------" para un directorio que tiene permisos de lectura y ejecución únicamente para
su propietario.

RELACIÓN BINARIA

Definición

Dados dos conjuntos no vacíos  A  y  B , se denomina relación binaria de  A  a  B  a


cualquier subconjunto de A × B .

R  es relación binaria de  A  a  B          R    A × B

    Ejemplo 1:  Sean  A   =   { a , b , c }   y   B   =   { p , q , r , s } , entonces:

    R   =   { ( a , r ) , ( b , q ) , ( b , r ) }  es una relación de  A  a  B .

    Esto se puede representar mediante un diagrama:

8
MATEMATICAS PARA COMPUTADORA IV UNIDAD

Notación

Dado el ejemplo 1, para indicar que  a  está en relación  R  con  r  se indica:  a R r .

También se utiliza: ( a , r )  R .

x R y          ( x , y )  R

Dominio ( Dom R )

Dada la relación  R  de  A  a  B , el dominio de ella  ( Dom R )  es el conjunto de todos los


elementos de  A  que participan en  R . Además el dominio de  R  es subconjunto de  A .

    Ejemplo 2:  En el ejemplo 1,  Dom R   =   { a , b }    A .

Recorrido o Rango ( Rec R )

Dada la relación  R  de  A  a  B , el recorrido o rango de ella  ( Rec R )  es el conjunto de


todos los elementos de  B  que participan en  R . Además el recorrido de  R  es
subconjunto de  B .

    Ejemplo 3:  En el ejemplo 1,  Rec R   =   { q , r }    B .

Relación inversa ( R – 1 )

Dada la relación  R  de  A  a  B , la relación inversa de ella  ( R – 1 )  está formada por los
pares ordenados  ( y , x )  tal que  ( x , y )  pertenezca a  R . Además  R – 1   es
subconjunto de  B × A .

R – 1   =   { ( y , x ) :  ( x , y )  R }

    Ejemplo 4:  En nuestro ejemplo 1, la relación inversa de  R  es:

    R – 1   =   { ( q , b ) , ( r , a ) , ( r , b ) }    B × A .

Relaciones especiales

Relación refleja ( reflexiva )

9
MATEMATICAS PARA COMPUTADORA IV UNIDAD

Una relación  R  es refleja en un conjunto  A  no vacío, si y sólo si para cada elemento  a 


de  A  se cumple:

aRa

    Ejemplo 5:

    La relación de igualdad  ( = )  en el conjunto de los números racionales  ( Q ) :

a  Q          a   =   a

    La relación menor o igual que  (  )  en el conjunto de los números enteros  ( Z ) :

p  Z          p    p

Relación simétrica

Una relación  R  es simétrica en un conjunto  A  no vacío, si y sólo si para cada par de


elementos  a  y  b  de  A  se cumple:

a R b          b R a

    Ejemplo 6:

    La relación de perpendicularidad  (  )  en el conjunto de las rectas del plano:

L 1   L 2          L 2    L 1

    La relación de congruencia  (  )  en el conjunto de los triángulos del plano:



Relación antisimétrica

Una relación  R  es antisimétrica en un conjunto  A  no vacío, si y sólo si para cada par de


elementos  a  y  b de  A  se cumple:

a R b      b R a          a   =   b

    Ejemplo 7:

    La relación mayor o igual que  (  )  en  Z :

a    b      b    a          a   =   b

     La relación de inclusión  (  )  en la familia de conjuntos:

10
MATEMATICAS PARA COMPUTADORA IV UNIDAD

A    B      B    A          A   =   B

Relación transitiva

Una relación  R  es transitiva en un conjunto  A  no vacío, si y sólo si para cada trío de


elementos  a , b  y  c  de  A  se cumple:

a R b      b R c          a R c

    Ejemplo 8:

    La relación menor que  ( < )  en  Q :

a  <  b      b  <  c          a  <  c

    La relación de semejanza (  ) en el conjunto de los triángulos del plano:

 1     2      2     3           1     3

Relación de equivalencia

Una relación  R  es de equivalencia en un conjunto  A  no vacío, si y sólo si satisface:

Reflexividad, simetría y transitividad

    Ejemplo 9:

    La relación de igualdad  ( = )  en  Q :

    Reflexividad:  a   =   a

    Simetría:  a   =   b          b   =   a

    Transitividad:  a   =   b      b   =   c          a   =   c

    La relación de congruencia  (  )  en el conjunto de los triángulos del plano:

    Reflexividad:   1     1

    Simetría:   1     2           2     1

    Transitividad:   1     2       2     3           1     3

Relación de orden

Una relación  R  es de orden en un conjunto  A  no vacío, si y sólo si satisface:

Reflexividad, antisimetría y transitividad

11
MATEMATICAS PARA COMPUTADORA IV UNIDAD

    Ejemplo 10:

    La relación menor o igual que  (  )  en  Z :

    Reflexividad:  a    a

    Antisimetría:  a    b      b    a          a   =   b

    Transitividad:  a    b      b    c          a    c

    La relación de inclusión  (  )  en la famila de conjuntos:

    Reflexividad:  A    A

    Antisimetría:  A    B      B    A          A   =   B

    Transitividad:  A    B      B   C          A    C

MATRIZ DE UNA RELACION

Una matriz es una manera conveniente de representar una relación R de X a Y. Se


etiquetan los renglones con elementos de X (en algún orden arbitrario), y se etiquetan las
columnas con elementos de Y (orden arbitrario). Luego el elemento en el renglón x y la
columna y se hace igual a 1 si xRy, y 0 de otra manera. Esta matriz se llama matriz de la
relación R.

Ejemplos:

Formar la matriz de relación de los siguientes conjuntos:

a)

R = {(1, b), (1, d), (2, c), (3, c), (3, b), (4, a)}
Donde X = {1, 2, 3,4} y Y = {a, b, c, d}
Considerando los ordenes: 1, 2, 3,4 y a, b, c, d tenemos la matriz:

12
MATEMATICAS PARA COMPUTADORA IV UNIDAD

b)

X = {2, 3, 4} Y = {5, 6, 7, 8}
Considerando las ordenes: 2, 3, 4 y 5, 6, 7,8; definida por xRy si x divide a y

Para los siguientes ejercicios vamos a determinar:

a) La matriz A_1 de la relación R_1 (con respecto de los órdenes dados)

b) La matriz A_2 de la relación R_2 (con respecto de los órdenes dados)

c) El producto matricial A_1 A_2.

d) Utilice el resultado de la parte c) para determinar la matriz de la relación R_2 o R_1.

e) Utilice el resultado de la parte d) para determinar la relación R_2 o R_1 (como un


conjunto de pares ordenados).

Las relaciones dadas son:

R = {(1,x),(1,y),(2,x),(3,x)}

R_2 = {(x,b),(y,b),(y,a),(y,c)}

Órdenes: 1, 2, 3; x, y; a, b, c

Solución:

Las órdenes son los conjuntos que intervienen en las relaciones los mismos que los
podemos escribir como:

X = {1, 2, 3} Y = {x, y} Z = {a, b, c}

Por tanto la matriz de una relación, es una representación de una relación cualesquiera R'
de X a Y, para nuestro caso serían:

a) La matriz A_1 de la relación R_1, en este caso sería la relación R_1 de X a Y, la misma
que esta dada por:

13
MATEMATICAS PARA COMPUTADORA IV UNIDAD

b) La matriz A2 de la relación R2, en este caso sería la relación R2 de Y a Z, la misma


que esta dada por:

c) El producto de A1A2 es:

d) Para obtener matriz de la relación , del punto c) tenemos que reemplazar cada término
distinto de cero en el producto de matrices A1A2 obtenida en el punto anterior, conforme
lo señala el Teorema 2.6.6 de la página 117 del texto básico, la misma que quedaría
como a continuación se señala:

14
MATEMATICAS PARA COMPUTADORA IV UNIDAD

e) El conjunto de pares ordenados de la relación esta dado por: si la matriz A1 de la


relación R1 que se expresa como la relación R1 de X a Y, intervienen los conjuntos X
e Y; mientras la matriz A2 de la relación R2 que se expresa como la relación R2 de Y
a Z, intervienen los conjuntos Y e Z. De donde podemos concluir que los conjuntos u
órdenes que intervienen en la relación son: el conjunto X de R1 y el conjunto Z de
R2; donde el conjunto de pares ordenados es:

R_2 o R_1 ={(1,a),(1,b),(1,c),(2,b),(3,b)} Respuesta


RELACION DE PERTENENCIA

PERTENENCIA

Si un elemento esta en un conjunto dado, se dice que pertenece a él, y esto se indica
mediante el símbolo:

d C

para indicar lo contrario se usa

Ejemplo: d C

15
MATEMATICAS PARA COMPUTADORA IV UNIDAD

RELACION REFLEXIVA

Una relación en A es
Reflexiva: Si todo elemento en A está relacionado con sigo mismo, con símbolos:
(∀ x ∈ A) (x,x) ∈ R

Antirreflexiva: Si ningún elemento en A está relacionado con sigo mismo, con símbolos:
(∀ x ∈ A) (x,x) ∉ R

Cuando tenemos la matriz de una relación es muy fácil verificar si es reflexiva

Ejemplos. Sea A = {a,b,c,d,e}

R1 = (a,a),(b,b),(a,c),(b,c),(c,a),(d,d)

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

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

R4 = (a,a),(a,b),(b,a),(b,b),(b,c),(b,e),(c,e),(b,d),(d,a),(e,e)
R5 = (a,c),(a,e),(e,c),(b,c)

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

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

MR1 = {$ [ (1,0,1,0,0), (0,1,1,0,0), (1,0,0,0,0), (0,0,0,1,0), (0,0,0,0,0) ] $}

MR2 = {$ [ (1,0,0,1,0), (0,0,0,0,0), (0,1,0,0,1), (1,0,0,0,0), (0,0,0,0,1) ] $}

MR3 = {$ [ (1,0,0,0,0), (1,1,1,0,0), (0,0,1,0,0), (0,0,0,1,0), (0,0,0,0,1) ] $}

MR4 = {$ [ (1,1,0,0,0), (1,1,1,1,1), (0,0,0,0,1), (1,0,0,0,0), (0,0,0,0,1) ] $}

16
MATEMATICAS PARA COMPUTADORA IV UNIDAD

MR5 = {$ [ (0,0,1,0,1), ( 0,0,1,0,0), (0,0,0,0,0), (0,0,0,0,0), (0,0,1,0,0) ] $}

MR6 = {$ [ (1,0,0,0,1), (0,1,1,0,0), (0,1,1,0,0), (0,0,0,1,0), (1,0,0,0,1) $}

MR7 = {$ [ (0,1,0,0,0), (1,0,1,1,0), (1,0,0,0,0), (0,0,0,0,1), (0,0,1,0,0) ] $}

Teorema Una relación R en un conjunto es reflexiva si y sólo si la diagonal principal de la


matriz asociada a la relación tiene únicamente unos.

De la misma forma es Antirreflexiva si tiene solamente ceros.

En el ejemplo anterior las relaciones R3 y R6 son reflexivas, también se puede ver que R5 y
R7 son antirreflexivas. Las demás relaciones no son reflexivas ni antirreflexivas.

RELACION SIMETRICA

Una relación binaria R sobre un conjunto A, es simétrica cuando se da que si un elemento


está relacionado con otro mediante R, entonces ese otro también está relacionado con el
primero.

Es decir,

En tal caso, decimos que R cumple con la propiedad de simetría.

La aplicación de cualquier relación R sobre un conjunto A, se representa con el par


ordenado (A, R).

Cuando una relación es lo opuesto a una simétrica, es decir, cuando se da que si un


elemento está relacionado con otro mediante R, entonces ese otro no está relacionado
con el primero, entonces decimos que es asimétrica, lo que denotamos formalmente por:

En este caso, decimos que R cumple con la propiedad de asimetría.

17
MATEMATICAS PARA COMPUTADORA IV UNIDAD

Sea R una relación simétrica o asimétrica aplicada sobre un conjunto A, entonces R tiene
una representación particular para cada forma de describir una relación binaria.

Notación Relación simétrica Relación asimétrica

Como
pares
ordenad
os

, tal matriz tiene una diagonal con


Como sólo 0's, es decir,
matriz de
, la matriz transpuesta
adyacen
cia y además produce una
matriz simétrica.

Como Es un grafo que se puede representar Es un grafo dirigido sin bucles ni


grafo como grafo no dirigido. ciclos.

Ejemplos

Sea A un conjunto cualquiera:

 Sea , (la igualdad matemática), es simétrica.


 Sea , es simétrica.
 "Estar casado con" es una relación simétrica, mientras que "ser más alto que" no
lo es.
 Sea , ("mayor estricto que") es asimétrica, al igual que ("menor estricto
que").
 Sea , (la inclusión estricta de conjuntos), es asimétrica.

18
MATEMATICAS PARA COMPUTADORA IV UNIDAD

RELACION TRANSITIVA

Una relación binaria R sobre un conjunto A es transitiva cuando se cumple: siempre que
un elemento se relaciona con otro y éste último con un tercero, entonces el primero se
relaciona con el tercero.

Esto es:

Dado el conjunto A y una relación R, esta relación es transitiva si: a R b y b R c se cumple


a R c.

La propiedad anterior se conoce como transitividad.

Ejemplos

Así por ejemplo dado el conjunto N de los números naturales y la relación 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 números naturales, y la relación divide a:

Si para todo valor a, b, c numero natural: 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 relación "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 y pero no se cumple puesto que X es subconjunto


de Z.

Otro ejemplo de relación 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.

19
MATEMATICAS PARA COMPUTADORA IV UNIDAD

GRAFO DIRIGIDO

Grafo dirigido

Un grafo dirigido o digrafo es un grafo G = (V,E) donde:


 es un conjunto de pares ordenados de
elementos de .

Dada una arista (a,b), a es su nodo inicial y b su nodo final.

Por definición, los grafos dirigidos no contienen bucles.

Un grafo mixto es aquel que se define con la capacidad de poder contener aristas
dirigidas y no dirigidas. Tanto los grafos dirigidos como los no dirigidos son casos
particulares de este.

20
MATEMATICAS PARA COMPUTADORA IV UNIDAD

REFERENCIAS

http://eneayudas.cl/index.php
http://www.monografias.com
http://www.utpl.edu.ec/ecc/wiki/index.php
http://www.mitecnologico.com
http://es.wikipedia.org

21

También podría gustarte