スレタイ箱入り無数目を語る部屋20

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋20 (1002ﾚｽ)
上下前次 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

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

あと 965 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.015s