Académique Documents
Professionnel Documents
Culture Documents
Espacio cociente es un trmino matemtico que hace re- entonces las clases de equivalencia son
ferencia a cierta estructura matemtica que se deriva de
otra en la que se ha denido una relacin de equivalencia. [Prez] = {Juan Prez, Carlos Prez}
De manera ms precisa, si X es una estructura matem- [Garca] = {Luis Garca, Arturo Garca}
tica en el que se dene una relacin de equivalencia ~,
entonces el espacio cociente X/~ es la estructura mate- [Gonzlez] = {Manuel Gonzlez}
mtica inducida en el conjunto de clases de equivalencia [Martnez] = {Luis Martnez}
con las operaciones entre clases de equivalencia obteni-
das de manera cannica a partir de las correspondientes Y el conjunto cociente de dicha relacin de
en X. equivalencia es
Un caso muy comn se reere al caso en que Y sea una A/ = {[Prez], [Garca], [Martnez], [Gonzlez]}
subestructura de X (por ejemplo, subespacio vectorial,
subgrupo, subespacio topolgico, etc.) en cuyo caso el es- Ejemplo. Si en el conjunto de los nmeros enteros Z se
pacio cociente de la relacin de equivalencia asociada se dene la relacin a b cuando ab sea un mltiplo
suele denotar como X/Y. de 5, entonces las clases de equivalencia son:
1
2 4 ENLACES EXTERNOS
2 Referencias y citas
[1] Frank Ayres. lgebra Moderna, libros Mc Graw-Hill,
Bogot, Colombia
3 Vase tambin
Cociente (desambiguacin)
3
5.2 Imgenes