コトバンクはYahoo!辞書と技術提携しています。

有限集合 ゆうげんしゅうごうfinite set

ブリタニカ国際大百科事典 小項目事典の解説

有限集合
ゆうげんしゅうごう
finite set

元の個数が有限である集合をいう。有限集合は,そのいかなる真部分集合とも対等になりえない。 (→無限集合 )

出典|ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について | 情報

デジタル大辞泉の解説

ゆうげん‐しゅうごう〔イウゲンシフガフ〕【有限集合】

要素が有限個ある集合。

出典|小学館デジタル大辞泉について | 情報 凡例

大辞林 第三版の解説

ゆうげんしゅうごう【有限集合】

〘数〙 有限個の要素からなる集合。

出典|三省堂大辞林 第三版について | 情報

日本大百科全書(ニッポニカ)の解説

有限集合
ゆうげんしゅうごう
finite set

有限個の元からなる集合あるいは空集合を有限集合という。「有限」に対することばは「無限」である。有限集合でない集合を無限集合といい、有限と無限は互いに他方を否定したものである。20世紀の初頭から、有限、無限に対するたくさんの定義が与えられたが、そのなかから代表的な二つを取り上げる。有限集合Aは、ある自然数nが存在して、ちょうどn個の元を含む。これが第一の定義である。この場合、自然数の集合{0,1,2,……,n-1}のおのおのの元と、有限集合Aのおのおのの元とを、ちょうど一つずつ結び付け(一対一の対応)て、A={a0,a1,a2,……,an-1}のように書ける。次にもう一つの定義を与える。A′を、Aからいくつかの元を取り去ったAの部分集合(真部分集合)とする。たとえばA′={a1,a2,……,an-1}とする。このとき、Aのおのおのの元にA′のおのおのの元を一対一で対応させることはできない。このように、「自分自身のいかなる真部分集合とも一対一の対応をつけることができない集合を有限集合という」。これらの二つの定義は同値のようにみえる。しかし、これらの同値を証明するには、20世紀初頭に、初めてツェルメロによって集合論に導入された選択公理を用いなければならない。選択公理は、集合論の内外で、数学の理論を展開するためのきわめて重要な役割を果たしているが、数学の証明にこれを用いることについては、今日でもなお種々の議論がある。[西村敏男]

出典|小学館 日本大百科全書(ニッポニカ)日本大百科全書(ニッポニカ)について | 情報 凡例

世界大百科事典内の有限集合の言及

【集合】より

…集合Mの濃度は,♯(M),|M|,CardMなどの記号で表されるが,それは次のように定義される。(1)Mが有限個の元しかもたないとき,Mは有限集合と呼ばれ,♯(M)はMの元数であると定める。このような濃度を有限の濃度という。…

※「有限集合」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

有限集合の関連キーワード組み合わせ数学・組み合せ数学数(すう、数学)マルコフ連鎖集合(数学)濃度(数学)1対1対応直観主義数理言語可算集合対称群集合数集合論順序数確率要素置換濃度可算被覆有界

今日のキーワード

きらきらネーム

俗に、一般的・伝統的でない漢字の読み方や、人名には合わない単語を用いた、一風変わった名前のこと。名字についてはいわない。どきゅんネーム。[補説]名前に使用する漢字は、戸籍法により常用漢字・人名用漢字の...

続きを読む

コトバンク for iPhone

コトバンク for Android