Boolean Representation of Manifolds and Functions

Abstract

It is shown that a smooth n dimensional manifold with a boundary in R^n admits a Boolean representation in terms of closed half spaces defined by the tangent hyperplanes at the points on its boundary. A similar result is established for smooth functions on closed convex domains in R^n. The latter result is considered as a form of the Legendre transformation.