I would greatly appreciate any help with this problem. If $f_1, f_2 , f_3$ are three characteristic functions (in Statistics, e.g $E(\exp(itX)))$ such that $f_1*f_3=f_2*f_3$ for all $t$ and we are given that $f_3$ is non-zero almost everywhere, how can we show that $f_1 = f_2$ for ALL $t$? It's obvious that $f_1 = f_2$ for $t$ not in the null set where $f_3 $ is non-zero, but how can we conclude that $f_1 = f_2$ for $t$ in the null set where $f_3$ is zero?
Characteristic functions (Statistics)
2
$\begingroup$
measure-theory
probability-theory
characteristic-functions
-
0characteristic functions are continuous in $t$, cf. http://en.wikipedia.org/wiki/Characteristic_function_(probability_theory)#Continuity – 2012-09-08
1 Answers
1
(i) characteristic functions are continuous in $t$: for $t_j \rightarrow t$, we have pointwise convergence $e^{it_jX(\omega)} \rightarrow e^{it X(\omega)}$ for any $\omega$ in your sample space by the continuity of $e^{it}$; since this always has norm one, one can simply invoke Dominated Convergence to finish up.
(ii) with that, do you see why if two continuous functions on $\mathbb{R}$ agree save for possibly on a set $S$ of measure zero, they agree?
Roughly, for a point $s \in S$, for any $\epsilon$, consider $(s - \epsilon, s + \epsilon)$; this can't be all in $S$, so we get a sequence $x_i \in S^c$, with $x_i \rightarrow s$, hence $f(s) = \lim_i f(x_i) = \lim_i f(g_i) = g(s)$
-
0no worries man-yeah, take the ball of radius $\epsilon$ in that case too – 2012-09-08