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

定理 ていりtheorem

翻訳|theorem

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

定理
ていり
theorem

数学用語。語源的には実践的な行為の規準に対して思弁的,理論的命題をさした。さらにそれは証明可能な言表を意味し,定義公理あるいは問題に対立する。一般には演繹の中間過程において引出され,以下の推論の前提となる命題をいう。

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

デジタル大辞泉の解説

てい‐り【定理】

ある理論体系において、その公理や定義をもとにして証明された命題で、それ以降の推論の前提となるもの。「ピタゴラス定理

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

百科事典マイペディアの解説

定理【ていり】

数学で真である命題,つまり公理系から演繹的推論により導かれる(証明される)命題。ふつうはそのうち,他のいろいろな命題を証明するのによく使われる重要なものをいう。
→関連項目公式

出典|株式会社日立ソリューションズ・クリエイト百科事典マイペディアについて | 情報

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

ていり【定理 theorem】

数学において,正しいことが証明できた事柄を定理という。理論構成において,多くの定理を得るわけであるが,その理論における位置づけによって,補助定理,系などの名称も用いる。すなわち,その理論構成において重要と考えるものをとくに定理と命名し,ある定理を導く段階で,証明などのため必要な定理を補助定理,または補題と呼ぶ。また,ある定理から容易に導ける他の定理を,もとの定理の系という。例えば,次の二つの命題はユークリッド幾何学における定理であるが,第1のものから第2のものは容易に導けるので,第2のものは第1のものの系であるといえる。

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

大辞林 第三版の解説

ていり【定理】

公理に基づき、論証によって証明された命題。また特に、重要なもののみを定理ということがある。

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

日本大百科全書(ニッポニカ)の解説

定理
ていり
theorem

証明されている命題をいう。すなわち、ある数学的理論において、その理論の公理から正しい推論を重ねることによって得られる命題が定理である。定理は、すでに知られている諸定理から、さらに推論を重ねて導かれるのが普通である。定義からすれば、証明された命題はすべて定理であるが、実際には、その理論のなかで主張したい事柄のみが、定理として提出される。証明された命題のなかで、理論の展開として主張したいものではないが、定理の証明にたびたび用いるとか、定理の証明の筋道として明確にしておきたい命題を、その定理の補題という。また、定理の一般的条件を特殊な場合に制限した命題にすると、主張したい事柄がわかりやすくなることがある。このような命題を、その定理の系という。[廣瀬 健]

出典|小学館 日本大百科全書(ニッポニカ)日本大百科全書(ニッポニカ)について | 情報 凡例

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

【公理系】より

…まず,一定の学問体系において基本的前提と考えられる命題の一定の組を選び出して,それらを公理axiomとよぶ。公理から一定の推理(推論)方法によって得られる結論を定理theoremとよぶ。このような形で学問を体系化することを公理化axiomatizationという。…

【形式言語】より

…この語には,もはやどの規則も適用できない。一般に形式システムでは,推論規則によって公理から定理が導出されるという。導出される定理のうち,どの規則も適用できないものを終端定理と呼ぶ。…

【公理系】より

…まず,一定の学問体系において基本的前提と考えられる命題の一定の組を選び出して,それらを公理axiomとよぶ。公理から一定の推理(推論)方法によって得られる結論を定理theoremとよぶ。このような形で学問を体系化することを公理化axiomatizationという。…

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

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

定理の関連キーワードペンローズホーキングの特異点定理ヘルムホルツの定理(電気回路)第一平均値の定理(数学)ネルンストプランクの定理平均値の定理(微分学)ナイキストの熱雑音公式バーンスタインの定理ナイキスト安定性基準帆足‐ミルマンの定理カヴァリエリの原理ド=モアヴルの公式シュタイナーの定理クヌートセンの定理ギュルダンの定理H(エッチ)定理ピタゴラスの定理クラマース二重項クラマースの原理クレーローの定理ブリュアンの定理

今日のキーワード

アウフヘーベン

ヘーゲル弁証法の基本概念の一。あるものを否定しつつも、より高次の統一の段階で生かし保存すること。止揚。揚棄。→アン‐ウント‐フュール‐ジッヒ →弁証法...

続きを読む

コトバンク for iPhone

コトバンク for Android

定理の関連情報