翻訳と辞書
Words near each other
・ 有限責任
・ 有限責任あずさ監査法人
・ 有限責任中間法人
・ 有限責任事業組合
・ 有限責任事業組合契約に関する法律
・ 有限責任会社
・ 有限責任監査法人
・ 有限責任監査法人トーマツ
・ 有限責任社員
・ 有限階作用素
有限集合
・ 有限集団
・ 有限項演算
・ 有隅昭二
・ 有隔菌糸
・ 有隙型歯列弓
・ 有隣会
・ 有隣園
・ 有隣堂
・ 有隣新書


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

有限集合 : ミニ英和和英辞書
有限集合[ゆうげんしゅうごう]
(n) finite set
===========================
: [う, ゆう]
  1. (n,vs) possession 
有限 : [ゆうげん]
  1. (adj-na,n) finite 2. limited 
有限集合 : [ゆうげんしゅうごう]
 (n) finite set
: [しゅう]
 【名詞】 1. collection 
集合 : [しゅうごう]
  1. (n,vs) (1) gathering 2. assembly 3. meeting 4. (2) (gen) (math) set 
: [ごう]
 【名詞】 1. go (approx. 0.18l or 0.33m) 
有限集合 : ウィキペディア日本語版
有限集合[ゆうげんしゅうごう]
数学において、集合有限(ゆうげん、)であるとは、自然数 ''n'' を用いて という形にあらわされる集合との間に全単射が存在することをいう(ただしここでは、''n'' = 0 の場合も許される。この場合は空集合であることを意味するのであり、これも有限集合の一種と考えるということである)。このような集合を有限集合(ゆうげんしゅうごう、)とよび、有限でない集合を無限集合と呼ぶ。
また同じことだが、集合が有限であるとはその濃度の個数)が自然数である場合にいう。特に、濃度が ''n'' である集合を「''n'' 元集合(''n''-set)」と総称する。例えば、−15 から 3 まで(両端を含まない)の整数の集合は17個の元があり、有限である。したがってこれは17元集合である。一方、全ての素数たちの成す集合は \aleph_0 の濃度を持つ無限集合である。
どんな真部分集合との間にも全単射が存在しないような集合は、デデキント有限集合と呼ばれる。可算選択公理(弱い形の選択公理)が成り立つなら、集合が有限であることとデデキント有限であることは同値である。そうでない場合には(奇異なことに)無限かつデデキント有限な集合が存在しうる(「基礎付け問題」の節を参照)。
全ての有限集合は可算であるが、全ての可算集合が有限というわけではない。ただし、書籍によっては「可算」を「可算無限」の意味に使っており、その場合は有限集合は可算ではない。
== 有限集合の構成 ==
* ''x'', ''y'' がどんな元だったとしても、, , といったような集合は有限集合である。
* 有限個の有限集合たちの和集合はふたたび有限集合となる。
* 有限集合の冪集合はやはり有限集合である。
* 有限集合の任意の部分集合は有限である。
* 有限集合を定義域とする関数の値域は有限である。
* 有限個の有限集合たちから成る直積集合はまた有限である。
一方で、(無限公理によって存在が保証されるところの)自然数全体の成す集合というのは有限集合ではない。
== 有限性の必要十分条件 ==
ツェルメロ=フレンケルの集合論 (ZF) では、以下の条件は全て等価である。
# ''S'' は有限集合である。すなわち、''S'' の元はある特定の自然数以下の自然数の集合の元と一対一対応する。
# ''S'' は、空集合を始点として元を1つずつ追加していく数学的帰納法で証明可能な全属性を持つ。(カジミェシュ・クラトフスキ
# ''S'' は全順序であり、どちらの方向も整列順序である。すなわち、''S'' の空でない全ての部分集合には最小元と最大元がある。
# P(P(''S''))からそれ自身への一対一関数は全単射である。すなわち、''S'' の冪集合の冪集合はデデキント有限である。
# P(P(''S''))からそれ自身への全射は全て一対一対応である。
# ''S'' の部分集合の空でないは、いずれも包含関係上の最小元を持つ。(アルフレト・タルスキ
# ''S'' 上に整列順序が存在し、その任意の2つの整列順序は順序同型である。言い換えれば、''S'' の整列順序はただ1つの順序型を持つ。
選択公理も成り立つ場合、以下の条件は全て等価である。
# ''S'' は有限集合である。
# ''S'' からそれ自身への一対一関数は全単射である。(リヒャルト・デーデキント
# ''S'' からそれ自身への全射はいずれも一対一対応である。
# ''S'' の半順序はいずれも極大元を含む。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「有限集合」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.