日記2

自然演繹を積極的に用いたい.

2023-09-19から1日間の記事一覧

定理1.6 ワイエルシュトラスの定理 6項

ワイエルシュトラスの定理 6項 とする.このとき,が上に有界なら,上界の中に最小の上界が存在する(下に有界なら,最大の下界が存在する). (証明) が上に有界である.すなわち s.t. ①第一列 s.t. ②第二列 と表示できる,と仮定する.このとき,として実数…