多様体の圏数学の一分野である圏論において Cp-級多様体の圏(たようたいのけん、英: category of manifolds)Manp は、すべての Cp-級可微分多様体を対象とし、すべての Cp-級可微分写像(p-回連続的微分可能写像を射とする圏である。二つの Cp-級写像の合成はやはり Cp-級となるから、確かにこれで圏が得られている。 しばしば特定の圏 A に属する対象をモデルに持つ多様体(A における多様体対象)のみを考えたいという場合が生じる。そのような限定された意味の多様体の成す圏は Manp(A) のように書き表す。同様に特定の空間 E の上で定められる多様体の成す圏を Manp(E) と書く。 滑らかな多様体の圏 Man∞ や解析多様体の圏 Manω も同様に考えられる。 具体圏として御多分に漏れず、多様体の圏 Manp は具体圏である。すなわち対象は集合に構造を加えたもの(いまの場合は位相とCp-級可微分構造を定めるチャートの成すアトラスの同値類)であり、かつ射はその構造を保つ写像になっている。可微分構造を忘れることにより、各多様体にその台となる位相空間を対応させ、可微分写像を台となる連続写像に対応させる位相空間の圏への自然な忘却函手 U: Manp → Top が得られる。同様に集合の圏への自然な忘却函手 U′: Manp → Set が、各多様体を単にその台となる集合と見て、可微分写像を単に写像と見ることで与えられる。 参考文献
外部リンク |
Index:
pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve
Portal di Ensiklopedia Dunia