これまで,点列コンパクト,開集合,閉集合という空間の距離を数学的に表現してきました.
今回はこれら準備してきた概念を用いて,コンパクト空間上の連続関数が最大値・最小値を持つことを証明します.

関数のグラフを描いたり,イメージに頼ったりせず,定義と論理のみで証明できるようになることが数学を学ぶモチベーションであり,数学の素晴らしさなのです.

続きを読む →