圏、特別な射
ここで、あまり深入りはしませんが、圏論的な全射、単射、全単射(双射)などの定義を示しておきます。
これらの概念は後々他の分野をやるときに独自の意味を持ってきますが、とりあえず集合で考える限りは、対象と射とはそれぞれ集合と写像のことであり、今までの全射、単射、全単射と同じものだと思ってよいです。
まず、圏を定義しておきましょう。
◆Def.SetTop.3.9.1.
圏 は対象の類
と対象間の射の類
からなる。
に属する射
は始域
と終域
を持ち、
と表され、
から
への射であるという。
から
への射全体をなす類を
で表す。
に対して、射の合成と呼ばれる二項演算
が存在して、次の性質を満たす。
・結合律
・単位律
を恒等射という。
Rem.1. 圏の定義では恒等射の存在を条件としましたが、実は恒等射が存在するならばただ一つであることがわかります。
も恒等射であるとすると、恒等射の性質より、
となります。
◆Def.SetTop.3.9.2.
圏 として、
を
の対象、
を
の射とする。
・ が右簡約である、すなわち任意の
に対して、
が成り立つとき、
は全射(エピ射)であるという。
・ が左簡約である、すなわち任意の
に対して、
が成り立つとき、
は単射(モノ射)であるという。
・ が全射かつ単射であるとき、全単射(双射)であるという。
・ が右逆射を持つとは、
で
となるようなものが存在することをいう。
・ が左逆射を持つとは、
で
となるようなものが存在することをいう。
・ が同型射であるとは、
で
かつ
となるようなものが存在することをいう。
Rem.2. 実は、 が右逆射と左逆射を同時に持つならそれらは一致し、
は同型射となることがわかります。
実際、 を
の右逆射とし、
を
の左逆射としましょう。すると、
となります。
次が成り立ちます。
◆Prop.SetTop.3.9.3.
圏 として、
を
の対象、
を
の射とする。
1. が右逆射を持つならば、
は全射
2. が左逆射を持つならば、
は単射
3. が同型射ならば、
は全単射
■Prf.
1.
に対して、
を満たす
を右から合成することで、
2.
に対して、
を満たす
を左から合成することで、
3.
が同型射ならば、右逆射と左逆射をもつから、全射かつ単射であるので、全単射である。 □
Rem.3. 実は、一般の圏では逆は成り立ちません。ただし、集合の圏(集合と写像からなる圏)では逆が成り立ちます。これは既に示しています。
特別な射に用いる記号
全射、単射、同型射のときは、写像に使われる矢印 に特別なものを用いることがしばしばあります。断りなしに用いられることも多いので、説明しておきましょう。
・ が全射のとき、
を
と表す。
・ が単射のとき、
を
と表す。
・ が同型射のとき、
を
や
などと表す。
が何であるかを問題にしないとき、しばしば
は省略され、
などと書かれることもある。
可換図式
対象と射があるとき、対象と射からなる図式というものを考えることができます。今は集合と写像の話をしているので、対象と射とはそれぞれ集合と写像のことだと思って頂いても構いません。
図式とは、例えば次のようなものです。
図式が可換である(可換図式である)とは、始点と終点が同じである図式のすべてのルートについて、射を順に合成していったときの結果が等しくなるときを言います。
例えば、
が可換であるとは、
が成立することであり、
が可換であるとは、
が成立することであり、
が可換であるとは、
が同時に成り立つことであり(このとき、 も成り立ちます)、
が可換であるとは、
がすべて成り立つことを言います。
可換図式を使うことで、対象と射が多い場合でもどのような射の合成が等しいかを視覚的に捉えられて有用であるため、よく用いられます。
図式が可換であることを、 を用いて、
のように表すこともあります。
ただ、複雑な図式になると をどこに入れたらよいかわからないことも多いので、当ページでは図式を書くときは常に可換であるものとします。というか、基本的に可換でない図式を書くことは当ページに限らずほとんどありません。
この記事へのコメントはありません。