現代のデータサイエンスを担う信号処理, 画像処理,パターン認識, 機械学習などの研究課題を見通よく解決するには,関数解析が提供する統一的視座を習得しておくことが大きな助けとなります。本講義では,実数列の収束やベクトル空間の定義の確認からスタートし,距離空間,ノルム空間,内積空間,バナッハ空間,ヒルベルト空間で展開される関数解析の基本的な理論と共に典型的な逆問題への応用例を学びます。
講義を通して,以下の能力を習得することを目標としています。
1) 空間の概念,収束の概念, 作用素の概念を理解し,使えるようになる。
2) 現実に現れる多様な逆問題を統一的に捉えることができるようになる。
距離空間,完備距離空間,開集合,閉集合,縮小写像の不動点定理,ノルム空間,有界線形作用素,内積空間,中線定理,バナッハ空間,ヒルベルト空間,射影定理,線形多様体への直交射影,正規方程式,一般逆行列,特異値分解,正則化, 逐次近似的画像再構成, L1ノルム最小化, スパースモデリング, 不完全データ
✔ 専門力 | 教養力 | コミュニケーション力 | ✔ 展開力(探究力又は設定力) | ✔ 展開力(実践力又は解決力) |
週に2回の講義を行う。
授業計画 | 課題 | |
---|---|---|
第1回 | 工学における関数解析の役割 | 工学における関数解析の役割を説明せよ |
第2回 | 実数列の極限概念とベクトル空間 | 実数列の収束とベクトル空間の定義を説明せよ。 |
第3回 | 距離空間と完備距離空間 | 距離空間と完備距離空間について説明せよ。 |
第4回 | 開集合と閉集合 | 開集合と閉集合の定義と基本性質について説明せよ。 |
第5回 | 縮小写像の不動点定理と関数方程式への応用 | 縮小写像の不動点定理と関数方程式への応用について説明せよ。 |
第6回 | ノルム空間と有界線形作用素 | ノルム空間と有界線形作用素について説明せよ。 |
第7回 | 内積空間と中線定理, バナッハ空間とヒルベルト空間 | 内積空間と中線定理, バナッハ空間とヒルベルト空間について説明せよ。 |
第8回 | ヒルベルト空間における射影定理 | ヒルベルト空間における射影定理について説明せよ。 |
第9回 | 線形多様体への直交射影と正規方程式 | 線形多様体への直交射影と正規方程式の役割について説明せよ。 |
第10回 | 一般逆行列と特異値分解 | 一般逆行列と特異値分解について説明せよ。 |
第11回 | 特異値分解と画像処理 | 特異値分解を用いた画像処理、画像圧縮について説明せよ。 |
第12回 | ノイズと正則化 | ノイズを含む信号と正則化手法の関係を説明せよ。 |
第13回 | 逐次近似法による画像再構成 | ARTのような逐次近似的画像再構成手法を説明せよ。 |
第14回 | ノルム最小化とスパースモデリング | ノルム最小化とスパースモデリングの関係を説明せよ. |
第15回 | 不完全データからの医用画像再構成 | 不完全な観測データからの医用画像を再構成する手法を説明せよ。 |
工学のための関数解析, 山田功 著, 数理工学社(サイエンス社), 2009.
ルーエンバーガー, 関数解析による最適理論(増渕, 嘉納 訳), コロナ社, 1973.
山田功, 工学と関数解析 - 統一的視座のありがたみ, 数理科学(特集:関数解析的思考法のすすめ -数理科学に表すその姿)
No.646, 2017年4月.
グロエッチェ, 数理科学における逆問題 (金子, 山本, 滝口 訳), サイエンス社, 1996.
学習目標の達成度を前半部(関数解析)と後半部(逆問題)の2回の試験に分けて評価する
原則として情報通信系所属学生に限って履修を認める.