First, I will describe three topologies on $C^\infty(M,N)$ for smooth manifolds $M$ and $N$, and then relate them to the topologies 1, 2, and 4 from the question.
For $N=\mathbb{R}$, all of the below statements relating the topologies remain valid if we pass to the subspaces of compactly supported functions.

It seems that terminology is not completely standardized, I will call these three topologies the weak $C^\infty$-topology, the Whitney $C^\infty$-topology, and the strong $C^\infty$-topology. Assume we are given

- a locally finite family $(\phi,U)$ of charts of $M$,
- a family of compact subsets $K_i\subseteq U_i$,
- a smooth map $h:M\to N$ such that $h(K_i) \subseteq V_i$,
- a family $(\psi,V)$ of charts of $N$,
- a family $\varepsilon$ of positive reals,
- a family $k$ of non-negative integers, and

all with the same indexing set.
Consider the set of smooth $g:M\to N$ such that for all indices $i$, we have $g(K_i)\subseteq V_i$ and

$$\|D^\alpha(\psi_i g\phi^{-1}_i - \psi_i h\phi^{-1}_i)\|(m) < \varepsilon_i$$

for all $m\in K_i$ and multiindices $\alpha$ of order at most $k_i$. Sets of this form are a basis for the strong $C^\infty$-topology on $C^\infty(M,N)$.
If we additionally require that the $k_i$ are bounded, then we get the Whitney $C^\infty$-topology, that is, we would not have needed a family of $k_i$, but just one non-negative integer $k$.
If we require that the indexing set is finite, we get the weak $C^\infty$-topology.

If $M$ is compact, all three topologies agree, and if $M$ is not compact, they all differ. The strong topology is stronger (finer) than the Whitney topology, and the Whitney topology is stronger than the weak topology.
Note that for $l< \infty$, the $C^l$-versions of the strong topology and the Whitney topology are equal, which may be why the words "strong" and "Whitney" are sometimes used interchangably.
I took this way of differentiating between them from Chris Schommer-Pries's lecture notes, which contains a lot of information about these and other topologies.
These two topologies are much more similar to each other than to the weak topology. For example, the Whitney and strong $C^\infty$-topologies have the same weak homotopy type, because they even have the same convergent sequences.

Using these definitions, I do not know whether you meant the Whitney or the strong $C^\infty$-topology in 2.
In any case, your first guess is correct, as can be seen from the above description. For $N=\mathbb{R}$, the Whitney $C^\infty$-topology is equal to topology 4.
To see this, express the vector fields as linear combinations of partial derivatives in coordinates.
Also, it is possible to find a smooth $\varepsilon$ which takes values at most $\varepsilon_i$ on $K_i$ for all $i$ by using bump functions and that $U$ was assumed to be locally finite.

In addition to the above link, see Hirsch's "Differential Topology" and Golubitsky's and Guillemin's "Stable Mappings and Their Singularities" for more information about the weak and the Whitney $C^\infty$-topologies, which use the more intrinsic language of jet bundles in addition to something like the above.

This answerobviously gives 2=3 but probably one needs there to have some additional assumption like $M$ being second countable. Otherwise probably 2$<$3. $\endgroup$