Hardy space
0 &lt; "p" ≤ 1 のとき、コンパクトな台を持つ有界可測函数 "f" がハーディ空間 "Hp" に属するための必要十分条件は、その次数 "i"1+ ... +"in" が高々 "n"(1/"p" − 1) であるすべてのモーメント