Existence of a Continuous Argument
Let be a path then
There exists continuous function such that
If are two such functions that satisfy the above then there exists such that
So at any uniquely determines for all
Proof
Replacing with , assume that
Since is continuous on a compact set, then is uniformly continuous
So there is such thatChoose integer such that so on subinterval then
So for any half-plane in then continuous argument function can be defined
If and then angle between and is at most
So there exists continuous function such that
as must lie in an arc of length at most
As and and differ by an integer then
Successively adjust for by an integer to get continuous function
so thatUniqueness statement follows from as
with so since is connected then is constant
Winding Number
Let be a closed path and
As then
where is the winding number of around
If is not in the image of , it is still defined in the same fashion where
Let be defined by sowhere the quantity is called the index of with respect to
Uniqueness
Uniquely determined by path as function is unique up to an integer
Positively Oriented
Let be an open set in
Let be a closed curveis positively oriented then if
Winding number around any point from bounded component isOtherwise is negatively oriented
Equivalent Definition be a point from the bounded component then
Let
is positively oriented if
Homotopy between Interior Closed Paths and Interior Circle
Let be a domain
Let be a simply positively oriented curve such that and its interior are insideLet such that is inside
Denote the positively oriented circle of radius around by then
Winding Number of a Opposite Path
Let be a closed path
Let be a continuous function on then