アンミカ風に始まりましたが,言いたいのは,付値には大きく分けて3つ,加法付値・乗法付値・指数付値があるということです.わざわざ言わなくてもわかると思いますが,減法付値・除法付値・対数付値なんてものはないので気を付けましょう.それではそれぞれ定義していきましょう.以下,
一つだけ命題を証明します.
指数付値において以下が成り立つ.
特に(4)より指数付値は加法付値であることが分かる.
(1)
(2)
(3)
(4)
指数付値の定義は参考文献[1]を参照してこれかな~って定義したものなので,もしかしたら正式な定義と異なっているかもしれません(特に,Wikipediaとかみると別の定義になっているのでどうなってんねんという人もいるかもしれません).ただ参考文献[1]に関する記事を色々出していきたいと思いますので,その兼ね合いもあって上のように定義しました.