乗法
- 2022年5月3日
- 2022年5月19日
加法と乗法
- 対象
- 大学2.0年
- 前提知識
- 集合の基礎
- 写像
自然数の基本性質
を自然数の体系とします.前ページで以下を証明しました.
命題
をモノイドとする.任意の に対し,
さて,集合 に対し,写像 全体の集合 は,写像の合成に関して恒等写像 を単位元とするモノイドですので, の 回合成写像が 考えられ,上の命題も満たします.
言いたいことも言えないこんな4次元じゃ
を自然数の体系とします.前ページで以下を証明しました.
をモノイドとする.任意の に対し,
さて,集合 に対し,写像 全体の集合 は,写像の合成に関して恒等写像 を単位元とするモノイドですので, の 回合成写像が 考えられ,上の命題も満たします.