Definitions Flashcards
Open Set
For all point there exists a radius such that ball around point is in set
Examples: empty set, all C, Disc
Closed Set
Complement of an open set <=> all series with all elements in set converge in that set
Examples: empty set, all C, closed Disc
Compact Set
Compact and bounded <=> all series with elements in set have a convergent subsequence
Examples: empty set, closed Disc, Cr(z)?
Connected Set
Cannot be the union of two open sets?
Examples: empty set, all C, (closed) Disc. all R
Counter-examples: Z, Q
f: U -> C is holomorphic on U if …
for all z_0 in U the limit z->z_0 of [f(z) - f(z_0)] / [z - z_0] exists. This limit is called the complex derivative.
(Smooth) curves
..
Line Integrals
..
Primitive
holomorphic function F such that F’ = f, then F is primitive of f.
Order of vanishing of holomorphic function at z_0
Order of the zero of f at z_0, which derivative is unequal to 0
Poles of holomorphic function
there exists a non-vanishing holomorphic function h and unique positive integer n such that
f(z) = (z − z0)^{−n}*h(z)
Order of a pole
rate at which function goes to zero, the multiplicity of the zero
Principal part of function at pole
Sum of a_{-n}/(z-z_0)^n
Residue of a function at pole
coefficient a_{-1}
Meromorphic function
if there exists a sequence of points z_n that has no limit points in Ω such that:
1. f is holomorphic on Ω - {z_n|all natural n}
2. f has poles at {z_n|all natural n}
Infinite product of complex numbers
Given sequence a_n, the product of 1 to infinity of (1 + a_n) converges if the limit of N->infinity of the product form 1 to N converges.
Homotopy of smooth curves
for each 0≤s≤1 there exists a curve γ_s ⊂ Ω, parametrized by γ_s(t) defined on [a, b], such that for every s
γ_s(a) = α and γ_s(b) = β,
and for all t ∈ [a,b]
γ_s(t) [|s=0] = γ_0(t) and γ_s(t)[|s=1] = γ_1(t).
Simply connected open set
if any pair of curves with the same end-point are homotopic
Branch of logarithm on open set
log holomorphic on U such that exp(log(z)) = z
Principal branch of logarithm
log z = log r + iθ
Ω = C − {(−∞, 0]}
where z = r*e^iθ with |θ| < π
log(1) = 0
z^a for z in simply connected open set
branch of log exists so z^a = exp(a*log(z))
n-th root of z
z^(1/n) = exp((1/n)*log(z))
Winding number of a curve around a point
W_γ(z) = 1/(2πi) * Integral over γ of 1/(c-z) dc
Conformal map
bijective holomorphic function
Conformal equivalence
there exists a conformal map between two sets
Automorphism
conformal map from an open set to itself