Hint: vector space $V=\{f:S\rightarrow F\}$ is a finite dimensional vector space over F if and only if $S$ is finite.

functionslinear algebravector-spaces

No answers, please! Just a hint.

Let $S$ be a set and let $F$ be a field. Prove that the vector space $V=\{f:S\rightarrow F\}$ of all maps from $S$ to $F$ is a finite-dimensional vector space over $F$ if and only if $S$ is finite.

EDIT: Thank you all for the hints. This is my proof. How is it?

Suppose $S$ is finite. Let's define $\delta_s$ as follows:
$$\delta_s(x)=\begin{cases}
1&x=s\\
0&x\neq s
\end{cases}$$

We can express any function $f$ in terms of $\{\delta_s \mid s \in S\}$: $f = \sum_{s \in S} a_i \delta_s$, so $\{\delta_s \mid s \in S\}$ is a finite spanning set. Thus, $V$ is a finite-dimensional vector space. Conversely, suppose to the contrary that $S$ is infinite. Then $\{\delta_s \mid s \in S\}$ is an infinite spanning set. However, this contradicts the fact that $V$ is a finite-dimensional vector space, and so $S$ must be finite.

Best Answer

Hint: think about the functions $(\delta_s:s\in S)$ defined by $\delta_s(x)=1$ if $x=s$ and $\delta_s(x)=0$ if $x\ne s$.