8

We know that every normed space contains a separable subspace.

Let $X$ a normed space. Suppose that Hamel's basis of $X$ is uncountable, $X$ isn't a reflexive and Banach space (see below). Does there exist an infinite dimensional Banach subspace $B$ of $X$?

Remark:

If $X$ is Banach take any infinite dimensional closed subspace in $X$, and we have done. (Let $(x_{n})_{n}$ linearly independent sequence, so $S=\overline{ \langle (x_{n})_{n} \rangle}$ is a closed subspace in $X$, then $S$ is a Banach subspace of $X$).

We have to show the question when $X$ isn't a Banach space.

In particular, if $X$ isn't Banach, then $X$ isn't reflexive. (Suppose $X$ isn't Banach. If $X$ is reflexive , $J(X)=X''$, and $X''$ is Banach, then $X$ is Banach.)

We have to show the question when $X$ isn't a reflexive and Banach space.

If $X$ is normed space with Hamel's basis countable then $X$ can't have a subspace that is Banach in $X$. In fact, let $S$ a Banach subspace of $X$, then Hamel's basis of $S$ is uncountable, but Hamel's basis of $X$ is countable.

An example of normed space with countable basis:

"Consider $c_{00}$, the space of the sequences $x=(x_{n})$ of real numbers which have only finitely many non-zero elements, with the norm $ \|x\|=\sup _{n}|x_{n}|$ . Its standard basis, consisting of the sequences having only one non-zero element, which is equal to 1, is a countable Hamel basis." (https://en.wikipedia.org/wiki/Basis_(linear_algebra))

We have to show the question when Hamel's basis of $X$ is uncountable, and $X$ isn't a reflexive and Banach space.

Joao Maia
  • 435
  • Not if $X$ is finitedimensional. Do you want $B$ to have the same norm as $X$? – Hans Engler Oct 24 '17 at 23:43
  • Yes, same norm, and $\dim X = \infty$ – Joao Maia Oct 24 '17 at 23:45
  • 1
    Take the set of finite complex sequences with the $\ell^2$ norm or any norm you like. Banach spaces are completion of normed vector spaces. Subspace means a subset which is a vector space (closed under multiplication by scalar and finite additions). Closed subspace of a Banach space means sub-Banach space. – reuns Oct 24 '17 at 23:48
  • reuns, I ask for every normed space...., $l^{2}$ is a particular example. Thanks – Joao Maia Oct 24 '17 at 23:58
  • 1
    It's not clear to me that this subspace will be Banach in $X$. Could you write this with more details as answer? Thanks – Joao Maia Oct 25 '17 at 01:10
  • 2
    I'll follow your argument: Let $X$ a normed space, there exists $B$ Banach space such that $X$ is a subspace dense of $B$. Now, how I get $S$ infinite dimensional subspace of $X$ such that $S$ is Banach in $X$? (Note that if $S$ is banach and infinite dimensional, we will have that the cardinality of S's basis is not countable). – Joao Maia Oct 25 '17 at 01:13
  • Yes if $X$ is a normed space then take any countable family $(v_n)$ of vectors (whose span is dense in $B$ or in a sub Banach space) then automatically $span((v_n))$ (finite linear combinations of the $v_n$) is a normed space whose complete subspaces are finite dimensional. – reuns Oct 25 '17 at 02:31
  • 1
    If you take $X=C[a,b]$ with the $L^2$ norm, then my answer here shows that there is no infinite-dimensional complete subspace: https://math.stackexchange.com/questions/2268098/does-c0-1-left-cdot-right-2-has-a-subspace-that-is-isomorphic-to/2269140#2269140 –  Oct 25 '17 at 05:26

1 Answers1

6

Let $M$ be an uncountable set, e.g. $M = [0,1]$, equipped with the counting measure. $$ X_1 = \{x \in \ell^2(M) \, | \, x_i \ne 0 \quad \text{for finitely many} \quad i \in M\} $$ and $$ X_2 = \{x \in \ell^2(\mathbb{Z}) \, | \, x_i \ne 0 \quad \text{for finitely many} \quad i < 0\} $$ both with the $\ell^2$ norm.

Then $X_1$ is a normed space with uncountable Hamel basis for which every complete subspace is finite dimensional.

And $X_2$ is a normed space with uncountable Hamel basis which contains the Banach space $\ell^2(\mathbb{N})$ as a subspace.

In sum: There are normed spaces with uncountable Hamel basis that contain no infinite-dimensional Banach spaces as subspaces, and there is a simple tensor construction to produce such normed spaces that do contain infinite-dimensional Banach spaces.

Hans Engler
  • 15,439