Autor Tema: Conjunto cociente de una relación de equivalencia en los enteros

0 Usuarios y 1 Visitante están viendo este tema.

13 Octubre, 2020, 11:15 am
Leído 151 veces

Sintesis

  • $$\Large \color{red}\pi\,\pi$$
  • Mensajes: 33
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
Buenas, estaba intentando encontrar este conjunto cociente pero no sabia si esta bien hecho o si le falta algo, es el primero que hago con una relación definida en los enteros.

\( (a,b)\in{R}\Leftrightarrow{x-y=3k: k \in{\mathbb{Z}}} \)

Sea \( a\in{\mathbb{Z}} \) y \( K_a=\left\{{{x\in{\mathbb{Z}}: x\sim{a}}}\right\} \)

\( x\sim{a}\Longleftrightarrow{x-a=3k:k\in{\mathbb{Z}}}\Longleftrightarrow{x=3k+a:k\in{\mathbb{Z}}} \)

\( \forall{a,k}\in{\mathbb{Z}}:\left\{{\left\{{3k+a}\right\}}\right\}=\frac{\mathbb{Z}}{\sim{}} \)


13 Octubre, 2020, 11:20 am
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,812
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola

Buenas, estaba intentando encontrar este conjunto cociente pero no sabia si esta bien hecho o si le falta algo, es el primero que hago con una relación definida en los enteros.

\( (a,b)\in{R}\Leftrightarrow{x-y=3k: k \in{\mathbb{Z}}} \)

Sea \( a\in{\mathbb{Z}} \) y \( K_a=\left\{{{x\in{\mathbb{Z}}: x\sim{a}}}\right\} \)

\( x\sim{a}\Longleftrightarrow{x-a=3k:k\in{\mathbb{Z}}}\Longleftrightarrow{x=3k+a:k\in{\mathbb{Z}}} \)

\( \forall{a,k}\in{\mathbb{Z}}:\left\{{\left\{{3k+a}\right\}}\right\}=\frac{\mathbb{Z}}{\sim{}} \)

Técnicamente está bien. Quizá deberías de dejar claro cuantas clases hay: tres clases, ¿cuáles son?.

Saludos.

13 Octubre, 2020, 11:52 am
Respuesta #2

Sintesis

  • $$\Large \color{red}\pi\,\pi$$
  • Mensajes: 33
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
Hola

Buenas, estaba intentando encontrar este conjunto cociente pero no sabia si esta bien hecho o si le falta algo, es el primero que hago con una relación definida en los enteros.

\( (a,b)\in{R}\Leftrightarrow{x-y=3k: k \in{\mathbb{Z}}} \)

Sea \( a\in{\mathbb{Z}} \) y \( K_a=\left\{{{x\in{\mathbb{Z}}: x\sim{a}}}\right\} \)

\( x\sim{a}\Longleftrightarrow{x-a=3k:k\in{\mathbb{Z}}}\Longleftrightarrow{x=3k+a:k\in{\mathbb{Z}}} \)

\( \forall{a,k}\in{\mathbb{Z}}:\left\{{\left\{{3k+a}\right\}}\right\}=\frac{\mathbb{Z}}{\sim{}} \)

Técnicamente está bien. Quizá deberías de dejar claro cuantas clases hay: tres clases, ¿cuáles son?.

Saludos.

¿Puede ser tomar como los representantes de las clases como los posibles restos de la división de los enteros por 3?

Por \( 3|x-a  \)

\( \frac{Z}{\sim{}} = \left\{{\overline 0, \overline 1, \overline 2}\right\} \)

Gracias, saludos.

13 Octubre, 2020, 11:55 am
Respuesta #3

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,812
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola

¿Puede ser tomar como los representantes de las clases como los posibles restos de la división de los enteros por 3?

Por \( 3|x-a  \)

\( \frac{Z}{\sim{}} = \left\{{\overline 0, \overline 1, \overline 2}\right\} \)

Si.

Saludos.