はじめに
タイトルに書いてあることを示します.
自分で勉強したことを整理するために書いてある面が大きいので,いろいろ省略されています.
気になる部分があればコメント欄などに書いてください.
最小上界
を半順序集合とし,とする.
が次の2つの条件を満たすとき,sをの最小上界と呼ぶ.P
- 任意のに対し,
- 「任意のに対し,」を満たす任意のに対し,
ここで,がの部分集合であるとは限らないことに注意してください.
に代数的な構造が入っているかどうかは一切わからないため,「任意のに対し,あるが存在して」のような定義はできません.
普遍射
残念ながら,圏論の話が始まります(タグに圏論ってありますしね)
普遍射
を圏,を関手とする.また,をの対象,をの対象,をの射とする.
が次の条件を満たすとき,からへの普遍射と呼ぶ.
- 任意のの対象およびの射について,の射であって,を満たすものがただ一つ存在する.
※可換図式を書くのが面倒そうだったので,いつかやる気が出たら追加します.
普遍射はコンマ圏における始対象であるので,次のことが成立します.
大事です.
余積(特殊ケース)
余積(特殊ケース)
を圏とし,を対角関手とする.また,をの対象とする.
このとき,からへの普遍射を余積図式と呼ぶ.
また,を余積対象と呼び,と書く.
余積は普遍射なので,次のことが成り立ちます.
大事です.
余積
対角関手
を圏,を離散圏(集合のこと)とする.このもとで,対角関手を,
で定める.
ここで,には恒等射以外の射は一切存在しないので,の対象(すなわち関手)はの対象の行き先だけで完全に決定されます.そこでの対象を写像っぽくと表しています.
また,の射に対し,はからへの自然変換である必要があります.そのコンポーネントは,に対し,となります.単純ですね.
とすれば特殊ケースの対角関手が得られます.
余積
を圏,を離散圏とし,をの対象とする.
このとき,からへの普遍射を余積図式とよび,と書く.
もちろん,以下が成り立ちます.
最小上界は存在すれば一意である
この節は添字が気持ち悪いので,読む際は気を付けてください.
半順序集合は圏と見なせるのでした.したがって,余積の話が適用できます.
を半順序集合(を圏と見なしたもの),は適当な集合とします(たとえばやと思えばよいです).
このもとで,をの適当な対象(すなわち,を添字集合とする上の点列)とします.また,から対角関手への普遍射が存在すると仮定します.
すると,次のことが成立します.
- 射が存在する.
- の任意の対象tおよび射に対し,射が存在する.
ここで,半順序集合を圏と見なした場合,対象の間の射は高々1つでした.そのため普遍射の条件である「射がただ一つ存在する」を単に「射が存在する」と書いていることに注意してください.
これらのことは,次のように解釈できます.
- 任意のに対し,である.
- 「任意のに対し」を満たす任意のについて,である.
したがって,この余積対象はの最小上界となっています.
余積対象は「同型を除いて」一意でしたが,半順序集合を圏と見なした場合,反対象律により,「同型」は「完全に一致」を意味します.これで最小上界の一意性が示されました.
おまけ1:最小公倍数の一意性
とし(ここで,はがを割り切るという半順序),を適当な有限順序数とします.
このときに対し,の最小上界とはに属するすべての数の最小公倍数のことですから,最小公倍数に対しても余積の話が適用できます.
これにより,任意の有限個の自然数の最小公倍数が一意に定まることが示されました.
おまけ2:最大下界の一意性
双対性原理により,最大下界の一意性も自動的に従います.
おわりに
最小上界が存在する条件や,より一般に余積が存在する条件も知りたいですね.
間違いや分かりにくい点などはコメント欄で指摘してください.
更新履歴
- 2023/12/07 : 普遍射の定義において、誤った関手の定義を修正しました。コメント欄でご指摘してくださったハッピーターンさん、ありがとうございます!