redcat_math https://blog.hatena.ne.jp/redcat_math/ Red cat の数学よもやま話 https://redcat-math.hatenadiary.org/ 数学・基礎論 以前、集合論の公理系を用いて自然数の集合 を定義し、その上に加法と乗法という算法を定義しました(べき乗も定義しましたが、今回は特に使いません)。今回は、それを拡張して整数と有理数を構成してみます。 代数系 を集合とし、 を の部分集合とします(つまり は から への写像の集まりです)。このとき を代数系と言います。 は台集合、 は算法族と言います。特に のとき、 を単に と書き、これを を台集合とする 系と言います。既に知っているように は代数系です。 をこの代数系の台集合と見るとき、特に と書きます。特に を と表します。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fredcat-math.hatenadiary.org%2Fentry%2F20101118%2F1290051965" title="自然数から整数へ、そして有理数へ(その 1) - Red cat の数学よもやま話" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2010-11-18 12:46:05 rich https://redcat-math.hatenadiary.org/entry/20101118/1290051965 1.0 100%