2
$\begingroup$

$V$ is a vector space of polynomials of degree less than or equal to 50 and $W$ is the set of polynomials in $V$ which are divisible by $x^4$.

I have shown that $W$ is a subspace of $V$ and that the dimension of $V/W$ is four.

If $V$ was the space of all polynomials over $\mathbb{R}$, why would the dimension of $V/W$ remain the same?

$\endgroup$
3
  • 2
    $\begingroup$ Well, why is dim(V/W) = 4 in the first case? (Can you pick a basis for V/W?) $\endgroup$
    – Billy
    May 14, 2013 at 4:12
  • $\begingroup$ A basis for V/W would be the cosets 1+w. x+w. x^2+w. x^3+w...right? $\endgroup$
    – user77719
    May 14, 2013 at 4:17
  • 1
    $\begingroup$ Yes. This is true in the second case too. (Can you prove it?) That's enough of a reason. (But if you like, you might want to think about this: if $V$ is the space of polynomials of degree $\leq 50$, $W$ is the space of polynomials in $V$ divisible by $x^4$, and $U$ is the space of polynomials divisible by $x^{51}$, can you interpret $V' = V\oplus U$ as the space of all polynomials and $W' = W\oplus U$ as the space of polynomials in $V'$ divisible by $x^4$? Then, when we try to work out $V'/W'$, the summand $U$ simply cancels: informally, degree $\geq 51$ terms are irrelevant in the quotient.) $\endgroup$
    – Billy
    May 14, 2013 at 4:28

1 Answer 1

1
$\begingroup$

Let $V$ be the space of polynomials of degree less than or equal to $N$, where $N \ge 3$, and, abusing notation slightly, we allow $N = \infty$ to mean 'all polynomials'.

Suppose $p \in V$, where $p(x) = \sum_{k=0}^n p_k x^k$. Then if $w(x) = \sum_{k=4}^n p_k x^k = x^4 \sum_{k=0}^n p_k x^{k-4}$, we see that $w \in W$. Hence $x \mapsto \sum_{k=0}^3 p_k x^k \in [p] = \{ p \} +W$. Since $p$ was arbitrary, it follows that $\dim V/W \le 4$.

Let $e_k(x) = x^k$ for $k=0,..,3$. Suppose $\sum_{k=0}^3 \alpha_k [e_k] = [0]$, or equivalently, $[\sum_{k=0}^3 \alpha_k e_k] = [0]$. This implies that $\sum_{k=0}^3 \alpha_k e_k = (x \mapsto \sum_{k=0}^3 \alpha_k x_k) \in W$. However, the only way $\sum_{k=0}^3 \alpha_k e_k$ can be divisible by $x \mapsto x^4$ is if $\alpha_k = 0$. Hence $\{[e_k] \}_{k=0}^3$ are linearly independent, and hence we have $\dim V/W = 4$.

If $N<3$, a slight modification of the above shows that $\dim V/W = \min(4,N+1)$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .