3
votes
1answer
250 views

Smooth functions tangent to the leaves of a foliation

Given two smooth manifolds $M$ and $N$, it is known that if $M$ is compact, then $C^\infty(M,N)$ is a Fr├ęchet manifold whose tangent space at $f \in C^\infty(M,N)$ is the space $$T_f C^\infty(M,N) = ...
20
votes
3answers
1k views

The third axiom in the definition of (infinite-dimensional) vector bundles: why?

Serge Lang's Differential and Riemannian Manifolds is a no doubt the best available reference for the theory of not-necessarily-finite-dimensional differential manifolds, but unfortunately it suffers ...
9
votes
1answer
1k views

Algebraic properties of the algebra of continuous functions on a manifold.

Does the algebra of continuous functions from a compact manifold to $\mathbb{C}$ satisfy any specific algebraic property? I'm not sure what kind of algebraic property I expect, but I feel ...
16
votes
15answers
3k views

Important results that use infinite-dimensional manifolds?

Are Banach manifolds (or other types of infinite-dimensional manifolds) just curiosities, or have they been utilized to prove some interesting/important results? Where do they turn up? Important ...