翻訳と辞書
Words near each other
・ デディケーション
・ デデキント
・ デデキントのイータ函数
・ デデキントのイータ関数
・ デデキントの切断
・ デデキントカット
・ デデキントゼータ函数
・ デデキントゼータ関数
・ デデキント切断
・ デデキント整域
デデキント有限
・ デデキント有限環
・ デデキント有限集合
・ デデキント無限
・ デデキント無限集合
・ デデキント環
・ デデキンド
・ デデデ
・ デデデコント
・ デデデニュース


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

デデキント有限 : ミニ英和和英辞書
デデキント有限[ゆうげん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [う, ゆう]
  1. (n,vs) possession 
有限 : [ゆうげん]
  1. (adj-na,n) finite 2. limited 

デデキント有限 ( リダイレクト:デデキント無限 ) : ウィキペディア日本語版
デデキント無限[でできんとむげん]

数学において、集合''A'' がデデキント無限(Dedekind-infinite、ドイツ人数学者リヒャルト・デデキントにちなんでつけられた)である、またはデデキント無限集合であるとは、''A'' と同数(equinumerous)であるような''A'' の真部分集合''B'' が存在することである。それはつまり、''A'' と''A'' の真部分集合''B'' の間に全単射が存在するということである。集合 Aがデデキント有限であるとは、デデキント無限でないということである。
デデキント無限は、自然数を用いないような最初の無限の定義である。選択公理を除いたツェルメロ・フレンケルの公理系は、任意のデデキント有限集合は有限個の元を持つという意味での有限である、ということを証明するだけの強さを持たない。選択公理を用いないその他の有限集合や無限集合の定義が存在する。
== 通常の無限集合の定義との比較 ==
デデキントの意味での“無限集合”は、普通の意味での無限集合と比較されるべきであろう:
: 集合''A'' が無限であるとは、ある自然数''n'' についてという形の集合である有限順序数と''A'' の間に全単射が存在しないことである。
無限とは、全単射が存在しないという意味で文字通り有限でないという集合である。
19世紀後半、多くの数学者はデデキント無限であることと通常の意味の無限は同値であると単純に考えていた。しかし実際は、選択公理(“AC”)を除いたツェルメロ・フレンケルの公理系(通常、“ZF”と表記される)からは、その同値性は証明されえない。弱いACを使うことで証明でき、フルの強さは要求されない。その同値性の証明は、可算選択公理(“CC”)より真に弱い形で証明できる。

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

英語版ウィキペディアに対照対訳語「 Dedekind-infinite set 」があります。




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

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