現代数学の系譜工学物理雑談古典ガロア理論も読む49

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む49 (658ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

42: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/12/28(木) 23:46:02.50 ID:IsA0R4yK

>>41 つづき

ああ、いま改めて読むと
Bulletin of the Calcutta Mathematical Society 49 (1957) Senguptaより
”・・・ f is continuous and discontinuous are each dense in R.
Let E be the set of points at which f is continuous and where at least one of the four Dini derivates of f is infinite.
Then E is co-meager in R (i.e. the complement of a first category set).”

なんてありますね。”at least one of the four Dini derivates of f is infinite”が、貴方の定理に近いかな？
”Then E is co-meager in R (i.e. the complement of a first category set).”か・・
これか、これに近い文献を読まないことには、訳わからんな

えーと、Meagre setか・・
”E is co-meager in R”が、イメージできんな・・（＾＾

前提a)(連続不連続が稠密)を、b)(連続とディニ微分発散が稠密な組み合わせ)に、緩和しても・・
a) f is continuous and discontinuous are each dense in R.
　↓
b) f is continuous and the E *) are each dense in R. ( *)the set of points at which f is continuous and where at least one of the four Dini derivates of f is infinite.)

a)Eは、co-meager
↓
b)Eは、meager

には出来ない？ それとも出来るの？
定理1.7成立なら、「 meager には出来ない」？
これ、やっぱり元論文読まないと、イメージ湧かないな〜（＾＾

まあ、ゆっくりやろうや

http://rio2016.5ch.net/test/read.cgi/math/1514376850/42

50: １３２人目の素数さん [sage] 2017/12/29(金) 01:04:58.18 ID:gcYWyS10

>>44
＞というが、それ（”全体で”）を導くことは、定理1.7（「f はある開区間の上でリプシッツ連続である」）をいうだけなら、不必要では？
＞（　上記のある区間（c,d）で、リプシッツ連続を言えば、定理1.7の証明は、そこで終わってないかい？ ）

その言い分そのものは正しいが、そのような (c,d) を見つける方法が全く自明ではなく、
ベールのカテゴリ定理を使わなければ そういう (c,d) が出て来ない、という話をしているんだよ。
つまり、(a,b) ⊂ B_f という条件に限定しても、例の定理の証明は ちっとも自明になってないってこと。
少し詳しく見てみようか？まず前提として、

状況Ａ：
――――――――――――――――――――――――――――――――――――――
「 (a,b) ⊂ B_f を満たす開区間(a, b)が存在する」という条件からは
「 f は(a,b)上の　全　体　で　リプシッツ連続である」という条件は導けない
――――――――――――――――――――――――――――――――――――――

という「状況Ａ」があるわけだ。すると、次のようになる。

(a,b)⊂B_f が成り立つとする。このとき、状況Ａにより、f は(a,b)全体でリプシッツ連続であるとは断言できない。
しょうがないので、(a,b)内の十分小さな区間(c,d)を取る。当然ながら、(c,d)⊂B_f である。
では、f は(c,d)上でリプシッツ連続なのか？残念ながら、状況Ａを区間(c,d)に対して適用すれば、
f は(c,d)上でリプシッツ連続だとは断言できない。では、(c,d)内の更なる小さな区間(s,t)を考えたらどうか？
当然ながら、(s,t)⊂B_f である。では、f は(s,t)上でリプシッツ連続なのか？
残念ながら、「状況Ａ」を区間(s,t)に対して適用すれば、f は(s,t)上でリプシッツ連続だとは断言できない。

……このように、いくら小さな開区間に限定しても、状況Ａがその開区間に適用できるので、
f がその区間の上でリプシッツ連続であるとは断言できなくなってしまう。
では、どうやって望みの部分区間(c,d)を見つければいいのか？
そのために本当に必要になるのが、ベールのカテゴリ定理である。
結局、(a,b) ⊂ B_f という条件に限定しても、例の定理の証明は ちっとも自明にならないのである。

http://rio2016.5ch.net/test/read.cgi/math/1514376850/50

67: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2018/01/01(月) 17:07:53.69 ID:dCRrvhl7

で、勝手ながら、年末年始に読んだ関連を貼るよ（＾＾

まず、関連参考：検索でヒットしたので貼る。
BaireCategory.pdfの”3. Pointwise limits of continuous functions.”に、「422に書いた定理」の関連記述
「Theorem. If f : R → R is a pointwise limit of continuous functions,
then Df is Fσ meager (that is, a countable union of closed sets with empty interior).
(In particular, by Baire's theorem, f is continuous on a dense subset of R.)」とあり（当たり前か？ （＾＾ ）

http://www.math.utk.edu/~freire/teaching/m447f16/m447f16index.html
MATH 447- Advanced Calculus I- Fall 2016- A. FREIRE
(or: ANALYSIS IN R^n)
(抜粋)
http://www.math.utk.edu/~freire/teaching/m447f16/BaireCategory.pdf
Sets of discontinuity and Baire's theorem Baire Category Notes (5 problems) (the problems are HW8, due Friday 11/4)A. FREIRE 2016
(抜粋)
1. Sets of discontinuity. For f : R → R, we define
Df = {x ∈ R; f is not continuous at xg:

3. Pointwise limits of continuous functions.
Theorem. If f : R → R is a pointwise limit of continuous functions,
then Df is Fσ meager (that is, a countable union of closed sets with empty interior).
(In particular, by Baire's theorem, f is continuous on a dense subset of R.)

Proof. We know Df = ∪ n>=1 D1/n (see Section 1), so it suffices to show
that the closed sets Dε have empty interior, for any ε > 0.
By contradiction, suppose Dε contains an open interval I.
We'll find an open interval J ⊂ I disjoint from Dε!
Let fn → f pointwise on R, with each fn : R → R continuous.
For each N >= 1, consider the set:
CN = {x ∈ I; (∀m, n >= N)|fm(x) - fn(x)| <= ε/3}.
Clearly ∪ N>=1 CN = I (by pointwise convergence). QED
(引用終り)

つづく

http://rio2016.5ch.net/test/read.cgi/math/1514376850/67

68: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2018/01/01(月) 17:08:32.82 ID:dCRrvhl7

>>67 つづき

（上記の関連参考：出典URL）
http://www.math.utk.edu/~freire/teaching/m447f16/m447f16topics.html
Math 447 Fall 2016- A. FREIRE
TOPICS
PART I: Topology

Supplementary handouts (for advanced students):
(adapted from more advanced classes and not yet in final form)

http://www.math.utk.edu/~freire/teaching/m447f16/GeneralTopologyReview.pdf
Definitions and Theorems from General Topology

http://www.math.utk.edu/~freire/teaching/m447f16/BanachSpace.pdf
Locally compact Banach spaces are finite dimensional (includes 4 problems)

http://www.math.utk.edu/~freire/teaching/m447f16/SpacesOfContinuousFunctions.pdf
Spaces of Continuous Functions (outdated)

http://www.math.utk.edu/~freire/teaching/m447f16/StoneWeierstrassNotes.pdf
Stone-Weierstrass theorem-notes (includes 6 problems)

http://www.math.utk.edu/~freire/teaching/m447f16/AscoliArzelaNotes.pdf
Ascoli-Arzela-Notes (final-included 7 exercises with solutions, and 11 extra problems.)

http://www.math.utk.edu/~freire/teaching/
Alex Freire
Department of Mathematics
University of Tennessee
（終り）

つづく

http://rio2016.5ch.net/test/read.cgi/math/1514376850/68

70: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2018/01/01(月) 17:10:50.85 ID:dCRrvhl7

>>69 つづき

http://www.math.wvu.edu/~kcies/prepF/BookIdensity/BookIdensity.pdf
I-DENSITY CONTINUOUS FUNCTIONS Krzysztof Ciesielski他 1994- 被引用数: 84
(抜粋)
CHAPTER 1
The Ordinary Density Topology
1.1. A Simple Category Topology

To gain some insight into what is happening with limits like this, it is useful
to generalize this idea to a topological setting.
A nonempty family J ⊂P(X) of subsets of X is an ideal on X if A ⊂ B and
B ∈ J imply that A ∈ J and if A∪B ∈ J provided A,B ∈ J. An ideal J on X
is said to be a σ-ideal on X if ∪n∈N An ∈ J for every family {An : n ∈ N} ⊂ J.
Let J be an ideal on R and Ｔo be the ordinary topology on R. The set
T (J) = {G ＼ J : G ∈ Ｔo, J ∈ J}
is a topology on R which is finer than Ｔo. The following proposition is evident
from the definitions.

Proposition 1.1.1. Let J be a σ-ideal on R and T (J ) be as above. For
f : (R, T (J )) → (R, Ｔo) and x0 ∈ R the following statements are equivalent to
each other.
(i): f is continuous at x0.
(ii): Given ε > 0 there is a δ > 0 such that
{x ∈ (x0 − δ, x0 + δ) : |f(x) − f(x0)| ≧ ε} ∈ J.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1514376850/70

71: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2018/01/01(月) 17:11:20.87 ID:dCRrvhl7

>>70 つづき

Theorem 1.1.4. Let J be a σ-ideal and f : R → R. The following statements
are equivalent.
(i): The function f is J -continuous J -a.e.
(ii): There exists a set K ∈ J such that the restricted function f|Kc is continuous.

Furthermore, if the ideal J contains no interval, then the following statement is
equivalent to (i) and (ii)
(iii): There exists a function g : R → R such that f = g J -a.e. and g is continuous in the ordinary sense J -a.e.

Proof. The fact that (ii) implies (i) is obvious. Suppose (i) is true and let
f be J -continuous on a set M = Jc for J ∈ J. For each n ∈ N and x ∈ M,
by Proposition 1.1.1(ii) there is an open interval I(n, x) and a J(n, x) ∈ J such
that
x ∈ I(n, x) \ J(n, x) ⊂ f−1((f(x) − 1/n, f(x) + 1/n)).
For each fixed n, there must be a countable sequence xn,m ∈ M such that
M ⊂∪m∈N I(n, xn,m).
Let
K = J ∪ ∪ n,m∈N J(n, xn,m) ∈ J.
If x ∈ Kc and ε > 0, then there must exist natural numbers n and m such that
2/n < ε and x ∈ I(n, xn,m). Then |f(x) − f(xn,m)| < 1/n so that
f(x) ∈ (f(xn,m) − 1/n, f(xn,m) + 1/n) ⊂ (f(x) − ε, f(x) + ε)

つづく

http://rio2016.5ch.net/test/read.cgi/math/1514376850/71

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

あと 587 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.011s