On a compact space, any upper semicontinuous real-valued function attains its maximum.
コンパクト空間上では、任意の上半連続な実数値関数は最大値をとる。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
