- ベストアンサー
稠密についての問題です。
- みんなの回答 （7）
- 専門家の回答
質問者が選んだベストアンサー
＃１＃４fushigichanです。しつこくお邪魔します・・ ＞ｎ次元になるとまだよくわかりません。 これを証明するとなると、どのようにかけるのでしょうか？ n次元の有理数点の稠密性ですね。ちょっと難しそうですが、順番に考えてみましょう。 まず、この際近傍のことは、ちょっと置いておきましょう。 そして、１次元では、 a∈Q（有理数）,b∈Q,a<bのとき、∃c∈Qであって、 a<c<b が稠密の定義でした。 これをn次元まで拡張すると、 ∀a,b∈Q[n]←n次元のユークリッド空間R[n]上の有理数点全体の集合 a<b→∃c∈Q[n] であって a<c<b となっている これをいえればいいですね。 さて、a,b∈Q[n]について、a<bであるとは、 a=(a1,a2,a3,・・・,an) b=(b1,b2,b3,・・・,bn)とおくと a1<b1,a2<b2,・・・an<bn それぞれのn番目の成分が、点aのほうが点bの成分より小さくなっている。 ということです。 ここで、有理数点なので、たとえば ∃n,m,k,l∈Nある自然数が存在して a1=m/n,b1=k/l とかけるはずですね。 a1<b1なので、 m/n<k/l通分して a1=ml/nl<nk/nl=b1 ml<nkですから、少なくともnk-ml≧1 そこで、分子分母を２倍すると a1=2ml/2nl<2ml+1/2nl<2nk/2nl=b1 ↑ となって、ここに、a1とb1の間に有理数点c1が取れる。 これは、第一成分について調べたが、全てのn個の成分についても 同様に有理数点c2,c3,・・・cnが取れる。 したがって、 a1<c1<b1,a2<c2<b2,・・・・an<cn<bn・・・（☆） が成り立つので、 c=(c1,c2,c3,・・・,cn) という点cを取れば、これはc∈Q[n]であることは明らか。 さらに（☆）を満たしているので、n次元のユークリッド空間においても 有理数点全体の集合は稠密であることが証明された。 ・・のように書けばいいかなと思います。 ご参考になればうれしいです。頑張ってください！！
その他の回答 (6)
- Mell-Lily
- ベストアンサー率27% (258/936)
集合Xが稠密であるとは、 ∀a,b∈X, a<b ⇒ ∃c∈X, a<c<b ということです。 n次元Euclid空間R_n上の有理数点全体Q_nが稠密であるとは、 ∀A,B∈Q_n, A<B ⇒ ∃C∈Q_n, A<C<B ということです。 n次元Euclid空間R_n上の有理数点全体Q_nの要素、A,B,Cは、成分表示すれば、 (a_1,a_2,a_3,…,a_n), (b_1,b_2,b_3,…,b_n), (c_1,c_2,c_3,…,c_n) です。 n次元Euclid空間R_n上の有理数点全体Q_nの要素、A,Bについて、 A<B であるとは、 a_1<b_1, a_2<b_2, a_3<b_3, …, a_n<b_n ということです。 以上のことから、証明すればいいでしょう。
- fushigichan
- ベストアンサー率40% (4040/9937)
＃１です。 ページが開けませんね・・ もう一度、２番目の参考URL載せておきますね。
- fushigichan
- ベストアンサー率40% (4040/9937)
＃１fushigichanです。 もっと分かりやすい説明がのっているサイトはないかな、と探していたら ありました！載せておきますね。 有理数の稠密性とは、簡単にいえば、 a∈Q（有理数）,b∈Q,a<bのとき、∃c∈Qであって、 a<c<b となっている、ということです。 つまり、実数全体の集合の、どんな要素を二つとってきても、 さらに、その間に、また実数が存在する、ということです。 ＃１で定義したのは、位相空間における集合の稠密製だったのですが ちょっと言葉がややこしかったかも知れません。 また、連続であることと、稠密であることは違います。 もう一つ、有理数全体の集合が、稠密であって 連続でないことについて触れているページも載せておきます。 有理数が連続でないことは、イメージとしては分かりやすいと思います。 また、余談ですが、稠密のことを「ちゅうみつ」と私は習ってきたのですが 辞書で引くと「ちょうみつ」だそうですね。 入力すると、どちらも稠密と変換されますが・・ ご参考になればうれしいです。
- Mell-Lily
- ベストアンサー率27% (258/936)
”稠密”とは、どんな二つの数の間にも、また別の数が存在するということです。例えば、2/3と5/6の間には、9/12が存在します。因みに、”稠密”は、”連続”とは違います。
お礼
アドバイスありがとうございます。
- nickdayo
- ベストアンサー率26% (42/156)
低い次元で考えると分かり易いのではないでしょうか。 1次元だったら、2つの有理数をどのようにとってきても、その2つの間には別の有理数が存在することはイメージできますよね？ これをn次元に拡張したわけです。 ある有理点を好きなようにとってきたとします。 この有理点の周りを適当に囲んでください。 この時有理点をどんなに小さく囲んだつもりでも、その囲いの中には別の有理点が必ず存在するって言ってるわけです。 このイメージがつかめればNo.1の方が言われている定義も納得いくと思います。
お礼
アドバイスありがとうございます。 イメージしやすくなりました！
- fushigichan
- ベストアンサー率40% (4040/9937)
white11さん、こんばんは。 稠密とは、辞書で引くと「ぎっしりと数多く集まっていること」 とあります。 有理数の稠密性について、参考URLを載せておきます。 ちょっと、分かりにくいかも知れませんが・・ さて、数学における稠密性とは、 ある距離空間(X,d)の中で S,T⊂X SがTの中で稠密であるとは、 ∀t∈T,∀ε>0 Uε(t)∩S≠φ（空集合ではない） i.e. ∃s∈S,d(t,s)<ε のように定義します。 つまり、Tのどの点tのε近傍には、必ずSの点がある！ということです。 T=R（実数）S=Q（有理数）と考えてみれば分かりやすいと思います。 上手に説明できなくてすみません。 ご参考になればうれしいです。
関連するQ&A
- 稠密についての問題
「ＢをＫ/2^n（ｎ=0，1，2，・・・；ｋ＝0，1，２，・・、2^ｎ）という形の数全体とする。Ｂは［0，1］のなかで、稠密であることを示せ。ただし、Ｂ⊆［0，1］のとき、Ｂは［0，1］のなかで稠密⇔［0，1］∩（ａ，ｂ）≠φならばＢ∩（a,b）≠φは用いてよい。」 この問題なのですが、自分は、背理法で、［0，1］∩（a，b）≠φであってかつB∩（a，b）＝φとして矛盾を導き出そうとしたのですが、（a，b）⊆［0，1］のときには、（0.5，1）は、［0，1］とは共通部分をもつが、Bとはもたないのですが。自分のやり方がいけないのでしょうか？誰か教えてください、お願いします。
- ベストアンサー
- 数学・算数
- n次元Euclid空間Rnについての問題です。
Ｔ(n-1)={(x1,x2,...,xn)∈Rn | Σn(i=1)xi^2=1} はn次元Euclid空間Rnにおいて、Rnの閉集合である と言えますか？ 証明もよろしくお願いします。
- 締切済み
- 数学・算数
- 大学数学の次の問題がわかりません。わかる方、教えてください。
大学数学の次の問題がわかりません。わかる方、教えてください。 位相空間Ｘにおいて、次の二つは同値となることを示せ。 (1)Ｘの可算個の閉集合Ｆ_n(n=1,2,3,...)に対してＡ＝∪(n=1～∞)Ｆ_nが内点をもてば、少なくとも一つのＦ_nは内点を持つ。 (2)Ｘの可算個の開集合Ｇ_nがＸで稠密ならばＡ＝∩(n=1～∞)Ｇ_nもＸで稠密である。 お願いします。
- 締切済み
- 数学・算数
- 測度０の集合の補集合は稠密？
「AがR^nで測度０のときその補集合はR^nで稠密になることは明らか」 とあったのですがどうやって示せばいいのかわかりません． イメージ的には納得いきますが．．． 証明の方法を教えてほしいです．よろしくお願いいたします．
- ベストアンサー
- 数学・算数
- 大学数学の次の問題がわかりません。わかる方、教えてください。
大学数学の次の問題がわかりません。わかる方、教えてください。 位相空間Ｘにおいて、次の二つは同値となることを示せ。 (1)Ｘの可算個の閉集合Ｆ_n(n=1,2,3,...)に対してＡ＝∪(n=1～∞)Ｆ_nが内点をもてば、少なくとも一つのＦ_nは内点を持つ。 (2)Ｘの可算個の開集合Ｇ_nがＸで稠密ならばＡ＝∩(n=1～∞)Ｇ_nもＸで稠密である。 参考書には系として載っていて、Ｆ_n＝Ｇ_n^cとおけばよいと書かれていました。 それで∩(n=1～∞)Ｇ_n＝(∪(n=1～∞)Ｇ_n^c)^cを使うのかな、と思いましたがそこから分かりません。
- 締切済み
- 数学・算数
- 稠密について、集積点(触点)、閉包って何ですか?
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14133159999 上記URLのベストアンサーの回答より下記引用します。 ーーーー引用しますーーーー (3)稠密 集合Pの集積点（触点）をすべて付加した集合をPの閉包とい う。Pバーであらわす。稠密とは、P⊂Q,Pバー⊃Qのとき、P はQで稠密であるという。 ーーーー引用終わりーーーー 1がある。 1の次のものがあって、それは2である。 2の次のものがあって、それは3である。 3の次のものがあって、それは4である。 4の次のものがあって、それは5である。 5の次のものはない。 集合Q Q={1,2,3,4,5} 集合P P={2,4} 集合R R={2,3} PはQで稠密でない。だって、間があるから。間は3です。 RはQで稠密である。だって、間がないから。 とするとき、集積点(触点)や閉包が分からないです。 集積点(触点)や閉包はどうなりますか? Pの要素の2のQでの両隣の要素は集積点(触点)で1と3。 Pの要素の4のQでの両隣の要素は集積点(触点)で3と5 Pの閉包をPバーと呼ぶ。 Pバー={1,3,5} Pバー={1,3,5}⊅Q={1,2,3,4,5} Qの要素の2と4が余るのでQはPバーに含まれない。 P={2,4}⊂Q={1,2,3,4,5} Pの要素が余らないのでPはQに含まれる。 PはQで稠密でない。 間があるから。 Rの要素2のQでの両隣の要素は集積点(触点)で1と3。 Rの要素3のQでの両隣の要素は集積点(触点)で2と4。 Rの閉包をRバーと呼ぶ。 Rバー={1,2,3,4} Rバー={1,2,3,4}⊅Q={1,2,3,4,5} Qの要素の5が余るのでQはRバーに含まれない。 R={2,3}⊂Q={1,2,3,4,5} Rの要素が余らないのでRはQに含まれる。 RはQで稠密でない。 間が無いから。 稠密であることと間が無いことが合致してほしいのだが、すっき りしないです。 ⊂と⊆は同じ意味とする。 ⊂と⊊は違う意味とする。 ⊂は部分集合の意味とする。 ⊆は部分集合の意味とする。 ⊊は真部分集合の意味とする。 ⊄と⊈は同じ含まれない、真部分集合でなく、かつ、部分集合で もない。という意味とする。 稠密について、集積点(触点)、閉包って何ですか? 分数をたくさん用意しないとうまくいかないのではなかろうか? 分数をたくさん用意しても、間があるのを言うのは簡単そう。間 は1/2ですって言えそう。 分数をたくさん用意すると、間がないのを言うのは難しそう。ぜ んぶそろってるのかな?
- ベストアンサー
- 数学・算数
- 数学の記号＆定義の意味
数学の記号や定義の意味について、 分からない、もしくは、分かりにくいので教えてください。 １）n次元Euclid空間（定義） ２）線形空間（１に付随して） ３）内積空間（１・２に付随して） ４）座標ベクトル（１－３に付随して） ５）∀（記号） ６）ヨ（記号） ７）『→』と『|→』の違い（記号） ８）近傍（意味or定義） ９）『開集合』と『閉集合』（定義） 10）『⊂』と『∈』の違い（記号） 11）Ｓo：内点（internal point)（定義） 12）∂Ｓ：境界点（foundary point）（定義） 13）Ｓ￣：閉包（closure)（定義）【Ｓバー】 ・まずは、感覚的にとらえたいです。 ・分かりやすいホームページなどを知っていたらお願いします。 ・分かる部分だけでもイイので、お願いします。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 数学の問題です。難しいと思います。
同一直線上にない3点があるとき、この3点を頂点とする平行四辺形は３つできますよね。 それでは、同一n－２次元空間上にないｎ点があるとき、このｎ点を頂点とするｎ－１次元平行立体はいくつ出来ますか?
- ベストアンサー
- 数学・算数
- 次元、線型代数
実数または複素数（この集合をＫとする）を成分とするm×n行列全体の集合は、Ｋの上のベクトル空間であることを証明し、この場合、零ベクトルとなるものを求め、このベクトル空間の次元を求めよ。 という問題で、ベクトル空間になっていることは示せたのですが、 １．零ベクトルについて 「すべての成分が0である行列をOとすると、明らかにOは零ベクトルである。また、零ベクトルは唯1つしかないからこれが零ベクトルである。」 で問題ないですか？ ２．次元について m×nだと思うのですが、どう証明すればよいかわかりません。おしえてください。 以上2つありますが宜しくお願いします。
- 締切済み
- 数学・算数
お礼
アドバイスありがとうございます。だいぶ、イメージがつきやすくなりました。 でも、具体的に１次元や２次元と考えると、わかるようになりましたが、ｎ次元になるとまだよくわかりません。 これを証明するとなると、どのようにかけるのでしょうか？私は、有理数の稠密性を使って、 任意のｘ∈ｎ次元Euclid空間Ｒをとり、そのε近傍をとりました。そして、そのε近傍内にまた実数がとれるので、その２つの実数の間には、有理点が存在すると思ったのですが．．．。 いまいち証明となると分からなくなります。 証明をするには、どうすればわかりやすくなるのでしょうか？