Propiedades de vectores en $\mathbb{R}^n$

Sean $\left [ \begin{matrix} \xi_i \end{matrix} \right], \left [\begin{matrix} \eta_i \end{matrix} \right], \left [ \begin{matrix} \zeta_i \end{matrix} \right] \in \mathbb{R}^n ,$ y $\lambda , \mu \ \in \mathbb{R}$

  1. $\left [ \begin{matrix} \xi_i \end{matrix} \right] + \left [ \begin{matrix} \eta_i \end{matrix} \right] = \left [ \begin{matrix} \eta_i \end{matrix} \right] + \left [ \begin{matrix} \xi_i \end{matrix} \right]$

  2. $\left( \left [ \begin{matrix} \xi_i \end{matrix} \right] + \left [ \begin{matrix} \eta_i \end{matrix} \right]\right) + \left [ \begin{matrix} \zeta_i \end{matrix} \right] = \left [ \begin{matrix} \xi_i \end{matrix} \right] + \left(\left [ \begin{matrix} \eta_i \end{matrix} \right] + \left [ \begin{matrix} \zeta_i \end{matrix} \right]\right)$

  3. $\left [ \begin{matrix} \xi_i \end{matrix} \right] + 0 = \left [ \begin{matrix} \xi_i \end{matrix} \right] ;\ $ con $0$ el vector que tiene todas sus entradas nulas.

  4. Para todo $\left [ \begin{matrix} \xi_i \end{matrix} \right] \in \mathbb{R}^n$ existe un vector, denotado por $ -\left [ \begin{matrix} \xi_i \end{matrix} \right],$ tal que $\left [ \begin{matrix} \xi_i \end{matrix} \right]+\left(-\left [ \begin{matrix} \xi_i \end{matrix} \right]\right) = 0 $

  5. $ 1 \cdot \left [ \begin{matrix} \xi_i \end{matrix} \right] = \left [ \begin{matrix} \xi_i \end{matrix} \right]$

  6. $ \lambda \left( \mu \left [ \begin{matrix} \xi_i \end{matrix} \right]\right) = \left(\lambda \mu\right) \left [ \begin{matrix} \xi_i \end{matrix} \right]$

  7. $ \left(\lambda + \mu\right) \left [ \begin{matrix} \xi_i \end{matrix} \right] = \lambda \left [ \begin{matrix} \xi_i \end{matrix} \right] + \mu\left [ \begin{matrix} \xi_i \end{matrix} \right] $

  8. $ \lambda \left(\left [ \begin{matrix} \xi_i \end{matrix} \right] + \left [ \begin{matrix} \eta_i \end{matrix} \right]\right) = \lambda \left [ \begin{matrix} \xi_i \end{matrix} \right] + \lambda \left [ \begin{matrix} \eta_i \end{matrix} \right] $

La demostraciĆ³n de estas propiedades queda como ejercicio.