证明。。
如果<我nline-formula>
C米米l:mi>
新泽西米米l:mtext>
(米米l:mo>
一个米米l:mi>
,米米l:mo>
X米米l:mi>
)米米l:mo>
=米米l:mo>
2米米l:mn>
,然后(
3.3)是微不足道的。
假设<我nline-formula>
C米米l:mi>
新泽西米米l:mtext>
(米米l:mo>
一个米米l:mi>
,米米l:mo>
X米米l:mi>
)米米l:mo>
<米米l:mo>
2米米l:mn>
。然后<我nline-formula>
X米米l:mi>
是均匀nonsquare因此反身(见[
3])。让<我nline-formula>
{米米l:mo>
x米米l:mi>
n米米l:mi>
}米米l:mo>
是一种弱空序列<我nline-formula>
年代米米l:mi>
X米米l:mi>
和假设<我nline-formula>
d米米l:mi>
=米米l:mo>
lim米米l:mi>
n米米l:mi>
,米米l:mo>
米米米l:mi>
,米米l:mo>
n米米l:mi>
≠米米l:mo>
米米米l:mi>
∥米米l:mo>
x米米l:mi>
n米米l:mi>
−米米l:mo>
x米米l:mi>
米米米l:mi>
∥米米l:mo>
存在,让<我nline-formula>
x米米l:mi>
N米米l:mi>
,米米l:mo>
x米米l:mi>
米米米l:mi>
,米米l:mo>
x米米l:mi>
N米米l:mi>
*米米l:mo>
,米米l:mo>
x米米l:mi>
米米米l:mi>
*米米l:mo>
被选为定理
2.1。
现在让我们把<我nline-formula>
x米米l:mi>
=米米l:mo>
(米米l:mo>
x米米l:mi>
N米米l:mi>
−米米l:mo>
x米米l:mi>
米米米l:mi>
)米米l:mo>
/米米l:mo>
(米米l:mo>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
,
y米米l:mi>
=米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
(米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
x米米l:mi>
N米米l:mi>
+米米l:mo>
x米米l:mi>
米米米l:mi>
)米米l:mo>
(米米l:mo>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
,米米l:mo>
z米米l:mi>
=米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
(米米l:mo>
x米米l:mi>
N米米l:mi>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
x米米l:mi>
米米米l:mi>
)米米l:mo>
(米米l:mo>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
(简称<我nline-formula>
μ米米l:mi>
=米米l:mo>
μ米米l:mi>
(米米l:mo>
X米米l:mi>
)米米l:mo>
)。很容易检查<我nline-formula>
∥米米l:mo>
y米米l:mi>
−米米l:mo>
z米米l:mi>
∥米米l:mo>
≤米米l:mo>
一个米米l:mi>
∥米米l:mo>
x米米l:mi>
∥米米l:mo>
,米米l:mo>
x米米l:mi>
∈米米l:mo>
B米米l:mi>
X米米l:mi>
:
∥米米l:mo>
y米米l:mi>
∥米米l:mo>
≤米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
,米米l:mo>
∥米米l:mo>
z米米l:mi>
∥米米l:mo>
≤米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
,米米l:mo>
而且
(米米l:mo>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
∥米米l:mo>
x米米l:mi>
+米米l:mo>
y米米l:mi>
∥米米l:mo>
=米米l:mo>
∥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
)米米l:mo>
x米米l:mi>
N米米l:mi>
−米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
)米米l:mo>
x米米l:mi>
米米米l:mi>
∥米米l:mo>
≥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
)米米l:mo>
x米米l:mi>
N米米l:mi>
*米米l:mo>
(米米l:mo>
x米米l:mi>
N米米l:mi>
)米米l:mo>
−米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
)米米l:mo>
x米米l:mi>
N米米l:mi>
*米米l:mo>
(米米l:mo>
x米米l:mi>
米米米l:mi>
)米米l:mo>
≥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
)米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
ϵ米米l:mi>
)米米l:mo>
,米米l:mo>
(米米l:mo>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
∥米米l:mo>
x米米l:mi>
−米米l:mo>
z米米l:mi>
∥米米l:mo>
=米米l:mo>
∥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
)米米l:mo>
x米米l:mi>
米米米l:mi>
−米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
)米米l:mo>
x米米l:mi>
N米米l:mi>
∥米米l:mo>
≥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
)米米l:mo>
x米米l:mi>
米米米l:mi>
*米米l:mo>
(米米l:mo>
x米米l:mi>
米米米l:mi>
)米米l:mo>
−米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
)米米l:mo>
x米米l:mi>
米米米l:mi>
*米米l:mo>
(米米l:mo>
x米米l:mi>
N米米l:mi>
)米米l:mo>
≥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
)米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
ϵ米米l:mi>
)米米l:mo>
。米米l:mo>
的定义<我nline-formula>
C米米l:mi>
新泽西米米l:mtext>
(米米l:mo>
一个米米l:mi>
,米米l:mo>
X米米l:mi>
)米米l:mo>
,米米l:mo>
C米米l:mi>
新泽西米米l:mtext>
(米米l:mo>
一个米米l:mi>
,米米l:mo>
X米米l:mi>
)米米l:mo>
≥米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
ϵ米米l:mi>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
(米米l:mo>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
)米米l:mo>
。米米l:mn>
由于序列<我nline-formula>
{米米l:mo>
x米米l:mi>
n米米l:mi>
}米米l:mo>
和<我nline-formula>
ϵ米米l:mi>
是任意的,我们得到了什么
(米米l:mo>
WCS米米l:mtext>
(米米l:mo>
X米米l:mi>
)米米l:mo>
]米米l:mo>
2米米l:mn>
C米米l:mi>
新泽西米米l:mtext>
(米米l:mo>
一个米米l:mi>
,米米l:mo>
X米米l:mi>
)米米l:mo>
≥米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
μ米米l:mi>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
。米米l:mn>
此外,如果我们把<我nline-formula>
x米米l:mi>
=米米l:mo>
(米米l:mo>
x米米l:mi>
N米米l:mi>
−米米l:mo>
x米米l:mi>
米米米l:mi>
)米米l:mo>
/米米l:mo>
(米米l:mo>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
,
y米米l:mi>
=米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
(米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
x米米l:mi>
N米米l:mi>
+米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
一个米米l:mi>
)米米l:mo>
x米米l:mi>
米米米l:mi>
)米米l:mo>
4米米l:mn>
(米米l:mo>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
,米米l:mo>
z米米l:mi>
=米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
(米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
一个米米l:mi>
)米米l:mo>
x米米l:mi>
N米米l:mi>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
x米米l:mi>
米米米l:mi>
)米米l:mo>
4米米l:mn>
(米米l:mo>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
,米米l:mo>
由此可见,<我nline-formula>
x米米l:mi>
∈米米l:mo>
B米米l:mi>
X米米l:mi>
,米米l:mo>
∥米米l:mo>
y米米l:mi>
−米米l:mo>
z米米l:mi>
∥米米l:mo>
≤米米l:mo>
一个米米l:mi>
∥米米l:mo>
x米米l:mi>
∥米米l:mo>
和
∥米米l:mo>
y米米l:mi>
∥米米l:mo>
≤米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
2米米l:mn>
(米米l:mo>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
≤米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
2米米l:mn>
,米米l:mo>
∥米米l:mo>
z米米l:mi>
∥米米l:mo>
≤米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
2米米l:mn>
(米米l:mo>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
≤米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
2米米l:mn>
,米米l:mo>
而且
(米米l:mo>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
∥米米l:mo>
x米米l:mi>
+米米l:mo>
y米米l:mi>
∥米米l:mo>
=米米l:mo>
∥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
4米米l:mn>
)米米l:mo>
x米米l:mi>
N米米l:mi>
−米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
1米米l:mn>
−米米l:mo>
一个米米l:mi>
2米米l:mn>
4米米l:mn>
)米米l:mo>
x米米l:mi>
米米米l:mi>
∥米米l:mo>
≥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
4米米l:mn>
)米米l:mo>
x米米l:mi>
N米米l:mi>
*米米l:mo>
(米米l:mo>
x米米l:mi>
N米米l:mi>
)米米l:mo>
−米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
1米米l:mn>
−米米l:mo>
一个米米l:mi>
2米米l:mn>
4米米l:mn>
)米米l:mo>
x米米l:mi>
N米米l:mi>
*米米l:mo>
(米米l:mo>
x米米l:mi>
米米米l:mi>
)米米l:mo>
≥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
4米米l:mn>
)米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
ϵ米米l:mi>
)米米l:mo>
,米米l:mo>
(米米l:mo>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
∥米米l:mo>
x米米l:mi>
−米米l:mo>
z米米l:mi>
∥米米l:mo>
=米米l:mo>
∥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
4米米l:mn>
)米米l:mo>
x米米l:mi>
米米米l:mi>
−米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
1米米l:mn>
−米米l:mo>
一个米米l:mi>
2米米l:mn>
4米米l:mn>
)米米l:mo>
x米米l:mi>
N米米l:mi>
∥米米l:mo>
≥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
4米米l:mn>
)米米l:mo>
x米米l:mi>
米米米l:mi>
*米米l:mo>
(米米l:mo>
x米米l:mi>
米米米l:mi>
)米米l:mo>
−米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
1米米l:mn>
−米米l:mo>
一个米米l:mi>
2米米l:mn>
4米米l:mn>
)米米l:mo>
x米米l:mi>
米米米l:mi>
*米米l:mo>
(米米l:mo>
x米米l:mi>
N米米l:mi>
)米米l:mo>
≥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
4米米l:mn>
)米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
ϵ米米l:mi>
)米米l:mo>
。米米l:mo>
这一起的定义<我nline-formula>
C米米l:mi>
新泽西米米l:mtext>
(米米l:mo>
一个米米l:mi>
,米米l:mo>
X米米l:mi>
)米米l:mo>
给了,
C米米l:mi>
新泽西米米l:mtext>
(米米l:mo>
一个米米l:mi>
,米米l:mo>
X米米l:mi>
)米米l:mo>
≥米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
)米米l:mo>
2米米l:mn>
4米米l:mn>
)米米l:mo>
(米米l:mo>
1米米l:mn>
−米米l:mo>
ϵ米米l:mi>
d米米l:mi>
+米米l:mo>
ϵ米米l:mi>
)米米l:mo>
2米米l:mn>
。米米l:mn>
由于序列<我nline-formula>
{米米l:mo>
x米米l:mi>
n米米l:mi>
}米米l:mo>
和<我nline-formula>
ϵ米米l:mi>
是任意的,我们得到了什么
(米米l:mo>
WCS米米l:mtext>
(米米l:mo>
X米米l:mi>
)米米l:mo>
]米米l:mo>
2米米l:mn>
C米米l:mi>
新泽西米米l:mtext>
(米米l:mo>
一个米米l:mi>
,米米l:mo>
X米米l:mi>
)米米l:mo>
≥米米l:mo>
1米米l:mn>
+米米l:mo>
(米米l:mo>
1米米l:mn>
+米米l:mo>
一个米米l:mi>
2米米l:mn>
)米米l:mo>
2米米l:mn>
。米米l:mn>
(加起来
3.8)和(
3.13)收益率不平等(
3.3根据需要)。