description/proof of that for separable Hilbert space and subset, closure of subspace generated by subset is double-orthogonal complement of subset
Topics
About: vectors space
The table of contents of this article
Starting Context
- The reader knows a definition of Hilbert space.
- The reader knows a definition of topology induced by metric.
- The reader knows a definition of separable topological space.
- The reader knows a definition of sub-'vectors space' generated by subset of vectors space.
- The reader knows a definition of closure of subset of topological space.
- The reader knows a definition of orthogonal complement of subset of vectors space with inner product.
- The reader admits the proposition that for any complete metric space, any closed subspace is complete.
- The reader admits the proposition that for any separable topological space induced by any metric, any topological subspace is separable.
- The reader admits the proposition that any separable Hilbert space has an orthonormal Schauder basis.
- The reader admits the Cauchy-Schwarz inequality for any real or complex inner-producted vectors space.
- The reader admits the proposition that for any vectors space with the topology induced by the metric induced by the norm induced by any inner product and any subspace, the closure of the subspace is a subspace.
- The reader admits the proposition that for any separable Hilbert space and any orthonormal subset, the subset can be expanded to be an orthonormal Schauder basis.
- The reader admits the proposition that the closure of any subset is the union of the subset and the accumulation points set of the subset.
Target Context
- The reader will have a description and a proof of the proposition that for any separable Hilbert space and any subset, the closure of the subspace generated by the subset is the double-orthogonal complement of the subset.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\(F\): \(\in \{\mathbb{R}, \mathbb{C}\}\), with the canonical field structure
\((V', dist)\): \(= \{\text{ the separable Hilbert spaces }\}\), with any inner product, \(\langle \bullet, \bullet \rangle\), with the topology induced by \(dist\)
\(S\): \(\subseteq V'\)
//
Statements:
\(\overline{(S)} = {S^\perp}^\perp\)
//
2: Note
It is not "\(\overline{S} = {S^\perp}^\perp\)": the subspace generated by \(S\) is required.
For example, when \(S = \{s\}\) for a single \(s\), \(\overline{S} = \{s\}\), which does not equal \({S^\perp}^\perp\): while \({S^\perp}^\perp\) is a vectors subspace, \(\overline{S}\) is not even any vectors subspace at all.
Of course, when \(S\) is already a vectors subspace, \((S) = S\), and \(\overline{S} = {S^\perp}^\perp\) holds.
3: Proof
Whole Strategy: Step 1: see that \(S^\perp = (S)^\perp\); Step 2: see that for each closed subspace of \(V'\), \(V \subseteq V'\), \(V = {V^\perp}^\perp\); Step 3: see that \({\overline{(S)}}^\perp = {(S)}^\perp\) and \({{\overline{(S)}}^\perp}^\perp = {{(S)}^\perp}^\perp\); Step 4: conclude the proposition.
Step 1:
Let us see that \(S^\perp = (S)^\perp\).
\((S) = Span (S)\), by Note for the definition of sub-'vectors space' generated by subset of vectors space.
For each \(v \in S^\perp\), \(v \in (S)^\perp\), because for each \(c^1 s_1 + ... + c^n s_n \in (S)\), \(\langle v, c^1 s_1 + ... + c^n s_n \rangle = \overline{c^1} \langle v, s_1 \rangle + ... + \overline{c^n} \langle v, s_n \rangle = 0 + ... + 0 = 0\).
For each \(v \in (S)^\perp\), \(v \in S^\perp\), because \(S \subseteq (S)\).
Step 2:
Let us see that for each closed subspace of \(V'\), \(V \subseteq V'\), \(V = {V^\perp}^\perp\), which is in fact a special case of this proposition, because \(\overline{(V)} = V\), because \((V) = V\) as \(V\) is already a vectors subspace and \(\overline{V} = V\) as \(V\) is already closed.
\(V\) is a separable Hilbert space, by the proposition that for any complete metric space, any closed subspace is complete and the proposition that for any separable topological space induced by any metric, any topological subspace is separable.
\(V\) has an orthonormal Schauder basis, \(B = \{b_1, b_2, ...\}\), by the proposition that any separable Hilbert space has an orthonormal Schauder basis.
\(V'\) has an orthonormal Schauder basis as an expansion of \(B\), \(B' = \{b'_1, b'_2, ...\}\), by the proposition that for any separable Hilbert space and any orthonormal subset, the subset can be expanded to be an orthonormal Schauder basis.
\(V'\) is nothing but the set of the elements that can be expressed as \(\sum_j v'^j b'_j\): each element of \(V'\) can be expressed such; each convergent \(\sum_j v'^j b'_j\) is a Cauchy sequence, so the convergence is in \(V'\), because \(V'\) is complete.
\(V\) is nothing but the set of the elements that can be expressed as \(\sum_j v'^j b'_j\) where only \(B\) elements appear as \(b'_j\) s: likewise.
\(V^\perp\) is nothing but the set of the elements that can be expressed as \(\sum_j v'^j b'_j\) where only \(B' \setminus B\) elements appear as \(b'_j\) s, because each element of \(V^\perp\) cannot have any \(B\) element and such each \(\sum_j v'^j b'_j\) is in \(V^\perp\).
Then, \({V^\perp}^\perp\) is nothing but the set of the elements that can be expressed as \(\sum_j v'^j b'_j\) where only \(B\) elements appear as \(b'_j\) s, because each element of \({V^\perp}^\perp\) cannot have any \(B' \setminus B\) element and such each \(\sum_j v'^j b'_j\) is in \({V^\perp}^\perp\).
So, \({V^\perp}^\perp = V\).
Step 3:
Let us see that \({\overline{(S)}}^\perp = {(S)}^\perp\).
\({\overline{(S)}}^\perp \subseteq {(S)}^\perp\), because \((S) \subseteq \overline{(S)}\) and each element of \({\overline{(S)}}^\perp\) is perpendicular to each element of \((S)\), which is equal to or smaller than \(\overline{(S)}\).
Let \(v \in {(S)}^\perp\) be any. For each \(v' \in \overline{(S)}\), \(\langle v, v' \rangle = 0\)? For each \(\epsilon\)-'open ball' around \(v'\), \(B_{v', \epsilon} \subseteq V'\), there is a \(v'' \in B_{v', \epsilon} \cap (S)\), by the proposition that the closure of any subset is the union of the subset and the accumulation points set of the subset. \(\langle v, v'' \rangle = 0\). \(\langle v, v' \rangle = \langle v, v' - v'' + v'' \rangle = \langle v, v' - v'' \rangle + \langle v, v'' \rangle = \langle v, v' - v'' \rangle + 0 = \langle v, v' - v'' \rangle \le \Vert v \Vert \Vert v' - v'' \Vert\), by the Cauchy-Schwarz inequality for any real or complex inner-producted vectors space, \(\lt \Vert v \Vert \epsilon\), but as \(\epsilon\) is arbitrary, \(\langle v, v' \rangle = 0\).
So, \(v \in {\overline{(S)}}^\perp\), which means that \({(S)}^\perp \subseteq {\overline{(S)}}^\perp\).
So, \({\overline{(S)}}^\perp = {(S)}^\perp\).
So, \({{\overline{(S)}}^\perp}^\perp = {{(S)}^\perp}^\perp\).
Step 4:
By Step 2, \({{\overline{(S)}}^\perp}^\perp = \overline{(S)}\): \(\overline{(S)}\) is a vectors subspace, by the proposition that for any vectors space with the topology induced by the metric induced by the norm induced by any inner product and any subspace, the closure of the subspace is a subspace.
By Step 1, \({{(S)}^\perp}^\perp = {S^\perp}^\perp\).
So, \(\overline{(S)} = {S^\perp}^\perp\).