Demonstração Teorema Fundamental Da Algebra Com Topologia Algébrica
Demonstração Teorema Fundamental Da Algebra Com Topologia Algébrica
Demonstração Teorema Fundamental Da Algebra Com Topologia Algébrica
Abstract. Several proofs of the fundamental theorem of algebra, using purely algebraic and complex analytic
(via Liouville’s theorem) methods are well known. The algebraic topological version of the proof is an elegant
application of elements of homotopy theory. In this article, the requisite concepts are introduced first and then
the proof has been presented.
1. HOMOTOPY OF PATHS
1
Gouri Shankar Seal
Example 1.1:(linear homotopy) Any two paths in Rn having same initial and final points are ho-
motopic via the homotopy ft (s) = (1 − t)f0 (s) + tf1 (s).
We can see from the above definition that the homotopy of paths is an equivalence relation in the
set of paths from I → X. The equivalence class of paths in X under the equivalence relation of
homotopy is denoted by [f ].
Definition 1.3:(composition of paths) Let f ,g be paths in a topological space X such that f (1) =
g(0). We define the product path
(
f (2s) 0 ≤ s ≤ 21 ;
f.g =
g(2s − 1) 12 ≤ s ≤ 1
Definition 2.2:(path connected spaces) A topological space where any two points can be joined by
a path.
Proposition 2.1: If X is a path connected topological space then for all points x0 ∈ X the groups
π1 (X, x0 ) are isomorphic
Proof: The map βh : π1 (X, x1 ) → π1 (X, x0 ) defined by βh [f ] = [hf h−1 ] is an isomorphism. If ft
is a homotopy of loops based at x1 then [hft h−1 ] is a homotopy of loops based at x0 .
Definition 2.3:(simply connected space) A topological space which is path connected and has triv-
ial fundamental group (π1 (X) = 0). This means any loop based at x0 in X is homotopic to the
constant loop C(x0 ) based at x0 ! As an example of a simply connected space try to visualize the
usual two dimensional Euclidean plane (R2 ) and a rubber band loop based at any point in the space.
One can continuously deform the rubber band and shrink it to the base point demonstrating that
there is a unique homotopy class of loops.
We now state an important result that the fundamental group of the unit circle S 1 based in R2 is
isomorphic to Z.
Theorem 3.1: φ : Z → S 1 sending an integer n to the homotopy class of the loop ωn (s) =
(cos(2πns), sin(2πns)); 0 ≤ s ≤ 1 based at (1, 0) is an isomorphism.
We outline the idea of the proof. Choose the base point at (1,0). Let f : [0, 1] → S 1 be a loop. When
n = 1, f completes a turn and returns to (1,0). Therefore the total number of times it wounds around
the circle is an integer. This number (called the winding number) is unchanged by the deformation of
the loop and under a continuous deformation of the loop remains a constant. Hence, every homotopy
class has a unique winding number and φ is an isomorphism.
We are now in a position to state and prove the fundamental theorem of algebra:
Theorem 3.2: Every nonconstant polynomial with coefficients in C has a root in C
Proof: Assume p(z) = z n + a1 z n−1 + . . . + an . If p(z) has no roots in C then define:
p(r exp(2πis))/p(r)
fr (s) = ; r ≥ 0 a loop in the unit circle S 1 based at (1,0). As r varies starting
|p(r exp(2πis)/p(r)|
from 0, fr is a homotopy of loops based at (1,0). Since f0 is the trivial loop [fr ] ∈ π1 (S 1 ) is zero
for all r.
Fix r > (|a1 | + |a2 | + . . . + |an |) and r ≥ 1. Then for |z| = r, we have |z n | = rn = r.rn−1 >
(|a1 | + . . . + |an |)(|z n−1 |) ≥ |(a1 z n−1 + . . . + an )|, or|z n | > |(a1 z n−1 + . . . + an )|.
Now, define pt (z) = z n + t(a1 z n−1 + . . . + an ). If possible let pt (z) has a root in |z| = r .
Setting pt (z) = 0 we get z n = −t.(a1 z n−1 + . . . + an ) which gives |t||a1 z n−1 + . . . + an | >
|a1 z n−1 + . . . + an | which gives |t| > 1, a contradiction. Hence pt (z) has no roots on the circle
|z| = r, when 0 ≤ t ≤ 1.
Now, replacing p by pt in the formula for fr and letting t go from 0 to 1, we obtain a map
pt (r exp(2πis))/pt (r)
Ft (s) = . It is easy to see that F0 (s) = ωn (s) and F1 (s) = fr (s), clearly
|pt (r exp(2πis)/pt (r)|
Ft (s) defines a homotopy from the loop fr to ωn (s) = exp(2πins) i.e., [ωn ] = [fr ]. But by our
construction we know [fr ] = 0 then [ωn ] = 0 which implies n=0. So the only polynomials in C
without roots in C are the constant polynomials.
Acknowledgement
The author would like to thank Prof.Prasanta K. Panigrahi for his constant encouragement. He
would also like to thank Mr.Gaurav Tripathi for his help.
References
[1] Allen Hatcher: Algebraic Topology, 2001, Cambridge University Press, Cambridge, U.K.
[2] William S Massey: Algebraic Topology: An Introduction, 1990, Springer, New-York, U.S.A.