1. Winding Numbers
Vin de Silva Pomona College
CBMS Lecture Series, Macalester College, June 2017
Vin de Silva Pomona College 1. Winding Numbers Goal
Continuous winding number We seek a function 2 w:Loops(R 0 ) Z { } ! that counts the number of times the loop winds around 0.
[Examples on board]
Loops are oriented. • Counterclockwise = positive. • Approaches Covering spaces, fundamental group, homotopy theory • Contour integration • Discrete approximations, homology theory •
Vin de Silva Pomona College 1. Winding Numbers Argument function
First attempt
2 arg : R 0 R { } ! This measures the angle of a point a = 0 from the positive x-axis. 6 [Example on board]
Corrected version
2 arg : R 0 R/2⇡Z { } ! Write [✓] for the equivalence class of ✓ modulo 2⇡.
Explicit formulas
[arctan(y/x)] if x > 0 8[arctan(y/x)+⇡]ifx < 0 arg((x, y)) = ⇡ >[ arctan(x/y)+ ]ify > 0 <> 2 [ arctan(x/y) ⇡ ]ify < 0 2 > These are continuous and agree:> where their domains overlap.
Vin de Silva Pomona College 1. Winding Numbers Lifts of the argument function
Lifts It is useful to consider functions
arg : R U ! that satisfy arg(a) =arg(a) for all a . 2 U At most one⇥ of the⇤ following can be satisfied: 2 = R 0 • U { } arg is continuous • The lift from a ray Let 2 arg : R 0 R { } ! be the unique lift taking values in [ , +2⇡).
The lift arg is continuous except on the ray
1 R =arg ([ ]).
Vin de Silva Pomona College 1. Winding Numbers Angle cocycle
Line segments 2 Let a, b R . 2 [a, b] = ‘directed line segment from a to b’ [a, b] = ta + ub t, u 0, t + u =1 | | { | } = set of points which lie on [a, b]
Angle cocycle 2 Let a, b R such that 0 [a, b] . 2 62 | | ⇤([a, b], 0) = ‘angle subtended at 0 by [a, b]’
[Example on board]
Formally Let ⇤([a, b], 0) be the unique real number ✓ such that: ⇡ < ✓ < ⇡ • [✓]=arg(b) arg(a) •
Vin de Silva Pomona College 1. Winding Numbers Angle cocycle
Line segments 2 Let a, b R . 2 [a, b] = ‘directed line segment from a to b’ [a, b] = ta + ub t, u 0, t + u =1 | | { | } = set of points which lie on [a, b]
Angle cocycle 2 Let a, b, p R such that p [a, b] . 2 62 | | ⇤([a, b], p)=‘anglesubtendedatp by [a, b]’
[Example on board]
Formally Let ⇤([a, b], p)betheuniquerealnumber✓ such that: ⇡ < ✓ < ⇡ • [✓]=arg(b p) arg(a p) •
Vin de Silva Pomona College 1. Winding Numbers Continuity
Theorem ⇤(a, b, p) is continuous as a function of a, b, p (on its domain of definition).
Proof Regarding a, b, p as complex numbers, one can show that b p ⇤([a, b], p)=arg ⇡ . a p ✓ ◆ This is a composite of continuous functions, since
y arg ⇡(x + iy)=2arctan . x + x 2 + y 2 ! p
Vin de Silva Pomona College 1. Winding Numbers Closed polygons
Closed polygons
Let = P(a0, a1,...,an)denotethe‘directedpolygonwithverticesa0, a1,...,an and edges [a0, a1], [a1, a2],...,[an 1, an]’.
It is closed if a0 = an. Its support is
n