лемма

  • 31Лемма о вложенных промежутках — Лемма о вложенных отрезках или лемма Кантора это фундаментальное утверждение в математическом анализе, связанное с полнотой поля вещественных чисел. Формулировка Пусть дана последовательность вложенных отрезков то есть Тогда найдется хотя бы одна …

    Википедия

  • 32Лемма Арцела — Лемма Арцела  свойство компактного множества. На примере отрезка формулируется так: Пусть в конечном промежутке содержатся системы промежутков, каждая из которых состоит из конечного числа не налегающих друг на друга замкнутых промежутков.… …

    Википедия

  • 33Лемма Евклида — Лемма Евклида  классический результат элементарной теории чисел. Она сформулирована как предложение 30 в книге VII «Начал» Евклида. Если простое число p делит без остатка произведение двух целых чисел x·y, то p делит x или y. Доказательство… …

    Википедия

  • 34Лемма Либермана — основной инструмент изучения внутренней метрики выпуклой поверхности. Пусть есть выпуклое тело в евклидовом пространстве, и . Предположим есть кратчайшая на поверхности . Рассмотрим конус с вершиной в p над …

    Википедия

  • 35Лемма Безиковича — о покрытиях классический результат теории меры. Доказана Безиковичем в 1945 ом году. Формулировка Для любого натурального существует такое натуральное , что верно следующее. Пусть произвольное множество замкнутых шаров в …

    Википедия

  • 36лемма накачки — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN pumping lemma …

    Справочник технического переводчика

  • 37Лемма о накачке для регулярных языков — В теории формальных языков, лемма о накачке для регулярных языков описывает существенное свойство всех регулярных языков. Неформально она утверждает, что все достаточно длинные слова регулярного языка можно накачать, то есть повторить внутреннюю… …

    Википедия

  • 38Лемма Гейне — Леммой Гейне Бореля [1], а также леммой Бореля Лебега [2] называется следующий факт, играющий фундаментальную роль в анализе: Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также… …

    Википедия

  • 39Лемма Бореля — Лемма Бореля  Кантелли в теории вероятностей  это результат, касающейся бесконечной последовательности событий. Лемма часто используется для доказательства предельных теорем. Обычно лемма разбивается на два утверждения, называемыми… …

    Википедия

  • 40Лемма Огдена — В теории формальных языков, лемма Огдена предоставляет расширение гибкости леммы о разрастании для контекстно свободных языков. Лемма Огдена утверждает, что если язык L контекстно свободен, то существует некоторое число p > 0 (где p может быть …

    Википедия