I want to show that (where is a vector space and is it's dual space) defined by:
I have a proof from a book, but I don't quite understand what it's doing. It starts by:
Haven't they just proven it for just 0?Let . Then .
Now since the scalar product is definite, this implies and thus .
Also, what does "scalar product is definite" mean?