Using winding numbers, we give an extremely short proof that every continuous field of tangent vectors on S2 must vanish somewhere. The argument was suggested by the methods of Asimov [1]. hairy ball theorem. By the Bolzano{Weierstrass theorem, we can extract sequences of all three colors that converge to the same point q. Theorems with Balls. The remainder of the proof is equational, local and geometrical. We use the usual notation of

It only depends on Stokes theorem and standard laws of tensor calculus like the Ricci identity and symmetries of curvature tensors. MR MR505523 (80m:55001) 2. FTA: Hairy ball theorem > A common problem in computer graphics is to generate a non-zero vector in R3 that is orthogonal to a given non-zero one. This proof points to a new family of algorithms for computing approximate fixed points that have advantages over simplicial subdivision methods. Proof (based on Fortnow’s notes):. Monthly 85 (1978), no. p ¡ p f(p)=6¡ p Then there is a unique geodesic between p and f(p). Thus g has no xed point, contradicting Theorem 1. We give a full proof of the Kakutani (1941) fixed point theorem that is brief, elementary, and based on game theoretic concepts. We show how the assumption of the existence of a continuous unit tangent vector field on the sphere leads to an explicit formula for a homotopy between curves of winding number 1 and − 1 about the origin, thus proving the hairy ball theorem by contradiction. A more formal version says that any continuous tangent vector field on the sphere must have a point where the vector is zero. $\begingroup$ @NoahStein Yes of course, that's the standard proof, but it gives no connection of the result with the hairy ball theorem which is what the question … Hairy ball theorem The proof of the hairy ball theorem answers another of the motivating questions of the talk. Moreover, the tangent bundle of the sphere is nontrivial as a bundle, that is, it is not simply a product. Theorem 4.4 (Hairy ball theorem).

7, 521{524.

Hairy Ball Theorem Another fun theorem from topology is the Hairy Ball Theorem. To summarize, the key point of the proof of the hairy ball theorem (in either the smooth or continuous cases) is to compute that (−1) n+1 is the sign that gives the action of antipodal-pullback on top-degree cohomology (deRham or singular) of S n for any n > 0. C. A. Rogers, A less strange version of Milnor’s proof of Brouwer’s xed-point theorem, It states that given a ball with hairs all over it, it is impossible to comb the hairs continuously and have all the hairs lay flat. References 1. Math. J. Milnor, Analytic proofs of the \hairy ball theorem" and the Brouwer xed-point the-orem, Amer. Some hair must be sticking straight up! There is no single continuous function that can do this for all non-zero vector inputs. After all this time, I came up with a very nice tensor calculus proof of the Hairy Ball Theorem. There are two proofs for this. The hairy-ball theorem says that there is no continuous non-zero vector field on the surface of a sphere. Here's a Youtube video for example: My goal is to show why it's always true. All the topology is done by Stokes theorem. For the sake of contradiction, assume that for a given there does not exist a binary string with length such that .That is: for all binary strings , we must have that .Intuitively what this means is that for all strings there must be a program describing it such that (i.e. Hairy Ball Theorem. Theorems with Balls Theorem. Consider the unit two sphere S2 ={p ∈ R3: |p|=1} in R3.