>>393

>>U上のLevi形式ωが正定値となる

M内の相対コンパクトな開集合Uが名C^２級の滑らかな境界を持つとき
境界の定義関数のLevi形式が正定値ならUは強擬凸であるという。

定理(1958 Hans Grauert)強擬凸な開集合は正則領域である。