Dgdrxrt

If we have a vector space $V$ this has a dual $V^*$.
When a learned about dual spaces we were told it has the same dimension as the vector space and I think the lecturer said they were unique (if not the notation of just using * seems a bit vague).

Then I noticed something. Say $V$ is a function space, with a set of basis functions $e_i (x)$. Then I can create a range of dual vector spaces:

1)
$$
int e_i(x) w_1 (x) ●
$$

2)
$$
int e_i(x) w_2(x) ●
$$

Where $w_1ne w_2$. We now either have 2 dual spaces or the dual space is twice as big as the origional space.

The dual of a vector space $V$ is defined as
$$V^*:=hom(V,k) ,$$
the vector space of linear maps from $V$ to the base field $k$. It is not an existence statement or something similar, it is a definition, and as such it is unique.

For the dimension statement, if $V$ is finite dimensional, then $V^*$ has the same dimension as $V$. Even then, $V$ and $V^*$ are not canonically isomorphic. In general, you have that
$$dim V^*gedim V .$$
It is a good exercise (if possibly a bit hard for you, if I gauge your level correctly) to prove that the dual of any vector space cannot have countable dimension.

If you have more structure (e.g. topological vector spaces, Banach spaces and Hilbert spaces), then there is a notion of continuous dual, again denoted by $V^*$. There is an important theorem (called the Riesz representation theorem) saying that if $V$ is a Hilbert space, then $V$ is canonically isomorphic to its continuous dual $V^*$.

The dual space is unique. To demonstrate this, let us formally define some linear maps from the original vector space $V$ with elements $u, v,ldots$ to the real line $mathscrR$:

$f: V to mathscrR$ with $u mapsto f(u):=int_0^1 u(x)w_1(x)dx$.

$g: V to mathscrR$ with $u mapsto g(u):=int_2^pi u(x)w_2(x)dx$.

$h: V to mathscrR$ with $u mapsto h(u):=fracmathrmdu(x)mathrmdx$ evaluated at $x=5$.
… etc.

All these maps are linear in their arguments and are "well-defined" in the sense that if $u=v$ implies $f(u)=f(v)$, $g(u)=g(v)$, $h(u)=h(v)$ etc. Each map leads from one element $v$ to one element in $mathscrR$.

The SET of maps $f, g, h,ldots$ (and all kind of linear maps you can think of...) are the element of the dual space. Moreover, the fact that you collect ALL POSSIBLE maps guarantees that this collection is unique! In other words: you do not make any choice at all. Nobody can do this in a different way.