я думаю, ято поле может быть любым только в нем тоже надо ввести дискретную топологию
Вопрос был в том, существует ли не дискретная топология.
Дискретную-то, понятно, везде ввести можно. Но когда поле конечно, то для отделимой топологии только дискретный вариант и остаётся.