逆だな。
Rは可分なので可算近傍系Cをとれる。
C'={U∈C|fはCで狭義の最大をとる。}
m:C'→{極大点}をm(U)=(最大値をとる点)
で定めればこれは{極大点}への全射を与える。