1. Теорема, необходимая только для доказательства другой теоремы (в математике).
В математике: вспомогательная теорема, необходимая для доказательства другой теоремы.
1. Леммы, ( греческое lemma) ( математика ). Теорема, не имеющая самостоятельного значения, нужная лишь для доказательства другой теоремы.
ЛЕММА
( греческое lemma, от lambano - думаю, убеждаю). Предложение, доказанное раньше, на котором основывается последующее.
ЛЕММА
в логике и математике - положение, доказанное исключительно для доказательства другого положения.
ЛЕММА
греческое lemma, от lambano, думаю, убеждаю. Предложение, служащее доказательством другого.
ЛЕММА
положение, требующее доказательства и служащее только для доказательства другого положения.
-ы, женский род Мат.
Теорема, необходимая только для доказательства другой или нескольких других теорем.
{Греч. λη̃μμα}
... ли они теоремами , обычно называютгипотезами . Наиболее знаменитыми являются теоремы Ферма , Пифагора и Птолемея Лемма (греч λημμα - предположение ) - доказанное утверждение , полезное не само по себе , а. для доказательства других ... ... утверждение , полезное не само по себе , а. для доказательства других утверждений Примеры известных лемм лемма Евклида , лемма Жордана , лемма Гаусса , лемма . Накаямы , лемма Гриндлингера ... (введение в математику. основы)
... и представимости голоморфных функций степенными рядами . следуют еще 3 важных результата :. лемма Шварца : если функция голоморфна в круге , и для всех . точек из этого круга , тогда всюду ... ... функция внутри круга , не принимающая значений . и , то имеет место неравенство , где зависит только от и. Лемма Жордана Лемма Жордана была предложена Жорданом в 1894 году [. Применяется в комплексном ... (Комплексный анализ и операционное исчисление (теория функций комплексного переменного))
... : Вычеты по модулю целых чисел -. Теорема о числе решений сравнения первой степени -. Лемма Безу - Расширенный алгоритм Эвклида -. Китайская теорема об остатках -. Алгоритм Гарнера - Функция ... ... кольцо вычетов . Тогда группа его обратимых элементов состоит из следующих вычетов Z. Из леммы Безу , см лемму 2 , следует , что обратимыми элементами являются только вычеты ... (Алгоритмы и теория алгоритмов)
... значения Вообще говоря , не у.всякого ограниченного оператора существует максимальный вектор Лемма Симметричный вполне непрерывный оператор обладает максимальным вектором Доказательство Выберем последовательность ... ... :. Векторы принадлежат единичному шару , и поэтому векторы по длине не . превосходят Применяя лемму 7 , получаем :. Откуда вытекает , что т е есть максимальный вектор оператора А Лемма доказана Лемма ... (Функциональный анализ)
... запасом Так , частотный словарь под редакцией Л Н Засориной [Засорина содержит около 40 тыс лемм , О Н Ляшевской и С А Шарова [Ляшевская , Шаров - 52 тыс лемм Поэтому первой задачей ... ... этого был использован толково-словообразовательный словарь Т В Ефремовой [Ефремова , содержащий 136 тыс лемм , и для каждой леммы найдена ее частотность по Национальному . Корпусу Русского Языка (http ://www ... (Создание электронных словарей, тезаурусов, онтологий)
... восстановления Прежде чем формулировать теорему о предельном поведении обрывающегося процесса восстановления ., докажем лемму о предельном поведении интегралов свертки ЛЕММА Если функции А(x) и В(x) при x.>0 положительные неубывающие и равномерно ... ... . (ε1)>0, что при t>(ε1). Для любого ε2>0 найдется такое (ε2)>0, что. при t>(ε2) и Тогда при t>max [(ε1), (ε2)] имеем оценку . что и доказывает утверждение леммы * ТЕОРЕМА Для обрывающегося процесса восстановления , начинающегося в момент t=0., справедливы следующие утверждения ... (вероятностные процессы)
Комментарии
Оставить комментарий