実数の性質

質問

x>0 ならば x^(-1)>0
を証明しようと思い、それにあたっていくつかの仮定を置き証明しました

仮定のうちいくつかはより自明なことから導けるのではないかと思っています
このような分野に詳しい方がいらっしゃいましたらアドバイスいただけないかと思い質問します

(1)R上で定義される四則演算のうち和と積について交換法則、分配法則、結合法則が成り立つ
すなわちx,y,z∈Rについて
　　x+y=y+x , xy=yx
　　x(y+z)=xy+xz
　　(x+y)+z=x+(y+z) , (x*y)*z=x*(y*z)

(2)Rは零元0,単位元1をもち、x∈Rについて
　　x+0=x
　　x*1=x

(3)0でないRの元xに対してx*x^(-1)=1となるx^(-1)∈Rが存在する

(4)0でないRの元xに対してx+(-x)=0となる-x∈Rが存在する

(5)x>0 ならば -x<0

(6)x,y>0 ならば x*y>0

(7)x*0=0

(8)x<y,z>0 ならば xz<yx
　x<y,z<0 ならば xz>yz

これらについてなにか本質的なことを教えていただけるとありがたいです

回答No.1

ojisan7 · ベストアンサー

（１）から（８）の性質は、実数の性質というよりは、順序（全順序）をもつ可換環Ｒの性質として捉えたほうが良いと思います。順序の定義方法については以下のようにしたらどうでしょうか。

乗法群Ｋ⊂Ｒ（実際には、x>0となるxの集合をＫと思えば良いと思います）が存在するとき、

　a>b (a,b∈Ｒ) ⇔ ∃δ∈Ｋ　st.　a＝ｂ＋δ　

とします。このように順序「>」を導入すると、不等式の性質は等式の性質から全て導くことがでるはずです。実際に確かめてください。