高校でやる二次関数の最小値問題からチューブ補題へ

[@シダ-z8f]

6:17 ここで、なぜFが連続であると言えるのかもう少し具体的に教えてください。

[@fujidig]

一般に距離空間Xの空でない部分集合Aに対してd_A(x)=d(x, A)という関数d_Aを考えると連続です。この一般論をA={a}×Yに対して適用して、あとfとの合成関数をとるとFは連続とわかります。({a}×Yは閉集合なのでうんぬんというのは余計な文言でした)

[@シダ-z8f]

@@fujidigありがとうございます。腑に落ちました。普段主さんがあげてらっしゃる動画は私には難しいものばかりでしたが今回のは理解出来て嬉しかったです！