[過去ﾛｸﾞ] Inter-universal geometryとABC予想(シン応援スレ) 90 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
855(4): 05/04(月)11:46 ID:57ou4nS7(7/10) AAS
>>844
>結構言うけどね「固定する」
偏微分と同じだろ？（下記）
多変数関数 f(x,y)の偏微分 ∂f(x,y)/∂x
ここに、x,yの同時の変化を考えるのでは無く
一旦 yを定数とみなし、xで微分する
が、xの変数としての性質を失うわけではない！
同様に、箱入り無数目で 「固定する」と宣う場合
では、（偏微分の場合同様）他の何を変数だとしているのか？
そして、（偏微分の場合同様）結局のところ 最終結論では
省12
857: 05/04(月)11:47 ID:bPlRV+ju(10/22) AAS
>>855
＞箱入り無数目で 「固定する」と宣う場合では、
＞（偏微分の場合同様）他の何を変数だとしているのか？
回答者が選択する列
何度もそういってるが、耳に一切入らないかい？
861: 05/04(月)12:25 ID:54CgotWy(9/14) AAS
>>855
偏微分とか限定せずとも固定は数学全般で普通に使われている。
なぜか？
「任意の論理式φについて、φ(c)が証明可能なら定数cを変数xに置き換えたφ(x)も証明可能」という数理論理学の重要な定理があるからだよ。
つまりφ(x)（議論領域の任意の元についてφが成り立つ）を証明したければ適当な定数cについてφ(c)を証明すればよい。但しcとxには厳格な規定がありこれを逸脱すると反例を作れてしまうから要注意。
外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
Proposition 40
Γ|-φ(c) ⇒ Γ|-φ(x)
862: 05/04(月)12:43 ID:54CgotWy(10/14) AAS
>>855
>箱入り無数目で 「固定する」と宣う場合
>では、（偏微分の場合同様）他の何を変数だとしているのか？
回答者が選択する列のインデックス。つまり標本空間は{1,2,・・・,100}。
10年以上前からずーーーーーーーーーっとそう言ってるのにサルがヒト語を解さないだけ。
>そして、（偏微分の場合同様）結局のところ 最終結論では
>途中の過程で「固定する」としても
>最後では 変数としての性質を失うわけではないってことでしょ？ｗｗｗ
箱入り無数目で箱の中身は任意の実数だけど？ 偏微分で固定する変数が任意の値を取れるのと同じ。
863(2): 05/04(月)12:51 ID:57ou4nS7(8/10) AAS
>>855 補足
(引用開始)
>結構言うけどね「固定する」
偏微分と同じだろ？（下記）
多変数関数 f(x,y)の偏微分 ∂f(x,y)/∂x
ここに、x,yの同時の変化を考えるのでは無く
一旦 yを定数とみなし、xで微分する
が、xの変数としての性質を失うわけではない！
(引用終り)
個人感想の「固定する」を数学とするには
省23
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.291s*