連続性が仮定されてないから選択公理使って変な関数が作れそうだな。