Discontinuous linear map

In

and does not provide an explicit example.

A linear map from a finite-dimensional space is always continuous

Let X and Y be two normed spaces and ${\displaystyle f:X\to Y}$ a linear map from X to Y. If X is

finite-dimensional

, choose a basis ${\displaystyle \left(e_{1},e_{2},\ldots ,e_{n}\right)}$ in X which may be taken to be unit vectors. Then,

$${\displaystyle f(x)=\sum _{i=1}^{n}x_{i}f(e_{i}),}$$

and so by the triangle inequality, Letting and using the fact that for some C>0 which follows from the fact that any two norms on a finite-dimensional space are equivalent, one finds Thus, ${\displaystyle f}$ is a and so is continuous. In fact, to see this, simply note that f is linear, and therefore ${\displaystyle \|f(x)-f(x')\|=\|f(x-x')\|\leq K\|x-x'\|}$ for some universal constant K. Thus for any ${\displaystyle \epsilon >0,}$ we can choose ${\displaystyle \delta \leq \epsilon /K}$ so that ${\displaystyle f(B(x,\delta ))\subseteq B(f(x),\epsilon )}$ (${\displaystyle B(x,\delta )}$ and ${\displaystyle B(f(x),\epsilon )}$ are the normed balls around ${\displaystyle x}$ and ${\displaystyle f(x)}$), which gives continuity.

If X is infinite-dimensional, this proof will fail as there is no guarantee that the

M exists. If Y is the zero space {0}, the only map between X and Y is the zero map which is trivially continuous. In all other cases, when X is infinite-dimensional and Y is not the zero space, one can find a discontinuous map from X to Y.

A concrete example

Examples of discontinuous linear maps are easy to construct in spaces that are not complete; on any Cauchy sequence ${\displaystyle e_{i}}$ of linearly independent vectors which does not have a limit, there is a linear operator ${\displaystyle T}$ such that the quantities ${\displaystyle \|T(e_{i})\|/\|e_{i}\|}$ grow without bound. In a sense, the linear operators are not continuous because the space has "holes".

For example, consider the space X of real-valued

, that is,

$${\displaystyle \|f\|=\sup _{x\in [0,1]}|f(x)|.}$$

The derivative-at-a-point map, given by defined on X and with real values, is linear, but not continuous. Indeed, consider the sequence for ${\displaystyle n\geq 1.}$ This sequence converges uniformly to the constantly zero function, but

as ${\displaystyle n\to \infty }$ instead of ${\displaystyle T(f_{n})\to T(0)=0}$ which would hold for a continuous map. Note that T is real-valued, and so is actually a

.

The fact that the domain is not complete here is important. Discontinuous operators on complete spaces require a little more work.

A nonconstructive example

An algebraic basis for the

numbers, say 1 and ${\displaystyle \pi }$, are linearly independent. One may find a Hamel basis containing them, and define a map ${\displaystyle f:\mathbb {R} \to R}$ so that ${\displaystyle f(\pi )=0,}$ f acts as the identity on the rest of the Hamel basis, and extend to all of ${\displaystyle \mathbb {R} }$ by linearity. Let {r_n}_n be any sequence of rationals which converges to ${\displaystyle \pi }$. Then lim_n f(r_n) = π, but ${\displaystyle f(\pi )=0.}$ By construction, f is linear over ${\displaystyle \mathbb {Q} }$ (not over ${\displaystyle \mathbb {R} }$), but not continuous. Note that f is also not measurable; an additive real function is linear if and only if it is measurable, so for every such function there is a Vitali set. The construction of f relies on the axiom of choice.

This example can be extended into a general theorem about the existence of discontinuous linear maps on any infinite-dimensional normed space (as long as the codomain is not trivial).

General existence theorem

Discontinuous linear maps can be proven to exist more generally, even if the space is complete. Let X and Y be

over the field K where ${\displaystyle K=\mathbb {R} }$ or ${\displaystyle K=\mathbb {C} .}$ Assume that X is infinite-dimensional and Y is not the zero space. We will find a discontinuous linear map f from X to K, which will imply the existence of a discontinuous linear map g from X to Y given by the formula ${\displaystyle g(x)=f(x)y_{0}}$ where ${\displaystyle y_{0}}$ is an arbitrary nonzero vector in Y.

If X is infinite-dimensional, to show the existence of a linear functional which is not continuous then amounts to constructing f which is not bounded. For that, consider a sequence (e_n)_n (${\displaystyle n\geq 1}$) of

vectors in X, which we normalize. Then, we define for each ${\displaystyle n=1,2,\ldots }$ Complete this sequence of linearly independent vectors to a of X by defining T at the other vectors in the basis to be zero. T so defined will extend uniquely to a linear map on X, and since it is clearly not bounded, it is not continuous.

Notice that by using the fact that any set of linearly independent vectors can be completed to a basis, we implicitly used the axiom of choice, which was not needed for the concrete example in the previous section.

Role of the axiom of choice

As noted above, the

); thus, to the analyst, all infinite-dimensional topological vector spaces admit discontinuous linear maps.

On the other hand, in 1970

This implies that there are no discontinuous linear real functions. Clearly AC does not hold in the model.

Solovay's result shows that it is not necessary to assume that all infinite-dimensional vector spaces admit discontinuous linear maps, and there are schools of analysis which adopt a more

Such stances are held by only a small minority of working mathematicians.

The upshot is that the existence of discontinuous linear maps depends on AC; it is consistent with set theory without AC that there are no discontinuous linear maps on complete spaces. In particular, no concrete construction such as the derivative can succeed in defining a discontinuous linear map everywhere on a complete space.

Closed operators

Many naturally occurring linear discontinuous operators are

asserts that an everywhere-defined closed operator on a complete domain is continuous, so to obtain a discontinuous closed operator, one must permit operators which are not defined everywhere.

To be more concrete, let ${\displaystyle T}$ be a map from ${\displaystyle X}$ to ${\displaystyle Y}$ with domain ${\displaystyle \operatorname {Dom} (T),}$ written ${\displaystyle T:\operatorname {Dom} (T)\subseteq X\to Y.}$ We don't lose much if we replace X by the closure of ${\displaystyle \operatorname {Dom} (T).}$ That is, in studying operators that are not everywhere-defined, one may restrict one's attention to densely defined operators without loss of generality.

If the graph ${\displaystyle \Gamma (T)}$ of ${\displaystyle T}$ is closed in ${\displaystyle X\times Y,}$ we call T closed. Otherwise, consider its closure ${\displaystyle {\overline {\Gamma (T)}}}$ in ${\displaystyle X\times Y.}$ If ${\displaystyle {\overline {\Gamma (T)}}}$ is itself the graph of some operator ${\displaystyle {\overline {T}},}$ ${\displaystyle T}$ is called closable, and ${\displaystyle {\overline {T}}}$ is called the closure of ${\displaystyle T.}$

So the natural question to ask about linear operators that are not everywhere-defined is whether they are closable. The answer is, "not necessarily"; indeed, every infinite-dimensional normed space admits linear operators that are not closable. As in the case of discontinuous operators considered above, the proof requires the axiom of choice and so is in general nonconstructive, though again, if X is not complete, there are constructible examples.

In fact, there is even an example of a linear operator whose graph has closure all of ${\displaystyle X\times Y.}$ Such an operator is not closable. Let X be the space of

from [0,1] to ${\displaystyle \mathbb {R} }$ and Y the space of polynomial functions from [2,3] to ${\displaystyle \mathbb {R} }$. They are subspaces of C([0,1]) and C([2,3]) respectively, and so normed spaces. Define an operator T which takes the polynomial function x ↦ p(x) on [0,1] to the same function on [2,3]. As a consequence of the Stone–Weierstrass theorem, the graph of this operator is dense in ${\displaystyle X\times Y,}$ so this provides a sort of maximally discontinuous linear map (confer nowhere continuous function). Note that X is not complete here, as must be the case when there is such a constructible map.

Impact for dual spaces

The dual space of a topological vector space is the collection of continuous linear maps from the space into the underlying field. Thus the failure of some linear maps to be continuous for infinite-dimensional normed spaces implies that for these spaces, one needs to distinguish the algebraic dual space from the continuous dual space which is then a proper subset. It illustrates the fact that an extra dose of caution is needed in doing analysis on infinite-dimensional spaces as compared to finite-dimensional ones.

Beyond normed spaces

The argument for the existence of discontinuous linear maps on normed spaces can be generalized to all metrizable topological vector spaces, especially to all Fréchet spaces, but there exist infinite-dimensional locally convex topological vector spaces such that every functional is continuous.

. The upshot is that spaces with fewer convex sets have fewer functionals, and in the worst-case scenario, a space may have no functionals at all other than the zero functional. This is the case for the ${\displaystyle L^{p}(\mathbb {R} ,dx)}$ spaces with ${\displaystyle 0<p<1,}$ from which it follows that these spaces are nonconvex. Note that here is indicated the Lebesgue measure on the real line. There are other ${\displaystyle L^{p}}$ spaces with ${\displaystyle 0<p<1}$ which do have nontrivial dual spaces.

Another such example is the space of real-valued measurable functions on the unit interval with quasinorm given by

This non-locally convex space has a trivial dual space.

One can consider even more general spaces. For example, the existence of a homomorphism between complete separable metric groups can also be shown nonconstructively.

See also

• Finest locally convex topology
   – A vector space with a topology defined by convex open setsPages displaying short descriptions of redirect targets
• Sublinear function – Type of function in linear algebra

References

• Constantin Costara, Dumitru Popa, Exercises in Functional Analysis, Springer, 2003.
  ISBN 1-4020-1560-7
  .
• Schechter, Eric, Handbook of Analysis and its Foundations, Academic Press, 1997.
  ISBN 0-12-622760-8
  .