自明性 (数学)のソースを表示

{{Refimprove|date=October 2013}}

[[数学]]において、形容詞'''''自明な''''' (trivial) は[[圏論|対象]]（例えば[[群 (数学)|群]]や[[位相空間]]）であって非常に単純な構造を持つものに対して頻繁に使われる。名詞'''''自明性''''' (triviality) は通常証明や定義の単純な技術的面を言う。数学の言葉の用語の起源は中世の [[:en:Trivium (education)|trivium]] curriculum から来ている。対義語''非自明な'' (nontrivial) は明らかではないまたは証明するのが易しくないステートメントや定理を指し示すためにエンジニアや数学者によってよく使われる。

== 自明な解と非自明な解 ==
数学において、用語:「自明な」は対象（例えば群や位相空間）であって非常に単純な構造を持つものに対して頻繁に使われる。非数学者にとって、それらは他のより複雑な対象よりも視覚化したり理解したりするのが難しいことがある{{citation needed|date=June 2013}}。

次のような例がある：
*[[空集合]]： 元を全く持たない[[集合]]
*[[自明群]]： [[単位元]]しか持たない数学の[[群 (数学)|群]]
*[[自明環]]： [[シングルトン]]上定義された[[環 (数学)|環]]。
''自明な''は非常に単純な構造を持つ[[方程式]]の解を記述するためにも使うことができるが、完全なものにするために省くことはできない。これらの解は'''自明な解''' (trivial solution) と呼ばれる。例えば、[[微分方程式]]
:<math>y'=y</math>
を考えよう。ここで ''y'' = ''f''(''x'') は[[関数 (数学)|関数]]であってその[[導関数]]は ''y''&prime; である。自明な解は
:''y'' = 0、{{仮リンク|零関数|en|0 (number)#Related mathematical terms}}
であり、一方'''非自明な''' (nontrivial) 解（の 1 つ）は
:''y'' (''x'') = e<sup>''x''</sup>、[[指数関数]]
である。

境界条件 <math>f(0) = f(L) = 0</math> をつけた微分方程式 <math>f''(x)=-\lambda f(x)</math> は数学と物理において重要である。例えば量子力学において[[井戸型ポテンシャル|箱の中の粒子]]を記述したり、弦上の[[定常波]]を記述したりするときに現れる。それはいつも解 <math>f(x) = 0</math> を持つ。この解は明らかと考え"自明な"解と呼ぶ。ある場合には、他の解（[[正弦波]]）があり、"非自明な"解と呼ばれる<ref>[https://books.google.co.jp/books?id=YRT0W31HbTwC&pg=PA309&redir_esc=y&hl=ja Introduction to partial differential equations with applications, by Zachmanoglou and Thoe, p309]</ref>。

同様に、数学者は[[フェルマーの最終定理]]を次のように主張するものとしてしばしば記述する。''n'' が 2 よりも大きいとき、方程式 <math>a^n + b^n = c^n</math> には非自明な整数解が存在しない。明らかに、方程式の解は''存在する''。例えば、<math>a=b=c=0</math> は任意の ''n'' に対して解であるが、そのような解はすべて明らかであり興味がなく、したがって「自明」である。

==数学的な理由における自明性==
''自明な''はまた証明の任意の容易な{{仮リンク|場合分けによる証明|label=場合|en|Proof by exhaustion}}のことも言うだろう。これは完全性のために無視できない。例えば、[[数学的帰納法]]による証明は2つのパートからなる。''n'' = 0 あるいは ''n'' = 1 のような特定の最初の値に対して定理が正しいことを示す "base case" と、それから ''n'' のある値に対して定理が正しいならば値 ''n'' + 1 に対してもまた正しいことを証明する inductive step である。base case が難しいが inductive step が自明な場合もあるが、base case はしばしば自明でありそのようなものとして確認される。同様に、ある性質がある集合のすべての元によって持たれていると証明したいかもしれない。証明の主要な部分は空でない集合の場合を考え、元を詳細に検査するであろう。集合が空の場合には、性質は自明にすべての元によって持たれている、なぜならば元がないからである。（[[空虚な真]]も参照。）

数学コミュニティにおけるよくあるジョークは、「自明な」(trivial) は「証明された」 (proved) と同義であると言うことである — つまり、任意の定理は一度正しいとわかれば「自明である」と考えることができる。別のジョークは定理について議論している 2 人の数学者に関係する。最初の数学者は定理が「自明である」と言う。もう1人の説明の要求に返事として彼は20分間解説を続ける。説明の終わりに、二番目の数学者は定理は自明であることに賛同する。これらのジョークは自明性の判断の主観性を指摘する。ジョークはまた最初の数学者が定理は自明だと言うが彼自身はそれを証明できないときにも適用する。しばしば、ジョークとして、定理はこのとき「直感的に明らか」(intuitively obvious) と呼ばれる。[[微分積分学]]の経験を積んだ人は例えば
:<math>\int_0^1 x^2\, dx = \frac{1}{3}</math> 

という主張を自明と考えるだろう。だが微分積分学の初学者にとってこれは全く明らかではないだろう。

自明性は文脈にも依存する。[[関数解析]]における証明はおそらく、ある数が与えられると、より大きい数の存在を自明に仮定するだろう。だが[[初等整数論]]において自然数についての基本的な結果を証明するとき、証明は任意の自然数は次の数を持つというリマーク（そしてこれはそれ自身において証明されるあるいは[[公理]]として取られるべきである、[[ペアノの公理]]参照）にかなり依るだろう。

=== 自明な証明 ===
いくつかのテキストでは、''自明な証明''は ''P''→''Q'' において{{仮リンク|後件|en|consequent}}すなわち ''Q'' がつねに真であるような [[:en:Material implication (rule of inference)|material implication]] を含むステートメントを言う<ref name="Chartrand">{{cite book|last=Zhang|first=Gary Chartrand, Albert D. Polimeni, Ping|title=Mathematical proofs : a transition to advanced mathematics|year=2008|publisher=Pearson/Addison Wesley|location=Boston|isbn=978-0-3-2139053-0|page=68|edition=2nd ed.}}</ref>。ここで、証明は単純に ''Q'' がつねに真であることに注意することから従う、なぜならば implication はこのとき{{仮リンク|前件|en|antecedent (logic)}} ''P'' の真理値に関わらず真であるからである<ref name="Chartrand" />。

関連した概念は[[空虚な真]]である。これは前件 ''P'' が ''P''→''Q'' においてつねに偽である場合である<ref name="Chartrand" />。ここで、implication は後件 ''Q'' の真理値に関わらず常に真である<ref name="Chartrand" />。

== 例 ==
*[[数学]]において、整数 ''N'' の[[約数]]を見つけることはしばしば重要である。任意の数 ''N'' は 4 つの明らかな約数 ±1 と ±''N'' をもつ。これらは「自明な約数」と呼ばれる。任意の他の約数は、存在すれば、「非自明」と呼ばれる<ref>[https://books.google.co.jp/books?id=lIvPz7k41SEC&pg=PA250&redir_esc=y&hl=ja Number theory for computing, by Song Y. Yan, p250]</ref>。

*[[行列]]方程式 AX=0、ただし A は固定された行列で、X は未知のベクトルで、0 はゼロベクトルである、は明らかな解 X=0 をもつ。これは「自明な解」と呼ばれる。それが他の解 X≠0 を持てば、「非自明」と呼ばれる<ref>[https://books.google.co.jp/books?id=KWAqz3m2xYUC&pg=PA502&redir_esc=y&hl=ja Mathematics for engineers and scientists, by Alan Jeffrey, p502]</ref>。

*[[群論]]の数学において、ただ 1 つの元だけをもつ非常に単純な群が存在する。これはしばしば「自明な群」と呼ばれる。すべての他の群は、より複雑であり、「非自明」と呼ばれる。

*[[グラフ理論]]において自明なグラフはたった 1 つの頂点を持ち辺を全く持たないグラフである。

*{{仮リンク|データベース理論|en|Database theory}}は <math> X \to Y </math> と書かれる[[関数従属性]]と呼ばれる概念を持つ。''Y'' が ''X'' の[[部分集合]]であれば従属 <math> X \to Y </math> が正しいことは明らかなので、従属のこのタイプは「自明」と呼ばれる。すべての他の従属は、より自明でなく、「非自明」と呼ばれる。

== 関連項目 ==
* [[退化 (数学)|退化]] ([[:en:Degeneracy (mathematics)|Degeneracy]])
* [[始対象と終対象]]
* [[病的な (数学)|病的な]] ([[:en:Pathological (mathematics)|Pathological]])
* [[:en:Trivialism|Trivialism]]

== 脚注 ==
{{脚注ヘルプ}}
===注釈===
{{Notelist}}
===出典===
{{Reflist}}

== 外部リンク ==
{{wiktionary|trivial}}
*[http://mathworld.wolfram.com/Trivial.html Trivial entry at MathWorld]

{{DEFAULTSORT:しめいせい (すうかく)}}
[[Category:数学の慣用表現]]
[[Category:数学に関する記事]]