SlideShare una empresa de Scribd logo
1 de 6
República Bolivariana De Venezuela
Universidad Fermín Toro
Cabudare- Estado Lara
RELACION DE EQUIVALENCIA
ENDER PEREZ
C.I: 24.399.040
MARZO 2020
Relaciones de equivalencia.
Sea H el conjunto formado por todos los seres humanos. Considere una
relación R definida en H de la siguiente manera:
Si x e y pertenecen a H, se dice que "x está en relación con y sí y sólo sí
x es compatriota de y".
Con la anterior definición queda establecida la relación:
R = {(x, y) / x, y ∈ H ∧ "x es compatriota de y"}.
Esta relación es reflexiva puesto que toda persona es compatriota de si
mismo. Es simétrica, puesto que "si x es compatriota de y, y es
compatriota de x". Es transitiva, por que "si x es compatriota de y e y es
compatriota de z, entonces x es compatriota de z".
Sea un elemento fijo de H. se denota por el conjunto formado por los
compatriotas de a, es decir:
= {x ∈ H / x R a}.
a está formado por la población del país del cual es nativo a. Por
ejemplo, si a es colombiano,
= {x ∈ H / x es colombiano}.
Al individuo se le llama un "representante del conjunto a". Cualquier
colombiano puede ser un representante. Eligiendo los diferentes
representantes se obtiene la división de la humanidad en países.
Si se toma otro elemento fijo b ∈ H y se forma el conjunto :
= {x ∈ H / x R b},
pueden ocurrir dos casos:
- Que a R b. En tal caso = .
- Que a b, y entonces y son conjuntos disjuntos, es
decir, países diferentes.
Siguiendo este proceso se obtienen tantos conjuntos como países
existen. Se puede verificar que cada conjunto es no vacío y que no
existe intersección entre cada dos de ellos, además que la unión de
todos ellos es el conjunto H.
Una relación que produce sobre el conjunto en el cual se define una
clasificación con las características anteriores, se llama relación de
equivalencia.
Definición. Sea A un conjunto no vacío y R una relación en A. R es
una relación de equivalencia en A, si R es reflexiva, simétrica y
transitiva en A.
Ejemplo 1.
IA es una relación de equivalencia en A (A ≠ 0).
Ejemplo 2.
La relación de paralelismo definida entre la rectas del plano euclideo, es
una relación de equivalencia, pero no lo es la relación de
perpendicularidad.
Ejemplo 3.
Sean a y b enteros y n un número fijo positivo. En Z (conjunto de los
enteros) se define una relación de la siguiente manera:
Se dice que a es congruente con b módulo n y se escribe, a ≡ b (mod n)
sí y sólo sí n∉ (a - b), es decir,
a - b = kn con k ∈ Z .
En tal caso, el par (a,b) pertenece a la relación. Esta relación se
llama congruencia módulo n.
Rn = {(x, y) / x ≡ y mod n, x, y ∈ Z }.
Rn es reflexiva, puesto que x ≡ x mod n. x - x = 0 = 0n ∧ 0 ∈ Z .
Rn es simétrica. si x ≡ y mod n, x - y = kn con k ∈ Z . Luego, y - x = -kn, -k ∈ Z . Es
decir, y ≡ x mod n.
Rn es transitiva en Z . Sean x ≡ y mod n ∧ y ≡ z mod n, entonces:
x - y = k1n ∧ y - z = k2n, k1 y k2 ∈ Z .
x - y + y - z = (k1 + k2)n.
x - z = (k1 + k2)n, (k1 + k2) ∈ Z .
sea k = k1 + k2, luego x - z = kn y en consecuencia
x ≡ z mod n.
Clases de equivalencia: Sea A un conjunto no vacío, R una relación
de equivalencia en A y x un elemento fijo en A. Al conjunto de todos los
elementos de A relacionados con x, se le denomina clase de
equivalencia de x con respecto a R y se le denota: x.
En consecuencia,
= {y ∈ A / y R x}.
y ∈ ⇔ y ∈ A ∧ y R x.
y ∉ ⇔ y ∉ A ∨ y x.
El elemento fijo x se llama representante de clase.
Teorema. Sea R una relación de equivalencia en un conjunto no vacío A.
Entonces,
 ≠ 0 para cualquier x ∈ A.
 Si x, y ∈ A, entonces = ∨ = 0.
 Sean: 1, 2, ... , n las clases de equivalencia de A. Entonces,
1 + 2 + ... + n = A.
Demostración:
 Como A ≠ 0, existe un x ∈ A y puesto que x R x, entonces:
x ∈
Sean x,y ∈ A, x R y ∨ x y.
Si x R y entonces = . En efecto, sea a ∈ ,a R x, y como x R y, a R
y,luego a∈ . Por tanto, ⊂ . (1).
Sea a ∈ y, a R y, como x R y,y R x,luego a R x, y por tanto a ∈ . En
consecuencia ⊂ . (2).
De (1) y (2), = .
Si x y, entonces = 0. En efecto, si ≠ 0, existe un a tal que: a
∈ ∧ a ∈ , luego a R x ∧ a R y.
Por simetría, x R a ∧ a R y, entonces por transitividad x R y. Absurdo! Luego.
= 0.
Sea R es una relación de equivalencia en A. El conjunto formado por todas las
clases de equivalencia respecto a R, se llama conjunto cociente de A por R, y se
denota A∉ R. En consecuencia,
A∉ R = { / x ∈ A}.
Partición de un conjunto A. Una partición de un conjunto A no vacío, es una
colección de subconjuntos no vacíos A1, A2, ..., An de A tal que:
 Ai Aj = 0, i ≠ j.
 A1 + A2 + ... + An = A.
La figura anterior es una representación gráfica de la partición P = {A1, A2, A3,
A4, A5, A6} de un conjunto A.

Más contenido relacionado

La actualidad más candente

Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binariaselduro299ful
 
2) ECUACIONES EN DERIVADAS PARCIALES
2) ECUACIONES EN DERIVADAS PARCIALES2) ECUACIONES EN DERIVADAS PARCIALES
2) ECUACIONES EN DERIVADAS PARCIALESedvinogo
 
Ecuaciones Diferenciales
Ecuaciones DiferencialesEcuaciones Diferenciales
Ecuaciones Diferencialesceti
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdadcepecole
 
Ecuaciones diferenciales parciales
Ecuaciones diferenciales parcialesEcuaciones diferenciales parciales
Ecuaciones diferenciales parcialesUO
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i14879114
 
Propiedades de Relaciones las Relaciones Matematicas
Propiedades de Relaciones las Relaciones MatematicasPropiedades de Relaciones las Relaciones Matematicas
Propiedades de Relaciones las Relaciones MatematicasRawel Luciano
 
Algebra: Monomios y Polinomios Parte III
Algebra: Monomios y Polinomios Parte IIIAlgebra: Monomios y Polinomios Parte III
Algebra: Monomios y Polinomios Parte IIILuis
 
Sucesiones, sumatorias y progresiones
Sucesiones, sumatorias y progresionesSucesiones, sumatorias y progresiones
Sucesiones, sumatorias y progresionesdesiree palomo
 
Ecuaciones Diferenciales
Ecuaciones DiferencialesEcuaciones Diferenciales
Ecuaciones Diferencialesartur111
 
Presentación edos
Presentación edosPresentación edos
Presentación edosjunalm2
 

La actualidad más candente (18)

Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
2) ECUACIONES EN DERIVADAS PARCIALES
2) ECUACIONES EN DERIVADAS PARCIALES2) ECUACIONES EN DERIVADAS PARCIALES
2) ECUACIONES EN DERIVADAS PARCIALES
 
Ecuaciones Diferenciales
Ecuaciones DiferencialesEcuaciones Diferenciales
Ecuaciones Diferenciales
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Propiedades de las relaciones
Propiedades de las relacionesPropiedades de las relaciones
Propiedades de las relaciones
 
Ecuaciones diferenciales parciales
Ecuaciones diferenciales parcialesEcuaciones diferenciales parciales
Ecuaciones diferenciales parciales
 
Retículos
RetículosRetículos
Retículos
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Propiedades de Relaciones las Relaciones Matematicas
Propiedades de Relaciones las Relaciones MatematicasPropiedades de Relaciones las Relaciones Matematicas
Propiedades de Relaciones las Relaciones Matematicas
 
Algebra: Monomios y Polinomios Parte III
Algebra: Monomios y Polinomios Parte IIIAlgebra: Monomios y Polinomios Parte III
Algebra: Monomios y Polinomios Parte III
 
Relación de equivalencia
Relación de equivalenciaRelación de equivalencia
Relación de equivalencia
 
Numeros Complejos
Numeros ComplejosNumeros Complejos
Numeros Complejos
 
Demostración de falaz
Demostración de falazDemostración de falaz
Demostración de falaz
 
Ecuaciones lineales =d
Ecuaciones lineales =dEcuaciones lineales =d
Ecuaciones lineales =d
 
Sucesiones, sumatorias y progresiones
Sucesiones, sumatorias y progresionesSucesiones, sumatorias y progresiones
Sucesiones, sumatorias y progresiones
 
Ecuaciones Diferenciales
Ecuaciones DiferencialesEcuaciones Diferenciales
Ecuaciones Diferenciales
 
Presentación edos
Presentación edosPresentación edos
Presentación edos
 
Angelica
AngelicaAngelica
Angelica
 

Similar a Relacion de equivalencia

Similar a Relacion de equivalencia (20)

Reticulo
ReticuloReticulo
Reticulo
 
Art9 lucca
Art9 luccaArt9 lucca
Art9 lucca
 
Relacion Simetrica
Relacion SimetricaRelacion Simetrica
Relacion Simetrica
 
Alexis romero
Alexis romeroAlexis romero
Alexis romero
 
algebra
algebra algebra
algebra
 
algebra
algebra algebra
algebra
 
Relaciones binarias
Relaciones binarias Relaciones binarias
Relaciones binarias
 
Relacion-Conjunto.pptx
Relacion-Conjunto.pptxRelacion-Conjunto.pptx
Relacion-Conjunto.pptx
 
calculo de predicados
calculo  de predicadoscalculo  de predicados
calculo de predicados
 
Relaciones Generales
Relaciones GeneralesRelaciones Generales
Relaciones Generales
 
República bolivariana de venezuel1
República bolivariana de venezuel1República bolivariana de venezuel1
República bolivariana de venezuel1
 
Relaciones Binarias
Relaciones BinariasRelaciones Binarias
Relaciones Binarias
 
Relaciones
RelacionesRelaciones
Relaciones
 
Logica...
Logica...Logica...
Logica...
 
Tema 4 algebra
Tema 4 algebraTema 4 algebra
Tema 4 algebra
 
Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Relaciones Y Funciones
Relaciones Y FuncionesRelaciones Y Funciones
Relaciones Y Funciones
 
Logica de predicados1
Logica de predicados1Logica de predicados1
Logica de predicados1
 
relacion de equivalencia
relacion de equivalencia relacion de equivalencia
relacion de equivalencia
 
Instituto universitario de tecnologí1
Instituto universitario de tecnologí1Instituto universitario de tecnologí1
Instituto universitario de tecnologí1
 

Más de enderperez5

Funcionamiento del computador
Funcionamiento del computadorFuncionamiento del computador
Funcionamiento del computadorenderperez5
 
GESTION AMBIENTAL
GESTION AMBIENTALGESTION AMBIENTAL
GESTION AMBIENTALenderperez5
 
EJERCICIO CUADERNO 1
EJERCICIO CUADERNO 1EJERCICIO CUADERNO 1
EJERCICIO CUADERNO 1enderperez5
 
Todas las estructuras
Todas las estructurasTodas las estructuras
Todas las estructurasenderperez5
 
EJERCICIOS PARA PRACTICAR PSEUDOCODIGO
EJERCICIOS PARA PRACTICAR PSEUDOCODIGOEJERCICIOS PARA PRACTICAR PSEUDOCODIGO
EJERCICIOS PARA PRACTICAR PSEUDOCODIGOenderperez5
 
Programa de secciones
Programa de seccionesPrograma de secciones
Programa de seccionesenderperez5
 

Más de enderperez5 (7)

Funcionamiento del computador
Funcionamiento del computadorFuncionamiento del computador
Funcionamiento del computador
 
GESTION AMBIENTAL
GESTION AMBIENTALGESTION AMBIENTAL
GESTION AMBIENTAL
 
EJERCICIO CUADERNO 1
EJERCICIO CUADERNO 1EJERCICIO CUADERNO 1
EJERCICIO CUADERNO 1
 
Lenguaje c++
Lenguaje c++Lenguaje c++
Lenguaje c++
 
Todas las estructuras
Todas las estructurasTodas las estructuras
Todas las estructuras
 
EJERCICIOS PARA PRACTICAR PSEUDOCODIGO
EJERCICIOS PARA PRACTICAR PSEUDOCODIGOEJERCICIOS PARA PRACTICAR PSEUDOCODIGO
EJERCICIOS PARA PRACTICAR PSEUDOCODIGO
 
Programa de secciones
Programa de seccionesPrograma de secciones
Programa de secciones
 

Último

clases de dinamica ejercicios preuniversitarios.pdf
clases de dinamica ejercicios preuniversitarios.pdfclases de dinamica ejercicios preuniversitarios.pdf
clases de dinamica ejercicios preuniversitarios.pdfDanielaVelasquez553560
 
Elaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdfElaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdfKEVINYOICIAQUINOSORI
 
Introducción a los sistemas neumaticos.ppt
Introducción a los sistemas neumaticos.pptIntroducción a los sistemas neumaticos.ppt
Introducción a los sistemas neumaticos.pptEduardoCorado
 
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESAIPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESAJAMESDIAZ55
 
Flujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxFlujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxEduardoSnchezHernnde5
 
Unidad 3 Administracion de inventarios.pptx
Unidad 3 Administracion de inventarios.pptxUnidad 3 Administracion de inventarios.pptx
Unidad 3 Administracion de inventarios.pptxEverardoRuiz8
 
hitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docxhitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docxMarcelaArancibiaRojo
 
CLASe número 4 fotogrametria Y PARALAJE.pptx
CLASe número 4 fotogrametria Y PARALAJE.pptxCLASe número 4 fotogrametria Y PARALAJE.pptx
CLASe número 4 fotogrametria Y PARALAJE.pptxbingoscarlet
 
PPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdfPPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdfalexquispenieto2
 
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIASTEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIASfranzEmersonMAMANIOC
 
Obras paralizadas en el sector construcción
Obras paralizadas en el sector construcciónObras paralizadas en el sector construcción
Obras paralizadas en el sector construcciónXimenaFallaLecca1
 
Reporte de Exportaciones de Fibra de alpaca
Reporte de Exportaciones de Fibra de alpacaReporte de Exportaciones de Fibra de alpaca
Reporte de Exportaciones de Fibra de alpacajeremiasnifla
 
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdf
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdfReporte de simulación de flujo del agua en un volumen de control MNVA.pdf
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdfMikkaelNicolae
 
Comite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptxComite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptxClaudiaPerez86192
 
Ingeniería de Tránsito. Proyecto Geométrico de calles y carreteras, es el pro...
Ingeniería de Tránsito. Proyecto Geométrico de calles y carreteras, es el pro...Ingeniería de Tránsito. Proyecto Geométrico de calles y carreteras, es el pro...
Ingeniería de Tránsito. Proyecto Geométrico de calles y carreteras, es el pro...wvernetlopez
 
aCARGA y FUERZA UNI 19 marzo 2024-22.ppt
aCARGA y FUERZA UNI 19 marzo 2024-22.pptaCARGA y FUERZA UNI 19 marzo 2024-22.ppt
aCARGA y FUERZA UNI 19 marzo 2024-22.pptCRISTOFERSERGIOCANAL
 
04. Sistema de fuerzas equivalentes II - UCV 2024 II.pdf
04. Sistema de fuerzas equivalentes II - UCV 2024 II.pdf04. Sistema de fuerzas equivalentes II - UCV 2024 II.pdf
04. Sistema de fuerzas equivalentes II - UCV 2024 II.pdfCristhianZetaNima
 
CLASE - 01 de construcción 1 ingeniería civil
CLASE - 01 de construcción 1 ingeniería civilCLASE - 01 de construcción 1 ingeniería civil
CLASE - 01 de construcción 1 ingeniería civilDissneredwinPaivahua
 
Procesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptx
Procesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptxProcesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptx
Procesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptxJuanPablo452634
 
Propositos del comportamiento de fases y aplicaciones
Propositos del comportamiento de fases y aplicacionesPropositos del comportamiento de fases y aplicaciones
Propositos del comportamiento de fases y aplicaciones025ca20
 

Último (20)

clases de dinamica ejercicios preuniversitarios.pdf
clases de dinamica ejercicios preuniversitarios.pdfclases de dinamica ejercicios preuniversitarios.pdf
clases de dinamica ejercicios preuniversitarios.pdf
 
Elaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdfElaboración de la estructura del ADN y ARN en papel.pdf
Elaboración de la estructura del ADN y ARN en papel.pdf
 
Introducción a los sistemas neumaticos.ppt
Introducción a los sistemas neumaticos.pptIntroducción a los sistemas neumaticos.ppt
Introducción a los sistemas neumaticos.ppt
 
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESAIPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
IPERC Y ATS - SEGURIDAD INDUSTRIAL PARA TODA EMPRESA
 
Flujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptxFlujo multifásico en tuberias de ex.pptx
Flujo multifásico en tuberias de ex.pptx
 
Unidad 3 Administracion de inventarios.pptx
Unidad 3 Administracion de inventarios.pptxUnidad 3 Administracion de inventarios.pptx
Unidad 3 Administracion de inventarios.pptx
 
hitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docxhitos del desarrollo psicomotor en niños.docx
hitos del desarrollo psicomotor en niños.docx
 
CLASe número 4 fotogrametria Y PARALAJE.pptx
CLASe número 4 fotogrametria Y PARALAJE.pptxCLASe número 4 fotogrametria Y PARALAJE.pptx
CLASe número 4 fotogrametria Y PARALAJE.pptx
 
PPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdfPPT ELABORARACION DE ADOBES 2023 (1).pdf
PPT ELABORARACION DE ADOBES 2023 (1).pdf
 
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIASTEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
TEXTURA Y DETERMINACION DE ROCAS SEDIMENTARIAS
 
Obras paralizadas en el sector construcción
Obras paralizadas en el sector construcciónObras paralizadas en el sector construcción
Obras paralizadas en el sector construcción
 
Reporte de Exportaciones de Fibra de alpaca
Reporte de Exportaciones de Fibra de alpacaReporte de Exportaciones de Fibra de alpaca
Reporte de Exportaciones de Fibra de alpaca
 
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdf
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdfReporte de simulación de flujo del agua en un volumen de control MNVA.pdf
Reporte de simulación de flujo del agua en un volumen de control MNVA.pdf
 
Comite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptxComite Operativo Ciberseguridad 012020.pptx
Comite Operativo Ciberseguridad 012020.pptx
 
Ingeniería de Tránsito. Proyecto Geométrico de calles y carreteras, es el pro...
Ingeniería de Tránsito. Proyecto Geométrico de calles y carreteras, es el pro...Ingeniería de Tránsito. Proyecto Geométrico de calles y carreteras, es el pro...
Ingeniería de Tránsito. Proyecto Geométrico de calles y carreteras, es el pro...
 
aCARGA y FUERZA UNI 19 marzo 2024-22.ppt
aCARGA y FUERZA UNI 19 marzo 2024-22.pptaCARGA y FUERZA UNI 19 marzo 2024-22.ppt
aCARGA y FUERZA UNI 19 marzo 2024-22.ppt
 
04. Sistema de fuerzas equivalentes II - UCV 2024 II.pdf
04. Sistema de fuerzas equivalentes II - UCV 2024 II.pdf04. Sistema de fuerzas equivalentes II - UCV 2024 II.pdf
04. Sistema de fuerzas equivalentes II - UCV 2024 II.pdf
 
CLASE - 01 de construcción 1 ingeniería civil
CLASE - 01 de construcción 1 ingeniería civilCLASE - 01 de construcción 1 ingeniería civil
CLASE - 01 de construcción 1 ingeniería civil
 
Procesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptx
Procesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptxProcesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptx
Procesos-de-la-Industria-Alimentaria-Envasado-en-la-Produccion-de-Alimentos.pptx
 
Propositos del comportamiento de fases y aplicaciones
Propositos del comportamiento de fases y aplicacionesPropositos del comportamiento de fases y aplicaciones
Propositos del comportamiento de fases y aplicaciones
 

Relacion de equivalencia

  • 1. República Bolivariana De Venezuela Universidad Fermín Toro Cabudare- Estado Lara RELACION DE EQUIVALENCIA ENDER PEREZ C.I: 24.399.040 MARZO 2020
  • 2. Relaciones de equivalencia. Sea H el conjunto formado por todos los seres humanos. Considere una relación R definida en H de la siguiente manera: Si x e y pertenecen a H, se dice que "x está en relación con y sí y sólo sí x es compatriota de y". Con la anterior definición queda establecida la relación: R = {(x, y) / x, y ∈ H ∧ "x es compatriota de y"}. Esta relación es reflexiva puesto que toda persona es compatriota de si mismo. Es simétrica, puesto que "si x es compatriota de y, y es compatriota de x". Es transitiva, por que "si x es compatriota de y e y es compatriota de z, entonces x es compatriota de z". Sea un elemento fijo de H. se denota por el conjunto formado por los compatriotas de a, es decir: = {x ∈ H / x R a}. a está formado por la población del país del cual es nativo a. Por ejemplo, si a es colombiano, = {x ∈ H / x es colombiano}. Al individuo se le llama un "representante del conjunto a". Cualquier colombiano puede ser un representante. Eligiendo los diferentes representantes se obtiene la división de la humanidad en países. Si se toma otro elemento fijo b ∈ H y se forma el conjunto : = {x ∈ H / x R b},
  • 3. pueden ocurrir dos casos: - Que a R b. En tal caso = . - Que a b, y entonces y son conjuntos disjuntos, es decir, países diferentes. Siguiendo este proceso se obtienen tantos conjuntos como países existen. Se puede verificar que cada conjunto es no vacío y que no existe intersección entre cada dos de ellos, además que la unión de todos ellos es el conjunto H. Una relación que produce sobre el conjunto en el cual se define una clasificación con las características anteriores, se llama relación de equivalencia. Definición. Sea A un conjunto no vacío y R una relación en A. R es una relación de equivalencia en A, si R es reflexiva, simétrica y transitiva en A. Ejemplo 1. IA es una relación de equivalencia en A (A ≠ 0). Ejemplo 2. La relación de paralelismo definida entre la rectas del plano euclideo, es una relación de equivalencia, pero no lo es la relación de perpendicularidad. Ejemplo 3. Sean a y b enteros y n un número fijo positivo. En Z (conjunto de los enteros) se define una relación de la siguiente manera: Se dice que a es congruente con b módulo n y se escribe, a ≡ b (mod n) sí y sólo sí n∉ (a - b), es decir, a - b = kn con k ∈ Z .
  • 4. En tal caso, el par (a,b) pertenece a la relación. Esta relación se llama congruencia módulo n. Rn = {(x, y) / x ≡ y mod n, x, y ∈ Z }. Rn es reflexiva, puesto que x ≡ x mod n. x - x = 0 = 0n ∧ 0 ∈ Z . Rn es simétrica. si x ≡ y mod n, x - y = kn con k ∈ Z . Luego, y - x = -kn, -k ∈ Z . Es decir, y ≡ x mod n. Rn es transitiva en Z . Sean x ≡ y mod n ∧ y ≡ z mod n, entonces: x - y = k1n ∧ y - z = k2n, k1 y k2 ∈ Z . x - y + y - z = (k1 + k2)n. x - z = (k1 + k2)n, (k1 + k2) ∈ Z . sea k = k1 + k2, luego x - z = kn y en consecuencia x ≡ z mod n. Clases de equivalencia: Sea A un conjunto no vacío, R una relación de equivalencia en A y x un elemento fijo en A. Al conjunto de todos los elementos de A relacionados con x, se le denomina clase de equivalencia de x con respecto a R y se le denota: x. En consecuencia, = {y ∈ A / y R x}. y ∈ ⇔ y ∈ A ∧ y R x. y ∉ ⇔ y ∉ A ∨ y x.
  • 5. El elemento fijo x se llama representante de clase. Teorema. Sea R una relación de equivalencia en un conjunto no vacío A. Entonces,  ≠ 0 para cualquier x ∈ A.  Si x, y ∈ A, entonces = ∨ = 0.  Sean: 1, 2, ... , n las clases de equivalencia de A. Entonces, 1 + 2 + ... + n = A. Demostración:  Como A ≠ 0, existe un x ∈ A y puesto que x R x, entonces: x ∈ Sean x,y ∈ A, x R y ∨ x y. Si x R y entonces = . En efecto, sea a ∈ ,a R x, y como x R y, a R y,luego a∈ . Por tanto, ⊂ . (1). Sea a ∈ y, a R y, como x R y,y R x,luego a R x, y por tanto a ∈ . En consecuencia ⊂ . (2). De (1) y (2), = . Si x y, entonces = 0. En efecto, si ≠ 0, existe un a tal que: a ∈ ∧ a ∈ , luego a R x ∧ a R y. Por simetría, x R a ∧ a R y, entonces por transitividad x R y. Absurdo! Luego. = 0.
  • 6. Sea R es una relación de equivalencia en A. El conjunto formado por todas las clases de equivalencia respecto a R, se llama conjunto cociente de A por R, y se denota A∉ R. En consecuencia, A∉ R = { / x ∈ A}. Partición de un conjunto A. Una partición de un conjunto A no vacío, es una colección de subconjuntos no vacíos A1, A2, ..., An de A tal que:  Ai Aj = 0, i ≠ j.  A1 + A2 + ... + An = A. La figura anterior es una representación gráfica de la partición P = {A1, A2, A3, A4, A5, A6} de un conjunto A.