# Polar set

Given a set *S* in , its **polar set** is defined as the point set where is the set of all points such that using the dot product. There are more general definitions of the polar in study of vector spaces (in which case the polar set generally lies in a different vector space, often the dual space), but we will focus on .

The polar set is always convex, closed, and contains the origin. If is closed, convex, bounded, and contains the origin, then . Also, it always holds that where "conv" denotes the closed convex hull.

For convex polytopes it is related to the dual, but is not identical, as it is sensitive to translation. It is equivariant with respect to rotations about the origin, and uniformly scaling *S* by a factor of *k* uniformly scales by 1/*k*.

The polar set of a cube at the origin is a regular octahedron.