コトバンクはYahoo!辞書と技術提携しています。

補助定理 ほじょていりlemma

翻訳|lemma

ブリタニカ国際大百科事典 小項目事典の解説

補助定理
ほじょていり
lemma

一つの定理証明する場合,その証明に必要な,いくつかの定理を用いたとすれば,これらの定理を補助定理,または補題という。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

デジタル大辞泉の解説

ほじょ‐ていり【補助定理】

一つの定理を証明するために、補助として使う定理。補題。レンマ

出典 小学館デジタル大辞泉について 情報 | 凡例

世界大百科事典 第2版の解説

ほじょていり【補助定理 lemma】

数学において,ある命題を証明する際,証明の途中に利用する別の定理を,その証明のための補助定理,または補題という。例えば,(1)〈pが素数でmpで割り切れない整数であればmp-1-1がpで割り切れる〉というフェルマーの定理を証明するのに,(2)〈pが素数でnが自然数であればnpnpで割り切れる〉を証明(これはnについての数学的帰納法と,二項定理とによって容易に証明できる)してこれを使う方法がある。

出典 株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について 情報

大辞林 第三版の解説

ほじょていり【補助定理】

主要な定理を証明するために、準備として証明され、使われる定理。補題。レンマ。

出典 三省堂大辞林 第三版について 情報

世界大百科事典内の補助定理の言及

【定理】より

…数学において,正しいことが証明できた事柄を定理という。理論構成において,多くの定理を得るわけであるが,その理論における位置づけによって,補助定理,系などの名称も用いる。すなわち,その理論構成において重要と考えるものをとくに定理と命名し,ある定理を導く段階で,証明などのため必要な定理を補助定理,または補題と呼ぶ。…

※「補助定理」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

補助定理の関連キーワードフェルマー自然数整数素数

今日のキーワード

跋扈

[名](スル)《「後漢書」崔駰伝から。「跋」は越える意、「扈」は竹やな》魚がかごを越えて跳ねること。転じて、ほしいままに振る舞うこと。また、のさばり、はびこること。「軍閥の跋扈」「悪辣な商売が跋扈する...

続きを読む

コトバンク for iPhone

コトバンク for Android