So the professor in class gave the following two theorems without proving ( or maybe I missed it).
Theorem 1. Let $M$,$N$ be two smooth manifolds. $L$ a submanifold of $N$. And $M$ is compact. Then the set of all maps $f:M\rightarrow N$ which are transverse to $L$ is open in $C^1$ topology.
Theorem 2. The set of $f:M\rightarrow N$ which are transverse to $L$ is dense in the $C^k$ topology for any $k$.
I've been looking for reference to find what the above two kinds of topologies are. In Hirsch's differential topology, the author introduced two kinds of topologies on the function space, namely the weak or "compact open $C^r$ topology" and the strong or Whitney topology. I wonder if the topology mentioned by my professor is any one of the two topologies here.
Thanks in advance.