数え上げ - Wikipedia

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年8月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Enumeration|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

数え上げ（かぞえあげ、enumeration）とは、ある集合に対し、その集合から自然数全体の成す集合への単射を定義する行為のことである。要素一つひとつに番号を割り振ることによって、その集合の要素の総数を算出する。

そのような写像が少なくとも1つ存在するならばその集合は『数え上げ可能である』『可算（かさん）である』『可付番（かふばん）である』といい、逆に1つも存在しないならばその集合は『数え上げ不可能である』『非可算（ひかさん）である』という。

数え上げには様々な技法がある。詳しくは、数え上げ数学を参照。

有限であれば必ず可算だが、可算であっても有限とは限らない（自然数全体の成す集合など）。数え上げ可能だが無限個の要素を持っている集合のことを、可算無限集合という。

実際には、単に "可算" と言ったときには可算無限を指し、可算無限または有限であることを高々可算と呼び習わすことも多い。

なお、可算ではないこと、つまり非可算は数え上げが不可能な無限の意味である（実数全体の成す集合など）。

• 可算集合