実数Rにおいて、sup{-1/x:x∈(0,∞)}=0であることを上限の定義に従って示せ。
という問題が出ました。
以下が私の考えた証明です。
任意のa∈{-1/x:x∈(0,∞)}に対し、a<0であるから、
0は{-1/x:x∈(0,∞)}の上界の1つである。
y<0とすると、Rの稠密性より、
y<z<0となるz∈{-1/x:x∈(0,∞)}が存在する。
従ってyは(0,1)の上界ではない。
以上から、0が最小上界である。
大体はいいらしいのですが、
>z∈{-1/x:x∈(0,∞)}が存在する
がちょっと問題があるみたいです。
Rの稠密性を使っても、{-1/x:x∈(0,∞)}のように、限定した集合の中にzが入ることは分からない、というのが問題みたいです。
ここが問題だということは理解できたのですが、それを証明の中にどのようにして述べればいいのかがわかりません。
回答お願いします。
No.2
- 回答日時:
QNo.4378717 はなんで放置なんだ?
そもそも「Rの稠密性」ってのが謎.
「稠密」の定義は?
>{-1/x:x∈(0,∞)}のように、限定した集合
え?限定って何?
この集合は0未満の全実数の集合でしょう?
No.3
- 回答日時:
稠密性を使わなければ良い.
任意に
y ∈ {-1/x | x ∈ (0 , ∞)}
をとると,
y = -1/x を満たす,x ∈ (0 , ∞) が存在する.
ここで,上のxに対して, (x + 1) ∈ (0 , ∞) であるから,
-1/(x + 1) ∈ {-1/x | x ∈ (0 , ∞)}
であり,z = -1/(x + 1) とすれば,
y = -1/x < -1/(x + 1) = z < 0
∴ y < z < 0
y は任意なので,0が上限である.
No.4ベストアンサー
- 回答日時:
補足
この質問の前のhatake333に対する「この回答への補足」に対するコメントです.
>(1)の、a<0を示すことができません。自分で図を書いて、なんとなくはわかってはいるのですが、示すとなると・・何かヒントはないでしょうか?
現在の解答も
>任意のa∈{-1/x:x∈(0,∞)}に対し、a<0であるから、
となっています.
任意に a ∈ {-1/x | x ∈ (0,∞)} をとったら,a を書き直してください.つまり,
a = -1/x となる,x ∈ (0,∞) が存在する.
ここで, x ∈ (0,∞) より,x > 0 ですので,
a = -1/x < 0
となって,
a < 0
が示されるわけです.
>(2)について,…(途中略)…εがでてきて、頭がこんがらがっている状態です。この証明もなんだかよくわからなくなってきたのですが・・
それは私のせいです,すみません.上限の定義が普通の形と違うのでしょう.
○私が前回使用した上限の定義
mが集合Eの上限
(1)∀x∈E ⇒ x≦m
(2)∀ε> 0 ,∃x∈E s.t. m -ε< x
○一般的?な上限の定義
mが集合Eの上限
(1)∀x∈E ⇒ x≦m
(2)∀m'∈E に対してm' < m ならば,∃x∈E s.t. m' < x
どちらも意味は同じですが,分かりにくかったかもしれません.
ご自分が学習された上限の定義を使って証明してください.
何度も回答してくださって、本当にありがとうございました。
わかりやすく説明していただいたおかげで、この辺の勉強は結構理解できました!
本当にありがとうございました(^∀^♪
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
べき乗
-
定義付けできない言葉について
-
「互いに素」の定義…「1と2は互...
-
複雑な家庭とは
-
数学の両辺2乗と√について教え...
-
1wordとは、何文字ですか?
-
1未満と1以下の違い
-
「logx^2=2logx」が間違って...
-
ACCESS VBAでインポート定義の場所
-
単調増加、単調減少の x の範囲
-
エクセルVBA 「名前の定義」に...
-
点と線について
-
p⇒q=(¬p)∨qについて
-
Access 2013 でADOがうまく使え...
-
三角関数(たとえばf(x)=sinxと...
-
中学数学”平方根”
-
Σ[k=0,n](x^k)/(k!)
-
lim n→0 =n=0となりますが lim ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
複雑な家庭とは
-
「互いに素」の定義…「1と2は互...
-
べき乗
-
日本語 ことば ひとまわり ふた...
-
1未満と1以下の違い
-
最大元と極大元の定義の違いが...
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
eの0乗は1ってどういう原理です...
-
ACCESS VBAでインポート定義の場所
-
ヘシアンが0の場合どうやって極...
-
ACCESS IIF関数 複数条件の設...
-
画像の説明で一番最後の閉包作...
-
5桁の整数nにおいて,万の位,...
-
“半日”って何時間のことなんで...
-
0^1(0の1乗)はいくつでしょ...
-
√6=√(-2)(-3)=√(-...
-
lim n→0 =n=0となりますが lim ...
おすすめ情報