締切済み

距離空間の完備化

2009/02/02 18:14

「有理数体を完備化すると、無理数体になる」ということを具体的な数を用いて説明したいのですが、何か良い例はありませんか？

ROCK44
お礼率0% (0/2)

数学・算数
回答数2
ありがとう数0

みんなの回答 （2）
専門家の回答

みんなの回答

arrysthmia
ベストアンサー率38% (442/1154)

2009/02/04 01:35 回答No.2

有理数体を完備化すると、実数体になります。無理数全体の集合は、実数の四則演算で体になりません。例も何も…

jmh
ベストアンサー率23% (71/304)

2009/02/03 02:03 回答No.1

無理数体？具体的な数？もうチョット詳しくお願いします。

関連するQ&A

距離空間の完備

距離空間（Ｘ、ｄ）＝Ｒでコーシー列｛Ｘｎ｝がＲの元に収束すればＲは完備となることを示せ。なんですがコーシー列は収束列⇔Ｒは完備距離空間は同値なんですよね？ってことはコーシー列は収束列であるってことを示せばいいだけなんですか？もし違っていたら詳しい説明をお願いします。
完備化と閉包

完備化と閉包をとることが同じに感じるのですがどこがちがうのでしょうか？簡単な例で説明していただけるとうれしいです．よろしくおねがいいたします．
Banach空間で

２つの同値でないノルムを持つベクトル空間がそれぞれのノルムに関して完備であるものをＸとします。このような例として例えば数列空間l_2(N)＝Ｘを考えます。ＸにおけるHamel基底の濃度は連続体濃度で、一方l_1(N)におけるHamel基底の濃度も連続体濃度、したがって両者の間には全単射が存在しそれによってＸ上にl_1ノルムも定義できて明らかに完備になります（ここで当然選択公理は仮定しますが連続体仮説は仮定しません）。ところがこのような構成は全く具体的ではなくl_2ノルムは定義より明らかですがl_1ノルムを計算することは容易ではないように思われます。すなわち基底間の全単射の一つを決定しなければならないわけです。２つのノルムを具体的に計算できるBanach空間の例はあるでしょうか？あるいは上に挙げた例で例えば(1/n)∈Ｘのl_1ノルムも計算できる方法はあるのでしょうか？
実数の完備性について

実数の完備性についてわかりやす説明してあるサイトがあればおしえてください。お願いします。
数学の疑問

√２＋√３は有理数でないことを示せ。ただし、√２、√３、√５のように、平方数でない自然数ｍについて、√ｍが有理数でないことは，証明せずに利用してもよい。 a=√２＋√３とおき、aが有理数であると仮定する。さて、aの定義よりa^2=(√2+√3)^2＝５＋２√６ √６＝a^2-5/2・・・・(1) よって、aは有理数でない。ここで、aが有理数であることは、適当な整数ｍ（≠０）、ｎを用いて、a=n/mと表せることです。このとき(1)の右辺は、たしかに有理数です。説明「しかし、a^2-5/2が有理数であることは、このように整数まで引き戻して論証しなくても、有理数どうしの和、差、積、商（ただし、割る数≒ ０）は、また有理数になるという性質を考慮するだけで済ますのが一般的です。なお、有理数＋有理数は有理数ですが無理数＋無理数は無理数になるとは限りません。これが、本問の問題として意味をもつ理由です。」証明は理解できるんですが、説明の部分が結局何が言いたいのか理解できません。　結局、筆者は説明の部分で何がいいたいんですか？？？
無理数は連続ですか？

有理数は無理数によって切断される、そして、その切断する数を無理数という。つまり、有理数は無理数によって切断されるので連続ではないということは理解できます。では、無理数の連続性はどのように考えればよいでしょうか？詳しく説明されているページ等の紹介でもよいです。よろしくお願いします。
無理数、有理数。

無理数は有理数の数列の行き着く先の数である。一般にすべての実数は有理数の数列のいきつくさきとして表示できる。この具体的な例をあげろというのですが、全く意味がわかりません(-_-;)わかりやすく、お願いします
有理数体Qに√2を加えた集合{Q, √2}

有理数体Qに√2を加えた集合{Q, √2}の元αはp,q∈Qとすると α=p+(√2)q と表せるというのがしっくりきません。このばあいp=0、q=2という有理数を考えると α=2√2で無理数ですよね？無理数は√2しか加えてないのに2√2という無理数まで入ってきてるんですけど、どういうことなんでしょうか？
円周率が無理数な理由

円周率は円周を直径で割った数。円周の長さは一本の綱と考えれば長さを測れて有理数。直径も有理数。割った答えも有理数のはずです。なのにπは無理数。この説明の非を教えてください。
？？この数学の疑問論理的説明可能ですか？？

数学について √２＋√３は有理数でないことを示せ。ただし、√２、√３、√５のように、平方数でない自然数ｍについて、√ｍが有理数でないことは，証明せずに利用してもよい。 a=√２＋√３とおき、aが有理数であると仮定する。さて、aの定義よりa^2=(√2+√3)^2＝５＋２√６ √６＝a^2-5/2・・・・(1) よって、aは有理数でない。ここで、aが有理数であることは、適当な整数ｍ（≠０）、ｎを用いて、a=n/mと表せることです。このとき(1)の右辺は、たしかに有理数です。説明「しかし、a^2-5/2が有理数であることは、このように整数まで引き戻して論証しなくても、有理数どうしの和、差、積、商（ただし、割る数≒ ０）は、また有理数になるという性質を考慮するだけで済ますのが一般的です。なお、有理数＋有理数は有理数ですが無理数＋無理数は無理数になるとは限りません。これが、本問の問題として意味をもつ理由です。」 a=n/mを代入して何の意味があるんですか？？？恐らく、確認のために代入しているのだろうと思いますが、もし無理数であれば代入したときにどうなるんですか？？？ . この質問に補足する.
社会保険完備のところ探すべきか・・・

私は21歳で体を壊し1年前退職しました。その後ずっとフリーターしています。長い間働くことは困難なので　正社員はあきらめています。で　せめて社会保険完備してるところへアルバイト　パートとして探しているのですが　なかなかみつかりません。だからもう社会保険完備してないところで働くしかないのでしょうか？やっぱりゆっくり時間をかけて　社会保険完備しているところを探すべきでしょうか？どうしていいかわからないんです・・・同じような経験のある方、どのように仕事を選択されたか、また、その経緯など、経験談を聞かせてください。やっぱり将来のことを考えると社会保険完備してるところで働くべきですよね・・・？
背理法は必要十分ですか

たとえば √２が無理数であることを証明するときの定石として √２が有理数でないことを証明しますが議論を複素数まで拡張し √２が純虚数であるとしたら √２は有理数でないが無理数でもないじゃないですかつまり √２が有理数でない←√２が無理数である　は成り立ちますが √２が有理数でない→√２が無理数である　は成り立たないのではないでしょうか（反例√２が純虚数）お願いします
無理数と有理数の証明

√２が無理数であることは既知とし、√２＋√３が無理数であることを次のように証明した。まず、ｐ＝√２＋√３、ｑ＝√２ー√３とする。 (1)ｐｑ＝－１は有理数であるから、もしｐが有理数ならｑも有理数である。 (2)同様にｑが有理数ならｐもまた有理数である。 (3)またｐ＋ｑ＝２√２は有理数ではないからｐが有理数ならｑは有理数ではない。 (4)よってｑを有理数と仮定しても有理数でないと仮定してもｐは有理数である。 (5)それゆえｐうぃ有理数と仮定すると矛盾が生じる。異常によりｐは無理数である。上の証明で不要と思われる文章を教えて下さい。頭が混乱してさっぱり分かりません。ご教示いただけますと助かります。
測度論；完備化、測度零集合について。

こんにちは、測度論（確率論）を勉強しているのですが、完備化について質問させてください。まず、ルベーグ測度を考える上でなぜσ－加法族の完備化が必要となるのか？例えばR上のボレル集合体はRの開集合全体の加算和、加算交差などから成る集合体で極めて多様な集合を含むはずですが、それに含まれない測度零集合がRに存在して、それらを付け加えることで完備になる、という理解をしていますが、ボレル集合体に含まれない測度零集合とはどんなものでしょうか？例を挙げていただけるとありがたいです。即ち、B(R)；R上のボレル集合体, μ;B(R)上の測度として N* = {N⊂R　;　NはB(R)に属さず、N⊂A∈B(R) , μ(A)=0}となるN*の要素はどんなものでしょうか？ボレル集合体ではルベーグ測度を考えるのに不十分、という理由が今ひとつ分かっていません。
２の平方根が有理数で表せないことの証明

√2が有理数でないことの証明についての質問です。有理数だとしてn/mとおいて両辺を二乗して、、、という証明は知ってるのですが、別の証明を見たのですが、いまいちわからないところがありましたので質問させていただきました。この証明は A={t|t^2<2, tは正の有理数} B={t|t^2>2, tは正の有理数} として、 ∀t∈A, ∃x∈A, t<x ∀t∈B, ∃x∈B, t>x ということを示して（ここまではわかりました） √２は有理数であらわせない→有理数の完備化が必要→実数の紹介という流れで行ってるのですが、なんでAが最大値を持たないこととBが最小値を持たないことが√２が有理数であらわせないことになるのでしょうか？
背理法って？

√６が無理数であることを用いて、 √２＋√３が無理数であることを証明せよ。普通は（？） √２＋√３＝ａ（ａは有理数）とおいて、両辺２乗し √６＝（ａ＾２－５）／２となり、右辺は有理数となるので矛盾！としますが・・・・、 (1)　√２＋√３を２乗して、５＋２√６！　これが無理数なので、無理数！　って証明になります？ (2)　有理数と仮定して、２乗しても有理数だ！　ところが無理数になるので矛盾！　これは？私は、(1)は、５＋２√６が無理数になる証明が必要　　　(2)は、有理数のみが２乗して有理数になるわけではない（逆が成り立たない）のでだめ？と思うのですが、数人で話し合った結果、背理法では逆は成り立たなくても良い！という結論になりました？でも、いまいち納得できないので、専門家の意見をお聞かせ願えればと思います。
完備化で

有利数体Qから次のようにして連続の公理をみたす順序体Kが構成される。有理数列でコーシー列となるものの全体をAとする。Aは数列の和、積(An)+(Bn)=(An+Bn)、(An)(Bn)=(AnBn)により可換環となる。今二つのAの元(An)、(Bn)はAnーBn→０(n→∞)のとき同値であると定義する。(An)と同値なAの元全体の集合を[An]と記し、このような[An]全体の集合をRとする。このときAにおける和、積からRにも和、積が定義されRは可換環となるが実はRは体となることを示せ。東京大学出版の解析入門からですがこの問題が解けなくて困っています、よろしくお願いします。
有理数みたいな無理数

exp（π）-π＝１９.９９９０９９９７９... といったふうに、整数に近い値になります。このように、無理数を使って、簡単な演算で無理数なんだけど（或は無理数らしい）、その値いが整数、或は、有理数に近くなる例は、他にないですか？
「数直線を有理数だけで埋める事はできない」について

「数直線を有理数だけで埋めることはできない」というのがよく分かりません。どの無理数についても限りなく近い有理数が存在するんだから、有理数だけでも埋められるんじゃないかと思うのですが、間違いなのでしょうか。また、有理数同士の四則演算の結果は有理数になるはずなのに、どうして四則演算を無限に繰り返した結果であるeやπは無理数なのでしょうか。
（√２）＾（√２）は有理数か無理数か

（無理数）＾（無理数）＝有理数　となる場合が存在する、という証明（下記）の中で出てくる（√２）＾（√２）は、有理数なのか無理数なのかわかっているのでしょうか。教えてください。証明：（√２）＾（√２）が有理数なら、そういう場合が存在する。もし（√２）＾（√２）が無理数なら、（（√２）＾（√２））＾（√２）＝２だからそういう場合は存在する。（√２）＾（√２）は有理数か無理数なのだから、以上で証明終わり。

距離空間の完備化

みんなの回答

関連するQ&A

距離空間の完備

完備化と閉包

Banach空間で

実数の完備性について

数学の疑問

無理数は連続ですか？

無理数、有理数。

有理数体Qに√2を加えた集合{Q, √2}

円周率が無理数な理由

？？この数学の疑問論理的説明可能ですか？？

社会保険完備のところ探すべきか・・・

背理法は必要十分ですか

無理数と有理数の証明

測度論；完備化、測度零集合について。

２の平方根が有理数で表せないことの証明

背理法って？

完備化で

有理数みたいな無理数

「数直線を有理数だけで埋める事はできない」について

（√２）＾（√２）は有理数か無理数か

注目のQ&A

カテゴリ
一覧

専門家に質問してみよう
専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

距離空間の完備化

みんなの回答

関連するQ&A

距離空間の完備

完備化と閉包

Banach空間で

実数の完備性について

数学の疑問

無理数は連続ですか？

無理数、有理数。

有理数体Qに√2を加えた集合{Q, √2}

円周率が無理数な理由

？？この数学の疑問論理的説明可能ですか？？

社会保険完備のところ探すべきか・・・

背理法は必要十分ですか

無理数と有理数の証明

測度論；完備化、測度零集合について。

２の平方根が有理数で表せないことの証明

背理法って？

完備化で

有理数みたいな無理数

「数直線を有理数だけで埋める事はできない」について

（√２）＾（√２）は有理数か無理数か

注目のQ&A

カテゴリ 一覧

専門家に質問してみよう 専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

カテゴリ
一覧

専門家に質問してみよう
専門家登録