[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
24(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/07/07(日)20:09 ID:U9jAoUCX(1/2) AAS
前スレより再録
2chｽﾚ:math
>>986
（引用開始）
定理4：箱入り無数目
∀s1,...,s100∈R^N.∃D1,...,D100∈N,j∈{1,...,100}.∀i∈{1,...,100}.i≠j⇒si(Di)=f(si)(Di)
証明
省38
27(3): 2024/07/07(日)21:14 ID:av3+rUTI(2/7) AAS
>>24
>１）定義は命題の冒頭に書かないと、命題における D1,...,D100とjが定義なしだ。これはまずい！
条件を満たすD1,...,D100とjが存在することが命題だからなにもまずくない
>２）「{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}から元を任意にひとつ選択しjとする」において
> この”元”とは何か？
集合{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}の要素
> ”任意にひとつ選択しjとする”というけれど、すでに”{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}”として”ｊ”が使われている
省2
37(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/07/07(日)23:53 ID:U9jAoUCX(2/2) AAS
>>27
>>１）定義は命題の冒頭に書かないと、命題における D1,...,D100とjが定義なしだ。これはまずい！
>条件を満たすD1,...,D100とjが存在することが命題だからなにもまずくない
でましたｗ
思考が”Elliptic geometry”ｗ
詭弁のデパートだねｗｗｗ
いいかな>>24より
省27
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s