Web Analytics

See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
基数 - Wikipedia

基数

出典: フリー百科事典『ウィキペディア(Wikipedia)』

あなた宛の新しいメッセージが届いています(差分)。
保護:このページ「基数」は、荒らし編集合戦などを理由として、保護の方針に基づき編集保護されているか、あるいは保護依頼中です。現在の記述内容が正しいとは限りません。保護されている場合はノートで合意を形成した後に、保護の解除を依頼してください。
  1. 基数:0から9までの整数。
  2. 桁の基数(radix,base number):数値を表現する際、何倍毎に桁を繰り上げるかを示す自然数。例えば十進数の基数は二進数の基数はである。N進数を参照。
  3. 集合基数(cardinal number):個数を拡張した概念。本稿で詳述する。
  4. 単位基数。単位において、基礎となる数値。平面立体時間三十十二など。広義では、基礎となる数値の倍数も含めて云う。
  5. 累乗基数。n乗に対して、その根になっている数。例えば、六十四の基数は平方根)、立方根)、素因数分解すると二の六乗)の三通りである。

数学でいう基数(きすう、cardinal number)とは、素朴に言うと、「物の数」を表す概念であり、例えば、一つのリンゴ、十個のミカンというときの一や十は基数である。この反対の概念として、順序数というものがある。第一、第二という時の一、二がそうであり、例えば英語では“one”と“first”の違いが基数と順序数の違いである。

有限個の話であれば、例えば

  • 一個と二個は違う
  • 一個よりも二個の方が多い
  • 「リンゴが一個」でも「みかんが一個」でも、一個は一個である

ということを考えることができるが、このような議論を無限個のものに対して行うためには、 いわゆる個数の概念では不足であり、それを拡張した濃度あるいは基数という概念が必要となる。その結論として得られる「同じ無限でも、『大きい無限』と『小さい無限』がある」という 話は興味深い。

有限集合の基数はその集合に含まれる元の個数と同一視してよい。

目次

定義

集合Aから集合Bへの全単射があるとき、AとBは基数濃度、cardinality, power, potency)が等しいと言われる。

Aの基数(cardinal number)とは、Aと基数(cardinality)が等しい順序数のうち最も小さなものというふうにして普通は定義される。しかし、この定義では全ての集合が基数を持つことを言うためには選択公理を必要とする。(cardinalityを濃度と呼び、cardinal numberを基数と呼ぶのはなかなかよい知恵だと思われる。しかし区別することにはあまり意味がないかも知れない)

選択公理を仮定せず、正則性公理を使って濃度を定義できることも知られている。 その方法は、発見者の名から「スコットのトリック」と呼ばれる。

次に、基数に大小関係を定義したい。今、Aの基数を|A|と表すことにする。AからBに単射があるとき、|A| ≤ |B| と定義する。|A| ≤ |B| かつ|B| ≤ |A| ならば|A| = |B| とする。これが上の定義と一致するということを保証するのが、(カントール=)ベルンシュタインの定理である。

ベルンシュタインの定理

集合Aから集合Bへの単射があり、BからAへも単射があれば、AからBへの全単射がある。

言っていることは、直観的には当たり前であるが、証明をするとなると、それほど簡単ではない。

可算・連続体

可算濃度とは自然数の濃度である。通常、\aleph_0 あるいは \mathfrak{a} と表記される。

定義より自然数との間に1 対 1 の対応を付けることができ、これによって 1, 2, 3, ... と順番に数えていくことができるため「可算」と言う。自然数、整数偶数奇数有理数はいずれも可算個である。

連続体濃度とは実数の全体の濃度である。\aleph あるいは \mathfrak{c} と表記される。 両者の間には、カントールの対角線論法によって \aleph_0 < \aleph が成り立つことが証明される。

可算基数には以下のような性質がある。

  • \aleph_0 は極小な無限濃度である。すなわち、κ\aleph_0 より小さい濃度ならば、κ は有限濃度である。
  • 選択公理を仮定すると、\aleph_0 は最小な無限基数である。すなわち、全ての無限基数 κ に対して、\aleph_0\leq\kappa が成り立つ。

後続基数と極限基数

全ての基数κに対して、それより大きい基数λでその二つの基数の間には他の基数が存在しないようなものが存在する。つまり、λκの次の基数であると言える。このような基数をκの後続基数(successor cardinal)という。どの基数の後続基数にもならないような基数を極限基数(limit cardinal)という。

後続基数は常に正則基数になるなど、後続基数と極限基数の間には大きな性質の違いが見られる。

関連項目

Static Wikipedia (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu