We will discuss notions of rigidity, both formal and topological, near an invariant Diophantine torus for a smooth or analytic Hamiltonian system. In particular, for an analytic system, we will show that if the dynamics is topologically linearizable, then it is analytically linearizable.