The Arithmetic of Elliptic Curves
《The Arithmetic of Elliptic Curves》 · 第 248 页 · Chapter VIII，Section 9「The Canonical Height」，Definition
The canonical (or Néron–Tate) height on $E/K$, denoted by $\hat h$ or $\hat h_E$, is the function $\hat h:E(\overline K)\to\mathbb R$ defined by $\hat h(P)=\frac1{\deg(f)}\lim_{N\to\infty}4^{-N}h_f([2^N]P)$.