P. 1
Espacio Cociente

Espacio Cociente

|Views: 27|Likes:
Publicado porJose Condori

More info:

Published by: Jose Condori on May 20, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

03/02/2014

pdf

text

original

Espacio cociente

1

Espacio cociente
Espacio cociente es un término matemático que hace referencia a cierta estructura matemática que se deriva de otra en la que se ha definido una relación de equivalencia. De manera más precisa, si X es una estructura matemática en el que se define una relación de equivalencia~, entonces el espacio cociente X/~ es la estructura matemática inducida en el conjunto de clases de equivalencia con las operaciones entre clases de equivalencia obtenidas de manera canónica a partir de las correspondientes en X. Un caso muy común se refiere al caso en que Y sea una subestructura de X (por ejemplo, subespacio vectorial, subgrupo, subespacio topológico, etc.) en cuyo caso el espacio cociente de la relación de de equivalencia asociada se suele denotar como X/Y.

Ejemplos notables
Conjunto cociente
Si A es un conjunto y ~ una relación de equivalencia, entonces las clases de equivalencia forman una partición del conjunto A. Las clases de equivalencia de la relación integran entre sí un nuevo conjunto, denominado conjunto cociente y denotado A/~. Ejemplo Consideremos el conjunto A de personas en una oficina. La relación cuando tiene el mismo primer apellido que

es una relación de equivalencia en A e induce una partición de las personas de la oficina en grupos separados dependiendo de su primer apellido. Entonces el conjunto de primeros apellidos de personas de la oficina es el conjunto cociente de las personas de la oficina entre la relación de equivalencia. Si, por ejemplo, en la oficina se encuentran las personas {Juan Pérez, Luis García, Carlos Pérez, Manuel González, Luis Martínez, Arturo García} entonces las clases de equivalencia son • • • • [Pérez] = {Juan Pérez, Carlos Pérez} [García] = {Luis García, Arturo García} [González] = {Manuel González} [Martínez] = {Luis Martínez} Y el conjunto cociente de dicha relación de equivalencia es

Ejemplo. Si en el conjunto de los números enteros entonces las clases de equivalencia son: • • • • • y por tanto el conjunto cociente tiene cinco elementos: . se define la relación cuando sea un múltiplo de 5,

html [2] http:/ / mathworld. MathWorld. html [3] http:/ / mathworld. es la estructura natural de espacio vectorial sobre el conjunto cociente de E por la relación de equivalencia: v está relacionado con w si y solo si v-w pertenece a F. el espacio vectorial cociente E/F de un espacio vectorial E por un subespacio vectorial F. considérese una partición La función de es un conjunto abierto de X. com/ QuotientVectorSpace. «Lie Group Quotient Space [3]» (en inglés). entonces es posible inducir una topología suprayectica. «Quotient Space [2]» (en inglés). Wolfram Research. • Weisstein. wolfram. Eric W. 2 Grupo cociente Si G es un grupo y H es un subgrupo de G. módulos y otras estructuras algebraicas. com/ LieGroupQuotientSpace. html . entonces la relación clases de equivalencias son las clases laterales (izquierdas) del subgrupo H. Wolfram Research. MathWorld. Con esta operación. Construcciones similares se pueden realizar para anillos. considérese una relación de equivalencia). a la clase de equivalencia que lo contiene es una función que asigna cada punto de es una función suprayectiva. MathWorld.Espacio cociente • . «Quotient Vector Space [1]» (en inglés). es una relación de equivalencia cuyas Espacio vectorial cociente En álgebra lineal. el conjunto cociente se denota G/H y es posible inducir una estructura de grupo en G/H de manera canónica a partir de la operación en G: • Si aH y bH son dos clases de equivalencia. • Weisstein. Espacio topológico cociente Si X es un espacio topológico y T en Y a partir de la topología de X: • A es un conjunto abierto en la topología de Y si Ahora. esta construcción corresponde a la identificación de todos los puntos de la clase de equivalencia en un mismo punto. se define el producto (aH)(bH) como la operación cuyo resultado es la clase lateral (ab)H. El espacio con la topología cociente inducida por p se denomina espacio cociente de X (inducido por la relación de equivalencia). En este caso. Enlaces externos • Weisstein. com/ QuotientSpace. wolfram. Wolfram Research. G/H adquiere estructura de grupo. Referencias [1] http:/ / mathworld. Eric W. por lo que al espacio cociente también se le conoce como espacio de identificación o espacio de descomposición de X. La topología de Y se denomina topología cociente inducida por p. wolfram. en clases disjuntas (es decir. el cual se denomina grupo cociente. Informalmente. Eric W.

Fuentes y contribuyentes del artículo 3 Fuentes y contribuyentes del artículo Espacio cociente  Fuente: http://es.php?oldid=65338382  Contribuyentes: Bernard.0 Unported //creativecommons. Raulshc Licencia Creative Commons Attribution-Share Alike 3. Magister Mathematicae.wikipedia.org/licenses/by-sa/3. Euclides. Jerowiki.0/ .org/w/index.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->