Abstract
This chapter introduces oriented manifolds-with-boundary, obtains Stokes's Theorem for them, and shows that the classical theorems of Green, Gauss-Ostrogradsky, and Kelvin–Stokes fit into this framework.
Section 1 introduces the subject by working with ordinary oriented smooth manifolds, i.e., those oriented smooth manifolds without boundary. Stokes's Theorem for this situation reduces to a theorem about compactly supported differential forms in Euclidean space.
Section 2 introduces smooth manifolds-with-boundary of dimension
Section 3 defines orientability of a smooth manifold-with-boundary to mean orientability of the smooth manifold of manifold points. If a smooth manifold-with-boundary is orientable, then so is its boundary, and a particular choice of orientation of the boundary, known as the induced orientation, is defined so that the signs will eventually work out properly in Stokes's Theorem.
Section 4 states and proves Stokes's Theorem for oriented smooth manifolds-with-boundary, handling the case of dimension
Section 5 examines the meaning of Stokes's Theorem in the settings that give rise to three classical integration theorems—Green's Theorem, the Divergence Theorem, and the Kelvin–Stokes Theorem—and in the setting of line integrals independent of the path.
Information
Digital Object Identifier: 10.3792/euclid/9781429799881-2