S1の指標群はZ
Zの指標群はS1
S1上の関数をフーリエ変換するとZ上の関数になる
Z上の関数をフーリエ逆変換(フーリエ級数展開)するとS1上の関数になる
なんでそういうこと教えてくれないのか _____
/::::::::::::::::::::::::::\ _
/::::::::::::::::::::::::::::::::::::::\ /  ̄  ̄ \
|:::::::::::::::::|_|_|_|_| /、 ヽ
|;;;;;;;;;;ノ /,, ,,\ ヽ |・ |―-、 |
|::( 6 ー─□─□ ) q -´ 二 ヽ | はあ?いいから働けウンコ製造機
|ノ (∵∴ ( o o)∴) ノ_ ー | |
/| < ∵ 3 ∵> \. ̄` | /
::::::\ ヽ ノ\ O===== |
:::::::::::::\_____ノ:::::::::::\ / | ℝに似ているのはむしろ有限アーベル群
つまり離散フーリエ変換と逆変換