(R^N)^n&{1,…,n}={(s1,…,sn,k)::s1,…,sn∈R^N,1≦k≦n}
で
A={(s1,…,sn,k)::max{d(s1),…,^d(sk),…,d(sn)}≧d(sk)}
(^d(sk)は除外の意)
はやはり非可測か
#{k::max{d(s1),…,d(sn)}=d(sk)}≧2
の場合は
#{k::max{d(s1),…,^d(sk),…,d(sn)}≧d(sk)}=n
よって
P({k::max{d(s1),…,^d(sk),…,d(sn)}≧d(sk)})=1
で
#{k::max{d(s1),…,d(sn)}=d(sk)}=1
の場合は
#{k::max{d(s1),…,^d(sk),…,d(sn)}≧d(sk)}=n-1
よって
P({k::max{d(s1),…,^d(sk),…,d(sn)}≧d(sk)})=1-1/n
で
(R^N)^n上定数で無いからな
やっぱ
この線での箱入り無数目の拡張は無理かな