×

Types on stable Banach spaces. (English) Zbl 0919.46010

Summary: We prove a geometric characterization of Banach space stability. We show that a Banach space \(X\) is stable if and only if the following condition holds. Whenever \(\widehat{X}\) is an ultrapower of \(X\) and \(B\) is a ball in \(\widehat{X}\), the intersection \(B\cap X\) can be uniformly approximated by finite unions and interactions of balls in \(X\); furthermore, the radius of these balls can be taken arbitrarily close to the radius of \(B\), and the norm of their centers arbitrarily close to the norm of the center of \(B\).
The preceding condition can be rephrased without any reference to ultrapowers, in the language of types, as follows. Whenever \(\tau\) is a type of \(X\), the set \(\tau^{-1}[0,r]\) can be uniformly approximated by finite unions and intersections of balls in \(X\); furthermore, the radius of these balls can be taken arbitrarily close to \(r\), and the norm of their centers arbitrarily close to \(\tau(0)\).
We also provide a geometric characterization of the real-valued functions which satisfy the above condition.

MSC:

46B20 Geometry and structure of normed linear spaces
46M07 Ultraproducts in functional analysis
46B08 Ultraproduct techniques in Banach space theory
46B07 Local theory of Banach spaces
PDFBibTeX XMLCite
Full Text: EuDML