TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
Inter-universal geometry と ABC予想 42
0.99999……は１ではない その１０
点の長さは0である。しかし点の集まりである線には長さが存在する。
点の長さは0である。しかし点の集まりである線には長さが存在する。
\って何なんだよ……
ジョン・ナッシュ氏が交通事故で死去
33歳数学ど素人だが、フィールズ賞目指すスレ
不等式への招待 第９章
¶ 放送大学の数学科目 6講目 §
量子テレポーテーション× ⇒ 位相変換
- 40 ：
- >>36 関連
いま、>>34で紹介した「トマエ関数の性質と連続関数の極限による表示」を読み返していたが
この話自身もすごく面白いが、関連リンクがあって、それを辿ると、下記
Baire(ベール)関数 ”定理 f:R→RをBaire-1級関数とする。このとき、任意の閉区間I⊂Rは fが連続であるような点を含む。”が
上記”開区間上リプシッツ連続定理”と似てるな〜と
証明で、(Baireのcategory定理の一種)を使うところも似てるな〜と
似てるけど、微妙に違う
ここらが、”開区間上リプシッツ連続定理”の反例にならないかな〜（＾＾
といま、考えているところです
（下記は、単純にコピペでアスキー表示にしたので、原文の方が圧倒的に見やすいよ）
http://integers.hatenablog.com/entry/2016/05/20/235438
二回目のディリクレ関数 INTEGERS 2016-05-20
(抜粋)
Baire(ベール)関数
Baire関数 関数f:R→RがBaire-1級関数であるとは、各n∈N毎に連続関数fn:R→Rが存在して、任意のx∈に対して
f(x)=limn→∞fn(x)
が成り立つときにいう（つまりfnがfに各点収束する）。一般に非負整数kに対してBaire-k級関数が次のように帰納的に定義される: Baire-0級関数を連続関数として定義し、Baire-(k?1)級関数までが定義されたとき、Baire-(k?1)級関数達の各点収束関数としてBaire-k級関数を定義する。これらの関数を総称してBaire関数とよぶ。
目標は次の定理を証明することです：
定理 f:R→RをBaire-1級関数とする。このとき、任意の閉区間I⊂Rは fが連続であるような点を含む。
つづく
- 41 ：
- >>40 つづき
定義 関数 f:R→Rを一つとる。集合A⊂Rに対してω(A)を
ω(A):=sup{|f(x)?f(y)|?x,y∈A}∈R?0∪{∞}
と定義する（関数fを明記する場合はω(A,f)という記号を用いる）。また、x∈Rに対し、ω(x)を
ω(x):=limε→+0ω(Bε(x))
と定める。ここで、Bε(x):=(x?ε,x+ε)。
補題 関数 f:R→Rが点x∈Rで連続であるための必要十分条件はω(x)=0となることである。
証明. 定義の書き換えに過ぎない。 Q.E.D.
命題 (Baireのcategory定理の一種) 数直線上の閉区間が加算個の閉集合の和集合として表されているならば、それらの閉集合のうち少なくとも一つはある閉区間を含む。
これは有名なBaireのcategory定理(の帰結)なので、ここでは証明を省略します。
定理の証明. fに各点収束するような連続関数列{fn}をとって固定する(fはBaire-1級関数なのでこのような関数列は必ずとれる)。まず、次の主張を示す：
以下略
(引用終り)
奇数の完全数の存在に関する証明は正しいはず
長谷川亮太スレ
不等式への招待 第10章
分からない問題はここに書いてね425
一つの整数を二つの平方数の差で表す方法
abc予想ってどうなったの
【虚数乗法論】 志村五郎 【志村多様体】
フェルマーの最終定理の簡単な証明
現代数学の系譜 工学物理雑談 古典ガロア理論も読む49
ブルバキ数学原論 専門スレ
--------------------
【刀剣乱舞】一期一振＆信者アンチスレ 二振目
すごく些細な事を相談するスレ7
栗林達プロを激しく応援するスレ!!!!
どんな下らない質問にもマジレスするスレ159
マサ伊藤のPRT・ROCK CITY・ROCKADOM 2019/07
[No.1より] ノラさん応援スレ11 [Only1]
エクワン？グランドセイコーの方が好きなんだが？
神戸市役所 part21
【アラサー】婚活ブログヲチ★171【アラフォー 】
NSWは永遠なり カップ麺２個目
【ダンジョンRPG】Buriedbornes Part12
福島競馬 2回7日目
里見劇団進明座
【四季】入り待ち・出待ち・常連の実態 part21
テイルズ総合スレ part1088 ﾜｯﾁｮｲなし
【ゴリ押し】梶裕貴アンチスレ24【いわくつき】
友達がいない40代・・・いつも一人で外出152 ウンコ
【野方】秋元屋【今や名店】
IIDXランカースレ Part156
docomo arrows 5G Part1
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼