If V is a finite dimensional vector space and v not equal to 0 is a vector in V, show that there is a linear functional f E V* such that f(v) not equal to 0
Given any non-zero vector we can extend it to a basis. So we extend to a basis of Let the basis be . Now we define an element of as and for all other Then we extend by linearity since we are working on a basis. So we got a functional such that This is a functional since any map from the basis set extends uniquely to a functional on the entire space.
Comments