[過去ﾛｸﾞ] 純粋・応用数学 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
953: 2020/06/19(金)20:00 ID:3OKw5Gzv(16/17) AAS
>>952
任意のε＞０で成立する必要があるのに
ある単独の元を選ぶことに固執してる時点で
貴様全然勉強してねぇなと（バッサリ一刀両断）
＞「選ぶ」ことが出来る、ことが本質的。
白痴？
954: 2020/06/19(金)20:07 ID:3OKw5Gzv(17/17) AAS
選んだら 馬鹿ｗ
選んだら 負けｗ
選んだら 死ぬｗ
選ぶなｗ
955: 2020/06/19(金)20:18 ID:rfiA86xz(1) AAS
野球観てろよ。
956(1): 2020/06/19(金)20:39 ID:s0TsnD44(12/18) AAS
>>941 941 946
君さあ、数学書読んだこと無いでしょ
>任意の偶数は２の倍数
は
nは偶数 ⇒ nは２の倍数
の意味だよ、同値じゃないよ
>任意の2の倍数は自然数
も同じね
つまり
nは偶数 ⇒ nは２の倍数
省6
957: 2020/06/19(金)20:44 ID:iAeXbjhz(1) AAS
解析、極限の議論では、より大きい、より小さい、という比較しか意味がない。
大きいε、小さいε、などとトンチンカンな事を言い出したお前が最初から敗者。
958: 2020/06/19(金)20:46 ID:s0TsnD44(13/18) AAS
任意の正数について示さなきゃいけないんだから、ある一つの正数について示してもナンセンス
「選ぶ」とは正数全体の集合の元を一つ定めること、それは上記の通りでナンセンス
959: 2020/06/19(金)20:53 ID:s0TsnD44(14/18) AAS
>nは偶数 ⇒ nは２の倍数
これで分からないようならもっと丁寧に書くと
n∈偶数全体の集合 ⇒ n∈２の倍数全体の集合
となる。
数学書の日本語表現に慣れてればこんなのは常識！
「〇〇は△△である」を同値と解釈するようじゃ数学書は読めないよ
960(1): 2020/06/19(金)21:03 ID:s0TsnD44(15/18) AAS
「男の人は人間である」
は同値じゃないよね？
人間⇒男 には女という反例があるんだから
961(2): 2020/06/19(金)21:07 ID:qXfDhvSl(11/19) AAS
>>956
>君さあ、数学書読んだこと無いでしょ
>数学書の日本語表現に慣れてないから同値と勘違いする。
じゃあ同値であることを示そう
n：偶数である←→n：2の倍数である
を示す
(1) ¬(n：偶数である←→n：2の倍数である)
(1)の分岐
(2) n：偶数である
(3) ¬(n：2の倍数である) i.e. n：2の倍数でない
省8
962(1): 2020/06/19(金)21:11 ID:qXfDhvSl(12/19) AAS
>>960
話のすり替え乙です＾＾
963(1): 2020/06/19(金)21:14 ID:qXfDhvSl(13/19) AAS
まさか同値のものを片側しか成立してないと看做して
同値を利用するというようなことを考えてねえだろうなｗ
964: 2020/06/19(金)21:15 ID:qXfDhvSl(14/19) AAS
君は三段論法の誤謬を犯しているんだよ
965(1): 2020/06/19(金)21:22 ID:kCOxMiM8(1/12) AAS
>>925
任意の数xについて、x=x、ゆえに∀x(x=x)
966(1): 2020/06/19(金)21:27 ID:qXfDhvSl(15/19) AAS
>>965
それって同値関係の前提である関係〜の定義に依存しているよね
二項関係があるかどうかわからない所ではどう？
それも初めの関係の定義に依るよね
それは証明じゃないよ
967: 2020/06/19(金)21:29 ID:kCOxMiM8(2/12) AAS
>>963
∀x(xは偶数→xは2の倍数)∧∀x(xは2の倍数→xは自然数)→∀x(xは偶数→xは自然数)
という意味だよ
また、同値を用いたとしても
∀x(xは偶数↔xは2の倍数)∧∀x(xは2の倍数→xは自然数)→∀x(xは偶数→xは自然数)
になるだけのことでまったく問題ないどころか、むしろより条件が強くなるだけ
968: 2020/06/19(金)21:40 ID:s0TsnD44(16/18) AAS
>>961
>じゃあ同値であることを示そう
いやいやいやｗ それは結果的に同値って言ってるだけじゃんｗ 分かってないね君ｗ
そうじゃなくて「偶数は2の倍数である」という主張が同値の主張ではないって言ってるんだよｗ
日本語通じないのかな？ｗ
969: 2020/06/19(金)21:46 ID:s0TsnD44(17/18) AAS
>>962
どういうこと？ｗ
結果的に 偶数⇔2の倍数 であるか否かはまったく別問題だよｗ
「偶数は２の倍数である」という主張は 偶数⇒2の倍数 なんだよｗ
なぜって、それが数学における日本語表現の暗黙のルールだからだよｗ
970(1): 2020/06/19(金)21:49 ID:kCOxMiM8(3/12) AAS
>>966
定義を使うと何でダメなの？
971: 2020/06/19(金)21:50 ID:s0TsnD44(18/18) AAS
あ、ごめん、暗黙のルールか否かは定かじゃないけどそういうもんなんだよｗ
理屈より数学書読んでごらん、〇〇は△△である を 〇〇⇔△△ なんて解釈したら読めないからｗ
972: 2020/06/19(金)21:56 ID:kCOxMiM8(4/12) AAS
任意の数xについて、xは偶数↔xは偶数、ゆえに∀x(xは偶数↔xは偶数)
ホレ、対偶も背理法も使ってないぞ
973(1): 2020/06/19(金)22:07 ID:kCOxMiM8(5/12) AAS
>>961
これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと¬Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
974(1): 2020/06/19(金)22:09 ID:qXfDhvSl(16/19) AAS
>>970
定義というのは定理の中で生じた概念を規定している
形式上
定義
定理
とあるが
先に在るのは定理である
それなので定理の中で定義を使うことは間違いである
これに反するのは定義厨(コンピュータ屋)である
そいつらは先に定義しないと動かないから何でも先に定義をする
省7
975(2): 2020/06/19(金)22:33 ID:qXfDhvSl(17/19) AAS
>>973
Fx：xは偶数である
Gx：xは2の倍数である
とする
∀xFx→∀xGx
を示す
省7
976: 2020/06/19(金)22:48 ID:kCOxMiM8(6/12) AAS
>>975
＞(2) (∀x)Fx
から、F1と全称例示化すれば簡単に矛盾が出せる
そもそも
＞∀xFx→∀xGx
なんてやってる時点で大間違いで、まるで理解できていない
オマエ、やることなすことすべてがデタラメだよ
977: 2020/06/19(金)22:49 ID:kCOxMiM8(7/12) AAS
>>974
言ってる意味は不明だが、ゴミはお前の頭だよ
978(1): 2020/06/19(金)22:53 ID:kCOxMiM8(8/12) AAS
とにかく、>>925の間違いは理解できたのか？
いつもそうだけどさ、なかったことにしてシレっとフェードアウトするのやめなよ
979: 哀れな素人 2020/06/19(金)23:06 ID:kLFGScce(7/8) AAS
>>951
これは池沼少年。しつこいアホ(笑
>誰も、不連続を証明するときのεが巨大ではいい、なんて言ってませんでしたよね？
ではお前はどういう意味で「任意だからどんな巨大な数でもいい」
と言っているのか(笑
>で、連続を証明するときにεが巨大ではいけないと言っている動画はまだ見つからないのですか？
で、巨大なεで連続や極限を証明している動画や教科書は見つかったのか？ 池沼(笑
真性のアホだ、こいつは(笑
980: 哀れな素人 2020/06/19(金)23:09 ID:kLFGScce(8/8) AAS
お前、εδ論法とはx=aという局所での連続や極限を論ずるものだ、
ということが分っているのか？(笑
広範な範囲のxの連続を論ずるものではないぞ(笑
極限についても同じだ(笑
x→aの極限を示すものであってx→bの極限を示すものではないのだ(笑
だから巨大なεを取る必要はまったくないのだ(笑
お前、それが分っているのか(笑
延々と「任意だからどんな巨大な数でもいい」と言い続ける白痴(笑
スレ主よ、この調子だとεδ論争は延々と何年も続くぞ(笑
ちょうど時枝論争が何年も続いたように(笑
省1
981(1): 2020/06/19(金)23:13 ID:kCOxMiM8(9/12) AAS
最初は、極限を示せなくともダメではなかったのに、
後になると、極限を示せないからダメだと言い出す安達
>大きくなったらダメとも、εが巨大だとダメとも言っていない(笑>>180
↓↓↓後日↓↓↓
>ε=100000000では極限は示せないのだから、
>ε=100000000ではダメなのである(笑>>888
982: 2020/06/19(金)23:17 ID:kCOxMiM8(10/12) AAS
分かったから安達は
＞定数関数y=0も不連続である(>>735
を示すのにどんな微小なεを使えばいいのか教えてくれ
983(1): 2020/06/19(金)23:39 ID:qXfDhvSl(18/19) AAS
>>978
お前さ
何でも知っているみたいな書き込みをしているけど
背理法の論理式は書けるようになった？
条件法の否定¬(P→Q)の意味はわかった？
それからタブローに自然演繹を混ぜようとするのは止めてくれ
タブロー法に全称例化という概念はない
だから混乱しているし意味不明なんだよ
984: 2020/06/19(金)23:39 ID:kCOxMiM8(11/12) AAS
>>170
＞x=3で連続、x=30で不連続の場合があるから、
＞>εが小さいところで調べておけば、自動的にεが大きいところでも調べたことになるのです
＞ということにはならないのだアホ(笑
あるεにδがあればより大きいεにもδがあるという、
ごく当たり前の話を、意味不明な理由で否定する安達
985: 2020/06/19(金)23:47 ID:kCOxMiM8(12/12) AAS
>>983
それ、お前がデタラメ書いてたから指摘してやったら反論できず
シレっとフェードアウトしたやつじゃん
全称例示化がない？
バカは、鼻くそでも食ってなさい
986: 2020/06/19(金)23:53 ID:qXfDhvSl(19/19) AAS
個体変項と個体定項しかないタブローで数学をどれくらい表現できるのか
が問題だな
等号や不等号はおｋ
集合に属するか属さないかはおｋ
集合の性質に関するものも一応おｋ
これは性質をどれくらい反映できるかによると思う
数理論理学は何をやってんだろ
自然演繹なんて∧の導入や除去はわかりやすいけど
∨の導入・除去はわかりにくい
そんなものが普及するはずもない
省2
987: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/06/19(金)23:59 ID:imq2ACd0(1) AAS
新スレ立てました
ガロアスレ復活しましたｗ
（皆さんが、ガンバってくれたお陰です。ありがとう！（＾＾）
純粋・応用数学（含むガロア理論）2
2chｽﾚ:math
988: 2020/06/20(土)01:17 ID:0ts11Drz(1/3) AAS
↑
おまえは只のスレ立て作業員であってスレ主ではないｗ 何がお陰ですだｗ
989(1): 2020/06/20(土)02:25 ID:0ts11Drz(2/3) AAS
>>975
>∀xFx→∀xGx
君のこの主張は
∀xFx→∀yGy
と同じことだよ？ｗ
もちろん偽です。x=0,y=1が反例ｗ
君、変数のスコープって知らないの？
990: 2020/06/20(土)02:29 ID:0ts11Drz(3/3) AAS
>>981
安達はその日の気分で言うことがコロコロ変わりますからｗ
991: 2020/06/20(土)03:23 ID:TGCAjRpL(1/2) AAS
公知で中で最も広い測度って何じゃろ？リーマン、ルベーグ、ルベーグ・スティルチェス、バナッハ､
ウィーナー、ラドン、ハウスドルフ、ディラック、確率、…
(ﾟДﾟ)
(ﾟД｡)
(｡Дﾟ)
ﾟ ( Д ) ﾟ
省1
992: 粋蕎 ◆C2UdlLHDRI 2020/06/20(土)04:10 ID:TGCAjRpL(2/2) AAS
測度なんぞ儂ごときが会得しとる訳が無し！
じゃが広義ディラック測度は広義ハウスドルフ測度も呑み込んどりそうじゃのう、美味しそうじゃ…
儂は数学者が握った測度寿司を摘まみ掻っ喰らう工学客じゃな｡
別にええじゃろ、数学者の成果を使わせて頂くのじゃ。使わん方が害悪｡
しかし其んな儂でもε-δ論法の意味は不等式の任意性の妙味に有り、既に其の時点で完成されて居って、此れを態々
εrror-orderを有限微小に限定し有限微小なδistance-qualityを得る努力を行う必要は無い事であって、其れは
「数値解析」や「測定」じゃの云う「応用数学」や「技術」「観測哲学」の話であって、「純粋数学」の話から
大きく外れた事じゃあ云う事は儂にも分かるわ。恐らく高校理系生徒にも名門の子なら分かるじゃろうな｡
993: 2020/06/20(土)04:36 ID:Knd5V/HY(1/8) AAS
>>989
じゃあ同値よりもさらに強い同義なんだと自ら認めてしまったわけか
同義語の反復をして何を示していると思っているの？
∀xFx→∀xFx
さらに
∀xFx→∀xFx 偶数は2の倍数
∀xFx→∀xGx 2の倍数は自然数
ゆえに
∀xFx→∀xGx 偶数は自然数
だから
省6
994: 2020/06/20(土)04:39 ID:Knd5V/HY(2/8) AAS
これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと¬Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
995: 2020/06/20(土)04:40 ID:Knd5V/HY(3/8) AAS
これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと¬Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
996: 2020/06/20(土)04:40 ID:Knd5V/HY(4/8) AAS
これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと¬Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
997: 2020/06/20(土)05:33 ID:Knd5V/HY(5/8) AAS
埋め
998: 2020/06/20(土)05:33 ID:Knd5V/HY(6/8) AAS
梅
999: 2020/06/20(土)05:33 ID:Knd5V/HY(7/8) AAS
生め
1000: 2020/06/20(土)05:33 ID:Knd5V/HY(8/8) AAS
産め
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 115日 17時間 35分 52秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.380s