In this section, we
- introduce a 'broader class of limits' than known from real analysis (namely limits with respect to a subset of ) and
- characterise continuity of functions mapping from a subset of the complex numbers to the complex numbers using this 'class of limits'.
Example 2.2:
The function
is a complex function.
Limits of complex functions with respect to subsets of the preimage
[edit | edit source]
We shall now define and deal with statements of the form
for , , and , and prove two lemmas about these statements.
Proof: Let be arbitrary. Since
- ,
there exists a such that
- .
But since , we also have , and thus
- ,
and therefore
- .
Proof:
Let such that .
First, since is open, we may choose such that .
Let now be arbitrary. As
- ,
there exists a such that
- .
We define and obtain
- .
- Prove that if we define
- ,
then is not continuous at . Hint: Consider the limit with respect to different lines through and use theorem 2.2.4.
Next