選択公理
実は今までも暗に使っていたのですが、次のことは公理とみなされています。
◆Axiom.SetTop.2.20.1. （選択公理）
を任意の集合とし、
を任意の集合族とすると、
このように書くとものものしいですが、つまりはどのような集合族をもってきたとしても、それぞれの集合の中から１つずつ元を選び出すという操作ができる（積集合の元は、それぞれの集合の中から１つずつ元を選び出す写像なので、積集合が空でないということは、そのような操作ができることを保証している）ということを意味しています。
これは が有限集合のときは当たり前にできることです（ の濃度が 
なら、単に 個の元のペアを作るのと同じことになります）が、 が無限集合のときにも同じような操作ができることを保証するのが選択公理です。
実は、選択公理はわたしたちが通常使っている集合の公理系(ZF公理系と言います）からは肯定も否定も証明できない命題であることがわかっています。（なので公理とされています）
ですが、普通の数学では選択公理を認めた方が色々と便利なので、通常は選択公理を認める立場を取ります。
選択公理と同値な命題
選択公理と同値な命題と知られているものに、整列可能定理とツォルンの補題というものがあります。同値であることの証明は結構難しいのでここではしませんが、特にツォルンの補題は代数学でよく用いられるため、重要な命題です。慣習的に補題と言われていますが、定理と呼ばれるもの並みに重要な命題である例となっています。
この記事へのコメントはありません。