Relaciones de equivalencia. Espacio vectorial cociente

Relación de equivalencia:
Dado un conjunto $E$, se define en él una relación binaria de equivalencia $\mathcal{E}$, cumpliendo por tanto las propiedades: reflexiva, simétrica y transitiva ). Pues bien, dicha relación de equivalencia determina una partición de $E$, cuyas partes se llaman clases de equivalencia y, recíprocamente, cualquier partición de $E$ establece una relación de equivalencia en $E$.

Dada $\mathcal{E}$ ( una r. de e. en $E$ ), se llaman clase de equivalencia de un elemento $w \in E$, y se designa por $[w]$, al cojunto de elementos que se relacionan con $w$ mediante $\mathcal{E}$, és decir
    $[w]=\{x \in E \, | \, x \,\mathcal{E}\, w \}$

Las clases de equivalencia cumplen las siguientes propiedades:
  a) Dados $x,y \in E$, $x \, \mathcal{E} \, \text{y} \, \Leftrightarrow [x]=[y]$
  b) Dados $x,y \in E$, $x \; \text{no es equivalente a}\; y \Leftrightarrow [x]\cap [y] = \emptyset$
  c) $\displaystyle \cup_{x \in E} [x]=E$

Relación de equivalencia asociada a una aplicación entre dos conjuntos:
Dada una aplicación   $f: A\rightarrow B$, se define la relación binaria tener la misma imagen por la aplicación ( que es de equivalencia ). Esta relación de equivalencia $\mathcal{E}$ se denomina equivalencia asociada a la aplicación y, por tanto, podemos afirmar que dados $x,y \in A$, $x \, \mathcal{E}\, y \Leftrightarrow f(x)=f(y)$.

    Teorema:   Dada una aplicación   $f: E\rightarrow E^{'}$ y la relación de equivalencia asociada, se demuestra que la aplicación $f$ puede descomponerse en tres aplicaciones:
        $f=i \circ b \circ e$
de tal forma que
          $e:E \rightarrow E/\mathcal{E}$   ($e$ es exhaustiva)
          $b: E/\mathcal{E} \rightarrow Im(E)$   ( tal que $b([x])=f(x)$ es biyectiva )
          $i: Im(E) \rightarrow E^{'}$   ( tal que $i\big(f(x)\big)=f(x)$ es inyectiva )
[esquema]


Espacio vectorial cociente:

Sea $(E,+,\cdot)$ un e.v. sobre un cuerpo conmutativo $K$, y sea $\mathcal{E}$ una relación de equivalencia definida en $E$ que sea compatible con la estructura de e.v. sobre $k$.

Por ser $(E,+)$ grupo abeliano, dicha relación de equivalencia debe ser del tipo
$x \, \mathcal{E} \, y \Leftrightarrow x-y \in F$, para todo par $x,y \in E$, donde $F$ es un subgrupo del grupo abeliano $(E,+)$. Siendo, además, $\mathcal{E}$ también compatible con la operación externa producto por escalares, se tiene que $x \, \mathcal{E} \, y \Leftrightarrow \lambda \cdot x \,\, \mathcal{E} \,\, \lambda \cdot y \; \;\forall \lambda \in K$. Entonces, como $\lambda \cdot x - \lambda \cdot y \in F \Leftrightarrow \lambda \cdot (x-y) \in F$, $F$ es un e.v. de $E$.
[Nota: cualquier $z \in F$ puede considerarse como la diferencia de dos vectores $x$ e $y$ equivalentes, ya que elegido un $x \in E$ arbitrario, basta tomar $y=x-z$ ]

Se comprueba que, dado $(E,+,\cdot)$ y dado $F \subset E$, un subespacio vectorial de $E$, la estructura $(E/\mathcal{E},+,\cdot)$ es un e.v. que se denomina espacio vectorial cociente y ser representa por $(E/F,+,\cdot)$ debido a que la relación de equivalencia $\mathcal{E}$ distingue al subespacio vectorial $F$.