7.1.問題15
問題 7.1.P15
\( f \) が正定値関数であり、ある正の実数 \( \tau \) に対して \( f(\tau) = f(0) \) が成り立つとする。
このとき、\( f \) が周期 \( \tau \) をもつ、すなわちすべての実数 \( t \) に対して \( f(t) = f(t - \tau) \) であることを示せ。
行列解析の総本山

[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
コメント