圏論復習その1
圏論まとめ作ると宣言してから1週間経ってしまった。。LaTeX記法をどうやってはてなブログで使えるか調べてたら億劫になって放置状態になってました。今日こそ書きますが、初めての数式込みの投稿なので内容は薄めです。(あとついでにマークダウン記法にも挑戦)
1.1 圏の定義、反圏
まずそもそもの圏論の意義ですが、思いつくのは以下の2つです:
1. 異なる数学的対象の同一視を厳密に行う
1つ目は本にもある内容ですが、数学では異なる2つの対象が似た挙動を示すことが多くあります。例えばベクトル空間の同型を例にとると、とはの軸と軸で別物ですが1次元のベクトル空間としては全く同じ挙動を示します。
上の例は「ベクトル空間内での」同一視ですが、圏論は「数学的対象としての」同一視を行います。ベクトル空間という数学的対象が集合という数学的対象と同じものかどうか、という具合で同一視するレベルが一段上がっている訳です。
特に未知の数学的対象のなす圏が実はベクトル空間の圏と同型でした、とわかったりすると基底の存在やジョルダン標準形の存在など一気にわかることが増えて嬉しい訳ですね。
2. 脳筋で数学的操作ができる
2つ目は、上述のことから圏論は個別の数学的実態には依存しないので一般論で結構な程度数学的操作ができてしまいます。いちいち具体的に集合の元を取ったりしなくて良いので複雑な議論を一気に吹っ飛ばせるメリットがあります。
以上のお気持ちを述べた上で圏の定義が以下になります:
定義:圏(category)とは
- 対象(object)および
- 射(morphism)
の集まりであって次を満たすものをいう:
- 各射はdomainおよびcodomainという対象をもち、のように表される
- 各対象は恒等射(identity)を持つ
- 射に対して
- fのcodomainとgのdomainが一致している今のような状況では合成射が存在する
- 恒等射との合成は何も変化しない:
- 射の合成は推移的:
例として集合の圏やベクトル空間の圏がありますが、他にも自身を次のようにして順序集合の圏と見ることができます:
- 対象は実数
- 射は実数に対してならの射が存在する
また、圏に対して射の向きを全て反対にした反圏(opposite category)も定義できます。つまり圏の射に対して反圏の射はと定めます。 なんでこんな概念をわざわざ導入するかは後々わかってきます。端的には圏論の命題を1つ証明するとその双対的な命題も同時に証明できてしまうのが嬉しいのですが、具体例を見ないと理解できないでしょう。(自分も最初理解に困った)
次回は圏の間の射である関手や、関手の間の射である自然変換を定義します。おしまい!