Subespacios

Un subespacio de un espacio vectorial $V$ sobre un campo $\mathbb{F}$ es un subconjunto $W\subseteq V$ que es, por sí mismo, un espacio vectorial bajo las operaciones heredadas de $V$.

Caracterización de subespacios

Un subconjunto $W\subseteq V$ es un subespacio de $V$ si y solo si: 1. $W$ es no vacío. 2. Para todo $\mathbf{u},\mathbf{v}\in W$ y todo escalar $a\in \mathbb{F}$, se verifica: $\mathbf{u}+a\mathbf{v}\in W$

algebra-lineal