Список лемм

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

Алгебра

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

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

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

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

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

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

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

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

Теория групп

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

Полиномы

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

Теория колец и коммутативная алгебра

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

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

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

Анализ

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

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

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

анализ Фурье

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

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

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

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

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

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

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

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

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

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

• Лемма Брамбла–Гильберта
• Лемма Сеа

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

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

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

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

• Лемма Финслера
• лемма Хаутуса
• Лемма Калмана–Якубовича–Попова.

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

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

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

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

Официальные языки

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

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

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

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

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

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

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

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

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

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

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

Геометрия

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

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

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

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

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

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

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

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

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

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

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

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

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

Теория чисел

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

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

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

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

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

Теория решета

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

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

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

Статистика

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

Теория меры

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

Топология

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

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

• лемма Морса

Теория неподвижной точки

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

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

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

• Лемма Дена

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

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