TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
増田芳雄が増田哲也にしたことは躾か虐待か決着を
数学の洋書vol.2
関数解析（Functional Analysis）
数学板ID表示制検討スレッド
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
ブルバキ数学原論 専門スレ
【新海誠】君の名は。
圏論、カテゴリー論
数学板AA保存庫★3
- 38 ：
- まず、性質G とかいうゴミのような書き方について整理しておく。
＞命題P’：「Bf :Rの部分集合で、ある性質Gを持つとする」
＞命題Q：「R中にある開区間の上で、性質Gを持つ。」
この2行から分かるように、「性質G」という言葉は「集合」を修飾する言葉になっている
(厳密には、R の部分集合を修飾する言葉になっている)。たとえば、
「 B_f は性質Gを持つ」「 R−B_f は性質Gを持たない」「ある開区間は性質Gを持つ」
などなど。従って、性質Gは R の部分集合 X を与えるごとに決まる命題だと考えるべきであり、
「性質G」ではなく「命題 G(X) 」という書き方をすべきである。すなわち、
「 G(B_f) は真である 」「 G(R−B_f) は偽である 」「ある開区間(a,b)に対してG((a,b))は真である」
といった書き方をすべきである。この場合、命題P',Q',Q は次のように書ける。
―――――――――――――――――――――――――――――――――――――――――――
G(X)： R の部分集合 X に対して定義された、何らかの命題
命題P’：「Bf :Rの部分集合で、G(B_f)は真である」
命題Q’：「R−Bf：RにおけるBfの補集合で、ベールの第一類集合であるとする。」
命題Q：「R中にある開区間(a,b)の上で、G((a,b))は真である」
P ＝ P'∧Q'
―――――――――――――――――――――――――――――――――――――――――――
- 39 ：
- では、命題 G(X) として何を採用すれば、定理1.7の正しい言い換えになるのか？既に見たように、
G(X)： f は X の上でリプシッツ連続である
とした場合、――あるいは、同じことだが、
G(X)：∃L＞0, ∀x,y∈X [ ｜f(x)−f(y)｜≦ L｜x−y｜]
とした場合、
命題Q：「R中にある開区間(a,b)の上で、G((a,b))は真である」
は命題Qa(前スレ>>583)に一致する。しかし、
命題P’：「Bf :Rの部分集合で、G(B_f)は真である」
がおかしなことになる。なぜなら、
命題P’：「Bf :Rの部分集合で、fはB_fの上でリプシッツ連続である」
となってしまうからだ。定理1.7では、このような仮定は置いていない。また、一般論としても、
fはB_fの上で必ずしもリプシッツ連続にはならない。従って、G(X) を上記のようにしてしまうと、
定理1.7 の言い換えにはならない。では、どんな G(X) にすれば、定理1.7 の正しい言い換えになるのか？
俺は知らないｗ
スレ主とかいうゴミクズが勝手に導入しただけだから、真相はスレ主のみが知っているｗ
- 40 ：
- >>25
＞ここで、ある性質Gで： f：R → R BfをRの部分集合で、Bf上関数ｆが連続とする
この部分を G(X) という書き方で書き直すと、次の2種類に解釈できる。
・ G(X)： Bf 上関数ｆが連続
・ G(X)： X 上関数ｆが連続
それぞれの場合において、
命題Q：「R中にある開区間(a,b)の上で、G((a,b))は真である」
という命題は次のようになる。
・ 命題Q：「R中にある開区間(a,b)の上で、Bf上関数ｆは連続である」
・ 命題Q：「R中にある開区間(a,b)の上で、(a,b)上関数ｆは連続である」
どちらのケースの場合も、定理1.7 とは別物になっているので、
定理1.7 の正しい言い換えになっていないｗｗｗ
定理1.7 の言い換えをしたいわけではなく、単に G(X) の一例を出しただけであるようにも読めるが、
そんなことをするよりも前に、まずは定理1.7の正しい言い換えが得られるような正しい G(X) を提示せよ。
- 41 ：
- >>25
ちなみに、
＞R−Bfが、ベールの第一類集合で、R中稠密である。このような関数の例として、有名なトマエ関数およびその類似関数がある
この部分は間違っている。トマエ関数及びその類似品は、R−B_f が第一類集合になってないからだ。
俺の言いつけどおり、P∧ notQ や P’∧Q’2 が真になるような f の具体例を
1つ挙げようとしている姿勢は認めてやるが、トマエ関数やその類似品では、
そのような f の具体例になってない。
ゆえに、お前のロジックは破綻したままである。
現代数学など社会ではなんの役に立たない
素人には 8÷2(2+2) を16と答える馬鹿が居るらしい
ポエムはここに書いてね 2
7777で10作れる奴いんの？
松坂君の日記
オススメ大学
もっと前頭葉を使いなさいよ
低能サラリーマンking様の弟子と雑談できちゃうスレ
面白い問題おしえて〜な 27問目
哲学を理解できない馬鹿が、数学や物理に逃げる
--------------------
MAFEX & MARVEL LEGENDS 総合スレ 2
ijiijijijijijiji CREAM ijijijijijijijij
絡みスレ(IDなし) 79
【話題】内閣府のサイトにあふれるヘイトや誹謗中傷「在日韓国人を叩き出せ」など 担当者「びっくりしている 事実確認中」★8
【韓国】 新型コロナ確定患者、きょうだけで100人増えて計204人
【ゴアテックス】ECWCS系衣料【ポーラテック】GEN18
【通称】建築物環境衛生管理技術者 110棟目【ビル管】
【質問ｽﾚ】一人暮らしの人色々教えてください234
【硬式テニス】テニスラケット批評【庭球】
☆・:.,;*。ベガルタ仙台。.:*:・゜☆(Part2462)
ギャグマンガ日和 第40幕（題字・増田こうすけ）
【新】天然華汁さやか【旧】
【熱愛】本田翼 と 三浦翔平の噂3【自宅デート】
【テレ東金8】警視庁ゼロ係THIRD SEASON【小泉孝太郎・松下由樹】
[棋譜貼り 採点歓迎] ソフトVS6枚落ちスレ [駒落ち]
【自治】ミステリー板強制コテハン導入議論スレ
[メルアド]誰か俺の考えてよ
窓からMacに乗り換えるわけだが
振り飛車アンチ＆振り飛車破り総合スレ
【遅延】マイプロテインの配送について【破損】6
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
