相中啟，黃時(shí)祥

（上饒師范學(xué)院數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院，江西上饒334001）

Hilbert C?-模中融合框架的新刻畫(huà)

相中啟，黃時(shí)祥

（上饒師范學(xué)院數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院，江西上饒334001）

觀察到HilbertC?-模中融合框架原定義的不合理性，然后通過(guò)權(quán)重集的選取將其改進(jìn)，得到融合框架的新定義并給出其等價(jià)形式.特別地，利用算子理論方法得到了HilbertC?-模中融合框架的一個(gè)新刻畫(huà).

HilbertC?-模；融合框架；刻畫(huà)

1　引言

Hilbert空間中框架的概念由Duffin和Schaeffer［1］于上世紀(jì)50年代引入.直到30多年后小波時(shí)代開(kāi)啟的1986年，Daubechies等［2］的突破性研究，才使得框架理論開(kāi)始被廣泛關(guān)注.目前，框架理論已被廣泛應(yīng)用于信號(hào)處理、圖像處理和抽樣理論等方面［35］.更多詳情請(qǐng)參閱文獻(xiàn)［6-10］.

在考慮用局部框架來(lái)構(gòu)造整體框架時(shí)，Casazza和Kutyniok［11］定義了Hilbert空間中的融合框架（子空間框架），它是框架概念的推廣.2008年，A.Khosravi和B.Khosravi［12］又將融合框架的概念由Hilbert空間推廣到HilbertC?-模中去，研究了許多與Hilbert空間中融合框架類(lèi)似的性質(zhì).

值得注意的是，雖然HilbertC?-模是Hilbert空間的推廣，但是二者之間還是存在許多的差異.比如，Hilbert空間上關(guān)于連續(xù)線性泛函的Riesz表示定理并不適用于HilbertC?-模，這蘊(yùn)含著HilbertC?-模上的某些有界算子沒(méi)有伴隨算子；HilbertC?-模中存在不可補(bǔ)的閉子模等.同時(shí)應(yīng)當(dāng)指出，由于嵌入在HilbertC?-模中的C?-代數(shù)的復(fù)雜性，以及Hilbert空間中的一些有用的技巧在HilbertC?-模中要么缺失要么未知，從而導(dǎo)致HilbertC?-模中的框架問(wèn)題要比Hilbert空間復(fù)雜許多，框架理論由Hilbert空間到HilbertC?-模的推廣工作并不是平凡的.此外，近年來(lái)的研究表明HilbertC?-模理論與小波和框架理論有著多方面的緊密聯(lián)系，一方的發(fā)展都將對(duì)另一方的發(fā)展起著積極的促進(jìn)作用，因此HilbertC?-模中框架的研究工作很有意義.

本文進(jìn)一步討論HilbertC?-模中融合框架的相關(guān)性質(zhì).全文主要做了以下兩個(gè)方面的工作：一是通過(guò)權(quán)重集的選取改進(jìn)了HilbertC?-模中融合框架的原有定義，給出融合框架的新定義并得到了新定義的更便于使用的等價(jià)形式；二是從算子理論的角度給出HilbertC?-模中融合框架的一個(gè)新刻畫(huà).值得強(qiáng)調(diào)的是，該刻畫(huà)利用可伴算子的Moore-Penrose逆的相關(guān)性質(zhì)給出了確切的融合框架界.

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

本節(jié)回顧一些基本定義和性質(zhì).首先引入HilbertC?-模的定義.

定義2.1設(shè)A是有單位元1A的C?-代數(shù)，H是一左A-模，且設(shè)A上的線性結(jié)構(gòu)與H上的線性結(jié)構(gòu)是相容的，即

若存在一個(gè)映射〈·，·〉：H×H→A滿足：

（1）〈f，f〉≥0，且〈f，f〉=0當(dāng)且僅當(dāng)f=0，?f∈H；

（2）〈f，g〉=〈g，f〉?，?f，g∈H；

（3）〈af+g，h〉=a〈f，h〉+〈g，h〉，?a∈A，f，g，h∈H，

則稱(chēng)｛H，〈·，·〉｝為準(zhǔn)HilbertA-模，映射〈·，·〉稱(chēng)為A-值內(nèi)積.?f∈H，定義若H關(guān)于范數(shù)‖·‖完備，則稱(chēng)｛H，〈·，·〉｝為HilbertA-模，或者A上的HilbertC?-模.

定義2.2設(shè)H是C?-代數(shù)A上的HilbertC?-模，E?H是一子模.若存在子模F?H使得H=E⊕F，則稱(chēng)E是可補(bǔ)的.特別地，若E⊕E⊥=H，則稱(chēng)E是正交可補(bǔ)的.

定義2.3設(shè)H和K是C?-代數(shù)A上的兩個(gè)HilbertC?-模，映射T：H→K稱(chēng)為可伴的，如果存在映射T?：K→H，使得

稱(chēng)T?為T(mén)的伴隨算子.

定義2.4設(shè)H和K是C?-代數(shù)A上的兩個(gè)HilbertC?-模，T：H→K是可伴算子，那么可伴算子T?：K→H稱(chēng)為T(mén)的Moore-Penrose逆，如果它滿足：

為了證明主要結(jié)論，需要下面幾個(gè)引理.

引理2.1［13］設(shè)H是C?-代數(shù)A上的HilbertC?-模，T：H→H是可伴算子，則

引理2.2［14］設(shè)H和K是C?-代數(shù)A上的兩個(gè)HilbertC?-模，且設(shè)T：H→K是可伴算子，則下列條件等價(jià)：

（1）T是滿射；

（2）T?關(guān)于范數(shù)下有界，即存在m＞0使得任意f∈K，‖T?f‖≥m‖f‖；

（3）T?關(guān)于內(nèi)積下有界，即存在m′＞0使得任意f∈K，〈T?f，T?f〉≥m′〈f，f〉.

引理2.3［15］設(shè)M和N是C?-代數(shù)A上的兩個(gè)HilbertC?-模，T：M→N是一線性映射，則下列條件等價(jià)：

（1）算子T是有界和A-線性的；

（2）存在常數(shù)K≥0使得對(duì)所有的x∈M，不等式〈Tx，Tx〉≤K〈x，x〉在A中成立.

引理2.4［16］設(shè)H和K是C?-代數(shù)A上的兩個(gè)HilbertC?-模，T：H→K是可伴算子，則T的Moore-Penrose逆T?存在當(dāng)且僅當(dāng)T有閉的值域.

本節(jié)最后約定一些記號(hào).本文中，A指有單位元1A的C?-代數(shù)，U是HilbertA-模，J是有限或可數(shù)指標(biāo)集.對(duì)于j∈J，記πHj表示HilbertC?-模H到其閉子模Hj上的正交投影.

3　HilbertC?-模中融合框架的新定義及其等價(jià)形式

HilbertC?-模中融合框架的定義由文獻(xiàn)［12］引入.

定義3.1設(shè)｛Pj｝j∈J是U的一列正交可補(bǔ)的閉子模，又設(shè)｛υj｝j∈J是A中的一列權(quán)重，即每個(gè)υj都是正可逆的.如果存在實(shí)數(shù)0＜C≤D＜∞，使得

則稱(chēng)P=｛（Pj，υj）｝j∈J是U的融合框架.

設(shè)P=｛（Pj，υj）｝j∈J是U的融合框架，文獻(xiàn)［12］定義其框架算子為：

由定義3.1易見(jiàn)SP是可逆的正算子，且SP是自伴的，因?yàn)?/p>

事實(shí)上

原因在于，作為C?-代數(shù)A中的兩個(gè)元素，υ2j與〈πPj（f），g〉不一定可以交換次序.注意到，若任意j∈J，υj是正實(shí)數(shù)，則有

于是可證SP是自伴算子.故可將定義3.1改進(jìn)為：

定義3.2設(shè)｛Pj｝j∈J是U的一列正交可補(bǔ)的閉子模，又設(shè)｛υj｝j∈J是R中的一列權(quán)重，即每個(gè)υj都是正的實(shí)數(shù).如果存在實(shí)數(shù)0＜C≤D＜∞使得

則稱(chēng)P=｛（Pj，υj）｝j∈J是U的融合框架，C！D稱(chēng)為融合框架界.如果C=D，則稱(chēng)P是緊融合框架；如果C=D=1，則稱(chēng)P是Parseval融合框架.如果（3）式右端的不等式成立，則稱(chēng)P是Bessel界為D的Bessel融合序列.

設(shè)P=｛（Pj，υj）｝j∈J是U的融合框架，則P的框架算子SP定義為：∑

易見(jiàn)SP是可伴的正可逆算子.

下面給出HilbertC?-模中融合框架新定義的更便于使用的等價(jià)形式，它的優(yōu)勢(shì)在于對(duì)于C?-代數(shù)中的兩個(gè)正元，比較它們的范數(shù)要比比較其自身容易得多.

定理3.1設(shè)｛υj｝j∈J是R中的一列權(quán)重，｛Pj｝j∈J是U的一列正交可補(bǔ)的閉子模，使得任意f∈U，級(jí)數(shù)按范數(shù)收斂，則P=｛（Pj，υj）｝j∈J是U的融合框架當(dāng)且僅當(dāng)存在實(shí)數(shù)0＜C≤D＜∞，使得

作為定理3.1的一個(gè)應(yīng)用，有如下的Bessel融合序列成為融合框架的等價(jià)條件.

定理3.2設(shè)P=｛（Pj，υj）｝j∈J是U的Bessel融合序列，則它是融合框架當(dāng)且僅當(dāng)對(duì)任意的f∈U存在常數(shù)M＞0以及序列｛gj，f｝j∈J∈l2（J，U），使得

4　HilbertC?-模中融合框架的新刻畫(huà)

本節(jié)從算子理論的角度給出HilbertC?-模中融合框架的一個(gè)新刻畫(huà).

定理4.1設(shè)｛υj｝j∈J是R中的一列權(quán)重，｛Pj｝j∈J是U的一列正交可補(bǔ)的閉子模，則P=｛（Pj，υj）｝j∈J是U的融合框架當(dāng)且僅當(dāng)算子

是已定義的有界滿射算子.此時(shí)框架界為‖U?‖-2，‖U‖2，其中U?是U的Moore-Penrose逆.

推論4.1設(shè)｛υj｝j∈J是R中的一列權(quán)重，｛Pj｝j∈J是U的一列正交可補(bǔ)的閉子模，則P=｛（Pj，υj）｝j∈J是U的Bessel界為D的Bessel融合序列當(dāng)且僅當(dāng)（7）式中的算子U是已定義的有界算子且

注4.1（1）如果J是有限集，則｛υj｝j∈J∈l∞（J），于是可知U是已定義的有界算子.

（2）由定理4.1的證明過(guò)程可知，如果U是已定義的有界算子，則它是可伴的且其伴隨算子由下式給出：

（3）假設(shè)J不是有限集，U是已定義的.若U有界，則｛υj｝j∈J∈l∞（J）.若則對(duì)任意k∈N存在υjk＞k.任意選取fjk∈Pjk滿足‖fjk‖=1，則有

因此U不是有界算子.

［1］Duffin R J，Schaeffer A C.A class of nonharmonic Fourier seriers［J］.Trans.Amer.Math.Soc.，1952，72（2）：341-366.

［2］Daubechies I.Ten Lectures on Wavelets［M］.Philadelphia：SIAM，1992.

［3］Feichtinger H G，Strohmer T.Gabor Analysis and Algorithms：Theory and Applications［M］.Boston：Birkh?user，1998.

［4］Feichtinger H G，Strohmer T.Advances in Gabor Analysis［M］.Boston：Birkh?user，2003.

［5］Casazza P G.Modern tools for Weyl-Heisenberg frame theory［J］.Adv.Imag.Elect.Phys.，2001，115（1）：1-127.

［6］Christensen O.An Introduction to Frames and Riesz Bases［M］.Boston：Birkh?user，2002.

［7］唐青松，張祥德，陸小軍，等.非均勻Gabor框架的穩(wěn)定性［J］.純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué)，2009，25（4）：828-832.

［8］李嵐.算子框架的穩(wěn)定性［J］.純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué)，2008，24（1）：375-378.

［9］相中啟，賈琛琛.Christensen的改進(jìn)結(jié)果在研究框架擾動(dòng)中的應(yīng)用［J］.蘭州大學(xué)學(xué)報(bào)：自然科學(xué)版，2012，48（4）：115-118.

［10］相中啟，簡(jiǎn)輝華.Hilbert空間中連續(xù)框架擾動(dòng)的新結(jié)果［J］.蘭州大學(xué)學(xué)報(bào)：自然科學(xué)版，2013，49（3）：405-408.

［11］Casazza P G，Kutyniok G.Frames of subspaces［J］.Contemp.Math.，2004，345：87-113.

［12］Khosravi A，Khosravi B.Fusion frames and g-frames in Hilbert C?-modules［J］.Int.J.Wavelets Multiresolut.Inf.Process，2008，6（3）：433-466.

［13］Lance E C.Hilbert C?-modules：A Toolkit for Operator Algebraist［M］.Cambridge：Cambridge University Press，1995.

［14］Aramba?i? L.On frames for countably generated Hilbert C?-modules［J］.Proc.Amer.Math.Soc.，2007，135（2）：469-478.

［15］Paschke W L.Inner product modules over B?-algebras［J］.Trans.Amer.Math.Soc.，1973，182：443-468.

［16］Xu Q X，Sheng L J.Positive semi-definite matrices of adjointable operators on Hilbert C?-modules［J］.Linear Algebra Appl.，2008，428（4）：992-1000.

New characterization of fusion frames in Hilbert C?-modules

Xiang Zhongqi，Huang Shixiang
（College of Mathematics and Computer Science，Shangrao Normal University，Shangrao334001，China）

An observation shows that the original definition of fusion frames in Hilbert C?-modules is unreasonable and then，it is improved by a replacement of the associated weight set.An equivalent form of the new definition of fusion frames in Hilbert C?-modules is also given and，especially，a new characterization of fusion frames in Hilbert C?-modules is obtained by the method of operator theory.

Hilbert C?-module，fusion frame，characterization

O174.6

A

1008-5513（2015）05-0456-08

10.3969/j.issn.1008-5513.2015.05.003

2014-12-28.

國(guó)家自然科學(xué)基金（11271148）.

相中啟（1979-），博士，講師，研究方向：分形理論與小波分析.

2010 MSC:46L99，42C15