Smooth Manifolds and Observables
Smooth Manifolds and Observables is about the differential calculus, smooth manifolds, and commutative algebra. While these theories arose at different times and under completely different circumstances, this book demonstrates how they constitute a unified whole. The motivation behind this synthesis is the mathematical formalization of the process of observation in classical physics. The main objective of this book is to explain how differential calculus is a natural part of commutative algebra. This is achieved by studying the corresponding algebras of smooth functions that result in a general construction of the differential calculus on various categories of modules over the given commutative algebra. It is shown in detail that the ordinary differential calculus and differential geometry on smooth manifolds turns out to be precisely the particular case that corresponds to the category of geometric modules over smooth algebras. This approach opens the way to numerous applications, ranging from delicate questions of algebraic geometry to the theory of elementary particles. This unique textbook contains a large number of exercises and is intended for advanced undergraduates, graduate students, and research mathematicians and physicists.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Cutoff and Other Special Smooth Functions on R
Algebras and Points
Smooth Manifolds Algebraic Definition
Charts and Atlases
Equivalence of Coordinate and Algebraic Definitions
Spectra and Ghosts
The Differential Calculus as a Part of Commutative Algebra
Vector Bundles and Projective Modules
Observability Principle Set Theory and the Foundations of Mathematics
A-module algebra of smooth algebraic definition arbitrary atlas atlases bijective Boolean algebra boundary called chart coincides commutative algebra compact configuration space consider construction coordinate Corollary corresponding cotangent defined denoted described Diff diffeomorphism differential calculus differential operator direct sum dual space elements equations equivalence Example Exercise fact fiber finite formula function f functor geometric R-algebra given hence homomorphism identified isomorphism jets Jl(M Lemma linear mathematics matrix maximal ideals measuring devices Mobius band module of sections morphism multiplication natural neighborhood notion observability open set operator of order point z C M polynomial projective modules proof Proposition prove quotient R-algebra homomorphism R-linear R-points reader scalar smooth algebra smooth envelope smooth functions smooth manifold smooth map spectrum structure subalgebra subbundle submanifold subset Suppose surjective tangent bundle tangent space tangent vector theorem topology total space vanishes vector bundle vector field vector space zero