Ejemplo1: Considerar el grafo dirigido de la figura y las siguientes secuencias de vrtices, cuales son caminos?, que longitud tienen?

a) b) c) d) a, b, e, d a, e, c, d, b d, c e, b, a, b, e

a) el camino existe y es de longitud L=3

b) no existe el camino, pues no es posible partir desde a y llegar a b siguiendo la secuencia de vrtices dada

c) El camino existe y es de longitud L=1

d) El camino existe y es de longitud L=4

Ejemplo 2: Suponer R una relacin en el conjunto de cadenas de letras del alfabeto tal que a R b si y solo si, l(a)=l(b), siendo l(x) la longitud de la cadena x. R es una relacin de equivalencia? Para demostrar si es una relacin de equivalencia se debe determinar si tiene las tres propiedades mencionadas. Reflexiva: Considerar una cadena a entonces R es reflexiva si puedo determinar que el par ordenado (a,a) R. Puesto que l(a)=l(a) entonces a R a y el par ordenado (a,a) R por lo que la relacin es reflexiva Simtrica Considerar dos cadenas a y b, R es simtrica si puedo determinar que los pares ordenados (a,b) y (b,a) R. Si l(a)=l(b) entonces a R b y el par ordenado (a,b) R. Si l(a)=l(b) entonces l(b)=l(a) y por consiguiente tambin el par ordenado (b,a) R Transitiva Suponer tres cadenas a, b y c entonces R es transitiva si conociendo que los pares ordenados (a,b), (b,c) R se puede demostrar que el par ordenado (a,c) R. Tenemos que l(a)=l(b) y l(b)=l(c), entonces se puede deducir directamente l(a)=l(c) por lo tanto a R c y el par ordenado (a,c) R.

Ejemplo 3: Suponer R una relacin en el conjunto de los nmeros enteros tal que a R b, si y solo si, a=b o a=-b. R es una relacin de equivalencia? R (a, b) a b, a b Reflexiva: Considerar una cadena a entonces R es reflexiva si puedo determinar que el par ordenado (a,a) R. Puesto que a=a entonces a R a y el par ordenado (a,a) R por lo tanto la relacin es reflexiva Simtrica: Considerar dos cadenas a y b, R es simtrica si puedo determinar que los pares ordenados (a,b) y (b,a) R. Si a=b o a=-b entonces a R b y el par ordenado (a,b) R. en el primer caso tenemos que si a=b entonces b=a y por consiguiente tambin el par ordenado (b,a) R. En el segundo caso tenemos que si a=-b entonces b=-a y por consiguiente tambin el par ordenado (b,a) R.

Transitiva: Suponer tres cadenas a, b y c entonces R es transitiva si conociendo que los pares ordenados (a,b), (b,c) R se puede demostrar que el par ordenado (a,c) R. Si tenemos a=b y b=c, entonces se puede deducir directamente a=c por lo tanto a R c y el par ordenado (a,c) R.

Ejemplo 4: Considere el conjunto A conformado por todos los estudiantes del ITM, podemos establecer una relacin R muy simple entre dos estudiantes a y b, a R b si a est matriculado en el mismo programa acadmico del estudiante b. En este caso no se esta hablando de un programa especifico Esta es una relacin de equivalencia pues cumple con las tres propiedades: Reflexiva, Simtrica y Transitiva. Reflexiva: Todo estudiante est relacionado a s mismo es decir a R b pues l puede estar matriculado en un solo programa acadmico (a,a) R.. Simtrica: Si dos estudiantes a y b estn relacionados (a,b) R., es decir a esta en el mismo programa que b, entonces tambin b R a, pues b tambin est en el mismo programa que a. Transitiva: considerar tres estudiantes a, b y c entonces si (a,b) R es decir, a esta en el mismo programa acadmico que b y adems (b,c) R, es decir, b esta en el mismo programa acadmico que c, ahora bien si tenemos que a R b y b R c entonces a R c o tambin (a,c) R es decir, a esta matriculado en el mismo programa que c. Como definir una clase de equivalencia? En este caso ya se debe especificar un programa, entonces si definimos que el estudiante a esta matriculado en el programa ingeniera de sistemas, entonces la clase de equivalencia sern todos aquellos estudiantes que puedan relacionarse con a, es decir todos los estudiantes de ingeniera de sistemas. [a]={conjunto de estudiantes que estn matriculados en ingeniera de sistemas} La clase de equivalencia de un estudiante b que tambin este matriculado en ingeniera de sistemas ser la misma, por lo que se escribe [a]=[b]. Si consideramos otros programas (todos los programas acadmicos en el ITM) entonces cada uno de esos programas podra considerarse una particin, por lo que si tomamos un estudiante de cada programa, dicho estudiante tendr como clase de equivalencia el conjunto de los estudiantes que estn relacionados a ese estudiante, es decir, estn en el mismo programa acadmico. En ese sentido tomando un estudiante por cada programa acadmico, definiendo sus respectivas clases de equivalencia, y uniendo esas clases de equivalencia tendramos como resultado el conjunto A que corresponde al total de estudiantes del ITM. (Ver figura), cada una de las clases de equivalencia puede generar una particin, dichas particiones son entre s disjuntas, es decir, no hay elementos comunes entre dos clases de equivalencia a menos que sean exactamente las mismas, cuando se unen dichas particiones, entonces se obtiene el conjunto A.