【大学数学の基礎】εδ、∀∃を語るスレッド

**１３２人目の素数さん** · 2020/06/20(土) 06:05:06.47

大学数学の躓きの石である
解析学の諸概念（収束・極限）の定義と論理式の限量子（全て∀と存在∃）
について語るスレッド

参考

純粋・応用数学
https://rio2016.5ch.net/test/read.cgi/math/1582599485/

**１３２人目の素数さん** · 2020/06/21(日) 11:18:12.01

>>98
＞関数の連続性とxに収束する任意の点列xnは関係ない

これ、明らかな誤りね

fが点xで連続であるとき、そのときに限り
xに収束する任意の点列xnについて
f(xn)がf(x)に収束する

こんなん、理系なら皆知ってるぞ
教養課程の解析学で必ずやるからな
ま、文系じゃ数学は必須じゃないから
知らなくても仕方ないがな（ｹﾞﾗｹﾞﾗｹﾞﾗｹﾞﾗ

**１３２人目の素数さん** · 2020/06/21(日) 11:27:50.06

まだ、ちっちゃいからわかんないかな　(ｹﾞﾗｹﾞﾗｹﾞﾗｹﾞﾗ

　∞
∬(*>д<)　○。ｷｭﾜｭ過ｷﾞｨｨｯ!
ﾟ　/٩و\
　　!!

**哀れな素人** · 2020/06/21(日) 11:29:58.47

で、有理数の切断では実数は定義されない、
ということはわかりますか（笑

で、関数の連続性とxに収束する任意の点列xnは関係ない
ということはわかりますか（笑

わからないんですね（ｹﾞﾗｹﾞﾗ

**１３２人目の素数さん** · 2020/06/21(日) 11:30:59.03

なぜ有理数の切断で実数は定義できないのですかー？

**１３２人目の素数さん** · 2020/06/21(日) 11:34:09.94

゜*。
。○ﾟ
　　まだ、ちっちゃいﾟ　○。゜
゜*。三歳のｱﾀﾞﾁくん　*。゜*。ﾟ
　　　ﾟ　　。　　゜　。○ﾟ
|∞　…lovely過ｷﾞﾙ…
|ﾉд`)ﾟ。*゜○ﾟ

**１３２人目の素数さん** · 2020/06/21(日) 11:36:14.12

＞有理数の切断では実数は定義されない、

ウソはわからんねｗ

＞関数の連続性とxに収束する任意の点列xnは関係ない

ウソはわからんねｗ

＞わからないんですね（ｹﾞﾗｹﾞﾗ

アダチ、ウソがわかるって、バカなんですね

🤣🤣🤣🤣🤣🤣🤣🤣
🤣🤣🤣🤣🤣🤣🤣🤣
🤣🤣🤣🤣🤣🤣🤣🤣
🤣🤣🤣🤣🤣🤣🤣🤣
🤣🤣🤣🤣🤣🤣🤣🤣
🤣🤣🤣🤣🤣🤣🤣🤣
🤣🤣🤣🤣🤣🤣🤣🤣
🤣🤣🤣🤣🤣🤣🤣🤣

**１３２人目の素数さん** · 2020/06/21(日) 11:37:39.29

馬鹿のふりする馬鹿

**１３２人目の素数さん** · 2020/06/21(日) 11:38:52.03

>>105
・・・アダチくんの●ン●ンがお○さんにたべられちゃう

Q.●、○に入る文字を答えよ

**１３２人目の素数さん** · 2020/06/21(日) 11:48:23.22

|　　∞　／／
|٩(´д`٩)//彡ﾊﾞﾀｯ!
￣￣￣￣￣￣￣￣￣
　♡ｷｭﾝ♡ﾀﾋ…

**１３２人目の素数さん** · 2020/06/21(日) 11:57:22.09

●←Ｑ
〇←母

まだ、ちっちゃい三歳の。。。
。。。ｱﾀﾞﾁｸﾝの。。。

✨✨💗ＱンＱン💖✨✨が
お母さんに食べられちゃぅｿﾞ💗

　　💗きゅんキュン💞
　　💗ｱﾀﾞﾁきゅん💗

絶対せいか～ぃ！
(ｹﾞﾗｹﾞﾗｹﾞﾗｹﾞﾗ

**１３２人目の素数さん** · 2020/06/21(日) 11:59:50.62

　　ﾈｨﾋﾟｧｷｭｰﾃｨｰ。。。

　💗可愛ｅ💗過ｷﾞﾙ…

**１３２人目の素数さん** · 2020/06/21(日) 12:04:50.80

|∞。ﾟ○。　✳　○ﾟ　。*ﾟ
|ﾉд`)ﾉ"　ﾟ○。*ﾟ…ｱﾀﾞﾁｯﾁｬﾏ…
ﾊﾞｨﾊﾞ~ｨ…ﾏﾀﾈ…

**哀れな素人** · 2020/06/21(日) 12:28:54.99

ひさしぶりにｴﾓｯﾋﾟ登場（笑

>「０より大きい最小のεなんて存在しない」

質問少年という池沼さんは、こう書いてますよー（笑

>全ての正数よりも小さな正の超実数が存在します、無限小ですね。

（ｹﾞﾗｹﾞﾗｹﾞﾗｹﾞﾗ

**１３２人目の素数さん** · 2020/06/21(日) 13:25:07.23

|ﾓｿﾞﾓｿﾞ…／／／
|∞ﾊ~ｨ!／／１(ｲｯﾁ)↙先生~!／
|*“)ﾉ／(>>108)
✨✨✨✨✨✨✨✨✨✨
✨✨１(ｲｯﾁ)先生ﾉ解✨✨
✨✨✨✨✨✨✨✨✨✨
　
　　　教ｪﾃ下ｻｨ…

**１３２人目の素数さん** · 2020/06/21(日) 13:26:34.42

↑
●　チ
〇　婆

以外で。

**１３２人目の素数さん** · 2020/06/21(日) 13:27:13.66

>>98
>で、全ての関数は不連続だということはわかりますか（笑
いいえ、安達連続の定義が示されていないのでわかりませんねえ

全ての関数が安達不連続なら、なぜ安達連続という概念が必要なんですか？

**１３２人目の素数さん** · 2020/06/21(日) 13:30:19.77

>>114
●ー○君
https://www.youtube.com/watch?v=ePk6DYlMQG4

**１３２人目の素数さん** · 2020/06/21(日) 13:32:27.88

（´<_｀　）ﾌ…

**１３２人目の素数さん** · 2020/06/21(日) 13:33:04.84

>>115
遅かった・・・OTL

**１３２人目の素数さん** · 2020/06/21(日) 13:35:56.36

ｹﾞﾗｹﾞﾗ(´∀`*) '` '`,、'`,、'` '`

**１３２人目の素数さん** · 2020/06/21(日) 13:39:16.32

。○゜ﾟ　　　　　゜　。ﾟ
゜*。まだ、小さいから…

　遅くなっちゃったね💗

|艸`)ﾌﾟﾌﾟｯ…

**１３２人目の素数さん** · 2020/06/21(日) 13:41:05.86

|*）=33
|。。。ｲｯﾁ先生。。。
やり直し!

ざんね~ん!

**１３２人目の素数さん** · 2020/06/21(日) 13:54:08.17

追伸…
|∞　ｴﾓﾔﾝは🤶お婆ちゃん👵。。
|´)ﾉ»😾💨ｼﾞｬﾅｲｯ!💢😠
😡ですよーだ!🤬

**１３２人目の素数さん** · 2020/06/21(日) 14:22:24.63

>>123
ばぁ、じゃなく、ば、です
（フォローになってないｗ）

**１３２人目の素数さん** · 2020/06/21(日) 14:39:12.46

今日はちょっと違う話をしよう

よく
lim(n→∞)(1+1/n)^n=e
っていうけど、これを

「数列(1+1/n)^nの収束値がeであることを証明した」

と読むのは一般的に正しくない　むしろ

「数列(1+1/n)^nが収束するので、その値をeと定義する」

と読んだほうがいい

(注：eを全く別の方法で定義する場合を除く）

**１３２人目の素数さん** · 2020/06/21(日) 14:40:38.21

>>75
＞y=xもy=0もフツーの意味では連続関数だ(笑

極限がεδで定義されることを知らない安達がなぜ「フツーの意味での連続」を知ってるんだ？

**１３２人目の素数さん** · 2020/06/21(日) 14:51:45.86

(>>123。。。　　　)
　(ｲｯﾁ先生界隈では)

「２７歳はオバサンです
　　　　　　　(ｹﾞﾗｹﾞﾗ」

　　　(　だから…　)
　　　。○
|∞　゜
|ﾉд;)。
(否ﾒﾅｨ…)

|∞
|д`)ﾟ。

|
|\)ﾟ。

|)ﾟ✳。゜

|ﾟ✳。　゜

|ｫ邪魔ｼﾏｼﾀ…)

|　　

　　　
　　　
　　　～　ｆｉｎ　～

**１３２人目の素数さん** · 2020/06/21(日) 14:53:43.72

マジック

(1+a/n)(1+b/n)≠(1+(a+b)/n)

なのに

lim(n→∞)((1+a/n)(1+b/n))^n=lim(n→∞)(1+(a+b)/n)^n

**１３２人目の素数さん** · 2020/06/21(日) 14:54:49.08

|(↑涙で間違えた。。。)
|(>>124。。だった。。)
|　О
|о

**１３２人目の素数さん** · 2020/06/21(日) 15:02:08.87

>>127
乃木坂４６の場合

白石麻衣　　27歳
秋元真夏　　26歳
生田絵梨花　23歳
久保史緒里　18歳
・・・

Q．お姉さんとおばさんの境はどこ？

なやましい・・・（をひ）

**１３２人目の素数さん** · 2020/06/21(日) 15:18:14.77

|ﾟ✳。゜
…1回ﾀﾋﾝﾃﾞ…生ﾏﾚ変ﾜﾗﾅｷｬ……

|ﾟ｡ﾟ

|ﾟﾋｨｨｨﾝﾟ。゜

**哀れな素人** · 2020/06/21(日) 16:42:25.75

このスレもサル石とｴﾓｯﾋﾟに占拠されたか（笑
もうまともな人間は誰も寄り付かない（笑

ま、最初からサル石、質問少年その他の
バカしか寄って来ないのだから、どーでもいいが（笑

ちなみに（をひ）はサル石の常套句だから、ID:hoayWjrEはサル石（笑
乃木坂とかベビーメタルのことを書いていればサル石だと分る（笑
で、こいつはもう60歳近いおっさんなのである（ｹﾞﾗｹﾞﾗ

**１３２人目の素数さん** · 2020/06/21(日) 16:47:37.51

>>132
そもそもアダチとセタがまともじゃないだろう（ｹﾞﾗｹﾞﾗ

ただ正直いって、アダチは数学に踏み込んでこないから面白くない

その点セタは自らが無能だという自覚もなく
ズカズカ踏み込んで、必ず落とし穴に落ちるので大変面白いｗ

**哀れな素人** · 2020/06/21(日) 17:21:43.87

まともじゃないのはお前（ｹﾞﾗｹﾞﾗ

自らが無能だという自覚もなく
ズカズカ踏み込んで、必ず落とし穴に落ちるので大変面白いｗ

それがお前（笑

**１３２人目の素数さん** · 2020/06/21(日) 17:25:52.65

|ｺﾞﾒﾝﾅｻ~ｨ…)
|もぅここにはお邪魔しません…)

※安達さま、、、間違いを見つけちゃいました->>132

誤　６０近いおっさん

正　ｱﾗﾌｨﾌ*ﾌﾟﾘﾃｨ*さん

|(*´艸`)

|=3　ｫ邪魔ｼﾏｼﾀ~!
ﾋﾟｭｯ!

**１３２人目の素数さん** · 2020/06/21(日) 17:27:00.76

>>134
いや、アダチ、お前がまともじゃない（ｹﾞﾗｹﾞﾗ

お前はすでにクソ壺につかってる（ｷﾞｬﾊﾊﾊﾊﾊﾊ

**１３２人目の素数さん** · 2020/06/21(日) 17:53:16.08

>>132
>ちなみに（をひ）はサル石の常套句だから、ID:hoayWjrEはサル石（笑
>乃木坂とかベビーメタルのことを書いていればサル石だと分る（笑
>で、こいつはもう60歳近いおっさんなのである（ｹﾞﾗｹﾞﾗ
インチキ本を売ろうとするペテン師は還暦過ぎのおっさんだけどなｗ

**１３２人目の素数さん** · 2020/06/21(日) 17:55:58.40

>ただ正直いって、アダチは数学に踏み込んでこないから面白くない
大風呂敷広げといて都合が悪くなると逃亡するのが安達商法ｗ

**１３２人目の素数さん** · 2020/06/21(日) 18:11:01.79

>>138
ああ、でもアダチは数学知らないし知る気もないから
風呂敷の大きさも大したことない

セタは数学分らんくせに情報だけはウマに食わせるほど入手してるから
バカでかい大風呂敷広げる

そして、穴も甚だバカでかいｗ

∈と⊂の違いも判らんとか信じられないｗｗｗ

**哀れな素人** · 2020/06/21(日) 20:01:01.12

依然としておサルが発狂（笑

>>135
いや、サル石は60歳近い（笑
なぜなら大学を出て30年働いたと書いていた（笑
その時点ですでに52歳（笑
そして少なくとも、もう5年間くらいは毎日働かず2chに投稿している（笑
だから57歳くらいにはなっている（笑

**１３２人目の素数さん** · 2020/06/21(日) 20:16:54.12

アラカンでもアラセブでも
アラ１００でも。。。

プリティは永久不滅です。。。

　　　非可算無限
　　💗可愛ｅ…💗

ﾃﾞｽ…

**哀れな素人** · 2020/06/21(日) 21:32:32.29

サル石が容姿プリティかどうかは会って確かめてみればいい（笑

一つだけ確かなのは、サル石はギフテッドではなく、
その真逆の、偏差値40の日大卒のおバカだということだ（笑

知的にアホであるだけでなく精神的にも幼稚で、
おまけに若い頃は精神病だったというキチガイの気がある男だ（笑
お前はその異常性をギフテッドだと勘違いしているのである（笑

そんなに好きならデートを申し込めばいいではないか（笑
どちらも東京在住なのだから、会おうと思えばすぐに会える（笑

**１３２人目の素数さん** · 2020/06/21(日) 22:28:55.01

|*“)…ｴﾓｯﾋﾟは現在東京住みじゃないんです…

ｺｿｯ
(あと、ﾀﾞｲｴｯﾄ、もうちょっと頑張って…元のｻｲｽﾞに戻れないと…まえは38~41kgくらいだったんです…
…ﾁﾋﾞだからですけど…
155cmくらい。)

※ずっと毎日、安達様が「サル石」と呼んでらしたのは…
め~様じゃなくって…
(ｴﾓｯﾋﾟ毎日め~様のレスチェックしちゃってたんです…
だいたい１投目から
✨💡✨ﾋﾟﾝｯ!ってきます…)

安達様、いつもＩＤ違う方を「サル石」って間違えてらしたから、め~様のこと憎らしくなっちゃったのかな…？って…
悲しぃ…(;;)
ちゃんとお伝えしておけば良かった…って…
でもｴﾓｯﾋﾟが書き込むと…
ｽﾙﾙｪが壊れちゃ～ぅぅ!
…だから…躊躇しちゃって…
ずっと安達様が迷ってらっしゃった時もお伝え出来なかったんです…)

安達さまが「サル石」って間違えてらしたのは、たぶん…
そっくりさんの🌸なりぷっ様🌺や他の男性の方だな…って思って拝見してました…

(ずっとお伝えしてなくて
ごめんなさぃ…)

め~様のこと、他の人と間違っちゃってた分は、嫌いにならないでください…

またｽﾙﾙｪを壊しちゃうぅｩｯ!
ｺﾞﾒﾝﾅｻ~ｨ!
もぅ書き込めな~ぃ!

※ｴﾓｯﾋﾟの名前を書き込むと
ｴﾓﾔﾝが召喚されてしまいます。
ご注意ください。

(では、お邪魔致しました…　)
　(　め~さま、みなさま　)
　　(スレ壊しちゃって…)
　　(ｺﾞﾒﾝﾅｻｨでした)
　　　○
　　。
|゜

**哀れな素人** · 2020/06/21(日) 22:40:36.72

155cmくらいで38~41kgくらいならチビでもないし、
ダイエットする必要もないと思うが（笑

お前がなりぷっ様と思っているのは、たぶんサル石である（笑
サル石は少なくとも二つのTDを使うし、なりすまし投稿もする（笑

**１３２人目の素数さん** · 2020/06/22(月) 05:18:21.34

https://rio2016.5ch.net/test/read.cgi/math/1592578498/192-193
つまらん文章は翻訳するのに
肝心な文章は引用すらしない
セタは正真正銘の落ちこぼれｗ

https://math.stackexchange.com/questions/60590/category-theoretic-limit-related-to-topological-limit/62800#62800
2 Answers

Let (X,O) be a topological space, F(X) the poset of filters on X with respect to inclusions, considered as a (small, thin) category in the usual way. Given x∈X and F∈F(X) let UX(x) denote the neighbourhood filter of x in (X,O) and Fx,F(X) the full subcategory of F(X) generated by {G∈F(X):F∪UX(x)⊆G}, let E:Fx,F↪F(X) be the obvious (embedding) diagram, Δ the usual diagonal functor and λ:Δ(F)→E the natural transformation where λ(G):F↪G is the inclusion for each G∈Fx,F. It is not hard to see that F tends to x in (X,O) iff λ is a limit of E. Kind regards - Stephan F. Kroneck.

**１３２人目の素数さん** · 2020/06/22(月) 05:25:48.67

>>145
(X,O)を位相空間、F(X)を包含に関するX上のフィルタの集合とし、
通常の方法で(小さい、薄い)カテゴリとして考えてみましょう。
x∈XとF∈F(X)が与えられているとすると、
UX(x)は(X,O)におけるxの近傍フィルタを表し、
Fx,F(X)は{G∈F(X):F∪UX(x)⊆G}によって生成される
F(X)の完全な部分カテゴリを表し、
E:Fx,FF(X)は自明な(埋め込み)ダイアグラムであり、
Δは通常の対角ファンクタであり、λ:Δ(F)→Eは自然変換であり、
ここでλ(G):FGは各G∈Fx,Fに対する包含である。
λがEの極限であれば、Fが(X,O)のxに向かうことは難しくありません。

**１３２人目の素数さん** · 2020/06/22(月) 10:06:04.24

>>128
これは…？
破綻してませんか…？

>>144
たぶん(め~様と)違う方のケースでも「サル石」って仰ってらしたかな？って…

※ｴﾓｯﾋﾟがアラフォー体重だったのはちょっとまえで、今太っちゃって…第１子は太りやすいそうなんです…゜。ﾟ(ﾉд)゜。
41kgくらいには戻さないと…
お見せ出来ません…。ﾟ(д\)ﾟ。゜
でも痩せてると、割とご好評頂けてるみたいでした…

…でもﾀﾞｲｴｯﾄ成功が遅れると、また１つ、歳をとってしまうんですね…
…(´<_`)…ﾌｯ…(暗い笑い)

～～～～～～～～～～～
(…お早うございます。め~様…

またぉｽﾙﾙｪを壊しちゃって…ｺﾞﾒﾝﾅｻｨ…
　　　　　|…ｼﾞｰｯ…(見ﾃｲﾙｿﾞ)
ｴﾓﾔﾝめー様|≡/◎◎\ｽﾄｰｶｰ★を続けてて不思議に思ったんですけど…

ルーツってそんなに気になりますか？…)

**１３２人目の素数さん** · 2020/06/22(月) 10:27:31.01

追伸
定年退職された方達が、お住まいの町の歴史やご自分のルーツ探しや、自分史出版や蕎麦打ちやお茶碗焼いたり始めるのって、パターンのような…

時間や体力や資金をかけ過ぎないで済む趣味がライフワークの１つに出来ると、楽しそうですよね

好奇心旺盛な方が時間にゆとりがおありだと、趣味が多くつくれそうで羨ましい…

楽しい時間がいっぱいつくれると良いですね♪

**１３２人目の素数さん** · 2020/06/22(月) 11:24:19.56

なんだゴミスレか

**哀れな素人** · 2020/06/22(月) 11:26:54.19

女は、少しくらいふっくらしている方が、性的魅力があるのである（笑
痩せぎすな女には何の魅力もない（笑

ボードレール曰く「痩せた女ほど卑猥なものはない」

サル石がルーツを気にしているのは在日か同和だからだろう（笑

こんなスレ、潰れたってかまわないからどんどん書けばいい（笑
「εは任意だからどんな巨大な数でもいい」と唱えている池沼のスレだから（笑

**哀れな素人** · 2020/06/22(月) 11:34:39.20

ちなみにボードレールは本当はボドレールと発音するらしい。

ま、どーでもいい話だが（笑

**１３２人目の素数さん** · 2020/06/22(月) 17:20:03.20

>>147
おかしいと思うのもわからなくはないが、>>128は正しい

**１３２人目の素数さん** · 2020/06/22(月) 17:22:43.97

>>150
悪いが、朝鮮人でも穢多でもない

**１３２人目の素数さん** · 2020/06/22(月) 20:02:30.39

>>152
異なる関数の極限が一致するのは、ままあることだな

**１３２人目の素数さん** · 2020/06/22(月) 20:13:44.51

これはもしや大輝くんの個スレ！？

粋蕎 ◆C2UdlLHDRI · 2020/06/23(火) 02:33:00.04

いや、成年幼稚園児山本大輝坊隔離スレではなく老年幼稚園児安達弘志翁隔離スレじゃ

**１３２人目の素数さん** · 2020/06/23(火) 08:10:09.83

>>154
・・・だな

(1+a_1/n)…(1+a_m/n)
=1+(a_1+…+a_m)/n+…

となるが、

lim(n→∞)((1+a_1/n)…(1+a_m/n))^n

を考えた場合、分母がn^2以下の項は無視できて

lim(n→∞)(1+(a_1+…+a_m)/n)^n

と等しくなるのが、このトリックの面白い点

**１３２人目の素数さん** · 2020/06/23(火) 10:58:08.70

セタ君は、以下の証明ができないので、落ちこぼれ決定ｗ

「εδによる関数fの連続性の定義」と
「fがxで連続⇔xに収束する任意の数列x_nについて、f(x_n)はf(x)に収束」が
同値であること

**１３２人目の素数さん** · 2020/06/23(火) 11:09:16.22

https://rio2016.5ch.net/test/read.cgi/math/1592119272/147
>おバカの話を楽しんで見ていますよ

セタは極限について
「εδなんてもう古い　時代はフィルタだ！圏論だ！」
とかほざくくせに、肝心のフィルタによる連続性の定義がεδではなく、
「fがxで連続⇔xに収束する任意の数列x_nについて、f(x_n)はf(x)に収束」
の抽象化であることも分からず、上記とεδによる連続性の定義の
同値性も証明できない

バカは◆yH25M02vWFhP セタ、貴様だろうｗ

＃セタは「純粋・応用数学（含むガロア理論）2」から出たがらないみたいだが、
＃そもそもガロア理論とタイトルにつけたスレで収束の話をするのがスレ違い
＃こんな指摘をされたくなければそもそもガロア理論と書かなければいいｗ
＃なぜがガロアを狂信して名前をつけたがる時点で●違い全開のイタイヤツｗ

**１３２人目の素数さん** · 2020/06/23(火) 11:30:49.53

https://rio2016.5ch.net/test/read.cgi/math/1592578498/53
>系 1.45. 写像 f : R → R が連続であるための必要十分条件は, 次が成り立つこと:
>∀U : 開集合, f^(-1) (U) : 開集合.

https://rio2016.5ch.net/test/read.cgi/math/1592578498/71
>問題 1.41. 次を示せ:
>(1) f : R → R : x → 2x は x = 0 で連続,

>逆像を考える
>開区間y ：＝（-1,+1）の逆像は
>　↓
>ｘ　＝（-1/2,+1/2）
>であるから”逆像が開集合”成立！
>QED

これは酷い、酷過ぎるｗｗｗｗｗｗｗ（－－；

Ｏ大学ではこんな嘘証明かく馬鹿に単位やるんか

こんなの恥だぞ　マジで

**１３２人目の素数さん** · 2020/06/23(火) 12:30:11.35

>>157
どこにもトリックやマジックなところはない

**１３２人目の素数さん** · 2020/06/23(火) 15:58:52.47

悲しいときー

誰も聞いてないのに勝手に自分に出題して自分で答えて間違ってしまった人を見たときー

**１３２人目の素数さん** · 2020/06/24(水) 18:59:18.97

https://rio2016.5ch.net/test/read.cgi/math/1592119272/154-155

・セタは朝鮮学校の連中に＊＊掘られて以来、
　朝鮮と聞くと、あのときの快感を思い出して
　カラダがうずくｗ

・セタはεδが理解できずノンスタにすがる数学の負け犬ｗ

・セタは∀ｘを「すべてのｘ」ではなく
　「任意に選んだ１つのｘ」と誤解する
　正真正銘のバカｗ

**１３２人目の素数さん** · 2020/06/24(水) 19:01:39.51

＞ざっと見ておくと、目が慣れるでしょうね

バカは目で見れば全てわかると思いこむ

🐕🐈かｗｗｗｗｗｗｗ

**１３２人目の素数さん** · 2020/06/24(水) 19:06:26.80

数学書「バルス！」
セタ　「目が、目がぁぁぁぁぁ」　

**１３２人目の素数さん** · 2020/06/24(水) 19:07:57.34

セタ　「見ろぉ！数学者がゴミのようだ！！」

ゴミは落ちこぼれの貴様だ、セタｗ

**１３２人目の素数さん** · 2020/06/24(水) 19:16:31.92

セタ「私の名はセタ・パロ・ウル・マテマ。
　　　君の一族と私の一族は元々一つの王家だったのだ」

リュシータ・トゥエル・ウル・マテマ役は
久保史緒里さんでお願いしますｗ

粋蕎 ◆C2UdlLHDRI · 2020/06/24(水) 22:37:06.44

マラいじりパピヤスは短文連投すんのも長文一投も同じじゃろうに何で悪ノリ連投するのか

**１３２人目の素数さん** · 2020/06/25(木) 06:50:45.12

似非広島ヤクザのヘタレは黙れ

**１３２人目の素数さん** · 2020/06/25(木) 08:24:53.78

https://rio2016.5ch.net/test/read.cgi/math/1592578498/300-301

セタは∀xP(x)「任意のｘについてＰが成り立つ」の証明法も分からん🐎🦌ｗ

あるｘを選んできてＰが成り立てば、証明できたと思い込んでるｗｗｗ

そんなわけないだろ、以下を読めｗ

https://rio2016.5ch.net/test/read.cgi/math/1592578498/305

∀xP(x)　　「任意のｘについてＰが成り立つ」とは
￢∃x￢P(x)「Ｐが成り立たないｘは存在しない」という意味だ

覚えとけ、この🐙！

**１３２人目の素数さん** · 2020/06/25(木) 10:24:19.08

実に惜しい
A⊆Bについて

∀x(x∈A→x∈B)

の対偶

￢∃x(x￢∈B→x￢∈A)

を示せばよい
と一見言えそうだが反例がある

U:={1,2,3,4,5}(全体集合)
A:={1,2,3}
B:={1,2,3,4}

とする
このときたとえば

5￢∈B→5￢∈A

となる5は存在する

と言えてしまいA⊆Bが不成立になる

他方部分集合の完全な証明は
タブロー法によって与えられるが
これも妥協の産物

A,B |=　A→B

すなわち

A∧B→(A→B)

までしか示すことはできない

**１３２人目の素数さん** · 2020/06/25(木) 10:41:24.09

>>171
＞実に惜しい

それ、君のほうｗ

＞∀x(x∈A→x∈B)
＞の対偶
＞￢∃x(x￢∈B→x￢∈A)

誤り

まず、対偶は∀x(￢x∈B→￢x∈A)

ついでド・モルガンの法則を適用するならば
￢∃x￢(x∈A→x∈B)
したがって
￢∃x(x∈A＆￢x∈B)
が正しい

**１３２人目の素数さん** · 2020/06/25(木) 14:37:45.14

自分で考えた珍説の披露がしたくて脈絡なく人に絡んで公開オナニーを始めるタブロー

粋蕎 ◆C2UdlLHDRI · 2020/06/25(木) 19:19:10.57

…おやおや？

発見タブローによる証明計画 - 東京都立産業技術高等専門学校 ...
https://metro-cit.repo.nii.ac.jp/?action=repository_action_common_download&;item_id=145&item_no=1&attribute_id=18&file_no=1

タブロー法 - 株式会社アイヴィス
http://www.ivis.co.jp/text/20121114.pdf#search=%27%E6%95%B0%E5%AD%A6%E3%81%AB%E6%96%BC%E3%81%91%E3%82%8B%E3%82%BF%E3%83%96%E3%83%AD%E3%83%BC%E6%B3%95%27

タブロー法の完全性
http://www.st.nanzan-u.ac.jp/info/gr-thesis/2017/sasakik-ss/pdf/14ss095.pdf#search=%27%E6%95%B0%E5%AD%A6%E3%81%AB%E6%96%BC%E3%81%91%E3%82%8B%E3%82%BF%E3%83%96%E3%83%AD%E3%83%BC%E6%B3%95%27

タブローによる妥当性判定と濾過法
https://www.yamanami.tokyo/pdf/jsp/2/1/2_1_02takagi.pdf#search=%27%E6%95%B0%E5%AD%A6%E3%81%AB%E6%96%BC%E3%81%91%E3%82%8B%E3%82%BF%E3%83%96%E3%83%AD%E3%83%BC%E6%B3%95%27

此れ、ε-δ論法の意味と指標の説得に必要か？

**１３２人目の素数さん** · 2020/06/25(木) 20:51:44.24

>>174
似非広島人がはじめて人の役にたつことした！（驚）

おまえ、セタに勝ったぞ！喜べ！

**１３２人目の素数さん** · 2020/06/26(金) 01:28:53.64

タブローくん、スレちだよ、自分でスレ立てなよ
スレタイは「タブローくん隔離スレ」でどう？

**１３２人目の素数さん** · 2020/06/26(金) 05:33:07.81

タブローで確認したところ
∀xFx→∀xGxの対偶は

(∀x)￢Gx→(∀x)￢Fx

であることがわかった
今まで存在命題で書いていたことを訂正し
ごめんなさい

∀x(Gx∧￢Fx)と∀x(Fx∧￢Gx)が∀xFx→∀xGxと同値ではないという
結果が出てしまったことについてはもう一度考えてみる

**１３２人目の素数さん** · 2020/06/26(金) 05:42:41.27

>>177
間違えた
∀x(￢Fx∨Gx)

**１３２人目の素数さん** · 2020/06/26(金) 05:45:26.16

>∀xFx→∀xGxの対偶は
君が論じたいのは∀x(Fx→Gx)についてじゃなくて？
違うなら∀xFx→∀xGxの例を書いてみて

**１３２人目の素数さん** · 2020/06/26(金) 05:51:37.03

∀x(￢Fx∨Gx)と∀xFx→xGxの同値に問題はなかった
しかしなぜこの対偶が
∀x(￢Gx∧Fx)とならないのかを調べる

**１３２人目の素数さん** · 2020/06/26(金) 08:03:29.66

会話噛み合ってないよ

**１３２人目の素数さん** · 2020/06/26(金) 12:29:55.20

(…東京上空に🌈環水平アーク🌈出現中だそうです。。。

皆様ご覧になれましたでしょうか？…スレ違い失礼致しました…)

**１３２人目の素数さん** · 2020/06/26(金) 17:05:21.43

>>177-178
なんか混乱してるな
まあ　おちつけ

まず

　∀x(￢Fx∨Gx)
⇔∀x(Fx⇒Gx)
⇔∀x(￢Gx⇒￢Fx）　（対偶　Contraposition）

だぞ

つまり、⇒を∨の式に変換するとき
⇒について対偶の関係にある式は、
∨では同じ式に変換される

**１３２人目の素数さん** · 2020/06/26(金) 17:06:06.75

>>180
>しかしなぜ(∀x(￢Fx∨Gx)の)対偶が
>∀x(￢Gx∧Fx)とならないのか

>>183のつづきでいえば

∀x(￢Gx∧Fx)　は
∀x(￢Fx∨Gx)　の
逆（そして裏）の式になる

　∀x(￢Gx∧Fx)
⇔∀x(Gx⇒Fx)　（逆　Converse）
⇔∀x(￢Fx⇒￢Gx）　（裏　Inverse）

逆と裏が、互いに対偶の関係にある
のはいうまでもない

**１３２人目の素数さん** · 2020/06/26(金) 17:07:34.56

>>183-184
さらにいうと
∀x(￢Fx∨Gx)の否定は∃x(Fx∧￢Gx）
∀x(￢Gx∧Fx)の否定は∃x(Gx∧￢Fx）

**１３２人目の素数さん** · 2020/06/26(金) 17:31:46.15

>>184-185
誤　∀x(￢Gx∧Fx)
正　∀x(￢Gx∨Fx)

>>183-184
さらにいうと
∀x(￢Fx∨Gx)の否定は∃x(Fx∧￢Gx）
∀x(￢Gx∨Fx)の否定は∃x(Gx∧￢Fx）

**１３２人目の素数さん** · 2020/06/27(土) 11:50:47.25

あたりまえの話

∀ε１＞０．∃ε２＞０．ε１＞ε２

つまり、以下は偽

∃ε１＞０．∀ε２＞０．ε１＜＝ε２

**１３２人目の素数さん** · 2020/06/27(土) 16:34:51.23

**１３２人目の素数さん** · 2020/06/27(土) 17:17:08.16

>>188
冗漫な駄文

**１３２人目の素数さん** · 2020/06/27(土) 19:00:08.44

>>189
数学科の人間には冗漫

し・か・し、数学科以外の人間はすべてが新鮮な驚き

なぜなら彼らは今までまったく論理的に考えたことがないからだｗ

**１３２人目の素数さん** · 2020/06/27(土) 21:11:03.12

数学科以外の人間が読んでも冗漫

**１３２人目の素数さん** · 2020/06/28(日) 07:12:14.78

「人間」ならね

しかし、数学科以外は「人間」じゃないからｗ

アダチやセタがいい例　彼らは実は特別ではない

あれが数学科以外のフツウの人なのだ　ただ白状しないだけ

**１３２人目の素数さん** · 2020/06/28(日) 07:22:21.52

>>192
自分の無能を認めて引き下がった方がいい

**１３２人目の素数さん** · 2020/06/28(日) 08:03:28.67

アダチやセタがね

オレは「毛深い」動物しか調教しないｗ

「毛のない」人間は勝手に学ぶ

オレが教えることなどないｗ

**１３２人目の素数さん** · 2020/06/28(日) 15:30:06.02

Ｆ９が全板荒らしてる～!

**１３２人目の素数さん** · 2020/06/28(日) 15:30:32.69

Ｆ９ー！

**１３２人目の素数さん** · 2020/06/28(日) 16:01:01.06

セタ君が、またε-δすら理解できない自分にいら立って

「超準解析がボクに救いの手を差し伸べてくれる！きっと！」

と吠えまくってます

毛深い野獣には困ったもんです？ｗ

粋蕎 ◆C2UdlLHDRI · 2020/06/28(日) 16:41:40.19

確かにイジリー一石の言う通り
超準解析は触らして貰う分には良いが確り理解して使うには一山越える必要が有るし､
況してや超準解析の構築まで理解するにゃ山作りになるけぇのう｡
瀬田氏の様に摘まみ食いしてちゃ理解できん｡

**１３２人目の素数さん** · 2020/06/28(日) 16:47:00.28

セタってガロアスレのコピペの人？
なんで名前判明したん？

**１３２人目の素数さん** · 2020/06/28(日) 17:31:42.98

名前かどうかわからんが
以前のスレでうっかりリンクと勘違いして
自分のPCのディレクトリを書いたらしい

そこに”SETA”とあったのでセタと呼ばれてる
どんな字を書くかは知らん

瀬田かもしらんし勢多かも知らん