1。介绍
让
p米米l:米i>
是一个固定的奇质数。在这篇文章中,
ℤ米米l:米i>
p米米l:米i>
,
ℚ米米l:米i>
p米米l:米i>
,
ℂ米米l:米i>
p米米l:米i>
表示的戒指吗
p米米l:米i>
进理性的整数,领域
p米米l:米i>
进有理数,完成代数关闭
ℚ米米l:米i>
p米米l:米i>
,分别。的
p米米l:米i>
归一化,这样进标准
|米米l:米o>
p米米l:米i>
|米米l:米o>
p米米l:米i>
=米米l:米o>
1米米l:米n><米米l:米o>
/米米l:米o>
p米米l:米i>
。让
ℕ米米l:米i>
是自然数的集合
ℤ米米l:米i>
+米米l:米o>
=米米l:米o>
ℕ米米l:米i>
∪米米l:米o>
{米米l:米o>
0米米l:米n><米米l:米o stretchy="false">
}米米l:米o>
。
让
UD米米l:米text><米米l:mo stretchy="false">
(米米l:米o>
ℤ米米l:米i>
p米米l:米i>
)米米l:米o>
是统一的空间可微函数
ℤ米米l:米i>
p米米l:米i>
。为
f米米l:米i>
∈米米l:米o>
UD米米l:米text><米米l:mo stretchy="false">
(米米l:米o>
ℤ米米l:米i>
p米米l:米i>
)米米l:米o>
,玻色子
p米米l:米i>
进积分上
ℤ米米l:米i>
p米米l:米i>
被定义为
(1.1)米米l:米text>米ml:mtd>
我米米l:米i>
(米米l:米o>
f米米l:米i>
)米米l:米o>
=米米l:米o>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
f米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
d米米l:米i>
μ米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
=米米l:米o>
lim米米l:米i>
N米米l:米i>
→米米l:米o>
∞米米l:米i>
∑米米l:米o>
x米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
p米米l:米i>
N米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
f米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
μ米米l:米i>
(米米l:米o>
x米米l:米i>
+米米l:米o>
p米米l:米i>
N米米l:米i>
ℤ米米l:米i>
p米米l:米i>
)米米l:米o>
=米米l:米o>
lim米米l:米i>
N米米l:米i>
→米米l:米o>
∞米米l:米i>
1米米l:米n>米米l:mrow>
p米米l:米i>
N米米l:米i>
∑米米l:米o>
x米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
p米米l:米i>
N米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
f米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
,米米l:米o>
和费密子
p米米l:米i>
进积分上
ℤ米米l:米i>
p米米l:米i>
由金定义如下(见[
1- - - - - -
8):
(1.2)米米l:米text>米ml:mtd>
我米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
f米米l:米i>
)米米l:米o>
=米米l:米o>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
f米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
d米米l:米i>
μ米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
x米米l:米i>
)米米l:米o>
=米米l:米o>
lim米米l:米i>
N米米l:米i>
→米米l:米o>
∞米米l:米i>
∑米米l:米o>
x米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
p米米l:米i>
N米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
f米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
x米米l:米i>
。米米l:米o>
欧拉多项式,
E米米l:米i>
n米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
,由母函数定义如下(见[
1- - - - - -
16):
(1.3)米米l:米text>米ml:mtd>
F米米l:米i>
E米米l:米i>
(米米l:米o>
t米米l:米i>
,米米l:米o>
x米米l:米i>
)米米l:米o>
=米米l:米o>
2米米l:米n>米米l:mrow>
e米米l:米i>
t米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
e米米l:米i>
x米米l:米i>
t米米l:米i>
=米米l:米o>
∑米米l:米o>
n米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
∞米米l:米i>
E米米l:米i>
n米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
t米米l:米i>
n米米l:米i>
n米米l:米i>
!米米l:米o>
。米米l:米o>
在特殊情况下,
x米米l:米i>
=米米l:米o>
0米米l:米n>米米l:math>
,
E米米l:米i>
n米米l:米i>
(米米l:米o>
0米米l:米n><米米l:米o stretchy="false">
)米米l:米o>
=米米l:米o>
E米米l:米i>
n米米l:米i>
被称为
n米米l:米i>
欧拉数。
由(
1。3)和欧拉数的定义,我们很容易看到
(1.4)米米l:米text>米ml:mtd>
E米米l:米i>
n米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
n米米l:米i>
(米米l:米o>
n米米l:米i>
l米米l:米i>
)米米l:米o>
E米米l:米i>
l米米l:米i>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
=米米l:米o>
(米米l:米o>
E米米l:米i>
+米米l:米o>
x米米l:米i>
)米米l:米o>
n米米l:米i>
,米米l:米o>
关于取代通常的惯例
E米米l:米i>
l米米l:米i>
通过
E米米l:米i>
l米米l:米i>
(见[
10])。因此,通过(
1。3)和(
1。4),我们有
(1.5)米米l:米text>米ml:mtd>
E米米l:米i>
0米米l:米n>米米l:mrow>
=米米l:米o>
1米米l:米n><米米l:米o>
,米米l:米o>
(米米l:米o>
E米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
n米米l:米i>
+米米l:米o>
E米米l:米i>
n米米l:米i>
=米米l:米o>
2米米l:米n><米米l:米sub>
δ米米l:米i>
0米米l:米n><米米l:米o>
,米米l:米o>
n米米l:米i>
,米米l:米o>
在哪里
δ米米l:米i>
k米米l:米i>
,米米l:米o>
n米米l:米i>
克罗内克符号(见[
9,
10,
17- - - - - -
19])。
从(
1。2),我们也可以得出以下费密子的积分方程
p米米l:米i>
进积分上
ℤ米米l:米i>
p米米l:米i>
如下:
(1.6)米米l:米text>米ml:mtd>
我米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
f米米l:米i>
1米米l:米n>米米l:mrow>
)米米l:米o>
=米米l:米o>
- - - - - -米米l:米o>
我米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
f米米l:米i>
)米米l:米o>
+米米l:米o>
2米米l:米n><米米l:米i>
f米米l:米i>
(米米l:米o>
0米米l:米n>米米l:mrow>
)米米l:米o>
,米米l:米o>
参见[
1,
2]。由(
1。3)和(
1。6),我们得到
(1.7)米米l:米text>米ml:mtd>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
e米米l:米i>
(米米l:米o>
x米米l:米i>
+米米l:米o>
y米米l:米i>
)米米l:米o>
t米米l:米i>
d米米l:米i>
μ米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
y米米l:米i>
)米米l:米o>
=米米l:米o>
2米米l:米n>米米l:mrow>
e米米l:米i>
t米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
e米米l:米i>
x米米l:米i>
t米米l:米i>
=米米l:米o>
∑米米l:米o>
n米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
∞米米l:米i>
E米米l:米i>
n米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
t米米l:米i>
n米米l:米i>
n米米l:米i>
!米米l:米o>
。米米l:米o>
因此,通过(
1。7),我们有
(1.8)米米l:米text>米ml:mtd>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
(米米l:米o>
x米米l:米i>
+米米l:米o>
y米米l:米i>
)米米l:米o>
n米米l:米i>
d米米l:米i>
μ米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
y米米l:米i>
)米米l:米o>
=米米l:米o>
E米米l:米i>
n米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
,米米l:米o>
参见[
1- - - - - -
8,
13- - - - - -
16]。
伯努利多项式,
B米米l:米i>
n米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
由母函数定义如下:
(1.9)米米l:米text>米ml:mtd>
F米米l:米i>
B米米l:米i>
(米米l:米o>
t米米l:米i>
,米米l:米o>
x米米l:米i>
)米米l:米o>
=米米l:米o>
t米米l:米i>
e米米l:米i>
t米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
e米米l:米i>
x米米l:米i>
t米米l:米i>
=米米l:米o>
∑米米l:米o>
n米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
∞米米l:米i>
B米米l:米i>
n米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
t米米l:米i>
n米米l:米i>
n米米l:米i>
!米米l:米o>
,米米l:米o>
参见[
18]。在特殊情况下,
x米米l:米i>
=米米l:米o>
0米米l:米n>米米l:math>
,
B米米l:米i>
n米米l:米i>
(米米l:米o>
0米米l:米n><米米l:米o stretchy="false">
)米米l:米o>
=米米l:米o>
B米米l:米i>
n米米l:米i>
被称为
n米米l:米i>
伯努利数。从(
1。9)和伯努利数的定义,我们注意
(1.10)米米l:米text>米ml:mtd>
B米米l:米i>
n米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
n米米l:米i>
(米米l:米o>
n米米l:米i>
l米米l:米i>
)米米l:米o>
x米米l:米i>
n米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
B米米l:米i>
l米米l:米i>
=米米l:米o>
(米米l:米o>
B米米l:米i>
+米米l:米o>
x米米l:米i>
)米米l:米o>
n米米l:米i>
,米米l:米o>
参见[
1- - - - - -
19),关于取代通常的惯例
B米米l:米i>
l米米l:米i>
通过
B米米l:米i>
l米米l:米i>
。由(
1。9)和(
1.10),我们很容易看到
(1.11)米米l:米text>米ml:mtd>
B米米l:米i>
0米米l:米n>米米l:mrow>
=米米l:米o>
1米米l:米n><米米l:米o>
,米米l:米o>
(米米l:米o>
B米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
n米米l:米i>
- - - - - -米米l:米o>
B米米l:米i>
n米米l:米i>
=米米l:米o>
δ米米l:米i>
1米米l:米n><米米l:米o>
,米米l:米o>
n米米l:米i>
,米米l:米o>
参见[
13]。
从(
1。1),我们可以得出下面的积分方程
ℤ米米l:米i>
p米米l:米i>
:
(1.12)米米l:米text>米ml:mtd>
我米米l:米i>
(米米l:米o>
f米米l:米i>
1米米l:米n>米米l:mrow>
)米米l:米o>
=米米l:米o>
我米米l:米i>
(米米l:米o>
f米米l:米i>
)米米l:米o>
+米米l:米o>
f米米l:米i>
′米米l:米i>
(米米l:米o>
0米米l:米n>米米l:mrow>
)米米l:米o>
,米米l:米o>
在哪里
f米米l:米i>
1米米l:米n>米米l:mrow>
(米米l:米o>
x米米l:米i>
)米米l:米o>
=米米l:米o>
f米米l:米i>
(米米l:米o>
x米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o stretchy="false">
)米米l:米o>
和
f米米l:米i>
”米米l:米i>
(米米l:米o>
0米米l:米n><米米l:米o stretchy="false">
)米米l:米o>
=米米l:米o>
(米米l:米o>
d米米l:米i>
f米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
/米米l:米o>
d米米l:米i>
x米米l:米i>
)米米l:米o>
|米米l:米o>
x米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
。
由(
1.12),我们有
(1.13)米米l:米text>米ml:mtd>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
e米米l:米i>
(米米l:米o>
x米米l:米i>
+米米l:米o>
y米米l:米i>
)米米l:米o>
t米米l:米i>
d米米l:米i>
μ米米l:米i>
(米米l:米o>
y米米l:米i>
)米米l:米o>
=米米l:米o>
t米米l:米i>
e米米l:米i>
t米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
e米米l:米i>
x米米l:米i>
t米米l:米i>
=米米l:米o>
∑米米l:米o>
n米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
∞米米l:米i>
B米米l:米i>
n米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
t米米l:米i>
n米米l:米i>
n米米l:米i>
!米米l:米o>
。米米l:米o>
因此,通过(
1.13),我们可以得到以下威特的伯努利多项式公式:
(1.14)米米l:米text>米ml:mtd>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
(米米l:米o>
x米米l:米i>
+米米l:米o>
y米米l:米i>
)米米l:米o>
n米米l:米i>
d米米l:米i>
μ米米l:米i>
(米米l:米o>
y米米l:米i>
)米米l:米o>
=米米l:米o>
B米米l:米i>
n米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
,米米l:米o>
为米米l:米text><米米l:mi>
n米米l:米i>
∈米米l:米o>
ℤ米米l:米i>
+米米l:米o>
。米米l:米o>
在[
19),是知道的
k米米l:米i>
,米米l:米o>
米米米l:米i>
∈米米l:米o>
ℤ米米l:米i>
+米米l:米o>
,
(1.15)米米l:米text>米ml:mtd>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
=米米l:米o>
x米米l:米i>
k米米l:米i>
(米米l:米o>
x米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
,米米l:米o>
在哪里
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
=米米l:米o>
0米米l:米n>米米l:math>
如果
j米米l:米i>
<米米l:米o>
0米米l:米n>米米l:math>
或
j米米l:米i>
>米米l:米o>
k米米l:米i>
。
本文的目的是给出一些算术身份涉及伯努利方程和欧拉数。获得我们的身份,我们使用的属性
p米米l:米i>
进积分方程在
ℤ米米l:米i>
p米米l:米i>
。
2。算术身份为伯努利方程和欧拉数
让我们把玻色子
p米米l:米i>
进积分上
ℤ米米l:米i>
p米米l:米i>
在(
1.15)如下:
(2.1)米米l:米text>米ml:mtd>
我米米l:米i>
1米米l:米n>米米l:mrow>
=米米l:米o>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
x米米l:米i>
k米米l:米i>
(米米l:米o>
x米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
d米米l:米i>
μ米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
米米米l:米i>
(米米l:米o>
米米米l:米i>
l米米l:米i>
)米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
x米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
d米米l:米i>
μ米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
米米米l:米i>
(米米l:米o>
米米米l:米i>
l米米l:米i>
)米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
。米米l:米o>
另一方面,我们得到
(2.2)米米l:米text>米ml:mtd>
我米米l:米i>
1米米l:米n>米米l:mrow>
=米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
d米米l:米i>
μ米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
×米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
B米米l:米i>
l米米l:米i>
。米米l:米o>
由(
2。1)和(
2。2),我们得到
(2.3)米米l:米text>米ml:mtd>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
×米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
B米米l:米i>
l米米l:米i>
=米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
米米米l:米i>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
(米米l:米o>
米米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
。米米l:米o>
因此,通过(
2。3),我们获得以下定理。
定理2.1。
为
k米米l:米i>
,米米l:米o>
米米米l:米i>
∈米米l:米o>
ℤ米米l:米i>
+米米l:米o>
,一个
(2.4)米米l:米text>米ml:mtd>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
×米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
B米米l:米i>
l米米l:米i>
- - - - - -米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
米米米l:米i>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
(米米l:米o>
米米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
。米米l:米o>
现在我们考虑费密子
p米米l:米i>
进积分上
ℤ米米l:米i>
p米米l:米i>
在(
1.15)如下:
(2.5)米米l:米text>米ml:mtd>
我米米l:米i>
2米米l:米n>米米l:mrow>
=米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
×米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
x米米l:米i>
l米米l:米i>
d米米l:米i>
μ米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
x米米l:米i>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
×米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
E米米l:米i>
l米米l:米i>
。米米l:米o>
另一方面,我们得到
(2.6)米米l:米text>米ml:mtd>
我米米l:米i>
2米米l:米n>米米l:mrow>
=米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
米米米l:米i>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
(米米l:米o>
米米米l:米i>
l米米l:米i>
)米米l:米o>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
x米米l:米i>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
+米米l:米o>
k米米l:米i>
d米米l:米i>
μ米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
x米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
米米米l:米i>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
(米米l:米o>
米米米l:米i>
l米米l:米i>
)米米l:米o>
E米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
。米米l:米o>
由(
2。5)和(
2。6),我们得到
(2.7)米米l:米text>米ml:mtd>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
×米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
E米米l:米i>
l米米l:米i>
=米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
米米米l:米i>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
(米米l:米o>
米米米l:米i>
l米米l:米i>
)米米l:米o>
E米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
。米米l:米o>
因此,通过(
2。7),我们获得以下定理。
定理2.2。
为
k米米l:米i>
,米米l:米o>
米米米l:米i>
∈米米l:米o>
ℤ米米l:米i>
+米米l:米o>
,一个
(2.8)米米l:米text>米ml:mtd>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
×米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
E米米l:米i>
l米米l:米i>
- - - - - -米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
米米米l:米i>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
(米米l:米o>
米米米l:米i>
l米米l:米i>
)米米l:米o>
E米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
。米米l:米o>
替换
x米米l:米i>
通过
(米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
x米米l:米i>
)米米l:米o>
在(
1.15),我们的身份:
(2.9)米米l:米text>米ml:mtd>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
x米米l:米i>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
=米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
x米米l:米i>
米米米l:米i>
(米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
x米米l:米i>
)米米l:米o>
k米米l:米i>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
。米米l:米o>
让我们把玻色子
p米米l:米i>
进积分上
ℤ米米l:米i>
p米米l:米i>
在(
2。9)如下:
(2.10)米米l:米text>米ml:mtd>
我米米l:米i>
3米米l:米n>米米l:mrow>
=米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
×米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
(米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
x米米l:米i>
)米米l:米o>
l米米l:米i>
d米米l:米i>
μ米米l:米i>
(米米l:米o>
x米米l:米i>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
×米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
B米米l:米i>
l米米l:米i>
+米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
×米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
l米米l:米i>
+米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
×米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
δ米米l:米i>
1米米l:米n><米米l:米o>
,米米l:米o>
l米米l:米i>
=米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
×米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
B米米l:米i>
l米米l:米i>
+米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
(米米l:米o>
2米米l:米n><米米l:米sub>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
j米米l:米i>
+米米l:米o>
δ米米l:米i>
1米米l:米n><米米l:米o>
,米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
j米米l:米i>
)米米l:米o>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
×米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
B米米l:米i>
l米米l:米i>
+米米l:米o>
2米米l:米n><米米l:米row>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
(米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
)米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
×米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
j米米l:米i>
+米米l:米o>
(米米l:米o>
k米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mtd>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
(米米l:米o>
米米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mtd>
)米米l:米o>
。米米l:米o>
另一方面,我们看到
(2.11)米米l:米text>米ml:mtd>
我米米l:米i>
3米米l:米n>米米l:mrow>
=米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
(米米l:米o>
k米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
。米米l:米o>
由(
2.10)和(
2.11),我们得到
(2.12)米米l:米text>米ml:mtd>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
×米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
B米米l:米i>
l米米l:米i>
+米米l:米o>
2米米l:米n><米米l:米row>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
×米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
j米米l:米i>
+米米l:米o>
(米米l:米o>
k米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mtd>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
(米米l:米o>
米米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mtd>
)米米l:米o>
=米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
(米米l:米o>
k米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
。米米l:米o>
因此,通过(
2.12),我们获得以下定理。
定理2.3。
为
k米米l:米i>
,米米l:米o>
米米米l:米i>
∈米米l:米o>
ℤ米米l:米i>
+米米l:米o>
,一个
(2.13)米米l:米text>米ml:mtd>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
×米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
B米米l:米i>
l米米l:米i>
+米米l:米o>
2米米l:米n><米米l:米row>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
×米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
j米米l:米i>
+米米l:米o>
(米米l:米o>
k米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mtd>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
(米米l:米o>
米米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mtd>
)米米l:米o>
- - - - - -米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
=米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
(米米l:米o>
k米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
。米米l:米o>
我们考虑的费密子
p米米l:米i>
进积分上
ℤ米米l:米i>
p米米l:米i>
在(
2。9)如下:
(2.14)米米l:米text>米ml:mtd>
我米米l:米i>
4米米l:米n>米米l:mrow>
=米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
×米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
∫米米l:米o>
ℤ米米l:米i>
p米米l:米i>
(米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
x米米l:米i>
)米米l:米o>
l米米l:米i>
d米米l:米i>
μ米米l:米i>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
x米米l:米i>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
×米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
E米米l:米i>
l米米l:米i>
+米米l:米o>
2米米l:米n><米米l:米row>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
×米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
- - - - - -米米l:米o>
2米米l:米n><米米l:米row>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
×米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
δ米米l:米i>
0米米l:米n><米米l:米o>
,米米l:米o>
l米米l:米i>
=米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
×米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
E米米l:米i>
l米米l:米i>
+米米l:米o>
2米米l:米n><米米l:米row>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
δ米米l:米i>
1米米l:米n><米米l:米o>
,米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
)米米l:米o>
=米米l:米o>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
×米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
E米米l:米i>
l米米l:米i>
+米米l:米o>
2米米l:米n><米米l:米row>
(米米l:米o>
(米米l:米o>
k米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
)米米l:米o>
]米米l:米o>
。米米l:米o>
另一方面,我们得到
(2.15)米米l:米text>米ml:mtd>
我米米l:米i>
4米米l:米n>米米l:mrow>
=米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
(米米l:米o>
k米米l:米i>
l米米l:米i>
)米米l:米o>
E米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
。米米l:米o>
由(
2.14)和(
2.15),我们获得以下定理。
定理2.4。
为
k米米l:米i>
,米米l:米o>
米米米l:米i>
∈米米l:米o>
ℤ米米l:米i>
+米米l:米o>
,一个
(2.16)米米l:米text>米ml:mtd>
∑米米l:米o>
j米米l:米i>
=米米l:米o>
1米米l:米n>米米l:mrow>
马克斯米米l:米i>
{米米l:米o>
k米米l:米i>
,米米l:米o>
米米米l:米i>
}米米l:米o>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
1米米l:米n>米米l:mrow>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
(米米l:米o>
(米米l:米o>
k米米l:米i>
j米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
j米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
j米米l:米i>
)米米l:米o>
]米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
l米米l:米i>
)米米l:米o>
×米米l:米o>
B米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n><米米l:米o>
- - - - - -米米l:米o>
j米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
E米米l:米i>
l米米l:米i>
+米米l:米o>
2米米l:米n><米米l:米row>
(米米l:米o>
(米米l:米o>
k米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
)米米l:米o>
+米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
米米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
)米米l:米o>
]米米l:米o>
- - - - - -米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
+米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
(米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
k米米l:米i>
)米米l:米o>
=米米l:米o>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
k米米l:米i>
+米米l:米o>
米米米l:米i>
∑米米l:米o>
l米米l:米i>
=米米l:米o>
0米米l:米n>米米l:mrow>
k米米l:米i>
(米米l:米o>
- - - - - -米米l:米o>
1米米l:米n>米米l:mrow>
)米米l:米o>
l米米l:米i>
(米米l:米o>
k米米l:米i>
l米米l:米i>
)米米l:米o>
E米米l:米i>
k米米l:米i>
+米米l:米o>
米米米l:米i>
- - - - - -米米l:米o>
l米米l:米i>
。米米l:米o>