Saludos a toda la comunidad de Steemit, siguiendo con la temática relativa a las Relaciones de Equivalencia, en esta publicación se presentarán y demostrarán teoremas y propiedades de gran relevancia que le otorgan a este caso particular de las Relaciones Binarias el sustento teórico necesario para poder aplicar estos conceptos en el desarrollo de otros saberes matemáticos.

Es pertinente que se tengan a disposición los conocimientos previamente publicados, con el propósito de garantizar la máxima comprensión de lo que aquí se presenta las mismas estarán disponibles al final de este post a través de vínculos direccionados a las mismas.

El Teorema Fundamental de las Relaciones de Equivalencia es gran importancia, en tanto que con el mismo se le da cuerpo firme y sólido al hecho de que al definir una relación de equivalencia en un conjunto no vacío, la misma establece una partición de este en clases de equivalencia, razón por la cual se procederá a enunciar formalmente y demostrar.

Teorema

Sea la relación de equivalencia ~ definida en A≠∅, esto indica que exista un I⊂A de manera que para cualquier elemento u∈I existe una clase de equivalencia subconjunto de A para lo cual se cumple lo siguiente:

Vale destacar que I es el conjunto de índices que se forma al seleccionar un elemento único o representante de cada clase de equivalencia.

Antes de proceder a la demostración conviene tener en cuenta que el enunciado del teorema tiene aspectos de gran importancia que se considerarán como hipótesis en el proceso de comprobar las proposiciones I, II, III, IV y V.

Demostración

∀u∈I⟹K_u≠∅

En esta parte recordemos que por hipótesis A≠∅ y en el mismo se ha definido una relación de equivalencia ~, por lo cual se da por hecho que se cumplen las propiedades de reflexividad, simetría y transitividad. Procedamos

Si A≠∅⟹∃x∈A, esto es obvio en tanto que si es un conjunto no vacío debe tener al menos un elemento.
⟹x~x, por hipótesis se cumple la propiedad reflexiva
⟹x∈K_x, por definición de clase de equivalencia
⟹K_x≠∅, ∀x∈A, si tiene al menos un elemento la clase de equivalencia es no vacía

Ahora bien como I⊂A

u∈I⟹u∈A, por definición de inclusión de conjuntos
⟹u~u, por hipótesis se cumple la propiedad reflexiva
⟹u∈K_u, por definición de clase de equivalencia
⟹K_u≠∅, como tiene al menos un elemento la clase de equivalencia es no vacía
∴ Se cumple que ∀u∈I⟹K_u≠∅∎

a∼a'⟺a y a' pertenecen a la misma K_u

El conectivo principal de la proposición es un condicional por lo cual se debe demostrar el teorema directo y el teorema recíproco.

Teorema Directo

¿a∼a'⟹a y a' pertenecen a la misma K_u?

Demostrando

a∼a'⟹a∈K_a ∧ a'∈K_a, por definición de clase de equivalencia
Luego u∈I ∧ u∈K_a tenemos que a y a' pertenecen a la misma clase de equivalencia
∴ Se cumple que a∼a'⟹a y a' pertenecen a la misma K_u

Teorema Recíproco

¿ a y a^' pertenecen a la misma K_u⟹ a∼a'?

Demostrando

a y a' pertenecen a la misma K_u⟹a∼u ∧ a'∼u, por definición de clase de equivalencia
⟹a∼u∧u∼a', por hipótesis se cumple la propiedad simétrica
⟹a∼a', por hipótesis se cumple la propiedad transitiva
∴ Se cumple que si a y a' pertenecen a la misma K_u⟹ a∼a'
∴ Se cumple que a∼a'⟺a y a' pertenecen a la misma K_u∎

K_u∩K_v≠∅⟹K_u=K_v

En este caso se pide comprobar que clases de equivalencia no disjuntas son iguales. Como se puede observar estamos en presencia de una proposición condicional por lo cual lo que está a la izquierda del conectivo es la hipótesis y lo que se encuentra a la derecha es la tesis, es decir lo que se debe comprobar.

Demostrando

Considerando la hipótesis tenemos

K_u∩K_v≠∅⇒∃a∈(K_u∩K_v), si es un conjunto no vacío debe tener al menos un elemento.
⇒a∈K_u ∧ a∈K_v, por definición de intersección de conjuntos
⇒a∼u∧a∼v, por definición de clase de equivalencia
⇒u∼a∧a∼v, por hipótesis se cumple la propiedad simétrica (1)

Por otro lado, consideremos b∈K_u⇒b∼u (2)

⇒u∼v, por hipótesis se cumple la propiedad transitiva (1)
⇒u∼v∧b∼u, por afirmación (2)
⇒b∼u∧u∼v, por ley lógica conmutativa de la conjunción
⇒b∼v, por hipótesis se cumple la propiedad transitiva
⇒b∈K_v, por definición de clase de equivalencia
⇒K_u⊂K_u, por definición de inclusión de conjuntos

Para llegar a la igualdad de estos conjuntos debemos comprobar igualmente que la clase de v está contenida en el conjunto clase de u. en este caso se procede de forma análoga pero en la proposición (2) se considerará la pertenencia del elemento al conjunto clase de v, por lo cual en la comprobación faltante retomaremos el proceso a partir de ese punto específico como sigue

Considerando b∈K_v⇒b∼v (2)

⇒a∼u∧a∼v⇒a∼v∧a∼u, por ley lógica conmutativa de la conjunción
⇒v∼a∧a∼u, por hipótesis se cumple la propiedad simétrica (1)
⇒v∼u, por hipótesis se cumple la propiedad transitiva (1)
⇒v∼u∧b∼v, por afirmación (2)
⇒b∼v∧v∼u, por ley lógica conmutativa de la conjunción
⇒b∼u, por hipótesis se cumple la propiedad transitiva
⇒b∈K_u, por definición de clase de equivalencia
⇒K_v⊂K_u, por definición de inclusión de conjuntos

∴Por cumplirse K_u⊂K_v y K_v⊂K_u debido a las demostraciones anteriores se cumple que K_u=K_v, por definición de igualdad de conjuntos∎

• u≠v⟹K_u∩K_u=∅

Al igual que en la proposición anterior, estamos en presencia de un condicional, es decir, a la izquierda del conectivo tenemos la hipótesis y a la derecha la tesis, justo lo que se debe demostrar. Para aclarar, se debe comprobar que dos clases de equivalencia cualesquiera son disjuntas si son diferentes sus respectivos índices.

Para esta comprobación procedemos por el Método de Reducción al Absurdo en el cual se asume que la hipótesis es verdadera y se niega la tesis, posteriormente si nos encontramos con una afirmación considerada absurda o contradictoria se concluye que la misma se deriva por haber negado la tesis por lo cual se acepta como demostrada y verdadera la proposición condicional inicial, es decir, la que queremos comprobar.

Demostrando

Por el Método de Reducción al Absurdo suponemos que

K_u∩K_v≠∅⇒∃a∈(K_u∩K_v), si es un conjunto no vacío debe tener al menos un elemento.
⇒a∈K_u ∧ a∈K_v, por definición de intersección de conjuntos
⇒a∼u∧a∼v, por definición de clase de equivalencia
⇒u∼a∧a∼v, por hipótesis se cumple la propiedad simétrica
⇒u∼v, por hipótesis se cumple la propiedad transitiva
⇒u∈K_v, por definición de clase de equivalencia (Absurdo)

La derivación anterior es absurda por cuanto contradice la definición de conjunto de índices, la misma se genera por haber negado la tesis, luego la tesis es verdadera.

∴ Se cumple que u≠v⟹K_u∩K_v=∅∎

• ∀a∈A,∃u∈I/a∈K_u

Demostrando

Consideremos que a∈A⇒a∼a, por hipótesis se cumple la propiedad reflexiva
⇒a∈K_a, por definición de clase de equivalencia (1)

Por otro lado

⇒u∈K_a, por definición de conjunto de índice, se escoge u como elemento canónico o representante de la clase de equivalencia
Esto implica que K_a=K_u
Luego la proposición (1) es a∈K_u∎

Finalmente, por las demostraciones I, II, III, IV y V queda demostrado el Teorema Fundamental de las Relaciones de Equivalencia∎

Sea el conjunto {K_u/u∈I} una partición de A, esto indica que en el conjunto A influye una relación de equivalencia, por lo cual se define como propiedad el hecho de que dos elementos del conjunto A están relacionados si y sólo si ambos elementos pertenecen al mismo subconjunto de la partición, es decir, pertenecen a la misma clase de equivalencia. En símbolos es

(a,b)∈R⟺a y b pertenecen a la misma K_u

Para demostrar esta propiedad, basta con verificar que R es una relación de equivalencia, es decir, que cumple con las propiedades de reflexividad, simetría y transitividad. Procedamos:

Reflexividad:

Demostrando

∀a∈A⇒∃u∈I/a∈K_u, por definición de la partición de A
⇒a∈K_u ∧ a∈K_u, por ley lógica de idempotencia de la conjunción
⇒(a,a)∈R, por definición de la relación R
∴ La relación R es Reflexiva, por definición de reflexividad.

Simetría:

Demostrando

(a,b)∈R⇒a y b pertenecen a la misma K_u, por definición de la relación R
⇒b y a pertenecen a la misma K_u, por conmutatividad de la conjunción
⇒(b,a)∈R, por definición de la relación R
∴ La relación R es Simétrica, por definición de simetría.

Transitividad:

Demostrando

(a,b)∈R∧(b,c)∈R⇒(a∈K_u ∧ b∈K_u) ∧ (b∈K_u ∧ c∈K_u), por definición de la relación R
⇒a∈K_u ∧ (b∈K_u ∧ b∈K_u) ∧ c∈K_u, por ley lógica asociativa de la conjunción
⇒(a∈K_u ∧ b∈K_u) ∧ c∈K_u, por ley lógica de idempotencia de la conjunción
⇒a∈K_u ∧ (b∈K_u∧ c∈K_u), por ley lógica asociativa de la conjunción
⇒a∈K_u ∧ (c∈K_u ∧ b∈K_u), por ley lógica conmutativa de la conjunción
⇒(a∈K_u ∧ c∈K_u) ∧ b∈K_u, por ley lógica asociativa de la conjunción
⇒a∈K_u ∧ c∈K_u, por ley lógica de simplificación
⇒(a,c)∈R, por definición de la relación R
∴ La relación R es Transitiva, por definición de transitividad.

∴ R es una relación de equivalencia, por definición de relación de equivalencia.∎

Sea R una relación definida en un conjunto A. En R se cumplen las siguientes propiedades:

R es simétrica ⇒ R^-1 es simétrica

R es transitiva ⇒ R^-1 es transitiva

R y S son transitivas ⇒ R∩S es transitiva

R y S son antisimétricas ⇒ R∩S es antisimétrica

Las propiedades como se puede observar se tratan de proposiciones condicionales, es decir tienen la forma hipótesis, conectivo condicional y tesis. Además, para sus demostraciones respectivas deben considerarse las definiciones de las propiedades implicadas en las mismas. A continuación se procederá con las comprobaciones.

R es simétrica ⇒ R^-1 es simétrica

Demostrando

∀(a,b)∈R^-1⇒(b,a)∈R, por definición de relación inversa
⇒(a,b)∈R, por hipótesis R es simétrica
⇒(b,a)∈R^-1, por definición de relación inversa
∴ La relación R^-1 es Simétrica, por definición de simetría∎

R es transitiva ⇒ R^-1 es transitiva

Demostrando

∀(a,b)∈R^-1 ∧ (b,c)∈R^-1⇒(b,a)∈R ∧ (c,b)∈R, por definición de relación inversa
⇒(c,b)∈R ∧ (b,a)∈R, por ley lógica conmutativa de la conjunción
⇒(c,a)∈R, por hipótesis R es transitiva
⇒(a,c)∈R^-1, por definición de relación inversa
∴ La relación R^-1 es Transitiva, por definición de transitividad∎

R y S son transitivas ⇒ R∩S es transitiva

Demostrando

∀(a,b)∈(R∩S)∧(b,c)∈(R∩S)⇒[(a,b)∈R∧(a,b)∈S]∧[(b,c)∈R∧(b,c)∈S], por definición de intersección de conjuntos
⇒(a,b)∈R∧[(a,b)∈S∧(b,c)∈R]∧(b,c)∈S, por asociatividad de la conjunción
⇒(a,b)∈R∧[(b,c)∈R∧(a,b)∈S]∧(b,c)∈S, por conmutatividad de la conjunción
⇒[(a,b)∈R∧(b,c)∈R]∧[(a,b)∈S∧(b,c)∈S], por asociatividad de la conjunción
⇒(a,c)∈R∧(a,c)∈S, por hipótesis R y S son transitivas
⇒(a,c)∈(R∩S), por definición de intersección de conjuntos
∴ La relación R∩S es Transitiva, por definición de transitividad∎

R y S son antisimétricas ⇒ R∩S es antisimétrica

Demostrando

∀(a,b)∈(R∩S)∧(b,a)∈(R∩S)⇒[(a,b)∈R∧(a,b)∈S]∧[(b,a)∈R∧(b,a)∈S], por definición de intersección de conjuntos
⇒a=b∧a=b, por hipótesis R y S son antisimétricas
⇒a=b, por ley lógica de idempotencia de la conjunción
∴ La relación R∩S es Antisimétrica, por definición de antisimetría∎

Las nociones que definen un concepto en Matemática son importantes, adicionalmente los teoremas y propiedades que se verifican en el referido ámbito le dan cuerpo y soporte teórico necesario para poder utilizarlos en el desarrollo de otros conceptos matemáticos. En el caso de las Relaciones de Equivalencia las demostraciones presentadas en esta oportunidad son fundamentales, en tanto que en el futuro permitirán comprender, entre otras cosas, el ¿por qué? de conjuntos numéricos por todos conocidos.

Nos leemos en la siguiente publicación, saludos y éxitos para todos los lectores y académicos de esta comunidad.

“Cómo es posible que la matemática, un producto del pensamiento humano independiente de la experiencia, se adapte tan admirablemente a los objetos de la realidad” - Albert Einstein.

Referencia

Armando, R. (2001). Algebra I. Edición XX. Editorial El Ateneo.

Lipschutz, S. (1970). Teoría de Conjuntos y Temas Afines. Teoría y 530 problemas resueltos. Serie de compendios SCHAUM. Mc Graw-Hill.

Todas las imágenes, separadores y banners de este artículo son de autoría propia diseñadas en el editor de presentaciones Microsoft Powerpoint 2013, ajustadas y recortadas en Paint.

---

Publicaciones Relacionadas

• Relaciones Binarias
• Propiedades de las Relaciones definidas en un Conjunto
• Relaciones Binarias: Algunas Demostraciones
• Relaciones de Equivalencia