|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 整数 ： [せいすう] 【名詞】 1. integer ・ 整数論 ： [せいすうろん] 【名詞】 1. theory of numbers 2. number theory ・ 数 ： [すう, かず] 1. (n,n-suf) number 2. figure ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment ・ 基 ： [き, もとい] 【名詞】 1. basis ・ 基本 ： [きほん] 1. (n,adj-no) foundation 2. basis 3. standard ・ 本 ： [ほん, もと] 1. (n,n-suf,n-t) (1) origin 2. basis 3. foundation ・ 定理 ： [ていり] 【名詞】 1. theorem 2. proposition ・ 理 ： [り] 【名詞】 1. reason
算術の基本定理（さんじゅつのきほんていり、）または素因数分解の一意性（そいんすうぶんかいのいちいせい、）は、「全ての自然数は素数の積として（積の順番の違いを除いて）ただ一通りに表すことができる」という算術（初等整数論）における定理である〔なお、しばしば「 は素因数分解を持たない」ものとして扱われることがある。例えばハーディとライトの本 はこの立場で、定理 1: 「任意の正整数は、 を除いて、一つまたはそれ以上の素数の積に表される」 と述べている（続く定理 2: 「その分解は一意である」とあわせて「基本定理」が構成される）。一方、定義により自然数 自身は素数ではないのだけれども、これを「 個の素数の積」と見なすという規約を設けることも多い。そうすれば、この空積の規約を以って、 をも含めた全ての自然数について算術の基本定理が成り立つと述べることができる（もちろん、素数自身は「 個の素数の積」になっている）。このような規約は最大公約数の計算においてもしばしば有用である。〕。 例えば は と素因数分解され、素数の順序を無視して、これ以外の素数の積として表すことはできない。 算術の基本定理の主張が、任意の自然数について「素数の積に分解される（素因数分解の存在）」という主張と「素因数分解があれば一意に決まる（分解の一意性）」という主張の大きく 2 つの部分からなっていることに留意すべきである。なぜならば、分解の存在は比較的素直に示せるのに対して、一意性の証明はそれよりも多少高度な論証を要するからである。一意性の証明にはいくつかの方法があるが、以下の事実（ユークリッドの補題） を用いることが多い。また、素数の積としての順番を考慮しないのは、自然数が積に関して交換法則と結合法則を満たすことによる。そして通常は見易さを考慮して、素因数を最も小さいものから順に並べて、大きいものは最後にする。 この定理の整数の場合への自然な一般化は「 以外の任意の整数は、素数と単数の積として因子の順番の違いを除いて一意に表される」である（この意味において「整数に対して算術の基本定理が成立する」と言うことができる）。同様の主張はもっと一般の環などにおいても（成り立つか成り立たないかを考えることができるという意味で）意味を持つけれども、必ずしも成立はしない。 == 証明 == ユークリッドの『原論』の7巻に実質的な証明が書かれている。 完全な形での証明はガウスの『算術研究』におけるものが最初であると考えられている〔。それは現代的な言葉で書けば以下のようになる。 ;存在性 :定理の反例となる「素数の積で表せないような自然数」の存在を仮定すると、自然数の整礎性により、そのような数には最小の数（最小の反例）があるはずである。定義より や素数は既に素数の積に表されているので、最小の反例 は合成数であり、適当な自然数 , をとれば とできるが、 かつ ゆえ、 の最小性から右辺の各因子 は素数の積として表され、 も素数の積で表せることとなり、矛盾する。ゆえに、任意の自然数は素数の積に表される。∎ ;一意性 :素数 が自然数の積 を割り切るならば、 は または の少なくとも一方を割り切ることに注意しよう〔これが定理の証明において、鍵となる補題である。ガウス以前には長い間自明のことと見なされていたが、一般の代数体ではこの事実は成立しない。〕。この補題はユークリッドの補題と呼ばれる。 :''ユークリッドの補題'' ： ::実際、 が を割り切らないならば、 と は互いに素であり、ユークリッドの互除法を用いて となる整数 の存在が示される（この等式はベズーの等式と呼ばれる）。両辺に を掛ければ ::: ::が得られるが、仮定より左辺の および は で割り切れるから、 が を割り切ることが示される。 が を割り切らないときも同様にして を割り切ることが示せる。∎ :''素因数分解の一意性'' ： ::少なくとも 2 通りの「素数の積」として表すことができる自然数が存在すると仮定し、そのような自然数のうち最小のもの が ::: ::と異なる「素数の積」に表されるとする。先の注意から は の少なくともいずれか 1 つを割り切るが、 の最小性から に対してはいずれも素因数分解が一意であるので、 となるような が取れる ()。このとき、 ::: ::が異なる「素数の積」としての表示であるとすると の最小性に反する（並べ替えて一致するならば、 に 2 通りの表示を考えたことに反する）。∎ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「算術の基本定理」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Fundamental theorem of arithmetic 」があります。 スポンサード リンク
|