23.2: La base de un espacio vectorial
- Page ID
- 115268
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Dejar\(U\) ser un espacio vectorial con base\(B=\{u_1, \ldots, u_n\}\), y dejar\(u\) ser un vector adentro\(U\). Debido a que una base “abarca” el espacio vectorial, sabemos que existen escalares\(a_1, \ldots, a_n\) tales que:
\[ u = a_1u_1 + \dots + a_nu_n \nonumber \]
Dado que una base es un conjunto linealmente independiente de vectores, sabemos que los escalares\(a_1, \ldots, a_n\) son únicos.
Los valores\(a_1, \ldots, a_n\) se llaman las coordenadas de\(u\) relativo a la base (\(B\)) y normalmente se escriben como un vector de columna:
\ [\ begin {split} u_b =
\ left [
\ begin {matrix}
a_1\\
\ vdots\\
a_n
\ end {matrix}
\ right]
\ end {split}\ nonumber\]
Podemos crear una matriz de transición\(P\) usando la inversa de la matriz con los vectores base siendo columnas.
\[P = [ u_1 \ldots u_n ]^{-1} \nonumber \]
Ahora vamos a mostrar que la matriz\(P\) hará la transición del vector\(u\) en el sistema de coordenadas estándar a las coordenadas relativas a la base\(B\):
\[ u_B = Pu \nonumber \]
EJEMPLO: Considere el vector\(u = \left[ \begin{matrix} 5 \\ 3 \end{matrix} \right]\) y los vectores base\(B=\{(1,2),(3,−1)\}\). El siguiente código calcula la matriz de\(P\) transición de\(B\) y luego usa\(P\) para calcular los valores de\(u_B\) (\(a_1\)y\(a_2\)):
Aquí nos gustaría ver esto desde\(R^n\). Vamos\(B = [u_1 \ldots u_n]\), entonces los valores de se\(u_B\) pueden encontrar resolviendo el sistema lineal\(u = Bu_{b}\). Las columnas de\(B\) son una base, por lo tanto, la matriz\(B\) es una matriz\(n \times n\) cuadrada y tiene una inversa. Por lo tanto, podemos resolver el sistema lineal y obtener\(u_B = B^{-1}u = Pu\).
Intentemos visualizar esto con una trama:
Observe que la flecha azul representa el primer vector base y la flecha verde es el segundo vector base en\(B\). La solución a\(u_B\) muestra 2 unidades a lo largo del vector azul y 1 unidades a lo largo del vector verde, lo que nos coloca en el punto (5,3).
Esto también se llama un cambio en los sistemas de coordenadas.
¿Cuál es el vector de coordenadas de\(u\) relativo a la base dada\(B\) en\(R^3\)?
\[u = (9,-3,21) \nonumber \]
\[B = \{(2,0,-1), (0,1,3), (1,1,1)\} \nonumber \]
Almacene esta coordenada en una variable ub
para verificar:
Veamos más de cerca la matriz\(P\), ¿cuál es el significado de las columnas de la matriz\(P\)?
Sabemos que\(P\) es lo inverso de\(B\), por lo tanto, tenemos\(BP = I\). Entonces podemos mirar la primera columna de la\(P\), digamos\(p_{1}\), tenemos que\(Bp_{1}\) es el vector de columna\((1,0,0)\), que es exactamente el primer componente de la base estándar. Esto es cierto para otras columnas.
Significa que si queremos cambiar una base antigua\(B\) a una nueva base\(B′\), necesitamos averiguar todas las coordenadas en la nueva base para la base antigua, y la matriz de transición es poniendo todas las coordenadas como columnas.
Aquí está la matriz\(B\) otra vez:
La primera columna de P debe ser la solución a\(Bx=\left[ \begin{matrix} 1 \\ 0 \\ 0 \end{matrix} \right]\). Podemos usar la función numpy.linalg.solve
para encontrar esta solución:
Podemos encontrar una respuesta similar para columnas\(p_2\) y\(p_3\):
Esta debería ser básicamente la misma respuesta que obtuviste arriba.