ガロア第一論文と乗数イデアル他関連資料スレ18 (442ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
145(4): 06/10(火)18:02 ID:Dv67HRUE(1) AAS
>>142
>くやしいのう
そうか、数学が理解できなくて悔しいか
なら、国語からやり直そうな
>”書き写す”なんて ダサいことはしていない
>このページをコピーして、それをスキャナーで読ませて
>PDFのOCRからコピー貼付けした
読んでないから、ダサいな
>"一様連続と書いてあるとそのままそれが必要条件だと思って書き写す"？ ●●か
>高木『必要かつ十分なる条件は，上記の連続条件が一様性を有すること』とある
なぜ、そうなるかわかってるかい？
「f(x)は ”或る区間[a,b]” の有理数xに関してのみ定義されていて」
” ” でくくったところ読んだかい？
ここってどういう集合？
「有界」「閉」区間だろ？
君、この定理知ってる？
ーーーーーーーーーーーーーーーーーーーー
定理（有界閉区間上連続ならば一様連続）
I を有界閉区間，f:I→R を連続関数とする。
このとき，f は一様連続である。
すなわち，
任意の ε>0 に対して，ある δ>0 が存在して，
∣x−y∣<δ⟹∣f(x)−f(y)∣<εが成立する。
ーーーーーーーーーーーーーーーーーーーー
つまり、有界閉区間上で定義されてることを利用している。
ここ、分かってないのは、大学１年の微積の理論が分かってないオチコボレな
つまり、君はこのことに全く言及できなかった時点で立派なオチコボレ
一方f(x)が 有理数x全体で定義されているとしよう
このときf(x)の定義を拡張して
実数全体で連続なる函数が得られる必要十分条件は何か？
もちろん、f(x)が有理数全体で一様連続なら拡張できるよ
しかし、そうでないなら拡張できない、というならウソ
反例が有理数上での関数x^2
これ、R上で一様連続かい？
まあ、はっきりいって、
答えは9割方明らかなんだけどね
君に残り1割が埋められるのかな
ふっふっふ ほっほっほ
148(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/10(火)23:19 ID:c+NJ0JxA(3/3) AAS
>>145-146
ご苦労さまです
ID:equarQsV は、御大か
巡回ありがとうございます
>このことに言及する気にまったくなれない自分は
全くですね
”このこと”とは、>>145の”定理（有界閉区間上連続ならば一様連続）”
ですが、私も全く同様で、必要がないと思います
過去にも書いたが >>142の解析概論（高木 2010版）の練習問題
『（6）f(x)は或る区間[a,b]の有理数xに関してのみ定義されていて，かつ連続の条件を満足するとす
る．すなわちε-δ式でいえばlx−x'|<δなるとき, |f(x)-f(x')| < ε.そのとき，f(x)の定義を拡張し
て区間[a,b]において連続なる函数が得られるであろうか？(例：26頁に述べたα^xの拡張.）
［解］必要かつ十分なる条件は，上記の連続条件が一様性を有すること(εのみに関係してx,x'に関係
しないδが存在すること)である．26頁で,α^xに関しては単調性を用いたが，今度はCauchyの判定法
を用いる．
有理数というのは一例で，区間内において稠密なる点集合でもよい．また二次元以上でも同様である．』
ここで 有界閉区間[a,b]を 記載しているのは おそらく 教育的配慮で
説明を 簡便にするためでしょう
（>>121の通り 全書式は、入門書としては 配慮に欠けると。簡明さのため 区間[a,b]を入れたのしょう
(参考)
2chｽﾚ:math
解析概論 第一版緒言
全書式ともいうべきものは，約言すれば数学現状の展覧会で，精粗錯雑，玉石
同架である．それは玄人向きで，解析概論においてはまずは問題外であろう．解析概論におい
て，最も理想的な方法は，理論の大局においては講義式，細節においては教本式にのっとって，
なおその上に慾を言えば，全書式の各部門からなるべく多くのサンプルを取入れて，全体を具
合よく調合するのであろうが，具合よくというところに無限の要求がある．このような理想を
念頭に置きつつ,本書を書きは書いたが，もとより具合よくはいかないで校了の後・・・略す）
また、すでに書いたが >>108-109記載の通りで
wiis 外部ﾘﾝｸ:wiis.info
「関数の一様連続性（一様連続関数）」
『1変数関数が一様連続であることの意味を定義するとともに、関数が一様連続であること、ないし一様連続ではないことを判定する方法について解説します。』
これで 「一様連続性は定義域の選び方に依存する」の節がある
”例（一様連続性と定義域）”の記載があるよ
そして、ここにwiisの演習問題で 定義区間が 全実数を渡る 一様連続関数 が出題されている
だから、”定理（有界閉区間上連続ならば一様連続）”は 鼻くそ みたいな話だろう
繰り返すが、解析概論（高木）は、教育的配慮から 練習問題(5)と(6)を
”或る区間[a,b]”として、説明が簡潔になることを優先したのだろう
（多分 本文の説明に合わせて 練習問題を簡略にした）
149: 06/11(水)06:26 ID:Haft9BYx(1/5) AAS
>>145
>>>”定理（有界閉区間上連続ならば一様連続）”
>>146
>>このことに言及する気にまったくなれない
数学科なら常識だからね 知らない奴は白知
>>147
>>工科出身に一様連続とか一様収束とか広義一様とか問い詰めてもな
工科は計算できればいい 理屈なんかわからんから、ということか
>>148
>私も全く同様で、必要がないと思います
必要がないｗｗｗｗｗｗｗ
ＯＴは必要ないとかいってねえよ
そんなことは知ってて当然だから
わざわざいうのは失礼だというんだろ？
しかしマジで知らん奴にはわざわざ言ってさし上げるしかない
なにしろ大学１年の一般教養の微分積分で
実数の定義から理解できなかった
落ちこぼれだからな はっはっはっは
150: 06/11(水)06:49 ID:Haft9BYx(2/5) AAS
さあ、本題にはいろうか
>>148
>ここで 有界閉区間[a,b]を 記載しているのは
>おそらく 教育的配慮で説明を 簡便にするためでしょう
「教育的配慮」とか「説明を簡便に」とかいうのは
いかにも何もわかってない🐎🦌の弁解だな
１） [a,b]は有界閉区間
２） 有界閉区間で連続なら、一様連続
この２点が重要 ２）が不要とかいうのは馬鹿
もし有理数全体だったら？
そりゃ「全体で連続かつ任意の閉区間で一様連続」が必要条件
いっとくが>>145で挙げた定理は実数だから成り立つんで
端点が有理数に限定された有理数だったら成り立たん
（つまり全体として連続だからといって任意の閉区間で一様連続とは限らん）
だから「かつ・・・」以降はわざわざ追加する必要がある
意味わかるか？オチコボレ
「ｘが√２より小さいなら０、ｘが√２より大きいなら１」
この関数で、定義域を[1,2]としたときに一様連続にできるか？
ん？どうだ？連続と一様連続、それぞれの定義を
論理式として理解していれば
たちどころに即答できるだろ？やってみ（笑）
>全書式は、入門書としては 配慮に欠けると。
まさかとはおもうが一応いっとくけど
全「書式」じゃなく「全書」式だぞ わかってるか🐎🦌
>「一様連続性は定義域の選び方に依存する」
然り
任意の有界閉区間で一様連続でも、全区間で一様連続でない関数はある
>定義区間が 全実数を渡る 一様連続関数 が出題
全域で一様連続な関数はある
かならずしも値が有界であるとは限らない
線型関数は全域で値が有界でないが一様連続である
>”定理（有界閉区間上連続ならば一様連続）”は 鼻くそ
いや全然
「有理数∩有界閉区間[a,b]」で
連続（lx−x'|<δ(x)なるとき, |f(x)-f(x')| < ε(x)）であったとしても
一様連続（lx−x'|<δなるとき, |f(x)-f(x')| < ε）でなかったならば
実有界閉区間[a,b]への拡張はできない
その例として区間[1,2]
「ｘが√２より小さいなら０、ｘが√２より大きいなら１」
があげられる
さあ、上記の関数が連続だが一様連続ではないことを確認せよ
154(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/11(水)13:50 ID:181R6eWz(4/5) AAS
>>148 補足
(引用開始)
>このことに言及する気にまったくなれない自分は
全くですね
”このこと”とは、>>145の”定理（有界閉区間上連続ならば一様連続）”
ですが、私も全く同様で、必要がないと思います
(引用終り)
そもそも>>83より再録
岩波 定本 解析概論 高木貞治 著 2010/09/15
詳しい目次
外部ﾘﾝｸ[pdf]:www.iwanami.co.jp
第1章 基本的な概念
練習問題（1）
ここにある下記の問題だね
問（5）f(x),g(x)は[a,b]において連続とする．もし[a,b]内に稠密に分布されている点zにおいて(例
えばxが有理数なるとき）f(x)とg(x)とが相等しい値を取るならば,[a,b]のすべての点xにおいて
f(x)=g(x).
二次元以上でも同様である．
問（6）f(x)は或る区間[a,b]の有理数xに関してのみ定義されていて，かつ連続の条件を満足するとす
る．すなわちε-δ式でいえばlx−x'|<δなるとき, |f(x)-f(x')| < ε.そのとき，f(x)の定義を拡張し
て区間[a,b]において連続なる函数が得られるであろうか？(例：26頁に述べたα^xの拡張.）
［解］必要かつ十分なる条件は，上記の連続条件が一様性を有すること(εのみに関係してx,x',に関係
しないδが存在すること)である．26頁で,α^xに関しては単調性を用いたが，今度はCauchyの判定法
を用いる．
有理数というのは一例で，区間内において稠密なる点集合でもよい．また二次元以上でも同様である．
(引用終り)
ここで
問（5）は、条件”[a,b]において連続”であるので
f(x)’＝f(x)-g(x) とおくと （>>106に書いたが）
相等しい値を取る → 定数関数として f(x)’≡0 を証明すれば良い となる
直ちに分かることは、”（定数関数は一様連続関数）”が使えること（ (参考)wiis 外部ﾘﾝｸ:wiis.info ）
問（6）は、大定理で 一般の完備な空間の中の稠密部分において 一様連続関数が 完備な空間に延長できる
の 一つの系 に落とした 問いだということ（この話はすでに>>126に書いた）
昔の大学への数学のコラムで「大学入試問題が、大学学部の大定理の一つの簡単な系が問題のネタ」というのがあった(高校数学内で解ける)
それの類似だろうさ
問（5）（6）どちらも、”区間[a,b]”に限らずとも 成り立つ命題だ （数学的には ”区間[a,b]”は不要！）
高木先生は、教育的配慮で、一つの系 ”区間[a,b]”に落として 問（5）（6）を設定していると見るのが相当
だから、大学学部１年の１日目で詰んだオチコボレさんは以外の 大学学部卒業生は”区間[a,b]”を ”陽”に使わない証明を基本線として考えるべし！
（繰り返すが この話はすでに>>126に書いた）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 1.782s*