SlideShare una empresa de Scribd logo
1 de 13
Descargar para leer sin conexión
Particiones y relaciones de
equivalencias
Def. Una partición(clase de equivalencia) es una descomposición d
conjunto en celdas, tales que todo elemento del conjunto está
exactamente en una de las celdas.
Sea Q el conjunto de los números racionales y sea 𝑏 =
2
3
entonces una
celda para b
[𝑏] = {
2
3
, −
2
3
,
4
6
, −
4
6
,
6
9
, −
6
9
, … }
b = { ൗ
2𝑛
3𝑛
𝑛 𝜖 𝑍, 𝑛 ≠ 0}
Teorema0.1(Fraleigh)
• Sea 𝑆 un conjunto no vacío y sea ~ una relación entre elementos de 𝑆 que
satisface las propiedades siguientes
• 1) Reflexividad:𝑎~𝑎 ∀𝑎 ∈ 𝑆
• 2) Simetría:𝑎~𝑏 → 𝑏~𝑎
• 3) Transitividad: 𝑎~𝑏, 𝑦 𝑏~𝑐 → 𝑎~𝑐
• Entonces ~ produce una partición una partición natural de S, donde
[a]={𝑥 ∈ 𝑆, 𝑥~𝑎}
Es la celda que contiene a 𝑎 para todas las 𝑎 ∈ 𝑆. Recíprocamente, cada
partición de S da lugar una relación natural R que satisface las propiedades
reflexivas, simétrica, y transitiva si define 𝑎~𝑏 con 𝑎 ∈ 𝑆.
Ejemplo0.1
• Dado 𝐴 = {1,2,3,4,5,6}
• Y si R = { 1,1 , 2,2 , 3,3 , 4,4 , 4,5 , 5 , 4 , 5,5 , (6,6)}
• Es R una relación de equivalencia?
• Reflexiva: para cada ∀𝑥 ∈ 𝐴, (𝑥, 𝑥) ∈ 𝑅
• Simétrica: es claro que 𝑥, 𝑦 ∈ 𝑅 también (𝑦, 𝑥) ∈ 𝑅
• Transitiva: vea que si 𝑥, 𝑦 , (y, z) ∈ 𝑅 → (𝑥, 𝑧) ∈ 𝑅
Clases de equivalencias
• [1]={1}, [2]={2}, [3]={3}, [4]={4,5}, [5]={4,5}, [6]={6}
• Conjunto cociente o partición de A
• { 1 , 2 , 3 , 4,5 , {6}}
Ejercicio para socializar
• Dado 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓}
• Y 𝑅 =
{ 𝑎, 𝑎 , (𝑎, 𝑏), (𝑏, 𝑎), (𝑏, 𝑏), (𝑐, 𝑒), (𝑑, 𝑑), (𝑐, 𝑐), (𝑒, 𝑐), (𝑒, 𝑒), (𝑓, 𝑓)}
• ¿es una relación de equivalencia?
• Escriba las clases de equivalencias
• Escriba el conjunto cociente
Relación de equivalencia y clases de
equivalencia.
Conjunto cociente
Es la colección de todos las clases de equivalencias de elementos de un
conjunto S bajo una relacion de equivalencia.
ൗ
𝑆
𝑅 = { 𝑎 : 𝑎 ∈ 𝑆}
Ejemplo 0.2
• Verifique que
𝑚
𝑛
~
𝑟
𝑠
sí y sólo si ms = nr es una relación de
equivalencia en el conjunto de expresiones de cocientes formales.
• Solución:
• Reflexiva
•
𝑚
𝑛
~
𝑚
𝑛
ya que 𝑚𝑛 = 𝑛𝑚
• Simetría
•
𝑚
𝑛
~
𝑟
𝑠
implica que 𝑚𝑠 = 𝑛𝑟, luego 𝑠𝑚 = 𝑟𝑛 y 𝑟𝑛 = 𝑠𝑚 por tanto
•
𝑟
𝑠
~
𝑚
𝑛
Ejemplo 0.2
• Verifique que
𝑚
𝑛
~
𝑟
𝑠
sí y sólo si ms = nr es una relación de equivalencia en
el conjuntos de expresiones de cocientes formales.
• Solución:
• Transitiva
• Si
𝑚
𝑛
~
𝑟
𝑠
𝑦
𝑟
𝑠
~
𝑢
𝑣
debe verificarse también
𝑚
𝑛
~
𝑢
𝑣
.
• Puesto que 𝑚𝑠 = 𝑟𝑛 y 𝑟𝑣 = 𝑠𝑢 se puede 𝑚𝑠𝑣 = 𝑟𝑛𝑣 y 𝑟𝑣𝑛 = 𝑠𝑢𝑛
• Y 𝑚𝑠𝑣 = 𝑟𝑣𝑛 y 𝑟𝑣𝑛 = 𝑠𝑢𝑛
• Así que 𝑚𝑣𝑠 = 𝑣𝑚𝑠 = 𝑣𝑛𝑟 = 𝑛𝑟𝑣 = 𝑛𝑠𝑢 = 𝑛𝑢𝑠
• Por lo que 𝑚𝑣𝑠 = 𝑛𝑢𝑠 y como 𝑠 ≠ 0, 𝑚𝑣 = 𝑛𝑢 implicando
𝑚
𝑛
~
𝑢
𝑣
.
Para socializar
• Sea R una relación en el conjunto Z mediante 𝑛𝑅𝑚 ↔ 𝑛𝑚 ≥ 0 y
verifique si R es una relación de equivalencia.
• Reflexividad
• ∀𝑎 ∈ 𝑍, 𝑎𝑅𝑎, puesto que 𝑎 ∙ 𝑎 = 𝑎2 ≥ 0.
• Simetría
• ∀𝑎, 𝑏 ∈ 𝑍, 𝑎𝑅𝑏 → 𝑎𝑏 ≥ 0 ≡ 𝑏𝑎 ≥ 0 → 𝑏𝑅𝑎.
• Transitividad
• 𝑎𝑅𝑏 y 𝑏𝑅𝑐 no garantiza que 𝑎𝑅𝑐
• Observe que −2𝑅 0 𝑦 0𝑅4no implica que −2𝑅4.
Congruencia módulo n
• Para ℎ, 𝑘 ∈ 𝑍 se define la operación:
• ℎ 𝑐𝑜𝑛𝑔𝑟𝑢𝑒𝑛𝑡𝑒 𝑐𝑜𝑛 𝑘 𝑚ó𝑑𝑢𝑙𝑜 𝑛 simbólicamente ℎ ≡ 𝑘(𝑚𝑜𝑑 𝑛)
• Si ℎ − 𝑘es múltiplo de n.
• Por ejemplo
• 41 ≡ 9(𝑚𝑜𝑑 8) ya que 41 − 9 = 32 = 4(8)
• 25 ≡ 13(𝑚𝑜𝑑 6) ya que 25 − 13 = 12 = 2(6)
Para socializar
• Sobre Z se define la relación R, dada por
• 𝑎𝑅𝑏 ↔ {∃𝑘 ∈ 𝑍: 𝑏 − 𝑎 = 5𝑘}, encuentre [0],[1],[2],[3],[4],[5].Escriba
el conjunto cociente.
• Sugerencia: vea que [3] = {𝑥 ∈ 𝑍: 3𝑅𝑥}
• 3 = {… − 7, −2, 3, 8, 13, … }
Particiones y relaciones de equivalencia.pdf
Particiones y relaciones de equivalencia.pdf
Particiones y relaciones de equivalencia.pdf

Más contenido relacionado

La actualidad más candente

Ejercicios de integrales triples
Ejercicios de integrales triplesEjercicios de integrales triples
Ejercicios de integrales triplesCarlos Quiroz
 
Relacion de equivalencia
Relacion de equivalenciaRelacion de equivalencia
Relacion de equivalenciaJulioBravo41
 
Diagonalizacion matrices
Diagonalizacion matricesDiagonalizacion matrices
Diagonalizacion matricesmozart32621
 
Relaciones binarias power point
Relaciones binarias power pointRelaciones binarias power point
Relaciones binarias power pointraymel-2411
 
Operaciones entre conjuntos matemática
Operaciones entre conjuntos matemáticaOperaciones entre conjuntos matemática
Operaciones entre conjuntos matemáticacristian cristian
 
Teoria de Conjuntos
Teoria de ConjuntosTeoria de Conjuntos
Teoria de Conjuntosxavierzec
 
1 algebra lineal y vectores aleatorios
1 algebra lineal y vectores aleatorios1 algebra lineal y vectores aleatorios
1 algebra lineal y vectores aleatoriosDAISY PAEZ
 
TEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOSTEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOSCESAR V
 
Eigen valores y Eigen vectores
Eigen valores y Eigen vectoresEigen valores y Eigen vectores
Eigen valores y Eigen vectoresOmar Arguello
 
Relación binaria entre conjuntos
Relación binaria entre conjuntosRelación binaria entre conjuntos
Relación binaria entre conjuntosLuis Antonio Siza
 
Intro teoría medida pdf
Intro teoría medida pdfIntro teoría medida pdf
Intro teoría medida pdfbdeotto
 
Algebra lineal
Algebra linealAlgebra lineal
Algebra linealIvan Lopez
 

La actualidad más candente (20)

Relaciones binarias
Relaciones binariasRelaciones binarias
Relaciones binarias
 
Vectores en r2 y r3
Vectores en r2 y r3Vectores en r2 y r3
Vectores en r2 y r3
 
Operaciones entre conjuntos
Operaciones entre conjuntosOperaciones entre conjuntos
Operaciones entre conjuntos
 
Relaciones y Grafos
Relaciones y GrafosRelaciones y Grafos
Relaciones y Grafos
 
Ejercicios de integrales triples
Ejercicios de integrales triplesEjercicios de integrales triples
Ejercicios de integrales triples
 
Relacion de equivalencia
Relacion de equivalenciaRelacion de equivalencia
Relacion de equivalencia
 
Diagonalizacion matrices
Diagonalizacion matricesDiagonalizacion matrices
Diagonalizacion matrices
 
Relaciones binarias power point
Relaciones binarias power pointRelaciones binarias power point
Relaciones binarias power point
 
Operaciones entre conjuntos matemática
Operaciones entre conjuntos matemáticaOperaciones entre conjuntos matemática
Operaciones entre conjuntos matemática
 
Reticulo
ReticuloReticulo
Reticulo
 
Teoria de Conjuntos
Teoria de ConjuntosTeoria de Conjuntos
Teoria de Conjuntos
 
Tema 3 operaciones con conjuntos
Tema 3   operaciones con conjuntosTema 3   operaciones con conjuntos
Tema 3 operaciones con conjuntos
 
1 algebra lineal y vectores aleatorios
1 algebra lineal y vectores aleatorios1 algebra lineal y vectores aleatorios
1 algebra lineal y vectores aleatorios
 
TEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOSTEORÍA DE CONJUNTOS
TEORÍA DE CONJUNTOS
 
Eigen valores y Eigen vectores
Eigen valores y Eigen vectoresEigen valores y Eigen vectores
Eigen valores y Eigen vectores
 
Relación binaria entre conjuntos
Relación binaria entre conjuntosRelación binaria entre conjuntos
Relación binaria entre conjuntos
 
Intro teoría medida pdf
Intro teoría medida pdfIntro teoría medida pdf
Intro teoría medida pdf
 
Cuadernillo de algebra espe 12 12 12
Cuadernillo de algebra espe 12 12 12Cuadernillo de algebra espe 12 12 12
Cuadernillo de algebra espe 12 12 12
 
Algebra lineal
Algebra linealAlgebra lineal
Algebra lineal
 
Algebra 1 - Relaciones
Algebra 1 - Relaciones Algebra 1 - Relaciones
Algebra 1 - Relaciones
 

Similar a Particiones y relaciones de equivalencia.pdf

Problemasalgebra20192p
Problemasalgebra20192pProblemasalgebra20192p
Problemasalgebra20192pAngel Guale
 
Espacios Vectoriales de álgebra lineal primero
Espacios Vectoriales de álgebra lineal primeroEspacios Vectoriales de álgebra lineal primero
Espacios Vectoriales de álgebra lineal primeroAnthonyMarceloMuelaC
 
Relaciones y grafos
Relaciones y grafosRelaciones y grafos
Relaciones y grafosJesusCM7
 
Relaciones de Orden y Equivalencia_UFT
Relaciones de Orden y Equivalencia_UFTRelaciones de Orden y Equivalencia_UFT
Relaciones de Orden y Equivalencia_UFTKarla Anza
 
Relaciones de Orden y Equivalencia_UFT
Relaciones de Orden y Equivalencia_UFTRelaciones de Orden y Equivalencia_UFT
Relaciones de Orden y Equivalencia_UFTFrancisco Lucena A
 
Lisbeth Dias relaciones de orden y de equivalencias
Lisbeth Dias relaciones de orden y de equivalenciasLisbeth Dias relaciones de orden y de equivalencias
Lisbeth Dias relaciones de orden y de equivalenciaslisbethdias
 
Relaciones de orden y equivalencia.walter scarsella
Relaciones de orden y equivalencia.walter scarsellaRelaciones de orden y equivalencia.walter scarsella
Relaciones de orden y equivalencia.walter scarsellaWalterPaz15
 
Academia sabatina jóvenes talentos
Academia sabatina jóvenes talentosAcademia sabatina jóvenes talentos
Academia sabatina jóvenes talentosRolando Vega
 
Academia sabatina jóvenes talentos
Academia sabatina jóvenes talentosAcademia sabatina jóvenes talentos
Academia sabatina jóvenes talentosRolando Vega
 
Segunda tarrea tecer depto aplicaciones
Segunda tarrea tecer depto aplicacionesSegunda tarrea tecer depto aplicaciones
Segunda tarrea tecer depto aplicacionesfernando palomo
 
conjuntos desigualdades y valor absoluto.docx
conjuntos desigualdades y valor absoluto.docxconjuntos desigualdades y valor absoluto.docx
conjuntos desigualdades y valor absoluto.docxjoansira2425
 
CLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptx
CLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptxCLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptx
CLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptxIvanTerrientes
 
Relaciones....
Relaciones.... Relaciones....
Relaciones.... Vic03
 
Sucesiones
SucesionesSucesiones
Sucesionesdanbaru
 
Números Reales y Plano Numérico. Yeimar Gil - Sección CO0113.pdf
Números Reales y Plano Numérico. Yeimar Gil - Sección CO0113.pdfNúmeros Reales y Plano Numérico. Yeimar Gil - Sección CO0113.pdf
Números Reales y Plano Numérico. Yeimar Gil - Sección CO0113.pdfYeimarGil1
 
2.exposicion escrita algebra-ici-fes-ar
2.exposicion escrita algebra-ici-fes-ar2.exposicion escrita algebra-ici-fes-ar
2.exposicion escrita algebra-ici-fes-arPEDRO LARA MALDONADO
 
DOC-20230621-WA0002..pdf
DOC-20230621-WA0002..pdfDOC-20230621-WA0002..pdf
DOC-20230621-WA0002..pdfLpezTorres2
 

Similar a Particiones y relaciones de equivalencia.pdf (20)

Relaciones
RelacionesRelaciones
Relaciones
 
Problemasalgebra20192p
Problemasalgebra20192pProblemasalgebra20192p
Problemasalgebra20192p
 
Espacios Vectoriales de álgebra lineal primero
Espacios Vectoriales de álgebra lineal primeroEspacios Vectoriales de álgebra lineal primero
Espacios Vectoriales de álgebra lineal primero
 
Relaciones y grafos
Relaciones y grafosRelaciones y grafos
Relaciones y grafos
 
Relaciones de Orden y Equivalencia_UFT
Relaciones de Orden y Equivalencia_UFTRelaciones de Orden y Equivalencia_UFT
Relaciones de Orden y Equivalencia_UFT
 
Relaciones de Orden y Equivalencia_UFT
Relaciones de Orden y Equivalencia_UFTRelaciones de Orden y Equivalencia_UFT
Relaciones de Orden y Equivalencia_UFT
 
Lisbeth Dias relaciones de orden y de equivalencias
Lisbeth Dias relaciones de orden y de equivalenciasLisbeth Dias relaciones de orden y de equivalencias
Lisbeth Dias relaciones de orden y de equivalencias
 
Relaciones de orden y equivalencia.walter scarsella
Relaciones de orden y equivalencia.walter scarsellaRelaciones de orden y equivalencia.walter scarsella
Relaciones de orden y equivalencia.walter scarsella
 
Academia sabatina jóvenes talentos
Academia sabatina jóvenes talentosAcademia sabatina jóvenes talentos
Academia sabatina jóvenes talentos
 
Academia sabatina jóvenes talentos
Academia sabatina jóvenes talentosAcademia sabatina jóvenes talentos
Academia sabatina jóvenes talentos
 
Relaciones
RelacionesRelaciones
Relaciones
 
Segunda tarrea tecer depto aplicaciones
Segunda tarrea tecer depto aplicacionesSegunda tarrea tecer depto aplicaciones
Segunda tarrea tecer depto aplicaciones
 
conjuntos desigualdades y valor absoluto.docx
conjuntos desigualdades y valor absoluto.docxconjuntos desigualdades y valor absoluto.docx
conjuntos desigualdades y valor absoluto.docx
 
CLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptx
CLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptxCLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptx
CLASE-2-POLINOMIO-SERIES-TAYLOR (1).pptx
 
Relaciones....
Relaciones.... Relaciones....
Relaciones....
 
Sucesiones
SucesionesSucesiones
Sucesiones
 
Números Reales y Plano Numérico. Yeimar Gil - Sección CO0113.pdf
Números Reales y Plano Numérico. Yeimar Gil - Sección CO0113.pdfNúmeros Reales y Plano Numérico. Yeimar Gil - Sección CO0113.pdf
Números Reales y Plano Numérico. Yeimar Gil - Sección CO0113.pdf
 
2.exposicion escrita algebra-ici-fes-ar
2.exposicion escrita algebra-ici-fes-ar2.exposicion escrita algebra-ici-fes-ar
2.exposicion escrita algebra-ici-fes-ar
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
DOC-20230621-WA0002..pdf
DOC-20230621-WA0002..pdfDOC-20230621-WA0002..pdf
DOC-20230621-WA0002..pdf
 

Último

Indicaciones y contraindicaciones de la sonda vesical y sonda nasogastrica.pptx
Indicaciones y contraindicaciones de la sonda vesical y sonda nasogastrica.pptxIndicaciones y contraindicaciones de la sonda vesical y sonda nasogastrica.pptx
Indicaciones y contraindicaciones de la sonda vesical y sonda nasogastrica.pptx Estefa RM9
 
PARASITOSIS INTESTINAL en Pediatría, Enfermería y Familiar II
PARASITOSIS INTESTINAL en Pediatría, Enfermería y Familiar IIPARASITOSIS INTESTINAL en Pediatría, Enfermería y Familiar II
PARASITOSIS INTESTINAL en Pediatría, Enfermería y Familiar IIgeraldinagutierrez81
 
PREECLAMPSIA.pptx clave azul en gestantes
PREECLAMPSIA.pptx clave azul en gestantesPREECLAMPSIA.pptx clave azul en gestantes
PREECLAMPSIA.pptx clave azul en gestantesLuzIreneBancesGuevar
 
Expresiones comportamentales de la sexualidad.ppt
Expresiones comportamentales de la sexualidad.pptExpresiones comportamentales de la sexualidad.ppt
Expresiones comportamentales de la sexualidad.pptJuanAlbertoGutierrez11
 
PROYECTO 3 4 5 AÑOS del nivel inicial
PROYECTO    3 4 5 AÑOS del nivel inicialPROYECTO    3 4 5 AÑOS del nivel inicial
PROYECTO 3 4 5 AÑOS del nivel inicialArtemisaReateguiCaro
 
Examen fisico del Recien nacido Peru.pptx
Examen fisico del Recien nacido Peru.pptxExamen fisico del Recien nacido Peru.pptx
Examen fisico del Recien nacido Peru.pptxBrandonMendivilEscan
 

Último (6)

Indicaciones y contraindicaciones de la sonda vesical y sonda nasogastrica.pptx
Indicaciones y contraindicaciones de la sonda vesical y sonda nasogastrica.pptxIndicaciones y contraindicaciones de la sonda vesical y sonda nasogastrica.pptx
Indicaciones y contraindicaciones de la sonda vesical y sonda nasogastrica.pptx
 
PARASITOSIS INTESTINAL en Pediatría, Enfermería y Familiar II
PARASITOSIS INTESTINAL en Pediatría, Enfermería y Familiar IIPARASITOSIS INTESTINAL en Pediatría, Enfermería y Familiar II
PARASITOSIS INTESTINAL en Pediatría, Enfermería y Familiar II
 
PREECLAMPSIA.pptx clave azul en gestantes
PREECLAMPSIA.pptx clave azul en gestantesPREECLAMPSIA.pptx clave azul en gestantes
PREECLAMPSIA.pptx clave azul en gestantes
 
Expresiones comportamentales de la sexualidad.ppt
Expresiones comportamentales de la sexualidad.pptExpresiones comportamentales de la sexualidad.ppt
Expresiones comportamentales de la sexualidad.ppt
 
PROYECTO 3 4 5 AÑOS del nivel inicial
PROYECTO    3 4 5 AÑOS del nivel inicialPROYECTO    3 4 5 AÑOS del nivel inicial
PROYECTO 3 4 5 AÑOS del nivel inicial
 
Examen fisico del Recien nacido Peru.pptx
Examen fisico del Recien nacido Peru.pptxExamen fisico del Recien nacido Peru.pptx
Examen fisico del Recien nacido Peru.pptx
 

Particiones y relaciones de equivalencia.pdf

  • 1. Particiones y relaciones de equivalencias Def. Una partición(clase de equivalencia) es una descomposición d conjunto en celdas, tales que todo elemento del conjunto está exactamente en una de las celdas. Sea Q el conjunto de los números racionales y sea 𝑏 = 2 3 entonces una celda para b [𝑏] = { 2 3 , − 2 3 , 4 6 , − 4 6 , 6 9 , − 6 9 , … } b = { ൗ 2𝑛 3𝑛 𝑛 𝜖 𝑍, 𝑛 ≠ 0}
  • 2. Teorema0.1(Fraleigh) • Sea 𝑆 un conjunto no vacío y sea ~ una relación entre elementos de 𝑆 que satisface las propiedades siguientes • 1) Reflexividad:𝑎~𝑎 ∀𝑎 ∈ 𝑆 • 2) Simetría:𝑎~𝑏 → 𝑏~𝑎 • 3) Transitividad: 𝑎~𝑏, 𝑦 𝑏~𝑐 → 𝑎~𝑐 • Entonces ~ produce una partición una partición natural de S, donde [a]={𝑥 ∈ 𝑆, 𝑥~𝑎} Es la celda que contiene a 𝑎 para todas las 𝑎 ∈ 𝑆. Recíprocamente, cada partición de S da lugar una relación natural R que satisface las propiedades reflexivas, simétrica, y transitiva si define 𝑎~𝑏 con 𝑎 ∈ 𝑆.
  • 3. Ejemplo0.1 • Dado 𝐴 = {1,2,3,4,5,6} • Y si R = { 1,1 , 2,2 , 3,3 , 4,4 , 4,5 , 5 , 4 , 5,5 , (6,6)} • Es R una relación de equivalencia? • Reflexiva: para cada ∀𝑥 ∈ 𝐴, (𝑥, 𝑥) ∈ 𝑅 • Simétrica: es claro que 𝑥, 𝑦 ∈ 𝑅 también (𝑦, 𝑥) ∈ 𝑅 • Transitiva: vea que si 𝑥, 𝑦 , (y, z) ∈ 𝑅 → (𝑥, 𝑧) ∈ 𝑅 Clases de equivalencias • [1]={1}, [2]={2}, [3]={3}, [4]={4,5}, [5]={4,5}, [6]={6} • Conjunto cociente o partición de A • { 1 , 2 , 3 , 4,5 , {6}}
  • 4. Ejercicio para socializar • Dado 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓} • Y 𝑅 = { 𝑎, 𝑎 , (𝑎, 𝑏), (𝑏, 𝑎), (𝑏, 𝑏), (𝑐, 𝑒), (𝑑, 𝑑), (𝑐, 𝑐), (𝑒, 𝑐), (𝑒, 𝑒), (𝑓, 𝑓)} • ¿es una relación de equivalencia? • Escriba las clases de equivalencias • Escriba el conjunto cociente
  • 5. Relación de equivalencia y clases de equivalencia. Conjunto cociente Es la colección de todos las clases de equivalencias de elementos de un conjunto S bajo una relacion de equivalencia. ൗ 𝑆 𝑅 = { 𝑎 : 𝑎 ∈ 𝑆}
  • 6. Ejemplo 0.2 • Verifique que 𝑚 𝑛 ~ 𝑟 𝑠 sí y sólo si ms = nr es una relación de equivalencia en el conjunto de expresiones de cocientes formales. • Solución: • Reflexiva • 𝑚 𝑛 ~ 𝑚 𝑛 ya que 𝑚𝑛 = 𝑛𝑚 • Simetría • 𝑚 𝑛 ~ 𝑟 𝑠 implica que 𝑚𝑠 = 𝑛𝑟, luego 𝑠𝑚 = 𝑟𝑛 y 𝑟𝑛 = 𝑠𝑚 por tanto • 𝑟 𝑠 ~ 𝑚 𝑛
  • 7. Ejemplo 0.2 • Verifique que 𝑚 𝑛 ~ 𝑟 𝑠 sí y sólo si ms = nr es una relación de equivalencia en el conjuntos de expresiones de cocientes formales. • Solución: • Transitiva • Si 𝑚 𝑛 ~ 𝑟 𝑠 𝑦 𝑟 𝑠 ~ 𝑢 𝑣 debe verificarse también 𝑚 𝑛 ~ 𝑢 𝑣 . • Puesto que 𝑚𝑠 = 𝑟𝑛 y 𝑟𝑣 = 𝑠𝑢 se puede 𝑚𝑠𝑣 = 𝑟𝑛𝑣 y 𝑟𝑣𝑛 = 𝑠𝑢𝑛 • Y 𝑚𝑠𝑣 = 𝑟𝑣𝑛 y 𝑟𝑣𝑛 = 𝑠𝑢𝑛 • Así que 𝑚𝑣𝑠 = 𝑣𝑚𝑠 = 𝑣𝑛𝑟 = 𝑛𝑟𝑣 = 𝑛𝑠𝑢 = 𝑛𝑢𝑠 • Por lo que 𝑚𝑣𝑠 = 𝑛𝑢𝑠 y como 𝑠 ≠ 0, 𝑚𝑣 = 𝑛𝑢 implicando 𝑚 𝑛 ~ 𝑢 𝑣 .
  • 8. Para socializar • Sea R una relación en el conjunto Z mediante 𝑛𝑅𝑚 ↔ 𝑛𝑚 ≥ 0 y verifique si R es una relación de equivalencia. • Reflexividad • ∀𝑎 ∈ 𝑍, 𝑎𝑅𝑎, puesto que 𝑎 ∙ 𝑎 = 𝑎2 ≥ 0. • Simetría • ∀𝑎, 𝑏 ∈ 𝑍, 𝑎𝑅𝑏 → 𝑎𝑏 ≥ 0 ≡ 𝑏𝑎 ≥ 0 → 𝑏𝑅𝑎. • Transitividad • 𝑎𝑅𝑏 y 𝑏𝑅𝑐 no garantiza que 𝑎𝑅𝑐 • Observe que −2𝑅 0 𝑦 0𝑅4no implica que −2𝑅4.
  • 9. Congruencia módulo n • Para ℎ, 𝑘 ∈ 𝑍 se define la operación: • ℎ 𝑐𝑜𝑛𝑔𝑟𝑢𝑒𝑛𝑡𝑒 𝑐𝑜𝑛 𝑘 𝑚ó𝑑𝑢𝑙𝑜 𝑛 simbólicamente ℎ ≡ 𝑘(𝑚𝑜𝑑 𝑛) • Si ℎ − 𝑘es múltiplo de n. • Por ejemplo • 41 ≡ 9(𝑚𝑜𝑑 8) ya que 41 − 9 = 32 = 4(8) • 25 ≡ 13(𝑚𝑜𝑑 6) ya que 25 − 13 = 12 = 2(6)
  • 10. Para socializar • Sobre Z se define la relación R, dada por • 𝑎𝑅𝑏 ↔ {∃𝑘 ∈ 𝑍: 𝑏 − 𝑎 = 5𝑘}, encuentre [0],[1],[2],[3],[4],[5].Escriba el conjunto cociente. • Sugerencia: vea que [3] = {𝑥 ∈ 𝑍: 3𝑅𝑥} • 3 = {… − 7, −2, 3, 8, 13, … }