I've been trying to prove that there does not exist $k\in L^1(\mathbb{T})$ such that $k*f=f$ for every continuous function $f:\mathbb{T} \rightarrow \mathbb{C}$. The exercise says to use the Riemann-Lebesgue lemma.
So what I've tried is this:
Since $k$ is defined as above, we know from the Riemann-Lebesgue lemma that the Fourier coefficients $\widehat{k}(n)\rightarrow 0$ as $|n|\rightarrow \infty$. If $k*f=f$ for every $f$, then I assume that their Fourier coefficients should also be the same such that $\widehat{k*f}(n)=\hat{f}(n)$ for all $n\in\mathbb{Z}$. Now, a lemma in my notes states that $\widehat{k*f}(n)=\hat{k}(n)\widehat{f}(n)$ for all $n\in\mathbb{Z}$ (Fourier coefficients of a convolution equal the product of Fourier coefficients).
From here I'm kind of stuck. If I were to use the very first point stated in the proof, I don't feel like I've proven it for every $f$. Any help would be appreciated!
Since $k*f=f$, we also have that $\widehat{f}(n)=\widehat{k*f}(n)$ for all $n\in\mathbb{Z}$, so $$\widehat{f}(n)=\widehat{k*f}(n)=\hat{k}(n)\widehat{f}(n).$$ Since there are a lot of continuous functions with $\widehat{f}(n)\neq 0$ for all $n\in\mathbb{Z}$, for example the $2\pi$-periodic extension of $f(x)=x^2$ on $(-\pi,\pi]$, we obtain $1=\lim\limits_{|n|\to\infty}\hat{k}(n)=0$ by the Riemann-Lebesgue lemma, so we obtained a contradiction.
Remark 1: You actually only need $\widehat{f}(n)\neq 0$ for infinitely many $n\in\mathbb{Z}$.
Remark 2: Even easier, as noted by David C. Ullrich, you only need to find for each $n\in\mathbb{Z}$ (or just infinitely many $n$) a continuous function $f_n$ on $\mathbb{T}$ such that $\widehat{f_n}(n)\ne0$. So you may choose $f_n(t)=e^{int}$.