Ωが有界領域でなくても、W^(1,2)内の有界列はΩの各コンパクト集合上でL^2収束する部分列を持つ。