Open main menu

A set C in a real or complex vector space is said to be absolutely convex or disked if it is convex and balanced (circled), in which case it is called a disk.

PropertiesEdit

A set   is absolutely convex if and only if for any points   in   and any numbers   satisfying   the sum   belongs to  .

The intersection of arbitrarily many absolutely convex sets is again absolutely convex; however, unions of absolutely convex sets need not be absolutely convex anymore.

Absolutely convex hullEdit

 
The light gray area is the absolutely convex hull of the cross.

Since the intersection of any collection of absolutely convex sets is absolutely convex, one can define for any subset A of a vector space its absolutely convex hull as the intersection of all absolutely convex sets containing A, analogous to the well-known construction of the convex hull.

More explicitly, one can define the absolutely convex hull of the set A via

 

where the λi are elements of the underlying field.

The absolutely convex hull of a bounded set in a topological vector space is again bounded.

See alsoEdit

ReferencesEdit

  • Robertson, A.P.; W.J. Robertson (1964). Topological vector spaces. Cambridge Tracts in Mathematics. 53. Cambridge University Press. pp. 4–6.
  • Narici, Lawrence; Beckenstein, Edward (July 26, 2010). Topological Vector Spaces, Second Edition. Pure and Applied Mathematics (Second ed.). Chapman and Hall/CRC.