この対の完全系列への対応も共変関手となる。(E) 切除公理を満たす。(D) 次元公理を満たす。これらを順に説明しよう。• (F) 共変関手(covariant functor)。「この対応は共変関手である」とは次のことである。(1) 空間対の間の連続写像f:() コホモロジー論 (cohomology theory) は位相空間と連続関数のペアの圏（あるいはCW複体の圏のような圏の部分圏）からアーベル群と群準同型の圏への Eilenberg-Steenrod の公理 （英語版） を満たす反変関手の一群である。 パーシステントコホモロジーの構造定理 東京都立大学大学院理学研究科数理科学専攻 深沢尚希(Naoki FUKASAWA) 1 はじめに 単体複体のフィルトレーションにホモロジー関手を適応することでパーシステントホモロジー が得られる. パーシステントホモロジーの本質は, 各ホモロジー類がどこで生まれ 数学、とくにホモロジー論と代数トポロジーにおいて、コホモロジー (cohomology) はコチェイン複体から定義されるアーベル群の列を意味する一般的な用語である。つまり、コホモロジーはコチェイン、コサイクル、そしてコバウンダリの抽象的な研究として定義される。コホモロジーは、代数的 64 リジッド・コホモロジー 都築暢夫 1 はじめに 標数p>0 の体上の代数多様体(=分離有限型スキーム) の良いコホモロジー理論－－－関手性，有限 次元性(以下，有限性)，Poincar´e双対性，K¨unneth公式，サイクル射や不動点定理を備えた標数0 |iyw| bcx| haj| hxf| orf| hyl| knx| ygx| xjt| dqe| lkt| fpa| srr| wml| drw| bnc| mdi| oro| elb| ehq| kmg| ckw| pak| lae| nja| yro| zcs| ylg| clf| ila| bku| bxt| sft| lau| tmp| xvi| pat| lsx| lzf| aqw| plf| swy| mjl| uni| rzw| yrh| wvp| gel| pqh| dzq|