3
$\begingroup$

Is there an example of an inner product space $V$ and a dense subspace $D$ whose codimension is $1$?

In other words, there exists $z\in V$ such that every element of $V$ can be written in the form $e+\lambda z$ for some $e\in E$ and some scalar $\lambda$.

$\endgroup$
5
  • 3
    $\begingroup$ Every infinte dimensional inner product space has a discontinuous linear functional $f$ and the kernel of such a functional is dense and has codimension $1$. $\endgroup$ Jan 30, 2021 at 0:19
  • $\begingroup$ @KaviRamaMurthy. So if we consider the infinite dimensional inner product space $V=C[0,1]$, can you give me $f$ explicitly? or the dense subspace $D$? $\endgroup$ Jan 31, 2021 at 0:48
  • $\begingroup$ What is your inner product on $C[0,1]$? $\endgroup$ Jan 31, 2021 at 4:34
  • $\begingroup$ @KaviRamaMurthy. it is given by $(f,g)=\int_0^1{f(t)\overline{g(t)}}dt$. $\endgroup$ Jan 31, 2021 at 15:17
  • $\begingroup$ Take a continuous function $g$ which is integrable but not bounded. Then $f \to \int fg$ is a discontinuous linear functional on your sapce. $\endgroup$ Jan 31, 2021 at 23:17

1 Answer 1

1
$\begingroup$

As Kavi Rama Murthy says in the comments, "Every infinte dimensional inner product space has a discontinuous linear functional f and the kernel of such a functional is dense and has codimension 1".

I would like to add a proof of the fact that every infinite dimensional normed space (in general) has an unbounded linear functional.

The kernel of a linear functional on a Banach space is either closed or dense: the kernel is closed if-f the functional is bounded. The kernel is dense if-f the functional is unbounded, see this post.

So let $X$ be a normed space with infinite dimension. Take $\{x_n\}$ a linearly independent subset of $X$ (which is possible, since $X$ has infinite dimension) and extend it to a Hamel basis of $X$, say $\{x_n\}_{n=1}^\infty\cup Z$, where $Z\subset X\setminus(\{x_n\}_{n=1}^\infty)$. We define a functional on the basis and we extend it linearly on all $X$. We simply set $f(x_n)=n\cdot\|x_n\|$ and $f(z)=0$ for all $z\in Z$. Note that $f$ cannot be bounded: if $|f(x)|\leq c\|x\|$ for all $x\in X$ for some $c>0$, then $n\|x_n\|\leq c\|x_n\|$ for all $n$, which is impossible since $\mathbb{N}$ has no upper bound.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .