ボルツァーノ ワイ エル シュ トラス の 定理
トイレ の 詰まり 重曹ボルツァーノ＝ワイエルシュトラスの定理 | 高校数学の美しい物語. ボルツァーノ＝ワイエルシュトラスの定理 は，解析学・集合位相空間論において重要な定理です。 2通りの証明を紹介します。 目次. 怪我 の 具合 は どうですか
イーリス の 杖証明1：単調収束定理を用いる証明. 証明2：区間縮小法を使う証明. 展望. 
昭和 の 駄菓子 屋ウィキペディア フリーな 百科事典. 数学 、特に 実解析 における ボルツァノ–ヴァイヤシュ …. ボルツァーノ・ワイエルシュトラスの定理 - gleamath.com. ボルツァーノ・ワイエルシュトラスの定理. 区間縮小法1 とアルキメデスの公理2 を仮定して,Bolzano-Weierstrassの定理を証明する.主張を述べるた …. ボルツァーノ＝ワイエルシュトラスの定理の一般化 | 点列 . ボルツァーノ＝ワイエルシュトラスの定理の一般化 | 点列 | ユークリッド空間 | 数学 | ワイズ. 点列. ボルツァーノ＝ワイエルシュトラスの定理の一般化. …. ボルツァーノ･ワイエルストラス（Bolzano･Weierstrass）の定 …. この動画は、ボルツァーノ･ワイエルストラス（Bolzano･Weierstrass）の定理の内容になります。 抽象的でわかりづ …. ボルツァーノ・ワイエルシュトラスの定理の証明 証明編 - YouTube. ボルツァーノ・ワイエルシュトラスの定理の証明 証明編 - YouTube. 0:00 / 24:05. ボルツァーノ・ワイエルシュトラスの定理の証明 …. ボルツァーノ-ワイエルシュトラスの定理の証明 - 小野研究室. ボルツァーノ-ワイエルシュトラスの定理の証明. (ステップ1) 数列 {xn}n∈N { x n } n ∈ N が有界であるとします。. すなわち、数列 …. 「点列の場合のボルツァーノ-ワイエルシュトラスの定理とその . 「点列の場合のボルツァーノ-ワイエルシュトラスの定理とその証明」「多次元版ワイエルシュトラスの最大値定理の証明」【解析 …. ボルツァーノ＝ワイエルシュトラスの定理が成り立たない距離 . 実数空間やユークリッド空間ではボルツァーノ＝ワイエルシュトラスの定理が成り立つ一方、距離空間では成り立つとは限りません …. ボルツァーノ-ワイエルシュトラスの定理のイメージ - 小野研究室. ボルツァーノ-ワイエルシュトラスの定理の直感的な理解. 一言で述べれば、 有界な数列の一部分には、必ず収束する数列がある。 …. ボルツァーノ＝ワイエルシュトラスの定理とは - わかりやすく . Weblio 辞書 > 辞書・百科事典 > 百科事典 > ボルツァーノ＝ワイエルシュトラスの定理 の意味・解説. ウィキペディア. ボルツァー …. 「ワイエルシュトラスの最大値定理を証明しよう！」〜連続な . ワイエルシュトラスの最大値定理 K = [a, b] は R の区間、関数 f: K → R が [a, b] で連続とする。 このとき、 f の K における最大値、 …. ワイエルシュトラスの因数分解定理 - Wikipedia. 定理は 有理型函数 へ拡張され、与えられた有理型函数を 3つの要素の積として考えることが可能になる。 3つの要素とは、函数の極、函数の零点に …. 
競馬 予想 平場 の 鉄人ボルツァーノ・ワイエルシュトラスの定理はなぜ重要か . ボルツァーノ・ワイエルシュトラスの定理です． 大学1年生もしくは2年生で理系の人間は微積分を学ぶと思います．そして，その中で最初の方に出てくるけどその重要性が全然わからない定理． ぼくにとってはそんな思い出のある定理です．. 「点列の場合のボルツァーノ-ワイエルシュトラスの定理とその . 2024年 3月 16 日 オノコウスケ小野研究室 多変数関数 「点列の場合のボルツァーノ-ワイエルシュトラスの定理とその証明」「多次元版ワイエルシュトラスの最大値定理の証明」【解析学の基礎シリーズ】多変数関数編 その18 本記事の内容 本記事は、多次元版ワイエルシュトラスの最大値定理と . ボルツァーノ・ワイエルシュトラスの定理の証明 証明編 - YouTube. 【訂正】12:50 実数にもと『ず』く定理⇒ 実数にもと『づ』く定理18:17から｛Cn｝の部分列の取り方について述べています。Cn(2)の元の選び方は｛Cn . 区間縮小法とボルツァノ-ワイエルシュトラスの定理 | Excel VBA . Excel と数学を同時に学べるサイトです。VBA による専門的な数値解析も扱っています。 この記事では区間縮小法を証明し、そこから有界な数列が収束する部分列をもつこと（ボルツァノ-ワイエルシュトラスの定理）を導きます。. About: ボルツァーノ＝ワイエルシュトラスの定理. 数学、特に実解析におけるボルツァノ–ヴァイヤシュトラスの定理（ボルツァノ–ヴァイヤシュトラスのていり、英: Bolzano–Weierstrass theorem）は、ベルナルト・ボルツァーノおよびカール・ヴァイヤシュトラスに名を因む、有限次元ユークリッド空間 ℝn における収束に関する基本的 …. カール・ワイエルシュトラス - Wikipedia. ヴァイエルシュトラスの楕円函数 カゾラーティ・ワイエルシュトラスの定理：真性特異点の近傍の像は稠密である ワイエルシュトラスのペー関数：古典的な楕円関数 ボルツァーノ＝ワイエルシュトラスの定理：有界な無限集合は集積点を持つ. ワイエルシュトラスの予備定理 - Wikipedia. ワイエルシュトラスの準備定理と呼ばれることもある。 カール・ジーゲルは、この定理にカール・ワイエルシュトラスの名前がついているのは19世紀後半の Traités danalyse で正当な理由の説明もなくそうされたからであるとして [要出典 . ボルツァーノ-ワイエルシュトラスの定理のイメージ - 小野研究室. 解析学 実数の連続性編 その15 本記事は、ボルツァーノ-ワイエルシュトラスの定理のイメージと部分列について説明する記事です。 この定理を一言で言えば、「有界な数列の一部分には、必ず収束する数列がある。」ということです。この定理は実数の連続性とも関連が …. ボルツァーノ＝ワイエルシュトラスの定理が成り立たない距離 . 距離空間においてボルツァーノ＝ワイエルシュトラスの定理は成り立たない. 距離空間 が与えられているものとします。. つまり、 は非空集合であるとともに、距離関数 が以下の4つの公理 を満たすということです。. 距離空間を満たす対象は様々ですが . 
子供 の 言葉 を 引き出す【1変数】最大値の定理とその証明 | 生命系のための理工学基礎. ミミズ 腫れ と は
膝 を 冷やす解析学 2019.7.12 【1変数】上に有界な単調増加列は実数の極限値に収束する 解析学 2019.7.13 【1変数】部分列と集積点の定義とボルツァーノ-ワイエルシュトラスの定理の証明 解析学 2019.9.8 【1変数】関数における連続. ボルツァーノ＝ワイエルシュトラスの定理 - ボルツァーノ . 歴史と意義. ボルツァノ–ヴァイヤシュトラスの定理は、ボルツァノとヴァイヤシュトラスという二人の名前が冠されているが、実際には1817年にボルツァノが 中間値の定理 の証明において 補題 として証明したのが初出である。. 50年ほどしてから、この . ワイ エル シュ トラス の 定理. ボルツァーノ＝ワイエルシュトラスの定理 - Wikipedia ボルツァーノ・ワイエルシュトラスの定理の証明（解析学 第I章 実数と連続6） AREA COLLECTION この付近のおすすめコレクション 地元の銘酒が揃う!甲府駅近くの酒屋さんまとめ 甲府駅周辺 . ボルツァーノ・ヴァイエルシュトラスの定理 の例文集 - 用例.jp. ボルツァーノ・ヴァイエルシュトラスの定理 の例文集 - 用例.jp - 両証明は今日ボルツァーノ・ヴァイエルシュトラスの定理として知られるものと関係する。この結果は、R d 上の連続関数に対してボルツァーノ・ヴァイエルシュトラスの定理を用いるのと同じやり方で、連続凸関数に対す …. 日本ユニシス株式会社 川辺治之. 実は，集合変数を含まないACA0 の定理はPAの定 理になる． 9/42 算術的内包公理と同値な定理 （数列に対する）ボルツァーノ{ワイエルシュ トラスの定理：任意の有界な無限実数列は収 束する部分列をもつ． （数列に対する）最小 . ボルツァーノ＝ワイエルシュトラスの定理とは - わかりやすく . これと同値な定式化として、「 ℝ n の部分集合が点列コンパクトであるための必要十分条件は、それが有界 閉集合となることである [2] 」という形で述べることができる。この定理をしばしば (ℝ n の) 点列コンパクト性定理とも言う [3]。. ボルツァーノ・ワイエルシュトラスの定理. 数学、特に実際の解析において、ベルナルド・ボルツァーノとカール・ワイエルシュトラスにちなんで名付けられたボルツァーノ・ワイエルシュトラスの定理は、有限次元ユークリッド空間における収束に関する基本的な結果です。この定理は、 の各無限の有界シーケンスには収束する部 …. ヴァイエルシュトラスの楕円函数 - Wikipedia. デク の 父親
小 6 算数 対称 な 図形定義. 複素数平面の部分集合上で定義されたヴァイエルシュトラスのペー函数を、標準的な視覚化法として、極を白く、零点を黒く、 で 彩度 が極大になるように表したもの。. 極の成す正則格子と零点の成す交互格子に注意。. ヴァイエルシュトラスの楕円 . 【1変数】一様収束とワイエルシュトラスのM判定法 | 生命系の . 【1変数】実数の和と積、順序、絶対値を定義 解析学 2021.4.25 【1変数】実数列が収束することとコーシー列であることは同値である 解析学 2019.7.13 【1変数】部分列と集積点の定義とボルツァーノ-ワイエルシュトラスの定理の証明. 最大値最小値定理 - Wikipedia. ボルツァーノの証明は「連続函数が閉区間上有界であること」と「函数が最大値および最小値に到達すること」を示すことからなる。両証明は今日ボルツァーノ・ヴァイエルシュトラスの定理として知られるものと関係する(Rusnock & Kerr)。. ワイエルストラス（Weierstrass）の定理を紹介＆解説します . ワイエルストラス（Weierstrass）の定理は区間縮小法、ε－N論法、集積点などを駆使して証明しますので、重要な定義や定理の練習にもなりますし . ワイエルシュトラスの予備定理 - ワイエルシュトラスの予備 . この定理はワイエルシュトラスの1879年の出版物の中で公表された [1] （講義の中では1860年から取り入れていた [2] [3] ）。 この定理には数々の変形版がある。共通するアイデアは、考えている環 R の元を可逆元 u とワイエルシュトラス多項式と呼ばれる特別な種類の多項式 w の積 u·w に分解する . ワイエルシュトラスのM判定法 | 高校数学の美しい物語. ※上記の「実数値関数列」を「複素数値関数列」としても定理は成立します。 この記事では 「一様収束の意味・一様収束だとなぜ嬉しいか？」を確認した上で，ワイエルシュトラスのM判定法を証明します。. 5 ボルツァーノ・ワイエルシュトラスの 定理，コーシー列. ボルツァーノ・ワイエルストラスの定理 有界な数列fang1 n=1 には，収束する部分列fan k g1 k=1 が存在する． 注意：上の定理は収束する部分列fan k g1 k=1 が存在することを主張しているだけで，元の 数列fang1 n=1 が収束するかどうか. ヴァイエルシュトラスの定理とは？ 意味や使い方 - コトバンク. 法則の辞典 - ヴァイエルシュトラスの定理の用語解説 - 閉区間における連続関数は，多項式を用いて任意の精度で一様に近似することが可能である． MENU コトバンク ヴァイエルシュトラスの定理 （英語表記）Weierstrass theorem 法則の . ボルツァーノ=ワイヤーシュトラスの定理(ぼるつぁーのわいやー . 改訂新版 世界大百科事典 - ボルツァーノ=ワイヤーシュトラスの定理の用語解説 - 数学用語。Sを閉区間とするとき，Sは次の各性質をもっているが，これらの性質はいずれもコンパクト性と呼ばれている。(1)開集合の族が全体としてSを覆うならば，Sはすでにそれらの開集合の中の有限 …. ボルツァーノ＝ワイエルシュトラスの定理 - Wikiwand. 数学、特に実解析におけるボルツァノ–ヴァイヤシュトラスの定理（ボルツァノ–ヴァイヤシュトラスのていり、英: Bolzano–Weierstrass theorem）は、ベルナルト・ボルツァーノおよびカール・ヴァイヤシュトラスに名を因む、有限次元ユークリッド空間 ℝn における収束に関する基本的 …. ボルツァーノ＝ワイエルシュトラスの定理 - ユニオンペディア. ボルツァーノ＝ワイエルシュトラスの定理（-ていり, ）とは、実数の基本的な性質の一つの表現であり、解析学の分野などでよく用いられる。 名前の「ボルツァーノ」はチェコの数学者・ベルナルト・ボルツァーノに、「ワイエルシュトラス」はドイツの数学者・カール・ワイエルシュト …. ワイエルシュトラスの多項式近似定理 - INTEGERS. この記事では、Weierstrassの多項式近似定理の証明を解説します：定理 (Weierstrass, 1885) を区間上で定義された実数値連続関数とする()。このとき、任意のに対して多項式が存在して、が成り立つ。証明は何通りもありますが、Bernsteinによるものを解説します。これは多項式を具体的に与える証明 . ボルツァーノ・ワイエルシュトラスの定理からアルキメデスの . ボルツァーノ・ワイエルシュトラスの定理からアルキメデスの原理を導くことはできますか？ 杉浦の解析入門Ⅰのp.27に ワイエルシュトラスの公理(連続の公理) ⇒上に有界な単調増加実数列(a_n)はsup{a_n|n∊N}に収束する ⇒アルキメデスの原理 と 区間縮小法 ⇒ボルツァーノ・ワイエ …. ボルツァーノ＝ワイエルシュトラスの定理 について - 翻訳と辞書. ボルツァーノ＝ワイエルシュトラスの定理[-ていり] ボルツァーノ＝ワイエルシュトラスの定理（-ていり, Bolzano–Weierstrass theorem）とは、実数の基本的な性質の一つの表現であり、解析学の分野などでよく用いられる。 == 定理 == *有界な実数 列は収束 部分列を持つ。. ワイエルシュトラスの定理 - マソリティ. この記事では、ワイエルシュトラスの定理の定義を説明します。さらに、ワイエルシュトラスの定理を段階的に解くいくつかの練習問題を練習して、完全に理解することができます。 ワイエルシュトラスの定理の説明 ワイエルシュトラスの定 … ワイエルシュトラスの定理 もっと読む ». ボルツァーノ＝ワイエルシュトラスの定理 について - 翻訳と辞書. ぼ よ よん 行進 曲 楽譜 無料
東京 で 働く 辛いボルツァーノ＝ワイエルシュトラスの定理[-ていり] ボルツァーノ＝ワイエルシュトラスの定理（-ていり, Bolzano–Weierstrass theorem）とは、実数の基本的な性質の一つの表現であり、解析学の分野などでよく用いられる。 == 定理 == *有界な実数 列は収束 部分列を持つ。. ベルナルト・ボルツァーノ - Wikipedia. 解析学の分野では「ボルツァーノ＝ワイエルシュトラスの定理」など、彼の名が冠される定理をいくつか残している。 哲学分野では反カント主義的方法論が災いして同時代の人物からはほとんど注目されなかったが、20世紀初頭のブレンターノやフッサールによってその成果は大いに評価された . ボルツァーノ＝ワイエルシュトラスの定理 について - 翻訳と辞書. ボルツァノ・ヴァイエルシュトラスの定理 ： ウィキペディア日本語版 ボルツァーノ＝ワイエルシュトラスの定理[-ていり] ボルツァーノ＝ワイエルシュトラスの定理 （-ていり, Bolzano–Weierstrass theorem）とは、 実数 の基本的な性質の一つの表現であり、 解析学 の分野などでよく用いられる。. ワイエルシュトラスの公理 - y_bontens blog. 実数の完備性を定義する流儀のひとつであるワイエルシュトラスの公理は、「上界を持ち空でない任意の集合が上限を持つ」と書かれるが、これは上下を入れ替えて「下界を持ち空でない任意の集合が下限を持つ」と書いても同値である。. 解析学 ／第 1 - 愛媛大学. イエルストラスの 定理 連続関数 最大値・最小値の 存在 ボルツァーノ=ワイエルストラスの定理 【定理の証明】 定理の仮定から{an} は有界な数列なので, 下界c1 と上界d1 がある. このとき, すべての番号n について c1 ≤ an ≤ d1 が …. ボルツァーノ＝ワイエルシュトラスの定理 について - 翻訳と辞書. ボルツァーノ・ヴァイエルシュトラスの定理 ： ウィキペディア日本語版 ボルツァーノ＝ワイエルシュトラスの定理[-ていり] ボルツァーノ＝ワイエルシュトラスの定理 （-ていり, Bolzano–Weierstrass theorem）とは、 実数 の基本的な性質の一つの表現であり、 解析学 の分野などでよく用いられる。. ボルツァーノ・ワイエルストラスの定理の証明で、2分した . ボルツァーノ・ワイエルストラスの定理の証明で、2分したどちらかには無限個のanが存在するという理由が分かりません。 おそらく実数や数列の連続性の理解が不足しているのだと思うのですが、教科書を読み直しても分からないので教えて下さい。 ボルツァーノ・ワイエルストラ …. カール・ワイエルシュトラス - ユニオンペディア. このクラスの楕円函数は、ペー函数と呼ばれ、一般に なる記号（ヴァイエルシュトラス・ペー）で表される。 ヴァイエルシュトラスのペー函数記号. 新しい！!: カール・ワイエルシュトラスとヴァイエルシュトラスの楕円函数 · …. ワイエルシュトラスの定理 - Wikiwand. カール・ワイエルシュトラスに因んで名づけられている定理がいくつかある。そのうちのいくつかは：ワイエルシュトラスの近似定理：ストーン・ワイエルシュトラスの定理の一般化 ボルツァーノ・ワイエルシュトラスの定理：Rn の有界閉集合はコンパクト ワイエルシュトラスの極値定理 . Bolzano-Weierstrass の定理 - 相転移プロダクション コンテンツ . Bolzano-Weierstrass の定理 はじめに Bolzano-Weierstrass の定理についてのやりとりがあったので残しておきたい. ボルツァーノ・ワイエルシュトラの定理って難しいかな? @bonacci_11235 名前がわからないけど有界な数列は収 …. ボルツァーノ ワイ エル シュ トラス の定理 複素数. 証明は、どうやって書けばよいのでしょうか。どなたかご教授よろしくお願いいたします。 は収束することを証明せよ。（これは、数列に対するボルツァーノ・ワイエルシュ トラスの定理の証明です。） (1) すべてのan を含む閉区間[b;c] を一つ. 和歌山大学教育学部 2011年度 微分方程式 後期火曜 補足資料 . 1.1 陰関数定理. ここでは, 変数分離型の微分方程式の解の存在および一意性の証明に必要である陰関数 定理について述べる. まず, 実数体Rの連続性の1つの定式化であるボルツァーノ-ワイエ ルシュトラスの定理について述べる. 定 …. ワイエルシュトラスの因数分解定理 | Mathlog. 主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。. ボルツァーノ ワイ エル シュ トラス の定理 例題 4. ボルツァーノ・ワイエルシュトラの定理って難しいかな? 定理(高木関数).T はR上で連続関数であるが，すべてのx∈ Rで微分不可能である． 連続性の証明は簡単であるが，微分不可能性を証明するのは厄介である． 石井仁司(早 …. ボルツァーノ ワイ エル シュ トラス の定理 複素数. ワイエルシュトラスの定理」と「コーシーの判定法」を比べると、数列が収束することと同値であ るコーシーの判定法の方が重要に感じられがちなのですが、実際にはボルツァーノ・ワイエルシュ トラスの定理の方が連続関数の話に入ってから活躍します。. ボルツァーノ-ワイヤストラスの定理 ｜ Interprism Mathematics …. 解析学1. 実数の公理. 解析学の基本的な定義. 極限の定義. 墓石 に 刻む 花 さくら
バツトラ の 父有界単調列収束の定理. アルキメデスの原理. 区間縮小法. 初めて の エステ
cpz えろはさみうちの原理. ボルツァーノ-ワイヤストラスの定理. ヴァイエルシュトラスの楕円函数 について - 翻訳と辞書. 数学 における ヴァイエルシュトラスの楕円函数 （ヴァイエルシュトラスのだえんかんすう、）は、 カール・ヴァイエルシュトラス に名を因む、単純な形をした 楕円函数 の一種である。. このクラスの楕円函数は、ペー函数と呼ばれ、一般に なる記号 . ボルツァーノ＝ワイエルシュトラスの定理 について - 翻訳と辞書. ボルツァーノ＝ワイエルシュトラスの定理[-ていり] ボルツァーノ＝ワイエルシュトラスの定理（-ていり, Bolzano–Weierstrass theorem）とは、実数の基本的な性質の一つの表現であり、解析学の分野などでよく用いられる。 == 定理 == *有界な実数 列は収束 部分列を持つ。. カール・ワイエルシュトラス - ユニオンペディア. ール・ワイエルシュトラス カール・テオドル・ヴィルヘルム・ワイエルシュトラス（Karl Theodor Wilhelm Weierstraß, 1815年10月31日 – 1897年2月19日）はドイツの数学者である。姓のワイ (Wei) の部分はヴァイと表記するほうが正確である。. 解析学の基礎04 有界数列は収束部分列をもつ ボルツァーノ . 実数の連続性いいかえシリーズです。有界数列は収束する部分列をもつことを示します。式変形チャンネルでは、いろいろな数学を勉強するため . 「ボルツァーノ＝ワイエルシュトラスの定理」を詳しく知って . 2006/11/9 15:18. 急 が ず に だが 休 まず に
有界な数列は収束する部分列を持つというのがその定理ですが、有界と言うのはある範囲内にあるということ。. つまり数列を {an}とすると任意のnに対し、m<an<MとなるmとMが存在するということです。. このとき、たとえこの数列が収束しなくて . 6つの同値な「実数の連続性公理」まとめ（解析学 第I章 実数と . これまで実数の連続性を公理とし,数列の極限について定義,それから導かれる様々な命題,定理を証明してきました. その結果分かった実数の連続性公理と同値な条件(Bolzano–Weierstrass,Cauhy列の収束＋アルキメデスの原理etc) をまとめたいと思います. どれを公理としてもよく,自 …. 解析学の証明についての質問です。 - ボルツァーノワイエル . 解析学の証明についての質問です。 ボルツァーノワイエルシュトラスの定理(有界数列は収束部分列をもつ)の上極限を用いた証明で、以下の写真の3~4行目にかけての｢上限の定義から〜存在する｣の部分がよく分かりません。ここについてわかる方居ましたら教えてください。 上限の …. ボルツァーノ＝ワイエルシュトラスの定理 について - 翻訳と辞書. ボルツァーノ＝ワイエルシュトラスの定理[-ていり] ボルツァーノ＝ワイエルシュトラスの定理（-ていり, Bolzano–Weierstrass theorem）とは、実数の基本的な性質の一つの表現であり、解析学の分野などでよく用いられる。 == 定理 == *有界な実数 列は収束 部分列を持つ。. ワイエルシュトラス関数 - Wikipedia. ワイエルシュトラス関数(区間 [−2, 2])。 この関数はフラクタル挙動を示す: スケールを変えると似た構造が現れる(赤色の円)自己相似性をもつ。 ワイエルシュトラス関数（ワイエルシュトラスかんすう、英: Weierstrass function ）は、1872年にカール・ワイエルシュトラスにより提示された実数関数 …. ボルツァーノ・ワイエルシュトラスの定理. 数学、特に実解析では、ベルナルト・ボルツァーノとカール・ワイエルシュトラスにちなんで名付けられたボルツァーノ・ワイエルシュトラスの定理は、有限次元のユークリッド空間Rnでの収束に関する基本的な結果です。定理は、Rnの各有界シーケンスが収束サブシーケンスを持っていること . 【徹底解説】ボルツァーノ・ワイヤストラスの定理 | Academaid. ボルツァーノ・ワイヤストラスの定理の証明には， 区間縮小法 を利用します。. そこで，区間縮小法を利用するための準備をしましょう。. 区間縮小法を利用するためには， 単調減少 である 有界閉区間 の列 ( I n) n ∈ N に対し， I n = [ a n, b n] と定めたとき