- ベストアンサー
実数について
（１）任意の実数αは有限または無限小数で表せることを証明せよ。 （２）任意の実数αはある単調増加な有利数列の極限となることを示せ。 という問題なんですがまったくどうやって手をつけていいのかがわかりません。わかる方おしえてください。
- wonderfulopporty
- お礼率6% (9/133)
- 数学・算数
- 回答数2
- ありがとう数6
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
実数は数直線と対応が付きますので、それでイメージ すると良いかと思います。 数直線上に勝手な点を取ったとします。 整数の目盛りを打ちます。 点はどこかに入っています。ちょうど目盛り上なら それで終わりです。 間にくれば（例えば１と２の間）１．・・・ また目盛りを１０等分すると点はどこかに入ります。 ５番目なら１．４・・・ これを繰り返します。途中で目盛り上にくれば有限。 続くなら無限。 どんどん目盛りを細かくすることが出来ます。 上記のように作れば、（２）も成り立つことは明らかでしょう。
その他の回答 (1)
- proto
- ベストアンサー率47% (366/775)
任意の実数αの小数点以下n桁を切り捨てて出来る有理数の列をa_nとすると すべての自然数nについて a_(n+1)>a_n また |α-a_n|＜10^(-(n-1)) lim[n→∞]10^(-(n-1))=0 より 任意のε(>0)に対してある自然数Nが存在して n≧N ⇒ |α-a_n|＜10^(-(n-1))＜ε 以上より lim[n→∞]a_n=α と、とりあえず(2)のほうは、こんな感じで数列を定義すれば証明できるはずです
お礼
分かりやすい解答ありがとうございました。
関連するQ&A
- 実数と自然数は同じ個数なのではないでしょうか？
すべての自然数とすべての実数を1対1で対応させる(すべての実数を一列に並べる)方法を考えました。間違いがあれば教えてください。 ＊方法1＊「後出し」は実数の専売特許にあらず まず、すべての自然数と、異なる実数を無限に並べたもの、とを対応させるのだが、それは、異なる実数を無限に並べた「第一列」の「一番目」の実数を「1・1」とすると、 1→1・1 2→1・2 3→1・3 ・ ・ ・ と表すことができる。これはいわゆる「すべての自然数とすべての実数を1対1に対応させたと仮定したもの」であり、対角線論法によってこの表には存在しない実数を作れることから、仮定は間違い＝「実数は自然数より多い」という結論になるのが従来の話である。しかしこれは、自然数を対応させる対象を「第一列」に限定したことによる間違った結論だ。 対角線上の数字のずらし方は、すべて一つずらす1111…の他に、1211…,1234…,2624…と無限にあるので、一つの対角線から、「第一列」には存在しない実数を無限に生み出すことができる。対角線論法によって生み出された無限の実数を並べた「第二列」に自然数を対応させることができなければ先の結論は正しいことになるが、そんなことは全然なく、「第二列」の「一番目」の実数を「2・1」とすると、 1→1・1 2→2・1 3→1・2 4→2・2 5→1・3 6→2・3 ・ ・ ・ のように、始めの、自然数と「第一列」の対応を解消した後、あらためて自然数を、「第一列」と「第二列」に、交互に対応させればいいだけの話なのだ。で、これは、「第一列」と「第二列」を合わせて「新たな第一列」にした(＝始めの状態にリセットした)ということであり、この「新たな第一列＝N1」の対角線から、対角線論法によって「新たな第二列＝N2」が生まれるので、そしたらまたそれまでの対応を解消して 1→N1・1 2→N2・1 3→N1・2 4→N2・2 5→N1・3 6→N2・3 ・ ・ ・ と、自然数を「新たな第一列」と「新たな第二列」に交互に対応させ、これを無限に繰り返せばいいのである。自然数を、「新たな第二列」の実数に、無限に対応させ続けることができるということは、すなわち両者の個数は同じということなのである。 それにしても、無限に生み出される「新たな第一列」と「新たな第二列」は合わせて「新たな第一列」にできるのに、なぜ始めから一列に並べることができないのか。 方法1を別の言い方でまとめると、まず 1→1・1 2→1・2 3→1・3 ・ ・ ・ のように、すべての自然数と、異なる実数を無限に並べたもの、とを対応させるところから始めて、次に 1→1・1 2→ ←2・1 3→1・2 4→ ←2・2 5→1・3 6→ ←2・3 ・ ・ ・ と、「第二列」の実数を「第一列」に割り込ませて、始めの、すべての自然数と、異なる実数を無限に並べたもの、とを対応させた状態 1→1・1 2→2・1 3→1・2 4→2・2 5→1・3 6→2・3 ・ ・ ・ ↓ 1→1・1(1・1) 2→1・2(2・1) 3→1・3(1・2) 4→1・4(2・2) 5→1・5(1・3) 6→1・6(2・3) ・ ・ ・ にリセットして、そしたらまた 1→1・1 2→ ←2・1 3→1・2 4→ ←2・2 5→1・3 6→ ←2・3 ・ ・ ・ と、「第二列」の実数を「第一列」に割り込ませて…とこれを無限に繰り返す、といった具合に説明することができる。 ＊方法2＊実数を整列させる 方法1は「動的な対応」とでも言うべきものであり、できれば「静的な対応」が望ましいわけで、そのためには実数を整列させる必要があるのだが、以下のようなやり方ではだめなのか。 まず 1→0.1 2→0.2 ・ ・ ・ 9→0.9 10→0.01 11→0.11 12→0.21 ・ ・ ・ 99→0.99 100→0.001 101→0.101 102→0.201 ・ ・ ・ 9999→0.9999 10000→0.00001 10001→0.10001 10002→0.20001 ・ ・ ・ …835218→0.812538… …835219→0.912538… …835220→0.022538… ・ ・ ・ というように、すべての自然数と、0と1の間のすべての実数を、1対1に対応させる。右側が「0と1の間のすべての実数」であることに異論はあるだろうか。この列に存在しない(0と1の間の)実数は存在するのか。この列は、小数第一位の数字が1,2…9,0,1…9,0,1…となっているので、だいたいその値で推移しながら、実数が、0と1の間を無限に埋めていく形になっている。 例えば、小数点以下、一恒河沙の一恒河沙乗番目が2、一阿僧祇の一阿僧祇乗番目が3、一那由他の一那由他乗番目が4の 0.1…2…3…4… のような無理数について、この並びの途中までのものしかないとしたら、ではどこまでのものならあるのか。0.1…2か、0.1…2…3か、0.1…2…3…4か。実際には「途中まで」などということはなく、つまりこの列にこの無理数は存在し、この任意の無理数が存在するなら(0と1の間の)すべての無理数が存在するのである。で、この表は左右が対称的になっているから、右に無限小数が存在するなら左には無限桁の自然数が存在するのである。 有限桁の自然数を重複することなく無限に並べることができないのと同様に、有限小数を、重複することなく無限に並べることはできない。この列は0と1の間の実数を整列させたものであり、この列に存在しない(0と1の間の)実数は存在しない。 で、すべての実数を整列させると 0,0.1,0.2…0.9,0.01,0.11,0.21… 1,1.1,1.2…1.9,1.01,1.11,1.21… 2,2.1,2.2…2.9,2.01,2.11,2.21… ・ ・ ・ (0),-0.1,-0.2…-0.9,-0.01,-0.11… -1,-1.1,-1.2…-1.9,-1.01,-1.11… -2,-2.1,-2.2…-2.9,-2.01,-2.11… ・ ・ ・ となるので、すべての自然数とすべての実数を1対1に対応させると、 1→0 2→0.1 3→-0.1 4→1 5→-1 6→2 7→-2 8→1.1 9→-1.1 10→0.2 11→-0.2 12→0.3 13→-0.3 14→1.2 15→-1.2 16→2.1 17→-2.1 18→3 19→-3 ・ ・ ・ のようになる。 ところでそれでも従来の考えが正しい場合、循環小数と非循環小数の個数に差が出る本質的な原因、両者の違いは何なのか。明確な違いは「整数比で表せるか表せられないか」だが、循環小数と非循環小数をそれぞれ循環数列と非循環数列に置き換え(今問題にしているのは個数であり、小数点を取り除いても個数は変わらない)れば整数比は関係なくなるわけだし。単なる数字の組み合わせに過ぎない同じ無限数列でありながら、循環させないというだけで個数が多くなるというのは何とも妙な話である。
- ベストアンサー
- 数学・算数
- 微分積分の問題です。実数列｛an｝は、単調増加で上
微分積分の問題です。実数列｛an｝は、単調増加で上に有界であるものとする。... 実数列｛an｝は、単調増加で上に有界であるものとする。この｛an｝の上限をαで表す。したがって、 ・任意の自然数nに対してan ≦ αが成り立ち、 ・任意の自然数eに対してaN ＞ α-e となる自然数Nが存在する。 以下の3つの設問に答えよ。 (1)数列｛an｝の極限値はαであること、すなわち、任意の整数eに対し、n > Nのときには|an-α| < e となる自然数Nが存在することを示せ。 (2)数列｛an｝は、an = 1 - 1/n であれば単調増加で上に有界となることを示せ。 (3)設問(2)で与えた数列｛an｝の極限値αを求めよ。このαに対し、n > N のときに|an-α| ＜ 0.001を満たす最小の自然数Nを計算せよ。 この問題の解説をどなたかよろしくお願いします。
- ベストアンサー
- 数学・算数
- 新しい実数の構成：自然数→正の実数→実数
次のような実数の構成はあるのでしょうか？ まず、１０進法の表記により自然数を構成します。 ０を含めます。 ０，１，２，３，４，５，６，７，８，９，１０， １１、１２、・・・ といった数を考えます。 ケタ数は有限です。 順序関係は、まず、ケタの大小を比べ、ケタが同じであれば、最大ケタの数字を比べます。 ０～９までの加法と乗法を九九として決め、一般の自然数の加法と乗法は筆算により定めます。 つぎに、小数点以下を考えます。 まず、小数点以下のケタ数が有限なる数を考えても、順序関係と加法・乗法はいままでと同様です。 そして、小数点以下のケタ数が無限なる数を考えます。 順序関係はいままでに追加して、 １＝１．０００・・・＝０．９９９・・・ といったことなどを考えます。 加法と乗法の筆算も、「左から計算」していけばいいと思います。 このとき、新しく除法も考えられます。 これで、正の実数が構成できたと思いますが、 最後に、小数点以上のケタ数が無限なる数を考えます。 たとえば、 ・・・１２１２．１２ とか ・・・３３３．３３３・・・ 順序関係はうまくいきませんが、 ・・・９９９＋１＝・・・０００＝０ と考えると、 ・・・９９９＝－１ といった意味になり、 ３をかけることで、 ・・・９９７＝－３ といった意味になったり、 ３でわることで、 ・・・３３３＝－１/３ といった意味になったりします。 また、加法と乗法の筆算は、「小数点を中心に左右へ計算」していけば整合性が得られると思われます。 そして、減法・除法も考えられると思います。 つまり、負の実数が構成されたと思います。 結局、左右に無限に続く１０進法表記で、実数とその加減乗除が構成されたと思います。 このような、実数の構成はあるのでしょうか？ また、不備がありましたら指摘ください。
- ベストアンサー
- 数学・算数
- 単調数列の証明問題です
自分なりに、以下の単調数列の証明問題を解いてみました。 間違いがあれば、ご指摘いただけるとありがたいです。 よろしくお願いします。 【問題】 数列{(n-1)/(n+1)}{n=1,2,3,...}は有界な単調数列であるか？ 理由とともに、単調な場合には、単調増加であるか単調減少であるか についても求めよ。 【証明】 まず、単調増加であるかについて証明する。 (n-1)/(n+1) = {(n+1)-2}/(n+1) = 1-{2/(n+1)}と変形させる。 これにより、1より小さいことがわかる。 また、2/(n+1)は単調減少であるため、-2/(n+1)は単調増加である。 よって、1-{2/(n+1)}も単調増加であることが証明される。 次に有界であるかについて証明する。 n→∞とするとき、{1-(1/n)}/{1+(1/n)}→1となる。 よって、1-(n-1)/(n+1) = 2/n+1 > 0とあらわすことができる。 ゆえに、数列{(n-1)/(n+1)}{n=1,2,3,...}は有界な単調数列である。 証明終わり。
- ベストアンサー
- 数学・算数
- 単調に増加する数列の極限について
「単調に増加する数列：{an} が上に有界ならば，極限 an＝α が存在する」 というのは、証明できるのでしょうか？ それとも、自明のものとして用いてよいのでしょうか？ おかしな質問かもしれませんがよろしくお願いします。
- 締切済み
- 数学・算数
- 実数の濃度(連続体濃度)についての問題の添削をおねがいします。対角線論法をつかってます。
問: 任意の写像 ｆ:N→R につき、ｆ は全単射でないことを背理法を使わず証明せよ 添削していただきたいのは上の問です 背理法に引っかかっていないのかどうかが自分には分かりません ＊のように、並べると――等とすることは可算集合であることを仮定することになってしまいませんか? 解答: 開区間(0,1)をとると 全単射 (0,1)→R x |→tan[π(x-1/2)] がつくれるので、(つくれてますか??) |(0,1)| = |R| よって、g:N→(0,1) が 全単射でないことを示せばよい 各実数 g(n) を10進法によって無限小数に展開して (ただし、有限小数も無限小数で表す) g(n) = 0.a(n1)a(n2)a(n3)… と表すとする ( a(ni)は0から9までの整数 ) 全て並べると……＊ g(1) = a(11)a(12)a(13)… g(2) = a(21)a(22)a(23)… g(3) = a(31)a(32)a(33)… … ここで a(11)≠b(1), a(22)≠b(2), … となる数列をとれば 0.b(1)b(2)b(3)… という実数は g(1), g(2), … のどれとも異なる 従って g(n) の値域に入らない実数があるため、 gは全射でない ■ よろしくおねがいします。
- ベストアンサー
- 数学・算数
- [定理]任意の有限超実数はちょうど一つの実数に無限に近い。
宜しくお願い致します。 超準解析での標準部分定理の証明で分かりません。 Rは実数体でR*は超実数体とします。R⊂R*でR*はRの真の順序拡大体になってます。 x∈R*でxが有限超実数であるの定義は0<∃r∈R;|x|<rが成り立つです。 x,y∈R*において,x～yはxとyが無限に近い(0<∀r∈R,|x-y|<r)を意味する記号です。 [定理]任意の有限超実数はちょうど一つの実数に無限に近い。 [証] 一意性の証明は略す。 存在性を示す。 xを有限超実数とする。 X={s∈R;s<x}と置くと,Xは空でなく,上に有界である。実際,或る実数にrに対して|x|<r(∵xは有限超実数),即ち-r<x<rが成り立つから,-rはXに属し,rはXの一つ上界である。そこでXの上限をtとする。任意の正実数rに対し, x≦t+r。従って,x-t≦r t-r≦x。従って,-(x-t)≦r となるからx-t～0即ち,x～t (終) となっているのですがt∈Rである保証はありませんよね。t∈R*＼Rの場合でないとどうして言い切れるのでしょうか?
- ベストアンサー
- 数学・算数
- 有界な単調数列の証明（再掲）
こちらの皆様のご指導のもと、以下の単調数列の証明問題を解いてみました。 証明が変なところがあれば、ご指導よろしくお願いします。 【問題】 数列{ 1-(1/n) }/{ 1+(1/n} }[n=1,2,3,...]は 有界な単調数列であるか？ 理由とともに、単調な場合には、 単調増加であるか単調減少であるかについても求めよ。 【証明】 まず、有界かどうかについて証明する。 n→∞とすると、 lim[n→∞] { 1-(1/n) }/{ 1+(1/n} } =lim[n→∞] (n-1+2-1)/(n+1) =lim[n→∞] 1-2/(n+1)=1 よって、有界。 つぎに単調増加について証明する。 (n-1)/(n+1) = (n+1-2)/(n+1) = 1-2/(n+1)と変形させることにより、 1より小さいことがわかる。 また、2/(n+1)は単減少であることより、-2/(n+1)は単調増加。 よって、1-2/(n+1)も単調増加であることが証明される。 ∴数列{ 1-(1/n) }/{ 1+(1/n} }[n=1,2,3,...]は、 有界な単調増加である。
- ベストアンサー
- 数学・算数
- 数列の基本的な問題なのですが…
こんにちわ。 自分は数学が本当に苦手で、とある本に書かれたこの問題（答えがないんです）ができないのでとき方と回答を教えて欲しいです… 次の数列、A(n)の極限を、単調減少数列か単調増加数列か調べて、求めろ。 A(1)=3,A(n+1)=2√A(n) まず、単調減少数列という示し方がわからないです…すみません。。
- ベストアンサー
- 数学・算数
お礼
分かりやすい解答ありがとうございました。