本記事は以下の過去記事の内容を用います． 逆像と逆写像の定義をメモする - エンジニアを目指す浪人のブログ 勉強を進めていて，連続関数の劣位集合(sublevel set)は閉集合であることについてモヤモヤしてしまったので，その証明をメモしておくことにしまし…