[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む42 [無断転載禁止]©2ch.net (795ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
705(1): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/30(土)15:48 ID:RVfojIiC(11/14)調 AAS
>>704 つづき
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E5%AE%9A%E7%90%86
コンパクト性定理
(抜粋)
コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
(引用終り)
https://ja.wikipedia.org/wiki/%E3%83%81%E3%82%B3%E3%83%8E%E3%83%95%E3%81%AE%E5%AE%9A%E7%90%86
チコノフの定理
(抜粋)
チコノフの定理または、チホノフの定理 は、数学の位相幾何学 (トポロジー) における定理であり、任意個 (非可算個の場合を含む)のコンパクト空間の直積空間がやはりコンパクト空間となることを主張する。
命題 2：位相空間 X の任意の開集合族 {W}について、いかなる {W}の有限部分集合も X を被覆しないのであれば、 {W}も X を被覆しない。
(引用終り)
つづく
706(2): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/09/30(土)15:50 ID:RVfojIiC(12/14)調 AAS
>>705 つづき
下記の関数の連続性のε−δ論法を見て下さい
１）関数f(x)がf(a)で連続と言いたい。つまり、f(a)の周りに、必ず任意の（小さな）有限部分が取れる
↓
２）関数f(x)がf(a)で連続とは、f(a)の近くの、任意の（小さな）有限部分εで、 |f(x)?f(a)|<εを考えたとき、必ず |x?a|<δとできる
これ、「・・・は、任意の有限部分が○○のとき、○○ 」という言い方と同じ構造なんですよ
あとの、関数の極限の厳密な定義も同じです
１）lim(x→a)f(x)=A の意味（定義）：f(x)で、極限Aに対し、必ず任意の（小さな）有限部分εが取れ、 |f(x)?f(a)|<εとできる
↓
２）任意の正の実数 ε に対して，ある正の実数 δ が存在して，|x?a|<δ なら |f(x)?A|<ε（イプシロンデルタ論法による厳密な定義）
これも、「・・・は、任意の有限部分が○○のとき、○○ 」という言い方と同じ構造なんですよ
https://mathtrain.jp/continue
関数の連続性と一様連続性 高校数学の美しい物語 2016/05/22
(抜粋)
連続と一様連続の厳密な定義
連続関数の厳密な定義は冒頭の定義を ε−δ を使って書けばよいだけです。（ε−δ を用いた極限の定義ははさみうちの原理の証明を参照してください。）
一様連続の方が少し難しいです。
・連続性の定義：
考えている区間内の任意の実数 a と，任意の正の実数 ε に対して，ある δ が存在して「 |x?a|<δなら |f(x)?f(a)|<ε 」が成立する。
・一様連続性の定義：
任意の正の実数 εε に対して，ある δ が存在して，
「考えている区間内の任意の実数 aa に対して，|x?a|<δ なら |f(x)?f(a)|<ε 」が成立する。
非常に似ているので混乱しやすいです，じっくり考えてみてください。
「連続」の場合には場所 a に応じて適切な δ を持ってくればよいのですが，
「一様連続」の場合には場所 a によらない共通の δ を持ってこないといけないので一様連続の方が強い定義になっているわけです。
ε−δ を用いた定義に従って例で紹介した関数たちが連続，あるいは一様連続であることを証明するのがよい練習問題になります。
「連続」は局所的な概念，「一様連続」は大域的な概念です。
(引用終り)
つづく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.355s*