The more I study Schwartz distributions and the corresponding spaces, the more the latter look "finite dimensional" to me. Of course they are not finite dimensional in the technical sense but they are essentially finite dimensional in the sense that "theorems which are true for $\mathbb{R}^n$ should be true for them too".
I would like to get a better hold on what "essentially finite dimensional" should mean. So I propose this question/challenge (maybe this should be made community wiki?).
Question: Can you find examples of theorems which only use the topological vector space structure of $V$ and are true when $V$ is finite dimensional, typically false when $V$ is an infinite dimensional Banach space, but true again when $V$ is $\mathcal{S}'(\mathbb{R}^n)$ or $\mathcal{D}'(\mathbb{R}^n)$ (with the strong topology).
Here are some example to get started.
- A subset $A$ of $V$ is compact iff it is closed and bounded.
- $V$ is reflexive.
- A sequence of Borel probability measures on $V$ converges weakly iff the characteristic functions $V'\rightarrow\mathbb{C}$ converge pointwise to a function that is continuous at the origin.
I would prefer examples of properties/theorems which are not entirely a consequence of being nuclear.
Motivation: I don't yet have a definition of "essentially finite dimensional" (EFD) which is a fluctuating concept to me. Of course EFD should be of the form "nuclear+some mystery ingredients". I am hoping the answers to the question as I asked it would tell me more about the optimal mix of mystery ingredients rather than the nuclear part. One might think that what I am after is a phrase-definition like "nuclear, barrelled and quasi-complete" but it is not quite that as I try to explain in what follows.
The definition of finite dimensional vector space is that $V$ is isomorphic to $\mathbb{R}^n$ for some $n$. This involves a concrete model as a space of functions on a discrete set, here the finite set $\{1,2,\ldots,n\}$. I suppose EFD could be defined similarly, as follows. Let $\Omega$ be a set of "pre-seminorms" on $\mathbb{R}^{\mathbb{N}}$. By "pre-seminorm" I mean the same definition as seminorm but allowing the value $\infty$. Then define $V=\{x\in \mathbb{R}^{\mathbb{N}} | \forall \omega\in\Omega, \omega(x)<\infty\}$ with the topology defined by the restrictions of the elements of $\Omega$ which then become true seminorms. I suppose one could restrict to $l^1$ pre-seminorms of the form $$ \omega(x)=\sum_{n\in \mathbb{N}}\omega_n\ |x_n| $$ with weights $\omega_n\ge 0$. What I would ultimately like is an explicit property of $\Omega$ which makes the corresponding space as close as possible to a finite dimensional space. The part of that property concerning nuclearity was worked out at long time ago by Grothendieck for echelon spaces and Pietsch in general. The property should be "The Pietsch criterion+???".
Anyway, all I asked is examples of theorems, the more surprising the better, and the further away from just being nuclear the better too.
Motivation for the motivation: I have been thinking about how one could improve existing presentations of the theory of distributions, see e.g. Nice applications for Schwartz distributions One approach I am exploring is to use sequence space representations and I would eventually like to narrow down the possibilities to a class of $\Omega$'s which is easy to define and could serve as "optimal" class of concrete models for EFDs.