home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!noc.near.net!hri.com!spool.mu.edu!agate!doc.ic.ac.uk!uknet!rook.ukc.ac.uk!eagle.ukc.ac.uk!mrw
- From: mrw@ukc.ac.uk (M.R.Watkins)
- Newsgroups: sci.math
- Subject: Smooth manifolds and function extensions
- Message-ID: <2828@eagle.ukc.ac.uk>
- Date: 26 Jan 93 10:45:25 GMT
- Sender: mrw@ukc.ac.uk
- Organization: Computing Lab, University of Kent at Canterbury, UK.
- Lines: 11
- Nntp-Posting-Host: eagle.ukc.ac.uk
-
- Given a manifold M with a smooth (C-infinity) structure, it is possible to
- define E(M), the linear space of all smooth functions on M. Now is it
- possible to reconstruct the smooth structure (that is the atlas on M) from
- the knowledge of E(M) alone?
-
- I thought about something like defining a collection of charts on M of the
- form (U,F), where F:U -> |E^{m} has component functions F_i:U -> |R which
- are restrictions of E(M) functions to U. As far as I can see, this collection
- will contain the original atlas (provided coordinate functions have smooth
- extensions), but I've been unable to show that it doesn't
- also contain other noncompatible charts.
-