In mathematics, more precisely in the theory of functions of several complex variables, a pseudoconvex set is a special type of open set in the n-dimensional complex space Cn. Pseudoconvex sets are important, as they allow for classification of domains of holomorphy.
Let
G
⊂
C
n
be a domain, that is, an open connected subset. One says that
G
is pseudoconvex (or Hartogs pseudoconvex) if there exists a continuous plurisubharmonic function
φ
on
G
such that the set
{
z
∈
G
∣
φ
(
z
)
<
x
}
is a relatively compact subset of
G
for all real numbers
x
.
In other words, a domain is pseudoconvex if
G
has a continuous plurisubharmonic exhaustion function. Every (geometrically) convex set is pseudoconvex.
When
G
has a
C
2
(twice continuously differentiable) boundary, this notion is the same as Levi pseudoconvexity, which is easier to work with. More specifically, with a
C
2
boundary, it can be shown that
G
has a defining function; i.e., that there exists
ρ
:
C
n
→
R
which is
C
2
so that
G
=
{
ρ
<
0
}
, and
∂
G
=
{
ρ
=
0
}
. Now,
G
is pseudoconvex iff for every
p
∈
∂
G
and
w
in the complex tangent space at p, that is,
∇
ρ
(
p
)
w
=
∑
i
=
1
n
∂
ρ
(
p
)
∂
z
j
w
j
=
0
, we have
∑
i
,
j
=
1
n
∂
2
ρ
(
p
)
∂
z
i
∂
z
j
¯
w
i
w
j
¯
≥
0.
If
G
does not have a
C
2
boundary, the following approximation result can come in useful.
Proposition 1 If
G
is pseudoconvex, then there exist bounded, strongly Levi pseudoconvex domains
G
k
⊂
G
with
C
∞
(smooth) boundary which are relatively compact in
G
, such that
G
=
⋃
k
=
1
∞
G
k
.
This is because once we have a
φ
as in the definition we can actually find a C∞ exhaustion function.