集合論（しゅうごうろん）

最終更新：2026/4/25

集合論は、数学の基礎をなす分野であり、集合という概念を用いて数学的対象を扱う学問である。

別名・同義語集合の理論集合の学問

ポイント

現代数学の多くの分野で共通の基礎を提供し、無限や構造に関する深い洞察を与えている。

集合論とは

集合論は、数学における基本的な概念である「集合」を研究する分野です。集合とは、明確な基準によって区別される要素の集まりを指します。例えば、「1から10までの偶数」という集合は、{2, 4, 6, 8, 10}という要素から構成されます。

集合論の起源は、19世紀後半のゲオルク・カントールに遡ります。カントールは、無限集合の概念を導入し、異なる無限の大きさがあることを示しました。彼の研究は、当初は数学界から大きな反発を受けましたが、後に数学の基礎を揺るがす重要な発見として認められるようになりました。

集合論は、数学の様々な分野に応用されています。例えば、解析学における関数や数列、代数学における群や環、位相空間論における空間の定義などに、集合論の概念が用いられています。また、コンピュータ科学におけるデータベース理論やアルゴリズムの設計にも応用されています。

カントールは、無限集合にも異なる「濃度」があることを発見しました。例えば、自然数全体の集合と実数全体の集合は、どちらも無限集合ですが、実数全体の集合の方が「濃度」が高いことが示されています。この発見は、数学における無限の概念を大きく発展させました。