![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?c9bd177)
レポート課題なのですが、以下の問題の証明の仕方を教えてください。
問、Q(有理数全体の集合)の2つのコーシー列{an},{bn}について、
(1){an+bn}はQの中のコーシー列であることを証明せよ。
(2){an-bn}はQの中のコーシー列であることを証明せよ。
(1)は、{an}→a、{bn}→bを仮定して、任意の実数εに対して、
自然数NaとNbで、
n>Naを満たす任意のnは、|an-a|<ε/2
n>Nbを満たす任意のnは、|bn-b|<ε/2
が存在する。
そこで、
N=max(Na、Nb)
とすれば、
n>Nを満たす任意のnは|an-a|<ε/2と|bn-b|<ε/2を
満たす。
2式を足すと、
|(an-a)+(bn-b)|≦|an-a|+|bn-b|<ε/2+ε/2=ε
となる。
分かりにくいのですが、こんな感じでいいのでしょうか。
また、「Qの中の」という部分が証明できていない気がします。
(2)は、2式を引いても、不等式の右辺は変わらないと思うのですが、
(1)と同様に考えればいいのでしょうか。
何かアドバイス等あれば、教えてください。おねがいします。
No.3
- 回答日時:
Q(有理数体) の完備化 R(実数体)は通常コーシー列を用いて構成されるので、コーシー列の収束先 a, b ∈ R を用いて議論するのは多分適切でないのでしょう。
その意味で、実数体 R を構成するまでは Q の距離 d : Q×Q -> Q も有理数を値域として考える必要があるのかもしれませんね。
![](http://oshiete.xgoo.jp/images/v2/common/profile/M/noimageicon_setting_04.png?c9bd177)
No.2
- 回答日時:
No.1 の方の回答と重なりますが……。
> (1)は、{an}→a、{bn}→bを仮定して、任意の実数εに対して、
この仮定はまずいです。
Qの中ではコーシー列が収束することは保障されていません。
ついでにいえば、εを実数からとってくるのも、問題かもしれません。
基本的には、(1)の証明の絶対値の中が an - am (など)になるだけですが。
「Qの中の」というのは、単に、an + bn という数列の項が、Qの要素だといっているだけだと思います。
ご参考まで。
a(0) = 2
a(n + 1) = (a(n) + 2 / a(n)) / 2
という数列は、Qの中のコーシー列ですが、Qの範囲では収束しません。
(√2 に収束します)
No.1
- 回答日時:
確認したいんだけど, 「コーシー列」ってどう定義しています? 普通は
{an}がコーシー列 if ∀ε∃N∀m, n ≧ N |am - an| < ε
くらいだと思う (< かな? ≦ かな?) けど, この定義だとすると「コーシー列が収束する」という性質は使わなくていい. というか, コーシーは確かに収束するけどその収束先がコーシー列を考えている距離空間の要素であるかどうかはわからない.
でおまけ:
不等式を引き算しちゃダメ.
Q は四則演算について閉じていて, しかも, {an} がコーシー列なら, {-an} もコーシー列.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 上三角行列のn乗の証明 2 2023/07/23 21:45
- 数学 次の数列{an}の一般校を求めよ 0、5、16、33、56… 解説の写真の部分がわかりません、 数列 1 2023/06/16 15:11
- 数学 a1=a b1=b an+1=5an-bn cn=an+1-an (n=1、2、3…) を満たしてい 2 2022/11/05 17:48
- 数学 数列 三角関数 赤文字が答えです 2番3番手も足も出ません。解き方分かる方教えてくれませんか? an 2 2023/02/16 17:43
- 数学 初項3、公差6の等差数列{an}と、初項1、公差4の等差数列{bn}がある。この2つの数列に共通に含 2 2022/03/24 18:57
- 大学・短大 フーリエの問いで、範囲がこの場合3つ出来ると思うのですがこの場合はanとbnを求めれば良いのですか? 1 2023/01/28 12:59
- 数学 「数列が無限大に発散するならばその任意の部分数列も発散する」という証明がありますが、 {an}= ・ 7 2022/07/31 10:42
- 数学 数学3 無限数列 画像の例題93(1)について質問があります。 なぜbnとおいたんですか...?? 3 2022/07/10 13:50
- 英語 "an amount of"の意味等について 2 2023/06/13 12:19
- Visual Basic(VBA) VBA Bookの表示、非表示 1 2022/09/16 20:44
このQ&Aを見た人はこんなQ&Aも見ています
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∞/0って不定形ですか?∞ですか...
-
不動点反復法を用いた数値計算...
-
数3の極限です。 0/1の極限は∞...
-
ラプラス変換後のsの意味って何...
-
シグマの問題なのですが。
-
極限の問題
-
級数の収束速度の判定
-
大学数学です xを実数とする。...
-
定数aのn乗根の極限(n→∞)...
-
数列の極限について
-
”有界閉区間”という言葉
-
収束列の部分列について
-
いんてしぐま
-
1-1/2+1/3-1/4+1/5-1/6+...
-
離散フーリエ変換での回転子計...
-
広義積分の問題です
-
現代の解析学と言えば複素解析...
-
極限の問題です
-
広義積分の収束と発散の問題
-
1/n^2と1/n^3の無限和の問題を...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数列の極限について
-
∞/0って不定形ですか?∞ですか...
-
シグマの問題なのですが。
-
数3の極限です。 0/1の極限は∞...
-
数学の問題です
-
limの問題
-
ラプラス変換後のsの意味って何...
-
極限の問題
-
無限大の0乗は、1で正しいですか?
-
定数aのn乗根の極限(n→∞)...
-
ニュートン法で解が収束しない
-
収束
-
極限値lim[n→∞](3^n/(2^n+n^2))...
-
次の条件を満たす数列{an}の...
-
確率変数の収束について
-
1/n^2と1/n^3の無限和の問題を...
-
無限級数Σ(n=1~∞)(n/n^2+1)の...
-
Σ_[n=1,∞]1/nは発散?
-
現代の解析学と言えば複素解析...
-
Σ_[n=1,∞]1/n^αの収束条件に...
おすすめ情報