Насколько я понимаю, топологическое пространство - наиболее общее, в котором можно говорить о сходящихся последовательностях (но допустим нельзя говорить о последовательностях Коши). Задаем топологию одним из вариантов - скажем, через открытые множества и получаем класс счетных упорядоченных подмножеств под названием "сходящиеся последовательности".
Можно ли задать топологию как раз через класс сходящихся последовательностей? Если да, то каким условиям согласованности должны они удовлетворять?
Например для топологии поточечной сходимости функций на
все равно ее вводят через минимальную топологию, содержащую все множества определенного типа - но не нарпямую через вид сходимости.