|
グロタンディーク位相(Grothendieck topology)とは位相空間上の開集合系が成り立つ性質を公理化し、圏の上に定義された一般化された位相のことである。またそのような位相を持つ圏を景(けい、site)といい、その位相を用いることにより位相空間上での層の理論が使えてコホモロジー理論を得ることができる。歴史的には代数幾何学のヴュイユ予想を解決するためにアレクサンドル・グロタンディークがエタール・コホモロジーを定義する際に導入された。 ==定義== ファイバー積を持つ圏''C''の各対象''S''に対し、次の公理を満たす被覆(covering)と呼ばれる射の族が定義されるとき、圏''C''にグロタンディーク位相が定義されたといい、その位相の構造も含めて圏''C''を景と呼ぶ。 #同型射は''S''の被覆である。 #が''S''の被覆であるとき、任意の射から誘導される射の族は''U''の被覆である。 #を''S''の被覆とし、おのおのの''Ti''の被覆をとする。このときこれらの合成は''S''の被覆である。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「グロタンディーク位相」の詳細全文を読む スポンサード リンク
|