[ruby-dev:1775] Re: infinity

前田です。

In message "[ruby-dev:1774] Re: infinity"
石塚圭樹 <[e-mail]> wrote:

|>1.0 / Infinityも+0.0であって0.0ではないのではないでしょうか。
|>極限値を求めるような演算は例外ということで良いと思うのですが。
|
|それをいうと他のものも例外になってしまうので, いつも安全な結果が出るも
|のは認めても良いともいます.
|
|+0.0なんて書き方をしたのが良くなかったですね. 極限をとるという意味で書
|きました.
|
|lim(x->+0) 1/x = +∞, lim(x->-0) 1/x = ∞ 
|
|なので lim(x->+0) 1/x は求まりません.
|
|lim(x->∞) 1/x = 0
|
|はどのようにやっても結果は変わりませんので良いと思うんです. 

1 / ∞が0になると、∞ * (1 / ∞)が0になって困るかなと思ったのですが、
∞ * 0は例外なのですね。

lim(x->∞,y->+0) x * y

は不定だと思うのですが、

lim(x->∞) x * 0

というのは0のような気がしますが、どうなんでしょう。

|>Infinityに対しては比較演算しか許さないというのも、それはそれで
|>すっきりしているような気がしますけど...。
|
|それがですね.
|
|こういう話しをし出すと, それよりも比較の方が危険ですよね.
|
|lim(x->∞, y->∞) x - y --> 不定
|
|これだと, 話しになりませんので, 極限の意味ではなくて以前原さんがいった
|意味での無限と捉えることにしましょう. 

あ、僕が言いたかったのは普通の数値との比較のためだけにInfinityを
用いることができるようにする、ということでした。
つまり、最初のふなばさんの例のように便宜的に無限大を指定したい時
に使う定数としてInfinityを定義する、という意味です。

-- 
前田 修吾