Intereting Posts

Fourier series for $\sin^2(x)$
No uncountable ordinals without the axiom of choice?
Integral of sinc function multiplied by Gaussian
Let $f$ be such that $f(0)=0$ and $f'(0)=1$. Find iff conditions for normality of successive iterations $f\circ f\circ\ldots$
Why is this true? $(\exists x)(P(x) \Rightarrow (\forall y) P(y))$
To create a special matrix !!
Any digit written $6k$ times forms a number divisible by $13$
Familiar spaces in which every one point set is $G_\delta$ but space is not first countable
Distance between point and linear Space
Looking for help with this elementary method of finding integer solutions on an elliptic curve.
Are there any theories being developed which study structures with many operations and many distributive laws?
If $a\in \mathrm{clo}(S)$, does it follow that there exists a sequence of points in $S$ that converges to $a$?
Confused on a proof that $\langle X,1-Y\rangle$ is not principal in $\mathbb{Q}/\langle 1-X^2-Y^2\rangle$
The first homology group $ H_1(E(K); Z) $ of a knot exterior is an infinite cyclic group which is generated by the class of the meridian.
Modified gambler's ruin problem: quit when going bankruptcy or losing $k$ dollars in all

Essentially what the title says – where to me a Hilbert space is a complete (Hermitian) inner product space, am I safe to assume every such real Hilbert space is of uncountable dimension over $\mathbb{R}$, or is there a countable-dimension example?

Thanks a lot ðŸ™‚

- Convergent or divergent: $\sum_{k=1}^{\infty}\frac{2^{k}\cdot k!}{k^{k}}$
- Analog of $(a+b)^2 \leq 2(a^2 + b^2)$
- A variation of fundamental lemma of variation of calculus .
- True/False: Self-adjoint compact operator
- Function which takes every value uncountably often
- Second Countability of Euclidean Spaces

- In a separable Hilbert space, how to show that the orthogonal projection onto a subspace of $n$ orthonormal basis elements converge?
- How to derive this interesting identity for $\log(\sin(x))$
- Proof of Frullani's theorem
- Prove that a function having a derivative bounded by 0.49 has a unique solution $\frac{2x+\sin(x)}{2}$
- doubly periodic functions as tessellations (other than parallelograms)
- A sum for stirling numbers Pi, e.
- Showing that $\Omega$ is of class $C^1$
- A strictly positive operator is invertible
- Volterra Operator is compact but has no eigenvalue
- Differentiability-Related Condition that Implies Continuity

An infinite dimensional (real) Hilbert space has dimension at least $\mathfrak{c}=2^{\aleph_0}=|\mathbb{R}|$ as a vector space. One way to see this is by taking an orthornormal sequence $e_1,e_2,\ldots$, and considering the linearly independent set $\{\sum_{k=1}^\infty t^ke_k:0\lt t\lt 1\}$.

The same fact extends to Banach spaces, but there orthogonality cannot be used to write so short of a proof. A proof is given in this short article by Lacey.

To just see that the dimension cannot be countable, you could use Baire’s theorem.

For more on this in the Hilbert space case, see Problem 7 of Halmos’s *Hilbert space problem book*. (It is assumed there that the Hilbert spaces are complex instead of real, but this does not affect your question.)

I think natural example of Hilbert space with a countable basis is a space of $L^2([-\pi,\pi])$ with a natural fourier set of basis functions ${e^{inx}, i \in -\infty, \ldots, \infty}$. See https://en.wikipedia.org/wiki/Fourier_series

- Can infinitely many primes lie over a prime?
- A closed form for $\int x^nf(x)\mathrm{d}x$
- Integral ${\large\int}_0^1\frac{dx}{(1+x^{\sqrt2})^{\sqrt2}}$
- Complementary Solution = Homogenous solution?
- What is the math behind the game Spot It?
- Proving Integral Inequality
- Ratio between highest number among $n$ and $n+1$ samples
- What was Lame's proof?
- What does it means to multiply a permutation by a cycle? $\pi(x_1\cdots x_n)\pi^{-1}=(\pi(x_1)\cdots\pi(x_n))$
- What does the semicolon ; mean in a function definition
- Simple to state yet tricky question
- Proof of Riemann Hypothesis
- simplify $(a_1 + a_2 +a_3+… +a_n)^m$
- Chicken Problem from Terry Tao's blog (system of Diophantine equations)
- Uniform Convergence of Difference Quotients to Partial Derivative