# Chapter 4 Exercise

1. Empty

2. Solution: False. Consider $1=(z^m+1)+(-z^m)\notin \{0\}\cup\{p\in\ca P(\mb F):\deg p=m\}$. Note that \[(z^m+1)\in \{0\}\cup\{p\in\ca P(\mb F):\deg p=m\}\]and\[-z^m\in \{0\}\cup\{p\in\ca P(\mb F):\deg p=m\},\]it follows that $\{0\}\cup\{p\in\ca P(\mb F):\deg p=m\}$ is not closed under addition. Hence it is not a subspace of $\ca P(\mb F)$.

3. Solution: False. Consider $z=(z^{2}+z)+(-z^2)\notin \{0\}\cup\{p\in\ca P(\mb F):\deg p\text{ is even}\}$. Note that \[(z^2+z)\in \{0\}\cup\{p\in\ca P(\mb F):\deg p\text{ is even}\}\]and\[-z^2\in \{0\}\cup\{p\in\ca P(\mb F):\deg p\text{ is even}\},\]it follows that $\{0\}\cup\{p\in\ca P(\mb F):\deg p\text{ is even}\}$ is not closed under addition. Hence it is not a subspace of $\ca P(\mb F)$.

4. Solution: Define $p\in\ca P(\mb F)$ by \[p(z)=(z-\lambda_1)^{n-m+1}(z-\lambda_2)\cdots(z-\lambda_m).\]Then $p$ is a polynomial of degree $n$ such that $0=p(\lambda_1)=\cdots=p(\lambda_{m})$ and such that $p$ has no other zeros.

5. Solution: See Linear Algebra Done Right Solution Manual Chapter 4 Problem 2.

6. Solution: See Linear Algebra Done Right Solution Manual Chapter 4 Problem 4.

7. Solution: See Linear Algebra Done Right Solution Manual Chapter 4 Problem 5.

8. Solution: First we show that $T$ is a linear map. Then we show $Tp \in\ca P(\R)$ for a basis of $p \in\ca P(\R)$, then by linearity of $T$, we have $Tp \in\ca P(\R)$ for every polynomial $p \in\ca P(\R)$. For any $\lambda\in\R$ and $p,q\in\ca P(\R)$, we have \begin{align*} T(p+q)=&\dfrac{(p+q)-(p+q)(3)}{x-3}=\dfrac{(p+q)-p(3)-q(3)}{x-3}\\ =&\dfrac{p-p(3)}{x-3}+\dfrac{q-q(3)}{x-3}=Tp+Tq, \end{align*} if $x\ne 3$. Similarly, \[T(\lambda p)=\dfrac{(\lambda p)-(\lambda p)(3)}{x-3}=\dfrac{\lambda p-\lambda p(3)}{x-3}=\lambda\dfrac{p-p(3)}{x-3}=\lambda Tp.\]If $x=3$, then $T$ is a composition of the differentiation map and evaluation map. Both of them are linear, hence $T$ is also linear. We can show it directly \[ T(\lambda p+q)=(\lambda p+q)'(3)=(\lambda p’+q’)(3)=\lambda p'(3)+q'(3)=\lambda Tp+Tq. \]Therefore $T$ is a linear map. Let us consider $Tx^n$ for $n\in \mb N^+$, if $x\ne 3$, \[T(x^n)=\frac{x^n-3^n}{x-3}=x^{n-1}+3x^{n-2}+\cdots+3^kx^{n-1-k}+\cdots+3^{n-1}\in\ca P(\R).\] Moreover, if $x=3$, we have $T(x^n)=3^{n-1}n$. Note that when $x=3$, it is true that\[ x^{n-1}+3x^{n-2}+\cdots+3^kx^{n-1-k}+\cdots+3^{n-1}=3^{n-1}n. \]We get \[T(x^n)=x^{n-1}+3x^{n-2}+\cdots+3^kx^{n-1-k}+\cdots+3^{n-1}\in\ca P(\R)\]for $x\in \R$. Similarly, we can show $T(1)=0\in \ca P(\R)$.

Since any polynomial of $\ca P(\R)$ is a linear combination of $1$, $x$, $x^2$, $\cdots$, it follows that $Tp \in\ca P(\R)$ for every polynomial $p \in\ca P(\R)$.

I am not sure the textbook indicates that $1$, $x$, $x^2$, $\cdots$ is a basis of $\ca P(\R)$, so I use some easier arguments such as any polynomial of $\ca P(\R)$ is a linear combination of $1$, $x$, $x^2$, $\cdots$.

9. Solution: If $f(z)=a_nz^n+\cdots+a_1z+a_0$, where $a_n,\cdots,a_0\in\C$, then \[\overline{f(\bar{z})}=\overline{a_n}z^n+\cdots+\overline{a_1}z+\overline{a_0}.\]That implies $\overline{f(\bar{z})}$ is a polynomial. As the product of polynomials is a polynomial as well, we conclude $q$ is a polynomial.

Now let us show $q$ has only real coefficients. Denote $q(z)$ by \[q(z)=\mu_{2n}z^{2n}+\cdots+\mu_1z+\mu_0.\]Note that $\overline{q(\bar{z})}=\overline{f(\bar{z})\overline{f(z)}}=\overline{f(\bar{z})}f(z)=q(z)$, it follows \[ \overline{\mu_{2n}}z^{2n}+\cdots+\overline{\mu_1}z+\overline{\mu_0}=\mu_{2n}z^{2n}+\cdots+\mu_1z+\mu_0. \]Hence $\overline{\mu_k}=\mu_k$, i.e $\mu_k\in \R$, for $k=0,\cdots,2n$.

Here you can also compute the coefficients $\mu_k$ in terms of $a_i$ and show $\mu_k=\overline{\mu_k}$ or use some calculus methods.

10. Note that $x_0,x_1,\cdots,x_m$ are distinct, we can define the polynomial\[f(x)=\sum_{j=0}^m\frac{(x-x_0)(x-x_1)\cdots(x-x_{j-1})(x-x_{j+1})\cdots(x-x_m)}{(x_j-x_0)(x_j-x_1)\cdots(x_j-x_{j-1})(x_j-x_{j+1})\cdots(x_j-x_m)}p(x_j).\]Then it is obvious that $f(x)\in\ca P_m(\C)$. Moreover, since $x_j$ and $p(x_j)$, $j=0,1,\cdots,m$, are real, it follows that the coefficients of $f(x)$ are real. Hence it suffices to show that $p(x)=f(x)$.

By plugging $x=x_i$ into $f(x)$, we have $f(x_i)=p(x_i)$ since all summands except one are zero (see the link in the remark below),

\[

\frac{(x_i-x_0)(x-x_1)\cdots(x_i-x_{j-1})(x_i-x_{j+1})\cdots(x_i-x_m)}{(x_j-x_0)(x_j-x_1)\cdots(x_j-x_{j-1})(x_j-x_{j+1})\cdots(x_j-x_m)}=\delta_{ij},

\]where $\delta_{ij}=0$ if $i\ne j$ and $\delta_{ij}=1$ if $i=j$.

This implies that $f-p$ has $m+1$ distinct zeros. Since $f-p\in\ca P_m(\C)$, it follows from 4.12 that the degree of $f-p$ can not be nonnegative. Hence $f-p$ is the zero polynomial, thus completing the proof.

The polynomial used here is called the Lagrange Interpolating Polynomial . Please see the following link for more detail.

11. By the division algorithm of polynomials in 4.8, we know that for every polynomial $f\in\ca P(\mb F)$ there exist unique polynomials $q$ and $r$ such that \[f=pq+r,\quad\text{and}\quad \deg r<\deg p.\]This implies that $\ca P(\mb F)=U\oplus \ca P_{\deg p-1}(\mb F)$.

Therefore\[\ca P(\mb F)/U\cong\ca P_{\deg p-1}(\mb F).\]It follows that $$\dim\ca P(\mb F)/U=\dim\ca P_{\deg p-1}(\mb F)=\deg p.$$Moreover, a basis of $\ca P(\mb F)/U$ is $1,x,x^2,\cdots,x^{\deg p -1}$.

Here I used the fact that if $V=U\oplus W$, then $V/U\cong W$. Please try to prove as the following alternative solution.

Another solution (explains the solution above more explicitly).

For any given polynomial $f\in\ca P(\mb F)$, let $r(f)$ be the reminder of $f$ divided by $q$. Note that $\deg r(f)<\deg q$we have a map $r:\ca P(\mb F)\to \ca P_{\deg p-1}(\mb F)$. One can check this is a linear map. Moreover, $\mathrm{Null}\, r=U$. By taking polynomials in $\ca P_{\deg p-1}(\mb F)$, we have that $\mathrm{range}\,r=\ca P_{\deg p-1}(\mb F)$.

By 3.91(d), we have that \[\ca P(\mb F)/U=\ca P(\mb F)/\mathrm{Null}\, r\cong \mathrm{range}\,r=\ca P_{\deg p-1}(\mb F).\]Now the problem is solved similarly.