ISFD 140- PROFESORADO DE MATEMÁTICA-ÁLGEBRA I

UNIDAD 3: RELACIONES (5ta parte)

Fuente: Álgebra I- Armando O Rojo- Ed. 14ª edición- Capítulo 3 (pág 64
a 98)

TEOREMA FUNDAMENTAL DE LAS RELACIONES DE

EQUIVALENCIA

TEOREMA: Si ~ es una relación de equivalencia definida en un conjunto A≠Ø;

entonces existe un subconjunto I с A, tal que cualquiera sea el elemento
u en I, existe un Ku с A de modo tal que se verifican las siguientes
proposiciones:

i.
∀ u :u ∈ I ⇒ K u ≠∅
ii. a ~ a´ si y sólo sí a y a´ pertenecen al mismo Ku
iii.
K u ∩K v≠∅ ⇒ K u =K v
iv.
u≠v ⇒ K u ∩K v=∅
∀ a ∈ A , ∃u ∈ I / a∈ K u
v.

Nota: I es un conjunto de índices que se forma eligiendo un único elemento en

cada clase de equivalencia.
Demostración:
i. A todo elemento de conjunto de índices le corresponde una clase
no vacía:
A≠∅⇒∃ a∈ A x hipótesis
⇒ a≈ a x ser de equivalencia (luego, es reflexiva)

⇒ a ∈ Ka x def. de clase de equivalencia

⇒ K a ≠∅; ∀ a ∈ A

Ahora bien, como I ⊂ A si u ∈ I ⇒ u ∈ A ⇒ K u ≠∅

(por def de inclusión y porque Ku está incluido en A, por hipótesis)

ii. Dos elementos son equivalentes entre sí, si y sólo si pertenecen a

la misma clase:

Debemos demostrar un ⇔
' '
a. ( ⇒) a≈a ⇒ a ∈ K a ∧a ∈ K a
Si
u ∈ K a entonces a , a
'
∈ Ku
' '
b. ( ⇐) a∧a ∈ K a ⇒a≈a
'
a∧a ∈ K u ( x hip)
' '
⇒ a≈ u∧ a ≈u ⇒ a≈u∧u≈ a (x prop. Simétrica)
'
⇒ a≈ a
(x prop. Transitiva)

iii. Clases no disjuntas son idénticas:

K u ∩K v≠∅ ⇒ K u =K v

En efecto,
K u ∩K v≠∅ (x hip)
⇒∃ x ∈ K u ∩K v ⇒ ∃x ∈ A /x ∈ K u ∧x ∈ K v (x def. de intersección)
⇒ x≈u∧x≈v (x def de clase de equivalencia)
⇒u≈x∧x≈v (x prop. Simétrica)
⇒u≈ v (x prop. Transitiva) (1)

Sea
⇒ y ∈ K u ⇒ y≈u (2)

De (1) y (2)
y ∈ K u ⇒ y≈v ⇒ y ∈ K v
⇒ K u⊂ Kv (x def. de inclusión)

Análogamente se prueba que:

K v ⊂ K u y resulta K u =K v
iv. Elementos distintos del conjunto de índice determinan clases
disjuntas
u≠v ⇒ K ∩K =∅
u v
Se demuestra por el absurdo

Suponemos que
K u ∩K v≠∅ (negar la tesis)

⇒∃ x ∈ K u ∧x ∈ K v
(x def. de intersección)

⇒ x≈u∧x≈v (x def. de clase de equivalencia)

⇒u≈x∧x≈v (x prop. Simétrica)

⇒u≈ v (x prop. Transitiva)

⇒u ∈ K v (lo que es absurdo pues contradice la def de conj. de I)

Por lo tanto
K u ∩K v=∅
v. Todo elemento de A, pertenece a una clase, o lo que es lo mismo,
las clases de equivalencia “cubren” a A:
∀ a ∈ A , ∃u ∈ I / a∈ K u
a ∈ A ⇒ a≈a ⇒ a ∈ K a
Sea x ser de equivalencia (luego, es reflexiva)

Si
u ∈ K a ⇒<K u=K a y resulta que a ∈ K u
Q.E.D.

Nota: Las proposiciones i, iv y v significan que toda relación de equivalencia,

definida en un conjunto no vacío, determina una partición de éste en clases de
equivalencia. Precisamente las clases, son los elementos de esa partición.
Definición: Dos elementos de un conjunto A, están relacionados
entre sí, si y sólo si pertenecen al mismo subconjunto de la partición
(clase)

Notación: (a.b)∈ R . o aRb o

a≈b ⇔ a , b ∈ K u

TEOREMA: Sea {Ku/uЄI}, una partición de A. Entonces queda

inducida una relación de equivalencia.
Demostrarlo.
i. Reflexividad

a ∈ A ⇒ ∃u ∈ I /a∈ K u por definición de partición

⇒ a∧a ∈ K u por idempotencia (pΛp→p)

⇒ ( a , a) ∈ R por definición

ii. Simetría
Sean a , b ∈ A / ( a , b ) ∈ R ⇒
a ∈ K u ∧b ∈ K u ⇒ por definición de clase de equivalencia

b ∈ K u ∧a ∈ K u ⇒
por conmutatividad de Λ

(b , a )∈ R
iii. Transitividad
a , b , c ∈ A /( a , b ) ∈ R∧ ( b , c ) ∈ R ⇒
Sean

a ∈ K u ∧b ∈ K u ∧c ∈ K u ⇒ por definición de clase de equivalencia

a ∈ K u ∧c ∈ K u ⇒
(a , c ) ∈ R
Por lo tanto, R es de equivalencia