Remark 107.5.3. (1) One easily verifies (for example, by using the invariance of the relative dimension of locally of finite type morphisms of schemes under base-change; see for example Morphisms, Lemma 29.28.3) that $\dim _ t(T_ x)$ is well-defined, independently of the choices used to compute it.
(2) In the case that $\mathcal{X}$ is also an algebraic space, it is straightforward to confirm that this definition agrees with the definition of relative dimension given in Morphisms of Spaces, Definition 67.33.1.
Comments (2)
Comment #3415 by David Zureick-Brown on
Comment #3477 by Johan on