Vous êtes sur la page 1sur 3

Espacio cociente

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:

[0] = {. . . , 15, 10, 5, 0, 5, 10, 15, . . .} .


1 Ejemplos notables [1] = {. . . , 14, 9, 4, 1, 6, 11, 16, . . .}
[2] = {. . . , 13, 8, 3, 2, 7, 12, 17, . . .}
1.1 Conjunto cociente
[3] = {. . . , 12, 7, 2, 3, 8, 13, 18, . . .}
Si A es un conjunto y ~ una relacin de equivalencia, en-
tonces las clases de equivalencia forman una particin del [4] = {. . . , 11, 6, 1, 4, 9, 14, 19, . . .}
conjunto A.
y por tanto el conjunto cociente tiene cinco ele-
Las clases de equivalencia de la relacin integran entre mentos:
s un nuevo conjunto, denominado conjunto cociente y
denotado A/~. A/ = {[0], [1], [2], [3], [4]} .

Ejemplo Consideremos el conjunto A de personas en Ejemplo.


una ocina. La relacin
Partiendo de que el par ordenado (a,b) es elemento de
X Y cuando X tiene el mismo primer * con b0. Se dene (a,b)~ (c,d) si y solo si ad = bc.
apellido que Y Esta relacin es de equivalencia en * . Por ejemplo
{(x,y)~(2,5) }= {(2,5) (4,10) (6,15) (8,20) (10,25)... }:=
es una relacin de equivalencia en A e induce una parti-
[2,5], que es su elemento cannico.
cin de las personas de la ocina en grupos separa-
dos dependiendo de su primer apellido. El conjunto cociente * /~ es el conjunto de los
nmeros racionales.[1]
Entonces el conjunto de primeros apellidos de
personas de la ocina es el conjunto cociente
1.2 Grupo cociente
de las personas de la ocina entre la relacin
de equivalencia.
Si G es un grupo y H es un subgrupo de G, entonces la
relacin ab1 H es una relacin de equivalencia cuyas
Si, por ejemplo, en la ocina se encuentran las clases de equivalencias son las clases laterales (izquierdas)
personas del subgrupo H.
{Juan Prez, Luis Garca, Carlos En este caso, el conjunto cociente se denota G/H y es
Prez, Manuel Gonzlez, Luis Mar- posible inducir una estructura de grupo en G/H de manera
tnez, Arturo Garca} cannica a partir de la operacin en G:

1
2 4 ENLACES EXTERNOS

Si aH y bH son dos clases de equivalencia, se de- 4 Enlaces externos


ne el producto (aH)(bH) como la operacin cuyo
resultado es la clase lateral (ab)H. Weisstein, Eric W. Quotient Vector Space. En
Weisstein, Eric W. MathWorld (en ingls). Wolfram
Con esta operacin, G/H adquiere estructura de grupo, el Research.
cual se denomina grupo cociente.
Weisstein, Eric W. Quotient Space. En Weisstein,
Construcciones similares se pueden realizar para anillos, Eric W. MathWorld (en ingls). Wolfram Research.
mdulos y otras estructuras algebraicas.
Weisstein, Eric W. Lie Group Quotient Space. En
Weisstein, Eric W. MathWorld (en ingls). Wolfram
1.3 Espacio vectorial cociente Research.

En lgebra lineal, el espacio vectorial cociente E/F de un


espacio vectorial E por un subespacio vectorial F, es la
estructura natural de espacio vectorial sobre el conjun-
to cociente de E por la relacin de equivalencia: v est
relacionado con w si y solo si v-w pertenece a F.

1.4 Espacio topolgico cociente

Si X es un espacio topolgico y p : X Y es una


funcin suprayectiva, entonces es posible inducir una to-
pologa T en Y a partir de la topologa de X:

A es un conjunto abierto en la topologa de Y si


p1 (A) es un conjunto abierto de X.

La topologa de Y se denomina topologa cociente indu-


cida por p.
Ahora, considrese una particin X de X en clases dis-
juntas (es decir, considrese una relacin de equivalen-
cia). La funcin p : X X que asigna cada punto de X
a la clase de equivalencia que lo contiene es una funcin
suprayectica.
El espacio X con la topologa cociente inducida por p se
denomina espacio cociente de X (inducido por la relacin
de equivalencia).
Informalmente, esta construccin corresponde a la identi-
cacin de todos los puntos de la clase de equivalencia en
un mismo punto, por lo que al espacio cociente tambin
se le conoce como espacio de identicacin o espacio de
descomposicin de X.

2 Referencias y citas
[1] Frank Ayres. lgebra Moderna, libros Mc Graw-Hill,
Bogot, Colombia

3 Vase tambin
Cociente (desambiguacin)
3

5 Origen del texto y las imgenes, colaboradores y licencias


5.1 Texto
Espacio cociente Fuente: https://es.wikipedia.org/wiki/Espacio_cociente?oldid=89247424 Colaboradores: Magister Mathematicae, Ber-
nard, Ymskylt, Raulshc, Jerowiki, Euclides, Grillitus, Acratta, Addbot, Qhcd3967 y Annimos: 3

5.2 Imgenes

5.3 Licencia del contenido


Creative Commons Attribution-Share Alike 3.0

Vous aimerez peut-être aussi