べっこう色の記録

かつては日記でしたが、現在は数学のことを多く書いています

2014-07-05から1日間の記事一覧

ツォルンの補題

定理.(ツォルンの補題) 空でない帰納的な順序集合は極大元が存在する.なぜ「帰納的」順序集合というのかが分からない. 任意の全順序部分集合は上界を持つことだが…これは帰納的という感じなのか?