Intereting Posts

Prove that if $\int_{a}^{b} f(x)$ exists, $\delta >0 $ such that $|\sigma_1 -\sigma_2|<\epsilon$
Evaluate Integral with $e^{ut}\ \Gamma (u)^{2}$
What is elliptic bootstrapping?
Uniqueness of compact topology for a group
Why are ideals more important than subrings?
Simplifying a geometric sum
Proof by contradiction vs Prove the contrapositive
Probability that n points on a circle are in one semicircle
Shortest sequence containing all permutations
Software to find out adjacency matrix of a graph.
What is meant by limit of sets?
Prove $\|x\|_1\le \sqrt n \|x\|_2$
How do you plot the graph of $y = \sin(x)+\cos(x)$ by converting it to another form?
Differential equations with dense solutions
Why do physicists get away with thinking of the Dirac Delta functional as a function?

Suppose that we have a vector space $X$ over the field $\mathbb F \in \{ \mathbb R, \mathbb C \}$.

**Question:** Does there exist a Hilbert space $\widehat X$ over $\mathbb F$ such that $\widehat X$, when we forget the Hilbert space structure, is the same as $X$ in the category of vector spaces?

Which criteria hold for the existence of such a Hilbert space, on which choices do we have? My motivation is to better understand which structure we gain from the Hilbert space setting (and topological vector spaces in general).

- A continuous mapping with the unbounded image of the unit ball in an infinite-dimensional Banach space
- If the dual spaces are isometrically isomorphic are the spaces isomorphic?
- Relative countable weak$^{\ast}$ compactness and sequences
- Nested sequence of sets in Hilbert space
- If every $x\in X$ is uniquely $x=y+z$ then $\|z\|+\|y\|\leq C\|x\|$
- Sum of closed and compact set in a TVS

- Fractional iteration of the Newton-approximation-formula: how to resolve one unknown parameter?
- Characterization of positive definite matrix with principal minors
- Rangespace of Moore-Penrose pseudoinverse : $\mathcal{R}(A^+)=\mathcal{N}(A)^\perp$?
- Intersection of nested closed bounded convex sets in Euclidean space
- Geometric interpretation of matrices
- Problem proving: $V = \ker T \oplus \operatorname{im}T$
- Why are there $736$ matrices $M\in \mathcal M_2(\mathbb{Z}_{26})$ for which it holds that $M=M^{-1}$?
- Connected components of a given subspace of $M_{n \times n}(\mathbb{R})$.
- $X$ compact Hausdorff space, characterize the maximal ideals of $C(X)$
- Derivative of Determinant Map

Let’s go ahead and prove Eric Wofsey’s claim (see his comment under the question), that if $H$ is an infinite-dimensional Hilbert space with an orthonormal basis $U$ of cardinality $\kappa$, then any Hamel basis $B$ of $H$ has cardinality $|B| = \kappa^{\aleph_0}$. Notice this implies that some (real or complex) vector spaces do not admit a Hilbert space structure; e.g., any whose dimension is the limit $\lambda$ of cardinals $\alpha_n$ defined by $\alpha_0 = \aleph_0$ and $\alpha_{n+1} = 2^{\alpha_n}$ (this $\lambda$ has countable cofinality and hence can’t be of the form $\lambda = \kappa^{\aleph_0}$, else $\lambda = \lambda^{\aleph_0}$ which would contradict König’s theorem, as mentioned in an earlier comment).

First remark: $|B| = |H|$. Since $H$ is infinite-dimensional, we have $|B| \geq 2^{\aleph_0} = |\mathbb{C}|$ (see for example the last two paragraphs of this M.SE post: https://math.stackexchange.com/a/547888/43208), and we have $|H| = |B|\cdot |\mathbb{C}|$ by the lemma at this MO post: https://mathoverflow.net/a/49572/2926). Combining these two, $|B| = |B| \cdot |B| \geq |B| \cdot |\mathbb{C}| = |H|$, and obviously $|B| \leq |H|$, so $|B| = |H|$.

Let $\langle -, -\rangle$ be the inner product. For each $h \in H$, let $N_h = \{e \in U: \langle h, e\rangle \neq 0\}$; notice this is at most countable. Consider $H_{fin} = \{h \in H: |N_h| < \infty\}$ and its complement, which I will denote as $H_\infty$.

Each $h \in H_\infty$ determines and is uniquely determined by the countably infinite set $N_h \subseteq U$ together with the corresponding element $\sum_{e \in N_h} \langle h, e\rangle e$ in $l^2(N_h)$. In this way we have a bijection

$$H_\infty \to \bigcup_{N \in X} L(N) \qquad (1)$$

where $X$ is the collection of countably infinite subsets $N$ of $U$ and $L(N)$ is the subset of $l^2(N)$ whose elements $h$ satisfy $\langle h, e\rangle \neq 0$ for all $e \in N$.

**Lemma:** If $A$ is an infinite set and $\alpha$ a cardinal such that $\alpha \leq |A|$, then the number of subsets of $A$ of size $\alpha$ is $|A|^\alpha$.

**Proof:** For each inclusion of a subset of size $\alpha$, we can choose an injective function $\alpha \to A$ with the same image, belonging to the set of all such functions which has cardinality $|A|^\alpha$, so $|A|^\alpha$ is an upper bound. On the other hand, a function $\alpha \to A$ can be identified with its graph, a subset of $\alpha \times A$ of size $\alpha$, and $|\alpha \times A| = |A|$ (excepting $\alpha = 0$ which is trivial), so $|A|^\alpha$ is also a lower bound. $\Box$

Applying this lemma to the bijection (1), we have $|X| = \kappa^{\aleph_0}$. Also we have $|L(N)| = 2^{\aleph_0}$ for each $N$, so $|H_\infty| = \kappa^{\aleph_0} \cdot 2^{\aleph_0} = \kappa^{\aleph_0}$.

Similarly, we have an injection

$$H_{fin} \to \bigcup_{n \geq 0} X_n \times \mathbb{C}^n \qquad (2)$$

where $X_n$ is the collection of subsets of $U$ of finite cardinality $n$. Since $|X_n| = \kappa^n = \kappa$ by the lemma, we have $|H_{fin}| \leq \aleph_0 \cdot \kappa \cdot 2^{\aleph_0} = \max\{\kappa, 2^{\aleph_0}\} \leq \kappa^{\aleph_0}$.

Finally, $\kappa^{\aleph_0} = |H_\infty| \leq |H| = |H_\infty| + |H_{fin}| \leq \kappa^{\aleph_0} + \kappa^{\aleph_0} = \kappa^{\aleph_0}$, so $|H| = \kappa^{\aleph_0}$ as claimed.

**Added in response to Sushil’s comment below:** The converse, that if $\kappa = \kappa^{\aleph_0}$ then there exists a Hilbert space of algebraic dimension $\kappa$, is fairly immediate. Indeed, suppose $B$ is a set of cardinality $\kappa$, and let $V$ be the $\mathbb{C}$-vector space $V$ consisting of formal $\mathbb{C}$-linear combinations of elements of $B$. Assign to $V$ the unique inner product that makes $B$ an orthonormal set of $V$. Then the completion of $V$ with respect to the norm of the inner product is a Hilbert space $H$ whose algebraic dimension is $\kappa$. This is because $B$ is an orthonormal basis of $H$ (by construction of $H$), so the claim of the very first paragraph of this answer shows that any Hamel basis of $H$ has cardinality $\kappa^{\aleph_0} = \kappa$.

Arthur Kruse showed in “Badly incomplete normed linear spaces” *(Math. Z. 83 (1964) 314–320, DOI:10.1007/BF01111164, also freely available at GDZ)* that a Banach space of (Hamel) dimension $\kappa$ exists if and only if $\kappa^{\aleph_0}=\kappa$.

(This has been reproved several times since then, and perhaps there are even older references.)

- Phase Potentials
- Example of a closed subspace of a Banach space which is not complemented?
- An inflection point where the second derivative doesn't exist?
- Has any previously unknown result been proven by an automated theorem prover?
- Parseval's Theorem Proof
- Calculate the value of the integral $\int_{0}^{\infty} \frac{\cos 3x}{(x^{2}+a^{2})^{2}} dx$ where $a>0$ is an arbitrary positive number.
- How to solve congruence $x^y = a \pmod p$?
- Number of squares in $n\times n$ chessboard
- There are $6$ types of cookies. How many different packs of $3$ cookies can the baker package?
- $f(0)=0$ and $\lvert\,f^\prime (x)\rvert\leq K\lvert\,f(x)\rvert,$ imply that $f\equiv 0$.
- Why is the infinite sphere contractible?
- What would be the graph of absolute value of $X – Y$
- What does it mean for a function $f(x)$ to be differentiable at $x_0$?
- Can a non singular matrix of order $k\times k$ be changed into singular by changing exactly one element or vice versa?
- Some pecular fractional integrals/derivatives of the natural logarithm