ガロア第一論文と乗数イデアル他関連資料スレ18

ガロア第一論文と乗数イデアル他関連資料スレ18 (445ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

148: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/06/10(火) 23:19:52.73 ID:c+NJ0JxA

>>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]を入れたのしょう
(参考)
https://rio2016.5ch.net/test/read.cgi/math/1746580795/224
解析概論 第一版緒言
全書式ともいうべきものは，約言すれば数学現状の展覧会で，精粗錯雑，玉石
同架である．それは玄人向きで，解析概論においてはまずは問題外であろう．解析概論におい
て，最も理想的な方法は，理論の大局においては講義式，細節においては教本式にのっとって，
なおその上に慾を言えば，全書式の各部門からなるべく多くのサンプルを取入れて，全体を具
合よく調合するのであろうが，具合よくというところに無限の要求がある．このような理想を
念頭に置きつつ,本書を書きは書いたが，もとより具合よくはいかないで校了の後・・・略す）

また、すでに書いたが >>108-109記載の通りで
wiis https://wiis.info/math/real-number/function/uniform-continuity-of-functions/
「関数の一様連続性（一様連続関数）」
『1変数関数が一様連続であることの意味を定義するとともに、関数が一様連続であること、ないし一様連続ではないことを判定する方法について解説します。』
これで 「一様連続性は定義域の選び方に依存する」の節がある
”例（一様連続性と定義域）”の記載があるよ
そして、ここにwiisの演習問題で 定義区間が 全実数を渡る 一様連続関数 が出題されている
だから、”定理（有界閉区間上連続ならば一様連続）”は 鼻くそ みたいな話だろう

繰り返すが、解析概論（高木）は、教育的配慮から 練習問題(5)と(6)を
”或る区間[a,b]”として、説明が簡潔になることを優先したのだろう
（多分 本文の説明に合わせて 練習問題を簡略にした）

http://rio2016.5ch.net/test/read.cgi/math/1748354585/148

150: １３２人目の素数さん [] 2025/06/11(水) 06:49:43.82 ID:Haft9BYx

さあ、本題にはいろうか

>>148
>ここで 有界閉区間[a,b]を 記載しているのは
>おそらく 教育的配慮で説明を 簡便にするためでしょう

「教育的配慮」とか「説明を簡便に」とかいうのは
いかにも何もわかってない🐎🦌の弁解だな
１）　[a,b]は有界閉区間
２）　有界閉区間で連続なら、一様連続
この２点が重要　２）が不要とかいうのは馬鹿

もし有理数全体だったら？
そりゃ「全体で連続かつ任意の閉区間で一様連続」が必要条件

いっとくが>>145で挙げた定理は実数だから成り立つんで
端点が有理数に限定された有理数だったら成り立たん
（つまり全体として連続だからといって任意の閉区間で一様連続とは限らん）
だから「かつ・・・」以降はわざわざ追加する必要がある
意味わかるか？オチコボレ
「ｘが√２より小さいなら０、ｘが√２より大きいなら１」
この関数で、定義域を[1,2]としたときに一様連続にできるか？
ん？どうだ？連続と一様連続、それぞれの定義を
論理式として理解していれば
たちどころに即答できるだろ？やってみ（笑）

>全書式は、入門書としては 配慮に欠けると。

まさかとはおもうが一応いっとくけど
全「書式」じゃなく「全書」式だぞ　わかってるか🐎🦌

>「一様連続性は定義域の選び方に依存する」
然り
任意の有界閉区間で一様連続でも、全区間で一様連続でない関数はある

>定義区間が 全実数を渡る 一様連続関数 が出題
全域で一様連続な関数はある
かならずしも値が有界であるとは限らない
線型関数は全域で値が有界でないが一様連続である

>”定理（有界閉区間上連続ならば一様連続）”は 鼻くそ

さあ、上記の関数が連続だが一様連続ではないことを確認せよ

http://rio2016.5ch.net/test/read.cgi/math/1748354585/150

154: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/06/11(水) 13:50:18.10 ID:181R6eWz

>>148 補足
(引用開始)
>このことに言及する気にまったくなれない自分は
全くですね
”このこと”とは、>>145の”定理（有界閉区間上連続ならば一様連続）”
ですが、私も全く同様で、必要がないと思います
(引用終り)

そもそも>>83より再録
岩波 定本 解析概論 高木貞治 著 2010/09/15
詳しい目次
https://www.iwanami.co.jp/files/moreinfo/0052090/mokuji.pdf
第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 https://wiis.info/math/real-number/function/uniform-continuity-of-functions/ ）

問（6）は、大定理で 一般の完備な空間の中の稠密部分において 一様連続関数が 完備な空間に延長できる
の 一つの系 に落とした 問いだということ（この話はすでに>>126に書いた）

昔の大学への数学のコラムで「大学入試問題が、大学学部の大定理の一つの簡単な系が問題のネタ」というのがあった(高校数学内で解ける)
それの類似だろうさ

問（5）（6）どちらも、”区間[a,b]”に限らずとも 成り立つ命題だ （数学的には ”区間[a,b]”は不要！）
高木先生は、教育的配慮で、一つの系 ”区間[a,b]”に落として 問（5）（6）を設定していると見るのが相当
だから、大学学部１年の１日目で詰んだオチコボレさんは以外の 大学学部卒業生は”区間[a,b]”を ”陽”に使わない証明を基本線として考えるべし！
（繰り返すが この話はすでに>>126に書いた）

http://rio2016.5ch.net/test/read.cgi/math/1748354585/154

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.029s