Tangent space of a projective variety is well-defined For $X$ an affine variety and $p \in X$ define $T_p X = \mathrm{Der}(k[X], \mathrm{ev}_p)$. 
Claim: If $Y = X \setminus Z(f)$ is some Zariski open affine subvariety of $X$ and $p \in Y$, then $T_p X \cong T_pY$.
Definition: Let $X$ be an arbitrary variety, $p \in X$. Define $T_p X = T_p U$ for any open affine neighbourhood $U$ of $p$. 
Apparently the above claim tells us this definition makes sense, but I can't see why. I'd appreciate an explanation (note that I'm only really concerned with projective varieties, so if a simpler explanation can be afforded by restricting to this case then please do so!)
Thanks
 A: There are two typical topological ideas being used here.
The first is the idea of "localizing" at a point $P$ and performing a calculation $f(U)$ that involves an open neighborhood $U$ of $P$ that is independent of the choice of neighborhood. You can reduce the case of showing $f(U) = f(V)$ to the case of $V \subseteq U$, by the argument $f(U) = f(U \cap V) = f(V)$.
The second idea is that when you have a basis for a topology, you can typically rephrase any idea using open sets into one using the basis sets, because every open set is a union of basis sets.
The sets $D(f)$ (the complements of $Z(f)$) are a basis for the topology of an affine scheme.
$U$ and $V$ both contain a basis set $D(f)$ and $D(g)$, and the their intersection $D(fg)$ is a basis set contained in $U \cap V$. Therefore
$$ T_p U \cong T_p D(fg) \cong T_p V.$$
Incidentally, you really want to show a stronger claim: that the isomorphisms involved are 'coherent': e.g. that if you have a chain of inclusions $W \subseteq V \subseteq U$, that the isomorphisms
$$ T_p U \cong T_p V \cong T_p W $$
gives the same isomorphism as $T_p U \cong T_p W$ from invoking the theorem directly on $U$ and $W$. More precisely, you want to construct a functor between categories:
Open neighborhoods of p and inclusions --> Vector spaces and isomorphisms

If such a functor didn't exist, then even while the tangent space is well-defined as an abstract group, it would be rather difficult to actually use due to subtle technical issues.
