H^1()和S_(m,1)(IR)的同构

设Ｈ１（ＺＩ）为离散的Ｈａｒｄｙ空间，即Ｈ１（ＺＩ）＝｛ｙ∈ｌ１（ＺＩ）：Ｈｙ＝｛Ｈｙｊ｝∈ｌ１（ＺＩ），其中Ｈｙｊ＝ｋ≠ｊ（ｋ－ｊ）－１ｙｊ为离散的希尔伯特变换．令Ｓｍ，１（ＩＲ）表示属于Ｌ１（ＩＲ）的ｍ－１次基样条的全体．本文证得∩ｍＳｍ，１（ＩＲ）与Ｈ１（ＺＩ）同构．