Topology of convergence and fineness of topology Consider whether a certain type $\mathcal C$ of convergence of filters, nets or sequences in a set $X$ is topologizable. If I understand correctly, "topologizable" means there exists a topology, s.t. the given convergence is the same as the convergence wrt the topology. If $\mathcal C$ is topologizable, is the topology induced by $\mathcal C$ on $X$ the smallest or biggest topology over $X$ s.t. $\mathcal C$ is the same as the convergence wrt the topology? To answer the above question, I would like to consider the following one. If $\mathcal C$ is the same as the convergence wrt a topology $\tau$ over $X$, and $\tau_1$ and $\tau_2$ are two other topolgoies over $X$ s.t. $\tau_1 \subseteq \tau \subseteq \tau_2$, is $\mathcal C$ the same as the convergence wrt the topology $\tau_1$ or $\tau_2$? I think $\mathcal C$ is the same as the convergence wrt the topology $\tau_1$ but not necessarily wrt $\tau_2$, right? Thanks and regards!

Definitely not.

Look at a familiar case: let $\tau$ be the usual topology on $\Bbb R$, $\tau_1$ the indiscrete topology, and $\tau_2$ the discrete topology. In $\langle\Bbb R,\tau_1\rangle$ every sequence converges to every point; in $\langle\Bbb R,\tau_2\rangle$ the only convergent sequences are the eventually constant sequences, each of which converges to the point at which it is eventually constant. And in $\langle\Bbb R,\tau\rangle$ the sequence $\langle 2^{-n}:n\in\Bbb N\rangle$ is not constant converges only to $0$. The three topologies have three distinct families of convergent sequences.