Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have been wondering about the following concerning the spaces $\mathcal D$ of test functions (say on $\mathbf R$).

  1. It is my understanding that the topology on this space is inductive limit topology. Are there other useful functions spaces like this (i.e. not contrived) whose topology is an inductive limit?

  2. I also know that $\mathcal D$ is not metrizable. Is it first countable? Are they completely regular? Is there a reference with an outline of all the topological properties of these spaces?

  3. Is there a way to define a uniformity on $\mathcal D$ to make them into a uniform space such that the topology it induces coincides with its inductive limit topology?

share|cite|improve this question
3. Yes, every topological vector space (or every abelian topological group for that matter) has a canonical uniformity, in particular $\mathcal{D}$ is completely regular. See e.g. Schaefer's or Kelley's books on topological vector spaces for these general facts. 2. No. A first countable topological vector space is metrizable. – t.b. Apr 18 '12 at 18:52
Excellent. Thanks. – echoone Apr 19 '12 at 4:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.