15.10: Function Space
- Page ID
- 23200
\( \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}\)We can also find basis vectors (Section 15.9) for vector spaces (Section 15.2) other than \(\mathbb{R}^n\).
Let \(P_n\) be the vector space of \(n\)-th order polynomials on (-1, 1) with real coefficients (verify \(P_2\) is a v.s. at home).
Example \(\PageIndex{1}\)
\(P_{2}=\{\text { all quadratic polynomials }\}\). Let \(b_0(t)=1\), \(b_1(t)=t\), \(b_2(t)=t^2\).
\(\left\{b_{0}(t), b_{1}(t), b_{2}(t)\right\}\) span \(P_2\), i.e. you can write any \(f(t) \in P_2\) as
\[f(t)=\alpha_{0} b_{0}(t)+\alpha_{1} b_{1}(t)+\alpha_{2} b_{2}(t) \nonumber \]
for some \(\alpha_{i} \in \mathbb{R}\).
Note
\(P_2\) is 3 dimensional.
\[f(t)=t^2−3t−4 \nonumber \]
Alternate basis
\[\left\{b_{0}(t), b_{1}(t), b_{2}(t)\right\}=\left\{1, t, \frac{1}{2}\left(3 t^{2}-1\right)\right\} \nonumber \]
write \(f(t)\) in terms of this new basis \(d_0(t)=b_0(t)\), \(d_1(t)=b_1(t)\), \(d_{2}(t)=\frac{3}{2} b_{2}(t)-\frac{1}{2} b_{0}(t)\).
\[\begin{array}{c}
f(t)=t^{2}-3 t-4=4 b_{0}(t)-3 b_{1}(t)+b_{2}(t) \\
f(t)=\beta_{0} d_{0}(t)+\beta_{1} d_{1}(t)+\beta_{2} d_{2}(t)=\beta_{0} b_{0}(t)+\beta_{1} b_{1}(t)+\beta_{2}\left(\frac{3}{2} b_{2}(t)-\frac{1}{2} b_{0}(t)\right) \\
f(t)=\beta_{0} b_{0}(t)+\beta_{1} b_{1}(t)+\frac{3}{2} \beta_{2} b_{2}(t)
\end{array} \nonumber \]
so
\[\begin{array}{c}
\beta_{0}-\frac{1}{2}=4 \\
\beta_{1}=-3 \\
\frac{3}{2} \beta_{2}=1
\end{array} \nonumber \]
then we get
\[f(t)=4.5 d_{0}(t)-3 d_{1}(t)+\frac{2}{3} d_{2}(t) \nonumber \]
Example \(\PageIndex{2}\)
\(\left.e^{j \omega_{0} n t}\right|_{n=-\infty} ^{\infty}\) is a basis for \(L^2([0,T])\), \(T=\frac{2 \pi}{\omega_0}\), \(f(t)=\sum_{n} C_{n} e^{j \omega_{0} n t}\).
We calculate the expansion coefficients with
"change of basis" formula:
\[C_{n}=\frac{1}{T} \int_{0}^{T}\left(f(t) e^{-\left(j \omega_{0} n t\right)}\right) d t \nonumber \]
Note
There are an infinite number of elements in the basis set, that means \(L^2([0,T])\) is infinite dimensional (scary!).
Infinite-dimensional spaces are hard to visualize. We can get a handle on the intuition by recognizing they share many of the same mathematical properties with finite dimensional spaces. Many concepts apply to both (like "basis expansion"). Some don't (change of basis isn't a nice matrix formula).