買買提艾力·喀迪爾，范瓊，2，阿里米熱·阿布拉

(1.喀什大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，新疆 喀什 844000；2.華中師范大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)學(xué)院，湖北 武漢，430079)

0 引言

在任何局部緊的阿貝爾群G上，甚至在有限群上可以討論譜集猜想[2].在歐式空間Rd，譜集猜想的研究取得了一些局部性的結(jié)果[3-4]，已知一般譜集猜想在維數(shù)d≥3的時(shí)候不成立[5-7].但迄今為止，譜集猜想在一維或者二維空間上是否成立仍不清楚.

1998年，文獻(xiàn)[8]發(fā)現(xiàn)了第一類奇異、非原子的譜測(cè)度.這一類奇異測(cè)度中，最簡(jiǎn)單的情形是四分Cantor分形測(cè)度μ4，也被稱作伯努利卷積.從此以后，一大批數(shù)學(xué)家在這一領(lǐng)域進(jìn)行研究，取得了有意義的研究結(jié)果[9-14].

本文將歐式空間Rd上有關(guān)譜對(duì)(μ，Λ)的研究推廣到一般的局部緊的阿貝爾群G上任意概率測(cè)度對(duì)(μ，ν)上，主要研究局部緊的阿貝爾群G上測(cè)度的譜性質(zhì)與其卷積測(cè)度的譜性質(zhì)之間的關(guān)系，同時(shí)研究G上譜測(cè)度的幾何結(jié)構(gòu).在歐式空間d上的相關(guān)研究可以參閱文獻(xiàn)[14-16].

1 預(yù)備知識(shí)

將譜對(duì)的概念推廣到任意概率測(cè)度.設(shè)μ是G上的一個(gè)Borel概率測(cè)度，L2(μ)是平方μ-可積函數(shù)空間所構(gòu)成的Hilbert空間，亦即

在空間L2(μ)上的內(nèi)積和范數(shù)分別定義為

稱(μ，ν)為一個(gè)譜對(duì)，當(dāng)且僅當(dāng)Fμ，ν：L2(μ)→L2(ν)是一個(gè)酉算子，亦即等距到上映射.

根據(jù)定義1，(μ，ν)是一個(gè)譜對(duì)，當(dāng)且僅當(dāng)(ν，μ)是一個(gè)譜對(duì).根據(jù)等距算子的定義，

‖F(xiàn)μ，ν‖L2(ν)=‖f‖L2(μ).

(1)

等式(1)等價(jià)于對(duì)任意f1，f2∈L2(μ)，有

定義3 設(shè)μ是群G上的Borel概率測(cè)度，則其Fourier-Stieltjies變換定義為

則以下說(shuō)法是等價(jià)的：

2 主要結(jié)論及其證明

定義4 設(shè)X是一個(gè)度量空間，A?X是一個(gè)非空集合.如果對(duì)任意a1，a2∈A，0<α<1都有

αa1+(1-α)a2∈A，

那么稱集合A為凸集.

另一方面，對(duì)于μ∈M，定義：

注1 根據(jù)引理1，若μ∈M⊥(Λ)，則{eλ}λ∈Λ是空間L2(μ)上的規(guī)范正交系.若μ∈MONB(Λ)，則{eλ}λ∈Λ是空間L2(μ)上的規(guī)范正交基，亦即(μ，Λ)是一個(gè)譜對(duì).集合MONB(μ)是測(cè)度μ的所有譜組成的集合.

證明設(shè)μ，ν∈M⊥(Λ)，并且0<α<1，由Fourier變換的線性性可得

所以

根據(jù)Cauchy-Schwarz不等式，有

(2)

從而，根據(jù)μ，ν∈M⊥(Λ)和不等式(2)，得到

故集合M⊥(Λ)是一個(gè)凸集.

為了證明集合MONB(Λ)不是凸集，對(duì)于μ，ν∈MONB(Λ)，0<α<1，考慮

不成立.因此，一般的情況下有不等式

故集合MONB(Λ)不是凸集.

對(duì)于μ，ν∈M，令μ?ν表示乘積空間G×G上的乘積測(cè)度，即對(duì)于集合A×B?G×G，有

(μ?ν)(A×B)=μ(A)·ν(B).

對(duì)集合A?G，定義A+={(x，y)∈G×G|x+y∈G}.如果A?G是一個(gè)Borel集，那么A+是G×G上的一個(gè)Borel集.

定義5[18]設(shè)μ，ν∈M，A?G是一個(gè)Borel集，則測(cè)度μ和ν的卷積定義為

(μ*ν)(A)=(μ?ν)(A+).

測(cè)度的卷積有如下性質(zhì)[18]：

(1) 若μ和ν是概率測(cè)度，則μ*ν也是概率測(cè)度；

定理2說(shuō)明在一般情況下，群G上的兩個(gè)譜測(cè)度的卷積測(cè)度不一定是譜測(cè)度，而定理3說(shuō)明對(duì)測(cè)度附加一定條件之下，兩個(gè)譜測(cè)度的卷積測(cè)度還是譜測(cè)度.

定理2 設(shè)μ1，μ2是G上的兩個(gè)概率測(cè)度，且都不是Dirac測(cè)度，令μ=μ1*μ2.若{eλ}λ∈Λ是空間L2(μ1)上的一個(gè)正交系，則{eλ}λ∈Λ也是L2(μ)上的正交系，但不是L2(μ)上的正交基.

由引理1，{eλ}λ∈Λ是空間L2(μ)上的正交系，但不是L2(μ)上的正交基.

定義6 設(shè)A，B，C是G上的3個(gè)離散集合.如果對(duì)于任意a∈A，存在唯一一對(duì)(b，c)∈(B×C)使得a=b+c，那么稱集合A是集合B和集合C的直和，記為A=B?C.

(1) (μ，Λ)和(ν，Γ)分別是兩個(gè)譜對(duì)；

那么卷積測(cè)度μ*ν是以Λ?Γ為譜的譜測(cè)度.

顯然Zd是歐式空間Rd上的一個(gè)格，格L的對(duì)偶格定義為

因此，從定理3得到下面推論.

推論1 假設(shè)：

(1) 概率測(cè)度μ是G上以Λ1?L*為譜的一個(gè)譜測(cè)度；

(2)A?L是有限離散集合，且(A，Λ2)是一個(gè)譜對(duì).

則測(cè)度μ*δA是以Λ1?Λ2為譜的譜測(cè)度.