I'm coming from a computer science background and am currently trying to formalize my linear algebra knowledge by going through Linear Algebra Done Right. I have an intuitive grasp on most of the basic concepts but I struggle with trying to prove things rigorously. Here's an example:
Let $U=\{p\in \mathcal{P}_4(F): p(2)=p(5)\}$. Find a basis of U. Extend the basis to a basis of $\mathcal{P}_4(F)$. Find a subspace $W$ of $\mathcal{P}_4(F)$ such that $\mathcal{P}_4(F)=U\oplus W$.
It was pretty straightforward for me to find a basis $\{x^4-203x,x^3-39x,x^2-7x,1\}$, but I have no idea how to really prove that it's in fact a basis. One technique I know is to show that a set is (1) linearly independent, and (2) of the same size as the dimension of the vector space. Condition 1 can be proved by stating that each vector contains a polynomial of a different degree, and so none can be constructed as a linear combination of the others. However, how would I prove condition 2? Specifically, how do I prove that the vector space is of dimension 4? Intuitively it makes sense that
- $\mathcal{P}_4(F)$ has dimension 5
- $U$ excludes some members from that space so it has to have fewer dimensions
- The condition $p(2)=p(5)$ places a single constraint on U, so it makes sense that it has one less dimension.
However, I have no idea how to formalize this.
Help with this specific question would be great, but what I'm really curious about is if there are standard ways to find the dimension of spaces with definitions like this, or if there are ways to verify a basis without relying on the dimension of the vector space.