Conjunto cociente

En matemáticas, sea una relación de equivalencia definida en el conjunto K, llamaremos a K/ el conjunto cociente de K por a la partición de K formada por todas las clases de equivalencia determinadas en K por ~. Es decir, el conjunto cociente es el conjunto de todas las clases de equivalencia que se puedan formar con los elementos de K, mediante .

Contenido

Conjuntos

Formalmente,

K /\sim \ = \{ [a] / a\in K \} \subset \mathcal{P}(K)

Aquellas clases de equivalencia que sean iguales (véase Igualdad de conjuntos en Teoría de conjuntos) se aceptan como la misma y deben tomarse todas ellas como un único elemento del conjunto cociente.

Grupos

Teniendo un grupo G y un subgrupo H en él, es posible construir el conjunto cociente (a la izquierda) G / H consistente en las clases laterales izquierdas

G/H=\{Ha:a\in G\}

que en general no es un grupo, solamente si se tiene normalidad de H en G entonces G/H si es un grupo y entre las clases laterales tenemos Ha = aH, para toda a del grupo.

En este último caso tenemos al grupo cociente.

Espacios vectoriales

La construcción análoga con espacio vectoriales también producen espacios cociente

Véase también


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Conjunto cociente — En matemáticas; estando Conjunto cociente (una relación de equivalencia) definida en el conjunto K, llamaremos conjunto cociente de K por Conjunto cociente y lo notaremos por K/Conjunto cociente a la partición de K formada por todas las clases de …   Enciclopedia Universal

  • Cociente — El término cociente puede hacer referencia a: Cociente como resultado de una división (matemática). Cociente intelectual Cociente Hare Cociente de encefalización Cociente de reacción Cociente de Espectro Autista Conjunto cociente Véase también… …   Wikipedia Español

  • Conjunto — (Derivado de junto < lat. junctus, part. de jungere, juntar.) ► adjetivo 1 Que está unido a otra cosa: ■ realizaron un esfuerzo conjunto; la conjunta consecución de los hechos ayudó a la resolución del conflicto. SINÓNIMO anexo complejo junto… …   Enciclopedia Universal

  • Conjunto preordenado — En matemática, especialmente en teoría del orden, preórdenes son ciertas clases de relaciones binarias que se relacionan con los conjuntos parcialmente ordenados. El nombre quasiorden es también una expresión común para preórdenes. Muchas… …   Wikipedia Español

  • Conjunto generador de un grupo — En teoría de grupos, un conjunto generador de un grupo G es un subconjunto S de G tal que todo elemento de G puede ser expresado como el producto de un número finito de elementos de S y de sus inversos. Más generalmente, si S ⊆ G, <S> es el …   Wikipedia Español

  • Espacio cociente — Saltar a navegación, búsqueda En álgebra lineal, el concepto del espacio cociente es de gran importancia para la álgebra de conjuntos. Contenido 1 Definición 2 Clase de un vector 3 Dimensión del espacio cociente …   Wikipedia Español

  • Grupo cociente — En teoría de grupos, dado un grupo G y un subgrupo normal N de G, el grupo cociente o grupo factor de G sobre N es, intuitivamente, el grupo que colapsa el grupo normal N al elemento neutro. El grupo cociente se denota por G/N, lo que normalmente …   Wikipedia Español

  • Regla del cociente — Saltar a navegación, búsqueda En cálculo, la regla del cociente es un método de encontrar la derivada de una función que es el cociente de dos otras funciones para las cuales existe la derivada. La función a derivar, f(x), puede escribirse como y …   Wikipedia Español

  • Topología cociente — Ilustración de un espacio cociente, S2, obtenida por pegado del contorno (en azul) del disco D2 a un solo punto. En matemáticas siempre se busca generar nuevos objetos a partir de los ya existentes. La topología no es la excepción. Cuando se… …   Wikipedia Español

  • Relación de equivalencia — …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.