synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
Models
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
A diffeological vector space is a real vector space equipped with a diffeology for which addition and scalar multiplication are smooth, similar to how a topological vector space is a vector space equipped with a topology for which addition and scalar multiplication are continuous. In principle one could also define diffeological vector spaces over arbitrary diffeological field?s, but in practice it seems that almost exclusively real and only sometimes complex diffeological vector spaces are considered.
The natural morphisms between diffeological vector spaces are the smooth linear maps, analogous to how the natural morphisms between topological vector spaces are the continuous linear maps. Together diffeological vector spaces and smooth linear maps form a category analogous to TopVect.
The obvious forgetful functor gives diffeological vector spaces the structure of a concrete category over the category Vect of real vector spaces. Even more is true: for every family of linear maps from a real vector space into diffeological vector spaces there is a coarsest diffeology on turning into a diffeological vector space and rendering all the maps smooth, and dually there is also a finest such diffeology for every family of linear maps from diffeological vector spaces into . This gives like the structure of a topological concrete category over . In particular, this means that is complete, cocomplete, well-powered and co-well-powered, that the forgetful functor preserves all limits and colimits and that it thus has both a left adjoint and a right adjoint.
Intuitively, all of this can be summarised as saying that the category behaves over much like e.g. Top behaves over Set: vector diffeologies on any given vector space form a complete lattice, and all constructions like limits/colimits and subspaces/quotients can be carried out by equipping the corresponding vector space with the finest/coarsest vector diffeology that renders all the involved structure maps smooth.
Since the D-topology provides a natural way to turn diffeological spaces into topological spaces, it seems only natural to assume that it also turns diffeological vector spaces into topological vector spaces. This however turns out to be false, because the D-topology does not commute with products and so addition can be discontinuous with respect to the product topology on even though it is continuous with respect to the D-topology of the product diffeology on ; an explicit example of this is claimed in (Wu & Yang 2022, theorem 9.9). At least scalar multiplication on the other hand does always end up continuous, because the D-topology preserves binary products involving locally compact spaces like .
The fine diffeology on a given real vector space is the finest diffeology turning it into a diffeological vector space. While the coarsest such diffeology is always just the indiscrete one, the fine diffeology is usually not discrete; instead it is generated by all linear maps , or equivalently given by all maps that locally look like a smooth map to a finite-dimensional subspace of . A diffeological vector space is called fine if it is equipped with the fine diffeology; for example, all finite-dimensional real vector spaces with their standard diffeologies are fine.
All linear maps from a fine diffeological vector space into other diffeological vector spaces are smooth. In particular, the construction of fine diffeological vector spaces is functorial, and in fact it is the aforementioned left adjoint to the forgetful functor .
See also:
Created on July 2, 2025 at 04:52:04. See the history of this page for a list of all contributions to it.