面白い問題おしえて～な 31問目

面白い問題おしえて～ ..

384:１３２人目の素数さん
20/02/15 11:52:00 h/D6xsZJ.net
逆だな。
Rは可分なので可算近傍系Cをとれる。
C'={U∈C|fはCで狭義の最大をとる。}
m:C'→{極大点}をm(U)=(最大値をとる点)
で定めればこれは{極大点}への全射を与える。