1: \begin{definition}\label{def:pressure}

2: Given an integer $n\geq 0$, consider the \emph{dynamical metric of order $n$}

3: \begin{equation}\label{eqn:dn}

4: d_n(x,y) = \max\{d(f^kx,f^ky) : 0\leq k< n\}

5: \end{equation}

6: and the associated \emph{Bowen balls} $B_n(x,r) = \{y : d_n(x,y) < r\}$ for each $r>0$. We say that $E\subset\Lambda$ is \emph{$(n,r)$-separated} if $d_n(x,y)\geq r$ for all

7: $x\neq y\in E$, and that $E$ is \emph{$(n,r)$-spanning} for $X\subset \Lambda$ if

8: $X\subset \bigcup_{x\in E} B_n(x,r)$.

9: 

10: Writing $S_n\ph(x)=\sum_{k=0}^{n-1} \ph(f^k x)$ for the $n$th \emph{Birkhoff sum} along the orbit of $x$, the \emph{partition sum} of $\ph$ on a set $X\subset \Lambda$ refers to one of the following two quantities:

11: \begin{align*}

12: \Zspan_n(X,\ph,r) &:= \inf \Big\{ \sum_{x\in E} e^{S_n\ph(x)} : E\subset X

13: \text{ is $(n,r)$-spanning for }X\Big\}, \\

14: \Zsep_n(X,\ph,r) &:= \sup \Big\{\sum_{x\in E} e^{S_n\ph(x)} : E\subset X \text{

15: is $(n,r)$-separated}\Big\}.

16: \end{align*}

17: Then the topological pressure is given by\footnote{The fact that the limits coincide is given by an elementary argument comparing $\Zspan_n$ and $\Zsep_n$. In fact, the limit in $r$ can be removed due to expansivity of $f|_\Lambda$; see Definition \ref{def:expansive} and %Lemma \ref{lem:P-on-W}

18: \cite[Theorem 9.6]{pW82}.}

19: \begin{equation}\label{eqn:pressure}

20: P(\ph) = \lim_{r\to 0} \ulim_{n\to\infty} \frac 1n \log \Zspan_n(\Lambda,\ph,r)

21: = \lim_{r\to 0} \ulim_{n\to\infty} \frac 1n \log\Zsep_n(\Lambda,\ph,r).

22: \end{equation}

23: (One gets the same value if $\ulim$ is replaced by $\llim$.)

24: \end{definition}

25: