How do you use "lemma" in a sentence?

The proof of the main theorem relies on a technical lemma establishing that the sequence converges uniformly. Zorn's lemma, though originally a tool for proving other results, has become one of the most widely cited propositions in set theory. The search engine uses lemmatisation to match queries with documents, ensuring that 'organising' and 'organised' return the same results.

lemma

Advanced Vocabulary Word British ★★★☆☆ Moderate Formal

用闪卡、测验和音频练习 WordLoci →

含义: A subsidiary or intermediate result proved in order to assist in the proof of a larger theorem. In linguistics, the canonical or dictionary form of a word.

引理，为辅助证明更大定理而证明的附属或中间结果。在语言学中，指一个词的词典形式或标准形式。

Resultado subsidiario o intermedio demostrado para ayudar a probar un teorema mayor. En lingüística, la forma canónica o de diccionario de una palabra.

より大きな定理の証明を補助するために証明される従属的・中間的な結果のこと。言語学では、語の辞書形・基本形を指します。

더 큰 정리의 증명을 보조하기 위해 증명되는 종속적이거나 중간적인 결과. 언어학에서는 단어의 사전형 또는 기본형을 가리킵니다.

In mathematics, a lemma is a stepping stone — a result that is not significant in its own right but is essential for establishing a more important theorem. Famous examples include Zorn's lemma and the pumping lemma. Ironically, some lemmas (notably Zorn's) have become more celebrated than the theorems they were designed to support. In computational linguistics, lemmatisation is the process of reducing a word to its base form — 'running' becomes 'run,' 'better' becomes 'good.' The plural can be either 'lemmas' or the Greek 'lemmata.'

在数学中，引理是一块垫脚石——本身并不十分重要，但对确立更重要的定理不可或缺。著名的例子包括佐恩引理和泵引理。颇具讽刺意味的是，一些引理（尤其是佐恩引理）比它们原本用来支持的定理更为著名。在计算语言学中，词形还原（lemmatisation）是将一个词还原为其基本形式的过程——'running'变成'run'，'better'变成'good'。其复数形式可以是'lemmas'或希腊语的'lemmata'。

En matemáticas, un lema es un peldaño — un resultado que no es significativo por sí mismo pero que es esencial para establecer un teorema más importante. Ejemplos famosos incluyen el lema de Zorn y el lema de bombeo. Irónicamente, algunos lemas (en particular el de Zorn) se han hecho más célebres que los teoremas para cuya demostración fueron concebidos. En lingüística computacional, la lematización es el proceso de reducir una palabra a su forma base — «running» se convierte en «run», «better» en «good». El plural puede ser «lemmas» o el griego «lemmata».

数学においてレンマ（補助定理）は踏み石のようなもので、それ自体は重要ではないが、より重要な定理を確立するために不可欠な結果である。有名な例にはツォルンの補題やポンピング補題がある。皮肉なことに、一部のレンマ（特にツォルンの補題）は、もともと支援するために考案された定理よりも有名になっている。計算言語学では、レンマ化（lemmatisation）とは語を基本形に還元する処理であり、「running」は「run」に、「better」は「good」になる。複数形は「lemmas」またはギリシャ語由来の「lemmata」のいずれも用いられる。

수학에서 보조정리(lemma)는 디딤돌과 같은 것으로, 그 자체로는 중요하지 않지만 더 중요한 정리를 확립하는 데 필수적인 결과입니다. 유명한 예로 초른의 보조정리와 펌핑 보조정리가 있습니다. 아이러니하게도 일부 보조정리(특히 초른의 보조정리)는 그것이 뒷받침하도록 설계된 정리보다 더 유명해졌습니다. 전산 언어학에서 표제어 추출(lemmatisation)은 단어를 기본형으로 축소하는 과정으로, 'running'은 'run'이 되고 'better'는 'good'이 됩니다. 복수형은 'lemmas' 또는 그리스어식 'lemmata' 모두 가능합니다.

例句

The proof of the main theorem relies on a technical lemma establishing that the sequence converges uniformly.
主定理的证明依赖于一个技术性引理，该引理确立了数列一致收敛。
La demostración del teorema principal se basa en un lema técnico que establece que la sucesión converge uniformemente.
主定理の証明は、数列が一様に収束することを示す技術的な補題に依拠している。
주정리의 증명은 수열이 균등하게 수렴함을 확립하는 기술적 보조정리에 의존하고 있다.
Zorn's lemma, though originally a tool for proving other results, has become one of the most widely cited propositions in set theory.
佐恩引理虽然最初只是证明其他结果的工具，但已成为集合论中被引用最广泛的命题之一。
El lema de Zorn, aunque originalmente concebido como herramienta para demostrar otros resultados, se ha convertido en una de las proposiciones más citadas de la teoría de conjuntos.
ツォルンの補題は、元々は他の結果を証明するための道具であったが、集合論において最も広く引用される命題の一つとなった。
초른의 보조정리는 원래 다른 결과를 증명하기 위한 도구였으나, 집합론에서 가장 널리 인용되는 명제 중 하나가 되었다.
The search engine uses lemmatisation to match queries with documents, ensuring that 'organising' and 'organised' return the same results.
该搜索引擎使用词形还原将查询与文档匹配，确保'organising'和'organised'返回相同的结果。
El motor de búsqueda utiliza la lematización para emparejar consultas con documentos, garantizando que «organising» y «organised» devuelvan los mismos resultados.
その検索エンジンはレンマ化を用いてクエリと文書をマッチングし、「organising」と「organised」が同じ結果を返すようにしている。
그 검색 엔진은 표제어 추출(lemmatisation)을 사용하여 쿼리와 문서를 매칭하며, 'organising'과 'organised'가 같은 결과를 반환하도록 한다.

发音

用法指南

语境: academic, scientific

语气: neutral

起源与历史

From Greek lemma (something taken for granted, a premise), from lambanein (to take, receive). Entered English in the 16th century in the mathematical sense; the linguistic sense developed in the 20th century.

文化背景

Era: Modern

Generation: All ages

Social background: Universal

lemma

例句

发音

用法指南

起源与历史

文化背景

更多同类表达