Girth (functional analysis)

In functional analysis, the girth of a Banach space is the infimum of lengths of centrally symmetric simple closed curves in the unit sphere of the space. Equivalently, it is twice the infimum of distances between opposite points of the sphere, as measured within the sphere.[1][2]

Every finite-dimensional Banach space has a pair of opposite points on the unit sphere that achieves the minimum distance, and a centrally symmetric simple closed curve that achieves the minimum length. However, such a curve may not always exist in infinite-dimensional spaces.[1]

The girth is always at least four, because the shortest path on the unit sphere between two opposite points cannot be shorter than the length-two line segment connecting them through the origin of the space. A Banach space for which it is exactly four is said to be flat. There exist flat Banach spaces of infinite dimension in which the girth is achieved by a minimum-length curve; an example is the space C[0,1] of continuous functions from the unit interval to the real numbers, with the sup norm. The unit sphere of such a space has the counterintuitive property that certain pairs of opposite points have the same distance within the sphere that they do in the whole space.[3]

The girth is a continuous function on the Banach–Mazur compactum, a space whose points correspond to the normed vector spaces of a given dimension.[2] The girth of the dual space of a normed vector space is always equal to the girth of the original space.[2][4]

See also

edit

References

edit
  1. ^ a b Schäffer, Juan Jorge (1967), "Inner diameter, perimeter, and girth of spheres", Mathematische Annalen, 173: 79–82, doi:10.1007/BF01351519, MR 0218875, S2CID 116325652.
  2. ^ a b c Álvarez Paiva, J. C. (2006), "Some problems on Finsler geometry", Handbook of differential geometry. Vol. II, Elsevier/North-Holland, Amsterdam, pp. 1–33, doi:10.1016/S1874-5741(06)80004-X, MR 2194667. See in particular p. 16.
  3. ^ Harrell, R. E.; Karlovitz, L. A. (1970), "Girths and flat Banach spaces", Bulletin of the American Mathematical Society, 76 (6): 1288–1291, doi:10.1090/S0002-9904-1970-12643-X, MR 0267383.
  4. ^ Álvarez Paiva, J. C. (2006), "Dual spheres have the same girth" (PDF), American Journal of Mathematics, 128 (2): 361–371, arXiv:math/0408414, doi:10.1353/ajm.2006.0015, MR 2214896, S2CID 201749975.