Clase de equivalencia

De Wikipedia, la enciclopedia libre

Este artculo no citar cualquier referencias o fuentes . Por
favor, ayudar a mejorar este artculo mediante la adicin de citas
de fuentes confiables . Material de referencias puede ser
impugnado y eliminado . (diciembre de 2009)
Este artculo es sobre la equivalencia de las matemticas , por equivalencia
en la msica ver clase de equivalencia (msica) .
En las matemticas , dado un conjunto X y una relacin de
equivalencia ~ en X , la clase de equivalencia de un elemento
de una en X es el subconjunto de todos los elementos de X que son
equivalentes a una . Se desprende de la definicin de las relaciones de
equivalencia que las clases de equivalencia forman una particin
de X . El conjunto cociente de X por ~ es el conjunto de las clases de
equivalencia. Se denota como X / ~ .
Cuando X est equipado con algn tipo de estructura, y la relacin de
equivalencia se define en relacin con esta estructura, el conjunto cociente
hereda a menudo algn tipo de estructura relacionada. Los ejemplos
incluyen espacios cocientes en lgebra lineal , espacios cocientes en la
topologa , grupos cociente , espacios homogneos , anillos
cociente , monoides cociente , y la categora cociente .
Contenido
[ ocultar ]

1 Notacin y definicin formal

2 Analoga con la divisin

3 Ejemplos

4 Propiedades

5 invariantes

6 Vase tambin

Notacin y definicin formal [ edit ]

Una relacin de equivalencia es una relacin binaria ~ satisfacer tres
propiedades:

Para cada elemento de una en X , un ~ a ( reflexividad ),

Para cada dos elementos de una y b en X , si un ~ b ,

entonces b ~ un ( simetra )

Por cada tres elementos de un , b , y c en X , si un ~ b y b ~ c , a

continuacin, un ~ c ( transitividad ).

La clase de equivalencia de un elemento de una se denota [ un ] y se puede

definir como el conjunto

de elementos que estn relacionados con un por ~ . La notacin

alternativa [ un ] R puede ser utilizado para denotar la clase de equivalencia del
elemento de una especficamente con respecto a la relacin de
equivalencia R . Esto se dice que es la R -clase de equivalencia de una .
El conjunto de todas las clases de equivalencia en X dado una relacin de
equivalencia ~ se denota como X / ~ y llam al conjunto
cociente de X por ~ . Cada relacin de equivalencia tiene unmapa de
proyeccin cannica que se asigna a cada elemento de su clase de
equivalencia, la funcin sobreyectiva de X a X / ~ dada por ( x ) = [ x ] .
Analoga con la divisin [ editar ]
Esta operacin puede ser pensado como el acto de dividir el conjunto de
entrada por la relacin de equivalencia, por lo tanto, tanto el nombre de
"cociente", y la notacin, que son a la vez una reminiscencia de la divisin. Una
forma en la que el conjunto cociente se asemeja a la divisin es que si X es
finito y las clases de equivalencia son todos equinumerous , a continuacin, el
nmero de clases de equivalencia en X / ~ se puede calcular dividiendo el
nmero de elementos en X por el nmero de elementos en cada clase de
equivalencia. El conjunto cociente X / ~puede ser considerado como el
conjunto X con todos los puntos equivalentes identificados.
Ejemplos [ editar ]

Si X es el conjunto de todos los coches, y ~ es la relacin de

equivalencia "tiene el mismo color que", a continuacin, una clase de
equivalencia en particular se compone de todos los coches verdes. X /
~ pudieron ser identificados, naturalmente, con el conjunto de todos los
colores de los coches ( cardinalidad de X / ~ sera el nmero de todos los
colores de los coches)

Considere el mdulo 2 relacin de equivalencia en el conjunto Z de

los nmeros enteros : x ~ y si y slo si su diferencia x - y es un nmero
par . Esta relacin da lugar a exactamente dos clases de equivalencia:
una clase que consiste en todos los nmeros pares, y la otra que

consiste en todos los nmeros impares. Bajo esta

relacin [7] , [9] y [1] todos representan el mismo elemento de Z / ~ .

Deje que X sea el conjunto de pares ordenados de

enteros ( un , b ) con b no cero, y definir una relacin de
equivalencia ~ en X segn la cual ( un , b ) ~ ( c , d ) si y slo
si ad = bc . A continuacin, la clase de equivalencia del
par ( un , b ) puede ser identificado con el nmero racional un / b , y esta
relacin de equivalencia y sus clases de equivalencia se puede utilizar
para dar una definicin formal del conjunto de los nmeros
racionales. La misma construccin puede ser generalizada a la campo de
fracciones de cualquier dominio de integridad .

Propiedades [ editar ]
Cada elemento x de X es un miembro de la clase de equivalencia [ x ] . Cada
dos clases de equivalencia [ x ] e [ y ] son o bien iguales o disjuntos . Por lo
tanto, el conjunto de todas las clases de equivalencia de X forma
una particin de X : cada elemento de X pertenece a una y slo una clase de
equivalencia. Por el contrario cada particin de X viene de una relacin de
equivalencia de esta manera, segn el cual x ~ y si y slo si x y y pertenecen
al mismo conjunto de la particin.
De las propiedades de una relacin de equivalencia que
x ~ y si y slo si [ x ] = [ y ] .
En otras palabras, si ~ es una relacin de equivalencia en un conjunto X ,
y x y y son dos elementos de X , a continuacin, estas afirmaciones son
equivalentes:

Invariantes [ edit ]
Si ~ es una relacin de equivalencia en X , y P ( x ) es una propiedad de los
elementos de X tales que siempre que x ~ Y , P ( x ) es verdadera si P ( Y ) es
verdadera, entonces la propiedad Pse dice que es un invariante de ~ , o bien
se define bajo la relacin ~ .
Un caso particular frecuente se produce cuando f es una funcin de X a otro
conjunto Y , si f ( x 1 ) = f ( x 2 ) siempre que x 1 ~ x 2 , entonces f se dice que es
un morfismo de ~ , unainvariante de clase bajo ~ o, simplemente, invariante

bajo ~ . Esto ocurre, por ejemplo, en la teora carcter de grupos

finitos. Algunos autores utilizan "compatibles con ~ "o simplemente"
respeta ~ "en lugar de" invariante bajo ~ ".
Cualquier funcin f : X Y en s define una relacin de equivalencia
en X segn el cual x 1 ~ x 2 si y slo si f ( x 1 ) = f ( x 2 ) . La clase de
equivalencia de x es el conjunto de todos los elementos de X que asignarse
a f ( x ) , es decir, la clase [ x ] es la imagen inversa de f ( x ) . Esta relacin de
equivalencia es conocida como el ncleo de f .
Ms en general, una funcin puede asignar argumentos equivalentes (en virtud
de una relacin de equivalencia ~ X en X ) a valores equivalentes (en virtud de
una relacin de equivalencia ~ Y en Y). Tal funcin se conoce como un morfismo
de ~ X a ~ Y .
Vase tambin [ editar ]

Particin de equivalencia , un mtodo para la elaboracin de unidades

de prueba en las pruebas de software basada en la divisin de los
insumos de los programas posibles en clases de equivalencia de acuerdo
con el comportamiento del programa en las entradas

Grupo cociente , una construccin de matemticas grupos de clases de

equivalencia de grupos ms grandes

Espacio homogneo , el espacio cociente de grupos de Lie .

Categoras :

Relaciones matemticas

Men de navegacin

Crear una cuenta

Iniciar la sesin

Artculo

Hablar

Leer

Editar

Ver el historial

Pgina principal

Contenido

Contenido destacado

Actualidad

Artculo al azar

Donar a Wikipedia

Interaccin

Ayudar

Acerca de Wikipedia

Portal de la comunidad

Cambios recientes

Pgina de contacto

Instrumentos

Lo que enlaza aqu

Cambios relacionados

Subir archivo

Pginas especiales

Enlace permanente

Informacin de la pgina

Elemento de datos

Citar esta pgina

Imprimir / exportar

Crear un libro

Descargar como PDF

Versin para imprimir

Idiomas

Catal

Dansk

Deutsch

Esperanto

Lumbaart

Nederlands

Portugus

Svenska

Editar enlaces

Esta pgina fue modificada por ltima vez el 3 de noviembre de 2013

02:44.

El texto est disponible bajo la Licencia Commons Attribution-ShareAlike

creativa ; clusulas adicionales pueden aplicar. Al usar este sitio, usted
acepta los Trminos de Uso y Poltica de Privacidad.
Wikipedia es una marca registrada de la Wikimedia Foundation, Inc. ,
una organizacin sin fines de lucro.

Poltica de privacidad

Acerca de Wikipedia

Aviso legal

Pngase en contacto con Wikipedia

Desarrolladores

Vista mvil