けいじゅ＠日本ラショナルソフトウェアです.

私が知らないうちにめちゃくちゃ盛り上がっていましたね(^^;;;

In [ruby-list :13038 ] the message: "[ruby-list:13038] Re: signal
handler in Ruby ( was Re: Ruby Conference 0.3 where ? when ? ) ", on
Mar/20 17:18(JST) 中村暁史 writes:

>お世話になっております。 A.中村です。

>->ちゃちゃですが(^^;;;

さらにチャチャですが

>->順序集合であれば all a, b exits x, a < x < b が成り立つことが稠密の条件
>->ですので, すき間がないって表現はあっていますね.
>
>隙間がないわけじゃないけど、その隙間には幾らでも
>「あいだ」を探すことができるってことですかね。
>重箱の隅という台詞がまさにそれに該当するかも(笑)。

すき間がないわけじゃないって程すき間がないわけじゃありません. 実数に対
する有理数の場合なんてかなりすかすかな状態ですね

In [ruby-list :13045 ] the message: "[ruby-list:13045] Re: signal
handler in Ruby ( was Re: Ruby Conference 0.3 where ? when ? ) ", on
Mar/21 11:51(JST) GOTO Kentaro writes:

>ごとけんです

>>順序集合であれば all a, b exits x, a < x < b が成り立つことが稠密の条件
>>ですので, すき間がないって表現はあっていますね.
>
>稠密は位相空間の部分集合の性質です．

いや. 知っているんですけどね. 正確な定義をいってもね...

>実数の区間に対しては，上の条件は稠密の必要十分条件なので
>正しいわけですが，順序集合というのは変だというツッコミでした(^^;;;

一応, 順序集合に順序位相を入れた場合と断われば良かったですね. 

In [ruby-list :13049 ] the message: "[ruby-list:13049] Re: signal handler in Ruby ( was Re: Ruby Conference 0.3 where ? when ? ) ", on Mar/21 18:18(JST) 
Shin-ichiro Hara writes: 

>原です。

>|>順序集合であれば all a, b exits x, a < x < b が成り立つことが稠密の条件
>|>ですので, すき間がないって表現はあっていますね.
>
>これは all a, b, (a < b) exits x,  a < x < b ですか。

ですね(^^;;;

>それは正しいのですが、一方で「全順序集合の稠密性」というの
>もあって、定義はまさに石塚さんのです。

一応自然な定義ですものね.

>難し過ぎ。(^^; 集合に複数の位相が入る場合があることと、集合に
>離散位相を入れれば任意の(真の)部分集合は稠密でなく、密着位相
>を入れれば任意の(空でない)部分集合は稠密であると言いたいわけで
>すよね。多くの人に意味が分からないし、この説明を読んで意味の分
>かる人はもともと読まなくても分かっているのではないか、、、(^^;;

# 同感だなあ...

In [ruby-list :13054 ] the message: "[ruby-list:13054] Re: signal
handler in Ruby ( was Re: Ruby Conference 0.3 where ? when ? ) ", on
Mar/22 13:02(JST) Shin-ichiro Hara writes:

>原です。

>私も今回、数学辞典で確認したんです。(^^;
>あまりポピュラーじゃないですよね。順序位相による部分集合の稠密
>性とかぶって気持ち悪いし。

あれ? 同値になりません? そういうつもりだったんだけど...


__
................................石塚 圭樹＠日本ラショナルソフトェア...
----------------------------------->> e-mail: keiju / rational.com <<---