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

補題 ホダイ

3件 の用語解説(補題の意味・用語解説を検索)

デジタル大辞泉の解説

ほ‐だい【補題】

補助定理

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

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

補題
ほだい

補助定理」のページをご覧ください。

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

世界大百科事典内の補題の言及

【定理】より

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

【補助定理】より

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

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

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

今日のキーワード

稀勢の里寛

1986- 平成時代の力士。昭和61年7月3日生まれ。中学卒で鳴戸部屋に入門し,平成14年3月初土俵。16年5月新十両,同年11月には18歳4ヵ月で新入幕をはたす。18年7月新三役小結,21年3月新関...

続きを読む

コトバンク for iPhone