In functional analysis, it is common to endow various (infinite-dimensional) vector spaces with a variety of topologies. For instance, a normed vector space can be given the strong topology as well as the weak topology; if the vector space has a predual, it also has a weak-* topology. Similarly, spaces of operators have a number of useful topologies on them, including the operator norm topology, strong operator topology, and the weak operator topology. For function spaces, one can use topologies associated to various modes of convergence, such as uniform convergence, pointwise convergence, locally uniform convergence, or convergence in the sense of distributions. (A small minority of such modes are not topologisable, though, the most common of which is pointwise almost everywhere convergence; see Exercise 8 of this previous post).
Some of these topologies are much stronger than others (in that they contain many more open sets, or equivalently that they have many fewer convergent sequences and nets). However, even the weakest topologies used in analysis (e.g. convergence in distributions) tend to be Hausdorff, since this at least ensures the uniqueness of limits of sequences and nets, which is a fundamentally useful feature for analysis. On the other hand, some Hausdorff topologies used are “better” than others in that many more analysis tools are available for those topologies. In particular, topologies that come from Banach space norms are particularly valued, as such topologies (and their attendant norm and metric structures) grant access to many convenient additional results such as the Baire category theorem, the uniform boundedness principle, the open mapping theorem, and the closed graph theorem.
Of course, most topologies placed on a vector space will not come from Banach space norms. For instance, if one takes the space of continuous functions on
that converge to zero at infinity, the topology of uniform convergence comes from a Banach space norm on this space (namely, the uniform norm
), but the topology of pointwise convergence does not; and indeed all the other usual modes of convergence one could use here (e.g.
convergence, locally uniform convergence, convergence in measure, etc.) do not arise from Banach space norms.
I recently realised (while teaching a graduate class in real analysis) that the closed graph theorem provides a quick explanation for why Banach space topologies are so rare:
Proposition 1 Let
be a Hausdorff topological vector space. Then, up to equivalence of norms, there is at most one norm
one can place on
so that
is a Banach space whose topology is at least as strong as
. In particular, there is at most one topology stronger than
that comes from a Banach space norm.
Proof: Suppose one had two norms on
such that
and
were both Banach spaces with topologies stronger than
. Now consider the graph of the identity function
from the Banach space
to the Banach space
. This graph is closed; indeed, if
is a sequence in this graph that converged in the product topology to
, then
converges to
in
norm and hence in
, and similarly
converges to
in
norm and hence in
. But limits are unique in the Hausdorff topology
, so
. Applying the closed graph theorem (see also previous discussions on this theorem), we see that the identity map is continuous from
to
; similarly for the inverse. Thus the norms
are equivalent as claimed.
By using various generalisations of the closed graph theorem, one can generalise the above proposition to Fréchet spaces, or even to F-spaces. The proposition can fail if one drops the requirement that the norms be stronger than a specified Hausdorff topology; indeed, if is infinite dimensional, one can use a Hamel basis of
to construct a linear bijection on
that is unbounded with respect to a given Banach space norm
, and which can then be used to give an inequivalent Banach space structure on
.
One can interpret Proposition 1 as follows: once one equips a vector space with some “weak” (but still Hausdorff) topology, there is a canonical choice of “strong” topology one can place on that space that is stronger than the “weak” topology but arises from a Banach space structure (or at least a Fréchet or F-space structure), provided that at least one such structure exists. In the case of function spaces, one can usually use the topology of convergence in distribution as the “weak” Hausdorff topology for this purpose, since this topology is weaker than almost all of the other topologies used in analysis. This helps justify the common practice of describing a Banach or Fréchet function space just by giving the set of functions that belong to that space (e.g. is the space of Schwartz functions on
) without bothering to specify the precise topology to serve as the “strong” topology, since it is usually understood that one is using the canonical such topology (e.g. the Fréchet space structure on
given by the usual Schwartz space seminorms).
Of course, there are still some topological vector spaces which have no “strong topology” arising from a Banach space at all. Consider for instance the space of finitely supported sequences. A weak, but still Hausdorff, topology to place on this space is the topology of pointwise convergence. But there is no norm
stronger than this topology that makes this space a Banach space. For, if there were, then letting
be the standard basis of
, the series
would have to converge in
, and hence pointwise, to an element of
, but the only available pointwise limit for this series lies outside of
. But I do not know if there is an easily checkable criterion to test whether a given vector space (equipped with a Hausdorff “weak” toplogy) can be equipped with a stronger Banach space (or Fréchet space or
-space) topology.
16 comments
Comments feed for this article
22 April, 2016 at 12:45 pm
Anonymous
Is it possible to extend proposition 1 from Banach spaces to (some class of) metric spaces?
22 April, 2016 at 2:40 pm
Terence Tao
Well, completeness is not enough; the one-point compactification
of the real line is a complete metric space, but if one strengthens the topology by isolating the point at infinity (creating the disjoint union of
and
, separated by some positive distance, and using some suitably normalised metric on the
part) one obtains a different complete metric space.
On the other hand, if one strengthens the topology on a compact Hausdorff space, one has to destroy compactness in order to change the topology (because continuous bijections from one compact Hausdorff space to another are homeomorphisms). But this certainly doesn’t mean that every Hausdorff space has a unique compact strengthening, so this isn’t really of a form analogous to Proposition 1.
22 April, 2016 at 1:26 pm
Will Sawin
I find the question at the end about an easily checkable criterion intriguing, in part because “easily checkable” is so subjective. If there si a stronger Banach space topology on a topological vector space V, in most cases it may be too hard to explicitly write it down. However if no such structure exists, it is not obvious how to rule it out. Thus it might be helpful to find a dual criterion where the existence of some explicit object that V has no stronger Banach space structure.
Certainly one such obstruction is the existence of a stronger F-space topology on V that is not a Banach space topology. It seems hard to simplify that condition, so we should focus our efforts on the remaining case, which is ruling out the existence of a stronger F-space structure on V. However everything I’m about to say makes just as much sense, and may be clearer, when “F-space” is replaced with “Banach space”.
One such obstruction comes from the closed graph theorem. If there is a morphism from an F-space to V whose graph is closed but which is not continuous, then V has no stronger F-space stucture.
Another obstruction generalizes your argument in the last paragraph. If there is a sequence of vectors in V such that for any sequence of positive weights, the partial sums of the vectors times the weights do not converge, then V is not a weaker topology on an F-space.
These obstructions seem quite different, in that the first obstruction punishes V for being too close to an F-space, and the second one punishes V for being very far from an F-space. In particular I expect that the first obstruction does not apply to the space of finitely supported sequences with the pointwise convergence topology. I don’t know whether there is any case where the first obstruction applies and not the second, but I suspect so. If there is, then perhaps a better obstruction could be made by trying to combine the two.
22 April, 2016 at 1:37 pm
Abdelmalek Abdesselam
Great post as always! It might be good to mention here the related notion of “normal space of distributions” introduced by Schwartz for his general theory of kernels. Also, another place where the closed graph theorem makes a perhaps surprising (at least to me the first time I saw it) appearance is that distribution valued random variables with finite moments of all orders are such the multilinear forms given by the moments are automatically continuous.
22 April, 2016 at 11:07 pm
Emmanuel Kowalski
I think this is also Exercice 2 of section 3 of chapter I of Bourbaki, Espaces Vectoriels Topologiques, p. 28 in the French version.
23 April, 2016 at 4:31 am
Miroslav Chlebik
Concerning the question of whether “there is an easily checkable criterion to test whether a given vector space (equipped with a Hausdorff “weak” toplogy) can be equipped with a stronger Banach” the results of the following paper are relevant,
http://projecteuclid.org/download/pdf_1/euclid.mmj/1028998069
23 April, 2016 at 8:10 am
Terence Tao
A small remark: Proposition 1 is in fact logically equivalent to the closed graph theorem. Indeed, if
is a closed linear map between Banach spaces, then
is a Banach space norm on the graph
which is stronger than the Banach space norm
. By Proposition 1, these norms must be equivalent, and hence
is bounded and thus continuous.
24 April, 2016 at 1:13 am
Jochen Wengenroth
Are there any situations where the existence of a stronger Banach space topology comes as a surprise or is difficult to check?
24 April, 2016 at 8:07 pm
Steven Heilman
I think the following paper can “reduce” your question to looking for a stronger topology which is uniformly homeomorphic to a Banach space with nontrivial type. (http://www.ams.org/mathscinet/search/publdoc.html?amp=&loc=refcit&refcit=178322&vfpref=html&r=2&mx-pid=2301967)
25 April, 2016 at 12:38 am
Jürgen Voigt
I do not think that there is a uniform answer to the (somewhat vague) question for an `easily checkable criterion’ posed at the end. This is because I have the impression that the reason for the non-existence of such a topology may be that the space is too small, or else that it is too large, and for these two alternative cases there `must’ be different reasonings.
For instance, my answer for the non-existence of an F-space topology on c_c would be that infinite dimensional F-spaces cannot have countable dimension. (This is a standard exercise in basic courses on FA, for Banach spaces, as an application of Baire’s catagory theorem. And the proof works in the same way for F-spaces.) The same proof works for the proof that C_c(\R) (or C_c^\infty(\R)) cannot carry an F-space topology stronger than the topology of pointwise convergence. These examples are cases where the space is ‘too small’.
For the case that the space is too large the method has been indicated – to my taste – by Will Sawin in his comment given above. To expand this, let us look at the question why \R^\N, with product topology, cannot carry a stronger Banach space topology: in this case, the product topology is a Fr\’echet space topology which is easily seen not to be defined by a norm. So, the closed graph theorem gives the negative answer. (However, I do not see an immediate answer to the question whether \R^\R, with product topology, carries a stronger F-space topology, although I have the feeling that the answer is negative.)
After this discussion, I think that I have given some answer to the question. First decide whether the space is too small or too large. In the first case, use Baire catagory. In the second case find a topology on the space which allows the application of a closed graph theorem and which is not Banach, Fr\’echet or F-space, respectively.
25 April, 2016 at 1:02 am
Jochen Wengenroth
27 April, 2016 at 9:03 am
Wolfgang Arendt
An inequivalent complete norm as mentioned right after Proposition1 can be constructed in few lines as follows:
If E is an infinite dimensional Banach space, then there exists a discontinuous linear functional φ: E → R. Take u ∈ E such that φ(u) = 1. Then Sx := x − 2φ(x)u defines a linear, discontinuous map S : E → E, and
S o S = Id. Thus |||x||| := ||Sx|| defines a complete norm on E which is not equivalent to the given norm || · ||
This is taken from first lines of the introduction to the article W.Arendt, R. Nittka: Equivalent complete norms and positivity. Arch. Math. 92 (2009), 414–427,
where it is also shown that on each Banach space there is always in infinite number of mutually non-equivalent complete norms. They might all be useless, of course.
12 May, 2016 at 8:08 am
Jeff Steif
Proposition 1 is very related to a lunch discussion I had today
(without knowing about this post at that time).
Question: Let V be a vector space provided with two inequivalent Banach norms. Terence explained how to do this using Hamel bases.
Is it possible that (V, first norm) and (V, 2nd norm) are isomorphic as
Banach spaces? Never? Always? Sometimes? We know of course that the identity map does not provide for us an isomorphism.
12 May, 2016 at 1:33 pm
Terence Tao
The linear bijection used in my construction shows that the two Banach spaces constructed there are indeed isomorphic. On the other hand, one can take two nonisomorphic Banach spaces of the same linear dimension (e.g.
and
for some
and use Hamel bases and the axiom of choice to construct a linear bijection between them to create two Banach space norms on the same space that are not isomorphic.
12 May, 2016 at 6:44 pm
Jeff Steif
Completely agree. Just got up, realised this in the middle of the night and was going to correct/remove the question. Apologies for the trivial post.
17 May, 2016 at 11:54 am
Luiz Botelho -Físico Matemático de Altas energias e Turbulencia estocástica.
Terence
Just a simple curious remark on how “rare” are Complete normed structures Topologies on Vector Spaces :Every Banach Space is isometrically isomorphic to a closed subspace of a space of continuous function defined on a Compact Hausdorff Space .If one introduces a continuous multiplicative structure , making it a Banach Algebra and if it is self adjoint , one has the Gelfand Theorem that the whole Banach Space is isometrically isomorphic to a space of continuous function on a Hausdorff Compact Space (defined as the Maximal ideal space of the Algebraic structure endowed with the Gelfand Topology ).This line may be useful to pursue !!.