陶哲轩一篇论文中的错误

在[T]中“定理1.8 导出定理 1.1”的证明中存在错误，因为在 §2 积分 ∫ |Σg(j)|^2dv(g)的上界应该至少依赖于n，并因此依赖于X(因为它应该对所有n≤X都成立)… 。就在此之前Tychonoff定理(见[M]的定理37.3，其证明用到Zorn引理，见§37) 用来证明积空间也是紧致的，但没有解释为什么积空间是正规的(regular)以及有可数基(否则Urysohn的结果不能用来获得一个度量，见[M]的定理34.1), 而且没有解释为什么一个度量能产生一个Borel 测度(在[H]的§53，一个Borel测度是来自于一个给定的content)。

[H]P.R.Halmos, Measure Theory, GTM 18.

[M]J.Munkres, Topology, second edition.

[T]T.Tao, The Erdös discrepancy problem, arXiv:1509.05363v5, Nov.2015. 29 pages.