2024-11-07 13:12:33 (Thu) 今日: - 昨日: - 合計: - 項目:56027 現在:- メンバー数:2282
0.記号の説明 n∈Nは「nは集合Nの元」または「nは集合Nに含まれる」ことを意味し、X⊂Yは集合の包含関係、すなわち「XはYの部分集合」であることを表す。またf○gは「写像fと写像gの合成」を意味する。s(N)は「写像sによるNの像」を表す。 1.自然数の体系 まず、自然数とは何かと突き詰めていくと、次の公理を満たすものであることが分かる。 集合N、その中の一つの元0(今は便宜上集合Nにゼロを含めて考える。そうしたところで「1+1=2」の証明には何ら差し支えない)、および写像 s:N→N の組 (N,0,s) が次の公理を満たすとき、Nの元を自然数と呼ぶ: (P1) s:N→Nは単射である。 (P2) 0はs(N)に含まれない。つまり任意のn∈Nに対してs(n)≠0 (P3) S⊂Nで、0∈Sかつs(S)⊂S(すなわちn∈Sである任意のnに対してs(n)∈S)ならば、S=Nである。 これ
※文字がズレて読みにくい場合は↓こちらの画像が分かりやすいかも https://livedoor.blogimg.jp/worldfusigi/imgs/d/b/dbc611a.png 足し算の定義:0と-が存在して結合法則と交換法則を満たすような演算のことを足し算と呼ぶ 0の定義:a+0=a -の定義:-a+a=0 結合法則:a+b+c=a+(b+c) 交換法則:a+b=b+a 掛け算の定義:1が存在して結合法則と分配法則を満たすような演算のことを掛け算と呼ぶ 1の定義:a×1=a 結合法則:a×b×c=a×(b×c) 分配法則:a×(b+c)=a×b+a×c これらの定義だけを使って(-1)×(-1)=1を証明することができます (-1)×(-1) =(-1)×(-1)+0 ※0の定義 =(-1)×(-1)+(-1+1) ※-の定義 =(-1)×(-1)+(-1)+1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く