Dual vector space

Here a vector space is denoted as $$(V,K)$$ where $$K$$ is the field the vector space is over.

The Dual space $$V^*$$ is defined as follows:

---

TODO:

---