2025-05-06

1104: For Vectors Space with Topology Induced by Metric Induced by Norm Induced by Inner Product, if Space Is Separable, It Has No Uncountable Orthonormal Subset

<The previous article in this series | The table of contents of this series | The next article in this series>

description/proof of that for vectors space with topology induced by metric induced by norm induced by inner product, if space is separable, it has no uncountable orthonormal subset

Topics


About: vectors space

The table of contents of this article


Starting Context



Target Context


  • The reader will have a description and a proof of the proposition that for any vectors space with the topology induced by the metric induced by the norm induced by any inner product, if the space is separable, it has no uncountable orthonormal 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: {R,C}, with the canonical field structure
V: { the F vectors spaces } with any inner product, ,:V×VF, with the topology induced by the metric induced by the norm induced by the inner product
//

Statements:
V{ the separable topological spaces }

¬S{ the uncountable orthonormal subsets of V}
//


2: Note


Typically, although not necessarily, V is a Hilbert space.


3: Proof


Whole Strategy: Step 1: suppose that there was an S; Step 2: for each sS, take an open ball, Bs,δV, such that such open balls were disjoint, and see that any dense subset of V would need to have a point in each open ball; Step 3: conclude the proposition.

Step 1:

Let us suppose that there was an uncountable orthonormal subset, S.

Step 2:

For each sS, let us take an open ball, Bs,δV, such that such open balls were disjoint, as follows.

For each s,sS such that ss, dist(s,s)=ss,ss=s,s+s,s+s,s+s,s=1+0+0+1=2.

Let pBs,δ be any, which means that dist(s,p)<δ.

dist(s,s)dist(s,p)+dist(p,s), so, dist(s,s)dist(s,p)dist(p,s).

So, 2δ<dist(p,s).

So, we can take δ=2δ, which means that δ=2/2, then, δ<dist(p,s), which implies that pBs,δ.

So, the open balls are disjoint.

As S had some uncountable points, there would be some uncountable open balls.

Then, any dense subset of V would need to have a point in each Bs,δ, because otherwise, s would not be in the closure of the dense subset.

Then, the dense subset would need to have some uncountable points, because there were those uncountable open balls, a contradiction against V's being separable (having a countable dense subset).

Step 3:

So, the supposition was wrong, and there is no uncountable orthonormal subset of V.


References


<The previous article in this series | The table of contents of this series | The next article in this series>