Dimensions, Embeddings, and Attractors
There is an error in the proof of Corollary 7.8; there is no reason why the functionals ψj should exist as claimed.
However, the results τ∗(X)≤2dB(X) does hold.
To see this, if d>dB(X) then we can cover Z:=X−X with ϵ-balls centred at zj; there are ≤Cϵ−2d of these.
Now use the Hahn-Banach Theorem to construct linear functions ψj with ‖ and \psi_j(z_j)=\|z-j\|; let V be the subsapce of B^* spanned by the \{\psi_j\}.
Take z\in Z with \|z\|\ge 3\epsilon. Then there exists a z_k such that \|z-z_k\|<\epsilon and so, since \|z_k\|>2\epsilon, we have
|\psi_k(z)|=|\psi_k(z-z_k)+\psi_k(z_k)|\ge\|z_k\|-\|z-z_k\|>\epsilon.
This shows that \tau^*(X)\le\sigma_{1/3}(X)\le 2d_{\rm B}(X).
Lemma 9.2, it should be (2^NN^{N/2},N) homogeneous. In the second line the cubes should have side \rho and the balls radius \sqrt{N}\,\rho/2; the bound on the number of balls is for a cover by balls of radius \sqrt{N}\,\rho/2, which leads to the correct result.