- 134 名前：現代数学の系譜11 ガロア理論を読む [2012/04/20(金) 05:36:59.03 ]
- >>133 つづき
ガロア群について、133を読んでも分からないだろう
普通ガロア本では、ガロア群の定義あるいは説明に至るまで１００ページほどを要する
それを圧縮して書かれているので、分かりにくい
そこで、このスレのスローガンでもあるまずは先に進むという方式を取る>>90
『Backward deduction』類似のトップダウンアプローチに近いのではないかと
（参考）
前スレ303より、”例えばグロタンが凄いのは『Backward deduction』ですよね。” by 猫さん
uni.2ch.net/test/read.cgi/math/1331903075/303
『Backward deduction』の意味が不明確だが、自分なりに解釈すると、トップダウンアプローチだと
（ dictionary.goo.ne.jp/leaf/ej3/22354/m0u/
goo辞書より「推論」「演繹」という意味）
つまり、普通は定義、公理から定理を積み上げて、最後の定理の証明に至る
しかし、グロタン師はヴェイユ予想から逆に必要な数学を逆算してエタール圏（下記）などを作り上げたと
ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E4%BD%8D%E7%9B%B8
グロタンディーク位相
代数幾何学のヴュイユ予想を解決するためにアレクサンドル・グロタンディークがエタール・コホモロジーを定義する際に導入された。
|
 |
