Euler 標数は測度ですか??
-
Upload
tatsuki-shimizu -
Category
Science
-
view
690 -
download
0
Transcript of Euler 標数は測度ですか??
![Page 1: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/1.jpg)
は測度ですか??s.t.@simizut22
![Page 2: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/2.jpg)
• Twitter: s.t.@simizut22 でやってます• 某企業の数理計画 / 数理最適化部員 (programmer) やってます• s.t. は such that でも subject to でもどちらでも
![Page 3: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/3.jpg)
数を数えてください今日鞄に入ってたテキストを数えます
![Page 4: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/4.jpg)
でも自分で数えるのは難しい
![Page 5: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/5.jpg)
自分で数えられないなら積分したらいいじゃない!!
![Page 6: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/6.jpg)
今日の内容•オイラー標数 # とは•オイラー積分 # とは• Target Enumeration( 応用 )
![Page 7: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/7.jpg)
なるべく数学の言葉を出さないよう頑張ります ( 努力目標
![Page 8: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/8.jpg)
§1 オイラー標数 # とは• 三角形分割 / セル分割された空間 X に対し
⇒組み合わせ的な Euler 標数
![Page 9: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/9.jpg)
§1 オイラー標数 # とは ( 例 )• 離散集合
⇒ 個数 ( 離散集合の上の個数測度 ) みたいに”思える” ( 思えない
![Page 10: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/10.jpg)
§1 オイラー標数 # とは ( 例 )n-dim 球面
のセル分割をのセル分割からここで、は立体射影
![Page 11: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/11.jpg)
§1 オイラー標数 # とは ( 例 )• Oriented closed リーマン面
𝑔=0 𝑔=1 𝑔=2
![Page 12: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/12.jpg)
§1 オイラー標数 # とは ( 例 )種数 2(g=2) のリーマン面の三角形分割
⇒ 他の種数 g > 0 でも同様
![Page 13: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/13.jpg)
§1. オイラー標数 # とは• オイラー標数は次の関係を満たす ( 集合は適切なクラスと仮定 )1.
2.
A B
![Page 14: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/14.jpg)
測度と思うなら積分じゃっ!!
![Page 15: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/15.jpg)
§2. Euler積分 (被積分関数 ) に対し、ここで、 以下、対象とする関数の集合をとする
![Page 16: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/16.jpg)
§ 2. Euler積分 を
で定義する
![Page 17: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/17.jpg)
§ 2. Euler積分簡単な Lemmaに対し、(i.e. A の定義関数をかませると A の “面積” )
![Page 18: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/18.jpg)
§ 2. Euler積分 を単体複体の間の写像 (Piecewise Linear) とする
証明は tame map に対する Hardt Theorem( 分解定理 ) とオイラー標数に対する積の性質から ■
![Page 19: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/19.jpg)
Sheaf cohomology からの定義 ( 補足 )
により 与える を用いて、 Euler 積分を
where
![Page 20: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/20.jpg)
§3. Target Enumeration( 問題の設定 )Target の集合:有限集合Sensor の集合 : (dense) Counting Function h: のセンサーは 内の target の個数のみ数える (target の id 認識などはできない )
![Page 21: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/21.jpg)
§3. Target Enumeration target α を認識できるセンサーの集合 (Target Support)
を満たす。このとき、( 証明は容易 )
![Page 22: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/22.jpg)
§3. Target Enumeration( 例 )1. Enumerating Vehicles:仮定 )各車両が曲線 にそって動くとするは可縮な近傍 をもつCounting function h:Sensor x が に入ったとき、 x はそのカウンターを increment
![Page 23: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/23.jpg)
§3. Vehicle Enumeration
![Page 24: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/24.jpg)
§3. Vehicle EnumerationProp用いて、先の定理からFubini ( 前 chapter) を用いると ok.
![Page 25: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/25.jpg)
§3. Target Enumeration( 例 )例 (Enumerate via beams)各 target : は凸集合Sensor: 各センサー Counting Function h : k-dim のビームで target を観測する→ Sensor Space = (Grassmannian でパラメトライズ )
![Page 26: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/26.jpg)
§3. Target Enumeration( 例 )Prop:(n, k) は ( 偶数 , 奇数 ) 以外のペアとする。このとき 証明)略を使って計算するだけ
![Page 27: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/27.jpg)
まとめ
![Page 28: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/28.jpg)
手で数えられなければEuler 積分しような
![Page 29: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/29.jpg)
4. 今日話せなかったこと ( 能力の問題 )• Z-value の constructible function から R-valued の definable
function に定義を拡張• (stratified)Morse Theoretic な解釈!!!!!!• 実際の問題では、 sampling が完全にはできない→ 上下限を与える / 期待値を求める。などが実際には行われる• duality• Microlocal Fourier Transformation
![Page 30: Euler 標数は測度ですか??](https://reader035.fdocument.pub/reader035/viewer/2022062306/587128001a28abe4448b6891/html5/thumbnails/30.jpg)
終わり