71

I'm not a functional analyst (though I like to pretend that I am from time to time) but I use it and I think it's a great subject. But whenever I read about locally convex topological vector spaces, I often get bamboozled by all the different types that there are. At one point, I made a little summary of the properties of my favourite space (smooth functions from the circle to Euclidean space) and found that it was:

metrisable, barrelled, bornological, Mackey, infrabarrelled, Montel, reflexive, separable, Schwartz, convenient, semi-reflexive, reflexive, $c^\infty$-top is LCS top, quasi-complete, complete, Baire, nuclear

Its dual space (with the strong topology) is

reflexive, semi-reflexive, barrelled, infrabarrelled, quasi-complete, complete, bornological, nuclear, Mackey, convenient, $c^\infty$ top = LCS top, Schwartz, Montel, separable, DF space

I get the impression that many of these properties (and there are more!) are not "front line" properties but rather are conditions that guarantee that certain Big Theorems (like uniform boundedness, or open mapping theorem) hold. But as an outsider of functional analysis, it's not always clear to me which are "front line" and which are "supporters".

So that's my question: which of these properties (and others that I haven't specified) are main properties and which have more of a supporting role?

I realise that there's a little vagueness there as to exactly where the division lies - but that's part of the point of the question! If pressed, I would refine it to "Which of these properties would you expect to find used outside functional analysis, and which are more part of the internal machine?".

Arrow
  • 10,335
Andrew Stacey
  • 26,373
  • 4
    Perhaps one could include definitions, or insert links where online definitions of the terms are available... – S. Carnahan Dec 11 '09 at 07:54
  • Perhaps I should have done. Most have stub pages on wikipedia and there's a big list here: http://en.wikipedia.org/wiki/List_of_functional_analysis_topics The other place I'd reference would be Kriegl and Michor's book http://www.ams.org/online_bks/surv53/ – Andrew Stacey Dec 11 '09 at 08:29
  • That's a question I never dared asking ;). Thanks for Michor's book. – Amin Oct 05 '12 at 05:32
  • 2
    @Arrow I love this question, but in general I don't think it's good practice to bump a question last edited 10 years ago to remove an apostrophe. – Noah Schweber May 29 '19 at 03:52

2 Answers2

57

First, there is a great survey of locally convex topological spaces in section 424 of the Encyclopedic Dictionary of Mathematics. (The EDM, if you have not seen it, is a fabulous reference for all kinds of information. Even though we all have Wikipedia, the EDM is still great.) At the end it has a chart of many of these properties of topological vector spaces, indicating dependencies, although not all of them. This chart helped me a lot with your question. On that note, I am not a functional analyst, but I can play one on MO. Maybe a serious functional analyst can give you a better answer. (Or a worse answer? I wonder if to some analysts, everything is the machine.)

Every important topological vector space that I have seen in mathematics (of those that are over $\mathbb{R}$ or $\mathbb{C}$) is at least a Banach space, or an important generalization known as a Frechet space, or is derived from one of the two. We all learn what a Banach space is; a Frechet space is the same thing except with a countable family of seminorms instead of one norm. Many of the properties that you list, for instance metrizable and bornological, hold for all Frechet spaces. In emphasizing Banach and Frechet spaces, the completeness property is implicitly important. Since a normed linear space is a metric space, you might as well take its completion, which makes it Banach. A Frechet space is a generalization of a metric space known as a uniform space and you might as well do the same thing. Also the discussion is not complete without mentioning Hilbert spaces. You can think of a Hilbert space either as a construction of a type of Banach space, or a Banach space that satisfies the parallelogram law; of course it's important.

Of the properties that do not hold for all Frechet spaces, I can think of four that actually matter: reflexive, nuclear, separable, and unconditional. In addition, a Schwartz space isn't really a space with a property but a specific (and useful) construction of a Frechet space. (Edit: It seems that "Schwartz" means two things, the Schwartz space of rapidly decreasing smooth functions, and the Schwartz property of a locally convex space.)

A discussion of the properties that I think are worth knowing, and why:

  • reflexive. This means a space whose dual is also its pre-dual. If a Banach space has a pre-dual, then its unit ball is compact in the weak-* topology by the Banach-Alaoglu theorem. In particular, the set of Borel probability measures on a compact space is compact. This is important in geometry, for sure. Famously, Hilbert spaces are reflexive. Note also that there is a second important topology, the weak-* topology when a pre-dual exists, which you'd also call the weak topology in the reflexive case. (I am not sure what good the weak topology is when they are different.)

  • separable. As in topology, has a countable dense subset. How much do you use manifolds that do not have a countable dense subset? Inseparable topological vectors are generally not that useful either, with the major exception of the dual of a non-reflexive, separable Banach space. For instance $B(H)$, the bounded operators on a Hilbert space, is inseparable, but it is the dual of the Banach space of trace-class operators $B_1(H)$, which is separable.

  • unconditional. It is nice for a Banach space to have a basis, and the reasonable kind is a topological basis, a.k.a. a Schauder basis. The structure does not resemble familiar linear algebra nearly as much if linear combinations are only conditionally convergent. An unconditional basis is an unordered topological basis, and an unconditional space is a Banach space that has one. There is a wonderful structure theorem that says that, up to a constant factor that can be sent to 1, the norm in an unconditional space is a convex function of the norms of the basis coordinates. All unconditional Banach spaces resemble $\ell^p$ in this sense. Note also that there is a non-commutative moral generalization for operators, namely that the norm be spectral, or invariant under the available unitary group.

  • nuclear. Many of the favorable properties of the smooth functions $C^\infty(M)$ on a compact manifold come from or are related to the fact that it is a nuclear Frechet space. For instance, in defining it as a Frechet space (using norms on the derivatives), you notice that the precise norms don't matter much. This doesn't necessarily mean that you should learn the theory of nuclear spaces (since even most analysts don't). But in drawing a line between constructions and properties, Opinion seems to be split as to whether the theory of nuclear spaces is tangential or fundamental. Either way, my impression is that the main favorable properties of $C^\infty(M)$ are that it is Frechet, reflexive, and nuclear. On the other hand, infinite-dimensional Banach spaces are never nuclear.


Prompted by Andrew's question, I compiled some data on relationships between types of locally convex topological spaces. In particular, I made a Hasse diagram (drawn with Graphviz) of properties included below. It began as a simplification of the one in EDM, but then I added more conditions. The rule for the Hasse diagram is that I only allow "single-name" properties, not things like Frechet and nuclear, although adverbs are allowed. The graph makes the topic of locally convex spaces look laughably complicated, but that's a little unfair. You could argue that there are more than enough defined properties in the field, but of course mathematicians are always entitled to make new questions. Moreover, if you look carefully, relatively few properties toward the top of the diagram imply most of the others, which is part of the point of my answer. If a topological vector space is Banach or even Frechet, then it automatically has a dozen other listed properties.

I have the feeling that the Hasse diagram has missing edges even for the nodes listed. If someone wants to add comments about that, that would be great. (Or it could make a future MO question.) The harder question is combinations of properties. I envision a computer-assisted survey to compare all possible combinations of important properties, together with citations to counterexamples and open status as appropriate. I started a similar computer-assisted survey of complexity classes a few years ago.

Diagram of some LCTVS properties

  • 2
    The topology of a Fréchet space is defined by a countable family of seminorms (so that it is metrizable) – Mariano Suárez-Álvarez Dec 11 '09 at 07:38
  • Okay, I added that word. – Greg Kuperberg Dec 11 '09 at 07:45
  • 3
    Very nice answer. I hadn't heard of the EDM, thanks for the reference. My only quibble is your tone when talking about nuclear spaces: I find their properties much more useful than those of Banach spaces - I wrote my thesis with a copy of Grothendieck's book on them next to my computer. – Andrew Stacey Dec 11 '09 at 08:31
  • Okay, I changed the wording some. – Greg Kuperberg Dec 11 '09 at 08:36
  • Oh, I didn't mean for you to do that! I think it was clear that your sentence was an opinion and not to be taken categorically (in the non-mathematical sense). I just wished to register the opposing opinion. (Since writing my thesis, I've come across a book on nuclear LCTVS by Pietsch which I think is a wonderful treatment of them.) – Andrew Stacey Dec 11 '09 at 15:28
  • 1
    I didn't mean that particular statement to be my personal opinion, so I changed it to something less categorical. – Greg Kuperberg Dec 11 '09 at 17:17
  • 1
    What program did you use to write that diagram? I'd like to make a similar diagram and I don't want to have to draw it on paper since it would be difficult to change the structure of the diagram if there are too many inconvenient edges. – Qiaochu Yuan Dec 13 '09 at 21:27
  • 2
    graphviz (http://www.graphviz.org/) does that for you – Mariano Suárez-Álvarez Dec 13 '09 at 21:28
  • 2
    Yes, I used graphviz. – Greg Kuperberg Dec 13 '09 at 21:29
  • That is absolutely fantastic. Of course, it doesn't tell the whole story which is that often two lower properties are equivalent to a higher one (silly example being normed+complete=Banach, slightly more sophisticated being normed+nuclear=finite dim). Minor quibble: convenient is the same as locally complete. – Andrew Stacey Dec 14 '09 at 08:48
  • PS I was going to start adding some of this to the n-lab page(s) on LCTVS. May I use your diagram? Also, graphviz is great! Not only is it useful, it can lead to serious wastes of time: http://www.math.ntnu.no/~stacey/HowDidIDoThat/Random/sheffield.html – Andrew Stacey Dec 14 '09 at 08:51
  • If you think it's fantastic, you should ACCEPT my answer, please. :-) Seriously, thank you for the praise, and for sure you can use these diagrams any time you want. Concerning your quibble, Google gives me inconsistent answers. One source says convenient = locally complete + bornological; another says it just means "bornologically" (or locally) complete. Who is more standard? http://www.m-hikari.com/ijma/ijma-password-2007/ijma-password13-16-2007/gilsdorfIJMA13-16-2007.pdf – Greg Kuperberg Dec 14 '09 at 09:08
  • 4
    @Andrew: Also, the compound relations are more subtle than just equalities, for example nuclear Frechet implies Montel. This is one reason for a computer-assisted survey of these definitions. Another reason is to keep track of counterexamples, like Frechet AND Montel but NOT distinguished. That counterexample mindlessly implies Frechet AND reflexive but NOT distinguished, and that is where you want software to keep track. – Greg Kuperberg Dec 14 '09 at 09:13
  • In my default reference, after the definition of "convenient" the authors say "In [Frolicher, Kriegl, 1988] a convenient vector space is always considered with its bornological topology - an equivalent but not isomorphic category.". So I guess you're right, it is ambiguous. – Andrew Stacey Dec 14 '09 at 12:56
  • The subtleties of the relationships is one of the reasons why I want to transfer this to the n-lab: it'll be easier to keep track of it there and there's more scope to be inventive with the layout. Possibly a full database is the best, but I'm not sure I can be bothered with the labour. – Andrew Stacey Dec 14 '09 at 12:57
  • With regard to accepting your answer (I know you were only joking, but nonetheless ...), I'm leaving it open in the hope that some (other) functional analysts stop by and also answer. I feel that people are more likely to look at an open question than an answered one and this is one of those topics where more points of view would be great. Given how many people have voted for the question as well as your answer, I think it would be a shame if it sinks to the bottom of the pile. – Andrew Stacey Dec 14 '09 at 13:00
  • 1
    (1) Convenient spaces are first defined in "Smooth structures", by Frolicher, where he clearly says bornological and locally complete. I think that Kriegl and Michor made a slight mess of things by both changing the definition and making a redundant term. (2) I know that you don't like to accept answers in general, but it is also possible to be at the bottom of a pile of unanswered questions. I think the answered pile is more useful to readers, and the software only refreshes questions with no upvoted answers. – Greg Kuperberg Dec 14 '09 at 15:00
  • (1) Point taken. I first met all this through "Convenient setting .." so my default is to accept whatever they said there. (2) I'm still hoping that more functional analysts will stop by and help divide these properties into "front line" and "supporting" roles - part of my purpose in asking this was to flush out more FAs to see if any have any ideas on my research questions (a scheme that has already born some fruit!). But I take your point there as well, and will only leave it open for a short time. – Andrew Stacey Dec 14 '09 at 18:52
  • 1
    I ended up leaving this open longer than I intended! Not that you need the reputation ... – Andrew Stacey May 11 '10 at 07:59
  • The nuclear property is fundamental for the construction of probability measures via the Bochner-Minlos Theorem. So it is important for probability and Euclidean quantum field theory. – Abdelmalek Abdesselam Oct 05 '12 at 12:46
  • @Greg Kuperberg: In view of my answer, the place of convenient in this very nice diagram should be: Sequentially complete $\implies$ convenient. – Peter Michor Oct 19 '12 at 12:13
19

Apology of one maker of a slight mess:

Whether properties are front line or supporting depends very much on which war you are fighting. If you are interested in the linear locally convex theory then many properties are front line. But if you are mainly interested in smooth mappings, then quite few properties are front line; especially those which allow for uniform boundedness theorems (Greg should have added webbed in the diagram).

In fact, the space of smooth curves in a lcs (= locally convex space) does not change if you change the topology, as long as the bornology stays the same. In fact you can start from a dual pair of spaces $(E, E')$ (separating points on each other), check, whether Mackey Cauchy sequences for the weak topology converge (then $E$ is convenient), and then you can choose any lcs topology which is compatible with the duality. The finest such topology is bornological. This was part of the approach in the book of Froelicher and Kriegl, who started from scratch and reconstructed everything.

The most natural topology on $E$ from the point of view of Calculus is the final topology with respect to all smooth curves (equiv: all Mackey convergent sequences, equiv: all locally Lipschitz curves, ...); this is denoted $c^\infty E$. The finest lcs topology coarser than $c^\infty E$ is the bornologification of any lcs toplogy which is compatible with dual pair.

Or you can try to allow users to make use of knowledge in the theory of lcs. This was the approach in the book: Convenient setting ... There you are allowed to use any lcs topology on $E$ that you know well or can describe well and which still has the given bornology. Spaces $E$ are identified if they are biboundedly linearly isomorphic (equiv.: diffeomorphic). To be convenient is a property of such equivalence classes of spaces.

[Added in edit:] Or, to be convienient is a property shared by all spaces in such an equivalence class (or a space with all lcs topologies with the same system of bounded sets). The relation to the Frölicher-Kriegl notion is: take the bornologification of the space in question, as in their book only bornological spaces are considered.

So, in Greg's nice diagram above, the place of convenient should be: Sequentially complete $\implies$ convenient.

In fact, each "naturally described" lcs is convenient. You have to force it to be not convenient by choosing a not Mackey complete subspace with the induced lcs topology.

Peter Michor
  • 24,985