29.1: Revisión de valores propios y vectores propios
- Page ID
- 115091
\( \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}\)Un vector distinto de cero\(x\) en\(R^n\) se llama vector propio de una\(n \times n\) matriz\(A\) si\(Ax\) es un múltiplo escalar de\(x\). Si\(Ax = \lambda x\), entonces\(\lambda\) se llama el valor propio de\(A\) correspondiente a\(x\).
Pasos para encontrar los valores propios y vectores propios
Queremos encontrar\(\lambda\) un vector distinto de cero\(x\) tal que\(Ax = \lambda x\) para una\(n \times n\) matriz.
- Introducimos una matriz\(I\) de identidad de\(n \times n\). Entonces la ecuación se convierte en:
\[Ax = \lambda I x \nonumber \]
\[Ax-\lambda I x = 0 \nonumber \]
\[(A-\lambda I)x = 0 \nonumber \]
- Esto sugiere que queremos encontrar\(\lambda\) tal que\((A-\lambda I)x=0\) tenga una solución no trivial. Es equivalente a que la matriz\(A-\lambda I\) sea singular, es decir, tiene un determinante de\(0\). \(|A-\lambda I|=0\)
- El determinante es polinomio en\(\lambda\) (llamado el polinomio característico de\(A\)) con grado\(n\). Resolvemos esta ecuación (llamada ecuación característica) para todos los posibles\(\lambda\) (valores propios).
- Después de encontrar los valores propios, los sustituimos de nuevo\((A-\lambda I)x=0\) y encontramos los vectores propios\(x\).
Calculemos los valores propios para la siguiente matriz:
\[\begin{split} A=\begin{bmatrix} 0 & 0 & -2 \\ 1 & 2 & 1 \\ 1 & 0 & 3 \end{bmatrix}\end{split} \nonumber \]
Buscar valores propios
Mirando la receta anterior, resolvamos el problema simbólicamente usando sympy
. Primero vamos a crear una matriz\(B\) tal que:
\[B = A-\lambda I \nonumber \]
Ahora, por paso 2, el determinado de\(B\) debe ser cero. Tenga en cuenta que sympy
calcula el determinado simbólicamente de la siguiente manera:
Usando la función sympy.solve
en el determinado de\(B\) para resolver para lam
(\(\lambda\)). Verificar que la solución a la última pregunta produzca los mismos valores propios que los anteriores.
Primero, usemos la función incorporada en funciton eigenvals
en sympy
para calcular los valores propios. Descubre el significado de la salida.
Encuentra vectores propios
Ahora conocemos los valores propios, podemos sustituirlos de nuevo en la ecuación para encontrar los vectores propios.
Esto lo resolvemos simbólicamente usando sympy
. Primero hagamos un vector de nuestros valores propios (desde arriba):
Ahora (por paso 4 anterior) necesitamos resolver la ecuación\((A-\lambda I)x=0\). Una forma de hacer esto en sympy
es la siguiente:
Explica tu salida aquí. (Pista, también puedes probar el rref
para encontrar las soluciones)
A continuación, usemos la función eigenvects
en sympy
para encontrar tres vectores propios lineales independientes para la matriz\(A\)?
Compara esta respuesta con los vectores propios que calculamos anteriormente. ¿Tiene sentido esta respuesta? ¿Qué nos dice la sintaxis?
Encuentra los valores propios y vectores propios de la siguiente matriz:
\[A_2=\begin{bmatrix} 2 & 1 \\ 0 & 2 \end{bmatrix} \nonumber \]
¿Cuáles son los valores propios para la matriz\(A_2\)?
¿Cuáles son los vectores propios para la matriz\(A_2\)?