7
大学数学基礎議論
文献あり

なんで証明中の選択公理が目立つのかって話

659
0

はじめに

この記事では、なんで証明中の選択公理が目立つのかについて考えていきます。

ZFCの公理が証明中でどう使わているか

ZFCの公理の一覧は この記事 にあります。

外延性公理

XYYXを示すことを書けば「外延性公理」よりと書かなくても伝わる。

分出公理図式

{xXP(x)}などを書いただけで分出公理図式を使ったことになる。

和集合公理

XXYなどを書いただけで和集合公理を使ったことになる。

対公理

{x,y}などを書いただけで対公理を使ったことになる。

冪集合公理

P(X)などを書いただけで冪集合公理を使ったことになる。

無限公理

自然数全体Nなどを書いただけで無限公理を使ったことになる。

置換公理図式

たとえばxX !y P(x,y)となるときに{yxX P(x,y)}などと書いただけで置換公理図式を使ったことになる。
集合論、一般位相空間論以外はあまり使わない印象。

基礎の公理

集合論以外はあまり使わない印象。

選択公理

集合の存在はわかるけど一意性が言えるとは限らない。

一般の数学でもたまに使う。

まとめ

外延性公理は部分集合を示すことを伝えればよく、基礎の公理、選択公理以外の公理はなにかしらの集合を定義して、定義した記号に公理の役割を丸投げすることがほとんどです。

さらに、置換公理図式や基礎の公理は普通の数学では出番が少ないです(使わないわけではない)。

一方、選択公理は、なにかしらの集合の存在はわかっても一意性が言えないため、和集合や冪集合のような定義した記号に公理の役割を丸投げすることができません

結果的に、選択公理を使うときは「選択公理(と同値な命題)より」と書くしかないため、他の公理と比べて目立ってしまうと推測しています。

参考文献

[1]
K. Kunen (藤田博司 訳), キューネン数学基礎論講義
投稿日:2021220
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. ZFCの公理が証明中でどう使わているか
  3. 外延性公理
  4. 分出公理図式
  5. 和集合公理
  6. 対公理
  7. 冪集合公理
  8. 無限公理
  9. 置換公理図式
  10. 基礎の公理
  11. 選択公理
  12. まとめ
  13. 参考文献