1: \begin{definition}

2: A set $E\subset Z$ is $(n,\delta)$-spanning if $Z \subset \bigcup_{x\in E} B(x,n,\delta)$.  The \emph{(lower) capacity topological entropy} $\lhtop(Z)$ is the lower asymptotic growth rate of the minimal cardinality of an $(n,\delta)$-spanning set in $Z$.  More precisely, if $P_n^\delta$ is the minimal cardinality of such a set, then

3: \begin{align}

4: \label{eqn:lhZd}

5: \lhtop(Z,\delta) &= \llim_{n\to\infty} \frac 1n \log P_n^\delta, \\

6: \label{eqn:lhZ}

7: \lhtop(Z) &= \lim_{\delta\to 0} \lhtop(Z,\delta).

8: \end{align}

9: A similar definition taking the upper limit gives us $\uhtop(Z)$.

10: 

11: In the proof of Theorem~\ref{thm:dimension}, we will also need the notion of \emph{capacity topological pressure}, whose definition we recall here.  Fix a potential $\ph\colon X\to \RR$ and a subset $Z\subset X$.  For every $n\in \NN$, $\delta>0$, let $E_n$ be a minimal $(n,\delta)$-spanning set: then the lower capacity topological pressure of $\ph$ on $Z$ is given by

12: \begin{align}

13: \label{eqn:lPZd}

14: \lP_Z(\ph,\delta) &= \llim_{n\to\infty} \frac 1n \sum_{x\in E_n} e^{S_n \ph(x)}, \\

15: \label{eqn:lPZ}

16: \lP_Z(\ph) &= \lim_{\delta\to 0} \lP_Z(\ph,\delta).

17: \end{align}

18: We have a corresponding definition of $\uP_Z(\ph)$.  In the case $\ph=0$, these reduce to $\lhtop(Z)$ and $\uhtop(Z)$, respectively.

19: 

20: Elementary arguments given in~\cite{pW75} show that we can also use maximal $(n,\delta)$-separated sets in the above definitions, and we will occasionally do so.

21: \end{definition}

22: