лемма
21Лемма о разрастании — Лемма о накачке, или лемма о разрастании (англ. pumping lemma) в теории автоматов важная лемма, позволяющая во многих случаях проверить, является ли данный язык автоматным. Поскольку все конечные языки являются автоматными, эту проверку… …
22Лемма Адамара — (англ. Hadamard s lemma, фр. Lemme de Hadamard) утверждение, описывающее строение гладкой вещественной функции. Названа в честь французского математика Жака Адамара. Пусть функция класса , где , определенная в выпуклой окрестности …
23Лемма Морса — Лемма Морса  лемма, описывающая поведение гладкой или аналитической вещественной функции в окрестности невырожденной критической точки. Названа в честь американского математика Марстона Морса. Содержание 1 Формулировка 2 Вариации и обобщения …
24Лемма Накаямы — важная техническая лемма в коммутативной алгебре и алгебраической геометрии, следствие правила Крамера. Она имеет множество эквивалентных формулировок. Вот одна из них: Пусть R коммутативное кольцо с единицей 1, I идеал в R, а M… …
25Лемма о накачке — Лемма о накачке, или лемма о разрастании (англ. pumping lemma) в теории автоматов важная лемма, позволяющая во многих случаях проверить, является ли данный язык автоматным. Поскольку все конечные языки являются автоматными, эту проверку имеет… …
26Лемма (значения) — Лемма: Лемма  вспомогательная теорема в математике Лемма (лингвистика)  каноническая, основная форма слова Лемма (ботаника)  один из элементов колоска …
27Лемма Шпернера — комбинаторный аналог теоремы Брауэра о неподвижной точке, один из основных результатов комбинаторной топологии. Утверждает, что при любой Шпернеровсокй раскраске вершин в триангуляции n мерного симплекса найдётся ячейка триангуляции, вершины… …
28Лемма о разрастании для контекстно-свободных языков — Лемма о разрастании для контексто свободных языков лемма, по аналогии с одноименной леммой для регулярных языков позволяющая относительно несложно доказывать, что данный язык не является контекстно свободным. Содержание 1 Формулировка 2… …
29Лемма арцела — Лемма (Арцел): Из любой последовательности равностепенно непрерывных, равномерно ограниченных функций можно выбрать сходящуюся подпоследовательность. В переводе на язык формул это звучит так: пусть некоторая последовательность функций. Она… …
30Лемма Коши-Кантора — Лемма о вложенных отрезках или лемма Кантора это фундаментальное утверждение в математическом анализе, связанное с полнотой поля вещественных чисел. Формулировка Пусть дана последовательность вложенных отрезков то есть Тогда найдется хотя бы одна …
