corollary
「corollary」の意味・「corollary」とは
「corollary」とは、一つの事実や原理から自然に導き出される結論や結果を指す英単語である。数学や論理学で頻繁に用いられ、特定の定理や公理から直接的に導かれる命題を指すことが多い。例えば、ピタゴラスの定理から導き出される「直角三角形の一辺の長さが他の二辺の長さの和と等しい」という命題は「corollary」に該当する。「corollary」の発音・読み方
「corollary」の発音は、IPA表記では /ˈkɔːrəlɛri/ となる。IPAのカタカナ読みでは「コーラレリ」となり、日本人が発音するカタカナ英語では「コーララリー」に近い。発音によって意味や品詞が変わる単語ではないため、一定の発音パターンを覚えるだけで十分である。「corollary」の定義を英語で解説
「corollary」は英語で "a proposition that follows from (and is often appended to) one already proved." と定義される。これは、「既に証明された命題から導かれ(そしてしばしばそれに付け加えられる)命題」という意味になる。「corollary」の類語
「corollary」の類語としては、「consequence」、「result」、「outcome」などがある。これらの単語も「結果」や「結論」を意味するが、「corollary」は特に論理的な推論や数学的な証明から導かれる結論を指す点で特徴がある。「corollary」に関連する用語・表現
「corollary」に関連する用語としては、「theorem」(定理)、「axiom」(公理)、「proposition」(命題)などがある。これらはすべて論理的な議論や数学的な証明で用いられる用語で、「corollary」はこれらの用語と密接な関連性を持つ。「corollary」の例文
1. "The corollary of the theorem was proven by the mathematician."(その定理の系は数学者によって証明された。)2. "The corollary naturally follows from the axiom."(その系は公理から自然に導かれる。)
3. "The corollary is an important part of the proof."(その系は証明の重要な部分である。)
4. "The corollary was appended to the original theorem."(その系は元の定理に付け加えられた。)
5. "The corollary is derived from the proposition."(その系は命題から導かれる。)
6. "The corollary supports the main argument."(その系は主要な議論を支持する。)
7. "The corollary provides further evidence for the theory."(その系は理論にさらなる証拠を提供する。)
8. "The corollary is consistent with the established facts."(その系は確立された事実と一致する。)
9. "The corollary is a logical consequence of the hypothesis."(その系は仮説の論理的な結果である。)
10. "The corollary is a direct result of the mathematical formula."(その系は数学的な公式の直接的な結果である。)
系 (数学)
数学において、ある主張(典型的には定理)の系(けい、英: corollary)とは、その(既知の)主張から「直ちに」証明される主張をいう。
概要
「命題」や「定理」とは呼ばず、どのような主張を「系」と呼ぶかという基準は本質的には主観に基づく。すなわち、命題 B が命題 A から直ちに演繹できるとかその証明から明らかであるとかいう場合に「B は A の系である」と言うのであるが、「直ちに」あるいは「明らか」の意味は著者や文脈によって異なる。
また「系」と呼ばれる主張は元の定理の主張よりも重要性の弱い主張であると考えることが多く、導かれた B の数学的結果が元の A のそれと同じくらい重要であれば、B が系と呼ばれることはあまりない。系が導かれることの証明を行うこともあるが、大抵は明らかであるとして証明は省略される。
関連項目
- 補題
- ローズヴェルトの系論 (Roosevelt Corollary)
参考文献
- Weisstein, Eric W. "Corollary". mathworld.wolfram.com (英語).
- corollary at dictionary.com
- Chambers's Encyclopaedia. Volume 3, Appleton 1864, p. 260 (online copy, p. 260, - Google ブックス)
- corollaryのページへのリンク