Convex body

From HandWiki
Short description: Non-empty convex set in Euclidean space
A dodecahedron is a convex body.

In mathematics, a convex body in n-dimensional Euclidean space ℝn is a compact convex set with non-empty interior. Some authors do not require a non-empty interior, merely that the set is non-empty.

A convex body K is called symmetric if it is centrally symmetric with respect to the origin; that is to say, a point x lies in K if and only if its antipode, −x also lies in K. Symmetric convex bodies are in a one-to-one correspondence with the unit balls of norms on ℝn.

Some commonly known examples of convex bodies are the Euclidean ball, the hypercube and the cross-polytope.

Metric space structure

Write 𝒦n for the set of convex bodies in ℝn. Then 𝒦n is a complete metric space with metric

d(K,L):=inf⁡{ϵ≥0:K⊂L+Bn(ϵ),L⊂K+Bn(ϵ)}.[1]

Further, the Blaschke Selection Theorem says that every d-bounded sequence in 𝒦n has a convergent subsequence.[1]

Polar body

If K is a bounded convex body containing the origin O in its interior, the polar body K* is {u:⟨u,v⟩≤1,∀v∈K}. The polar body has several nice properties including (K*)*=K, K* is bounded, and if K1⊂K2 then K2*⊂K1*. The polar body is a type of duality relation.

See also

References

  1. ↑ 1.0 1.1 Hug, Daniel; Weil, Wolfgang (2020). "Lectures on Convex Geometry". Graduate Texts in Mathematics 286. doi:10.1007/978-3-030-50180-8. ISBN 978-3-030-50179-2. ISSN 0072-5285. http://dx.doi.org/10.1007/978-3-030-50180-8. 

Template:Convex analysis and variational analysis