proof of Poisson formula by T. Tao I do not understand one thing in an article on the blog of Terence Tao:

For instance, restricting a function $f: G \rightarrow \mathbb{C}$ to
  a subgroup $H$ causes the Fourier transform $\hat f$ to be averaged
  along the dual group $\widehat{H}$. In particular, restricting a
  function $f: \mathbb{R} \rightarrow \mathbb{C}$ to the integers (and
  renormalising it to become the measure $\sum_{n \in \mathbb{Z}} f(n) \delta_n$)
  causes the Fourier transform $\hat f: \mathbb{R} \rightarrow \mathbb{C}$
  to become summed over the dual group $\mathbb{Z}^\perp = \mathbb{Z}$
  to become the function $\sum_{m \in \mathbb{Z}} \hat f(\cdot+m)$.
  In particular, the zero Fourier coefficient of $\sum_{n \in \mathbb{Z}} f(n) \delta_n$ is $\sum_{m \in \mathbb{Z}} \hat f(m)$.

The thing that I do not understand is "to become the function $\sum_{m \in \mathbb{Z}} \hat f(\cdot+m)$."
Could someone give an explanation of this point?
 A: I will present the same idea in a slightly less abstract way, i.e., without resorting to Pontryagin duality. This is sketched in Stein and Shakarchi's undergrad textbook, Fourier Analysis. I haven't Tao's post but I believe this is what you mean. 
One assumes that the Fourier inversion formula holds everywhere, in particular by restricting oneself to the class of Schwartz functions (if this doesn't mean anything to you, don't worry -- just assume you're dealing with very 'nice' functions for the time being).
Basically, if you have a real valued function $f(x) : \mathbb{R} \rightarrow \mathbb{C}$, you can obtain the ``periodic version'' of $f$ by the formula
$$f_p(x) = \sum_{n=-\infty}^\infty f(x+n).$$
(this is the formula you're having trouble with, i.e., the $f(\cdot+m)$ thing, I believe.)
Notice that $f_p(x) = f_p(x+1)$, and this holds for all $x$, so $f_p$ is periodic of period 1. Also notice you require the function be nice to ensure that $f_p(x) < \infty$ everywhere ( the sum must converge).
Now what if you just took the discrete Fourier series of a real valued function? i.e., what if you had
$$g(x) = \sum_{n=-\infty}^\infty \hat{f}(n)e^{2\pi i x n}?$$
Then $g$ is also periodic, of period 1. Turns out these two approaches give you the same function, i.e., $g(x) = f_p(x)$ for all $x \in \mathbb{R}$.
Proof: By the uniqueness theorem for Fourier transforms, i.e., if the Fourier coefficients of a sufficiently nice function agree, then the two functions agree almost everywhere. In other words, you want to show that the Fourier series of $f_p$ is that of $g$. By simple computation:
\begin{align}
   \int_{0}^{1} \left[ \sum_{n = - \infty}^{\infty} f(x + n) \right] e^{-2 \pi ixm} ~ d{x}
&= \sum_{n = - \infty}^{\infty} \left[ \int_{0}^{1} f(x + n) e^{-2 \pi ixm} ~ d{x} \right] \quad (\text{By ‘niceness’.}) \\
&= \sum_{n = - \infty}^{\infty} \left[ \int_{n}^{n + 1} f(y) e^{-2 \pi i(y - n)m} ~ d{y} \right] \quad (\text{Change of variables.}) \\
&= \sum_{n = - \infty}^{\infty} \left[ \int_{n}^{n + 1} f(y) e^{-2 \pi iym} ~ d{y} \right] \\
&= \int_{- \infty}^{\infty} f(y) e^{-2 \pi iym} ~ d{y} \\
&= \hat{f}(m).
\end{align}
Thus, 
$$\sum_{-\infty}^\infty f(x+n) = \sum_{-\infty}^\infty \hat{f}(n)e^{2\pi i nx}.$$
Evalute this at $x = 0$, and you get
$$\sum_{-\infty}^\infty f(n) = \sum_{-\infty}^\infty \hat{f}(n).$$
In other words, summing the Fourier transform (on the real line) of a function at the integers is the same thing as summing the function itself at the integers. 
Does that help?
