Русская Википедия:Лемма
Шаблон:Другие значения Ле́мма (греч. λημμα — предположение) — доказанное утверждение, полезное не само по себе, а для доказательства других утверждений. По этой причине она также известна как «вспомогательная теорема»[1][2]. Во многих случаях важность леммы определяется теоремой, которую она стремится доказать; однако лемма также может оказаться более важной, чем предполагалось изначально[3]. Слово «лемма» происходит от древнегреческого λῆμμα («все, что получено»[2], например, подарок, прибыль или взятка).
Примеры известных лемм: лемма Евклида, лемма Жордана, несколько лемм Гаусса, лемма Накаямы, лемма Бёрнсайда, лемма Морса, лемма о разрастании, лемма Фату, лемма Ферма, лемма Цорна, лемма Шепли — Фолкмана, лемма Шура.
Сравнение с теоремой
Между леммой и теоремой нет формального различия, только различие по намерению. Однако лемму можно считать второстепенным результатом, единственной целью которого является помощь в доказательстве более существенной теоремы — шаг в направлении доказательства[3].
См. также
Примечания
Литература
- Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970 (Том 1)
Шаблон:Math-stub Шаблон:Rq Шаблон:ВС
