覚書 ウェーヴレットと直交関数系 (数理科学セミナー) p.3 Prop.1.2 をの正規直交系に対するFourier係数とし、を任意の数列とすれば、不等式が成り立つ。 ルベーグ積分入門 (数学選書 (4)) p.212, Th.28.3. の直交系に対し次の命題は同値： は完全； であっ…