In: Advanced Math
let f be analytic and not constant on a domain G. show that the area of f(G)is strictly positive
(complex variables)
Since
is analytic
and not constant on a domain G so
obeys open mapping
theorem which states that ,
Open mapping theorem : If
is a non-constant
analyic open map on a domain G then image of a open set is open
that is if
is open
then
is open .
Let
, since G
is a domain so there exist a open set U containing
such that
.
By open mapping theorem
is open and
.
Since
is open
and
so
there exist a
such that
the open ball
.......(i)
Now ,
........(ii)
From (i) and (ii) we get ,





Hence area of
is strictly
positive .
..
.
.
If you have any doubt or need more clarification at any step please comment .