集合と位相 ベルンシュタインの定理とその証明【双方単射があれば全単射がある】
ベルンシュタインの定理(Schröder–Bernstein theorem)とは，2つの集合それぞれを定義域・終域とする双方向の単射があれば，全単射があるという定理です。ベルンシュタインの定理について，イメージ図を交えて証明していきましょう。
集合と位相
集合と位相 
集合と位相 完備とは～実数の完備性・距離空間の完備性～
数学において，完備 (complete) であるとは，コーシー列が常に収束することを指します。これについて，「実数における完備性」と「距離空間における完備性」を分けて解説しましょう。
集合と位相 同値類と商集合をわかりやすく図解～定義と具体例4つ～
集合において，同値関係の元を集めた「同値類 (equivalence class) 」と，それらを集めた集合である「商集合 (quotient set) 」は，専門数学における難しい概念の1つでしょう。これについて，具体例・図を交えて解説します。
集合と位相 同値関係の定義と重要な具体例5つ
同値関係 (equivalence relation) とは，二項関係～のうち，反射律・推移律・対称律をみたすものを言います。これについて，その定義と，重要な具体例5つを紹介しましょう。
集合と位相 半順序集合・全順序集合の定義・具体例4つとその周辺
半順序集合・全順序集合といった「順序集合」とは，集合内に順序（いわゆる大小関係）が定まった集合といえます。これらについて，その定義と具体例4つを紹介し，順序を保つ写像など，それに関連した知識も紹介します。
集合と位相 反射律・推移律・対称律・反対称律の定義と具体例7つ
二項関係 (binary relation) の性質である，反射律 (reflexive)・推移律 (transitive)・対称律 (symmetric)・反対称律 (antisymmetric) の定義と具体例7つを紹介します。
集合と位相 二項関係とは
数学における，集合上の２つの元の関係を表す「二項関係 (binary relation) 」について，その定義と具体例を解説します。
集合と位相 集合族と添字集合
集合族 (集合系; family of sets) とは「集合の集まり」という意味です。たくさんの集合は，添え字を用いてA_1, A_2のように区別されます。集合族と添字集合について，その定義と使い方を解説します。
集合と位相 カントールの対角線論法とそれを用いた証明
「カントールの対角線論法 (Cantor's diagonal argument) 」あるいは単に「対角線論法」とは，数学における証明のテクニックの1つです。これについて，その内容を，実際の証明を通して理解していきましょう。
集合と位相 選択公理の内容と具体例を詳しく
選択公理とは，「無限個の各集合から一気に一つずつ元を選択することができる」という公理です。専門数学では，多くの場合仮定されますが，自明でない公理なので，気を付けて使う必要があります。 そんな選択公理について，その内容と意味・具体例を詳しく解...