- 1 名前：１３２人目の素数さん mailto:sage [2020/02/25(火) 11:58:05 ID:xlZ4iTwN.net]
- クレレ誌
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
現代の純粋・応用数学を目指して
- 970 名前：１３２人目の素数さん [2020/06/18(木) 14:35:48.99 ID:ymukA3Vi.net]
- それはそうだけどどんなブザマな証明書くのか見てみたいｗ
- 971 名前：１３２人目の素数さん [2020/06/18(木) 14:40:11.51 ID:VKWviske.net]
- 書けないからいつまでたっても同じこと繰り返し書き込んでるわけですね
- 972 名前：１３２人目の素数さん [2020/06/18(木) 14:45:34.32 ID:ymukA3Vi.net]
- まあでも安達は尊大な態度のくせに実際はチキン野郎なので絶対に書かないでしょうね
なんだかんだと言い訳して逃亡し続けるでしょう
教科書の丸写しでいいから書けと言っても逃亡するくらいですからｗ
- 973 名前：１３２人目の素数さん [2020/06/18(木) 14:49:23.50 ID:ymukA3Vi.net]
- 安達よ
「教科書に深い内容が書いてある」は矛盾だと気付かないのか？
教科書とは誰の目にも触れるものである
誰の目にも触れるものはネット上に公表できない深い内容たりえないのである。
小学生のような言い訳してないで早く証明を書け
- 974 名前：１３２人目の素数さん [2020/06/18(木) 16:18:42.70 ID:Jb/OqBTT.net]
- >>894
＞ε は任意に選べるので好きなだけ小さくとっておき
誤解が明らかなので、さっそく修正したヤツがいるなｗ
さて、単独のεでδが存在して
|x-a|＜δ ⇒ |f(x)-f(a)|＜ε
といえても、εより小さいεmでは、対応するδの存在がいえないが
０に収束する単調減少数列ε_nの各項について、対応するδ_nが存在して
|x-a|＜δ_n ⇒ |f(x)-f(a)|＜ε_n
といえるなら、任意のε>0に対応するδの存在がいえる
なぜならいかなるε>0についても
あるNが存在してε>=ε_N となるから
その場合δ_Nをとれば
|x-a|<δ_N ⇒ |f(x)-f(a)|＜ε_N<=ε
が云える
これぞεNを利用したεδの証明(￣ー￣)ﾆﾔﾘ
- 975 名前：１３２人目の素数さん [2020/06/18(木) 16:24:51.51 ID:WzX/CMzM.net]
- 数学掲示板群 ttp://x0000.net/forum.aspx?id=1
学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
PS 連続と離散を統一した！
ttp://x0000.net/topic.aspx?id=3709-0
微分幾何学入門
ttp://x0000.net/topic.aspx?id=3694-0
- 976 名前：１３２人目の素数さん [2020/06/18(木) 16:52:43.01 ID:ymukA3Vi.net]
- >>894
＞ε は任意に選べるので好きなだけ小さくとっておき
おまえが取らんとする値を具体的に述べよ
- 977 名前：１３２人目の素数さん mailto:sage [2020/06/18(木) 23:40:30.24 ID:WAoh/q5X.net]
- >>894
数学を勉強してね、としか言えないな。あるいは国語を。
任意に選べる、というところがポイントであって、数字の大きい小さいは本質的じゃないことが解らないようだね。
極限に関する議論では、幾らでも小さい任意の数を選ぶ、という「操作」が出来る、というのが重要なの。
これは絶対値の議論ではなく、比較級での議論だ。
εに代入する具体的な数字など、言ってしまえばどうでもいい。
ε=1000000だろうが、ε=0.000000001だろうが、そこに本質的な差はない。
だから皆がこいつの論法に違和感を感じるんだよな。
- 978 名前：１３２人目の素数さん [2020/06/19(金) 00:06:43 ID:s0TsnD44.net]
- 10^10は10^0の10^10倍大きいが
10^0も10^(-10)の10^10倍大きい
その10^(-10)も10^(-20)の10^10倍大きい
結局どんなεを取ってもそれは巨大でもあり微小でもある、なぜなら巨大も微小も相対的にしか意味が無いから
安達や瀬田はバカなのでそんなことすら分からない
- 979 名前：１３２人目の素数さん [2020/06/19(金) 00:10:33.37 ID:s0TsnD44.net]
- {ε∈R|ε>0}には最小値も最大値も存在しない
よっていかなる絶対値も存在しない
- 980 名前：１３２人目の素数さん mailto:sage [2020/06/19(金) 06:05:31.43 ID:3OKw5Gzv.net]
- >>909
- 981 名前：
>任意に選べる、というところがポイントであって
そうか？「選ぶ」必要ある？
任意のεについて、δが存在するのがポイントだろ？
>幾らでも小さい任意の数を選ぶ、という「操作」が出来る
なんで「選ぶ」の？
あるεについて、δが存在すれば、ε以上のEについては、みなδが存在する
つまり反例があるとしればε未満しかない
で、もしいかなるεについても、δが存在するなら、
いくら小さいεをとってきても、反例にはならない
そういうことでしょ？
＞数字の大きい小さいは本質的じゃない
＞εに代入する具体的な数字など、言ってしまえばどうでもいい。
＞ε=1000000だろうが、ε=0.000000001だろうが、そこに本質的な差はない。
まったくその通り
どんなεを「選んで」も、結局ε以上のEについてδが存在する、としかいえない
じゃ、任意のεについて、δが存在する、というにはどうするか？
その一つの答えが、>>906だな []- [ここ壊れてます]
- 982 名前：１３２人目の素数さん mailto:sage [2020/06/19(金) 06:17:07.01 ID:3OKw5Gzv.net]
- >>910
ある自然数NについてPが成り立つ場合に、
N以下のMについてはすべてPが成り立つとする
さて、任意の自然数ｎについてPが成り立つ、といいたい場合に
ある一つの自然数NについてPが成り立つといえばいいような
そんな都合のいい「無限大」自然数Nは存在するか？
もちろん、存在しない 最大の自然数は存在しないから
同様に、ある正の実数ε＞０についてPが成り立つ場合に、
ε以上のEについてはすべてPが成り立つとする
さて、任意の正の実数ε＞０についてPが成り立つ、といいたい場合に
ある一つの正の実数ε＞０についてPが成り立つといえばいいような
そんな都合のいい「無限小」実数ε＞０は存在するか？
もちろん、存在しない 最小の正の実数は存在しないから
- 983 名前：１３２人目の素数さん mailto:sage [2020/06/19(金) 06:17:53.12 ID:3OKw5Gzv.net]
- 安達氏は無限否定論者だから、>>913の主張を否定することはないだろう
一方セタこと◆yH25M02vWFhPは、軽率な馬鹿野郎だから
「無限大自然数も無限小実数も存在する！！！」
と絶叫するに違いないｗ
彼はペアノの自然数の公理も、
カントルやデデキントの実数の公理も
平気で否定するだろうな
「俺が数学だ！！！」とか●違い丸出しなこといって（嘲）
大学１年の解析学の講義で落ちこぼれる工学馬鹿が
「数学」なわけないだろｗｗｗｗｗｗｗ
- 984 名前：哀れな素人 [2020/06/19(金) 08:12:53.42 ID:kLFGScce.net]
- 質問少年、サル石の二大バカ以外に
少しはまともな奴も出て来たようだな(笑
lim[n→∞]1/10^n=0
この理由を質問少年とサル石は書いてみよ(笑
>>906
ε-N論法とε-δ論法を混同しているバカ(笑
>>910
任意に選べるということがポイントではなく、
幾らでも小さく選べるということがポイントなのである(笑
巨大なεでは連続も極限も示せないのである(笑
巨大なεを取っても意味がないし無駄なのである(笑
分るか？(笑
僕は巨大なεを取るのは論理的に間違いだ、
と言ったことは一度もないのである(笑
分るか？(笑
- 985 名前：哀れな素人 [2020/06/19(金) 08:18:53.23 ID:kLFGScce.net]
- 実際問題として、１より大きいεやδを取る必要はないし、
そんなεやδを取っても意味がないし無駄なのだが、
そのこと、お前ら、分っているのか？(笑
で、お前らに訊くが、
なぜε-N論法やε-δ論法で数列や関数の極限が示せるのか(笑
未だ誰一人としてこの問いに答えていない(笑
- 986 名前：粋蕎 mailto:sage [2020/06/19(金) 08:29:39.50 ID:LXFRwsRT.net]
- Riemann球面で言えば
1
───
1
─
0
0
= ──
1
= 0
- 987 名前：１３２人目の素数さん [2020/06/19(金) 09:04:31 ID:3OKw5Gzv.net]
- >>915
＞ε-Ｎ論法とε-δ論法を混同している・・・
実はしていない
ε-δ論法による関数の極限の定義を証明するのに
ε-Ｎ論法による数列の極限の定義を満たす数列を使っている
というだけの話
＞幾らでも小さく選べるということがポイントなのである
選べる、といった瞬間に、一つだけ選べばいい、と聞こえるのがダメ
幾らでも小さい正の実数εが存在する、というのがポイント
＞巨大なεでは連続も極限も示せないのである
「巨大な」という形容詞は無意味
「巨大な」εだろうが、「微小な」εだろうが、
「単独の」εでは、連続も極限も示せない
いくらでも小さくなる数列が必要
そして、いかなる正の実数εをとってきても
数列の項のなかにεより小さいものが存在する必要がある
そのような数列の各項について対応するδが存在するなら
いかなる正の実数εをとってきても必ずδが存在するといえる
- 988 名前：１３２人目の素数さん [2020/06/19(金) 09:06:34 ID:3OKw5Gzv.net]
- ＞なぜε-N論法やε-δ論法で数列や関数の極限が示せるのか
数列や関数の極限をε-N論法やε-δ論法で定義したからｗ
ここで、もし
「なぜε-N論法やε-δ論法で数列や関数の極限が定義できるのか？」
という問いを発するなら、こう答えるだけ
「それは数学の問いではない」
- 989 名前：１３２人目の素数さん [2020/06/19(金) 09:11:24.00 ID:3OKw5Gzv.net]
- >>916
もし、不連続だと証明するのであれば、
δが存在しないεを示せばいいだけであって
その場合、反例としてのεが１より大きくても問題ない
（もちろん、１が反例になり得ない場合には
１以上のεを反例として示そうとするのは無意味だが）
逆に連続だと証明するのであれば、
0.1だろうが0.01だろうが0.001だろうが
単独のεについてδの存在を示す�
- 990 名前：ﾌは無意味
要するに１つのεを選ぶ、という発想では
決して連続性も極限も証明できない [] - [ここ壊れてます]
- 991 名前：１３２人目の素数さん [2020/06/19(金) 09:37:09.20 ID:s0TsnD44.net]
- >>915
屁理屈はいいのでさっさとlim[n→∞]1/10^n=0の証明を書け
- 992 名前：哀れな素人 [2020/06/19(金) 11:20:01.35 ID:kLFGScce.net]
- ID:3OKw5Gzv
依然として何にも分かっていないバカ(笑
僕もスレ主も「一つだけ選べばいい」とか、
「単独のεで証明できる」などと言ったことは一度もない(笑
>なぜε-N論法やε-δ論法で数列や関数の極限が示せるのか
お前の答えは答えになっていない(笑
εが１より大きければ不連続だと証明できない場合があるのである(笑
分るか？(笑
εが１より大きくても不連続だと証明できるなら、
εが１より小さくても証明できるのだから、
１より大きいεを取る必要はないのである(笑
分るか？(笑
- 993 名前：哀れな素人 [2020/06/19(金) 11:21:21.84 ID:kLFGScce.net]
- >>921
n→∞のとき1/n→0 とか、n→∞のとき1/10^n→0 とか、
そんなことはJKでも分ることだから
いちいち説明する必要はないのである(笑
お前がこんなことの説明を要求しているということは、
お前が何かとんでもないまぬけなことを考えているとしか思えないのだ(笑
だからお前にその理由を書けと逆質問しているのである(笑
だから答えてみよ、なぜ、n→∞のとき1/10^n→0 なのか(笑
またn→∞のとき1/10^nは0になるのか、ならないのか(笑
- 994 名前：１３２人目の素数さん [2020/06/19(金) 11:30:00.28 ID:kwvIgBRH.net]
- >>922
＞εが１より大きければ不連続だと証明できない場合があるのである(笑
例をお願いします
- 995 名前：１３２人目の素数さん mailto:sage [2020/06/19(金) 12:36:05.00 ID:3OKw5Gzv.net]
- >>922
＞εが１より大きければ不連続だと証明できない場合があるのである
それはεが１０の場合でも、０．１の場合でも同じ
しかし、ある１つの値について、δの非存在が示せれば不連続だと分かる
- 996 名前：１３２人目の素数さん [2020/06/19(金) 12:40:55.99 ID:3OKw5Gzv.net]
- 逆に、
「εとしてこの値をとれば不連続な場合δが存在しないと証明できる」
という究極の値は存在しない
なぜなら、そのような値ε_minがあったと仮定して
それより小さな値が存在するから、
ε_minでδが存在するのに、不連続となる関数
を具体的に構成できる
ああ、下らん 文学部も工学部も
実数のジの字もわからん正真正銘の🐎🦌ばっかだな
- 997 名前：１３２人目の素数さん [2020/06/19(金) 13:21:29.82 ID:s0TsnD44.net]
- >>923
どうしておまえはいつもいつも言い訳ばかりなのか？黙って証明すればいいのである
言い訳するということは、おまえ実は何も分かってないことを分かってるんじゃないのか？
でもそれは瀬田よりは利口だぞ？瀬田は分かってないことすら分かってないから
- 998 名前：１３２人目の素数さん [2020/06/19(金) 13:38:25.01 ID:s0TsnD44.net]
- >>916
>実際問題として、１より大きいεやδを取る必要はないし、
>そんなεやδを取っても意味がないし無駄なのだが、
>そのこと、お前ら、分っているのか？(笑
分かってないのはおまえ
εを取ること自体が無意味。
なんで任意のε>0について示さなければいけないのに特定のεを取るんだよｗ
- 999 名前：１３２人目の素数さん [2020/06/19(金) 13:57:21.12 ID:qXfDhvSl.net]
- たとえ
「任意のεに対して」
と書いても任意性は担保されないんだな～♪
じゃあどうやって全称命題を証明するのか
全称命題は対偶をとるか背理法でしか示せない
間接証明しかできないのだ
- 1000 名前：１３２人目の素数さん [2020/06/19(金) 14:01:34.69 ID:s0TsnD44.net]
- どんなに小さい正数を取っても、それより小さい正数が存在するのだから、特定の正数を取ることはまったく無意味
こんな簡単なことが分からない安達は池沼
- 1001 名前：１３２人目の素数さん [2020/06/19(金) 14:03:58.30 ID:s0TsnD44.net]
- >>929
これは酷い
- 1002 名前：１３２人目の素数さん [2020/06/19(金) 14:09:11.88 ID:s0TsnD44.net]
- タブローくん相変わらずだなｗ
- 1003 名前：１３２人目の素数さん [2020/06/19(金) 14:10:26.79 ID:qXfDhvSl.net]
- 新妻弘のワンポイント部分集合の証明方法
A⊂Bを示したい
そのために
∀a(a∈A→a∈B)
を示す
そこで
b∈Aをとる
……(略)
b∈Bである
b∈Aは勝手に選んだので
∀a(a∈A→a∈B)
が示された
こんな奴の『群・環・体』は捨てろｗ
- 1004 名前：１３２人目の素数さん [2020/06/19(金) 14:15:07.31 ID:s0TsnD44.net]
- >>922
>>なぜε-N論法やε-δ論法で数列や関数の極限が示せるのか
>お前の答えは答えになっていない(笑
安達よ
人に頼らず自分で勉強しろ
何人たりともおまえに教えることはできない
なぜならおまえには教えられたことを理解できるだけの学力が無いからだ
なんでおまえはそこまで勉強嫌いなのか？
- 1005 名前：１３２人目の素数さん [2020/06/19(金) 14:25:40.44 ID:s0TsnD44.net]
- サイコロの目を勝手に選ぶ
１が選ばれた
１は勝手に選んだのでサイコロの目はすべて１である
- 1006 名前：１３２人目の素数さん [2020/06/19(金) 14:30:54.22 ID:qXfDhvSl.net]
- ・長方形と正方形問題
長方形と正方形の包含関係
・曲線と直線問題
曲線と直線の包含関係
それぞれ全称命題で示してみるとよい
答えは両者の間に等号が成立する
もちろん対偶のとり方によっては片側包含関係しか成立しないが
そうすると同じ方法を採る限り今度は別のケースで等号が示せなくなる
というジレンマが起こる
対偶法も完璧ではない
- 1007 名前：１３２人目の素数さん [2020/06/19(金) 14:31:08.76 ID:ud1WW8US.net]
- 数学掲示板群 ttp://x0000.net/forum.aspx?id=1
学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
PS 連続と離散を統一した！
ttp://x0000.net/topic.aspx?id=3709-0
微分幾何学入門
ttp://x0000.net/topic.aspx?id=3694-0
- 1008 名前：１３２人目の素数さん [2020/06/19(金) 14:41:56.76 ID:qXfDhvSl.net]
- >>935
今は部分と全体の話だ
そのたとえを用いると
{1,2,3,4,5,6}
から「任意に」選んで1が出たとしよう
{1}⊂{1,2,3,4,5,6}
という話に過ぎない
これでは任意性の問題になってない
同じサイコロで考えてみると
大小2つのサイコロが在る
私は大から勝手にサイコロの目を選ぶ
これが1だったとする
このとき私は勝手に選んだので
大は小を兼ねる
が成立する
こんな証明を代数学でやらかしているのが新妻弘とその本を読んでいる者
- 1009 名前：１３２人目の素数さん [2020/06/19(金) 15:39:19.33 ID:3OKw5Gzv.net]
- >>929
＞どうやって全称命題を証明するのか
fが具体的に分かってるんだから
εの関数となるδ（ε）を具体的に構成して
|x-a|＜δ(ε) ⇒ |f(x)-f(a)|＜ε （連続性の場合）
もしくは
|x-a|＜δ(ε) ⇒ |f(x)-b|＜ε （極限の場合）
を証明したらいいだろう
頭悪いのか？
- 1010 名前：１３２人目の素数さん [2020/06/19(金) 15:50:38.73 ID:3OKw5Gzv.net]
- >>933
君、普遍汎化、全然理解してないだろ
https://ja.wikipedia.org/wiki/%E6%99%AE%E9%81%8D%E6%B1%8E%E5%8C%96
- 1011 名前：１３２人目の素数さん [2020/06/19(金) 15:58:38.44 ID:3OKw5Gzv.net]
- >>936
両者とは、どれとどれだ？
正方形でない長方形は存在するし
直線でない曲線は存在するが
知らんのか？
- 1012 名前：１３２人目の素数さん [2020/06/19(金) 16:07:08.20 ID:3OKw5Gzv.net]
- ∀a(a∈A→a∈B) かつ ∀a(a∈B→a∈A) ならば A=B
∀a(a∈A→a∈B) だが ￢∀a(a∈B→a∈A) ならば A⊂B
￢∀a(a∈B→a∈A) とは ∃a(a∈B∧￢a∈A)
わかってるか？ID:qXfDhvSl
- 1013 名前：１３２人目の素数さん [2020/06/19(金) 16:12:38.34 ID:3OKw5Gzv.net]
- 正方形ならば、内接円および外接円を持つ
しかし、内接円および外接円を持つ四辺形が、全て正方形というわけではない
- 1014 名前：１３２人目の素数さん [2020/06/19(金) 16:18:01.31 ID:s0TsnD44.net]
- >>929
命題 偶数は自然数である
証明 任意の偶数は２の倍数であり、任意の2の倍数は自然数だから命題は真
はい、全称命題を背理法も待遇法も使わず証明しますた
- 1015 名前：１３２人目の素数さん [2020/06/19(金) 17:27:57.17 ID:qXfDhvSl.net]
- >>944
偶数←→2の倍数
任意の偶数←→任意の2の倍数
ここで偶数をaとおくと2の倍数もaと書ける
すなわち
a←→a
このaを
a∈A
と書く
これよりBを自然数全体とすると
∀a(a∈A→a∈B)
を示さなければならない
君は単にa←→aを言ったにすぎない
君の論法は
偶数→自然数
2の倍数→自然数
偶数=2の倍数
ゆえに
偶数→自然数
典型的な三段論法の誤謬だな
- 1016 名前：１３２人目の素数さん [2020/06/19(金) 17:34:25.97 ID:qXfDhvSl.net]
- 偶数→2の倍数
2の倍数→自然数
偶数→自然数
こう言えればよかったな
残念ながら
偶数←→2の倍数
2の倍数→自然数
ゆえに
偶数→自然数
これは何も示していない
- 1017 名前：哀れな素人 [2020/06/19(金) 17:41:37.54 ID:kLFGScce.net]
- >>924
バカか、お前は(笑
動画を見れば分るだろ(笑
https://www.youtube.com/watch?v=I0htQLgpsTE
https://www.youtube.com/watch?v=t3JPms8Y1l4
>>925
０．１なら不連続だと分る場合があるのだバカ(笑
εとしてこの値をとれば不連続だと分る場合があるのだバカ(笑
- 1018 名前：１３２人目の素数さん [2020/06/19(金) 17:41:38.55 ID:qXfDhvSl.net]
- 長方形は正方形を含むので長方形と言えば正方形をも指すことになる
という名言をいったまで
- 1019 名前：哀れな素人 [2020/06/19(金) 17:43:15.30 ID:kLFGScce.net]
- ID:s0Tsn
バカか、お前は(笑
僕は特定の正数を取れなどとは一言も言っていない(笑
１より大きいεは考える必要がない、と言っているのだ(笑
その理由が分るか？ 池沼(笑
ID:s0TsnD44
>なぜε-N論法やε-δ論法で数列や関数の極限が示せるのか
お前の答えは答えになっていない(笑
お前らのレスを読むと、お前らがε-δ論法の原理を
まったく分っていないことが明白だ(笑
さて今日からプロ野球が始まるから、
お前らのような池沼の相手をする時間も少なくなるだろう(笑
- 1020 名前：１３２人目の素数さん [2020/06/19(金) 17:46:43.93 ID:
]
- [ここ壊れてます]
- 1021 名前：qXfDhvSl.net mailto: 君は
偶数→自然数
を示したかったようだが
本当は
2の倍数→自然数
を示したかったんだね
さあどうぞ [] - [ここ壊れてます]
- 1022 名前：１３２人目の素数さん [2020/06/19(金) 18:30:42.65 ID:qXfDhvSl.net]
- 無制限に包含関係を認めた場合
① 正方形⊆長方形
長方形であり正方形でないもの 〇
長方形でなく正方形であるもの 〇
② 長方形⊆正方形
正方形であり長方形でないもの 〇
長方形でなく正方形であるもの 〇
ゆえに長方形=正方形
包含関係は①を示すことで制限されるという説
③ 長方形⊆正方形
正方形であり長方形でないもの ×
∵) ①よりすべての正方形は長方形であるから
正方形でなく長方形であるもの ×
∵) ①より長方形はすべての正方形を含む
この③の対偶法を用いると一般に集合の相等を示すことができなくなる
- 1023 名前：１３２人目の素数さん [2020/06/19(金) 18:33:03.06 ID:qXfDhvSl.net]
- >>951
訂正
② 長方形⊆正方形
正方形であり長方形でないもの 〇
正方形でなく長方形であるもの 〇
- 1024 名前：１３２人目の素数さん mailto:sage [2020/06/19(金) 18:35:00.79 ID:3OKw5Gzv.net]
- >>948
a∈正方形 ⇒ a∈長方形 は言えるが
a∈長方形 ⇒ a∈正方形 は言えないぞ
>>943
四角形が内接円および外接円をもつからといって正方形とはいえない
ただし、もしその四角形が台形なら正方形である
- 1025 名前：１３２人目の素数さん [2020/06/19(金) 18:46:33.94 ID:3OKw5Gzv.net]
- >>951
＞① 正方形⊆長方形
「正方形であって長方形でないものは存在しない」の意味
＞② 長方形⊆正方形
「長方形であって正方形でないものは存在しない」の意味
で、①は成り立つが、②は成り立たない
したがって 長方形＝正方形、ではない
- 1026 名前：１３２人目の素数さん [2020/06/19(金) 19:15:37.19 ID:Dm/eILxY.net]
- >>947
不連続はタイポではなく、本当に不連続でよかったのですね
あたりまえですw
誰も、不連続を証明するときのεが巨大ではいい、なんて言ってませんでしたよね？
で、連続を証明するときにεが巨大ではいけないと言っている動画はまだ見つからないのですか？
- 1027 名前：１３２人目の素数さん mailto:sage [2020/06/19(金) 19:17:15.30 ID:9maGUd/m.net]
- >>912
「選ぶ」必要を問うてる時点で、勉強してね…、としか。
「選ぶ」ことが出来る、ことが本質的。
- 1028 名前：１３２人目の素数さん mailto:sage [2020/06/19(金) 20:00:29.39 ID:3OKw5Gzv.net]
- >>956
任意のε＞０で成立する必要があるのに
ある単独の元を選ぶことに固執してる時点で
貴様全然勉強してねぇなと（バッサリ一刀両断）
＞「選ぶ」ことが出来る、ことが本質的。
白痴？
- 1029 名前：１３２人目の素数さん [2020/06/19(金) 20:07:01.75 ID:3OKw5Gzv.net]
- 選んだら 馬鹿ｗ
選んだら 負けｗ
選んだら 死ぬｗ
選ぶなｗ
- 1030 名前：１３２人目の素数さん mailto:sage [2020/06/19(金) 20:18:14 ID:rfiA86xz.net]
- 野球観てろよ。
- 1031 名前：１３２人目の素数さん [2020/06/19(金) 20:39:58.77 ID:s0TsnD44.net]
- >>945 941 946
君さあ、数学書読んだこと無いでしょ
>任意の偶数は２の倍数
は
nは偶数 ⇒ nは２の倍数
の意味だよ、同値じゃないよ
>任意の2の倍数は自然数
も同じね
つまり
nは偶数 ⇒ nは２の倍数
と
nは２の倍数 ⇒ nは自然数
から
nは偶数 ⇒ nは自然数
と言ってるんだよ。
数学書の日本語表現に慣れてないから同値と勘違いする。
- 1032 名前：１３２人目の素数さん [2020/06/19(金) 20:44:28.23 ID:iAeXbjhz.net]
- 解析、極限の議論では、より大きい、より小さい、という比較しか意味がない。
大きいε、小さいε、などとトンチンカンな事を言い出したお前が最初から敗者。
- 1033 名前：１３２人目の素数さん [2020/06/19(金) 20:46:01.58 ID:s0TsnD44.net]
- 任意の正数について示さなきゃいけないんだから、ある一つの正数について示してもナンセンス
「選ぶ」とは正数全体の集合の元を一つ定めること、それは上記の通りでナンセンス
- 1034 名前：１３２人目の素数さん [2020/06/19(金) 20:53:37.68 ID:s0TsnD44.net]
- >nは偶数 ⇒ nは２の倍数
これで分からないようならもっと丁寧に書くと
n∈偶数全体の集合 ⇒ n∈２の倍数全体の集合
となる。
数学書の日本語表現に慣れてればこんなのは常識！
「〇〇は△△である」を同値と解釈するようじゃ数学書は読めないよ
- 1035 名前：１３２人目の素数さん [2020/06/19(金) 21:03:15.44 ID:s0TsnD44.net]
- 「男の人は人間である」
は同値じゃないよね？
人間⇒男 には女という反例があるんだから
- 1036 名前：１３２人目の素数さん [2020/06/19(金) 21:07:15.77 ID:qXfDhvSl.net]
- >>960
>君さあ、数学書読んだこと無いでしょ
>数学書の日本語表現に慣れてないから同値と勘違いする。
じゃあ同値であることを示そう
n：偶数である←→n：2の倍数である
を示す
(1) ￢(n：偶数である←→n：2の倍数である)
(1)の分岐
(2) n：偶数である
(3) ￢(n：2の倍数である) i.e. n：2の倍数でない
×
(2),(3)
(1)の分岐
(4) ￢(n：偶数である) i.e. n：奇数である
(5) n：2の倍数である
×
(4),(5)
ゆえにタブローが閉じるので命題は成立する
- 1037 名前：１３２人目の素数さん [2020/06/19(金) 21:11:24.87 ID:qXfDhvSl.net]
- >>964
話のすり替え乙です＾＾
- 1038 名前：１３２人目の素数さん [2020/06/19(金) 21:14:21.44 ID:qXfDhvSl.net]
- まさか同値のものを片側しか成立してないと看做して
同値を利用するというようなことを考えてねえだろうなｗ
- 1039 名前：１３２人目の素数さん [2020/06/19(金) 21:15:11.57 ID:qXfDhvSl.net]
- 君は三段論法の誤謬を犯しているんだよ
- 1040 名前：１３２人目の素数さん [2020/06/19(金) 21:22:19.30 ID:kCOxMiM8.net]
- >>929
任意の数xについて、x=x、ゆえに∀x(x=x)
- 1041 名前：１３２人目の素数さん [2020/06/19(金) 21:27:31.24 ID:qXfDhvSl.net]
- >>969
それって同値関係の前提である関係～の定義に依存しているよね
二項関係があるかどうかわからない所ではどう？
それも初めの関係の定義に依るよね
それは証明じゃないよ
- 1042 名前：１３２人目の素数さん [2020/06/19(金) 21:29:31.49 ID:kCOxMiM8.net]
- >>967
∀x(xは偶数→xは2の倍数)∧∀x(xは2の倍数→xは自然数)→∀x(xは偶数→xは自然数)
という意味だよ
また、同値を用いたとしても
∀x(xは偶数↔xは2の倍数)∧∀x(xは2の倍数→xは自然数)→∀x(xは偶数→xは自然数)
になるだけのことでまったく問題ないどころか、むしろより条件が強くなるだけ
- 1043 名前：１３２人目の素数さん [2020/06/19(金) 21:40:36.26 ID:s0TsnD44.net]
- >>965
>じゃあ同値であることを示そう
いやいやいやｗ それは結果的に同値って言ってるだけじゃんｗ 分かってないね君ｗ
そうじゃなくて「偶数は2の倍数である」という主張が同値の主張ではないって言ってるんだよｗ
日本語通じないのかな？ｗ
- 1044 名前：１３２人目の素数さん [2020/06/19(金) 21:46:55.21 ID:s0TsnD44.net]
- >>966
どういうこと？ｗ
結果的に 偶数⇔2の倍数 であるか否かはまったく別問題だよｗ
「偶数は２の倍数である」という主張は 偶数⇒2の倍数 なんだよｗ
なぜって、それが数学における日本語表現の暗黙のルールだからだよｗ
- 1045 名前：１３２人目の素数さん [2020/06/19(金) 21:49:14.08 ID:kCOxMiM8.net]
- >>970
定義を使うと何でダメなの？
- 1046 名前：１３２人目の素数さん [2020/06/19(金) 21:50:50.52 ID:s0TsnD44.net]
- あ、ごめん、暗黙のルールか否かは定かじゃないけどそういうもんなんだよｗ
理屈より数学書読んでごらん、〇〇は△△である を 〇〇⇔△△ なんて解釈したら読めないからｗ
- 1047 名前：１３２人目の素数さん [2020/06/19(金) 21:56:28.48 ID:kCOxMiM8.net]
- 任意の数xについて、xは偶数↔xは偶数、ゆえに∀x(xは偶数↔xは偶数)
ホレ、対偶も背理法も使ってないぞ
- 1048 名前：１３２人目の素数さん [2020/06/19(金) 22:07:32.92 ID:kCOxMiM8.net]
- >>965
これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと￢Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
- 1049 名前：１３２人目の素数さん [2020/06/19(金) 22:09:13.35 ID:qXfDhvSl.net]
- >>974
定義というのは定理の中で生じた概念を規定している
形式上
定義
定理
とあるが
先に在るのは定理である
それなので定理の中で定義を使うことは間違いである
これに反するのは定義厨(コンピュータ屋)である
そいつらは先に定義しないと動かないから何でも先に定義をする
関数に出鱈目に値を入れることが常であり
ε-δ論法においてもεを選ぶと言っている
これは工学の便宜的手法であって
数学ではない
また定理を証明するために概念を定義し
その定義で定理を示したというのは
1960年以降のゴミ数学による
- 1050 名前：１３２人目の素数さん [2020/06/19(金) 22:33:59.35 ID:qXfDhvSl.net]
- >>977
Fx：xは偶数である
Gx：xは2の倍数である
とする
∀xFx→∀xGx
を示す
(1) ￢(∀xFx→∀xGx)
(2) (∀x)Fx
(3) ￢(∀x)Gx
(4) ￢Ga
(5) Fa
ゆえにタブローは閉じないので命題不成立である
A∧￢Aは無理だわ
- 1051 名前：１３２人目の素数さん [2020/06/19(金) 22:48:14.56 ID:kCOxMiM8.net]
- >>979
＞(2) (∀x)Fx
から、F1と全称例示化すれば簡単に矛盾が出せる
そもそも
＞∀xFx→∀xGx
なんてやってる時点で大間違いで、まるで理解できていない
オマエ、やることなすことすべてがデタラメだよ
- 1052 名前：１３２人目の素数さん [2020/06/19(金) 22:49:49.34 ID:kCOxMiM8.net]
- >>978
言ってる意味は不明だが、ゴミはお前の頭だよ
- 1053 名前：１３２人目の素数さん [2020/06/19(金) 22:53:05.86 ID:kCOxMiM8.net]
- とにかく、
- 1054 名前：>>929の間違いは理解できたのか？
いつもそうだけどさ、なかったことにしてシレっとフェードアウトするのやめなよ [] - [ここ壊れてます]
- 1055 名前：哀れな素人 [2020/06/19(金) 23:06:52.34 ID:kLFGScce.net]
- >>955
これは池沼少年。しつこいアホ(笑
>誰も、不連続を証明するときのεが巨大ではいい、なんて言ってませんでしたよね？
ではお前はどういう意味で「任意だからどんな巨大な数でもいい」
と言っているのか(笑
>で、連続を証明するときにεが巨大ではいけないと言っている動画はまだ見つからないのですか？
で、巨大なεで連続や極限を証明している動画や教科書は見つかったのか？ 池沼(笑
真性のアホだ、こいつは(笑
- 1056 名前：哀れな素人 [2020/06/19(金) 23:09:33.17 ID:kLFGScce.net]
- お前、εδ論法とはx=aという局所での連続や極限を論ずるものだ、
ということが分っているのか？(笑
広範な範囲のxの連続を論ずるものではないぞ(笑
極限についても同じだ(笑
x→aの極限を示すものであってx→bの極限を示すものではないのだ(笑
だから巨大なεを取る必要はまったくないのだ(笑
お前、それが分っているのか(笑
延々と「任意だからどんな巨大な数でもいい」と言い続ける白痴(笑
スレ主よ、この調子だとεδ論争は延々と何年も続くぞ(笑
ちょうど時枝論争が何年も続いたように(笑
質問少年とかサル石のようなアホがいると、こうなる(笑
- 1057 名前：１３２人目の素数さん [2020/06/19(金) 23:13:47 ID:kCOxMiM8.net]
- 最初は、極限を示せなくともダメではなかったのに、
後になると、極限を示せないからダメだと言い出す安達
>大きくなったらダメとも、εが巨大だとダメとも言っていない(笑>>180
↓↓↓後日↓↓↓
>ε=100000000では極限は示せないのだから、
>ε=100000000ではダメなのである(笑>>892
- 1058 名前：１３２人目の素数さん [2020/06/19(金) 23:17:19 ID:kCOxMiM8.net]
- 分かったから安達は
＞定数関数y=0も不連続である(>>739
を示すのにどんな微小なεを使えばいいのか教えてくれ
- 1059 名前：１３２人目の素数さん [2020/06/19(金) 23:39:11 ID:qXfDhvSl.net]
- >>982
お前さ
何でも知っているみたいな書き込みをしているけど
背理法の論理式は書けるようになった？
条件法の否定￢(P→Q)の意味はわかった？
それからタブローに自然演繹を混ぜようとするのは止めてくれ
タブロー法に全称例化という概念はない
だから混乱しているし意味不明なんだよ
- 1060 名前：１３２人目の素数さん [2020/06/19(金) 23:39:50 ID:kCOxMiM8.net]
- >>170
＞x=3で連続、x=30で不連続の場合があるから、
＞>εが小さいところで調べておけば、自動的にεが大きいところでも調べたことになるのです
＞ということにはならないのだアホ(笑
あるεにδがあればより大きいεにもδがあるという、
ごく当たり前の話を、意味不明な理由で否定する安達
- 1061 名前：１３２人目の素数さん [2020/06/19(金) 23:47:39 ID:kCOxMiM8.net]
- >>987
それ、お前がデタラメ書いてたから指摘してやったら反論できず
シレっとフェードアウトしたやつじゃん
全称例示化がない？
バカは、鼻くそでも食ってなさい
- 1062 名前：１３２人目の素数さん [2020/06/19(金) 23:53:56 ID:qXfDhvSl.net]
- 個体変項と個体定項しかないタブローで数学をどれくらい表現できるのか
が問題だな
等号や不等号はおｋ
集合に属するか属さないかはおｋ
集合の性質に関するものも一応おｋ
これは性質をどれくらい反映できるかによると思う
数理論理学は何をやってんだろ
自然演繹なんて∧の導入や除去はわかりやすいけど
∨の導入・除去はわかりにくい
そんなものが普及するはずもない
タブローは単純明快だ
これで何とかできないかなあ
- 1063 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP [2020/06/19(金) 23:59:08 ID:imq2ACd0.net]
- 新スレ立てました
ガロアスレ復活しましたｗ
（皆さんが、ガンバってくれたお陰です。ありがとう！（＾＾）
純粋・応用数学（含むガロア理論）2
https://rio2016.5ch.net/test/read.cgi/math/1592578498/
- 1064 名前：１３２人目の素数さん [2020/06/20(土) 01:17:41.40 ID:0ts11Drz.net]
- ↑
おまえは只のスレ立て作業員であってスレ主ではないｗ 何がお陰ですだｗ
- 1065 名前：１３２人目の素数さん [2020/06/20(土) 02:25:26.47 ID:0ts11Drz.net]
- >>979
>∀xFx→∀xGx
- 1066 名前：君のこの主張は
∀xFx→∀yGy
と同じことだよ？ｗ
もちろん偽です。x=0,y=1が反例ｗ
君、変数のスコープって知らないの？ [] - [ここ壊れてます]
- 1067 名前：１３２人目の素数さん [2020/06/20(土) 02:29:51.05 ID:0ts11Drz.net]
- >>985
安達はその日の気分で言うことがコロコロ変わりますからｗ
- 1068 名前：１３２人目の素数さん mailto:sage [2020/06/20(土) 03:23:40.56 ID:TGCAjRpL.net]
- 公知で中で最も広い測度って何じゃろ？リーマン、ルベーグ、ルベーグ・スティルチェス、バナッハ､
ウィーナー、ラドン、ハウスドルフ、ディラック、確率、…
(ﾟДﾟ)
(ﾟД｡)
(｡Дﾟ)
ﾟ ( Д ) ﾟ
｡.. ( Д ) ..｡
- 1069 名前：粋蕎 mailto:sage [2020/06/20(土) 04:10:27.13 ID:TGCAjRpL.net]
- 測度なんぞ儂ごときが会得しとる訳が無し！
じゃが広義ディラック測度は広義ハウスドルフ測度も呑み込んどりそうじゃのう、美味しそうじゃ…
儂は数学者が握った測度寿司を摘まみ掻っ喰らう工学客じゃな｡
別にええじゃろ、数学者の成果を使わせて頂くのじゃ。使わん方が害悪｡
しかし其んな儂でもε-δ論法の意味は不等式の任意性の妙味に有り、既に其の時点で完成されて居って、此れを態々
εrror-orderを有限微小に限定し有限微小なδistance-qualityを得る努力を行う必要は無い事であって、其れは
「数値解析」や「測定」じゃの云う「応用数学」や「技術」「観測哲学」の話であって、「純粋数学」の話から
大きく外れた事じゃあ云う事は儂にも分かるわ。恐らく高校理系生徒にも名門の子なら分かるじゃろうな｡
- 1070 名前：１３２人目の素数さん [2020/06/20(土) 04:36:21.77 ID:Knd5V/HY.net]
- >>993
じゃあ同値よりもさらに強い同義なんだと自ら認めてしまったわけか
同義語の反復をして何を示していると思っているの？
∀xFx→∀xFx
さらに
∀xFx→∀xFx 偶数は2の倍数
∀xFx→∀xGx 2の倍数は自然数
ゆえに
∀xFx→∀xGx 偶数は自然数
だから
2の倍数→自然数
を示したかったんでしょ？
同義語・対偶・背理法を使わないで示してみてよ
つーかこの証明が頭悪いわ
いいや
終わり
- 1071 名前：１３２人目の素数さん [2020/06/20(土) 04:39:52.88 ID:Knd5V/HY.net]
- これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと￢Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
- 1072 名前：１３２人目の素数さん [2020/06/20(土) 04:40:11.84 ID:Knd5V/HY.net]
- これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと￢Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
- 1073 名前：１３２人目の素数さん [2020/06/20(土) 04:40:29.68 ID:Knd5V/HY.net]
- これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと￢Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
- 1074 名前：１３２人目の素数さん [2020/06/20(土) 05:33:02.36 ID:Knd5V/HY.net]
- 埋め
- 1075 名前：１３２人目の素数さん [2020/06/20(土) 05:33:20.17 ID:Knd5V/HY.net]
- 梅
- 1076 名前：１３２人目の素数さん [2020/06/20(土) 05:33:41.59 ID:Knd5V/HY.net]
- 生め
- 1077 名前：１３２人目の素数さん [2020/06/20(土) 05:33:57.54 ID:Knd5V/HY.net]
- 産め
- 1078 名前：1001 [Over 1000 Thread.net]
- このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 115日 17時間 35分 52秒
- 1079 名前：過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
 |
