徳山 豪 東北大学 Geometry that professors love 博士たちの愛する幾何.

Slides:



Advertisements
Similar presentations
第 5 章 2 次元モデル Chapter 5 2-dimensional model. Contents 1.2 次元モデル 2-dimensional model 2. 弱形式 Weak form 3.FEM 近似 FEM approximation 4. まとめ Summary.
Advertisements

1. 補間多項式 n 次の多項式 とは、単項式 の 線形結合の事である。 Definitions: ( 区間, 連続関数, abscissas (データ点、格子点、差分点), 多項 式 ) Theorem. (補間多項式の存在と一意性) 各 i = 0, …, n について、 をみたす、次数が高々 n.
Essay writing rules for Japanese!!. * First ・ There are two directions you can write. ・よこがき / 横書き (same as we write English) ・たてがき / 縦書き (from right to.
・力のモーメント ・角運動量 ・力のモーメントと角運動量の関係
豊中高校土曜講座「数学セミナー2003」 プラトン多面体の数学 なぜ正多面体は5種類しかないのか 大阪府立豊中高等学校 深川 久.
東邦大学理学部情報科学科 白柳研究室 小泉宏美
英語勉強会.
THE CONTINUOUS IMPROVEMENT MODEL called ADEC
曲面上のグラフの彩色 ~種数の増加,面の制限及び局所平面性~
形状を平行移動や回転移動させて位置を変えたり,拡大・縮小して変形させる方法を説明する.
剛体の物理シミュレーション は難しい? 佐藤研助手 長谷川晶一.
「2次方程式を利用して、いろいろな問題を解決しましょう。」
    有限幾何学        第5回.
Probabilistic Method.
    有限幾何学        第12回.
Object Group ANalizer Graduate School of Information Science and Technology, Osaka University OGAN visualizes representative interactions between a pair.
Paper from PVLDB vol.7 (To appear in VLDB 2014)
5年  面積.
Semantics with Applications
多変数関数の積分(6/3~24) 重積分(2重積分) 第6章(§5は除く) 重積分の定義 「連続関数は積分可能」
4章 平行と合同 2 多角形の外角の和.
Licensing information
Who Is Ready to Survive the Next Big Earthquake?
Did he/she just say that? Get your head out of the gutter! Oh wait….
A First Course in Combinatorial Optimization Chapter 3(前半)
拡張タングラムとラッキーパズルの凸配置について
学習の流れ 本時のねらい 「2次方程式を利用して、いろいろな問題を解決しましょう。」 ↓ 課題の提示 カレンダー 図形での活用場面4
博士たちの愛する幾何 徳山 豪 東北大学 Geometry that professors love
博士たちの愛する素数 徳山 豪 東北大学 Prime numbers that professors love
本時のねらい 「相似の意味と性質を理解し、相似な図形の辺の長さや角度を求めることができる。」
博士たちの愛する線形代数 徳山 豪 東北大学 Linear algebra that professors love
三角形や四角形ではない図形の 角の大きさの和を求めよう。.
中学校2年生 数学科 図形の性質.
OpenGLライブラリを用いた3次元フラクタルの描画
ピタゴラス(Pythagoras)の定理
G99P043-4 河邊昌彦 G99p094-1 内藤一兵衛 G99P146-1 八幡淳
平行線と面積 平行な直線と面積の 関係を考えます。.
古代の難問と曲線 (3時間目) 筑波大学大学院 教育研究科 1年                 石井寿一.
b f c a d e g h a b c d e f g 図1 図2 2012年度 有限幾何学 期末試験
東北大学大学院情報科学研究科 教授 西関 隆夫
5 図形と合同 1章 三角形 §1 二等辺三角形         (4時間).
変換されても変換されない頑固ベクトル どうしたら頑固になれるか 頑固なベクトルは何に使える?
中学数学1年 5章 平面図形 §2 作図 (3時間).
Additive Combinatrics 7
正多角形の作図 プログラミングで多角形を描く方法を考えよう 1時間目.
三角錐の体積(積分学まで待たねばならないか?)
学 正多角形のどんな性質を使えば,プログラミングで正多角形を描くことができるだろうか。
5 Recursions 朴大地.
2019/4/22 Warm-up ※Warm-up 1~3には、小学校外国語活動「アルファベットを探そう」(H26年度、神埼小学校におけるSTの授業実践)で、5年生が撮影した写真を使用しています(授業者より使用許諾済)。
本時の目標 いろいろな立体の体積を求めることができる。
資料 線型変換のイメージ 固有値、固有ベクトル 平賀譲(209研究室) 資料
第1回、平成22年6月30日 ー FEM解析のための連続体力学入門 - 応力とひずみ 解説者:園田 恵一郎.
中3数 三平方の定理の計算 三平方の定理の逆 中学校 3年数学 三平方の定理 授業第2時に実施する。
第16章 動的計画法 アルゴリズムイントロダクション.
5年 算数 「面積(平行四辺形)」.
    有限幾何学        第5回.
Created by L. Whittingham
A02 計算理論的設計による知識抽出モデルに関する研究
博士たちの愛する円周率 徳山 豪 東北大学 “PI” that professors love
PROGRAMMING IN HASKELL
Additive Combinatorics輪講 3章前半
行列 一次変換,とくに直交変換.
指令1 三角形の謎にせまれ!.
PROGRAMMING IN HASKELL
平成16年2月23日月曜日3校時 福嶺中学校コンピュータ室 山口 勇一
博士たちの愛する組合せ論 徳山 豪 東北大学 Combinatorics that professors love
問2 次の問に答えよ. (ただし,握手補題,オイラーの定理,Oreの定理 は授業で紹介したものとする) (1) 握手補題を書け.
下の図のように、直角三角形と正方 形が直線ℓ上に並んでいる。 8cm 8cm ℓ 8cm 8cm.
点素パス問題に対するアルゴリズム 小林 佑輔 東京大学 大学院情報理工学系研究科 組合せ最適化セミナー 2012 年 7月 13日
本時の目標 いろいろな立体の表面積を求めることができる。
Presentation transcript:

徳山 豪 東北大学 Geometry that professors love 博士たちの愛する幾何

Table of contents Enchantment of Geometry Ideas by some famous mathematicians  Problem of equidecomposablity Can you always solve the angram puzzles  Theorem of Bolyai-Gerwien  Questions by Gauss and Hilbert The third problem of Hilbert Why we need to learn modern mathematics?  Spectacular Idea of Dehn Dehn invariant How number theory and group theory comes from geometry What is geometry for modern mathematicians? Joy of generalizing mathematical theorems

Equidecomposability 分割同値性 If we have two polygons P and P’with the same area, what relations do they have? Equidecomposability problem Is it always possible to decompose P into a finite number of polygonal pieces, and construct P’ by using the pieces? 面積の等しい多角形は常に分割同値か?

Tangram puzzle

Bolyai-Gerwien’ s theorem(1832) Any two polygons with the same area are Equidecomposable Easiest example

演習問題による証明 Solution by a series of exercises 面積1で、底辺の長さが有理数である三角形は単位正方形と分割同値であることを示せ 任意の面積1の長方形が単位正方形と分割同値であることを示せ 上の事実を用いて、任意の2つの面積が等しい多角形が分割同値であることを示せ

分割同値性の意味 Gauss: Different in 3D space 二次元の幾何では、『面積』が図形を分類する。辺の長さが無理数でも、あるいは超越数でもかまわない 二次元の幾何では、分割、移動、全体図のスケールで全ての図形が移りあい、「形」を自由に変えられる 図形の面積とは何か? それは、その図形と分割同値な正方形の大きさである。  Gauss: Different in 3D space 三角錐の体積の公式をどうやって小学生に教えるか?  (How to teach the volume formula of tetrahedra?)

Hilbertの第三問題 Hilbertの23の問題(1900) 現代数学をリードした数学プランの策定          (計算理論でこんなことができるだろうか?) 連続体仮説、リーマン予想などなど 第3問題: 底面と高さが同じである三角錐の体積が等しいことを分割同値で証明できるか?  1900年の内に解決した、もっとも「易しかった」問題 拡張した言い換え: 2つの体積の同じ多面体はかならず分割同値か?  Dehn(22歳)による解決:  体積1の正4面体は単位立方体(あるいは3つの直交軸を持つ体積1の三角錐)と分割同値でない 実はこの問題は数論の問題である。

Dehnのアイデア1 多面体Pの辺e について、2つの量を考える。 1: e の長さ l(e) 角度は2πを法として考える。  3: 対(l(e), θ(e) mod 2π)を上手に使おう 

Dehnのアイデア2 前記の対において、有理数qに対しては(a,qθ) と (qa, θ)とが同じと思おう。 2次元のイメージ図: 面積不変、分割も簡単 3次元の場合でも、辺の長さがc倍で角度1/cだと、辺の周りでの体積は不変に思える(これは動機なので、当面証明不要) qθ θ a qa

有理数体Q上のテンソル積: ほとんど掛け算と同じだが、少しだけ制限がある 例: 

Dehn不変量 定理: PとP’が分割同値なら、f(P)=f(P‘) 補題: Pを2つの多面体P1とP2に分割すると、 理由は白板で。 定理: PとP’が分割同値なら、f(P)=f(P‘) つまり、Dehn不変量が異なる多面体は互いに分割同値でない

Dehn不変量の異なる等積図形 立方体のDehn不変量は0 辺の長さが1である正四面体のDehn不変量は cos(qπ)=1/3 になる有理数qはない(簡単な数論)

Dehnの定理の意義 面積と体積は本質的に違う 三角錐の体積を求めるには本質的に解析的考察(微積分または連続変形)が必要 二次元の場合は、面積が(分割同値における)唯一の不変量 三次元だと体積だけだと不十分

さらに進んだ問題 体積とDehn不変量が同一なとき、分割同値かどうか判定する手段はあるか? この手の問題は難しい:グラフの同型判定など 65年後、Sydlerにより、群論を用いて解決 Dehn不変量が同一な等積多面体は分割同値である アルゴリズムは?  Dehn不変量の計算と比較  同一のDehn不変量を持つ場合の分割法の提出  多分、未解決でかなり難しいと思われる  二次元の場合の最小分割: NPか? NP困難か?

更に更に進むと 不変量と変換 図形の同相変換 グラフの同型 不変量: ホモロジー、 ホモトピー  図形の同相変換  不変量: ホモロジー、 ホモトピー  球面と同一のホモロジーをもつ、球面と同相でない曲面がある(エキゾチック球面)  球面と同一のホモトピーを持つ局面は球面と同相である:   ポアンカレ予想(1904)、Perelman(2003)が証明したらしい Thurston program グラフの同型 不変量: 頂点次数列、近傍次数など 決定的な不変量が見つかっていない

幾何とは何か 図形の分類 分類した図形の性質の究明 中心理念:分類した族には、美しい(対称性の高い)代表が居る 中心理念の破れ 形と面積による分類 合同、相似 変形を許した分類: 線形変換、一般変換 中心理念:分類した族には、美しい(対称性の高い)代表が居る 正方形、円、正多角形 中心理念の破れ 正7面体はなぜ存在しないか?  F.Klein の「Erlangen目録」 「美しさ(対称性)は群論で測る」

現代の幾何 計算幾何学 不変量を用いた分類 (Dehn不変量は一例) 不変量を用いた分類と図形の『形』の対応 群論を用いた『美しい』代表図形(対称空間) 計算幾何学 組合せ構造を用いた分類 (非常に豊富で多彩) 分類を行うアルゴリズムの設計と解析 幾何の中心理念とは少し離れた見地

おまけ:時間があったら遊びましょう 幾何の定理があったら拡張してみましょう 拡張することによって数学は広がる  幾何の定理があったら拡張してみましょう  拡張することによって数学は広がる  計算幾何学に繋がるものがあるかどうか考えて見ましょう

簡単な定理を見直そう(外心と内心) X a/2 a/2 X c/2 c/2 b/2 b/2 課題:  これらの概念を一般化、もしくは変形してください。

一般化の方向 二次元 → 高次元 3角形、あるいは3点 →n角形、n点 二等分⇒3等分、n等分 数学の定理 二次元 → 高次元  数学の定理  内心、外心に関連した定理、例えば正弦定理はどのようになるだろう?(徳山は良く知らない) 3角形、あるいは3点 →n角形、n点  計算幾何学へ アイデア次第でいろいろな一般化があるはず 二等分⇒3等分、n等分 あとは白板でやりましょう