Lesson plan

Distortion problem

In functional analysis, a branch of mathematics, the distortion problem is to determine by how much one can distort the unit sphere in a given Banach space using an equivalent norm. Specifically, a Banach space X is called λ-distortable if there exists an equivalent norm |x| on X such that, for all infinite-dimensional subspaces Y in X, : \sup_{y_1,y_2\in Y, \|y_i\|=1} \frac \ge \lambda (see distortion (mathematics)). Note that every Banach space is trivially 1-distortable. A Banach space is called distortable if it is λ-distortable for some λ > 1 and it is called arbitrarily distortable if it is λ-distortable for any λ. Distortability first emerged as an important property of Banach spaces in the 1960s, where it was studied by and . James proved that c 0 and ℓ 1 are not distortable. Milman showed that if X is a Banach space that does not contain an isomorphic copy of c 0 or ℓ p for some (see sequence space), then some infinite-dimensional subspace of X is distortable. So the distortion problem is now primarily of interest on the spaces ℓ p , all of which are separable and uniform convex, for .…

Back to article

Article summary

In functional analysis, a branch of mathematics, the distortion problem is to determine by how much one can distort the unit sphere in a given Banach space using an equivalent norm. Specifically, a Banach space X is called λ-distortable if there exists an equivalent norm |x| on X such that, for all infinite-dimensional subspaces Y in X, : \sup_{y_1,y_2\in Y, \|y_i\|=1} \frac \ge \lambda (see distortion (mathematics)). Note that every Banach space is trivially 1-distortable. A Banach space is called distortable if it is λ-distortable for some λ > 1 and it is called arbitrarily distortable if it is λ-distortable for any λ. Distortability first emerged as an important property of Banach spaces in the 1960s, where it was studied by and . James proved that c 0 and ℓ 1 are not distortable. Milman showed that if X is a Banach space that does not contain an isomorphic copy of c 0 or ℓ p for some (see sequence space), then some infinite-dimensional subspace of X is distortable. So the distortion problem is now primarily of interest on the spaces ℓ p , all of which are separable and uniform convex, for .…

Key claims

No claims recorded.

Discussion questions

  1. Summarise the article in your own words. Which single claim would you verify first, and why?
  2. Which claim in this article is most likely to be revised as the sources update? How would you check its current status?
  3. If two sources disagreed about one of these facts, what would you need in order to trust one over the other?

Bibliography

No sources recorded.

Key claims and bibliography are generated from the same tracked claims and sources as the article page.