引理
数学中用于证明多个结论的命题
创建同名条目
条目
历史版本
编辑
引理是数学中为了取得某个更好的结论而作为步骤被证明的命题,其意义并不在于自身被证明,而在于为达成最终目的作出贡献。
正文
意义
引理(lemma)
是数学中为了取得某个更好的结论而作为步骤被证明的命题,其意义并不在于自身被证明,而在于为达成最终目的 作出贡献。
一个引理可用于证明多个结论。数学中存在很多著名的引理,这些引理可能对很多问题的解决有帮助。例如欧几里得引理,
乌雷松
引理,德恩引理,法图引理,高斯引理,中山引理,
庞加莱
引理,里斯引理和佐恩引理等。