[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋20 (1002ﾚｽ)

スレタイ 箱入り無数目を語る部屋20 http://rio2016.5ch.net/test/read.cgi/math/1720219614/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

37: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2024/07/07(日) 23:53:08.16 ID:U9jAoUCX >>27 >>１）定義は命題の冒頭に書かないと、命題における D1,...,D100とjが定義なしだ。これはまずい！ >条件を満たすD1,...,D100とjが存在することが命題だからなにもまずくない でましたｗ 思考が”Elliptic geometry”ｗ 詭弁のデパートだねｗｗｗ いいかな>>24より （引用開始） 定理4：箱入り無数目 ∀s1,...,s100∈R^N.∃D1,...,D100∈N,j∈{1,...,100}.∀i∈{1,...,100}.i≠j⇒si(Di)=f(si)(Di) 証明 D1,...,D100とjを以下のように定義する。 ・Di:=max({d(s1),...,d(s100)}-{d(si)}) ・{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}から元を任意にひとつ選択しjとする。 このとき、i≠j⇒Di≧d(si)であるから、i≠j⇒si(Di)=f(si)(Di)が成立つ。 (引用終り) いまこれを下記のようにわかり易く書き直すと 定理4：箱入り無数目 ∀s1,...,s100∈R^N.∃D1,...,D100∈N,j∈{1,...,100}.∀i∈{1,...,100}.i≠j⇒si(Di)=f(si)(Di) 証明 D1,...,D100とjを以下のように定義する。 ・Diの定義 ・jの定義 このとき、i≠j⇒Di≧d(si)であるから、i≠j⇒si(Di)=f(si)(Di)が成立つ。 但し Diの定義：Di:=max({d(s1),...,d(s100)}-{d(si)}) jの定義：{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}から元を任意にひとつ選択しjとする (引用終り) もし、この証明中のDiの定義と、jの定義が、命題の定義と異なっていたらどうか？ それって、命題の証明になってないぞ！ｗ　；ｐ） よって、証明中のDiの定義、jの定義と、命題のそれらの定義は一致しなければならない かつ、命題中には Diの定義、jの定義が全く記されいないよね これも まずいぞ 命題と証明の書き方が、ド素人ですなｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1720219614/37

39: １３２人目の素数さん [] 2024/07/08(月) 00:44:31.67 ID:Bgp/CcRw >>37 >もし、この証明中のDiの定義と、jの定義が、命題の定義と異なっていたらどうか？ 事実に反するifは無意味 http://rio2016.5ch.net/test/read.cgi/math/1720219614/39

40: １３２人目の素数さん [] 2024/07/08(月) 00:57:20.49 ID:Bgp/CcRw >>37 >よって、証明中のDiの定義、jの定義と、命題のそれらの定義は一致しなければならない 定義の一致？何バカなこと言ってんの？ 証明中の ・Di:=max({d(s1),...,d(s100)}-{d(si)}) ・{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}から元を任意にひとつ選択しjとする。 との定義により確かに ∀s1,...,s100∈R^N.∃D1,...,D100∈N,j∈{1,...,100}.∀i∈{1,...,100}.i≠j⇒si(Di)=f(si)(Di) が示されているではないか 頭おかしいの？ http://rio2016.5ch.net/test/read.cgi/math/1720219614/40

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.179s*