Jump to content

Frölicher space

From Wikipedia, the free encyclopedia

In mathematics, Frölicher spaces extend the notions of calculus and smooth manifolds. They were introduced in 1982 by the mathematician Alfred Frölicher.

Definition

[edit]

A Frölicher space consists of a non-empty set X together with a subset C of Hom(R, X) called the set of smooth curves, and a subset F of Hom(X, R) called the set of smooth real functions, such that for each real function

f : XR

in F and each curve

c : RX

in C, the following axioms are satisfied:

  1. f in F if and only if for each γ in C, fγ in C(R, R)
  2. c in C if and only if for each φ in F, φc in C(R, R)

Let A and B be two Frölicher spaces. A map

m : AB

is called smooth if for each smooth curve c in CA, mc is in CB. Furthermore, the space of all such smooth maps has itself the structure of a Frölicher space. The smooth functions on

C(A, B)

are the images of

References

[edit]
  • Kriegl, Andreas; Michor, Peter W. (1997), The convenient setting of global analysis, Mathematical Surveys and Monographs, vol. 53, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0780-4, section 23