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

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

992: １３２人目の素数さん [] 2024/07/07(日) 17:15:42.54 ID:U9jAoUCX

>>986
（引用開始）
定理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)が成立つ。
(引用終り)

ありがとう
１）上記の書き方は、証明の素人丸出しじゃね？
　つまり
『D1,...,D100とjを以下のように定義する。
・Di:=max({d(s1),...,d(s100)}-{d(si)})
・{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}から元を任意にひとつ選択しjとする。』
　は、証明内ではなく 命題の冒頭に書くべき

２）ちゃんと書くと
『定理4：箱入り無数目
D1,...,D100と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)
が成り立つ
証明
i≠j⇒Di≧d(si)であるから、i≠j⇒si(Di)=f(si)(Di)が成立つ。■』

３）「{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}から元を任意にひとつ選択しjとする」は、数学的におかしくない？
　”・・から元を任意にひとつ選択しjとする”と言っている”・・”部分に、「j∈{1,...,100}」と出てくるよ

証明の素人丸出しじゃね？ｗ ；ｐ）

http://rio2016.5ch.net/test/read.cgi/math/1717503315/992

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

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

ぬこの手ぬこTOP 1.777s*