Theorem: Equivalence of Definitions of Closed Linear Span

Let $H$ be a Hilbert space over $\Bbb F \in \set {\R, \C}$, and let $A \subseteq H$ be a subset.
{{TFAE|def = Closed Linear Span|view = closed linear span of $A$}}
:$(1): \quad \ds \vee A = \bigcap \Bbb M$, where $\Bbb M$ consists of all closed linear subspaces $M$ of $H$ with $A \subseteq M$
:$(2): \quad \vee A$ is the smallest closed linear subspace $M$ of $H$ with $A \subseteq M$
:$(3): \quad \ds \vee A = \map \cl {\set {\sum_{k \mathop = 1}^n \alpha_k f_k: n \in \N_{\ge 1}, \alpha_i \in \Bbb F, f_i \in A} }$, where $\cl$ denotes closure

Proof:
Let the proposition $(1)$ hold:
Assume the closed linear subspace $M'$ contains the set $A$.
Then because $M' \in \Bbb M$:
:$\vee A \subseteq M'$
The intersection of arbitrary family of subspaces is a subspace.
For suppose $\CC$ is a family of subspaces.
Denote $\bigcap \CC = \set {f\in H: \forall V \in \CC: \exists f \in V}$
If $f \in \bigcap \CC$, then for any $V \in \CC$, $f \in V$ there exists $a f \in V$ for $a \in \Bbb F$.
If $f, g \in \bigcap \CC$, we have for any $V \in \CC$:
:$f + g \in V$
Therefore, $\vee A$ is a subspace.
It is closed, as intersection of arbitrary family of closed sets is closed.
The choice of $M'$ is arbitrary.
Hence, $(2)$ holds.
This is the proof $(1) \implies (2)$.
Next, assume $(2)$ holds.
Since $A \subseteq \vee A$:
:$\vee A \in \Bbb M$
$\vee A$ is the smallest one in $\Bbb M$.
Hence:
:$\ds \vee A = \bigcap \Bbb M$
Thus we have established the equivalence between $(1)$ and $(2)$.
Finally we come to $(3)$:
We prove that $\map \cl {\map \span A}$ is a subspace.
Let $f \in \map \cl {\map \span A}$. 
By {{Defof|Hilbert Space}}:
:$H$ is a metric space.
From Point in Closure of Subset of Metric Space iff Limit of Sequence:
:there is a sequence $\sequence {f_i}$ in $\map \span A$ that its limit is $f$.
By the continuity of the function of the multiplication of numbers of the field $\Bbb F$ and points in $H$, the sequence $\sequence {af_i}$ with $a\in \Bbb F$ converges to $af$.
Because all the terms of the sequence $\sequence {af_i}$ are points in $\map \span A$, we have $af\in \map \cl {\map \span A}$.
The proof regards the addition of two vectors is by a similar manner.
If $f \in \map \cl {\map \span A}$ and $g\in \map \cl {\map \span A}$, then a sequence $\sequence {f_i}$, converges to $f$, and a sequence $\sequence {g_i}$, converges to $g$, of $\map \span A$ are given.
By the continuity of the function of the addition of points in $H$, $\sequence {f_i + g_i}$ converges to $f+g$. 
Because each terms of the sequence $f_i + g_i$ is in $\map \span A$, we have $f + g \in \map \cl {\map \span A}$.
Notice that in general, if $H'$ is a subspace, then $\map \cl {H'}$ is a subspace.
Finally we come to the proof of equivalence of $(2)$ and $(3)$:
$\map \cl {\map \span A}$, the closed linear subspace, contains $\map \span A$ and thus contains $A$.
For any closed linear subspace $M$ which contains $A$, $\map \span A \subseteq M$, since the linear span of $A$ is the smallest subspace that contains $A$.
Because $M$ is closed, $\map \cl {\map \span A} \subseteq M$.
$\map \cl {\map \span A}$ is the the smallest closed linear subspace $M$ of $H$ with $A \subseteq M$.
Because arbitrary intersection of closed sets is closed and arbitrary intersection of subspaces is a subspace, the smallestness is unique.
Hence $\vee A = \map \cl {\map \span A}$.
{{qed}}