Войти
В математике, неформально логика и отображение аргументов, лемма (множественное число lemmas или lemmata ) - это обычно второстепенное, доказанное утверждение, который используется как ступенька к большему результату. По этой причине она также известна как «вспомогательная теорема» или «вспомогательная теорема». Во многих случаях лемма проистекает из теоремы, которую она стремится доказать, однако лемма также может оказаться более важной, чем первоначально предполагалось. Слово «лемма» происходит от древнегреческого λῆμμα («все, что получено», например, подарок, прибыль или взятка).
Есть нет формального различия между леммой и теоремой , только одно намерение (см. терминологию теоремы ). Однако лемму можно рассматривать как второстепенный результат, единственная цель которого - помочь доказать теорему - шаг в направлении доказательства - или короткую теорему, появляющуюся на промежуточном этапе доказательства.
Хорошая ступенька может привести ко многим другим. Некоторые важные результаты в математике известны как леммы. К ним, среди прочего, относятся:
Хотя эти результаты изначально казались слишком простыми или слишком техническими, чтобы вызывать независимый интерес, в конечном итоге они оказались центральными для теорий, в которых они возникают.
 | Найдите lemma в Wiktionary, бесплатном словаре. |
Эта статья включает материал из леммы о PlanetMath, которая находится под лицензией Creative Commons Attribution / Share-Alike License.
