トップページ⇒math
89コメント31KB

ＺＦＣからＮ、Ｚ、Ｑ、Ｒ、Ｃ

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さんNGNG
やってくれた人に　かにかまプレゼント
0002１３２人目の素数さんNGNG
自分でやれ。
0003（・人ζもみもみ ◆Momi/T3ouE NGNG
駄スレ保守
0004１３２人目の素数さんNGNG
見たいな。
0005１３２人目の素数さんNGNG
宿題は自分でやりなさい>>1
0006１３２人目の素数さんNGNG
>>5
宿題だとしたら>>1は何年生だと思うんだ？
0007supermathmania ◆ViEu89Okng NGNG
ZFCをやるのはおそらく大学4年以降だろう。
0は空集合で、1={0},2={0,1},3={0,1,2},とやって、無限公理を使ってNを作る。
Zは自然数2つの順序対を使って定義できる。
Qは、Zに通常の加法と乗法を入れて、それが整域になることを示し、商体を作れば良い。
Rは有理コーシー列で作るか、Qのデデキントカットで作る。
CはR[x]/(x^2+1)によって作るか、R^2に複素数の構造を入れて作る。
詳細なドキュメントを作った人には、[>1]がかにかま千円分をプレゼントします。
0008１３２人目の素数さんNGNG
かにかま嫌いなんだよねぇ・・・
0009１３２人目の素数さんNGNG
何年生かどうかって話だと、教養で公理的集合論をやるところはある。
でもって、教官がネタでレポート問題に紛れ込ませた可能性もある。
0010１３２人目の素数さんNGNG
>>9
教養じゃ無茶だろう。
>>7の方式で順次構成していくにしても
NがNたるゆえん、即ちいわばペアノの公理を「証明」
したりしなくちゃいかんし、可換環だの整域だのの公理を知ってて
完備性を知らなくちゃできん。
0011１３２人目の素数さんNGNG
ZFCをやったのは大学３年後半（うちでは１年から専門科目が多い）
巨大基数にようやくはいったけど、もし大学院入ってからＺＦＣを
はじめたら、厳しかったかもしれん。
ちなみに、今は理論経済屋です。
0012１３２人目の素数さんNGNG
宿題じゃないよ、個人的な探求だよ。
これ出来るとかなりパワーアップできるような気がする。
だって「数」っていうカテゴリが丸ごと「集合」に飲み込まれちゃうんだから　びっくり、
>>7みた感じだとまだ乗り越えなきゃいけない壁がいくつかありそう・・・
0013KingMathematician ◆5lHaaEvFNc NGNG
Re:>>12
R→C,N→Zはあまり難しくない。
おそらく一番難しいのはQ→Rだろうと思う。
ここではZFC→Nをやろうと思う。
空集合公理により、空集合が存在する。また、外延性公理より、空集合の一意性もいえる。
空集合を0で表すことにする。(大抵は空集合記号で表すが、ここでは数字の零で表す。)
冪集合公理によると、{0}も集合となる。1={0}と表す。
冪集合公理より{1}も集合となる。和集合公理より∪{1,{1}}も集合になる。これを2と表す。
冪集合公理より{2}も集合であり、和集合公理によって、∪{2,{2}}も集合である。これを3と表す。
同様に、4=∪{3,{3}},5=∪{4,{4}},6=∪{5,{5}}等も定義でき、同様の方法でnが定義されたとき、nの後者を∪{n,{n}}で定義できる。
無限公理によって、0,1,2,3,4,…を全て要素にもつ集合の存在が保証される。
しかし、これだけでは余分な元を含む可能性が出る。
そこで分出公理を使って、0または∪{n,{n}}を何回か繰り返すことによって得られる集合だけを要素に持つ集合を作る。これが、自然数の集合Nである。Nの元を自然数と呼ぶことにする。
後のために、Nの上に加法と乗法も定義しておく。
Nの上の乗法は、Nの元x,yに対して、x*yを、xとyの直積と一対一対応がとれる自然数のこととして定義する。
Nの上の加法は、Nの元x,yに対して、x+yを、xとyの「直和」と一対一対応がとれる自然数のこととして定義する。
(2つの集合x,yの直和は、xの各元uを{{{2}},u}に置き換えて、yの各元vを{{{3}},v}に置き換えて、それらの和集合をとればよい。直和の定義は、この方法にこだわることはない。)
これで、Nの上に加法と乗法が定義された。
0014１３２人目の素数さんNGNG
>>13
つっこみどころ満載。
レポート(100 点満点)だったら 大甘で 10 点、ちょっと辛めで -50 点。
セミナーでの発表だったら もう一度のチャンスを与えてあげようかどうか迷う。
0015１３２人目の素数さんNGNG
＞ＺＦＣから･･･

Ｆは要らないだろ。
0016１３２人目の素数さんNGNG
Q→Rって極大イデアルで割るだけでできるじゃん
001713以外のバカNGNG
>>14
例えばどのへんにツッコミどころがあるの?
漏れには分からんのですが。
0018１３２人目の素数さんNGNG
>>14ではないけどとりあえず気になったとこを書いてみる

>冪集合公理より{1}も集合となる
ここはどうやってるのかわからない。

>和集合公理より∪{1,{1}}も集合になる
{1,{1}}が集合になることにも言及すべきでは。

あと、以下の三箇所は自明ではないと思う。
>無限公理によって、0,1,2,3,4,…を全て要素にもつ集合の存在が保証される。

>そこで分出公理を使って、0または∪{n,{n}}を何回か繰り返すことによって得られる集合だけを要素に持つ集合を作る。

>x*yを、xとyの直積と一対一対応がとれる自然数のこととして定義する
>x+yを、xとyの「直和」と一対一対応がとれる自然数のこととして定義する
0019KingMathematician ◆5lHaaEvFNc NGNG
Re:>>14 それでは[>>1]の課題を2000字以内でやってほしい。
Re:>>15 Cも要らないが、[>>1]がZFCと云っている。
Re:>>16 どの代数系の極大イデアルなのか、それを明確にしてほしい。
Re:>>18 a,bが集合のとき、対公理より{a,b}も集合になる。{1}が集合であることは、分出公理もいるか。その他はノーコメント。
0020１３２人目の素数さんNGNG
＞Cも要らないが

そうだったな。

＞[>>1]がZFCと云っている。

1の無知に付き合うことはない。
002116NGNG
>>19
有理Cauchy列のなす環。
0に収束する列全体が極大イデアル。
002217NGNG
とりあえず、自分がバカなのは再確認できた。
0023１３２人目の素数さんNGNG
>>19
{1}={1,1}だから分出公理はいらないと思うが
002418=23NGNG
つまり1が集合で{1,1}={1}だから{1}も集合。
これですむから冪集合公理をどこで使ったかが分からないと書いた。

でも考えてみれば
{1}={x∈P(1)|x=1}
と書けば冪集合公理が使えるから間違いではないか。
0025１３２人目の素数さんNGNG
>>20
＞1の無知に付き合うことはない。

だったらはなからスレッドに書き込むなよ。
0026１３２人目の素数さんNGNG
>>25
激しくどう居。
0027１３２人目の素数さんNGNG
これ以降、スレのテーマを、Zermeloの公理系からＮ、Ｚ、Ｑ、Ｒ、Ｃに変更します。

ここで、議論をできる限り形式的なものにするために、
Zermeloを以下の形にとりあえず限定します。

∀ｘ（ｘ∈ａ≡ｘ∈ｂ）→ａ＝ｂ．
∃ｘ∀ｙ（ｙ∈ｘ≡ｙ＝ａ∨ｙ＝ｂ）．
∃ｘ∀ｙ（ｙ∈ｘ≡∃ｚ∈ａ（ｙ∈ｚ））．
∃ｘ∀ｙ（ｙ∈ｘ≡∀ｚ∈ｙ（ｚ∈ａ））．
∀ｘ（¬ｘ∈０）．
∃ｘ（０∈ｘ∧∀ｙ∈ｘ（ｙ’∈ｘ））．
∃ｘ∀ｙ（ｙ∈ｘ≡ｙ∈ａ∧Ａ（ｙ））．
∃ｘＡ（ｘ）→∃ｘ（Ａ（ｘ）∧∀ｙ∈ｘ（¬Ａ（ｘ）））．

公理の名前を上から、外延性公理、対の公理、和集合公理、冪集合公理、空集合公理、
無限公理、分出公理、正則性公理とする。

ただし
ａ＝ｂは∀ｘ（ｘ∈ａ≡ｘ∈ｂ）の略
Ａ≡Ｂは（Ａ→Ｂ）∧（Ｂ→Ａ）の略
ａ’はａ∪｛ａ、ａ｝を表す
ａ∪ｂは∪｛ａ、ｂ｝を表す
｛ａ、ｂ｝は対の公理で存在を主張されている、ａとｂだけを元に持つ集合を表す。
0028１３２人目の素数さんNGNG
最初の言語は、（たぶん）
論理記号：¬、∨、∧、→、∀、∃
自由変数：ａ、ｂ、ｃ、・・・
束縛変数：ｘ、ｙ、ｚ、・・・
特定の集合：０、
関数記号：
述語記号：∈、

で、

>>13によって
特定の集合：Ｎ、１、２、３、４、５、６、・・・
関数記号：＊、＋
などが導入された。（のかな？

このスレの目標はこの言語を拡張して、過程はともかく最終的に、（Ｎ）、Ｚ、Ｑ、Ｒ、Ｃを導入すること。（で、いいのか・・・
0029KingMathematician ◆5lHaaEvFNc NGNG
Re:>>28 順序の導入もしよう。
0030１３２人目の素数さんNGNG
45
0031１３２人目の素数さん NGNG
KingMathematicianキモイ。
0032１３２人目の素数さんNGNG
Kingがキモイかは置いとくとして、順序は導入しないとRが作れないだろう。
0033１３２人目の素数さんNGNG
ところで､本当に置換公理図式抜きで実数体が作れるの？
0034１３２人目の素数さんNGNG
>>27-28
関数記号に'が抜けてるよ
003518とかNGNG
>>13ではすっきりしないので勝手に補足

>0または∪{n,{n}}を何回か繰り返すことによって得られる集合だけを要素に持つ集合を作る
とりあえずここから。無限公理により
(*) ０∈U∧∀ｙ∈U（ｙ’∈U）
を満たす集合Uが存在するので、冪集合公理と分出公理により
V={ u∈P(U)| uは(*)を満たす}
も集合である。Vの共通部分
∩V:={ x∈U| ∀u∈V(x∈u)}
をNと定義する。

0でもy'の形でもないxがNに入っていたとすると、
N~:={ y∈N| ¬x∈y ∧ x≠y}
はNより真に小さく、0∈N~である。
Nの作り方からNの真部分集合は(*)を満たさないので、
∃y∈N~(¬y'∈N~) i.e. ∃y∈N~(x∈y' ∨ x=y' )
が成立しなければならない。そこでこのようなyをとる。
xはy'の形でないと仮定したから、x∈y'でなければならない。
y'={y,{y}}であったから、このことは
x∈y ∨ x=y
を意味する。ところがこれは¬y∈N~を意味する。これは矛盾である。よって
∀y∈N(y=0 ∨ ∃x∈N(y=x'))
であることが示された。

これで大丈夫かな？後半意外に面倒だった。
0036１３２人目の素数さんNGNG
じゃあＮの定義は>>35
Ｎの加法乗法は>>13

で、Ｎの関係≦を　ａ≦ｂ≡ａ∈ｂ　と定義し、順序と呼ぶ。そのいろいろな性質は>>40
0037１３２人目の素数さんNGNG
あ、やばい、ａ≦ｂ≡（ａ∈ｂ∨ａ＝ｂ）　に訂正。
0038１３２人目の素数さんNGNG
27書いた本人ですが、実は言語の拡張とかがよくわかってないんですが、
定義文と公理って言うのはどう違うんですかね？
竹内外史の本読んでたら、
「０が言語に入っているので、∀ｘ（¬ｘ∈０）が公理になる」って書いてあるんですが、
普通の本では空集合公理は「∃ｘ∀ｙ（¬ｙ∈ｘ）」として、これを満たす集合を０（もしくはφ）とする
っていう風にやりますよね。この２つの違いは･･･
003918とかNGNG
>>13の演算のwell-definednessはよいのでしょうか。
原始帰納を定義すればもっと簡単にできるような気もするが・・・

あと>>27の
>∃ｘＡ（ｘ）→∃ｘ（Ａ（ｘ）∧∀ｙ∈ｘ（¬Ａ（ｘ）））．
ここって最後のところ¬A(y)でない？
004014NGNG
>>39
> >>13の演算のwell-definednessはよいのでしょうか。
>>13 ではそのあたりを真面目に考えているとは思えない。
濃度の和と積ならばあの定義でよいのだけどね。

正則性公理は、無限公理があの形ならばいらない。
0041supermathmania ◆ViEu89Okng NGNG
Zの作り方:
簡単にいうと、
2=(2,0)=(3,1)=…
1=(1,0)=(2,1)=…
0=(0,0)=(1,1)=…
-1=(0,1)=(1,2)=…
-2=(0,2)=(1,3)=…
のような感じで構成する。
0042１３２人目の素数さんNGNG
('A`)馬鹿が来ちゃった･･･
0043１３２人目の素数さんNGNG
本当に知ってるなら煽るだけでなく少しはちゃんと教えて欲しい
004418とかNGNG
とりあえず原始帰納でも定義しようかと思ったが、
やり始めたらいろいろ準備が必要なことが分かったので写像の定義。

集合AとBの直積とは、
{p∈P(A∪B)| ∃a∈A ∃b∈B (p={ {a}, {a,b} }) }.
{ {a}, {a,b} }を(a,b)と書く。

fが集合AからBへの写像であるとは、fが
f⊂A×B
∀a∈A ( ∃!b∈B ( (a,b)∈f))
を満たすこと。

>>38
「空集合公理により存在を保証されている集合を0と書く」というのは、
定数記号0と公理∀x(¬x∈0)を追加したと考えられるんでは。
004518とかNGNG
念のため補足。
∃!x P(x) は、∃x(P(x)∧∀y(P(y)→x=y))の略記。
0046１３２人目の素数さんNGNG
>>42
君がくるとスレッドがかれるから、もうこなくて良いよ。
っていうか、もうインターネット上に君の居場所はないんだよ。
004714NGNG
自然数の構成は、Dedekind による次の定理に基づいている。

集合 U と全射ではない単射 f: U -> U が与えられれば、
N⊂U, 0∈U, を適切に定義することで、(N,0,f|N) が
ペアノの公理を満たすようにできる。

公理的集合論で、Dedekind の証明の通りに N を構成すると、>>35 の構成になるが、
その前に写像 a'=a∪{a} が全射でない単射であることを示さねばならない。

a∈a' なので 0≠a' であることより全射でないことがわかる。
単射であることは、正則性公理の下では容易。
正則性公理がない場合は、' が単射でない可能性があるので工夫が必要。
この場合、0 が well-founded set であることと、well-founded set 全体が ' で
閉じていることより U として well-founded set が取れる。
well-founded set 上で ' は単射なので、U でも単射になっている。
004814NGNG
>>35 の後半の普通の証明。

U={y∈N | y=0 ∨∃x∈N(y=x')} とおく、
U は (*) の条件を満たすので N⊂U. (数学的帰納法)
すなわち、∀y∈N(y=0 ∨∃x∈N(y=x')).

' が具体的にどのように定義されているのかは、もう考えなくてよい。
004918とかNGNG
なるほど、そうやれば簡単だったのか。
数学的帰納法がほとんど自明であるということにすら気付いてなかった。
0050１３２人目の素数さんNGNG
>>46
俺が誰か知っての発言か？
0051１３２人目の素数さんNGNG
名無し
0052KingMathematician ◆5lHaaEvFNc NGNG
で、[>>50]は誰なんだ？
それと[>>50]に[>>1]の問題をやってもらうことにしよう。
0053１３２人目の素数さんNGNG
>>52
かにかまくれるのか？
0054KingMathematician ◆5lHaaEvFNc NGNG
Re:>>53 [>>1]がそう云っているから[>>1]がかにかまくれるのは間違いない。

Rから四元数体というのも付け加えてみよう。(これは代数の話になるか？)
ちなみにQを含む可換体では、Cが最大らしい。(一体どうやってそれを証明するのか？)
0055１３２人目の素数さんNGNG
>>54
C(X) は？
0056１３２人目の素数さんNGNG
１です。
長考中のところ申し訳ありませんが、
そろそろ時間が迫ってまいりましたので、
残念ながら、今回のかにかま当選者は　ナ　シ　！

これ以降は数体系雑談スレとしてお楽しみください
0057１３２人目の素数さんNGNG
いやだいやだいやだかにかまないとやだやだやだかにかまーかにかまー
てめーぶっころすぞいちこのやろうかにかまくれるっていったじゃないか
じかんてなんのじかんだよてめーふざけんじゃねーぞぶっころすぞ
かにかまをくれないとだめぜったいだめおまえだめだめかにかまよこせー
かーにーかーまーかーにーかーまーぜったいかにかまぜったいかにかま
0058KingMathematician ◆5lHaaEvFNc NGNG
Re:>>56
ちょっと待て、[>>7]を読んでないのか？
0059１３２人目の素数さんNGNG
以下かにかまについて語るスレッドとなるますた。
0060１３２人目の素数さんNGNG
ビーフジャーキーだったらやる気がでるのにな。
0061１３２人目の素数さんNGNG
そして後には糞スレが残った、か。
H.B.Enderton"Elements of Set Theory"に多分全部載ってると
思うのだが。読んだことないので確証はないが。
0062１３２人目の素数さんNGNG
チョップ
0063１３２人目の素数さんNGNG
このスレが流行らない時点で数学板はＢ級
0064１３２人目の素数さんNGNG
>>63
このスレがはやらない時点で数学板はB級って思ってるやつが住人にいる時点で数学板はC級とかいわれるかもよ
0065１３２人目の素数さんNGNG
>>63
なんか話したい事でもあるんかｺﾞﾙｧ
0066１３２人目の素数さんNGNG
184
0067１３２人目の素数さんNGNG
このスレがはやらない時点で数学板はB級
って思ってるやつが住人にいる時点で数学板はC級とかいわれるかもよ
って思ってるやつが住人にいる時点で数学板はD級とかいわれるかもよ
0068１３２人目の素数さんNGNG
>>67
C^ω級
006967NGNG
>>68
滑らか！
0070１３２人目の素数さんNGNG
素朴な疑問です。自然数の公理系はペアノのそれでいいでしょうし、実数のは有理数体の公理に上限の付けりゃあいいでしょうが、
その有理数体の公理って何でしょ？最小の順序体って形でいいんでしょうか？あと整数は？
最小の順序整域ってかんじ？有限小数なんかも、同様なのは作れるんでしょうか？あと、実
数体を前提としない、複素数体の公理系は？

っていうのは、なんか数を作ろうって本をみると、満たして欲しい公理系も書かずに
ただモデルを作ってるのが多い気がしたんで。公理系があって、初めてそのためのモデルを
作ろうって話になるべきじゃないかと。どうなんでしょう？
0071１３２人目の素数さんNGNG
仰るとおりだけど、ちょっと順番が違うんじゃない？
飽くまでNが最初にあってそれからZ、Qと創っていく、
という道筋が普通で、創ったものからある抽象的な性質を
抜き出して、定義をたてると、たまたまそれが最小の〜
になっている、というだけだと思うんだけど。

あと、ペアノの公理系で証明できない真な命題はいくらでも
あるし（無限個）ペアノの公理系をみたす非可算なモデルだって
あるんだが。ペアノの公理系が満たされたってそこまで安心
できるわけではない。
0072１３２人目の素数さんNGNG
実数も同じだね。基礎となる集合論が完全ではないから。
余り厳密に言うといくらでもぼろが出てくる。
ただ、実閉体、代数閉体でいいなら公理を完全に述べることが
出来るらしいし、それを実数、複素数の理論は完全である、
なんて言ったりもするけど、それはあくまで指数函数の構造も
入らない、ただの実数や複素数っぽい構造な訳で。
0073１３２人目の素数さんNGNG
>>71
感覚的には同意できるが、公理的立場からいけば、やはりおかしいでしょう。
整数環は自然数が無くても公理的に定義できなければならないわけで。たまたま
埋め込めるからと言って、自然数を前提にしなければ整数環が定義できないのは
おかしいと思う。
0074１３２人目の素数さんNGNG
確かに漏れも気持ちの悪い感じはするんだけどね。
議論の前提がはっきりしないから、色々と不便なことが起きる。
でも例えば集合論の中に埋め込まないで実数を定義するのは
難しいような気がするんだけど……
二階算術にあまり詳しくないから確かなことは言えないけど……
0075１３２人目の素数さんNGNG
>>73
自然数全体 N は有理整数環 Z や有理数体 Q の中で first
order definable なので、Z や Q を定義しようとすれば、
実質的に数学的帰納法が必要になります。
0076１３２人目の素数さんNGNG
>>73
かくかくしかじかの性質を満たすものを整数環というと定義しても良いわけだが、
それが集合論の中に存在するかどうかが問題となる。
感覚的には明らかだが、実際に存在を示すなら自然数から作る。
それ以外の方法があるかどうかは知らない。

ちなみに、カテゴリーを知っている人に言うと、(Z,+)は
アーベル群のカテゴリーの始対象になるということが本質的。
0077１３２人目の素数さんNGNG
>>それが集合論の中に存在するかどうかが問題

そうか？（数学⊂集合論）でない以上極端だと思うが？
まあナンセンスでない理論なら集合論の中にモデルは
存在するんだろうけど。それに、
（ZFCが無矛盾⇒自然数論が無矛盾）の証明にどれほどの
価値があるんだ？ZFCが自然数論より強い理論である、という
ごく当たり前のことを示しているだけじゃないの？
ZFCの無矛盾性の証明なんてできっこないんだし。
0078１３２人目の素数さんNGNG
>>76
> (Z,+)はアーベル群のカテゴリーの始対象になる
ちょっと恥づかしい間違いかと。
007976NGNG
>>78
間違えた。環のカテゴリーの始対象だ。
正しくは、「アーベル群のカテゴリーにおけるテンソル積の単位元になることが本質的」
0080１３２人目の素数さんNGNG
282
0081１３２人目の素数さんNGNG
>>77
ZFCは無矛盾
0082１３２人目の素数さんNGNG
>>77
はアホ
知ったかぶる前に勉強しろ
0083１３２人目の素数さんNGNG
638
0084１３２人目の素数さんNGNG
保守
0085１３２人目の素数さんNGNG
>>82
勉強したら知ったかぶりじゃなくなる罠。
0086１３２人目の素数さんNGNG
たとえば、πを集合の記号( φ、{}、,のみ)で表現したらどうなるんですか？
0087１３２人目の素数さんNGNG
論理記号は使わないと無理かと思われ・・・
自然数はΦ、｛Φ｝、・・・
整数はＮ×Ｎ／〜
有理数はＺ×Ｚ／〜
実数はＱの基本列の類
だから、各段階で無限個の元を含んでいると思われるので、・・・
このうちＱの基本列で普通πといわれてるものに収束
するものを表現すればそれがπの集合的な表現になるのかな･･･
でも解析の本見るとπは積分で定義されてるから・・・
（ほんとに出来んのかコレ！とか言いたくなる・・・
（ていうかそんなのどの本でも見たことないゾ、ｵｲと言いたい・・・
0088１３２人目の素数さんNGNG
P（N×Q）の中にπに収束するものが、たくさん、、、さあ掘り出そう
0089KingMathematician ◆5lHaaEvFNc NGNG
Re:>>87
4-4/3+4/5-4/7+…というのがある。
全てのリーマン積分を定義するのなら、
実数の完備性(上に有界の集合は、上限が存在する。)を利用するといいだろう。
■ このスレッドは過去ログ倉庫に格納されています