Upgrade to Pro — share decks privately, control downloads, hide ads and more …

2026年度秋学期 画像情報処理 第1部・画像のサンプリングと周波数 / 第3回 フーリエ級数...

2026年度秋学期 画像情報処理 第1部・画像のサンプリングと周波数 / 第3回 フーリエ級数とフーリエ変換

関西大学総合情報学部 画像情報処理(担当・浅野晃)
http://racco.mikeneko.jp/Kougi/2026a/IPPR/

Avatar for Akira Asano

Akira Asano PRO

October 01, 2026

Video

More Decks by Akira Asano

Other Decks in Education

Transcript

  1. 周期関数を分解 ここからは1次元の波で考える もし,この周期関数が,三角関数の和で 周期(の長さ)L 書けるとしたら? 周期関数 … 波長 L …

    足されるのは,どの三角関数? 周期が合う→ 波が進んでも同期しているから足す 波長 L /(1.5) 合わない → 波が進むとずれていってしまうから 足してはいけない 波長 L/2 合う→足す 波長 L/3 合う→足す … 足されるのは波長 L / n(nは整数)のものに限る。 無限個の波の足し合わせだが,足し算(級数)で書ける。 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 3 29
  2. 「無限個だが,足し算で書ける」 周期 L 周期関数 f(x) … … 周期関数 f(x)が,三角関数の和で書けるとしたら,足されるのは 波長

    L f(x) = + 波長 L/n 波長 L/3 波長 L/2 + +…+ +… … 足されるのは波長 L / n (nは整数) のものに限るから, 無限個の三角関数を足すのだけれども このように「項」を並べることはできる 「級数」という 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 4 29
  3. 無限個の項を並べることができる,とは 周期関数 f(x)が,三角関数の和で書けるとしたら,足されるのは 波長 L / n (nは整数) のものに限る 波長

    L f(x) = 波長 L/2 1番めの 三角関数 2番めの 三角関数 +… +…+ + + 波長 L/n 波長 L/3 3番めの 三角関数 n番めの 三角関数 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 5 29
  4. 無限個の項を並べることができる,とは 周期関数 f(x)が,三角関数の和で書けるとしたら,足されるのは 波長 L / n (nは整数) のものに限る 波長

    L f(x) = 波長 L/2 1番めの 三角関数 2番めの 三角関数 +… +…+ + + 波長 L/n 波長 L/3 3番めの 三角関数 n番めの 三角関数 1,2,3, … という自然数と,過不足なく1対1対応がつく([全単射]が存在する) 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 5 29
  5. 無限個の項を並べることができる,とは 周期関数 f(x)が,三角関数の和で書けるとしたら,足されるのは 波長 L / n (nは整数) のものに限る 波長

    L f(x) = 波長 L/2 1番めの 三角関数 2番めの 三角関数 +… +…+ + + 波長 L/n 波長 L/3 3番めの 三角関数 n番めの 三角関数 1,2,3, … という自然数と,過不足なく1対1対応がつく([全単射]が存在する) これを,数えられる無限([可算無限])という 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 5 29
  6. 「全単射」について 集合の要素間の対応関係について 集合X 集合Y … … [全単射](bijection) 1対1に対応し, X,Yどちらにも余りがない 集合X

    集合Y 集合X 集合Y ? ? XからYへの XからYへの [単射](injection) [全射](surjection) 1対1である この例では Yに余りがあるので全射ではない どちらにも余りはない この例では 1対1ではないので単射ではない 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 6 29
  7. 周期関数=三角関数の級数 1 2 n f(x) = a0 + a1 cos(2π

    x) + a2 cos(2π x) + … + an cos(2π x) + … L L L 波長 L 波長 L/2 波長 L/n なのですが… 三角関数は計算が面倒。 1 cos x cos y = {cos(x + y) + cos(x − y)} 2 指数関数なら計算が簡単 x y a a =a x+y かけ算=指数の足し算 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 7 29
  8. 三角関数と指数関数の関係 i 2 = − 1 虚数単位 オイラーの式 exp(iω) =

    cos ω + i sin ω exp(x) = e x x (e )′ = e x 微分しても変わらない exp(iω) = cos ω + i sin ω e = 2.71828... exp(−iω) = cos(−ω) + i sin(−ω) = cos ω − i sin ω 足し算すると 引き算すると exp(iω) + exp(−iω) = 2 cos ω exp(iω) − exp(−iω) = 2i sin ω exp(iω) + exp(−iω) cos ω = 2 exp(iω) − exp(−iω) sin ω = 2i 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 8 29
  9. 三角関数と指数関数の関係 オイラーの式 exp(iω) = cos ω + i sin ω

    exp(iω) + exp(−iω) cos ω = 2 exp(iω) − exp(−iω) sin ω = 2i ひとつの三角関数=波は, 正負の周波数をもつ指数関数の組で表される 「周波数がマイナス」というのはヘンだが, プラスの周波数とマイナスの周波数のペアでひとつの波になる 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 9 29
  10. 周期関数を指数関数の和で n n 波長 L / n の波は exp(i2π x)

    と exp(−i2π x) の組 L L 周期 L の周期関数 f(x) は,波長 L / n の波を足し合わせて プラスもマイナスも∞  n f (x) = an exp i2π x L n=−∞ ∞   と書ける はず。 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 10 29
  11. 書ける,のはいいが 周期 L の周期関数 f(x) は,波長 L / n の波を足し合わせて

     n f (x) = an exp i2π x L n=−∞ ∞   と書ける はず。 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 11 29
  12. 書ける,のはいいが 周期 L の周期関数 f(x) は,波長 L / n の波を足し合わせて

     n f (x) = an exp i2π x L n=−∞ ∞   と書ける はず。 この係数はどうやって求めるの? 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 11 29
  13. ある波長の波を切り出す  n f (x) = an exp i2π x

    L n=−∞  ∞  波長 L / n の指数関数 から,波長 L / n の波に 対応する指数関数だけを切り出したい  n exp i2π x L  一方,f(x) を構成する指数関数のいずれか(波長 L / m)は  m exp i2π x L  2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 12 29
  14. ある波長の波を切り出す 波長 L / m の指数関数と L / n の指数関数についてこういう計算をしてみる

     L     2 m n exp i2π x exp −i2π x dx L L L − 2 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 13 29
  15. ある波長の波を切り出す 波長 L / m の指数関数と L / n の指数関数についてこういう計算をしてみる

     L     2 m n exp i2π x exp −i2π x dx L L L − 2 波長 L / m 波長 L / n 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 13 29
  16. ある波長の波を切り出す 波長 L / m の指数関数と L / n の指数関数についてこういう計算をしてみる

    f(x) の1周期分だけ積分(積分については後半で)  L     2 m n exp i2π x exp −i2π x dx L L L − 2 波長 L / m 波長 L / n 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 13 29
  17. ある波長の波を切り出す 波長 L / m の指数関数と L / n の指数関数についてこういう計算をしてみる

    f(x) の1周期分だけ積分(積分については後半で)  L 複素共役     2 m n exp i2π x exp −i2π x dx L L L − 2 波長 L / m 波長 L / n 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 13 29
  18. ある波長の波を切り出す 波長 L / m の指数関数と L / n の指数関数についてこういう計算をしてみる

    f(x) の1周期分だけ積分(積分については後半で)  L 複素共役     2 m n exp i2π x exp −i2π x dx L L L − 2 波長 L / m 波長 L / n この答は 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 13 29
  19. ある波長の波を切り出す 波長 L / m の指数関数と L / n の指数関数についてこういう計算をしてみる

    f(x) の1周期分だけ積分(積分については後半で)  L 複素共役     2 m n exp i2π x exp −i2π x dx L L L − 2 波長 L / m 波長 L / n この答は m と n が異なるとき(別の波長) 0 m と n が等しいとき(同じ波長) L 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 13 29
  20. ある波長の波を切り出す 波長 L / m の指数関数と L / n の指数関数についてこういう計算をしてみる

    f(x) の1周期分だけ積分(積分については後半で)  L 複素共役     2 m n exp i2π x exp −i2π x dx L L L − 2 波長 L / m 波長 L / n この答は m と n が異なるとき(別の波長) 0 m と n が等しいとき(同じ波長) L 指数関数はこの 「同期しないと積分が0」という性質をもつ 直交関数系 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 13 29
  21. フーリエ級数展開とフーリエ係数 そこで 1 L  L   k f

    (x) exp −i2π x dx L −L 2 2 を計算してみる 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
  22. フーリエ級数展開とフーリエ係数 そこで 1 L  L  ある整数  k

    f (x) exp −i2π x dx L −L 2 2 を計算してみる 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
  23. フーリエ級数展開とフーリエ係数 そこで 1 L  L  ある整数  k

    f (x) exp −i2π x dx L −L 2 2 を計算してみる 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
  24. フーリエ級数展開とフーリエ係数 そこで 1 L  L  ある整数  k

    f (x) exp −i2π x dx L −L 2 2 を計算してみる  n f (x) = an exp i2π x なので L n=−∞ ∞   2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
  25. フーリエ級数展開とフーリエ係数 そこで 1 L  L  ある整数  k

    f (x) exp −i2π x dx L −L 2 2 を計算してみる  n f (x) = an exp i2π x なので L n=−∞ ∞   2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
  26. フーリエ級数展開とフーリエ係数 そこで 1 L  L  ある整数  k

    f (x) exp −i2π x dx L −L 2 2 を計算してみる  n f (x) = an exp i2π x なので L n=−∞ ∞      k n an exp i2π x exp −i2π x dx L − L n=−∞ L L  L  ∞ 2 1 2  2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
  27. フーリエ級数展開とフーリエ係数 そこで 1 L  L  ある整数  k

    f (x) exp −i2π x dx L −L 2 2 を計算してみる  n f (x) = an exp i2π x なので L n=−∞ ∞      k n an exp i2π x exp −i2π x dx L − L n=−∞ L L  L  ∞ 2 1 2  級数の各項を積分すると,n = k の項だけは積分すると L 他の項は積分すると 0 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
  28. フーリエ級数展開とフーリエ係数 そこで 1 L   L ある整数  k

    f (x) exp −i2π x dx L −L 2 2 を計算してみる  n f (x) = an exp i2π x なので L n=−∞ ∞      k n an exp i2π x exp −i2π x dx L − L n=−∞ L L  L  ∞ 2 1 2  級数の各項を積分すると,n = k の項だけは積分すると L 他の項は積分すると 0 つまりこの積分の答は 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
  29. フーリエ級数展開とフーリエ係数 そこで 1 L   L ある整数  k

    f (x) exp −i2π x dx L −L 2 2 を計算してみる  n f (x) = an exp i2π x なので L n=−∞ ∞      k n an exp i2π x exp −i2π x dx L − L n=−∞ L L  L  ∞ 2 1 2  級数の各項を積分すると,n = k の項だけは積分すると L 他の項は積分すると 0 1 · Lak = ak つまりこの積分の答は L 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
  30. フーリエ級数展開とフーリエ係数 そこで 1 L   L ある整数  k

    f (x) exp −i2π x dx L −L 2 2 を計算してみる  n f (x) = an exp i2π x なので L n=−∞ ∞      k n an exp i2π x exp −i2π x dx L − L n=−∞ L L  L  ∞ 2 1 2  級数の各項を積分すると,n = k の項だけは積分すると L 他の項は積分すると 0 1 · Lak = ak 係数が求まった つまりこの積分の答は L 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
  31. まとめ・フーリエ級数展開とフーリエ係数 周期 L の周期関数 f(x) は,  n f (x)

    = an exp i2π x L n=−∞ ∞   という波の足し合わせ(級数)で表される(フーリエ級数展開) 係数 an(フーリエ係数)は  L   2 n 1 f (x) exp −i2π x dx an = L −L L という積分で表される 2 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 15 29
  32. 周期関数は,フーリエ級数で表される 周期 L 周期 L の周期関数 f(x) … … 

    n f (x) = an exp i2π x という,波の足し合わせ(級数)で表される L n=−∞ ∞   係数 ak(フーリエ係数)は (フーリエ級数展開) ak = 1 L  L   k f (x) exp −i2π x dx L −L 2 2 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 17 29
  33. 周期関数でない場合は? 周期L … … L →大 … … L →∞

    2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 18 29
  34. 周期関数でない場合は? 周期L … … L →大 … … L →∞

    非周期関数は周期が無限大と考える 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 18 29
  35. 周期 L が大きくなっていくと 間隔1/L フーリエ係数 … 0 1/L 2/L 3/L

    4/L 周波数(1/波長) 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 19 29
  36. 周期 L が大きくなっていくと 間隔1/L フーリエ係数 間隔1/L は周波数の差 … 0 1/L

    2/L 3/L 4/L これをΔν で表す 周波数(1/波長) 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 19 29
  37. 周期 L が大きくなっていくと 間隔1/L = Δν フーリエ係数 間隔1/L は周波数の差 …

    0 1/L 2/L 3/L 4/L これをΔν で表す 周波数(1/波長) 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 19 29
  38. 周期 L が大きくなっていくと 間隔1/L = Δν フーリエ係数 間隔1/L は周波数の差 …

    0 1/L 2/L 3/L 4/L これをΔν で表す 周波数(1/波長) L →大 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 19 29
  39. 周期 L が大きくなっていくと 間隔1/L = Δν フーリエ係数 間隔1/L は周波数の差 …

    0 1/L 2/L 3/L 4/L これをΔν で表す 周波数(1/波長) L →大 1/L = Δν→小 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 19 29
  40. 周期 L が大きくなっていくと 間隔1/L = Δν フーリエ係数 間隔1/L は周波数の差 …

    0 1/L 2/L 3/L Δν 4/L これをΔν で表す 周波数(1/波長) L →大 1/L = Δν→小 … 0 1/L 2/L 3/L 4/L 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 19 29
  41. 周期 L が大きくなっていくと 間隔1/L = Δν フーリエ係数 間隔1/L は周波数の差 …

    0 1/L 2/L 3/L Δν 4/L これをΔν で表す 周波数(1/波長) L →大 1/L = Δν→小 … 0 1/L 2/L 3/L 4/L L→∞ 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 19 29
  42. 周期 L が大きくなっていくと 間隔1/L = Δν フーリエ係数 間隔1/L は周波数の差 …

    0 1/L 2/L 3/L Δν 4/L これをΔν で表す 周波数(1/波長) L →大 1/L = Δν→小 … 0 1/L 2/L 3/L 4/L L→∞ 1/L = Δν→0 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 19 29
  43. 周期 L が大きくなっていくと 間隔1/L = Δν フーリエ係数 間隔1/L は周波数の差 …

    0 1/L 2/L 3/L Δν 4/L これをΔν で表す 周波数(1/波長) L →大 1/L = Δν→小 … 0 1/L 2/L 3/L 4/L L→∞ 1/L = Δν→0 Δν ? … 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 19 29
  44. 周期 L が大きくなっていくと 間隔1/L = Δν フーリエ係数 間隔1/L は周波数の差 …

    0 1/L 2/L 3/L Δν 4/L これをΔν で表す 周波数(1/波長) L →大 1/L = Δν→小 … 0 1/L 2/L 3/L 4/L L→∞ 1/L = Δν→0 Δν ? フーリエ係数が隙間なく並ぶ … 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 19 29
  45. 周期 L が大きくなっていくと 間隔1/L = Δν フーリエ係数 間隔1/L は周波数の差 …

    0 1/L 2/L 3/L Δν 4/L これをΔν で表す 周波数(1/波長) L →大 1/L = Δν→小 … 0 1/L 2/L 3/L 4/L L→∞ 1/L = Δν→0 Δν ? … フーリエ係数が隙間なく並ぶ もはや足し算はできない(可算でない) 級数ではなく積分で表す 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 19 29
  46. カントールの対角線論法 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 21 29
  47. カントールの対角線論法 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 21 29
  48. カントールの対角線論法 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 21 29
  49. カントールの対角線論法 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 21 29
  50. カントールの対角線論法 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 各ケタを1ずつずらす 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 21 29
  51. カントールの対角線論法 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 0. 各ケタを1ずつずらす 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 21 29
  52. カントールの対角線論法 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 0.2 各ケタを1ずつずらす 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 21 29
  53. カントールの対角線論法 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 0.20 各ケタを1ずつずらす 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 21 29
  54. カントールの対角線論法 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 0.201 各ケタを1ずつずらす 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 21 29
  55. カントールの対角線論法 仮に,すべての実数を1番,2番,…と番号をつけて並べられるとする 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0.190… 対角線上の数字を並べた実数をつくる 0.201… 各ケタを1ずつずらす 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 21 29
  56. カントールの対角線論法 すべての実数を1番,2番,…と番号をつけて並べた表 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0. 2 0 1 … 各ケタを 1ずつずらした数 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 22 29
  57. カントールの対角線論法 すべての実数を1番,2番,…と番号をつけて並べた表 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0. 2 0 1 … 各ケタを 1ずつずらした数 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 22 29
  58. カントールの対角線論法 すべての実数を1番,2番,…と番号をつけて並べた表 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0. 2 0 1 … 各ケタを 1ずつずらした数 この数字は, 1番の数字とは1ケタめで, 2番の数字とは2ケタめで,… n番の数字とはnケタめで 1だけずれているので, 「すべての実数を並べた」表にない ∴矛盾 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 22 29
  59. カントールの対角線論法 すべての実数を1番,2番,…と番号をつけて並べた表 1番 0. 1 2 3 4 5 6

    … 2番 0. 8 9 3 1 2 9 … 3番 0. 2 3 0 4 9 0 … ⋮ 0. 2 0 1 … 各ケタを 1ずつずらした数 つまり 「実数は可算でない」 この数字は, 1番の数字とは1ケタめで, 2番の数字とは2ケタめで,… n番の数字とはnケタめで 1だけずれているので, 「すべての実数を並べた」表にない ∴矛盾 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 22 29
  60. 級数から積分へ 周期 L の周期関数 f(x) は,  n f (x)

    = an exp i2π x L n=−∞ ∞   2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 23 29
  61. 級数から積分へ 周期 L の周期関数 f(x) は,  n f (x)

    = an exp i2π x L n=−∞  L   2 n 1 an = f (x) exp −i2π x dx L −L L ∞   2 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 23 29
  62. 級数から積分へ 周期 L の周期関数 f(x) は,  n f (x)

    = an exp i2π x L n=−∞  L   2 n 1 an = f (x) exp −i2π x dx L −L L ∞   2 1/L =Δν と書き換える 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 23 29
  63. 級数から積分へ 周期 L の周期関数 f(x) は,  n f (x)

    = an exp i2π x L n=−∞  L   2 n 1 an = f (x) exp −i2π x dx L −L L  ∞  2 1/L =Δν と書き換える f (x) = ∞  n=−∞  ∆ν  L 2 −L 2 f (τ ) exp (−i2πn∆ντ ) dτ  exp (i2πn∆νx) 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 23 29
  64. 級数から積分へ 周期 L の周期関数 f(x) は,  n f (x)

    = an exp i2π x L n=−∞  L   2 n 1 an = f (x) exp −i2π x dx L −L L  ∞  2 1/L =Δν と書き換える f (x) = ∞  n=−∞  ∆ν 紛らわしいので別の文字にしただけ  L 2 −L 2 f (τ ) exp (−i2πn∆ντ ) dτ  exp (i2πn∆νx) 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 23 29
  65. 級数から積分へ nΔν はある周波数を表すので,ν であらわす L→∞ のとき Δν→0 このとき f (x)

    = ∞  n=−∞ f (x) =  ∆ν  L  ∞  ∞ −∞ −∞ 2 −L 2 f (τ ) exp (−i2πn∆ντ ) dτ f (τ ) exp (−i2πντ ) dτ   exp (i2πn∆νx) のなかの総和(Σ)が, exp (i2πνx) dν という積分になる 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 24 29
  66. 級数から積分へ nΔν はある周波数を表すので,ν であらわす L→∞ のとき Δν→0 このとき f (x)

    = ∞  n=−∞ f (x) =  ∆ν  L  ∞  ∞ −∞ −∞ 2 −L 2 f (τ ) exp (−i2πn∆ντ ) dτ f (τ ) exp (−i2πντ ) dτ   exp (i2πn∆νx) のなかの総和(Σ)が, exp (i2πνx) dν という積分になる 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 24 29
  67. 級数から積分へ nΔν はある周波数を表すので,ν であらわす L→∞ のとき Δν→0 このとき f (x)

    = ∞  n=−∞ f (x) =  ∆ν  L  ∞  ∞ −∞ −∞ 2 −L 2 f (τ ) exp (−i2πn∆ντ ) dτ f (τ ) exp (−i2πντ ) dτ   exp (i2πn∆νx) のなかの総和(Σ)が, exp (i2πνx) dν という積分になる ???😵😵 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 24 29
  68. 積分とは? f(x) この面積を 求めたい a 0 x f(x) 幅が Δx

    の 長方形で近似 0 Δx 2Δx nΔx x 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 25 29
  69. 積分とは? f(x) この面積を 求めたい a 0 x f(x) 幅が Δx

    の 長方形で近似 0 Δx 2Δx nΔx x 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 25 29
  70. 積分とは? f(x) この面積を 求めたい a 0 x 高さ f(2Δx) f(x)

    幅が Δx の 長方形で近似 0 Δx 2Δx nΔx x 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 25 29
  71. 積分とは? f(x) この面積を 求めたい a 0 x 高さ f(2Δx) 短冊の面積の合計

    f(x) 幅が Δx の 長方形で近似 n−1  f (k∆x)∆x k=0 0 Δx 2Δx nΔx x 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 25 29
  72. 積分とは? f(x) この面積を 求めたい a 0 x 高さ f(2Δx) 短冊の面積の合計

    f(x) 幅が Δx の 長方形で近似 n−1  f (k∆x)∆x k=0 0 Δx 2Δx nΔx x Δx → 0 区切りを無限に細かく 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 25 29
  73. 積分とは? f(x) この面積を 求めたい a 0 x 高さ f(2Δx) 短冊の面積の合計

    f(x) 幅が Δx の 長方形で近似 n−1  f (k∆x)∆x  a f (x)dx k=0 0 Δx 2Δx nΔx x Δx → 0 0 区切りを無限に細かく これが積分 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 25 29
  74. 積分とは? f(x) この面積を 求めたい a 0 x 高さ f(2Δx) 短冊の面積の合計

    f(x) 幅が Δx の 長方形で近似 n−1  f (k∆x)∆x  a f (x)dx k=0 0 Δx 2Δx nΔx x Δx → 0 0 区切りを無限に細かく これが積分 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 25 29
  75. 積分とは? f(x) この面積を 求めたい a 0 x 高さ f(2Δx) 短冊の面積の合計

    f(x) 幅が Δx の 長方形で近似 n−1  f (k∆x)∆x  a f (x)dx k=0 0 Δx 2Δx nΔx x Δx → 0 0 区切りを無限に細かく これが積分 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 25 29
  76. 積分とは? f(x) この面積を 求めたい a 0 x 高さ f(2Δx) 短冊の面積の合計

    f(x) 幅が Δx の 長方形で近似 n−1  f (k∆x)∆x  a f (x)dx k=0 0 Δx 2Δx nΔx x Δx → 0 0 区切りを無限に細かく これが積分 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 25 29
  77. 積分とは? ★ところで: 長方形の面積=縦×横? f(x) この面積を 求めたい a 0 x 高さ

    f(2Δx) 短冊の面積の合計 f(x) 幅が Δx の 長方形で近似 n−1  f (k∆x)∆x  a f (x)dx k=0 0 Δx 2Δx nΔx x Δx → 0 0 区切りを無限に細かく これが積分 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 25 29
  78. 積分とは? ★ところで: 長方形の面積=縦×横? 長方形の面積は,有限個の f(x) 正方形を敷き詰めたときの この面積を 求めたい a 0

    x 正方形の面積の合計 (有限加法性) 高さ f(2Δx) 正方形の面積は「定義」 短冊の面積の合計 f(x) 幅が Δx の 長方形で近似 n−1  f (k∆x)∆x  a f (x)dx k=0 0 Δx 2Δx nΔx x Δx → 0 0 区切りを無限に細かく これが積分 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 25 29
  79. 級数から積分へ nΔν はある周波数を表すので,ν であらわす L→∞ のとき Δν→0 このとき f (x)

    = ∞  n=−∞ f (x) = f (k∆x)∆x  a f (x)dx ∆ν  L  ∞  ∞ −∞ n−1   −∞ 2 −L 2 f (τ ) exp (−i2πn∆ντ ) dτ f (τ ) exp (−i2πντ ) dτ   exp (i2πn∆νx) のなかの総和(Σ)が, exp (i2πνx) dν という積分になる k=0 Δx → 0 区切りを無限に細かく 0 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 26 29
  80. 級数から積分へ nΔν はある周波数を表すので,ν であらわす L→∞ のとき Δν→0 このとき f (x)

    = ∞  n=−∞ f (x) = f (k∆x)∆x  a f (x)dx ∆ν  L  ∞  ∞ −∞ n−1   −∞ 2 −L 2 f (τ ) exp (−i2πn∆ντ ) dτ f (τ ) exp (−i2πντ ) dτ   exp (i2πn∆νx) のなかの総和(Σ)が, exp (i2πνx) dν という積分になる k=0 Δx → 0 区切りを無限に細かく 0 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 26 29
  81. 級数から積分へ nΔν はある周波数を表すので,ν であらわす L→∞ のとき Δν→0 このとき f (x)

    = ∞  n=−∞ f (x) = f (k∆x)∆x  a f (x)dx ∆ν  L  ∞  ∞ −∞ n−1   −∞ 2 −L 2 f (τ ) exp (−i2πn∆ντ ) dτ f (τ ) exp (−i2πντ ) dτ   exp (i2πn∆νx) のなかの総和(Σ)が, exp (i2πνx) dν という積分になる k=0 Δx → 0 区切りを無限に細かく 0 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 26 29
  82. 級数から積分へ nΔν はある周波数を表すので,ν であらわす L→∞ のとき Δν→0 このとき f (x)

    = ∞  n=−∞ f (x) = f (k∆x)∆x  a f (x)dx ∆ν  L  ∞  ∞ −∞ n−1   −∞ 2 −L 2 f (τ ) exp (−i2πn∆ντ ) dτ f (τ ) exp (−i2πντ ) dτ   exp (i2πn∆νx) のなかの総和(Σ)が, exp (i2πνx) dν という積分になる k=0 Δx → 0 区切りを無限に細かく 0 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 26 29
  83. 級数から積分へ nΔν はある周波数を表すので,ν であらわす L→∞ のとき Δν→0 このとき f (x)

    = ∞  n=−∞ f (x) = f (k∆x)∆x  a f (x)dx k=0 Δx → 0 区切りを無限に細かく 0 ∆ν  L  ∞  ∞ −∞ n−1   −∞ 2 −L 2 f (τ ) exp (−i2πn∆ντ ) dτ f (τ ) exp (−i2πντ ) dτ   exp (i2πn∆νx) のなかの総和(Σ)が, exp (i2πνx) dν という積分になる !!! 積分では, 幅 dν が大事です 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 26 29
  84. フーリエ変換 f (x) =  ∞  ∞ −∞ −∞

    f (τ ) exp (−i2πντ ) dτ  exp (i2πνx) dν 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 27 29
  85. フーリエ変換 f (x) =  ∞  ∞ −∞ −∞

    F (ν) =  ∞ f (τ ) exp (−i2πντ ) dτ  exp (i2πνx) dν f (x) exp (−i2πνx) dx と分けて書く −∞ 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 27 29
  86. フーリエ変換 f (x) =  ∞  ∞ f (τ

    ) exp (−i2πντ ) dτ  exp (i2πνx) dν −∞ −∞ F (ν) =  ∞ f (x) exp (−i2πνx) dx  ∞ F (ν) exp (i2πxν) dν と分けて書く −∞ f (x) = −∞ 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 27 29
  87. フーリエ変換 f (x) =  ∞  ∞ f (τ

    ) exp (−i2πντ ) dτ  exp (i2πνx) dν −∞ −∞ F (ν) =  ∞ f (x) exp (−i2πνx) dx  ∞ F (ν) exp (i2πxν) dν −∞ f (x) = と分けて書く フーリエ変換対 という −∞ 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 27 29
  88. フーリエ変換 F (ν) =  ∞ f (x) exp (−i2πνx)

    dx フーリエ変換  ∞ F (ν) exp (i2πxν) dν 逆フーリエ変換 −∞ f (x) = −∞ 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 28 29
  89. フーリエ変換 F (ν) =  ∞ f (x) exp (−i2πνx)

    dx フーリエ変換 −∞ 関数 f(x) にどのような周波数の波がどれだけ含まれているか,「波を切り出す」 f (x) =  ∞ F (ν) exp (i2πxν) dν 逆フーリエ変換 −∞ 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 28 29
  90. フーリエ変換 F (ν) =  ∞ f (x) exp (−i2πνx)

    dx フーリエ変換 −∞ 関数 f(x) にどのような周波数の波がどれだけ含まれているか,「波を切り出す」 フーリエ係数の並びだったのが,周波数の間隔がどんどん小さくなって, ついにはひとつの関数 F(ν) になる f (x) =  ∞ F (ν) exp (i2πxν) dν 逆フーリエ変換 −∞ 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 28 29
  91. フーリエ変換 F (ν) =  ∞ f (x) exp (−i2πνx)

    dx フーリエ変換 −∞ 関数 f(x) にどのような周波数の波がどれだけ含まれているか,「波を切り出す」 フーリエ係数の並びだったのが,周波数の間隔がどんどん小さくなって, ついにはひとつの関数 F(ν) になる f (x) =  ∞ F (ν) exp (i2πxν) dν 逆フーリエ変換 −∞ 周波数 ν の波 exp(i2πxν) に,対応するフーリエ係数 F(ν) をかけたものを 合計(積分)すると f(x) に戻る 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 28 29
  92. フーリエ変換 F (ν) =  ∞ f (x) exp (−i2πνx)

    dx フーリエ変換 −∞ 関数 f(x) にどのような周波数の波がどれだけ含まれているか,「波を切り出す」 フーリエ係数の並びだったのが,周波数の間隔がどんどん小さくなって, ついにはひとつの関数 F(ν) になる f (x) =  ∞ F (ν) exp (i2πxν) dν 逆フーリエ変換 −∞ 「位置」 周波数 ν の波 exp(i2πxν) に,対応するフーリエ係数 F(ν) をかけたものを 合計(積分)すると f(x) に戻る 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 28 29
  93. フーリエ変換 F (ν) =  ∞ f (x) exp (−i2πνx)

    dx フーリエ変換 −∞ 「周波数」 関数 f(x) にどのような周波数の波がどれだけ含まれているか,「波を切り出す」 フーリエ係数の並びだったのが,周波数の間隔がどんどん小さくなって, ついにはひとつの関数 F(ν) になる f (x) =  ∞ F (ν) exp (i2πxν) dν 逆フーリエ変換 −∞ 「位置」 周波数 ν の波 exp(i2πxν) に,対応するフーリエ係数 F(ν) をかけたものを 合計(積分)すると f(x) に戻る 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 28 29
  94. フーリエ変換 F (ν) =  ∞ f (x) exp (−i2πνx)

    dx フーリエ変換 −∞ 「周波数」 関数の表し方 [基底]が 変わっただけ (先で出てきます) f (x) = 関数 f(x) にどのような周波数の波がどれだけ含まれているか,「波を切り出す」 フーリエ係数の並びだったのが,周波数の間隔がどんどん小さくなって, ついにはひとつの関数 F(ν) になる  ∞ F (ν) exp (i2πxν) dν 逆フーリエ変換 −∞ 「位置」 周波数 ν の波 exp(i2πxν) に,対応するフーリエ係数 F(ν) をかけたものを 合計(積分)すると f(x) に戻る 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 28 29
  95. 2次元の場合は 1次元のフーリエ変換 F (ν) =  ∞ f (x) exp

    (−i2πνx) dx −∞ 2次元のフーリエ変換 F (νx , νy ) =  ∞ f (x, y) exp{−i2π(νx x + νy y)}dxdy −∞ この式は,x, y それぞれに1次元のフーリエ変換をしたことになっている F (νx , νy ) =  ∞  ∞ −∞  f (x, y) exp(−i2πνx x)dx exp(−i2πνy y)dy −∞ 注: exp(a + b) = exp(a) exp(b) たし算 かけ算 この性質を[分離可能(separable)]であるという (あとで出てきます) 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 29 29