Diferencia entre revisiones de «Relación transitiva»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 201.240.35.98 a la última edición de AVBOT |
|||
Línea 27:
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.
== Representación ==
Una [[relación binaria]] se puede representar como [[pares ordenados]], mediante una [[matriz de adyacencia]] o mediante un [[grafo]]. Para el caso de una ''relación transitiva'', cada una de estas representaciones tiene características especiales:
* Como [[pares ordenados]], <math>\forall a, b, c \in A,\ (a,b)\in R \and (b,c)\in R \; \Rightarrow \; (a,c)\in R</math>
* Como [[matriz de adyacencia]] <math>M</math>, la matriz es tal que <math>M \or M^2 = M.</math>
* Como [[grafo]], cada vez que desde un nodo <math>v_1</math> se pueda llegar a otro <math>v_3</math>, pasando primero por un nodo intermedio <math>v_2</math>, entonces también existirá la arista <math>(v_1, v_3)</math>.
== Véase también ==
| |||