Absolutely convex set

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.

Properties

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 hull

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, the absolutely convex hull of a closed set is again closed. The same does not hold for open sets.

See also

References

  • 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.
  • Schaefer, H.H. (1999). Topological vector spaces. Springer-Verlag Press. p. 39.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.