No.2ベストアンサー
- 回答日時:
稠密(dense)というのは本来、位相空間の部分集合に対していう言葉です。
したがってそういう広い意味でいう定義と、もうひとつ実数の場合によく使われる定義が存在します。おそらくそういうことで混乱されているのではないかと思います。違ったらごめんなさい。数学で同一の概念を複数の仕方で定義することはよくあります。そしてそのあとに定理という形でそれらの定義が互いに同値であることを証明します。したがってどちらの定義を採用しても同じことを言っていることになるわけです。馬鹿らしく思われるかも知れませんが、これはとても重要なことで、たとえばある概念をより広いクラスに適用したり、あるいはその定義の持つ意味を深く理解する助けになったりします。出来ればいろいろな本にある定義を比べてみて、それらが実は同じようなことを意味しているのだな、と考えてみられることを勧めます。それが理解を深めることにつながると思います。
まずより普遍的な定義を与えておきます。実数Rの部分集合AがRの中で稠密(dense)であるとは、Rの任意の元がAの元で近似できることです。たとえばRの中でQは稠密ですが、それは任意の実数の小数展開が近似列を与えるからです。
もうひとつRの部分集合Aが稠密であるということを、Rの任意の異なる2元a<bの間に、少なくともひとつAの元が存在する、で定義することがあります。aとbが離れていたらあまり意味はありませんが、どれだけaとbが近づいても、やはりその間にAの元がひとつは必ず存在する、というわけです。
とにかくまず強調しておきたいのは、稠密という概念は、「ある集合の中にある部分集合が稠密に含まれている」という文脈で使われる、ということです。そしてそこに存在するニュアンスは、その部分集合がぎっしりと全体の中に入っているというものです。どういう点を探そうが、すぐ近くに(ほんと無限小の近くに)稠密に含まれている集合の点が存在している、という感じです。卑近な例を挙げると、実数Rの中に有理数Qが稠密に含まれている、というのは、数直線上のどの点を取ろうと、必ずそのすぐ1万分の1、あるいは1兆分の1の距離もないところに有理数が存在するということを意味しているのです。1兆分の1の1兆分の1の1兆分の1にしても同じです。どれだけ小さい数を取ろうと必ずその数よりも近い距離に有理数は必ずひとつはあります。
こういうイメージがあると上の二つの稠密の定義がどちらも同じようなことを定義しているのだ、という気になってきませんか?また余裕があれば、上記定義が同値であることを確かめてみてください。
No.1
- 回答日時:
具体的に、「どのように様々」なのかがわからないと、的確な回答は出来ないと思いますが、「稠密」ではなくて、「完備性」の話ではないでしょうか? と憶測してみます。
稠密という概念は、「どの2つの数をとっても、その間の数が存在する」というもので、有理数も稠密です。
これに対して、完備性は、実数だけ(有理数にはない)が持つ性質になります。
平たくいえば、「どんな定義をしても、その数が存在する」ということですね。
私が理解しているのは、「切断」を使う流儀と、コーシー列の収束を用いるものです。
切断というのは、「数直線の切り口には必ず一方にだけ数が存在する」ということで、例えば、πで数直線を切ると一方の切り口にはπが存在しますが、他方の切り口に当たる数はないと(存在すれば、それは、πの隣の数だから)
これが、有理数だと、πの位置で切断しても、どちらの切り口にも数が存在しないことになります(πは有理数ではないから)
あと、コーシー列を使う流儀は、「コーシー列が収束する」というよりは、「コーシー列の収束先が必ず存在する」としたほうがイメージしやすいと思います。
例えば、
a(1) = 2
a(n + 1) = (a(n) + 2/a(n)) / 2
という数列はコーシー列です。
おまけに、すべての項が有理数です。
でも、その収束先は有理数ではありません(√2です)
なので、有理数は完備ではないのです。
という話かなと思うわけですが。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 0の逆数について 7 2022/07/21 16:24
- 数学 独立な確率変数 x,yの同時密度関数が Je^(-x^3-y^3-Kxy)で示さられている。定数 J 2 2022/07/31 23:01
- 弁護士・行政書士・司法書士・社会保険労務士 翻訳された契約書の難解な日本語 2 2023/08/09 23:41
- 数学 虚数単位:i、この4乗根を求める解答したものの疑問です。 1 2022/10/25 00:43
- 数学 『代数幾何についての疑問』 2 2023/05/08 17:44
- 数学 数学 屁理屈ですが、厳密には「扇型」と定義していないので (3+2)cm が半径とは限りませんよね? 5 2023/01/16 22:09
- 数学 確率について ①Xが実数値をとる確率変数で、f(x)=0(x<=-1),1/4x+1/4 (-1<= 2 2022/06/20 18:44
- 統計学 独立な確率変数X,Yの同時密度関数が ae^(-x^2-y^2-bxy)の時、定数a.bを求めるとい 1 2022/07/30 13:52
- 人事・法務・広報 会社の守秘義務 4 2022/08/05 23:36
- その他(教育・科学・学問) 今まで勉強しなかった大人が改めて義務教育の勉強をしたいのでが、オンライン授業ってどんな感じなんですか 1 2023/07/03 12:18
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
なにしてるかわからない。。
-
皆さん定義を教えてください 「...
-
自然数 整数 有理数 実数 加法 ...
-
無限から無限を引いたら何にな...
-
マイナス7は素数ですか?
-
「logx^2=2logx」が間違って...
-
普通の人は人を激しい責めます...
-
ネットストーカーの定義 最近SN...
-
環の乗法に関して左(右)逆元...
-
「互いに素」の定義…「1と2は互...
-
数学の両辺2乗と√について教え...
-
eの0乗は1ってどういう原理です...
-
なぜ、直角三角形ではないのにs...
-
数学で、未定義の
-
A二乗のルート=絶対値Aになり...
-
数字の1とは何なのか?
-
ヘシアンが0の場合どうやって極...
-
ノートンのウイルス定義のバー...
-
べき乗
-
0次元多様体
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
無限から無限を引いたら何にな...
-
1未満と1以下の違い
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
数字の1とは何なのか?
-
「互いに素」の定義…「1と2は互...
-
変数の宣言の名称を教えてくだ...
-
ACCESS VBAでインポート定義の場所
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
Excelファイルの「数式」タブ→...
-
e<3の証明を教えてください。
-
なぜ小数は自然数ではないので...
-
ヘシアンが0の場合どうやって極...
-
2進数の符号ビットの入った数...
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
フーリエ級数展開の初項はなぜa...
おすすめ情報