Вспомогательное утверждение в математике
Утверждение, которое доказывается как часть доказательства более крупной теоремы. Лемма обычно имеет самостоятельный интерес, но её основная функция — служить промежуточным шагом.
Близкие слова
- вспомогательная теорема
- промежуточное утверждение
Перед доказательством основной теоремы автор привел три важные леммы.
Лемма Цорна является мощным инструментом в абстрактной алгебре.
Основная форма слова в лингвистике
Словарная форма лексемы, к которой приводятся все её грамматические варианты. В русском языке для глаголов это инфинитив, для существительных — именительный падеж единственного числа.
Близкие слова
- словарная форма
- нормализованная форма
При морфологическом разборе нужно указать лемму слова «писали».
Поиск в корпусе текстов часто работает по леммам, а не по точным формам слов.
Разница между леммой, теоремой и аксиомой
В математическом дискурсе важно различать эти понятия. Аксиома принимается без доказательства как исходная посылка. Теорема — это утверждение, которое требует доказательства и является целью исследования. Лемма занимает промежуточное положение: она также требует доказательства, но её цель — не быть самоцелью, а облегчить путь к доказательству теоремы. Иногда леммы становятся настолько важными, что их начинают изучать отдельно, и граница между леммой и теоремой становится условной.
Лемматизация в компьютерной лингвистике
В обработке естественного языка (NLP) процесс приведения слова к его лемме называется лемматизацией. Это отличает её от стемминга: если стемминг просто отбрасывает окончания (часто грубо, «бегущий» → «бег»), то лемматизация использует словарные базы и морфологический анализ, чтобы вернуть истинную словарную форму («бегущий» → «бежать»). Лемматизация точнее, так как учитывает контекст и часть речи, что критически важно для качественной обработки текста.