stringtranslate.com

Clase de equivalencia

La congruencia es un ejemplo de una relación de equivalencia. Los dos triángulos más a la izquierda son congruentes, mientras que el tercero y el cuarto triángulos no son congruentes con ningún otro triángulo mostrado aquí. Por lo tanto, los dos primeros triángulos están en la misma clase de equivalencia, mientras que el tercero y el cuarto triángulos están cada uno en su propia clase de equivalencia.

En matemáticas , cuando los elementos de un conjunto tienen una noción de equivalencia (formalizada como una relación de equivalencia ), entonces se puede dividir naturalmente el conjunto en clases de equivalencia . Estas clases de equivalencia se construyen de modo que los elementos y pertenezcan a la misma clase de equivalencia si, y solo si , son equivalentes.

Formalmente, dado un conjunto y una relación de equivalencia sobre la clase de equivalencia de un elemento en se denota o, equivalentemente, para enfatizar su relación de equivalencia La definición de relaciones de equivalencia implica que las clases de equivalencia forman una partición de significado, que cada elemento del conjunto pertenece exactamente a una clase de equivalencia. El conjunto de las clases de equivalencia a veces se denomina conjunto cociente o espacio cociente de por y se denota por

Cuando el conjunto tiene alguna estructura (como una operación de grupo o una topología ) y la relación de equivalencia es compatible con esta estructura, el conjunto cociente suele heredar una estructura similar de su conjunto padre. Algunos ejemplos son los espacios cocientes en álgebra lineal , los espacios cocientes en topología , los grupos cocientes , los espacios homogéneos , los anillos cocientes , los monoides cocientes y las categorías cocientes .

Definición y notación

Una relación de equivalencia en un conjunto es una relación binaria que satisface las tres propiedades: [1]

La clase de equivalencia de un elemento se define como [2]

La palabra "clase" en el término "clase de equivalencia" puede considerarse generalmente como sinónimo de " conjunto ", aunque algunas clases de equivalencia no son conjuntos sino clases propias . Por ejemplo, "ser isomorfo " es una relación de equivalencia sobre grupos , y las clases de equivalencia, llamadas clases de isomorfismo , no son conjuntos.

El conjunto de todas las clases de equivalencia con respecto a una relación de equivalencia se denota como y se llama módulo (o el conjunto cociente depor).[3]Lafunción sobreyectivadesobrela que asigna cada elemento a su clase de equivalencia, se denomina sobreyección canónica , oproyección canónica.

Cada elemento de una clase de equivalencia caracteriza a la clase y puede utilizarse para representarla . Cuando se elige un elemento de este tipo, se le denomina representante de la clase. La elección de un representante en cada clase define una inyección de a X . Dado que su composición con la sobreyección canónica es la identidad de dicha inyección se denomina sección , al utilizar la terminología de la teoría de categorías .

A veces, hay una sección que es más "natural" que las otras. En este caso, los representantes se llaman representantes canónicos . Por ejemplo, en aritmética modular , para cada entero m mayor que 1 , la congruencia módulo m es una relación de equivalencia sobre los enteros, para la cual dos enteros a y b son equivalentes—en este caso, se dice congruentesi m divide esto se denota Cada clase contiene un único entero no negativo menor que y estos enteros son los representantes canónicos.

El uso de representantes para representar clases permite evitar considerar explícitamente las clases como conjuntos. En este caso, la sobreyección canónica que asigna un elemento a su clase se reemplaza por la función que asigna un elemento al representante de su clase. En el ejemplo anterior, esta función se denota y produce el resto de la división euclidiana de a por m .

Propiedades

Cada elemento de es un miembro de la clase de equivalencia Cada dos clases de equivalencia y son iguales o disjuntas . Por lo tanto, el conjunto de todas las clases de equivalencia de forma una partición de : cada elemento de pertenece a una y solo una clase de equivalencia. [4] A la inversa, cada partición de proviene de una relación de equivalencia de esta manera, según la cual si y solo si y pertenecen al mismo conjunto de la partición. [5]

De las propiedades de la sección anterior se deduce que si es una relación de equivalencia en un conjunto y y son dos elementos de las siguientes afirmaciones son equivalentes:

Ejemplos

Representación gráfica

Gráfica de un ejemplo de equivalencia con 7 clases

Un grafo no dirigido puede asociarse a cualquier relación simétrica en un conjunto donde los vértices son los elementos de y dos vértices y están unidos si y solo si Entre estos grafos están los grafos de relaciones de equivalencia. Estos grafos, llamados grafos de conglomerados , se caracterizan por ser los grafos tales que los componentes conectados son camarillas . [2]

Invariantes

Si es una relación de equivalencia en y es una propiedad de elementos de tal que siempre que sea verdadero si es verdadero, entonces se dice que la propiedad es un invariante de o bien definido bajo la relación

Un caso particular frecuente ocurre cuando es una función de a otro conjunto ; si siempre que entonces se dice que es invariante de clase bajo o simplemente invariante bajo Esto ocurre, por ejemplo, en la teoría de caracteres de los grupos finitos. Algunos autores usan "compatible con " o simplemente "respeta " en lugar de "invariante bajo ".

Cualquier función es invariante de clase según la cual si y solo si La clase de equivalencia de es el conjunto de todos los elementos en los que se asigna , es decir, la clase es la imagen inversa de Esta relación de equivalencia se conoce como el núcleo de

En términos más generales, una función puede asignar argumentos equivalentes (bajo una relación de equivalencia en ) a valores equivalentes (bajo una relación de equivalencia en ). Una función de este tipo es un morfismo de conjuntos equipados con una relación de equivalencia.

Espacio cociente en topología

En topología , un espacio cociente es un espacio topológico formado sobre el conjunto de clases de equivalencia de una relación de equivalencia en un espacio topológico, utilizando la topología del espacio original para crear la topología en el conjunto de clases de equivalencia.

En álgebra abstracta , las relaciones de congruencia en el conjunto subyacente de un álgebra permiten que el álgebra induzca un álgebra en las clases de equivalencia de la relación, llamada álgebra cociente . En álgebra lineal , un espacio cociente es un espacio vectorial formado al tomar un grupo cociente , donde el homomorfismo cociente es una función lineal . Por extensión, en álgebra abstracta, el término espacio cociente puede usarse para módulos cocientes , anillos cocientes , grupos cocientes o cualquier álgebra cociente. Sin embargo, el uso del término para los casos más generales puede ser, con la misma frecuencia, por analogía con las órbitas de una acción de grupo.

Las órbitas de una acción de grupo sobre un conjunto pueden llamarse espacio cociente de la acción sobre el conjunto, en particular cuando las órbitas de la acción de grupo son las clases laterales derechas de un subgrupo de un grupo, que surgen de la acción del subgrupo sobre el grupo por traslaciones izquierdas, o respectivamente las clases laterales izquierdas como órbitas bajo traslación derecha.

Un subgrupo normal de un grupo topológico, que actúa sobre el grupo mediante una acción de traducción, es un espacio cociente en los sentidos de topología, álgebra abstracta y acciones de grupo simultáneamente.

Aunque el término puede utilizarse para cualquier conjunto de clases de equivalencia de una relación de equivalencia, posiblemente con una estructura adicional, la intención de utilizar el término es generalmente comparar ese tipo de relación de equivalencia en un conjunto con una relación de equivalencia que induce alguna estructura en el conjunto de clases de equivalencia a partir de una estructura del mismo tipo en las órbitas de una acción de grupo o hacia ellas. Tanto el sentido de una estructura preservada por una relación de equivalencia como el estudio de invariantes bajo acciones de grupo conducen a la definición de invariantes de relaciones de equivalencia dada anteriormente.

Véase también

Notas

  1. ^ Devlin 2004, pág. 122.
  2. ^ abc Devlin 2004, pág. 123.
  3. ^ Wolf 1998, pág. 178
  4. ^ Maddox 2002, pág. 74, Teoría 2.5.15
  5. ^ Avelsgaard 1989, pág. 132, Teoría 3.16
  6. ^ Avelsgaard 1989, pág. 127
  7. ^ Maddox 2002, págs. 77-78

Referencias

Lectura adicional

Enlaces externos