UNIVERSIDAD NACIONAL DE EDUCACIÓN

Enrique Guzmán y Valle

ALMA MATER DEL MAGISTERIO NACIONAL

Nivelación N1

Algebra I

Tema:

“Relación de Equivalencia y de Orden

Apellidos y Nombres : PAUCAR GARCIA, William

Especialidad : Matemática e Informática

Código : 20141217

Lima - Perú

2019
 ELACIONES DE UN CONJUNTO
Sea 𝑅 una relación entre 𝐴 y 𝐵, donde 𝐵 = 𝐴. En este caso la relación definida en 𝐴. y se
identifica con un subconjunto de 𝐴2 = 𝐴 × 𝐴.
Definición
𝑅 es una relación definida en 𝐴, si y solo si 𝑅 ⊂ 𝐴2 .
Como todo sub conjunto de 𝐴2 es un elemento de las partes de 𝐴2, podemos decir:
𝑅 es una relación definida en 𝐴 si y solo si 𝑅 ∈ 𝑃 (𝐴2 )
Es claro que el conjunto vacío y el mismo 𝐴2 son relaciones definidas en todo conjunto
𝐴, ya que son subconjunto de 𝐴2.
Si 𝐴 tiene 𝑛 elementos, entonces 𝐴2 tiene 𝑛2 elementos, y el conjunto de partes de 𝐴2
2 2
tiene 2(𝑛 ) elementos, es decir, existen 2(𝑛 ) subconjunto de 𝐴2, o lo que es lo mismo,
relaciones en 𝐴.
Ejemplo 1:
Se trata de forma todas las relaciones que es posible definir en el conjunto.
𝐴 = {𝑎1 , 𝑎2 }

𝑎2

𝑎1

𝑎1 𝑎2

Determinamos primero el producto cartesiano

𝐴2 = {(𝑎1 , 𝑎1 ), (𝑎1 , 𝑎2 ), (𝑎2 , 𝑎1 ), (𝑎2 , 𝑎2 )}

Como 𝐴2 tiene cuatro elementos, existen 24 relación en A, y son las siguientes:

𝑅1 = ∅

𝑅2 = {(𝑎1 , 𝑎1 )}
𝑅3 = {(𝑎1 , 𝑎2 )}

𝑅4 = {(𝑎2 , 𝑎1 )}
𝑅5 = {(𝑎2 , 𝑎2 )}
𝑅6 = {(𝑎1 , 𝑎1 ), (𝑎1 , 𝑎2 )}
 𝑅7 = {(𝑎1 , 𝑎1 ), (𝑎2 , 𝑎1 )}

𝑅8 = {(𝑎1 , 𝑎1 ), (𝑎2 , 𝑎2 )}
𝑅9 = {(𝑎1 , 𝑎2 ), (𝑎2 , 𝑎1 )}

𝑅10 = {(𝑎1 , 𝑎2 ), (𝑎2 , 𝑎2 )}

𝑅11 = {(𝑎2 , 𝑎2 ), (𝑎2 , 𝑎2 )}

𝑅12 = {(𝑎1 , 𝑎1 ), (𝑎1 , 𝑎2 ), (𝑎2 , 𝑎1 )}

𝑅13 = {(𝑎1 , 𝑎1 ), (𝑎1 , 𝑎2 ), (𝑎2 , 𝑎2 )}

𝑅14 = {(𝑎1 , 𝑎1 ), (𝑎2 , 𝑎1 ), (𝑎2 , 𝑎2 )}

𝑅15 = {(𝑎1 , 𝑎2 ), (𝑎2 , 𝑎1 ), (𝑎2 , 𝑎2 )}

𝑅16 = 𝐴2

Ejemplo 2:

Gráfico cartesiano de la relación definida en 𝑅, mediante

(𝑥, 𝑦) ∈ 𝑅𝑥 2 = 𝑦 2 (1)

La relación es un subconjunto de R2 , y pertenecen a ella los pares ordenados de números reales

que satisfacen a (1). Ahora bien

𝑥 2 = 𝑦 2 ⇔ 𝑥 2 − 𝑦 2 = 0 ⇔ (𝑥 + 𝑦). (𝑥 − 𝑦) = 0

Sabemos que en R, si el producto de dos factores es cero, alguno de los factores es nulo, es decir

𝑥 + 𝑦 = 0 ∨ 𝑥 − 𝑦 = 0 ⟺ 𝑦 = 0 ⇔ 𝑦 = −𝑥 ∨ 𝑦 = 𝑥
Cada una de estas ecuaciones es la representación analítica de una recta del plano; en este caso,
se trata del para de bisectrices del sistema de ejes.

Si 𝐴 = {(𝑥, 𝑦)/𝑦 = −𝑥} y B = {(𝑥, 𝑦)/𝑦 = 𝑥} y

𝑦
A B

Entonces la relación

𝑅 = {(𝑥, 𝑦)/𝑥 2 = 𝑦 2 } = 𝐴 ∪ 𝐵, es decir en la unión de ambas bisectrices.

 PROPIEDADES DE LAS RELACIONES DEFENIDAS DE UN CONUNTO

Sea 𝑅 una relacion defenida en 𝐴, es decir, 𝑅 ⊂ 𝐴2 . Dicha relación puede clasificarse de acuerdo
con las siguientes propiedades:
a) Reflexiva

𝑅 es reflexiva ⇔ ∀𝑥 ∶ 𝑥 ∈ 𝐴 ⇒ (𝑥, 𝑥) ∈ 𝑅
La reflexividad de 𝑅 se caracteriza porque todo elemento de A forma pareja consigo mismo, y el
par asi obtenido pertenece a la relación.

Llamamos diagonal de 𝐴2 al conjunto 𝐷 = {(𝑥, 𝑦)/𝑥 ∈ 𝐴} es decir, la diagonal de 𝐴2 es el

conjunto de lo pares de componentes iguales. La reflexividad de traduce en el hecho siguiente.
La diagonal de 𝐴2 está contenida en la relación, es decir

𝑅 es reflexiva ⇔ 𝐷 ⊂ 𝑅
b) No Reflexiva
Consiste en la negación de (a).

𝑅 es no reflexiva⇔ ∃ 𝑥/𝑥 ∈ 𝐴 ∧ (𝑥, 𝑥) ∉ 𝑅

La no reflexiva de 𝑅 queda especificada por la existencia de la menos un elemento de 𝐴 está

relacionado consigo mismo.

En un diagrama cartesiano ocurre que la diagonal de 𝐴2 no está contenida en la relación, o sea:

𝑅 es reflexiva⟺ 𝑅 ∩ 𝐷 ≠ 𝐷
c) Arreflexividad

𝑅 es reflexiva⇔ ∀𝑥 ∶ 𝑥 ∈ 𝐴 ⇒ (𝑥, 𝑥) ∉ 𝑅

Es decir, ningún elemento de 𝐴 esta relacionado consigo mismo, o lo que es igual, ningún
elemento de la diagonal de 𝐴2 pertenece a la relación o equivalente

𝑅 es reflexiva⟺ 𝑅 ∩ 𝐷 = ∅

Es claro que toda relación irreflexiva es no reflexiva.

Ejemplo 3:
En 𝐴 = {1,2,3} consideramos las siguientes relaciones:
i) 𝑅 = {(1,1), (2,2), (3,3), (2,3)}
De acuerdo con la definición dada en (a), resulta 𝑅 una relación reflexiva
𝐴2
𝑅

1 2 3
ii) En cambio S = {(1,1), (2,3), (3,2)} es no reflexiva, pues
2 ∈ A ∧ (2,2) ∉ R

𝐴2
3

2
𝑆
1

1 2 3

iii) T = {(1,2), (2,1), (3,1)}

Es arreflexia, ya que ningún elemento de A forma pareja consigo mismo e la
relación.
𝐴2

𝑇
1

1 2 3
d) Simetría
𝑅 es simétrica ⇔ ∀𝑥 ∀𝑦 ∈ 𝐴: (𝑥, 𝑦) ∈ 𝑅 ⇒ (𝑦, 𝑥) ∈ 𝑅
Es decir, si un par pertenece a la relación, el par que resulta de permutar sus componentes
también pertenece, y en consecuencia el diagrama cartesiano es simétrico respecto de la
diagonal de 𝐴2 .

e) No Simetría
Es la negación de la simetría.
𝑅 es no simétrica ⟺ ∃𝑥 ∃𝑦 /(𝑥, 𝑦) ∈ 𝑅 ∧ (𝑦, 𝑥) ∉ 𝑅
La no simetría no impide que dos partes de componentes permutadas pertenezcan a la
relación, pero existe que haya al menos un par en la relación, y que el que resulta de
permutar sus componentes no pertenezcan a ella.

f) Asimetría
𝑅 no simétrica ⟺ ∀𝑥 ∀𝑦: (𝑥, 𝑦) ∈ 𝑅 ⇒ (𝑦, 𝑥) ∉ 𝑅
En este caso debe ocurrir que, si un par pertenece a la relación, entonces el que se deduce
por permutación no pertenece.
 Ejemplo 4:

En A = {1,2,3} clasificamos desde este grupo de vista las relaciones:

i) 𝑆 = {(1,1), (2,3), (3,2)}
es simétrica.
ii) T = {(1,2), (2,1), (3,1)}
Es no simétrica, ya que
(3,1) ∈ 𝑇 ∧ (1,3) ∉ 𝑇
iii) U = {(1,2), (1,3), (2,3)}
Es una relación asimétrica en A.

g) Transitividad
𝑅 es transitiva ⟺ ∀𝑥 ∀𝑦 ∀𝑧: (𝑥, 𝑦) ∈ 𝑅 ∧ (𝑥, 𝑧) ∈ 𝑅 ⟹ (𝑥, 𝑧) ∈ 𝑅
Es decir, si un elemento este relacionado con otro (no necesariamente distinto), y este esta
relacionado con un tercero, entonces el primero esta relacionado con el tercero.
h) No transitividad
Por ser la negación de la transitividad, decimos

𝑅 es no transitiva ⟺ ∃𝑥 ∃𝑦 ∃𝑧/(𝑥, 𝑦) ∈ 𝑅 ∧ (𝑦, 𝑧) ∈ 𝑅 ⟹ (𝑥, 𝑧) ∉ 𝑅

i) Atransitividad

𝑅 es atransitiva ⟺ ∀𝑥 ∀𝑦 ∀𝑧: (𝑥, 𝑦) ∈ 𝑅 ∧ (y, 𝑧) ∈ 𝑅 ⟹ (𝑥, 𝑧) ∉ 𝑅

Ejemplo 5:

Considerando el mismo conjunto A de los ejemplos 3-5 y 3-6 se tiene:

i. 𝑅 y 𝑈 son transitivas.
ii. V = {(1 , 2), (2 , 3), (1 , 3), (3 , 1)} es no transitiva, ya que
(1 , 3) ∈ 𝑉 ∧ (3 , 1) ∈ 𝑉 ∧ (1 , 1) ∉ 𝑉
iii. W = {(1 , 2), (2 , 3)} es atrensitiva, ya que
(1 , 2) ∈ 𝑊 ∧ (2 , 3) ∈ 𝑊 ∧ (1 , 3) ∉ 𝑊
j) Antisimetria

𝑅 es antisimetiva ⟺ ∀𝑥 ∀𝑦: (𝑥, 𝑦) ∈ 𝑅 ∧ (𝑦, 𝑥) ∈ 𝑅 ⇒ 𝑥 = 𝑦

En este caso, si dos pares de componentes permutadas pertenecen a la relación, entonces dichas
componentes se identifican.

De este modo, a relación R del ejemplo (3) es antisimétrica, pero no lo es S puesto que es F la
proposición
(2 , 3) ∧ (3 , 2) ∈ S ⇒ 2 = 3
 RELACION DE EQUIVALENCIA
Las relaciones binarias definidas en un conjunto, que verifica las propiedades reflexiva,
simétrica y transitiva, se llama equivalencia y desempeñan un papel importante en algebra.
Concepto.
Definición:

La relación R ⊂ A2 es de equivalencia en A si y solo si es reflexiva, simétrica y

transitiva.

Por razones de simplificación se utiliza el símbolo ∼ y los elementos de todo par perteneciente a
relación se llama equivalentes.

La notación 𝒶~b se lee “𝒶 es equivalente a b”, y significa que el par (𝒶. b) pertenece a la
relación. En este sentido, las relaciones de equivalencia satisfacen:
i) REFLEXIVIDAD. Todo elemento es equivalente a sí mismo.
∀𝑥: 𝑥 ∈ 𝐴 ⇒ 𝑥~𝑥
ii) SIMETRIA. Si un elemento es equivalente a otro, entonces este es equivalente al
primero.
∀𝑥 ∀𝑦 ∶ 𝑥~𝑥 ⇒ 𝑦~𝑥

iii) TRANSITIVIDAD. Si un elemento es equivalente a otro, y este es equivalente a

un tercero, entonces el primero es equivalente al tercero.
∀𝑥 ∀𝑦 ∀𝑧 ∶ 𝑥~𝑦 ∧ 𝑦~𝑧 ⇒ 𝑥~𝑧
Ejemplo 6:

En A = {1, 2, 3}, la relación

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

Es de equivalencia. Clasificamos las siguientes proposiciones:

1 ~ 1 V 1 ~2 V 3 ~ 1 F
2 ~ 2 V 2 ~ 1 V 2 ~3 F
3 ~3 V 1 ~3 F 3~2 F
En virtud de las tres primeras queda asegurada la reflexividad. En cuanto a la simetría es
suficiente ver que
1~2 ⇒ 2~ 1 es V
Más aún. si el antecedente es falso la implicación es verdadera
1~3 ⇒ 3~1
Para la transitividad, descartando los casos de antecedente falso, es suficiente verificar:
1 ~1 ∧ 1 ~ 2 ⇒ 1 ~ 2 V
1 ~ 2 ∧ 2~1 ⇒ 1 ~ 1 V
2 ~ 1 ∧ 1 ~2 ⇒ 2 ~2 V
 1~1 ∧ 1~1 ⇒ 1 ~ 1 V
El diagrama de Venn es
A

3 2

donde cada arco orientado está asociado a un par perteneciente a la relación. En forma
cartesiana:

𝐴2
3

2
~

1 2 3

Clases de equivalencia y conjunto cociente

Sea ~ una relación de equivalencia en A ≠ ∅. Un problema de interés es la determinación
de todos los elementos de A que son equivalentes a uno dado, es decir, que forman pareja
con él. La respuesta conduce en cada caso a un subconjunto de A, llamado clase de
equivalencia del elemento.
Definición
Clase de equivalencia del elemento 𝑎 ∈ 𝐴 es el conjunto de todos los elementos de A
equivalentes a 𝑎.
𝐾𝑎 = {x ∈ A/x~𝑎}
Con relación al ejemplo (6):
𝐾1 = {1 , 2} = 𝐾2
Es decir, hay dos clases de equivalencia, que son subconjuntos de A.

A
1

K1
2
3

K3

Podemos avanzar un poco más y preguntamos por el conjunto cuyos elementos son las
clases de equivalencia: K1 𝑦 K 3 .
Para denotarlo, podemos elegir un único elemento en cada clase de equivalencia, digamos
1 y 3, con lo que queda caracterizado un conjunto de índices 1 = {1 , 3}, de modo tal que
a cada elemento de éste le está asociada una clase de equivalencia. El conjunto formado
por las clases de equivalencia se llama conjunto cociente de A por la relación de
equivalencia, y la notación es
A
= {𝐾1 , 𝐾3 }
~
o bien, mediarte el conjunto de índices
A
= {𝐾𝑢 /𝑢 ∈ I}
~
Las clases de equivalencia constituyen una partición de A, en el sentido siguiente: son no
vacías, disjuntas de a pares, y su unión es 𝐴. Este concepto será precisado en los párrafos
siguientes, y es un hecho común a toda relación de equivalencia definida en un conjunto
ro vacío.
 PARTICION DE UN CONJUNTO

a) Partición de un conjunto no vacío

Sean dos conjuntos A ≠ ∅ 𝑒 Ι tales que, cualquiera que sea el elemento 𝑢 ϵ I, existe un
subconjunto K u ⊂ A.
Definición
£1 conjunto {K u / 𝑢 ∈ I} es una partición de A si y sólo si
i) ∀𝑢 ∶ 𝑢 ∈ 𝐼 ⇒ 𝐾𝑢 ≠ ∅
ii) 𝑢 ≠ 𝑣 ⇒ 𝐾𝑢 ∩ 𝐾𝑣 = ∅
iii) ∀𝒶 ∈ 𝐴, ∃𝑢 ∈ 𝐼 /𝒶 ∈ 𝐾𝑢
Los elementos 𝐾𝑢 de la partición son subconjuntos no vacíos de 𝐴, y están asociados al
conjunto de índices I; además, elementos distintos del conjunto de índices determinan
subconjuntos disjuntos de A; finalmente, la condición iii) significa que la unión de los
subconjuntos de A que son elementos de la participación, es A.
Ejemplo 7):
i) Sea r una recta contenida en el plano 𝛼. El plano queda particionado en tres
subconjuntos K1 , K 2 , K 3 , siendo I = ( 1 , 2 , 3 } un conjunto de índices.

I
𝛼

1
K1
2
K3
3

K2

ii) Las relaciones de equivalencia conducen a las particiones indicadas en éstos.

iii) Investigamos la partición asociada a la relación de equivalencia del ejemplo

En este caso, la relación está definida en R mediante
𝒶~𝑏 ⇔ 𝒶 − 𝑏 ∈ 𝑍
Sea 𝑎 ∈ 𝑅; entonces, por definición de clase de equivalencia
𝐾𝒶 = {𝑥 ∈ 𝑅/𝑥~𝒶}
Ahora bien
𝑥~𝒶 ⇒ 𝑥 − 𝒶 ∈ 𝑍 ⇒ 𝑥 − 𝒶 = 𝑘 con 𝑘 ∈ 𝑍
Entonces a 𝐾𝒶 pertenecen todos los reales del tipo
𝑥 = 𝒶 + 𝑘 siendo 𝑘 ∈ 𝑍
Es decir, todos los elementos equivalentes a 𝒶, se obtienen sumando a 𝒶 todos los enteros.
En consecuencia, si elegimos como conjunto de índices al intervalo semiabierto 𝐼 =
[ 0 , 1 ) , la partición R es
R
= {K u /𝑢 ∈ [0,1)}
~
K0 = Z

R
𝟏
𝟐
-2 -1 0 1 2 3

I = [ 0 ,1 )
K1
2

b) Teorema fundamentos de las relaciones de equivalencia definidas en un

conjunto no vacío
Vamos a demostrarlo que ya hemos verificado a través de ejemplos anteriores, a saber,
que toda relación de equivalencia definida en un conjunto no vacío determina una
partición de éste en clases de equivalencia.
TEOREMA
Si ~ es una relación de equivalencia definida en el conjunto A ≠ ∅, entonces existe un
subconjunto I ⊂ A, tal que cualquiera que sea 𝑢 en I, existe 𝐾𝑢 ⊂ A C A, de modo que se
verifican las siguientes proposiciones:
i) 𝑢 ∈ 𝐼 ⇒ 𝐾𝑢 ≠ ∅
ii) 𝒶~𝒶 ⇔ 𝒶 y 𝒶´pertenecen al mismo K u
iii) 𝐾𝑢 ∩ 𝐾𝑣 ≠ ∅ ⇒ 𝐾𝑢 = 𝐾𝑣
iv) 𝑢 ≠ 𝑣 ⇒ 𝐾𝑢 ∩ 𝐾𝑣 = ∅
v) ∀𝒶 ∈ 𝐴, ∃𝑢 ∈ 𝐼/𝒶 ∈ 𝐾𝑢

c) Partición y relación de equivalencia

Sea {𝐾𝑢 /𝑢 ∈ 𝐼 } una partición de A. Entonces queda inducida en A una relación de
equivalencia.
Para demostrar esta propiedad definimos primero una relación en el conjunto no vacío 𝐴.
mediante
"dos elementos de A están relacionados, si y sólo si pertenecen al mismo subconjunto de
la partición".
En símbolos
(𝑎, 𝑏) ∈ 𝑅 ⇔ 𝑎 𝑦 𝑏 pertenecen al mismo 𝐾𝑢
Vamos a probar que es de equivalencia.
 i) Reflexividad.
Por definición de partición
𝑎 ∈ 𝐴 ⇒ ∃ 𝑢 ∈ I/ 𝑎 ∈ 𝐾𝑢 ⇒ 𝑎 𝑦 𝑎 pertenecen a 𝐾𝑢
Entonces, p o r (l) (𝑎, 𝑎) ∈ 𝑅
ii) Simetría. Sean 𝒂 y 𝒃 en A, tales que
(𝑎 , 𝑏) ∈ 𝑅 ⇒ 𝑎 y b pertenecen al misino 𝐾𝑢
⇒ 𝑏 y 𝑎 pertenecen al mismo 𝐾𝑢 ⇒ (𝑏, 𝑎) ∈ R
iii) Transitividad. Sean 𝒂 , 𝒃 y 𝒄 en 𝑨, tales que
(𝒶, 𝑏) ∈ 𝑅 ∧ (𝑏, 𝑐) ∈ 𝑅 ⇒ 𝑎 , 𝑏 𝑦 𝑐 pertenecen al mismo 𝐾𝑢 ⇒ 𝒶 𝑦 𝑐 pertenecen al
mismo 𝐾𝑢 ⇒ (𝒶, 𝑏) ∈ 𝑅
Ejemplo 8):
Se considera en 𝐴 = { 1 , 2 ,3} la siguiente partición:
{{1,3}, {2}}

La relación de equivalencia correspondiente es, entonces

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

1
2
3

De acuerdo con (b) y (c), los conceptos de partición y de relación de equivalencia son
identificables. Es claro que en un conjunto no vacío es posible definir tantas relaciones
de equivalencia como particiones.
A continuación, proponemos todas las relaciones de equivalencia definibles en el
conjunto A.
a)
R1 = {(1,1), (2,2), (3,3)} es la igualdad en A, es decir
(𝑥, 𝑦) ∈ 𝑅1 ⇔ 𝑥 = 𝑦
 A
1

b)
𝑅2 = { ( 1, 1 ) , ( 2 , 2 ) , ( 1 , 2 ) , ( 2 , 1 ) , ( 3 , 3 )}
En este caso
(𝑥, 𝑦) ∈ 𝑅2 ⇔ 𝑥 = 𝑦 ∨ 𝑥 + 𝑦 = 3

1 A

c)
R = { ( 1 , 1 ) , ( 3 , 3 ) , ( 1 , 3 ) , ( 3 , 1 ) , ( 2 , 2 )}
O sea
(𝑥, 𝑦) ∈ 𝑅3 ⇔ 𝑥 = 𝑦 ∨ 𝑥 + 𝑦 = 4

A
1
3

d)
R = {(1,1) , (2 , 2) , (3 , 3) , (2 , 3), (3 , 2)}
Siendo
(𝑥, 𝑦) ∈ 𝑅4 ⇔ 𝑥 = 𝑦 ∨ 𝑥 + 𝑦 = 5
A
1

2
3
e)
R 5 = {(1,1) , (2,2) , (3,3) , (1 , 2) , (2,1), (1,3), (3, 1) , (2,3) , (3,2) } = 𝐴2
Es decir
(𝑥, 𝑦) ∈ 𝑅5 ⇔ (𝑥, 𝑦) ∈ 𝐴2

1 A

2
3

Aquí la partición consiste en un único subconjunto: el mismo 𝐴.

RELACIÓN DE ORDEN

Es usual en matemática y en la vida cotidiana ordenar los elementos de un conjunto de

acuerdo con algún criterio conveniente. El orden queda especificado a través del término
"preceder", y decir
"𝑥 precede a 𝑦" significa (𝑥, 𝑦) ∈ 𝑅
Lo esencial de toda relación de orden es la transitividad, y según se cumplan o no otras
propiedades se habla de orden amplio o estricto, y en cada caso, de orden parcial o total.
a) Orden amplio
Sea R ⊂ A2 .
Definición
𝑅 es una relación de orden amplio en A si y sólo si es reflexiva, antisimétrica y transitiva.
Obviando los cuantificadores universales tenemos:
i) Reflexividad.
𝑎 ∈ 𝐴 ⇒ (𝑎, 𝑎) ∈ 𝑅
ii) Antisimetría.
(𝑎 , 𝑏) ∈ 𝑅 ∧ (𝑏 , 𝑎) ∈ 𝑅 ⇒ 𝑎 = b
iii) Transitividad.
(𝑎 , 𝑏) ∈ 𝑅 ∧ (𝑏, 𝑐) ∈ 𝑅 ⇒ (𝑎, 𝑐) ∈ 𝑅
b) Orden parcial y total
Sea 𝑅 una relación de orden en A.
 i) R es de orden parcial si v sólo si existen pares de elementos incomparables, es
decir
∃𝒶, ∃b/(𝒶, b) ∉ R ∧ (b, 𝒶) ∉ R
ii) El orden es total en caso contrario, es decir
𝑎 ≠ 𝑏 ⇒ (𝑎, 𝑏) ∈ 𝑅 ∨ (𝑏 , 𝑎) ∈ 𝑅
Ejemplo 9):
i) En N la relación de divisor es de orden amplio y parcial.
Por definición
𝑎|𝑏 ⇔ ∃𝑚 ∈ 𝑁|𝒶 = 𝑛. 𝑚
a) Reflexividad.
𝑎 𝑒 N ⇒ 𝑎 = 𝑎. 1 ⇒ 𝑎|𝑎
b) Antisimetría.
Sean 𝑎|𝑏 ∧ 𝑏 | 𝑎 ⇒ 𝑛𝑦 𝑚 en 𝑁/𝑏 = 𝑎. 𝑛 ∧ 𝑎 = 𝑏. 𝑚 ⇒ 𝑎. 𝑏 = 𝑎. 𝑛. 𝑏. 𝑚 ⇒ 1 =
𝑛. 𝑚 ⇒ 𝑛 = 𝑚 = 1
Luego 𝑎 = 𝑏.
c) Transitividad.
Sean 𝑎 | 𝑏 ∧ 𝑏 |𝑐 ⇒ 𝑏 = 𝑎 . 𝑛 ∧ 𝑐 = 𝑏. 𝑚
Entonces 𝑏 . 𝑐 = 𝑎. 𝑛 . 𝑏. 𝑚 ⇒ 𝑐 = 𝑎. (𝑛 . 𝑚) ⇒ 𝑐 = 𝑎 . 𝑝 ⇒ 𝑎|𝑐.
Por otra parte, este orden amplio es parcial, pues existen pares de naturales que no son
comparables por la relación de divisor. Un contraejemplo está dado por 2 y 3, ya que 2|3
y 3|2 son proposiciones falsas.
Es claro que un par ordenado de números naturales pertenece a la relación si y sólo si la
primera componente es divisora de la segunda.
Esta relación está representada por los puntos del primer cuadrante de coordenadas
naturales que tienen abscisa natural, y para cada una las ordenadas son todos los múltiplos
naturales de aquéllas.
N 6

4
3

1
N
1 2 3 4 5 6
Si consideramos la relación de divisor en 𝑍, no se tiene un orden amplio, pues la
antisimétrica no se cumple. En efecto
3| − 3 ∧ −3|3 ⇒ 3 = − 3 es 𝐹
ii) En A = {1,2,3} la relación
𝑅 = { (1 , 1) , (2 . 2) , (3 , 3 , ( 1, 2 , ( 1 , 3 ) , ( 2 , 3 )} es un orden amplio y total. Se
trata evidentemente de la relación de menor o igual.
c) Orden estricto.
Sea R ⊂ A2 .
Definición
R es una relación de orden estricto sí y sólo si es irreflexiva, asimétrica y transitiva.
En símbolos
i) Arreflexividad, Ningún elemento del conjunto está relacionado consigo mismo.
𝑎 ∈ 𝐴 (𝑎 , 𝑎) ∉ 𝑅
ii) Asimetría. Si un elemento está relacionado con otro, entonces éste no lo está con
el primero.
(𝑎, 𝑏) ∈ 𝑅 => (𝑏 , 𝑎) ∉ 𝑅
iii) Transitividad.
(𝑎, 𝑏) ∈ 𝑅 ∧ (𝑏 , 𝑐) ∈ 𝑅 ⇒ (𝑎 , 𝑐) ∈ 𝑅
Lo mismo que el orden amplio, el orden estricto puede ser parcial o total.