20.1: Definiciones y Ejemplos
- Page ID
- 111375
\( \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 espacio vectorial\(V\) sobre un campo\(F\) es un grupo abeliano con un producto escalar\(\alpha \cdot v\) o\(\alpha v\) definido para todos\(\alpha \in F\) y todos\(v \in V\) satisfaciendo los siguientes axiomas.
- \(\alpha(\beta v) =(\alpha \beta)v\text{;}\)
- \((\alpha + \beta)v =\alpha v + \beta v\text{;}\)
- \(\alpha(u + v) = \alpha u + \alpha v\text{;}\)
- \(1v=v\text{;}\)
dónde\(\alpha, \beta \in F\) y\(u, v \in V\text{.}\)
Los elementos de\(V\) se llaman vectores; los elementos de\(F\) se llaman escalares. Es importante notar que en la mayoría de los casos no se pueden multiplicar dos vectores. En general, sólo es posible multiplicar un vector con un escalar. Para diferenciar entre el cero escalar y el vector cero, los escribiremos como 0 y\({\mathbf 0}\text{,}\) respectivamente.
Examinemos varios ejemplos de espacios vectoriales. Algunos de ellos serán bastante familiares; otros parecerán menos.
Ejemplo\(20.1\)
Las\(n\) -tuplas de números reales, denotadas por\({\mathbb R}^n\text{,}\) forman un espacio vectorial sobre Vectores\({\mathbb R}\text{.}\) dados\(u = (u_1, \ldots, u_n)\)\({\mathbb R}^n\) y\(v = (v_1, \ldots, v_n)\)\(\alpha\) en y en\({\mathbb R}\text{,}\) podemos definir
Solución
vector, suma, por
\[ u + v = (u_1, \ldots, u_n) + (v_1, \ldots, v_n) = (u_1 + v_1, \ldots, u_n + v_n) \nonumber \]
y multiplicación escalar por
\[ \alpha u = \alpha(u_1, \ldots, u_n)= (\alpha u_1, \ldots, \alpha u_n)\text{.} \nonumber \]
Ejemplo\(20.2\)
Si\(F\) es un campo, entonces\(F[x]\) es un espacio vectorial sobre\(F\text{.}\) Los vectores en\(F[x]\) son simplemente polinomios, y la adición de vectores es solo adición polinómica. Si\(\alpha \in F\) y\(p(x) \in F[x]\text{,}\) luego la multiplicación escalar se define por
Solución
\(\alpha p(x)\text{.}\)
Ejemplo\(20.3\)
El conjunto de todas las funciones continuas de valor real en un intervalo cerrado\([a,b]\) es un espacio vectorial sobre\({\mathbb R}\text{.}\) If\(f(x)\) y\(g(x)\) son continuas en\([a, b]\text{,}\) entonces
Solución
\((f+g)(x)\)se define para ser La multiplicación\(f(x) + g(x)\text{.}\) escalar se define por\((\alpha f)(x) = \alpha f(x)\) por\(\alpha \in {\mathbb R}\text{.}\) Por ejemplo, si\(f(x) = \sin x\) y\(g(x)= x^2\text{,}\) luego\((2f + 5g)(x) =2 \sin x + 5 x^2\text{.}\)
Ejemplo\(20.4\)
Let\(V = {\mathbb Q}(\sqrt{2}\, ) = \{ a + b \sqrt{2} : a, b \in {\mathbb Q } \}\text{.}\) Entonces\(V\) es un espacio vectorial sobre\({\mathbb Q}\text{.}\) Si\(u = a + b \sqrt{2}\) y\(v = c + d \sqrt{2}\text{,}\) luego
Solución
\(u + v = (a + c) + (b + d ) \sqrt{2}\)está de nuevo en\(V\text{.}\) También, para\(\alpha \in {\mathbb Q}\text{,}\)\(\alpha v\) está en\(V\text{.}\) Lo dejaremos como un ejercicio para verificar que todos los axiomas espaciales vectoriales se mantienen para\(V\text{.}\)
Proposición\(20.5\)
Let\(V\) be a vector space over\(F\text{.}\) Entonces cada una de las siguientes afirmaciones es verdadera.
- \(0v ={\mathbf 0}\)para todos\(v \in V\text{.}\)
- \(\alpha {\mathbf 0} = {\mathbf 0}\)para todos\(\alpha \in F\text{.}\)
- Si\(\alpha v = {\mathbf 0}\text{,}\) entonces cualquiera\(\alpha = 0\) o\(v = {\mathbf 0}\text{.}\)
- \((-1) v = -v\)para todos\(v \in V\text{.}\)
- \(-(\alpha v) = (-\alpha)v = \alpha(-v)\)para todos\(\alpha \in F\) y para todos\(v \in V\text{.}\)
- Prueba
-
Para probar (1), observar que
\[ 0 v = (0 + 0)v = 0v + 0v; \nonumber \]
en consecuencia,\({\mathbf 0} + 0 v = 0v + 0v\text{.}\) ya que\(V\) es un grupo abeliano,\({\mathbf 0} = 0v\text{.}\)
La prueba de (2) es casi idéntica a la prueba de (1). Para (3), estamos hechos si\(\alpha = 0\text{.}\) Supongamos que\(\alpha \neq 0\text{.}\) Multiplicando ambos lados de\(\alpha v = {\mathbf 0}\) por\(1/ \alpha\text{,}\) tenemos\(v = {\mathbf 0}\text{.}\)
Para mostrar (4), observar que
\[ v + (-1)v = 1v + (-1)v = (1-1)v = 0v = {\mathbf 0}\text{,} \nonumber \]
y así\(-v = (-1)v\text{.}\) dejaremos el comprobante de (5) como ejercicio.