直積と直和
読書とは関係ないが、直積と直和について。直積は比較的馴染みがあるが、直和と言うと、線形代数では「有限のときは同じだから直積と思ってください」などと言われて、じゃあ直積でいいじゃない、などと思っており、どんな違いがあるのかよくわかっていなかった。直積と直和が異なる例として
オブジェクトを 、 のとき と定めた圏において、 と の最大公約数が直積に相当し、最小公倍数が直和に相当する。
と の直和は disjoint union になり、直積と異なる。(集合論的な直和)
を考えた。直積は攻めで直和は受けのイメージ(直積は矢印の根元になりやすく、直和は矢印の先の方になりやすい)が少し掴めた。(ある先生は直積を最弱いじめっ子、直和を最強いじめられっ子と説明していた)のとき、( と は の約数)なる整数 に対して ( は の約数) が成り立つ。(図式を書いてみる) は と からの矢印を受ける数のうち最小のものと言える。これは を意味する(何かの本で普遍性を、特定の性質を持つものがアイサツをしなければいけないもの、と説明されていたが、最小公倍数の例でいくと、 と の公倍数は を経由して達成できると解釈できる、また と の矢印を受けられるもののうち最小、すなわち最強いじめられっ子)。最大公約数の場合、 とすると なる に対して、 これは が と の最大公約数であることに他ならない。(図式をかく、最小公倍数の方は を上に、最大公約数の方は を下にして図式を書いた方が感覚が掴みやすいかも)( と に矢印を出せるもののうち最大のもの、すなわち最弱いじめっ子)
なんとなく直和と直積の違いがわかってきた。直和から出る射は考えやすいが、直和に入る射は考えにくい。逆に直積に入る射は考えやすいが、直積から出る射は考えにくい。というふうに言うこともできる。
ベクトル空間の直和と直積について、有限個の場合この2つは等しくなるが、それは という射が定まるかどうかによる。(図式を書いてみる)有限のときは何事もなく定まるが、無限のときはこの和が定まらない。(なので、有限個を除いて 0 の直積と考えられる。)直和という名前はこの射が和で書けるというようなところから来ているかもしれない(そうでなかったとしても整合性が取れている)。
是非覚えておきたいので投稿しておくことにしました。