[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
536
:
現代数学の系譜 雑談 ◆yH25M02vWFhP
01/23(木)13:44
ID:OWxAi42s(6/12)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
536: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/01/23(木) 13:44:46.03 ID:OWxAi42s つづき ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 順序数(英: ordinal number)とは、整列集合同士の“長さ”を比較するために、自然数[1]を拡張させた概念である。 定義 整列集合 (A, <) に対して、A を定義域とする写像 GA, < を超限帰納法によって GA,< (a)={GA,<(x)∣x<a} と定義したとき、GA, < の値域 ran(GA, <) を (A, <) の順序数といい、 これを ord(A, <) で表す。 ある整列集合の順序数であるような集合を順序数と呼ぶ[2]。 集合の濃度と基数 →詳細は「濃度 (数学)」を参照 集合 A から集合 B への全単射が存在するとき、A と B は同数 (equinumerous) であるといい、 A ≈ B で表す。 選択公理を仮定すれば、整列定理により任意の集合 A に対して A と同数であるような順序数が存在することが言える。 そこで、集合 A と同数であるような順序数の中で最小のものを A の濃度 (cardinality of A) といい、 これを |A| あるいは card(A) で表す。 ある集合 A に対して α = |A| である順序数 α を基数 (cardinal number) と呼ぶ。集合の濃度に関して次が成り立つ: |A| = |B| ⇔ A ≈ B A が有限集合のとき、|A| は A の要素の個数に等しい。 基数に対しても、上で定義した順序数の演算とは別に和、積、冪を定義することができる。 www.math.is.tohoku.ac.jp/~obata/student/subject/ 東北大 尾畑研 www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_11.pdf TAIKEI-BOOK :2019/1/1(22:21) 東北大 尾畑研 第11章選択公理 定理11.7(可算和定理) 略す 次の主張は定理11.7の特別な場合であり単純な仮定に置き換わっているが選択公理なしでは証明できない (注:ja.wikipedia 可算選択公理で、ZF に ACωを付け加えた公理系では、可算集合の可算和が可算である が証明できるとある) つづく http://rio2016.5ch.net/test/read.cgi/math/1735693028/536
つづき 順序数英 とは整列集合同士の長さを比較するために自然数を拡張させた概念である 定義 整列集合 に対して を定義域とする写像 を超限帰納法によって と定義したとき の値域 を の順序数といい これを で表す ある整列集合の順序数であるような集合を順序数と呼ぶ 集合の濃度と基数 詳細は濃度 数学を参照 集合 から集合 への全単射が存在するとき と は同数 であるといい で表す 選択公理を仮定すれば整列定理により任意の集合 に対して と同数であるような順序数が存在することが言える そこで集合 と同数であるような順序数の中で最小のものを の濃度 といい これを あるいは で表す ある集合 に対して である順序数 を基数 と呼ぶ集合の濃度に関して次が成り立つ が有限集合のとき は の要素の個数に等しい 基数に対しても上で定義した順序数の演算とは別に和積を定義することができる 東北大 尾畑研 東北大 尾畑研 第章選択公理 定理可算和定理 略す 次の主張は定理の特別な場合であり単純な仮定に置き換わっているが選択公理なしでは証明できない 注 可算選択公理で に を付け加えた公理系では可算集合の可算和が可算である が証明できるとある つづく
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 466 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.053s