Nested sequence of sets in Hilbert space [duplicate]

functional-analysis hilbert-spaces

This is Cantors Intersection Theorem. The (simple) proof can be found here for example. You need to use the fact that closed bounded convex subsets in a Hilbert space H are weakly compact.

Related

Can we prove $ℝ^n ∖ \{\text{straight line}\}$ and $ℝ^n ∖ \text{\{an axis\}}$ homeomorphic by proving their complements homeomorphic?
Show that if $\langle X,AX\rangle = 0$, then $AX = 0$
Expectation of nonnegative RV
Using the squeeze theorem to determine a limit $\lim_{n\to\infty} (n!)^{\frac{1}{n^2}}$
Sum of $\frac{1}{(2n)(2n+1)}$ from $1$ to infinity
Solving $\lim_{x\to -\infty}{\sqrt{x^2+x+1} - \sqrt{1-x+x^2}}$ using $o$ ( little - oh )
What is the minimum $ \sigma$-algebra that contains open intervals with rational endpoints
How prove this inequality $x^3y+y^3z+z^3x\ge xyz(x+y+z)$
Find the supremum of the following set
Q[x,y]/(x) = Q[y]? [closed]
point on line to form angle
Manipulating expression $(\frac{1}{4}+\frac{1}{2^{n+1}})(1-\frac{1}{2^{n+1}})$ in inductive step.