0は自然数か? [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
その説明は以前も試みた人がいたが通じなかった
「定義する」という行為をどうしても理解できないみたい 何だよ、5ちゃんねるって?
間違えてscに書き込んじまったじゃないか。 >>482
その定義だと、自然数にゼロは無いということになりそうだが、、、
群構造が無いからね。しかし、ある元の名称として「0」を
自然数に含めても、特に支障は無いと思う。
群の単位元は、0よりむしろ1で表すことのほうが多いから、
乗法の存在を前提とせずに「ゼロとは、アーベル群の単位元」
と定義してしまうのは、問題がありそう。 >>484
何を指して「ペアノシステム」と呼んでるのかにもよるが、
もともとのペアノ公理系は、自然数の順序構造しか表しておらず、
整数の代数構造の部分集合としての自然数を記述してない。
後者写像は、自然数の集合NからNへの任意の全単射fについて
x→(f^-1)(f(x)+1) で構わないから、後者が+1だというのは
一例としてそう解釈することもできるという話でしかない。 「なにもしない」には少なくとも数学では二種類あるのが暗黙の了解だからねえ。 >>489
今までの文脈を理解してないように見える。
>その定義だと、自然数にゼロは無いということになりそうだが、、、
無論、ペアノの公理系だけでは、自然数の中に「0」も「1」も無い。
あるのは後者関数によって定まる構造だけ。しかし、例のガイジは
「自然数に 0 は無いが、1 は確実にある」
「ここでの自然数とは、ペアノの公理系を満たす集合のこと」
と主張しているのである。つまり、ペアノの公理系だけから、
「 0 は無いけど 1 はある」と主張しているのでる。そこが問題なのである。
そういうガイジに、
「 0 も 1 も、何かしらの代数的構造が先に無ければ定義されない」
とレスしても通用しない。
ペアノシステム (X, s, f) の中に異なる2種類の演算(両方とも、ペアノシステムの構造に沿った形の
自然な「加法」と見なせる演算)を定義して、ある演算のもとでは s がゼロの役割をするのに、
別の演算のもとでは s はゼロの役割をしない、という例を見せるのが有効であると俺は考える。
そこで、>>484で
「 s は (X,β) においてゼロの役割をする」
「 s は (X,α) においてゼロの役割をしない」
「 ゆえに、s にゼロの役割を与えるか否かは、単なる流儀の違いに過ぎない」
といった言い方をした。 >>490
>もともとのペアノ公理系は、自然数の順序構造しか表しておらず、
>整数の代数構造の部分集合としての自然数を記述してない。
ほぼ同じことが>>482-486に書いてある。
ペアノシステム (X, s, f) では基本的な代数構造すら記述されてないので、
演算αや演算βによって、s がゼロの役割をしたりしなかったりする
(α,βともに、システムに沿った形の自然な「加法」の演算であるにも関わらず)。
すなわち、s がゼロの役割をするか否かは、
ペアンの公理系だけでは全く指定が無い、と述べている。 >>490
> x→(f^-1)(f(x)+1) で構わないから、後者が+1だというのは
> 一例としてそう解釈することもできるという話でしかない。
それは認識の仕方が不自然ではないか?君が言っているのは、
「代数構造も含めた整数が予め与えられているとして、その部分集合としての自然数を N とするとき、
ある後者関数 f:N → N が存在して、N の中に予め定義されている「+」と「1」を拝借しても
f(n)=n+1 とは表せない形の後者関数 f が存在する」
ということに過ぎない。一方で、一般のペアノシステム (X, s, f) を取るごとに、
そのシステムから自然に作られる>>483の演算「α」に対して
f(n) = n α s (n∈X)
が成り立つ。演算αは、(X, s, f) の中で自然に「加法」を表現していると考えられるし、
s は (X, α) の中で「1」の役割をするので、αを「 +' 」と表記し、s を「 1' 」と表記することにすれば
f(n) = n +' 1' (n∈X)
と表現できることになる。つまり、(X, s, f) を取るごとに、このシステム専用の
自然な加法の演算「 +' 」と元「 1' 」が存在して、後者関数 f は 「 +' 1' 」の形になっている。
このような意味において、後者関数は本津的に "+1" の形しか取らない。 ちなみに、>>494については、>>483の演算「β」を使ってもよい。
一般のペアノシステム (X, s, f) を取るごとに、
そのシステムから自然に作られる>>483の演算「β」に対して
f(n) = n β f(s) (n∈X)
が成り立つ。βは (X, s, f) の中で自然に「加法」を表現していると考えられるし、
s は (X, β) の中でゼロの役割をして、f(s) は (X, β) の中でイチの役割をするので、
βを「 +'' 」と表記し、s を「 0'' 」と表記し、f(s) を「 1'' 」と表記することにすれば
f(n) = n +'' 1'' (n∈X)
と表現できることになる。また、(X, +'' ) は可換な単位的半群であり、
0'' は (X, +'' ) において単位元の役割をする。
つまり、(X, s, f) を取るごとに、このシステム専用の、
>>494とは別の自然な加法の演算「 +'' 」とXの元「 0'' 」「 1'' 」が存在して、
後者関数 f は 「 +'' 1'' 」の形になり、さらに、(X, +'' ) は可換な単位的半群であり、
0'' は (X, +'' ) において単位元の役割をする。
このような意味において、後者関数は やはり本津的に "+1" の形になる。 わかると思うけど、最後の一文を訂正w
× やはり本津的に
〇 やはり本質的に その加法が自然だとか本質的だとかいう議論は、
Nが0を含むほうが自然だとか含まないほうが
自然だとかいう議論と同種のものに見える。
ペアノの後者写像を用いて加法を実装し
自然数を整数へ拡張する話は、N自体の定義とは
また別のものだろう。 >その加法が自然だとか本質的だとかいう議論は、
>Nが0を含むほうが自然だとか含まないほうが
>自然だとかいう議論と同種のものに見える。
もしも他のやり方でNに加法を定義してZの部分にできるなら、説得力もあるんだけどね… 中学では0が自然数でないと言う人と同じで、
一度教わったことを一歩ひいて眺めるのは
数学を学んだ人でも難しいのだなあ。
整数環や有理数体を構成するあたりまでコミで
「ペアノシステム」だと教わってしまうと、
後者を+1とすることが技巧ではなく
本質に見えてしまうらしい。 >>497
>その加法が自然だとか本質的だとかいう議論は、
>Nが0を含むほうが自然だとか含まないほうが
>自然だとかいう議論と同種のものに見える。
俺は、αもβも自然な加法の演算だと言っているが、N が 0 を含む方が自然とは
言ってないし、含まない方が自然とも言っていない。また、例のガイジですら、
そういう話はしていない。俺が言っているのは、
「 s は (X,β) においてゼロの役割をする」
「 s は (X,α) においてゼロの役割をしない」
「 ゆえに、s にゼロの役割を与えるか否かは、単なる流儀の違いに過ぎない」
ということである。単にこれだけが言いたいのなら、α・βが「自然である」という
言い方をする必要は無いように見えるが、そうではない。もしαとβがペアノシステムに
沿ってない荒唐無稽な演算なら、s が (X,α)や(X,β)においてゼロの役割をする・しないと
言ったところで ほとんど無意味であろう。しかし、実際には、αとβはペアノシステムに沿った
自然な演算であると考えられる。よって、s がそれらの演算でゼロの役割をする・しない
という言い方をすることには、一定の意味があると俺は考える。
だから、「α・βは自然な加法の演算だ」と書いた。そして、俺が書いたこれらのことは、
「N に 0 を含める方が自然・含めない方が自然」という話とは違うものである。
また、例のガイジが言っているのは、
「ペアノの公理系だけを用いて、0 は絶対に含まれず、1 は絶対に含まれることが結論される」
というたぐいの主張である(何をどう勘違いしたらこんな考えに至るのか理解不能)。
これもまた、「N に 0 を含める方が自然・含めない方が自然」という話とは違うものである。 >>497
>ペアノの後者写像を用いて加法を実装し
>自然数を整数へ拡張する話は、N自体の定義とは
>また別のものだろう。
加法を実装して整数へ拡張するのが目的なのではないし、
そもそも整数まで拡張していない(「半群」に抑えてある)。
半群としての加法を実装するときに、s がゼロの役割をするようにしたいのか、
そうでないようにしたいのか、という話をしている。
すると、ゼロの役割をするようにもできるし、そうでないようにもできる。
ゆえに、例のガイジが言っているような、
「ペアノの公理系だけを用いて、0 は絶対に含まれず、1 は絶対に含まれることが結論される」
という主張は間違っている、… という話の仕方をしている。
つまり、出発点はあくまでも、例のガイジの滅茶苦茶な主張である。
こんな滅茶苦茶な主張をしている輩に、
「Nの定義そのものに 0 も 1 も関係ない」
とだけ言っても通用しないと>>492で既に書いた。
別のアプローチによって、例のガイジの間違いを本人に納得させることが出来るなら、
君が、君のやり方で、書いてみればよい。 >>499
>整数環や有理数体を構成するあたりまでコミで
>「ペアノシステム」だと教わってしまうと、
そんな教わり方をしている奴は、このスレには存在しない。
ペアノシステムの定義は >>483 に書いた。
この定義に、整数環や有理数体の構成は出現しない。
ゆえに、ペアノシステムと、整数環や有理数隊の構成は無関係。
無関係であるがゆえに、ペアノの公理系だけでは、自然数に 0 も 1 も出現しない。
ゼロやイチといった概念は、代数的な演算とセットで定義される概念だからだ。
しかし、例のガイジにこの正論は通用しない。
だから俺は、>>482-486のアプローチをとった。何度も書くが、
「 s は (X,β) においてゼロの役割をする」
「 s は (X,α) においてゼロの役割をしない」
「 ゆえに、s にゼロの役割を与えるか否かは、単なる流儀の違いに過ぎない」
というアプローチである。 結局のところ「0は数として自然か?」って問いに帰結する問題のように思うが
そんな主観が入る問題はもう数学の領域じゃない
哲学で存分にやってくれれば有難い >結局のところ「0は数として自然か?」って問いに帰結する問題のように思うが
それはない
流石に国語辞典の話をしてるやつは一人もいない >>509
言いっ放しが許されないと何か困ることでもあるのかな >>512
お前の理論では自然数も整数も作れないよ。 0は自然数じゃないと思う。
数学科だと基本ペアノの公理で自然数を導入するが、其のとき求める自然数に0は含まれ無い
整数にするときに0を導入した。
其れで、整数は自然数から定義されるから自然数を説明するときに整数を使うのは問題が起こる。
高校までなら正の整数で良いと思うが。
色々やってみたが余り問題は起こら無いね。
1に対応するものを0に変えればそれで問題起こらないこと確認できるし。
序でにノイマン式の自然数の構成(集合論を用いるもの)では通常自然数は0から始める。 >>514
>数学科だと基本ペアノの公理で自然数を導入するが
そうだね。賛成。
>其のとき求める自然数に0は含まれ無い
ダウト。一部に1から始める教授もいるが、
0から始めるほうが主流。流儀というか趣味の差に過ぎないが。
>整数は自然数から定義されるから
ダウト。整数は代数上の概念で、
加減乗除が満たす公理から定義される。
それを自然数から構成して見せるのは、
面白い余興ではあるが整数にとって重要ではない。
>高校までなら正の整数で良いと思うが。
中学の教科書は、自然数が1から始まる流儀を
とっているからね。逆らう理由も特に無いし、合わせてあげたらいい。 2つの「全ての自然数の集合」が、一方の全ての元を含んでいないと、帰納法の公理に反する。 >>518
教授に聞いてみたところ、0は含んでも含まなくてもいいみたいな感じでした
0を含むと都合が悪いときは含まないで、含んだほうが都合がいいときは含むものとしてやることがあるみたいでどっちじゃないといけないみたいなことはないみたいです
自然数を使わずに整数が定義できるのはかなり興味深いんですが、なにかそれについて詳しくかかれてる参考書とか教えてもらってもいいですか? ■モンティホール問題(空箱とダイヤ)
このゲームができるのは1回だけです
ダイヤモンド1個を外からは中が見えない空箱100個の
中のどれかひとつに入れます
その中から1個の箱を選びます
98個の空箱を取り除きます
最後に残った2個の箱の中から1個の箱を選びます
ダイヤモンドが当たる確率は何%でしょうか? 0を含めるかは流儀によるってのじゃなくて
なんで片一方を別の名前にしようとか思わなかったんだ
いちいち断わらないとでめんどくせーったらありゃしないわ。 >>524
なんでそんな自由度の無い糞堅苦しい世界を望むのか
工学屋はJISだISOだ何だとよくそんなこと言ってた印象があるけど
ローカルなスコープを好む数学屋には理解できないよ >>524
正整数
非負整数
という美しい名前があったね 名称なら好きにすればいい
0を含むかどうかで分けるのであれば、それぞれ一意になるような構造を見つければいい
少なくとも今の数学では「自然数とは何か」を構造論的に考えると0を含むかどうかは本質的でないと考えられているだけで、0の有無による構造の差異が本質的に効いてくる事実を示せれば状況は変わる(可能性はある) 順序環の公理によると、やはり自然数は正でしかありえない 空間の次元や多項式の次数のように0もあり得る離散量は多い
また、連続関数をC^0級と呼ぶように0の場合を便宜上含めることも多い 公理で定義するここと、その公理を満たす対象を構成することは別物
ってだけだぞ
それぞれ抽象的定義/構成的定義と呼ぶこともある ペアノの公理は、どんな数のつぎにもこない数1が存在する、と言っている。 ペアノの公理は、どんな自然数のつぎにもこない自然数が一個存在する
とは言っているが、それが1だとは言っていない。 >>548
それは1891年の「ペアノの公理」ではないね。 つまり、「ペアノの公理」では、1から後の数に限る。 ペアノが1という記号を使ったと言っても
ペアノの公理の5条件だけではその記号1が指すものが
加法単位元か乗法単位元かあるいはそれ以外になるかは定まらない
>>120の言うように加法の定義次第
>>547は記号1と数1を混同している まあでも、自然数は1から始まると覚えておいたほうがいいよ。 >>5の方針で論じるのは諦めたのか?
とにかく1から始まるんだと繰り返すだけ? >>555 >>556
まあでも、自然数は1から始まるんだからしようがない^^ まあ自然数の公理主義的構成について理解してないの丸出しだね。 今日は、おっΠの日。
3月14日15時92分65秒 → 3月14日16時33分05秒 ペアノの公理の最初の要素を非負整数以外にすると加法と乗法について閉じていなくなるので「自然」ではないと思う
では、2以上の整数にすることで不自然になることってあるかな? ペアノの公理は自然数の順序構造しか定めていないから、
「自然」もなにも、加法も乗法も存在しないがな。
最初が0でも1でも2でも10でも−1でも、同じこと。 ペアノの公理で定義される集合の上で加法と乗法を定義して、
最初の要素が何であるかを定める、というべきだったか
それで、例えば最初の要素が-1になるように加法を定義すると
(-1)+(-1)があるから閉じていなくなる ペアノの公理だけじゃ加法も乗法も定義できないから、自然数の公理といえば普通はPAになる >>565
2スタートの場合、加法も乗法も閉じている。 >>567
>>563でも言ってる通り、非負整数スタートなら閉じている
では、2スタートにすることで何か「不自然」なことはあるだろうか? ■ このスレッドは過去ログ倉庫に格納されています