How is the inclusion map both an Immersion and Submersion between Manifolds

Hi i am trying to figure out why an inclusion map is both and immersion and submersion. This is what i have tried so far.Let $S$ be an open subset of a manifold $M$. Now the inclusion mapping is $\iota:S\to M$. Now to prove immersion/submersion we have to show that each of its differentials $\iota_{*,p}$, for $p \in S$, is, resp, injective/surjective. By definition of differential of a smooth map $F$,we have $(F_{*,p}(X_p))f=X_p(f\circ F)$ where $F_{*,p}:T_pM\to T_{F(p)}N$ where $M$ and $N$ are manifolds.Now, taking $F$ as the inclusion map $\iota$, we get $(\iota_{*,p}(X_p))f=X_p(f\circ \iota)=X_p(f)$ where $\iota_{*,p}:T_pS\to T_{\iota(p)=p}M$.

My questions are as follows:

How do we know from this that each $\iota_{*,p}$ is injective and surjective so that $\iota$ is both an immersion and a submersion?

(I assume $M$ is a smooth $m$-manifold.)

The differential at $p \in S$ for $\iota: S \to M$ is $\iota_{*,p}:T_pS \to T_pM$. This differential is an $\mathbb R$-isomorphism of $\mathbb R$-vector spaces, i.e. it is bijective $\mathbb R$-linear. The key thing here is the relationship of $T_pS$ and $T_pM$ given that $S$ is open in $M$:

$T_pS \cong T_pM$ s.t. $\dim T_pS = \dim T_pM = m$

Proof surjective:

$image(\iota_{*,p}) = \iota_{*,p}(T_pS)$ equals $range(\iota_{*,p}) = T_pM$ itself if $\iota_{*,p}(T_pS)$ is an $\mathbb R$-subspace of $T_pM$ and has the same dimension as an $\mathbb R$-vector space as $T_pM$.
The image $\iota_{*,p}(T_pS)$ is an $\mathbb R$-subspace of $T_pM$: Because the image of an $\mathbb R$-linear map is an $\mathbb R$-subspace of the range of the $\mathbb R$-linear map.
From rank-nullity theorem, $\dim \iota_{*,p}(T_pS) = \dim T_pS - \dim \ker(\iota_{*,p}) = m - \dim \ker(\iota_{*,p})$
$\dim \ker(\iota_{*,p})=0$ iff $\iota_{*,p}$ is injective.
$\iota_{*,p}$ is injective. (I'll show next.)
By (4),(5) and (3), $\dim \iota_{*,p}(T_pS) = m$
Therefore, by (6),(1) and (2), $image(\iota_{*,p}) = range(\iota_{*,p})$. QED surjective.

(Alternatively, perhaps you can say if they're the same dimension then 'injective if and only if surjective' or something. I've seen such statements for when domain and range are literally the same finite-dimensional vector space, but I haven't yet found such statement for merely isomorphic finite-dimensional vector spaces.)

Proof injective:

Hmmm...

Wow this is tough. I notice you asked a similar question here a month ago referring to Tu's An Introduction to Manifolds. Actually it's in Section 8 that Tu says $i$ is an immersion. However, Tu doesn't quite prove $i$ is an immersion until Section 11, at least for regular $k$-submanifolds where $k$ need not equal $m$. Maybe the proof is a lot simpler for $k=m$. I just know that we can't exactly say that $T_pS = T_pM$, as if the underlying sets are literally equal. But of course in the sense that they are equal, $\iota_{*,p}$ is just the identity map, so this whole thing is pretty easy.

Let's not think that they are literally equal: Hmmm...

Let $\iota_{*,p}(X_p)=\iota_{*,p}(Y_p)$. Show $X_p=Y_p$, i.e. $X_pf = Y_pf$ for all $f \in C^{\infty}_{p}(S)$.

Let $g \in C^{\infty}_{p}(M)$. Then $\iota_{*,p}(X_p)=\iota_{*,p}(Y_p)$ implies $X_p(g \circ \iota) = \iota_{*,p}(X_p)(g)=\iota_{*,p}(Y_p)(g) = Y_p(g \circ \iota)$. Now, $g \circ \iota = g|_U$.

Sooo...if every $f \in C^{\infty}_{p}(S)$ (btw I've been treating a function $f \in C^{\infty}(S)$ the same as germ $[f] \in C^{\infty}_{p}(S)$, which is strictly incorrect) is the restriction of some $g \in C^{\infty}_{p}(M)$, then we're done. Hmmm...this is not quite true but based on the definition of germs (which says only smaller neighbourhood) and the following Proposition, albeit from Section 13, then I think we still have what we want: For $f \in C^{\infty}(S)$ and $p \in S$, there exists $g \in C^{\infty}(M)$ and $W$ open in both $S$ and $M$ s.t. $g|_W = f|_W$. QED injective.

Remark: Anyway, I use something from Section 13, so I think it's wrong of Tu to say $\iota$ is immersion and submersion, without saying that stuff from Section 13 is used...unless there's a way to do this without Section 13...

I mean, just follow the proof in Section 11...w/c technically uses techniques up to Section 8...OH WAIT NO. It uses Section 9 concepts...Eh, there's probably some up-to-Section 8 version for the Section 11 proof given that we have $k=m$.

Say that $M$ is an $n$-dimensional smooth manifold, that $S \subset M$ is an open subset, that $i: S \to M$ is the inclusion and choose $p \in S$. Since $S$ is an open subset of $M$, $S$ is also an $n$-dimensional smooth manifold (this is true because the topology on $M$ is induced from the coordinate charts on $M$, which have target $\mathbb{R}^n$). Choose a coordinate system $\phi: U \to \mathbb R^n$ for $M$, centered at $p$. By replacing $U$ with $U\cap S$ if necessary (and using the fact that $S$ is open) we may assume that $U \subset S$. We see that $\phi$ is therefore also a coordinate system for $S$ centered at $p$. Representing the inclusion map in these coordinates gives $$\phi \circ i\circ\phi^{-1} = Id,$$ where $Id:\mathbb R^n \to \mathbb R^n$ is the identity map. The differential of $Id$ at $0$ ($0$ since $\phi$ is centred at $p$) is $$Id_{*,0} :T_0\mathbb R^n \to T_0\mathbb R^n,$$ which is also the identity map.