UNIVERSIDAD DE LOS ANDES TACHIRA

Dr. Pedro Rincn Gutirrez

DEPARTAMENTO DE CIENCIAS
AREA: ALGEBRA
CATEDRA: ALGEBRA I


MATERIAL EN REVISION



Material Instruccional para ser utilizado
exclusivamente por estudiantes cursantes de la
asignatura Algebra I de la Carrera de Educacin
mencin Matemtica de la Universidad de los
Andes Tchira.





RELACIONES







Prof. Alfonso Snchez







2
San Cristbal, Noviembre 2000

RELACIONES

PRIMERA EDICION



Alfonso Snchez

Departamento de Ciencias

Universidad de los Andes - Tchira





Revisin Tcnica

Miguel Angel Vera
Angela Mora
Doray Contreras

Universidad de los Andes Tchira





Publicaciones de la Universidad de los Andes - Tchira
Departamento de Reproduccin
San Cristbal - Edo. Tchira

3
2000


Relaciones
Definicin de Matriz
Notacin de Matrices
Igualdad de Matrices
Clasificacin de Matrices
Operaciones con Matrices
Determinantes
Propiedades
Regla de Sarrus
Regla de Cramer
Sistemas de Ecuaciones
Mtodo de Gauss.
Introduccin
Uno de los mtodos ms recientes, de gran
utilidad prctica en la matemtica aplicada
son los mtodos matriciales. En diversas
reas de la ciencia (Economa, Ingeniera,
Psicologa, Sociologa, administracin, etc.);
as como en ramas de la matemtica como
los conjuntos, la lgica proposicional y las
estructuras algebraicas, nos encontramos
con una serie de operaciones los cuales
requieren ser formuladas en trminos de
matrices mediante mtodos matemticos.
Independientemente de la disciplina donde
se utilicen, las matrices nos proporcionan
una serie de ventajas prcticas y de
representacin notacional para permitir
formular problemas y captar anlisis los
cuales quedaran fuera de nuestro alcance
debido a la complejidad natural de la
notacin algebraica convencional con la
cual son presentados.
La introduccin de las matrices al conocimiento matemtico es un mrito el cual
recae en la personalidad de tres (3) grandes pensadores: William R. Hamilton,
irlands (1805 1865), James J. Sylvester, ingls (1814 1897) quien inventa las
matrices, Arthur Cayley, ingls (1821 1895), quien utiliz el trmino matriz por
primera para designar un arreglo rectangular de nmeros y desarrollo el clculo
con matrices a partir de los cuales se pueden formar determinantes. Igualmente,
desarrollo la teora de matrices para expresar de modo conveniente los sistemas
de ecuaciones lineales.

En este material tambin haremos referencia a los determinantes de una matriz
cuadrada y algunas de sus propiedades, haciendo ms nfasis en sus
aplicaciones que en sus demostraciones. Por lo tanto el presente material
instruccional debe considerarse como un recurso de trabajo el cual debe
complementarse con la gua de ejercicios. Adicional a ello, debemos contar con la

4
perseverancia, responsabilidad, dedicacin y trabajo en equipo para alcanzar el
objetivo previsto: su aprendizaje y aplicabilidad en su entorno.

R e l a c i o n e s
1.1. Relaciones binarias
El concepto de relacin binaria se introduce en el presente material de
trabajo a nivel matemtico para conectarlo despus con el significado que tiene
en el lenguaje natural o cotidiano. Posteriormente revisaremos algunas de las
propiedades ms importantes en una relacin binaria y finalmente estudiaremos,
de cerca, algunas relaciones interesantes desde una perspectiva psicolgica y de
como pueden ser trabajadas en la Educacin matemtica. Nos referimos a las
relaciones de equivalencia, las de orden y otras afines.
Es usual que al conversar con otras personas usar frases que describen la
manera como un objeto o persona se relaciona con otro. Cada una de las
siguientes expresiones contiene una frase semejante:
Dayana es hermana de Wilmer
Antonio es hijo de Ricardo
Desire es ms alta que Luis
Javier corre ms rpido que Mara
Cada una de stas expresiones describe una relacin que se da entre las
personas antes mencionadas. (el conjunto universal para estas relaciones es el
conjunto de todas las personas). Como puede observarse cada una de estas
oraciones involucra una pareja de personas. Por ejemplo, en la primera oracin
(Dayana, Wilmer) es una pareja. El orden en que ambas personas se presenta es
de vital importancia, porque la frase " Wilmer es hermana de Dayana " no tendra
mucho sentido. Por tanto podemos afirmar que (Dayana, Wilmer) es un par
ordenado. Dayana es el primer miembro del par ordenado y Wilmer es el segundo

5
miembro. En conclusin: el par ordenado (Dayana, Wilmer) no es el mismo que el
par ordenado (Wilmer, Dayana). Se dice que el par ordenado (Dayana, Wilmer)
pertenece a la relacin: " es hermana de ".
Pueden haber otros pares que pertenecen a esa relacin. De hecho cualquier
par (x,y) tal que: " x es hermana de y " pertenece a esta relacin. Por otra parte,
el reemplazar x y y por nombres de personas para los cuales no es verdad que
x es hermana de y, da pares ordenados que no pertenecen a la relacin. Esta
consideracin se aplica a los otros tres ejemplos propuestos anteriormente. Es
decir, a las relaciones:
" es hijo de " " es ms alto que " " corre ms rpido que "
Tambin en el contexto del quehacer de la matemtica el concepto de
relacin tiene su aplicacin e importancia; ya que cualquier sistema matemtico
que deseamos construir, adems de los elementos que lo puedan constituir
(pueden ser objetos o nmeros), debe establecerse una relacin entre ellos para
poder elaborar dicho sistema o modelo matemtico. En aritmtica, trabajamos con
conjuntos numricos que llamamos naturales, enteros, racionales, reales,
complejos, etc. En lgebra reemplazamos el nmero por elementos ms
abstractos, pero que se pueden sumar, restar, multiplicar, etc. En geometra
consideramos el espacio y en l el punto, con sus definiciones de rectas, planos,
polgonos, etc. En lgica nos ocupamos de las diferentes clases de proposiciones
con sus conectivos.
Sin embargo, estos elementos no son suficientes por s mismo para construir
un sistema matemtico, es necesario establecer relaciones entre ellos.
En efecto, si tenemos dos nmeros como a y b, nada podemos decir acerca
de ellos hasta tanto no los comparemos, y entonces podemos decir: a es igual a
b ( ) b a ; a es diferente a b, ( ) b a ; a es mayor que b, ( ) b a > . En geometra
podemos comparar o relacionar dos rectas A y B , diciendo: A es paralela con

6
B ( ) B II A , A es perpendicular con B ( ) B A .
En teora de conjuntos decimos que a es un elemento de A, ( ) A a no
pertenece a A ( ) A a
En los ejemplos anteriores observamos que la relacin ocurre entre pares y
por eso se les llaman relaciones binarias. Pero tambin la relacin puede darse
entre tres o ms objetos, nmeros, conceptos o personas. Un ejemplo de una
relacin ternaria la podemos establecer entre los nmeros: -5, 4 y 8, as:
-5 < 4 < 8
y decimos que 4 est entre menos cinco y ocho.
Para precisar el significado de la palabra relacin, consideremos el siguiente
concepto:
1.1.1. Concepto de relacin binaria
Como punto de iniciacin consideremos el conjunto de las vocales:
{ } u , o , i , e , a = V
Entonces el producto cartesiano de V por V ser:
{ } u , o , i , e , a x { } u , o , i , e , a
V x V = ( ) { ( ) ( )( ) ( ) a a a e a i a o a u , , , , , , , , ,

( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )}
e a e e e i e o e u
i a i e i i i o i u
o a o e o i o o o u
u a u e u i u o u u
, , , , , , , , , ,
, , , , , , , , , ,
, , , , , , , , , ,
, , , , , , , , ,

Como este conjunto est formado por todos los diagramas voclicos;
entonces, cualquier subconjunto que formemos de V x V es una relacin binaria

7
en V. Es decir, que son algunas relaciones binarias en el conjunto V los siguientes
subconjuntos de V x V:
( ) { ( ) ( ) ( ) ( )}
P a a e e i i o o u u , , , , , , , , ,
( ) { ( ) ( ) ( )}
A a e e i i o o u , , , , , , ,
( ) { ( ) ( ) ( )}
S u o o i i e e a , , , , , , ,
( ) { ( ) ( ) ( ) ( )}
D i o a e u a i i o u , , , , , , , , ,
( ) { ( )}
W i o e a , , ,

( ) { }
N a o ,
Recordemos que dados dos conjuntos no vacos A y B podemos formar el
producto cartesiano ( ) { }
AxB a b a A y b B , : (conjunto de pares ordenados
donde la primera componente pertenece al primer conjunto y la segunda al
segundo conjunto). Tambin pude determinarse AxA (Es decir, en un slo
conjunto).
Definicin 1 Sea E un conjunto. Se llama relacin binaria en E a cualquier
subconjunto de E x E.
Como las relaciones binarias son a fin de cuentas conjuntos, entonces
podemos utilizar cualquiera de las notaciones que hemos empleado para expresar
a dichos conjuntos trabajados en los cursos anteriores.
1. El primero consiste en denotarlas tal como lo acabamos de hacer en el
ejemplo introductorio: indicando cules son los pares ordenados que conforman la
relacin.
2. El segundo es definirlas indicando la condicin que ha de cumplir un par
para pertenecer a ella. Siguiendo este camino, las relaciones P, A y S se podrn
definir as:
( ) { }
P x y x y , : e son las mismas vocales

8
( ) { } voclica lista la en a antecede : , y x y x A
( ) { } lica voc lista la en y a sigue : , x y x S

Sin embargo, no siempre es posible encontrar un enunciado de dicha regla
que la integre y a la vez permita expresarla en trminos de un conjunto dado por
comprensin (revisar la temtica de teora de conjuntos), tal como ocurre con la
relacin W y D, cuyos elementos se han seleccionados de manea aleatoria y no
ha sido posible encontrar una propiedad que los pueda individualizar como un
conjunto dado por comprensin.
3. El tercer procedimiento para definir una relacin est ms cerca de la
conceptualizacin corriente de las relaciones y se limita a enunciar la condicin de
pertenencia a la relacin. En el caso de las tres relaciones se definiran as:

( ) x y P x , y e son la misma vocal
( ) voclica lista la en y a antecede , x A y x
( ) voclica lista la en y a sigue , x S y x
4. El ltimo procedimiento, se parece mucho al anterior y es ms sencillo y
econmico en signos de puntuacin. Consiste en sustituir la expresin ( ) x y R ,
por otra, que es ms breve: xR y . Segn esto, las relaciones anteriores se
definiran as:
vocales mismas las son y e x y P x
voclica lista la en y a ntecede a x y A x
voclica lista la en y a igue s x y S x
Cuando se desea indicar que un par ordenado ( ) x y , est en una relacin R ,

9
debemos escribir:
( ) y R x R y x bien ,

Igualmente para indicar que un par ordenado no pertenece a la relacin, o
sea, que los dos elementos no estn relacionados, escribiremos:
( ) y x R y x R bien , //
El concepto corriente de relacin no coincide a primera vista con el concepto
matemtico que acabamos de trabajar. En el caso de la relacin A, la diferencia
es la que se percibe entre el concepto abstracto de (procedencia en la lista
voclica) y el conjunto de pares ordenados ( ) { ( ) ( ) ( )}
a e e i i o o u , , , , , , , . Enunciar en
abstracto una propiedad y dar la lista de entidades que tiene dicha propiedad son
dos formas diferentes de mencionar la misma realidad.
De todos modos, hay autores que prefieren reservar el trmino relacin para
el enunciado abstracto de la propiedad, y dan el nombre de grafo de la relacin
a la lista de los pares de elementos relacionados. Esta distincin deja el concepto
matemtico de relacin muy prximo al significado que tiene en el lenguaje
cotidiano o natural.
1.1.2. Representacin grfica de una relacin binaria
Una relacin binaria puede ser representada grficamente, lo cual resulta de
gran utilidad, pues nuestro sistema visual es un procesador de informacin mucho
ms potente que el procesador del lenguaje (al menos en algunos aspectos).
Como los ejemplos son bastantes elocuentes, nos limitaremos a indicar las tres
representaciones grficas ms usuales.
* Primera representacin grfica: (diagrama de Venn)

10
A B
{ }
{ } 3 , 2 , 1
c , b , a

B
A

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

* Segunda representacin grfica: (grfico cartesiano)
R
A B
1 R = AxB
( ) { ( ) ( ) ( ) ( )} 3,4 , 2,4 , 2,3 , 1,4 , 1,3 R


Tercera representacin grfica: (grfico de bucle)
Y

4 ............................................................ R = XxY
3 ............................................................ ( ) { ( ) ( ) ( ) ( )} 3,4 , 2,4 , 2,3 , 1,4 , 1,3 R
2 ............................................................
1 .............................................................
X
1 2 3
Ejemplo 1. El test sociomtrico es una tcnica muy utilizada por los docentes
y psiclogos escolares para conocer el grado de empata de las relaciones
a

b


c
1

2

3

1

2


3


3



4

11
sociales en grupos de estudiantes. Uno de sus procedimientos consiste en pedirle
a cada uno de los estudiantes que indique con cules compaeros les gustara
desarrollar ciertas actividades (estudiar, jugar, ir de excursin, etc.). De este modo
se define en el conjunto de alumnos A, la relacin Ras:
y al elige x alumno el xRy
Esta relacin constar de una serie de pares ordenados, R, cuyos
componentes indican quien elige a quin:
( ) { } y x A y x R a elige : ,
La representacin grfica de esta relacin recibe el nombre de sociograma.
Para ser ms concretos, consideremos un grupo de cinco estudiantes:
{ } A Francisco Luis Juan Santiago Pedro , , , ,
Al valorar el test sociomtrico, nos encontramos que:
Francisco elige a Luis y Santiago
Luis elige a Francisco
Juan elige a Luis y Pedro
Santiago elige a Francisco y Pedro
Pedro elige a Juan, Santiago y Francisco
La relacin R se representara as (utilizando slo las iniciales de los
nombres):
( ) { ( ) ( ) ( ) ( ) ( ), F S, , P J, , L J, , F L, , S F, , L F, R
( ) ( ) ( ) ( )} F P, , S P, , J P, , P S,
El sociograma (es decir, la representacin grfica de la relacin) es:



12




Toda relacin tiene asociado dos conjuntos, los cuales consideraremos a
continuacin mediante las siguientes definiciones:
Definicin 2. Dada la relacin AxB, el dominio de una relacin es el
conjunto de todos los primeros miembros de los pares ordenados que constituyen
dicha relacin.

'

,
_

AxB y x, : A x
D
R

Definicin 3. Dada la relacin AxB, la imagen de una relacin es el
conjunto de todos los segundos miembros de los pares ordenados que
constituyen dicha relacin.

'

,
_

AxB B y
I
R
y x, :
Observacin:
a) El conjunto de los pares ordenados AxA debe leerse A cruz A.
b) El dominio y la imagen pueden coincidir con el conjunto dado, pero no siempre
es as.
c) En toda relacin dada debe cumplirse que: R AxB . Si A B , entonces:
R AxA .
d) Si A tiene n elementos, ( A es un conjunto finito que contiene n elementos ).
Entonces, A AxA
2
tiene n
2
elementos, (es decir n.n elementos o pares
ordenados).
e) El producto cartesiano no es conmutativo. AxB BxA.
Ejemplo 2. En los conjuntos { } A Carmen Dario Juan Maria , , , y { } B 4,7,8,9 ,

13
al establecerse la vinculacin entre ambos mediante la propiedad "x obtuvo la
calificacin y ".tenemos la relacin:

( ) ( ) ( ) ( )} {
R C,4 , D,7 , J,8 , M,9 , donde:
{ }
R
D
C, D, J, M A

{ }
R
I
, , , B 4 78 9
1.2 Propiedades de una relacin binaria
A igual que un cuadro se caracteriza por la combinacin de colores que
presenta, una relacin binaria se caracteriza tambin por la combinacin de
propiedades que presenta.
Las propiedades que puede poseer una relacin son tan variadas como los
colores. Vamos a describir las ms comunes a las relaciones que aparecen con
mayor frecuencia y que son de mltiple aplicabilidad en nuestro quehacer
cotidiano.
1.2.1 Reflexividad
Definicin 4. Sea R una relacin en el conjunto E.
R x E xRx es reflexiva ,
R es reflexiva, cuando todos los pares de componentes iguales pertenecen a
la relacin. En otras palabras, cuando todos los elementos del conjunto estn
relacionados consigo mismos.
Observacin: Ntese que la reflexividad exige, como requisito imprescindible,
que la relacin contenga determinados pares ordenados, al menos tantos como
elementos tiene el conjunto. Es la nica propiedad con una exigencia de este tipo,
pues todas las dems propiedades que trabajaremos condicionan su existencia al
hecho de que la relacin ya contiene pares ordenados formando determinadas
combinaciones, pero sin exigir que la relacin contenga alguno en particular.

14
Ejemplo 3. Sea { } 3 2, 1, E , la relacin:
( ) ( ) { ( ) ( ) } 2,3 , 3,3 , 2,2 , 1,1 R , es reflexiva.
Sin embargo, la relacin:
( ) { ( ) ( ) } 3,2 , 2,2 , 1,1 A , no es reflexiva, falta el par
( ) 3,3 .
Ejemplo 4. En una relacin definida como: " x es hermano de y " ,no es
reflexiva, ya que nadie puede ser hermano de s mismo. Es decir, no se podr
establecer la relacin " x es hermano de x ", dicho de otra manera: x R x . Sin
embargo, la relacin: " x vota por y ", si es reflexiva, ya que x ( una persona)
puede votar por ella misma. Entonces se cumplira la relacin: " x vota por x ",
dicho de otra manera: x R x.
1.2.2 Irreflexividad
Definicin 5. Sea R una relacin en el conjunto E.
x R x E x i R , rreflexiva es /
Una relacin es irreflexiva cuando absolutamente ningn elemento del
conjunto est relacionado consigo mismo. Alguien podra pensar que una relacin
que no es reflexiva tiene que ser necesariamente irreflexiva, pero no es as.
Una relacin tal que haya algn elemento relacionado consigo mismo y algn
otro que no lo est no ser ni reflexiva ni irreflexiva.
Ejemplo 5. Dado el conjunto { } M x y , z , , la relacin:
( ) { ( ) ( )}
R x y y z z x , , , , , , es irreflexiva.
Sin embargo, la relacin:
( ) { ( ) ( ) ( )}
W x x x y y z z x , , , , , , , , no es irreflexiva, ya que x R x, y

15
tampoco es reflexiva, ya que faltan los pares ( ) ( ) y y , y z, z .
Ejemplo 6. En el conjunto de los seres humanos, la relacin < estar casado
con > es una relacin irreflexiva, ya que no es posible estar casado consigo
mismo.

1.2.3 Simetra
Definicin 6. Sea R una relacin binaria en el conjunto E.
E y , x ); ( simtrica es x R y y R x R
Una relacin ser simtrica, cuando un elemento del conjunto est
relacionado con otro, entonces, este ltimo obligatoriamente, debe estar
relacionado con el elemento en mencin. En otras palabras; para todo elemento
de la relacin debe existir tambin su relacin recproca.
Ejemplo 7. En el conjunto { } E a b c , , , la relacin:
( ) { ( ) ( ) } , , , , , a b b a a a R , es simtrica.
Pero no lo es la relacin:
( ) { ( )} c b a a G , , , , ya que b G c c G b pero ,
Ejemplo 8. Sea { } 4 , 3 , 2 , 1 A y { } 8 , 7 , 6 , 5 B , entre ambos conjuntos se
establece la relacin dada por:
xRy x y x A y B divide a , , , entonces:
( ) { ( ) ( ) ( ) ( ) ( ) ( ) ( ) } 8 , 4 , 6 , 3 , 8 , 2 , 6 , 2 , 8 , 1 , 7 , 1 , 6 , 1 , 5 , 1 R , no es
una relacin simtrica, por cuanto, ( ) R 5 , 1 , sin embargo al permutar sus
componentes, es decir, ( ) R 1 , 5 . Igualmente se puede verificar tal situacin para

16
el resto de los elementos de la relacin R .
Ejemplo 9. En el conjunto formado por los seres humanos, la relacin " amar
a " no es simtrica: La historia y la poesa universal tienen mltiples situaciones
que as lo demuestran. Pero la relacin " tener el mismo cociente intelectual " es
simtrica, ya que si alguien tiene el mismo cociente intelectual que otro,
necesariamente al revs tambin ocurre.
1.2.4 Asimetra
Definicin 7. Sea R una relacin binaria en el conjunto E.
x R y y R x R asimetrica es
Se llaman asimtricas las relaciones que, por naturaleza, son
unidireccionales, es decir, un elemento que est en la relacin, al permutar sus
componentes, este nuevo elemento no puede estar en dicha relacin.
Es necesario sealar que bien puede darse el caso en el cual una relacin no
sea simtrica ni asimtrica.
Ejemplo 10. En el conjunto { } E a b c , , , la relacin
( ) ( ) { ( )}
R a b a c c b , , , , , , es asimtrica.
Sin embargo, la relacin:
( ) { ( ) ( ) ( )}
S a b a c c b b a , , , , , , , , no es asimtrica
Ya que b S a y tambin a S b .
La relacin ( ) { }
T b b , , tampoco es asimtrica porque al ocurrir que b T b ,
debera ocurrir tambin que b T b /
Ejemplo 11. En el conjunto de los seres humanos la relacin " ser padre "

17
(en sentido biolgico), es una relacin asimtrica, pues nunca podr ocurrir
simultneamente que un hombre haya engendrado a otro, y viceversa.
Ejemplo 12. La relacin " mayor que " definida en el conjunto de los nmeros
reales es asimtrica, ya que, dados los nmeros m y n, si m > n, entonces,
necesariamente, n > m.

1.2.5 Antisimetra
Definicin 8. Sea R una relacin binaria en el conjunto E.
( ). = ica antisimtr es z x z R y y R x R
Cuando una relacin es antisimtrica, la relacin recproca slo puede ocurrir
entre un elemento del conjunto y s mismo. Ntese adems que, toda relacin
asimtrica es tambin antisimtrica
Ejemplo 13. En el conjunto { } E a b c , , , la relacin

( ) ( ) { ( ) ( )}
R a,a , a,b , a,c , c,b , es antisimtrica.
Sin embargo la relacin:

( ) ( ) ( ) ( ) ( )} {
T a a a b a c c b b c , , , , , , , , , , no es antisimtrica,
porque cTb y bTc, pero c b
Ntese que esta relacin tampoco es asimtrica ( porque aTa ) ni simtrica
(ya que aTc ) y, sin embargo, a T c / .
Ejemplo 14. Considrese el conjunto de las notas musicales y piense en la
relacin " es tan alta o ms que ". Si ahora le dicen que el tono t
1
es tan agudo o
ms que el tono t
2,
y a continuacin le aaden que el t
2
es tan agudo o ms que el
tono t
1
, no se necesita ser Beethoven para caer en cuenta que t
1
y t
2
son en

18
realidad el mismo tono. En consecuencia, la relacin considerada es antisimtrica.
Ejemplo 15. La relacin menor o igual ( ), definida en el conjunto de los
nmeros reales, es un ejemplo clsico de relacin antisimtrica. En efecto, si para
dos nmeros a y b ocurre que a b, y adems, que b a, entonces
necesariamente a = b

1.2.6 Transitividad
Definicin 9. Sea R una relacin binaria en el conjunto E.
( ) E z y, x, ; a transitiv es z R x z R y y R x R
En el concepto de transitividad intervienen tres elementos del conjunto. La
definicin dice que para ser una relacin transitiva se requiere lo siguiente:
cuando ocurra que un elemento est relacionado con otro y ste, a su vez, con un
tercero, entonces debe ocurrir que el primero est relacionado con el tercero. Los
tres elementos mencionados pueden no ser distintos entre s.
Ejemplo 16. En el conjunto { } E a b c , , , la relacin
( ) ( ) { ( ) ( ) } c a, , c b, , b a, , a a, R , es transitiva.
Sin embargo, la relacin:
( ) ( )} {
S a b b c , , , , no lo es, ya que b S a y , c S b pero c S a / .
Tampoco lo es sta otra relacin:

( ) ( )} {
T a,b , b,a , porque . pero , y a T a a T b b T a /
Ejemplo 17. En el conjunto de las enfermedades psiquitricas que pueden
prsentarse en determinas personas, la relacin " es ms grave que " es un

19
ejemplo de relacin transitiva, pues si la enfermedad A es ms grave que la
enfermedad B y a su vez sta es ms grave que la enfermedad C, entonces es
indiscutible que la enfermedad A es ms grave que la C. Pero la relacin "es
hermano de " no tiene la propiedad transitiva, ya que " si Luis es hermano de Jos
y Jos es hermano de Luis, entonces Luis es hermano de Luis ". Lo cual no es
cierto.

Ejemplo 18. " Los amigos de mis amigos son mis amigos " es un dicho que
aparece a veces en muchas conversaciones. Su contexto implcito es un grupo en
el que se considera la relacin " ser amigo de ". Si todos los miembros del grupo
hacen suya esa frase, entonces sta viene a ser el enunciado de una propiedad
de dicha relacin: " si x es amigo de y e y es amigo de z, entonces x tambin es
amigo de z ". Cabe pues una versin ms breve: " la amistad en ese grupo es
transitiva ".
1.2.7 Intransitividad
Definicin 10. Sea R una relacin binaria en el conjunto E.
( ) z R x z R y y R x R va intransiti es
Segn la definicin, una relacin es intransitiva cuando el hecho de estar un
elemento del conjunto relacionado con otro y ste a su vez con un tercero, impide
que el primero pueda estar relacionado con el tercero.
Ejemplo 19. En el conjunto
{ } E a b c , , , la relacin

( ) ( ) ( )} {
R a b b c c a , , , , , , es intransitiva.
Pero esta otra:

( ) ( ) ( )} {
T a b b c a c , , , , , no lo es.
Para serlo, al ocurrir que c T b b T a y tendra que verificarse que . c T a /

20
Tampoco lo es sta otra:
( ) { } b b L , , ya que al ocurrir que L y b b b L b tendra que
ocurrir tambin que , b L b cosa que no sucede (ni puede suceder).
Ejemplo 20. Entre los miembros de cualquier especie animal, la relacin
" ser hijo de " es intransitiva, pues si uno cualquiera es hijo de otro y ste es hijo
de un tercero, es imposible que el primero sea hijo del tercero; ser en todo caso
su nieto.