[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 (658ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
381(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/11(木) 09:43:14.12 ID:clSPRjXH(1/11) AAS
どうもスレ主です。
いつものおっちゃんらしいね（＾＾
382: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/11(木) 09:57:59.92 ID:clSPRjXH(2/11) AAS
>>380
話は逆で
（>>376に書いた通りだが）
（>>180）”定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }
と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、 f はある開区間の
上でリプシッツ連続である．”
で、
１）補集合R−Bfが、”が内点を持たない閉集合の可算”有限”和で被覆できるならば、 f はある開区間の上でリプシッツ連続である．”は、正しい
しかし
２）補集合R−Bfが、”が内点を持たない閉集合の”稠密”分散可算無限和で被覆できるならば、 f はある開区間の上でリプシッツ連続とはできない．”が、正しい
補足
１）補集合R−Bfが主に有理数Qで、Bfが主に無理数（ R＼Q）を想定したもの
２）有理数Qが稠密である以上、無理数のみからなる開区間（a, b）など取れるはずもない
中学校レベルの話だろう
385(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/11(木) 10:54:01.96 ID:clSPRjXH(3/11) AAS
>>383
>結局実関数 f(x) を直線R上で定義することになる。
無問題。
実関数 f(x) を直線R上で定義し、それが解析関数なら、解析接続でき、一致の定理が適用でき、リーマン球面上の解析関数として一意である
https://ja.wikipedia.org/wiki/%E8%A7%A3%E6%9E%90%E6%8E%A5%E7%B6%9A
解析接続
https://ja.wikipedia.org/wiki/%E4%B8%80%E8%87%B4%E3%81%AE%E5%AE%9A%E7%90%86
一致の定理
(抜粋)
一致の定理(いっちのていり、英: Identity theorem)は、複素解析において、通常は可算点列上で局所的に一致する2つの正則関数が大域的に一致することを主張する定理である。重要な定理であり、解析接続の一意性の証明にはこの定理が必要となる。
この定理には名は冠されていないが、1844年頃、リウヴィルが楕円関数に特殊な形で適用したのが最初であり、直後にコーシーが自分が開発した複素解析の中に取り入れて一般化したものである[1]。
(引用終わり)
386(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/11(木) 10:58:21.63 ID:clSPRjXH(4/11) AAS
>>384
支離滅裂かつ意味不明
また、そんな考えじゃ、論文を読むこともできまい？
現実に、ディリクレ関数およびトマエ関数や modefied ruler functionなどは、まっとうな数学としての研究対象である
返答として、それだけ言えば十分だろう
390(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/11(木) 13:56:37.43 ID:clSPRjXH(5/11) AAS
>>387
もともとは、病的な関数を考えているので（下記）、複素解析の外
だが、解析関数を使って、”F(x) ≡0 ”（>>375）の話にちょっと、ふくらみをもたせただけなんだよ（＾＾
https://ja.wikipedia.org/wiki/%E7%97%85%E7%9A%84%E3%81%AA_(%E6%95%B0%E5%AD%A6)
病的な (数学)
(抜粋)
病的な関数
「病的な関数」の古典的な例の一つに、至る所で連続であるが至る所微分不可能な、ワイエルシュトラス関数と呼ばれるものがある。
微分可能な関数とワイエルシュトラス関数の和は、ふたたび至る所で連続であるが至る所微分不可能な関数となるため、そのような病的な関数は少なくとも微分可能な関数と同じだけ存在することが分かる。
実は、ベールのカテゴリー定理により、「ほとんどすべての」連続関数は至る所で微分不可能であるということが示される。
平たく言えば、これは考え得る関数が非常にたくさん存在することが原因である。
大部分は至る所微分不可能であり、描いたり研究したりできる関数は比較的稀で、そのうち興味があったり有用であるものは「行儀が良い」関数でもあることが分かる。
病的な例
・ワイエルシュトラス関数: 至る所連続だが至る所微分不能な実関数の例。
・ディリクレ関数（有理数の集合 Q の指示関数）は、有界だがリーマン可積分でない。
・カントール関数は [0, 1] を [0, 1] の上へ写す単調連続関数だが、ほとんど至るところ微分係数は0である。
(引用終わり)
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1388667288
病的な関数の例は？ dolzarkさん yahoo 2012/6/7
(抜粋)
病的な関数の例は？
名前を知っているのはカントール関数、高木関数、ディリクレの関数、ワイエルシュトラス関数ぐらいですが、このうち前3つはどんな関数でどこが病的なのか理解できます。
でもワイエルシュトラス関数は何をやっているのか全然分かりません。分かりやすく説明できる代物なのかも分かりませんが、分かりやすく説明してくれませんか？
またこれ以外に病的とされる関数はありますか？
(引用終わり)
391(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/11(木) 14:02:31.76 ID:clSPRjXH(6/11) AAS
>>388
>元々は、実解析の問題で、より一般に直線R上で考える問題である。
(>>390に書いたが） ”F(x) ≡0 ”（>>375）の話にちょっと、ふくらみをもたせるときに
解析関数という言葉で、膨らませた関数に剛性を持たせると同時に、微分可能性の縛りも入れた
それだけのことよ。病的な関数の対比として、解析関数がその対極でもあるしね
それだけのことで、定義域を複素数に拡大する話では、元々ないよ（＾＾
392: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/11(木) 14:04:16.42 ID:clSPRjXH(7/11) AAS
>>390 補足
こんなスレがある（＾＾
キチガイ関数一覧表できたよー(R→R編)
2chｽﾚ:math
395: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/11(木) 16:37:47.93 ID:clSPRjXH(8/11) AAS
病的関数で検索すると、下記がなぜかヒット。貼っておく。なお、文字化けご容赦（＾＾
https://www.jstage.jst.go.jp/article/sugaku1947/50/1/50_1_1/_article/-char/ja/
https://www.jstage.jst.go.jp/article/sugaku1947/50/1/50_1_1/_pdf
「やさしい」ゼータ関数について 伊吹山 知義, 齋藤 裕 数学 / 50 巻 (1998) 1 号
(抜粋)
この論説の目的は種々のゼータ関数の中には,易しい表示を持つものが通常信じられているより
もずっと多いことを解説することにある。すなわち概均質ベクトル空間のゼータ関数や保型形式の
ゼータ関数の中には,定義のみではその易しさがわからないが,算術的知識を総動員して計算する
と既知の関数になるものが思いがけず多いと言うことを説明したい。前半では数学的な正確さより
も流れに重点を置いて書く.
1) 2種類のゼータ関数
ちょっと冗談めくが,ゼータ関数には2種類あると思うようになった.1つは「やさしいゼータ
関数」もう1つは「むつかしいゼータ関数」である.とくにこれらの定義を正確に与えようという
わけではないが,その気持ちは徐々に説明していきたい.
数列{an}と複素数sに対し,Σ 一1α。η}8なる級数をDirichlet級数という。{an}のとりかたに
よってはこの級数はかなり良い性質をもつ.たとえばζ(S)= n一､n-Sとおくと次がなりたっ.
(1) ζ(S)はRe(S)>1で絶対収束しsさらに全S平面に有理型に解析接続される。
(2) ζ(S)は関数等式を持つ.すなわちξ(S)=π}8/2F(S/2)ζ(S)とおくとξ(1-S)=ξ(s)をみ
たす。
(3) ζ(S)はEuler積をもつ.すなわちζ(S)=llp(1-p-8)一1(pは素数をわたる。)
このζ(S)をRiemannのゼータ関数という.ζ(S)をモデルとして,上の(1),(2),(3)ないしは
その一部をみたすようなDirichlet級数が数多く考えられてきた。それらは適当な形容詞つきで,
ゼータ関数ないしはL関数の名称で呼ばれる.ここで{an}は当然何らかの算術的に意味のある良
い定義がなされているわけであるが,これは別にan自身が非常に具体的な公式によって記述でき
るということを意味するわけではない.とりあえずanのやさしい具体的な公式があるときに,漠
然と「やさしいゼータ関数」と呼ぶことにしよう。この観点から言えば,Riemannのゼータ関数は
やさしいゼータの典型である.
(引用終わり)
396(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/11(木) 17:05:13.47 ID:clSPRjXH(9/11) AAS
>>393
>剛性という言葉は図形は形を変えないというニュアンスのれっきとした数学用語として用いられている、
いま、数学 剛性 で検索すると、冒頭に下記がヒットするよ
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B9%E3%83%88%E3%82%A6%E3%81%AE%E5%89%9B%E6%80%A7%E5%AE%9A%E7%90%86
モストウの剛性定理
(抜粋)
数学において、モストウの剛性定理(Mostow's rigidity theorem)、あるいは強剛性定理(strong rigidity theorem)、モストウ・パラサードの剛性定理(Mostow?Prasad rigidity theorem)は、
次元が 3 以上の有限体積の双曲多様体は、その基本群により決定され、従って一意となるという定理である。
定理は閉多様体に対して Mostow (1968) で証明され、3次元の有限体積の双曲多様体に対しては Marden (1974) で、少くとも次元が 3 以上である多様体に対しては Prasad (1973) で拡張された。Gromov (1981) は、グロモフノルム（英語版）(Gromov norm)を使い、別な証明を与えた。
Weil (1960, 1962) は、密接に関連する定理を証明した。特に、この定理は少くとも次元 3以上の双曲空間のアイソトピック群の余コンパクト離散群は、非自明な変形を持たないことを意味する。
モストウの剛性定理は ( n > 2 に対し) 有限体積を持つ双曲 n-次元多様体の変形空間が、一点であることを示している。
また、種数が g > 1 である双曲曲面に対して、次元 6g ? 6 のモジュライ空間が存在し、（微分同相を同一視した）定曲率な計量をパラメトライズする。
（このことはタイヒミューラー理論（英語版）(Teichmuller theory)において重要な事実である。）
3次元では、双曲デーン手術（英語版）(hyperbolic Dehn surgery)定理と呼ばれるウィリアム・サーストンの「非剛性」定理が存在する。
この定理は、同相写像の型が許される限りの有限体積の多様体上の双曲構造を変形することから帰結する。加えて、「無限」体積の多様体上の双曲構造の変形空間の豊かな理論も存在する。
(引用終わり)
397(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/11(木) 17:07:11.41 ID:clSPRjXH(10/11) AAS
>>393
>まあ、何れにしろ、定理 1.7 を否定することは、
>ブルバキが書いた数学原論の中の少なくとも測度(積分)や位相の巻の内容を否定することにつながるし、
おっちゃんの勘違いやろ（＾＾
398(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/11(木) 17:09:38.73 ID:clSPRjXH(11/11) AAS
そもそも、おっちゃん、元のPDF読んだか？
（>>178より 文字化けと誤記はご容赦。読みにくいだろうが、そう思ったら右のURLのPDFを嫁め。（＾＾ https://www.axfc.net/u/3870548?key=Lipschitz 「定理1.7 (422 に書いた定理)」の証明）
あのアスキーコピペだけで、内容を理解するのはムリ！（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s