23/07/29 09:19:04.88 sfQsqQVE.net
>>810
>ちなみにnのφによる逆像って {x∈R^N|φ(x)=n} のことなんだけど分かって言ってる？ 分かって言ってないだろ
まことに、重箱の隅で悪いが（でも数学では大事）
決定番号n は、出題列 x∈R^N だけでは決まらないよ
(ｽﾚﾘﾝｸ(math板:30番) )
上記「箱入り無数目」と記号を合わせると
xの同値類の代表をrxとして(「箱入り無数目」ではrだが、rxとする)
φ：(x,rx)→n | n∈N
だよね？
だから、φ^-1：n→(x,rx)
であり、決定番号nの逆像は(x,rx)で
xそのものではない
ここは、結構重要ポイントかも
xの同値類を、下記にならって
[x]={x' ∈ R^N ｜ x' ～ x}
と書く
rx ∈[x]
決定番号nを与えるrxは
rx ∈R^n-1
じゃない？
ここは、結構重要ポイントかも
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
同値類
元 a の同値類は [a] と書き，a と ∼ によって関係づけられる元全体の集合
[a]={x ∈ X ｜ a ～ x}
として定義される．同値関係 R を明示して [a]R とも書かれる．これは a の R-同値類といわれる