S1の指標群はZ
Zの指標群はS1
S1上の関数をフーリエ変換するとZ上の関数になる
Z上の関数をフーリエ逆変換(フーリエ級数展開)するとS1上の関数になる

なんでそういうこと教えてくれないのか