選択公理を使わない最大値最小値の定理の証明(補足)

選択公理を使わない最大値最小値の定理の証明で,斎藤正彦先生の『数学の基礎』では,選択公理を用いずに最大値の定理を証明していることに触れました.その証明を参考に,僭越ながら少しアレンジしてみました. 定理 1 (最大値の定 ... Read more