[過去ログ] 現代数学の系譜 古典ガロア理論を読む38 [無断転載禁止]©2ch.net (772レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
508(1): ◆QZaw55cn4c 2017/08/15(火)19:35 ID:dNVFG2Rn(3/4) AAS
んー正直ちょっとつらいです
∀∃が連綿と3つも四つも連なってやっとεδや一様収束やらを表現するところまでは、なんとか手がかかっている状況なんですが、脳みそのしわが伸びるような快感まではいきつかない…
509(2): 2017/08/15(火)19:41 ID:6s+ZT53k(52/67) AAS
>>508
εδについていえばδはεの関数です
各点収束と一様収束についていえば、
前者はδがxとεの関数ですが
後者はδがεのみの関数ということ
xに依存せずに「一様に」収束する
ということですね
510: 2017/08/15(火)19:41 ID:MgvDl1uC(15/22) AAS
スレ主の頭じゃ一様連続すら到底理解不能だろうな(遠い目)
511: 2017/08/15(火)19:43 ID:ItfSLILk(3/7) AAS
>>497
命題A, Bの区別を つ け ら れ な か っ た んだね。
納得。
>>425
> >>402
> 命題AとBのどちらを考えているのか?
> それすらスレ主は答えられない
512: 2017/08/15(火)19:44 ID:6s+ZT53k(53/67) AAS
>>509の注
ま、∀n∈N,∃m∈N,n≦m を
a≦f(a) と読むというのは、
暗に選択公理を想定してますけどね
513(2): 2017/08/15(火)19:45 ID:YFW2uq0o(5/7) AAS
やっぱり>>1は
代表系が与えられたとき、
∀s∈R^N,∃n∈N s.t. sとsの属する同値類の代表元はn番目以降はすべて等しい
この命題が理解できてないだろ
514(1): ◆QZaw55cn4c 2017/08/15(火)19:49 ID:dNVFG2Rn(4/4) AAS
>>509
ん、f(x)=(1/x)sin(x) として
f(x - n) は x = 0 に各点収束しているが一様収束にはなっていない、とか実例で丸覚えしてしまってますね
515: 2017/08/15(火)19:50 ID:6s+ZT53k(54/67) AAS
>>513
全部日本語で書けば
「任意の無限実数列sについて、
(sに依存して決まる)ある自然数nが存在して
sとsの属する同値類の代表元はn番目以降はすべて等しい 」
ですね。
()の箇所は、∀の後の∃について、
単に”∀で束縛してる変数に依存している”
と注釈をつけただけで、知ってる人には
言わずもがなのことです
516: 2017/08/15(火)19:55 ID:6s+ZT53k(55/67) AAS
>>514
述語論理式の読み方は>>507で書いた通りで
慣れてしまえば特に難しいことはありませんよ
数学というより国語の話です
517: 2017/08/15(火)19:59 ID:6s+ZT53k(56/67) AAS
>>1も知らないことは知らないと認識して
素直に教えてといえばいいのに
なんでもかんでも「ボク知ってるもん」と
いいたがる小二的精神から抜け出せない
から、肝心な時に肥え壺に落ちるんだよw
518: 2017/08/15(火)20:09 ID:6s+ZT53k(57/67) AAS
ま、>>1がコテハンやめて明日から匿名になるのは全然構いませんよ
ついでにいえば、大仰なタイトルのスレッド立てるのもやめればなお結構ですね
519(4): 現代数学の系譜 古典ガロア理論を読む 2017/08/15(火)20:15 ID:qidk3ATM(40/45) AAS
>>513
ID:YFW2uq0oさん、どうも
面白い問題をありがとう
ピエロくんの話題を取ってしまった?
それは、ピエロくんに悪いことをしたね!(^^
なお、記号の解釈は、>>476で一度確認しているし
その後、解答に当たっても、>>497で解釈は書いているよ。ああ、>>504でC++さんがフォローしてくれているが、ドモルガン定理かい? どうも面白い話題をありがとう(^^
>代表系が与えられたとき、
>∀s∈R^N,∃n∈N s.t. sとsの属する同値類の代表元はn番目以降はすべて等しい
>この命題が理解できてないだろ
省6
520(1): 現代数学の系譜 古典ガロア理論を読む 2017/08/15(火)20:17 ID:qidk3ATM(41/45) AAS
>>501
そうか、ピエロくん、悪かった(^^
どうも、おれが、君の得意のお笑いを取ってしまったようだね(^^
521: 2017/08/15(火)20:21 ID:6s+ZT53k(58/67) AAS
>>519
>だれもまともに、成立の証明は書けていないでしょ?
>>1一人が「箱入り無数目」の記事(=証明)を読めてないだけ
>>代表系が与えられたとき、
>>∀s∈R^N,∃n∈N s.t. sとsの属する同値類の代表元はn番目以降はすべて等しい
>>この命題が理解できてないだろ
>それとこれとは話が別だし
そう思いたがってる限り、>>1には「箱入り無数目」の記事が理解できない
>百歩譲ってそうだとしても、おれの理解と時枝解法の成立不成立は、別問題だろ?
省1
522: 現代数学の系譜 古典ガロア理論を読む 2017/08/15(火)20:22 ID:qidk3ATM(42/45) AAS
>>506
C++さん、どうも。スレ主です。
>基本的な述語論理をやる上では必須ですけれども
ああ、なるほど
C++さんのお得意のプログラミングの分野関連だったんだね
フォローありがとう(^^
523: 2017/08/15(火)20:23 ID:6s+ZT53k(59/67) AAS
>>520
>おれが、君の得意のお笑いを取ってしまったようだね(^^
安心しろ このスレで笑われてるのはもっぱら貴様一匹だwwwwwww
524(4): 2017/08/15(火)20:27 ID:YFW2uq0o(6/7) AAS
>>519
とりあえずあんたは時枝さんの記事での主張を正しく理解できてない
任意に実数列をひとつ選べ
その実数列の特定のk番目の実数を、これこれこのようにして当ててみせよう
これの1行目の意味を理解してないことがはっきりわかった
別の問題を考えてそれを論じて時枝記事は間違ってるという主張をしても無意味
525: 2017/08/15(火)20:29 ID:6s+ZT53k(60/67) AAS
ま、>>1は恥を知ってるなら
「現代数学の系譜 古典ガロア理論を読む」
とかいうHNを即刻捨てるこったな
こんな馬鹿丸出しのHNつけてる限り
「ああ、あの大量脱糞野郎かwwwwwww」
といわれるのがオチだぞ
貴様の猛烈にクサい大量の便秘ウンチの件は
ここだけの話としてキレイサッパリ忘れてやっから
あしたからは匿名の「132人目の素数さん」の一人
として謙虚に生きてけよ
省2
526: 2017/08/15(火)20:46 ID:MgvDl1uC(16/22) AAS
>>499
>”まったく自由”だから、そんな勝手な条件を付けないといけないことには、なっとらんよ〜(^^
入れる数字は出題者の自由だが、当てる箱も回答者の自由だよ?おバカさん
527(1): 2017/08/15(火)20:52 ID:YFW2uq0o(7/7) AAS
>>524
いちおう補足
すでにある問題から別の問題を考えてそれを論じることそれ自体が無意味と言ってるのではない
主張を正しく理解せずに手前勝手な妄想で相手を批判すべきでない
>>1に時枝を批判する資格はない
上下前次1-新書関写板覧索設栞歴
あと 245 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.019s