楽しい圏論(その 4)
今後, などは単に と書きます. また, 射や函手の合成記号は省いて などと書きます.
自然変換の垂直合成と函手圏
圏 から圏 への函手 と自然変換 が与えられたとき, 垂直合成(vertical composition) を で定義します.
これが から への自然変換になっていることは, 次図の可換性から明らかでしょう.
自然変換の垂直合成は結合法則を満たし, これによって から への函手の全体は函手を対象, 自然変換を射とする圏になります. これを函手圏(functor category)と言い, で表します.
自然変換の水平合成
自然変換にはもう一つ, 水平合成(horizontal composition)と言われる合成があります. これは次図のように圏 から圏 への函手 と, 圏 から圏 への函手 , さらに自然変換 があるときに定義されます.
以下, 長くなるので折りたたみ.
楽しい圏論(その 3)
反変函手と双対圏
前回は函手を定義しましたが, もう一つ, 反変函手(contravariant functor)と言われるものがあります.
- が の恒等射ならば は の恒等射である.
- において が定義されているならば において が定義されており, である.
一つ目は通常の函手(共変函手(covariant functor)と言われることもあります)と同じですが, 二つ目が変わっていて, 反変函手の場合は射の合成の順番が入れ替わります.
反変函手は, 以下のような双対圏(dual category)の概念を導入することで, 共変函手と区別することなく扱うことができます.
を射のクラスとするとき, 双対射のクラス において と定めます. が恒等射ならば も恒等射です. となるように定めることで と表せます.
このとき
- は恒等射
- は定義されている
ので, です. 同様に です. よって は双対圏において に変換されます.
と を同一視することによって, 双対圏とは射の向きを逆にしたもの, と考えることができます.
双対圏を使うと反変函手 は共変函手 とみなせるため, 以下は反変函手もこの同一視によって単に「函手」と言うことにします.
自然変換
最後に自然変換を定義します.
二つの函手 があるとき, が自然変換(natural transformation)であるとは, 以下の公理を満たすことを言います.
- に対して
- に対して次図は可換である.
(標数 の体 上の)有限次元ベクトル空間 について とするとき, 「自然な」同型 があるのですが, この自然な, という意味は以下の通りです.
を で定めるとき, 任意の線形写像 に対して が成り立ちます. ただし 実際, 任意の と に対して
従って次図は可換になります.
以上の証明には が有限次元であることは使っていませんが, が有限次元ならば は同型写像になります.
元々は, このような現象を一般化する概念として自然変換を定義するべく, 函手や圏の概念ができていったようです.
記法の約束事
今後の記法に関する約束事です.
- 圏 : アルファベット大文字
- 対象 : アルファベット小文字 , 圏 の対象の全体は で表す.
- 射 : アルファベット小文字 , 圏 の対象 から への射の全体は で表す.
- 函手 : アルファベット大文字
- 自然変換 : ギリシャ小文字
楽しい圏論(その 2)
一ヶ月ほど間が空いてしまいましたが, ようやくブログを書ける状態になってきたので再開します.
函手の定義
を二つの圏(の射のクラス)とします. クラス関数 は, 以下の二つの公理を満たすとき, 函手(functor)であると言います.
- が の恒等射ならば は の恒等射である.
- において が定義されているならば において が定義されており, である.
をそれぞれ に対応する対象のクラスとするとき, に対して を
なる対象と定めることにより, はクラス関数 を導きます.
前回, 射の値域と定義域の話をしました. を満たす のことを と, また を満たす のことを と書くことにします.
命題 0.4.
(証明)*1
は恒等射で, かつ が定義されているから 同様に 以上から従う. ■
タネ本
何だか射の話ばかりが出てきて, 多分他の書籍で圏論を知った人は驚くかも知れませんが, これでちゃんと理論になっています. この方法にはタネ本があります.
- 作者: Peter Freyd
- 出版社/メーカー: Joanna Cotler Books
- 発売日: 1966/12
- メディア: ハードカバー
- この商品を含むブログを見る
(自分が持っているものとは出版社が違いますが, 中身は多分同じ ?)
この本では, 今回のようなやり方で圏と函手を定義しています.
特殊な圏
以下, 頻繁に(?)使用する特殊な圏をいくつか定義します.
射のクラスが空集合である圏を空圏と言い, で表します. もちろん, 空圏には対象も存在しません.
射のクラスがただ一つの恒等射だけからなる圏を で表します.
射のクラスが二つの恒等射 と, 恒等射ではないただ一つの射 の三つの元からなる集合である圏を で表します. これは後で述べるように, 集合 に通常の大小関係で定まる順序を入れた順序集合を圏とみなしたものと同じです.
射のクラスが
- 三つの恒等射
- 恒等射でない二つの射 とその合成
の 6 個の元からなる集合である圏を で表します. これも後で述べるように, 集合 に通常の大小関係で定まる順序を入れた順序集合を圏とみなしたものと同じです.
射のクラスが, 二つの恒等射 と恒等射でない二つの射 からなり, かつ であるものとします. この圏は で表します.
順序集合は圏である
が順序集合であるとは, 台集合 と関係 の組 が以下の条件を満たすことでした.
- (反射律) ただし は対角集合.
- (反対称律) ただし は逆関係.
- (推移律) ただし は関係の合成.
そこで, を射の集合として, 射の合成を で定めると, これを圏とみなすことができます. なる対応によって, を対象の集合とみなすことができます.
このことを使うと, 通常の数の大小関係による順序付けでもって
となることがわかります.
対象は函手であり, 射は函手である.
圏 の対象は函手 とみなすことができます. また の射は函手 とみなすことができます.
*1:タネ本では「特に証明することはない」と書いていますが, ざっくりと説明しておきます.
楽しい圏論(その 1)
今回から, 圏論について述べていこうと思います. Heyting 代数の話の中でも, 一部で圏論の一般論を適用してきましたが, それらを改めて確認する意味も込めて, 今回は
- 圏の定義
- 函手・自然変換
- 米田の補題
- 随伴函手
- 余極限と極限
を見ていきたいと思います.
圏の定義
をクラス*1とします.
を部分クラスとし, クラス関数 が与えられているものとします. のとき と書き, が定義されている(defined)と言います. のときは は定義されていない(undefined)と言います.
と の組が以下の公理を満たすとき, これを圏(category)であると言います. また, このとき の要素を射(map)と言います.
公理 1. において以下が同値である.
- と が定義されている.
- が定義されている.
- が定義されている.
- と が定義されていて常に等しい().
公理 2. 以下を満たす を恒等射(identity map)という.
「 または の少なくとも一方が定義されるならば, その定義されているものは常に に等しい.」
いかなる に対しても, を満たす恒等射 が存在する.
命題 0.1. が恒等射で と がともに定義されているならば
(証明) となるから, 公理 1 により は定義され, である. ■*2
命題 0.1 と公理 2 は, 以下の性質を満たすクラス関数 が存在することを示唆します.
- は恒等射である.
- が定義されている.
- を が定義されている恒等射とすれば
同様に, 以下の性質を満たすクラス関数 も存在します.
- は恒等射である.
- が定義されている.
- を が定義されている恒等射とすれば
命題 0.2. ならば, かつその時に限り が定義される.
(証明) only if について. であるから, 公理 1 により が定義される. 一方 も定義されており, も も恒等射であるから
if について. とおくと と がともに定義されているので, 公理 1 により も定義される. ■
命題 0.3. が定義されるならば
(証明) と がともに定義されているので, 公理 1 により が定義されており である. も同様に示される. ■
ここで, クラス を, その要素が の恒等射と 1 対 1 に対応するようなものとします. の要素は対象(object)と呼ばれ, に対応する の要素を で表すことにします.
に対して が の値域(range)であるとは, であることと定義します. また, が の定義域(domain)であるとは, であることと定義します.
命題 0.2 と 0.3 は, 集合間の写像に対して期待される性質を圏論の言葉に翻訳しています.
今後は, 圏 とは, 上記の性質を満たしているようなクラス と の組 であると考えることにします. とりわけ, 圏 の対象, ないし射であることを強調するときは と表記することにします.
に対して, を, 定義域が かつ値域が であるような射 の全体からなるクラスとします. であるとき, と表記します. しばしば と表記したり, また射 の表記を省略して単に と表記することもあります.
と の合成を と表記します. の代わりの表記として, 以下の可換図式を用います.
Catalan 数の計算について
Catalan 数のことは語らんよ ? …嘘です, ちょっとだけ語らせて !
先だって発売された新刊「数学ガールの秘密ノート/場合の数」に Catalan 数が登場する.
数学ガールの秘密ノート/場合の数 (数学ガールの秘密ノートシリーズ)
- 作者: 結城浩
- 出版社/メーカー: SBクリエイティブ
- 発売日: 2016/04/20
- メディア: 単行本
- この商品を含むブログ (2件) を見る
同書では, 二項係数を一度階乗を使って書き直して計算していたが, は最終的にそのままの形で残るので, 以下のように計算することもできる.
直観主義論理の入り口~Heyting 代数~(その 10・最終回)
完備 Heyting 代数
Heyting 代数は束として完備であるとき, 完備 Heyting 代数(complete Heyting algebra)と言います. 良く cHa などと略されます.
同様に Boole 代数が束として完備であるとき, 完備 Boole 代数(complete Boole algebra, cBa)と言います.
既に見たように, Boole 代数は Heyting 代数なので, cBa は cHa になっていますが, 実は無限分配律
を満たす完備束 は cHa となることが以下のように示されます. ただし に対して
と定義します.
と置くとき, 完備性により が存在します. このとき無限分配律が成り立つことにより
なので が成り立ち, したがって が存在するので は cHa.
Heyting 代数はなぜ直観主義論理への入り口なのか ?
今回, 「直観主義論理への入り口」と題して Heyting 代数を紹介してきましたが, なぜ Heyting 代数は直観主義論理への入り口なのでしょうか ?
既に見たように, (完備) Boole 代数では や と言った見慣れた式が成り立ちますが, (完備) Heyting 代数ではこれらの式は一般には成り立ちません.
古典論理は真偽値の集合を完備 Boole 代数に取ったものと考えられますが, もし, 真偽値の集合を完備 Heyting 代数に取ったらどうなるでしょうか ? そのような論理体系では, もはや排中律は成り立ちません.
これは一見すると少し変わった論理体系のように思えます. しかし, もう少し「人間的な」見方をすると, ある事柄 について, であることを確認する方法がなかったからと言って ではないと言い切るのは自然でしょうか ?
このように, 実は排中律が成り立たない論理体系の方が実は人間の感覚により近いのです. そして, それを数学の言葉で実現するための入り口が Heyting 代数なのです.
完備 Heyting 代数は層の理論の定式化にも用いられ, 必然的に層と直観主義論理は密接な関係にあります.
このあたりの話を知りたい方には, 以下の書籍をお勧めします.
- 作者: 竹内外史
- 出版社/メーカー: 日本評論社
- 発売日: 1978/01/20
- メディア: 単行本
- 購入: 3人 クリック: 39回
- この商品を含むブログ (17件) を見る
- 作者: 竹内外史
- 出版社/メーカー: 紀伊國屋書店
- 発売日: 2008/11
- メディア: 単行本
- クリック: 3回
- この商品を含むブログを見る
これらの書籍で用いられる圏の理論により詳しい書籍としては
Categories for the Working Mathematician (Graduate Texts in Mathematics)
- 作者: Saunders Mac Lane
- 出版社/メーカー: Springer
- 発売日: 2013/10/04
- メディア: ペーパーバック
- クリック: 4回
- この商品を含むブログを見る
和訳本もあります.
- 作者: S.マックレーン,Saunders MacLane,三好博之,高木理
- 出版社/メーカー: 丸善出版
- 発売日: 2012/07/17
- メディア: 単行本
- クリック: 25回
- この商品を含むブログ (4件) を見る
層の理論と論理学の関係については
Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)
- 作者: Saunders MacLane,Ieke Moerdijk
- 出版社/メーカー: Springer
- 発売日: 1994/11/01
- メディア: ペーパーバック
- クリック: 6回
- この商品を含むブログ (3件) を見る
補遺 : 古い束論の洋書などを参照する場合, Heyting 代数は "Brouwer lattices" という名称で紹介されています.
直観主義論理の入り口~Heyting 代数~(その 9)
前回に引き続き Heyting 代数の性質を見ていきます.
最小元 を持つ Heyting 代数 において と定義し, これを の擬補元と言うのでした. 今回は擬補元の性質を中心に見ていきます.
1. ならば
2.
の定義より明らか.
3.
2. より
4.
3. で を で置き換えると 一方で 3. に 1. を適用すると よって
5.
6.
これは長いので証明は省略.
4., 5. と前記事の 7. を使えば証明可能.
正則性
さて, は常に成り立つのですが, 等号 に関しては常に成り立つとは限りません. については, 以下の 2 条件が同値であることが分かります.
- となる が存在する.
は明らかですが, については
が上のいずれかの条件(したがって両方)を満たすとき, は正則(regular)であると言います. もし全ての が正則ならば, は Boole 代数であることが, 以下のように示されます.
と置きます. 定義により です. 分配則により
なので と がともに成り立ちます. 故に かつ が成り立つので すなわち
よって
以上により は の補元となり, は Boole 代数である.
Heyting 代数にはまだまだ面白い性質があります(6. のような弱い形での de Morgan の法則が強い意味で成り立つための様々な条件の同値性など)が, 一般論はここまでにして, 次回, 完備 Heyting 代数のお話をします.