[過去ログ] スレタイ 箱入り無数目を語る部屋4 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
424: 2022/10/31(月)23:14 ID:V6kL7bYX(44/47) AAS
 z=(z_0,…,z_98)∈Y_99−M に対して、D(z):= max{d(z^{j})|0≦j≦98} と定義する。 
 任意の z∈Y_99−M に対して、(☆)により B_z∈F_{Nw} であるが、一方で 
  
 B_z = { y^{99}∈[0,1]^N|(z,y^{99})∈B } 
  
 = { y^{99}∈[0,1]^N|d(y^{99})≦max{d(z^{j})|0≦j≦98} } 
  
 = { y^{99}∈[0,1]^N|d(y^{99})≦D(z) } = (d≦D(z))  
  
 であるから、結局、(d≦D(z))∈F_{Nw} ということになる。これが任意の z∈Y_99−M で成り立つ。 
 よって、次が言えたことになる。 
  
 (☆☆) ∀z∈Y_99−M s.t. (d≦D(z))∈F_{Nw}. 
上下前次1-新書関写板覧索設栞歴
あと 578 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.014s