A 回答 (2件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
実数の大小関係と集合の包含関係を関連付けて考えるのがポイントです。
まず数列の上極限,下極限についておさらいします。
limsup an の意味は次の通りです。
bn=sup(k≧n)ak とおくと,どんな k≧n に対しても,bn≧ak が成り立ち,
しかも bn はこの不等式を成り立たせるような最小の数です(上限は最小上界)。
そして bn は n に関して単調に減少する(あるいは単調非増大)ので,
lim(n→∞)bn=inf(n→∞)bn という書き換えることができます。
よって lim sup an=inf(n∈N) sup(k≧n) ak というように,上極限を
sup と inf だけで表現することが出来ます。
次に「実数の大小関係」という順序関係を「集合の包含関係」という
順序関係にうつしかえる方法を考えます。
ただし,実数はどんな2つの実数の間にも大小関係が定まるのに対し,
ある全体集合の部分集合同士については,包含関係が必ずしも
定まらないという大きな違いもあるので,注意が必要です。
集合 A,B について,A⊃B が成り立つ時,「A≧B」と仮に書くことにします。
では,ある集合の部分集合からなる列 An があったとします。
ある n について,k≧n なるどんな k に対しても Bn≧Ak (普通の書き方では Bn⊃Ak)が
成り立つような「最小の」集合 Bn は何でしょうか?
それは実は Bn=∪(k≧n)Ak なのです(これは証明を要することです)。
これが数列の bn=sup(k≧n)ak に相当する式です。
一方,どの Ak にも含まれるような「最大の」集合は ∩Ak です。
つまり,sup は ∪ に,inf は ∩ に対応すると考えればよいことがわかりました。
このような議論から,lim sup an=inf(n∈N) sup(k≧n) ak という関係式の集合列版が,
この置き換え規則によって,∩(n∈N)∪(k≧n)Ak とするのがふさわしいことがわかったのではないかと思います。
後半の疑問については素直に集合の記号を解釈すれば解決します。
a∈limsup An のとき,これは a∈∩(n∈N)∪(k≧n)Ak と同値です。
そしてこれは,全ての n につき a∈∪(k≧n)Ak が言えるということです。
a∈∪(k≧n)Ak というのは,「a∈Ak となる n 以上のある k が存在する」ということを意味しています。
したがって,n=1, 2, 3, ... に対して取れる k≧n かつ a∈Ak を
みたすような k のどれかひとつ(複数あるかもしれません)を kn と
名付ければ,kn≧n より,n→∞ のとき kn→∞ とならざるを得ないので,kn は無限個あります。
つまり,a は「無限に多く」の Akn 達に共通して属しているということになります。
これが「無限に多くのAnに含まれている要素を集めた集合」という言い回しの意味です。
同じ様な読み解き方で『下極限は「有限個のAnを除いたすべてのAnに含まれている集合」』という文章について考えてみて下さい。
丁寧に解説していただき、ありがとうございます。
まだ、完全に理解したとはいえないのですが、なんとなく
理解できそうな感じになってきました。
下極限の「有限個のAnを除いたすべてのAnに含まれている集合」という文章について、上極限と同じような読み解き方で、考えてみましたが、自分の考えがあっているのか、まだ自信がありません。
おそれいりますが、下極限についても解説していただけないでしょか。
No.2
- 回答日時:
集合の記号の意味を理解する訓練をする必要があるようですね。
∪(n∈N)∩(k≧n)Ak の意味を考える時は左側の記号から外していきます。
a∈lim inf An(n→∞)=∪(n∈N)∩(k≧n)Ak
⇔ ある n∈N が存在して,a∈∩(k≧n)Ak が成り立つ。
つまり,a は An 以降の全ての Ak に属しているということです。
ただし,An 以前の A1, A2, A3, ..., An-1 のそれぞれについて,
a が属しているかどうかは不明です。
しかし,これらの n-1 個の集合の個数は有限個です。
したがって,これらの中に a を要素として持たないものがあったとしても,それらは高々有限個であり,
それらを除いたすべての An に a は属していることになります。
こんな調子で集合の記号を読み解いていきましょう。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 数学3の極限でSnとanの極限をそれぞれ考える問題があるのですがどうやって見分ければいいのですか? 2 2023/03/02 16:20
- 数学 数学Ⅲの関数の極限、関数の連続・不連続に関しての質問でございます。 問題集には、次の関数の〔 〕内の 5 2022/05/19 10:43
- 運転免許・教習所 教習所について 1 2023/08/20 20:42
- 統計学 大数の法則と中心極限定理の関係について 3 2023/08/21 21:35
- 生物学 理解力 2 2022/05/10 20:24
- 数学 数列の極限についての質問です。赤で囲った部分の変形ってなんでこんななるんでしょう?教科書にも載ってい 3 2022/08/02 17:13
- 数学 極限値を求める時って、片側極限だけの値じゃ駄目でしたっけ? eの定義を用いて極限を求める問題なんです 2 2023/04/18 03:02
- 数学 数3の極限の問題です。 ①lim(x→1) 2/(x-1)^2 ②lim(x→2) 3/x^2-3x 2 2022/11/30 10:26
- 数学 『無限回の計算』 4 2023/06/07 17:49
- 数学 高3の微分についての質問です。 ある説明に「数学IIで扱ったのは多項式関数で、この時極限値は必ず存在 6 2023/07/02 10:04
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
数字は存在するのか
-
要素と、部分集合の違いを教え...
-
∈ と ⊂ のはっきりとした違い
-
1から100までの自然数で、3,4,5...
-
部分が全体に等しいのが無限で...
-
二階述語論理と高階述語論理に...
-
数学で、数字の上にある横線の意味
-
6以下の自然数全体の集合の要素...
-
整数における乗法の定義がwell-...
-
集合 全体集合 実数 部分集合A=...
-
supとmaxの違いを教えて下さい。
-
数学でのセミコロンについて
-
空集合のべき集合
-
加法と乗法について閉じている...
-
高校数学で、 150以下の自然数...
-
ボレル可測集合、可測集合の範...
-
べき集合のTeX
-
集合のユニークな要素数の数式...
-
単射の総数
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
空集合のべき集合
-
数字は存在するのか
-
数学で、数字の上にある横線の意味
-
R\\{0} って、0を除く実数って...
-
数学でのセミコロンについて
-
要素と、部分集合の違いを教え...
-
Rの半開区間(0,1]と開区間(0,1)...
-
部分が全体に等しいのが無限で...
-
数字の上のバー
-
集積点が、まったく分かりませ...
-
内包的記法と外延的記法について
-
6以下の自然数全体の集合の要素...
-
ACCESSのSQL
-
すべての自然数とすべての実数...
-
数学の集合で閉じているの意味...
-
集合の記号の読み方等について
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
有理数と実数とではどちらが多いか
おすすめ情報