Русская Википедия:Теорема Дворецкого

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Tеорема Дворецкого — утверждет, что каждое центрально-симметричное выпуклое множество достаточно высокой размерности имеет сечение, близкое к эллипсоиду.

Доказана Арье Дворецким в начале 1960-х годов[1] как ответ на вопрос поставленный Александром Гротендиком. Альтернативное доказательство найдено Виталием Мильманом в 1970-х годах[2], оно послужило одной из отправных точек для развития принципа концентрации меры и асимптотического геометрического анализа[3].

Формулировка

Для любого натурального числа <math>k</math> и каждого <math>\varepsilon>0</math> существует такое натуральное число <math>K</math>, что если <math>(X,\|{*}\|)</math> — нормированное пространство размерности <math>K</math>, то существует подпространство <math>E \subset X</math> размерности <math>k</math> и положительная квадратичная форма <math>Q</math> на <math>E</math>, такая, что:

<math> \|x\| \leqslant \sqrt{Q(x)}\leqslant (1+\varepsilon)\cdot\|x\|</math>

для любого <math>x\in E</math>.

Примечания

Шаблон:Примечания