dualsurface

Dualsurface is a term used in geometry to describe a surface constructed from a given surface through a duality operation that interchanges roles of points and planes, or vertices and faces, depending on the context. The concept appears in both polyhedral geometry and smooth surface theory, and it provides a way to relate shapes by polarity, support, or incidence.

In polyhedral geometry, the dual (or polar) of a convex polyhedron P in three-dimensional space is another polyhedron P, defined with respect to a chosen center, often the origin. A common definition is P = { y : x·y ≤ 1 for all x in P }. Under this polarity, vertices of P correspond to faces of P, while faces of P correspond to vertices of P; edges correspond to edges. For regular polyhedra, the dual is another regular polyhedron (e.g., cube and octahedron). The dual can also be constructed by placing points at the centers of P’s faces and connecting them accordingly, particularly in the origin-centered or spherical setting.

For smooth, strictly convex surfaces, the dual surface S is the envelope of tangent planes to S, considered in the dual space of planes. Equivalently, S can be obtained by a Legendre transform of the support function h(n) that records the distance from the origin to the tangent plane with normal n. If S is convex and smooth, S is also a smooth, convex surface; many geometric properties are translated through this duality.

Applications include convex analysis, computer graphics, architectural design, and geometric modeling, where polarity and support functions help analyze and construct complex shapes.