Список лемм

Это динамический список , и он, возможно, никогда не сможет соответствовать определенным стандартам полноты. Вы можете помочь, добавив недостающие элементы из надежных источников .

Ниже приводится список лемм (или « лемм », т.е. второстепенных теорем или иногда промежуточных технических результатов, вынесенных из доказательств). См. также список аксиом , список теорем и список гипотез .

Алгебра

Основная категория: Леммы по алгебре

• Лемма Абхьянкара
• Лемма Обена – Лайонса
• Лемма Бергмана о ромбе
• Подгоночная лемма
• Лемма об инъективном критерии
• Лемма Хуа ( показательные суммы )
• Лемма Крулла о разделении
• Лемма Шануэля ( проективные модули )
• Лемма Шварца – Циппеля.
• Лемма Шапиро
• Лемма Стюарта – Уокера ( тензоры )
• Лемма Уайтхеда ( алгебры Ли )
• Лемма Зарисского

Алгебраическая геометрия

• Лемма Абхьянкара
• Основная лемма (программа Ленглендса)

Теория категорий

Коммутативная диаграмма, иллюстрирующая пять лемм.

• Пять лемм
• Лемма о подкове
• Девятая лемма
• Короткая пятая лемма
• Змеиная лемма
• Лемма о расщеплении

Линейная алгебра

• Лемма об определителе матрицы
• Лемма об обращении матрицы

Теория групп

• Лемма Бернсайда, также известная как лемма Коши – Фробениуса.
• Лемма Фраттини ( конечные группы )
• Лемма Гурса
• Лемма Маутнера ( теория представлений )
• Лемма о пинг-понге ( геометрическая теория групп )
• Лемма Шрайера о подгруппе
• Лемма Шура ( теория представлений )
• Лемма Цассенхауза

Полиномы

• Лемма Гаусса (полиномы)
• Лемма Шварца – Циппеля.

Теория колец

• Лемма Артина–Риса
• Лемма Гензеля ( коммутативные кольца )
• Лемма Накаямы
• Лемма Нётер о нормализации
• Лемма о простом избегании

Универсальная алгебра

• Лемма Йонссона

Анализ

Основная категория: Леммы в анализе

• Лемма Фекете
• Основная лемма вариационного исчисления
• Лемма Хопфа
• Лемма Сарда ( теория особенностей )
• Лемма Стечкина ( функциональный и численный анализ )
• Лемма о покрытии Виталия ( реальный анализ )
• Лемма Ватсона

Комплексный анализ

• Лемма об оценивании ( контурные интегралы )
• Лемма Хартогса ( несколько комплексных переменных )
• Лемма Джордана
• Лемма о логарифмической производной
• Черная лемма

Анализ Фурье

• Лемма Римана – Лебега.

Дифференциальные уравнения

• Лемма Бореля ( уравнения в частных производных )
• Лемма Грёнвалля
• Лемма Лакса – Милгрэма
• Заключительная лемма Пью
• Лемма Вейля (уравнение Лапласа) ( уравнения в частных производных )

Дифференциальные формы

• Лемма Пуанкаре о замкнутых и точных дифференциальных формах

Функциональный анализ

• Лемма Котлара – Штейна
• Лемма Эрлинга
• Лемма Рисса

Математический ряд

• Лемма Абеля
• Кронекер заметил

Численный анализ

• Лемма Брэмбла – Гильберта
• Кто такая лемма

Прикладная математика

диаграмма быстрого преобразования Фурье длины 8

• Лемма Дэниэлсона – Ланцоша ( преобразования Фурье )
• Лемма Фаркаса ( линейное программирование )
• Лемма Фельда – Тая ( электромагнетизм )
• Лемма Литтла ( теория массового обслуживания )
• Лемма Финслера

Теория управления

• Лемма Финслера
• Лемма Хатуса
• Kalman–Yakubovich–Popov lemma

Теория сложности вычислений

• Лемма об изоляции
• Лемма о переключении

Криптография

• Лемма о разветвлении
• Лемма об оставшемся хеше
• Лемма о накоплении ( линейный криптоанализ )
• Лемма Яо XOR

Формальные языки

• Лемма о перестановке
• Лемма Ньюмана ( переписывание терминов )
• Лемма Огдена
• Лемма о накачке, иногда называемая Бар-Гиллеля. леммой

Микроэкономика

• Лемма Хотеллинга
• Лемма Шепарда

Комбинаторика

• Лемма Кузина ( интегралы )
• Лемма Диксона
• Лемма Литтлвуда – Оффорда
• Лемма Полиа – Бернсайда
• тема Спернера
• Лемма Кая Фана ( комбинаторная геометрия )

Теория графов

Основная категория: Леммы теории графов

• Лемма Берге
• Лемма о счете
• Лемма о пересечении
• Лемма о смешивании экспандера
• Лемма о рукопожатии
• Лемма Келли
• Лемма Кенига
• Лемма Семереда о регулярности

Теория порядка

• Лемма Хигмана
• Лемма об ультрафильтре

Динамические системы

• Лемма Барбалата
• Лемма Каца ( эргодическая теория )

Геометрия

• Лемма о затенении
• Лемма «большой-маленький-большой» ( математика складывания бумаги )
• Лемма Гордана
• Лемма Гильберта

Евклидова геометрия

• Леммы Архимеда
• Лемма Джонсона – Линденштрауса ( евклидова геометрия )

Гиперболическая геометрия

• Лемма Маргулиса

Метрические пространства

• Лемма Лебега о числах ( теория размерности )

Риманова геометрия

• Лемма Гаусса (риманова геометрия)

Математическая логика

• Лемма Крейга об интерполяции
• Диагональная лемма
• Лемма Линденбаума
• Лемма о коллапсе Мостовского
• Лемма Тейхмюллера – Тьюки, также известная как лемма Тьюки.
• лемма Цорна ; эквивалентно аксиоме выбора

Теория множеств

Основная категория: Леммы теории множеств

• Лемма о покрытии
• Дельта-лемма
• Лемма Динка
• Лемма Фодора
• Лемма о неподвижной точке для нормальных функций ( аксиоматическая теория множеств )
• Лемма о кодировании Мошовакиса
• Лемма Расёвы – Сикорского.

Теория чисел

Основная категория: Леммы по теории чисел

• Лемма Безу
• Лемма Дворка
• Лемма Евклида
• Лемма Гаусса
• Лемма Гензеля
• Zolotarev's lemma
• Лемма Зигеля ( диофантово приближение )

Аналитическая теория чисел

• Лемма Хуа
• Лемма Воана

Диофантовы уравнения

• Лемма Бхаскары

Теория сита

• Основная лемма теории решета.

Теория вероятностей

• Лемма Бореля – Кантелли.
• Лемма Добба–Динкина.
• Лемма Ито ( стохастическое исчисление )
• Локальная лемма Ловаса
• Лемма Штейна
• Лемма Вальда

Статистика

• Лемма Гливенко–Кантелли.
• Лемма Неймана – Пирсона.
• Лемма Роббинса

Теория меры

• Лемма о факторизации
• Лемма Фату
• Лемма Фростмана ( геометрическая теория меры )
• Лемма Маллявена об абсолютной непрерывности.

Топология

• Лемма Линделёфа
• Лемма Урысона
• Лемма о трубке

Дифференциальная топология

• Лемма Морса

Теория фиксированной точки

Пример покрытия, описываемого леммой Кнастера – Куратовского – Мазуркевича.

• Лемма Кнастера – Куратовского – Мазуркевича.

Геометрическая топология

• Расширить лемму

Топологические группы и полугруппы

• Лемма Эллиса–Нумакуры ( топологические полугруппы )