解決済み

ガウス記号について。

[y]<0    y<0[y]<0 \iff y<0

は成り立ちますか?(正や0以上、0以下も同様ですか?

ベストアンサー

ベストアンサー

(1)

 [y]<0    y<0[y] < 0 \iff y < 0 は成り立ちます.

(証明)y=y+εy = y' + \varepsilonyy' は整数,0ε<10 \leq \varepsilon < 1)とする.[y]<0[y] < 0 ならば,y<0y' < 0 であり,yy' が整数ゆえに y1y' \leq -1; よって y+ε<0y' + \varepsilon < 0.逆に,y<0y < 0 ならば y+ε<0y' + \varepsilon < 0 であり,y<ε0y' < -\varepsilon \leq 0


(2)

 [y]0    y0[y] \leq 0 \iff y \leq 0 は,()(\Longleftarrow) については成り立ちますが,()(\Longrightarrow) については y(0,1)y \in (0,1) のときが反例になります.


(3)

 [y]>0    y>0[y] > 0 \iff y > 0 は,()(\Longrightarrow) については成り立ちますが,()(\Longleftarrow) については y(0,1)y \in (0,1) のときが反例になります.


(4)

 [y]0    y0[y] \geq 0 \iff y \geq 0 の成立は (1) と同じように証明できます.


質問者からのお礼コメント

質問者からのお礼コメント

初めての文字の置き方を知れて良かったです。ありがとうございました。

そのほかの回答(0件)

関連する質問

もっとみる