Stalk of the quotient presheaf

Question

Consider a sheaf of abelian groupS $\mathscr F$ over a topological space $X$. If $\mathscr F'$ is a subsheaf of $\mathscr F$ (over $X$), then we can construct the quotient presheaf $\mathscr F/\mathscr F'$ in the following way:

$$(\mathscr F/\mathscr F')(U):=\mathscr F(U)/\mathscr F'(U)$$

Now I don't understand why it is true that $(\mathscr F/\mathscr F')_x=\mathscr F_x/\mathscr F'_x$ for every $x\in X$.

Notation: $\mathscr F$ is a presheaf (of abelian groups) over $X$ and $x\in X$, with the notation $\mathscr F_x$ I mean the stalk at $x$.

Answer 1

$\def\cF{\mathcal{F}}$ This follows from the following very nice fact:

If $\cF$ is a presheaf on $X$ and $\widetilde{\cF}$ is its sheafification, then for all $x \in X$, the natural map $\cF_x \to \widetilde{\cF}_x$ is an isomorphism.

This follows from the explicit construction of the sheafification as sections of the disjoint union of stalks of the presheaf. I'm not sure if there's an easier way to see it.

Answer 2

This follows from the fact that direct limits are exact in the category of (direct systems of) abelian groups (note: this is not true of arbitrary colimits). I suggest you try to prove this to yourself at least once as it's an important exercise.