Skip to Content
Math4202Topology II (Lecture 22)

Math4202 Topology II (Lecture 22)

Final reading, report, presentation

  • Mar 30: Reading topic send email or discuss in OH.
  • Apr 3: Finalize the plan.
  • Apr 22,24: Last two lectures: 10 minutes to present.
  • Final: type a short report, 2-5 pages.

Algebraic topology

Fundamental theorem of Algebra

For arbitrary polynomial f(z)=i=0naixif(z)=\sum_{i=0}^n a_i x^i. Are there roots in C\mathbb{C}?

Consider f(z)=anxn+an1xn1+an2xn2++a0f(z)=a_nx^n+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+\cdots+a_0 is a continuous map from CC\mathbb{C}\to\mathbb{C}.

If f(z0)=0f(z_0)=0, then z0z_0 is a root.

By contradiction, Then f:CC{0}R2{(0,0)}f:\mathbb{C}\to\mathbb{C}-\{0\}\cong \mathbb{R}^2-\{(0,0)\}.

Theorem for existence of n roots

A polynomial equation xn+an1xn1+an2xn2++a0=0x^n+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+\cdots+a_0=0 of degree >0>0 with complex coefficients has at least one complex root.

There are nn roots by induction.

Lemma

If g:S1R2{(0,0)}g:S^1\to \mathbb{R}^2-\{(0,0)\} is the map g(z)=zng(z)=z^n, then gg is not nulhomotopic. n0n\neq 0, nZn\in \mathbb{Z}.

Recall that we proved that g(z)=zg(z)=z is not nulhomotopic.

Consider k:S1S1k:S^1\to S^1 by k(z)=znk(z)=z^n. kk is continuous, k:π1(S1,1)π1(S1,1)k_*:\pi_1(S^1,1)\to \pi_1(S^1,1).

Where π1(S1,1)Z\pi_1(S^1,1)\cong \mathbb{Z}.

k(n)=nk(1)k_*(n)=nk_*(1).

Recall that the path in the loop p:IS1p:I\to S^1 where p:te2πitp:t\mapsto e^{2\pi it}.

k(p)=[k(p(t))]k_*(p)=[k(p(t))], where n=kp~(1)n=\tilde{k\circ p}(1).

kk_* is injective.

Last updated on