Approximate identities and pointwise convergence I'm studying Fourier analysis and have a question about approximate identities.
Let $k_{\epsilon}$ be an approximate identity on $L^{1}(\mathbf{T})$. We know that $k_{\epsilon}*f\to f$ in $L^{1}$ as $\epsilon\to 0$.
Question: Can we construct a $k_{\epsilon}$ such that for every $f\in L^{1}$, $k_{\epsilon}*f$ converges（not necessarily $f$） everywhere ? 
I have asked this question on math.stackexchange but I didn't get an answer.
 A: No. Given any $k_{\epsilon}$, we can easily build an $f$ so that $I(\epsilon):=k_{\epsilon}*f(0)$ oscillates roughly between $-1$ and $1$ as $\epsilon\to 0$. My $f$ will only take the two values $\pm 1$.
Just take $f=1$ everywhere except on a tiny interval centered at $0$, and take this interval so small that $I(1)\simeq 1$. Next, take $\epsilon_2\ll 1$ so small that $k_{\epsilon_2}$ is essentially supported by that tiny interval that is left, and let $f=-1$ there, except on an even smaller interval centered at $0$. Again, this will be chosen so small that $I(\epsilon_2)\simeq -1$ etc.
A: Not exactly an answer, but too long for a comment. 
Assume there is such approximation to the identity. We may define a linear form
$u\colon L^1(T)\to C$ by 
$$u(f)=\lim_{\varepsilon\to0} f*k_{\varepsilon}(0).$$
This linear form will be continuous when restricted to $L^\infty(T)$
because for $f\in L^\infty(T)$
$$|u(f)|=\lim_{\varepsilon\to0} |f*k_{\varepsilon}(0)|=
\lim_{\varepsilon\to0} \Bigl|\frac{1}{2\pi}\int_{T}f(t)k_\varepsilon(-t)\,dt \Bigr|\le \Vert f\Vert_\infty.$$
Also for a continuous $f$ we will have $u(f)=f(0)$. 
A continuous linear form in $L^\infty(T)$ is associated to a finitely additive 
measure $\mu$ on the measurable sets of $T$ by 
$$u(f)=\int_{T}f(t)\mu(dt)$$
If $\mu$ were countably additive it will be the Dirac delta (this is the only 
countably additive measure that gives integral $f(0)$ when $f$ is continuous), 
but this is not true
because if $M$ is of Lebesgue measure $0$ we have $u(\chi_M)=u(0)=0$ and there 
is no problem assuming that $0\in M$. 
These finitely additive measures defined  on the measurable sets of $T$ 
vanishing on sets of measure zero but not countably additive can be proved to 
exists, but they are similar to non-measurable sets (I will call them phantoms). 
So they can not be so easily defined. 
The hyperplane $u^{-1}(0)$ of $L^1(T)$,  is
definable in terms of a sequence of ordinals.  I think that in Solovay's model of ZFC, 
it can be proved that, in this case, it is closed. 
This means $u$ is continuous. But this is clearly
false because then there will exists a function $g\in L^\infty(T)$ such that 
$$u(f)=\frac{1}{2\pi}\int_{T}f(t)g(t)\,dt.$$
So it is consistent with ZFC that there is no such approximation of the identity.
But I have forgotten now the details to show that in Solovay's model an hyperplane 
definable from a sequence of ordinals is closed. Perhaps it was that a projective
hyperplane was closed. Perhaps somebody here can close my argument.
