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

* Systolic geometry

## References

1. ↑ 1.0 1.1 Schäffer, Juan Jorge (1967), "Inner diameter, perimeter, and girth of spheres", Mathematische Annalen 173: 79–82, doi:10.1007/BF01351519 .
2. ↑ 2.0 2.1 2.2 Á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 . 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 .
4. ↑ Álvarez Paiva, J. C. (2006), "Dual spheres have the same girth", American Journal of Mathematics 128 (2): 361–371, doi:10.1353/ajm.2006.0015, http://muse.jhu.edu/journals/american_journal_of_mathematics/v128/128.2paiva.pdf .

* v
* t
* e

Functional analysis (topics)

Topological vector spaces|

* Asplund
* Banach (list)
* Banach lattice
* Barrelled
* Bornological
* Brauner
* F-space
* Fréchet (tame)
* Hilbert (Inner product space
* Polarization identity)
* LF-space
* Locally convex (Seminorms/Minkowski functionals)
* Mackey
* Montel
* Nuclear
* Normed (norm)
* Quasinormed
* Reflexive
* Riesz
* Smith
* Stereotype
* Strictly convex
* Webbed
* Topological tensor product (of Hilbert spaces)

Topologies of function spaces|

* Dual
* Dual space (Dual norm)
* Operator
* Ultraweak
* Weak (polar
* operator)
* Mackey
* Strong (polar
* operator)
* Ultrastrong
* Uniform convergence

Linear operators|

* Adjoint
* Bilinear (form
* operator
* sesquilinear)
* (Un)Bounded
* Closed
* Compact (on Hilbert spaces)
* (Dis)Continuous
* Densely defined
* Fredholm
* Hilbert–Schmidt
* Functionals (positive)
* Normal
* Nuclear
* Self-adjoint
* Strictly singular
* Trace class
* Transpose
* Unitary

Operator theory|

* Banach algebras
* C*-algebras
* Spectrum (C*-algebra
* radius)
* Spectral theory (of ODEs
* Spectral theorem)
* Polar decomposition
* Singular value decomposition

Theorems|

* Banach–Alaoglu
* Banach–Mazur
* Banach–Saks
* Banach–Schauder (open mapping)
* Banach–Steinhaus (Uniform boundedness)
* Bessel's inequality
* Cauchy–Schwarz inequality
* Closed graph
* Closed range
* Eberlein–Šmulian
* Freudenthal spectral
* Gelfand–Mazur
* Gelfand–Naimark
* Goldstine
* Hahn–Banach (hyperplane separation)
* Kakutani fixed-point
* Krein–Milman
* Lomonosov's invariant subspace
* Mackey–Arens
* Mazur's lemma
* M. Riesz extension
* Riesz representation
* Parseval's identity
* Schauder fixed-point

Analysis|

* Abstract Wiener space
* Bochner space
* Differentiation in Fréchet spaces
* Derivatives (Fréchet
* Gateaux
* functional
* holomorphic)
* Integrals (Bochner
* Dunford
* Gelfand–Pettis
* regulated
* Paley–Wiener
* weak)
* Functional calculus (Borel
* continuous
* holomorphic)
* Inverse function theorem (Nash–Moser theorem)
* Measures (Lebesgue
* Projection-valued
* Vector)
* Weakly measurable function

Types of sets|

* Absolutely convex
* Absorbing
* Balanced
* Bounded
* Convex
* Convex cone (subset)
* Linear cone (subset)
* Radial
* Star-shaped
* Symmetric
* Zonotope

Subsets / set operations|

* Algebraic interior (core)
* Bounding points
* Convex hull
* Extreme point
* Interior
* Minkowski addition
* Polar

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Girth (functional analysis). Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Girth_(functional_analysis)&oldid=223747"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template