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: