定義域Dで定義された2変数の連続関数f(x,y)を考えましょう
これが最大値や最小値を持つかどうかを調べたいとします
1変数の場合には、閉区間であれば最大値や最小値を持つという最大値の定理がありました
同様にして2変数の場合も、閉区間のようにDが端っこを含む場合はfは最大値や最小値を持つということが予想できます

しかし、端っこを含むとはなんでしょうか？また、それはどのようにして証明できるものなのでしょうか

位相の考え方を使うと、1変数と2変数、どちらの場合も、コンパクト性は連続写像によって保存される、という一般論として記述できるのです

端っこを含む含まない、といった曖昧なイメージも表現することができるのです
また、距離の概念のない集合があったとしても、位相を入れることにより、端っこの有無などというものがちゃんと定義できるんです

結局、位相は便利なんですね、色々と