自然変換

自然変換（しぜんへんかん、）とは、数学における「自然な同型」という概念の定式化として生まれ、その後圏および関手とともに圏論の中核を構成した数学的な対象である。圏論において自然変換は「関手の間の射」とも表現され、圏の構造の中で関手の像を別の関手の像へ変換させる対応として定義される。

関手  の間の自然変換  は、よい条件を満たす  の各対象によってパラメータ付けられた射の族  によって構成される。逆に、 の各対象によってパラメータ付けられた族  が関手の間の自然変換を構成する場合、射の族  は  で自然である (natural in ) とも表現される。

自然変換は圏や関手と並んで非常に基本的な構成物であり、随伴、極限、モナド、モノイド圏など多くの場面で自然変換、あるいは射の自然性は議論されている。

定義 
圏  と  に対して、 と  を  から  への関手とするとき、 から  への自然変換  (あるいは  と表記する) とは、 の対象でパラメータ付けられた  の射の族  であって、任意の  の射  に対して  を満たすもの、すなわち次の図式を可換にするものである： 自然変換  を構成するそれぞれの射  は  のコンポーネント () と呼ばれる。コンポーネントがすべて同型射であるとき、 は自然同型 () あるいは自然同値 () であるという。

上記の図式を考慮しない、単なる射の族  ( は  の対象からなる部分集合) を、 から  への infranatural transformation と呼ぶことがある。このとき、 から  への自然変換とは  の対象すべてをパラメータとする  から  への infranatural transformation  であって、任意の  に対して であるものと言い換えられる。infranatural transformation  に対して、コンポーネントに  を含むような自然変換を持つ最大の  の部分圏を  と書いて  のnaturalizerという。

例

直積の結合性 
集合 ,  に対して、集合の直積  とはそれぞれの要素を成分に持つ順序対からなる集合  である。ここで、3つの集合 , ,  に対して、 と  の2つの集合を考える。2つの集合は明らかに順序対のつけ方を変えただけのものであるため、同型を得る。この同型はさらに、, ,  のそれぞれに対して自然である。すなわち、写像 , ,  に対して等式  が成り立つ。このことは位相空間の圏 、群の圏 、小さい圏の圏  など、直積を持つ圏一般に成立する。

ベクトル空間の二重双対 

体  上のベクトル空間  に対して、双対空間 とは  から  への線形写像全体からなるベクトル空間である。このとき、 から二重双対空間  (すなわち、から  への線形写像からなる空間) への単射線形写像 がによって定まる。さらに  が有限次元であるとき、 は同型となる。明らかに  は  の基底に依らずに定まるため、逆写像である  も の基底に依らない。この意味で  は特別な線形写像であり、また有限次元の場合についてである。

線形写像  に対して、が  によって定まる。もう一度同じ操作を取ることで、が  と定まる。定義から、準同型の合成に対して が成り立つため、これによって二重双対はベクトル空間と線形写像のなす圏 (ベクトル空間の圏 ) 上の自己関手であることがわかる。

さらに、定義に沿って計算することで を得るため、 が成り立つ。以上のことから、 は恒等関手と二重双対関手の間の自然変換 (有限次元に制限した場合は自然同型) のコンポーネントとなることがわかる。

開集合と閉集合 
位相空間  に対して、 の開集合すべてからなる集合  と閉集合すべてからなる集合  を取る操作について考える。連続写像  の (互いに同値な) 定義から、 に対して開集合の逆像は開集合に、閉集合の逆像は閉集合に写る。ここから、2つの操作  と  は反変関手  と見なせる。

位相空間  の開集合  に対して、その補集合  は閉であり、また  の補集合は  自身である。これにより、各  と  の間に全単射を定められる。この全単射は  について自然であり、さらにコンポーネントはいずれも同型であるため、 と  の間に自然同型が存在するとわかる。

群拡大と因子団 
アーベル群の拡大   を考える。各  に対して、 を満たすような代表元を  で選ぶ。このとき、 の各要素は  () の形で表すことができ、特に  についてという形で表せる。このとき、 からの対応  は、アーベル群における群演算の可換性および結合性から、次の2条件を満たす。

 
 

逆に、写像  が上記2条件を満たすとき、これを  の  における factor set (因子団) という。因子団について、次の2つの事実が成り立つ。

 ある  の  における因子団  は、群の拡大  を1つ定める。
 点ごとの加算  によって、因子団の集合  はアーベル群をなす。

因子団によって定まる群の拡大は1対1対応ではないが、同値な群の拡大を定める因子団の集合は  上の剰余類をなし、結果として群の拡大たちの群  を  のある商群として与える。

以下、 はある自由群  の商群  とする。前段と同様に、 に対して代表元  を選び、それによって定まる  の  における因子団を  で表す。このとき、準同型  に対してとすると、 は  の  における因子団である。この対応はさらに、 から  への群準同型をなす。

いま、自由群の間の準同型  は  を満たすとする。このとき、 は  から  への準同型を誘導して、さらにこれは準同型  を導く。また、 の事前合成  は準同型  を定める。

以上の設定の下で、 が定める因子団の対応  および  はを満たす。この意味で  は自然な対応である。

ブール代数のウルトラフィルター 
補元  を持つ分配束  をブール代数という。二点集合 } に適切な演算を入れたものは最小のブール代数の構成となる。ブール代数の準同型  とは写像  であって、各演算の結果を保つものをいう。

ブール代数  のウルトラフィルターとは、 の真部分集合  であって、

 空でない (特に、1 を含む)
 ミート ∧ について閉じている ( ならば  である)
  のは  の部分をなす ( かつ  ならば  である)
  は極大である (上記3条件を満たす  が存在するならば、 である)

を満たすものである。このとき、 のウルトラフィルターは  から 2 への準同型と1対1対応する。

ブール代数とその間の準同型からなる圏を  で表す。このとき、対応  は  から集合の圏への反変関手  を構成する。他方、ブール代数の準同型  と  のウルトラフィルター  に対して、逆像  は  のウルトラフィルターであるため、これによって写像  を得る ( で  のウルトラフィルターの集合を表す)。これは  から  への反変関手であり、さらに同型 は  について自然となる。

(反例) 双対ベクトル空間 
双対ベクトル空間を取る操作は、ふつう反変関手  と見なされる (このとき  に対して  は先述の  で与えられる線形写像である) ため、恒等関手  との間の自然変換は定義上存在しえない。

別の考え方として、双対との間の「自然な」同型  が存在するならば、その満たすべき条件は、任意の線形写像  に対して  であると考えることができる (超自然変換節も参照)。これは自然性を示す可換図式のうち、 に相当する射の向きを反転させたものになる。 が同型であることから、等式の左辺も同型にならなければならないが、左辺の示す射が任意の線形写像に対して同型になるということはないため、この意味で双対ベクトル空間との間の「自然な」同型は存在しない。

歴史 
自然変換は、1940年代初頭の数学者が非形式的に使っていた「自然な」同型あるいは「自然な」同相射という概念の定式化として、1942年にアイレンベルグとマックレーンによって導入された。1945年にはこの2人によって "General Theory of Natural Equivalences" () が発表され、これによって自然変換の理論が定式化された。1940年代後半にはホモロジー論や抽象代数の分野においてこの概念が適用されはじめ、その後グロタンディークらによって代数幾何に、ローヴェアなどによって論理学に、その後も計算機科学、言語学、認知科学、哲学などの様々な分野において応用が見られるようになった。

自然変換および自然性は圏論における基礎的な概念の1つである。マックレーンは『圏論の基礎』の中で と記している。

自然変換の演算 
自然変換の間には代表して垂直合成 (vertical composition) と水平合成 (horizontal composition) という2種類の演算が存在する。2種類の演算について、垂直水平の方向はどの文献でも一致しているが、その記号は文献によって揺れが存在している。

垂直合成 
関手  の間の自然変換  ,  に対して、各コンポーネントの合成  は再び自然変換となる。そこでこれを  と  の垂直合成と呼んで、 (Mac Lane, Riehl) や  (Leinster, Awodey) と表記する。

定義から、自然変換の垂直合成は明らかに射の性質を継承して、結合律や単位元律を満たすことになるため、同じ型  を持つ関手とその間の自然変換は圏を構成する。これを関手圏と言い、 あるいは  のように表す。

水平合成 
圏  に対して、関手 ,  とその間の自然変換  ,  について考える。このとき、 に対して  の射  が取れて、これは  から  への自然変換をなす。これを  と  の水平合成と呼んで、 (Mac Lane) や  (Leinster, Riehl) で表す。

自然変換の水平合成に関して、関手に対する恒等変換をその関手の記号で省略することがある。すなわち、上記の例において、自然変換  や  を  や  で定義できる。従って、自然変換の水平合成に関して、等式  が成り立つ。

相互交換法則 
自然変換の垂直合成  と水平合成  に対して、相互交換法則 (interchange law) と呼ばれる次の等式が成り立つ。圏、関手と自然変換は、圏よりも高次の2次元的な構造を与える。このような構造を (ストリクト) と呼び、小さな圏の圏  (に自然変換を構造として付加したもの) は2-圏の代表的な例である。

米田の補題 

小さい集合の圏  へのHom関手  を持つ圏 (すなわち、局所的に小さい圏)  に対して、 の対象  を用いて  や  で表される関手、またはこれらと自然同型な関手を表現可能関手と呼ぶ。表現可能関手  は定義から自然同型  を (ある  に対して) 持つ。これはすなわち、全ての  の値  は、 からのある射と1対1対応するということである。このことは、米田の補題と呼ばれる次の主張に一般化される。

米田の補題は圏論において最も重要な結果であるとも評され、様々な帰結をもたらすとても基礎的な補題である。

応用例

随伴 

関手  と  に対して、 と  が随伴  であることは、自然な同型写像  によって定まる (このとき  は2つの関手  の間の自然同型を定めるコンポーネントとなる)。また、 と  が随伴  であるとき、随伴の単位および余単位と呼ばれる自然変換  と  が存在して、 は  への普遍射、 は  からの普遍射となる。単位および余単位が同型であるとき、 と  は圏同値であるため、この意味で随伴を持つ関係は圏同値の一般化と言える。

重要な随伴関手の例として自由関手と忘却関手、テンソル積  と hom関手  が挙げられる。

カン拡張 

関手  が与えられたとき、関手の前に  を合成する操作  もまた関手  となる。関手  と  に対して、 から  へ (あるいは  から  へ) の普遍射を構成する関手  と自然変換  () の組が存在するとき、これを  の  に沿った左 (右) カン拡張という。

圏論における極限、随伴、米田の補題を初めとした諸概念はカン拡張によって表すことができ、マックレーンは「すべての概念はカン拡張である」と述べている。

層理論 

位相空間  に対して、 上の前層とは、 の開集合  に対してそれぞれ集合  を割り当てる写像であって、開集合の包含  に対して制限 (と呼ばれる写像)  が存在して、よい条件を満たすものである。さらに任意の開集合、その開被覆  、および共通部分を互いに共有する  (すなわち、 を満たす) に対して、 を満たす  の存在が成り立つとき、そのような前層を層という。

開集合族は包含関係について半順序をなすため、圏論的に捉えると前層とは  への反変関手  と思うことができる。このとき、前層 (層) の間の射を関手の間の自然変換として定義できる。従って、関手圏がそのまま前層の圏  となり、層の圏はその充満部分圏を構成する。

数学において「局所から大域へ」という状況が数多く存在するために、層理論は代数幾何を始めとした数多くの分野と影響を及ぼしあっている。

普遍代数 
有限順序数の集合 } を対象の集合とする、 の充満部分圏を  で表す。また、 の余積 (すなわち集合の非交和) を  の余積として導入する。

余積を持つ圏  は、対象について同型であってさらに余積を保つ関手  を備えているとき、代数理論であるという。型  の代数とは、積を保つ集合値反変関手  である。層の時と同様に -代数の準同型は自然変換として定義できて、代数の圏は関手圏  の充満部分圏として定義される。

超自然変換 
圏 , , ,  と関手 ,  に対して、 から  への超自然変換 (特別自然変換、英：)  とは、, ,  でパラメータ付けられた射の族  で、任意の射 , ,  に対して以下の図式が可換になるものをいう。

それぞれの可換図式は、 に対する自然性、 と  の、それぞれ  および  に対する特別自然性 ( ではこのことを特別自然変換と呼ぶ) を表している。

超自然変換のうち、特にどちらかが定数関手である場合、特殊な(余)極限としておよびが定まる。エンドやコエンドはhom関手と関連性があり、例えば豊穣圏論では豊穣圏の「関手圏」を定義するためにエンドを用いている。

脚注

注釈

出典

参考文献 

 

 
 
 
 
 

 
 

 
 
 

圏論
関手
数学に関する記事