53
$\begingroup$

I'm trying to find a discontinuous linear functional into $\mathbb{R}$ as a prep question for a test. I know that I need an infinite-dimensional Vector Space. Since $\ell_2$ is infinite-dimensional, there must exist a linear functional from $\ell_2$ into $\mathbb{R}$. However, I'm having trouble actually coming up with it.

I believe I'm supposed to find an unbounded function (although I'm not sure why an unbounded function is necessarily not continuous; some light in that regard would be appreciated too), so I thought of using the vectors $e^i$, which have all entries equal to zero, except for the $i$-th one. Then, you can define $f(e^i)=i$. That'd be unbounded, but I'm not sure if it'd be linear, and even if it is, I'm not sure how to define it for all the other vectors in $\ell_2$.

A friend mentioned that at some point the question of whether the set $E=\{e^i:i\in\mathbb{Z}^+\}$ is a basis would come up, but I'm not sure what a basis has to do with continuity of $f$.

I'm just learning this topic for the first time, so bear with me please.

The space of sequences that are eventually zero (suggested by a few people) turned out to be exactly what I needed. It also helped to cement the notions of Hamel basis, not continuous, etc.

  • 0
    Relevant Wikipedia article: [Discontinuous linear map](https://en.wikipedia.org/wiki/Discontinuous_linear_map)2016-05-31

3 Answers 3

40

$\newcommand{\Zobr}[3]{#1:#2\to#3}\newcommand{\R}{\mathbb R}$ A different approach to show existence of unbounded functionals is using the notion of Hamel basis.

Definition: Let $V$ be a vector space over a field $K$. We say that $B$ is a Hamel basis in $V$ if $B$ is linearly independent and every vector $v\in V$ can be obtained as a linear combination of vectors from $B$. (By linearly independent we mean that if a finite linear combinations of elements of $B$ is zero, then all coefficients must be zero.)

This is equivalent to the condition that every $x\in V$ can be written in precisely one way as $\sum_{i\in F} c_i x_i$ where $F$ si finite, $c_i\in K$ and $x_i\in B$ for each $i\in F$.

This is probably better known in the finite-dimensional case, but many properties of bases remain true in the infinite-dimensional case as well:

  • Every vector space has a Hamel basis. In fact, every linearly independent set is contained in a Hamel basis.
  • Any two Hamel bases of the same space have the same cardinality.
  • Choosing images of basis vector uniquely determines a linear function, i.e., if $B$ is a basis of $V$ then for any vector space $W$ and any map $\Zobr gBW$ there exists exactly one linear map $\Zobr fVW$ such that $f|_B=g$.

Claim: If $X$ is an infinite-dimensional linear normed space, then there exist non-continuous linear function $\Zobr fX{\R}$.

See also Example 4.2 in Heil: A basis theory primer.

Proof. Choose an infinite linearly independent set $\{x_n; n\in\mathbb N\}$ such that $\|x_n\|=1$. (An infinite linearly independent set exists, since $X$ is infinite-dimensional. Normalizing the vectors does not influence the linear independence.) There is a Hamel basis $B$ containing this set.

Then there is a linear function $\Zobr fX{\R}$ such that $f(x_n)=n$ and $f(b)=0$ for $b\in B\setminus\{x_n; n\in\mathbb N\}$. This function is obviously unbounded. $\square$

In fact, Srivatsan's comment above is a special case of this result, since $\{e^i; i\in\mathbb N\}$ is a Hamel basis of the space $c_{00}$ of sequences that are eventually zero.


This answer is very similar to this one.

The above was taken from these notes of mine. Several more results and references can be found there. I have also mentioned some basic facts about Hamel basis in another answer at this site.

You can also find much more information about Hamel bases at other posts at this site: "Hamel basis", hamel basis site:math.stackexchange.com.

  • 0
    I have tried to give some explanation [in chat](http://chat.stackexchange.com/rooms/info/10940/hamel-basis), in order to avoid long discussion in comments here.2013-10-07
21

You won't find an explicit example of a discontinuous linear functional defined everywhere on a Banach space: these require the Axiom of Choice. However, you can find a discontinuous linear functional on a normed linear space. A typical scenario would be that you have Banach space $X$ (whose norm I'll denote $\|.\|_X$) which is a dense linear subspace of Banach space $Y$ (under a different norm $\|.\|_Y$, where $\|x\|_X \ge \|x\|_Y$ for all $x \in X$), and a linear functional $\phi$ on $X$ which is continuous for the norm $\|.\|_X$ but not for the norm $\|.\|_Y$. Thus if you take $X$ with the norm $\|.\|_Y$, you have a normed linear space with a discontinuous linear functional $\phi$. For example, take $X = \ell_2$, $Y = \ell_\infty$, and $\phi(x) = \sum_{i=1}^\infty x_i/i$.

  • 0
    Being a subspace has nothing to do with norms: $X$ is a linear subspace of $Y$ if it is a subset that is closed under addition and under multiplication by scalars.2018-04-30
13

As Robert Israel already mentioned, you cannot write down an explicit (free of the axiom of choice) unbounded linear functional on a Banach space. But it's generally not hard for incomplete normed spaces. Nobody has mentioned my favorite example: the functional $\ell: C^1[-1,1] \to \mathbb{R}$ given by $\ell(f) = f'(0)$.

  • 0
    Also, what do you mean by $C^1 [-1,1]$?2018-04-29