積に関する性質 今度は積に関する性質を見ていきましょう。 (1) は定義からわかりますので、 を数学的帰納法で示しましょう。 は定義から直ちにわかります。 なので となりますから、数学的帰納法により です。 (2) は定義と和の性質から導かれます。 を数学…

和に関する性質 前回定義した自然数の和に関する性質を見ていきます。 (1) なので、 となることを数学的帰納法で示します。まず です。次に とすると となって が成り立つので、数学的帰納法により となります。これは、 が恒等写像であることを意味していま…