Applications of Brouwer's fixed point theorem - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T06:46:54Z http://mathoverflow.net/feeds/question/19272 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem Applications of Brouwer's fixed point theorem unknown (google) 2010-03-25T04:17:29Z 2012-11-18T19:31:24Z <p>I'm presenting Brouwer's fixed point theorem to an audience that knows some point-set topology. Does anyone have any zippy / enlightening / cool applications or consequences of it? So far, I have:</p> <ul> <li>Physical realizations: stuff involving maps of my city, crumpled pieces of graph paper, a stationary gin molecule in a cocktail shaker, etc.</li> <li>That every n*n real matrix with all-positive entries has a positive eigenvalue.</li> </ul> <p>Thanks! :)</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/19275#19275 Answer by Mariano Suárez-Alvarez for Applications of Brouwer's fixed point theorem Mariano Suárez-Alvarez 2010-03-25T04:30:28Z 2010-03-25T19:07:25Z <p>The theorem is equivalent to the determinacy of the <a href="http://en.wikipedia.org/wiki/Hex_%28board_game%29" rel="nofollow">Hex game</a>. That's a very famous `application'.</p> <p>The details can be found in [David Gale (1979). "The Game of Hex and Brouwer Fixed-Point Theorem". The American Mathematical Monthly 86: 818–827], a beautiful paper, which JSTOR serves at <a href="http://www.jstor.org/stable/2320146" rel="nofollow">http://www.jstor.org/stable/2320146</a>. </p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/19277#19277 Answer by Douglas Zare for Applications of Brouwer's fixed point theorem Douglas Zare 2010-03-25T04:59:46Z 2010-03-25T04:59:46Z <p>The existence of mixed <a href="http://en.wikipedia.org/wiki/Nash_equilibrium" rel="nofollow">Nash equilibriums</a> in multiplayer games can be proved using the Brouwer fixed point theorem. If you imagine that each players is trying to improve his results based on the current actions of his opponents, then there is some combination of strategies so that each player can't improve.</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/19279#19279 Answer by Ronaldo Carpio for Applications of Brouwer's fixed point theorem Ronaldo Carpio 2010-03-25T05:08:32Z 2010-03-25T05:08:32Z <p>In economics and game theory, it's used to prove the existence of equilibrium (eg <a href="http://en.wikipedia.org/wiki/Nash_equilibrium" rel="nofollow">Nash equilibrium</a>, <a href="http://en.wikipedia.org/wiki/General_equilibrium_theory" rel="nofollow">general equilibrium</a>)</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/19291#19291 Answer by gowers for Applications of Brouwer's fixed point theorem gowers 2010-03-25T09:17:26Z 2010-03-25T09:17:26Z <p>Just for fun you could give them the 2-dimensional version of the standing-in-a-train theorem. That theorem says that if you want to go to sleep while standing up in a train that goes along a perfectly straight track, there is some starting angle that will cause you not to fall over. (Proof: if the angle is almost all the way forwards, then you will fall forwards; if it is almost all the way backwards, then you will fall backwards; by the intermediate value theorem there must be an angle that leaves you still standing at the end.) Ian Stewart argues vigorously that the implicit continuity assumption (that your final position depends continuously on your initial position) is wrong, but you can just forget about that.</p> <p>Now let's suppose that you are standing on a surface that can move horizontally in any direction. (Perhaps you are in a boat, say.) This time if you fall, your head will be somewhere in a circle centre your feet and radius your height. Assuming that the position you end up in depends continuously on your starting position, this defines for you a continuous map of the disc that preserves the boundary. By Brouwer it is not a retraction, so there must be a starting position that stops you falling over.</p> <p>Even if the continuity assumption is not in the end justified, I think this is a good and amusing illustration of the theorem.</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/19330#19330 Answer by kakaz for Applications of Brouwer's fixed point theorem kakaz 2010-03-25T17:33:51Z 2010-03-25T17:33:51Z <p>Simple and example, for which You may perform demonstration here, is to use some piece of rubber balloon and a lamp.If You stretch it and show that it leaves a shadow on the table. Then leave rubber to fall on the table, it should drop within area where the shadow was dropped previously. There should be point which after falling ( and release of stretching) should remain in precisely the same position.</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/19346#19346 Answer by 7-adic for Applications of Brouwer's fixed point theorem 7-adic 2010-03-25T19:47:33Z 2010-03-25T19:47:33Z <p>By the fixed point theorem, one can prove that a polynomial with complex coefficients has at least a root in complex plane. It is not really cool but fits your audience. </p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/26115#26115 Answer by Buschi Sergio for Applications of Brouwer's fixed point theorem Buschi Sergio 2010-05-27T07:48:50Z 2010-05-27T07:48:50Z <p>ABout Hex game see <a href="http://www.cs.cmu.edu/afs/cs/academic/class/15859-f01/www/notes/brouwer-hex.pdf" rel="nofollow">http://www.cs.cmu.edu/afs/cs/academic/class/15859-f01/www/notes/brouwer-hex.pdf</a></p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/26123#26123 Answer by Alekk for Applications of Brouwer's fixed point theorem Alekk 2010-05-27T08:49:28Z 2010-05-27T08:49:28Z <p>It can be used to show that a matrix with positive entries has an eigenvector with positive entries: that shows the existence of an invariant measure in the theory of finite space Markov chains.</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/53131#53131 Answer by John Palmieri for Applications of Brouwer's fixed point theorem John Palmieri 2011-01-24T21:32:17Z 2011-01-24T21:32:17Z <p>I've been thinking about a very similar issue: I was considering giving a talk about the Brouwer fixed point theorem to some math majors (but not necessarily ones very familiar with point-set topology).</p> <p>There is an elementary proof which uses <a href="http://en.wikipedia.org/wiki/Sperner%2527s_lemma" rel="nofollow">Sperner's lemma</a>; see Michael Henle's book <em>A Combinatorial Introduction to Topology</em> for details. You can outline a proof of Sperner's lemma pretty quickly (induction on dimension, and dimension 1 is easy), and from that, you can wave your hands (or be more precise, depending on how much your audience knows about compactness) to get Brouwer's theorem. Since Sperner's lemma holds in higher dimensions, you can prove the fixed point theorem in higher dimensions, also.</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/53146#53146 Answer by Lennart Meier for Applications of Brouwer's fixed point theorem Lennart Meier 2011-01-24T22:26:38Z 2011-01-24T22:26:38Z <p>The Schauder fixed point theorem can be proved using the Brouwer fixed point theorem. It says that if $K$ is a convex subset of a Banach space (or more generally: topological vector space) $V$ and $T$ is a continuous map of $K$ into itself such that $T(K)$ is contained in a compact subset of $K$, then $T$ has a fixed point.</p> <p>The Schauder fixed point theorem in its turn is an important tool for existence proofs in differential equations. One easy application is the Peano existence theorem, but there are also more sophisticated examples.</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/57960#57960 Answer by Emil Jeřábek for Applications of Brouwer's fixed point theorem Emil Jeřábek 2011-03-09T15:14:13Z 2011-03-09T15:14:13Z <p>I really like the short proof of Jordan curve theorem using Brouwer’s fixed-point theorem given in <a href="http://www.math.auckland.ac.nz/class750/section5.pdf" rel="nofollow">these lecture notes</a>.</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/57992#57992 Answer by Bill Johnson for Applications of Brouwer's fixed point theorem Bill Johnson 2011-03-09T20:27:57Z 2011-03-09T20:27:57Z <p>One standard consequence of Brouwer's theorem is Borsuk's antipodal mapping theorem, which in turn is used to prove that if $E$, $F$ are subspaces of a normed space and the dimension of $E$ is strictly less than the dimension of $F$, then there is a unit vector in $F$ whose distance to $E$ is one. This result is used often in Banach space theory.</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/76086#76086 Answer by Roger Howe for Applications of Brouwer's fixed point theorem Roger Howe 2011-09-21T21:38:10Z 2012-11-18T17:01:39Z <p>The Brouwer Theorem can be used to prove that a mapping of ${\bf R}^n$ to itself that has <em>bounded displacement</em>, in the sense that any point is moved at most a fixed amount from its original location, is onto. This seems be a folklore result. I wonder if anyone has a reference for it.</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/112439#112439 Answer by Pietro Majer for Applications of Brouwer's fixed point theorem Pietro Majer 2012-11-15T00:15:10Z 2012-11-15T07:05:38Z <p>The following is not exactly an application, but rather a funny picture to illustrate the theorem, precisely in the form of the non-retraction theorem. </p> <p>Suppose a shark jumps into a shoal of fish (a kind of big ball). The small fishes start escaping in all directions towards the border of the shoal, where the fishes stand still. Yet they escape with a certain disposition to follow a continuous flow, as they usually do, since everybody tends to follow its neighborhoods. But since there is no continuous retraction to the boundary, somebody doesn't know where to go, and stay there for a moment, much to the shark's satisfaction. There is also a 2D version, with a wolf entering into a herd of sheeps. This is just a funny picture, though I like to think that there is some truth in it. </p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/112462#112462 Answer by Denis Serre for Applications of Brouwer's fixed point theorem Denis Serre 2012-11-15T07:44:37Z 2012-11-15T14:38:12Z <p>In many nonlinear equations, the existence of a solution (but not its uniqueness) follows from a topological argument in the vein of BFP Theorem. The BFP is at work especially when the equation is posed in some finite dimensional vector space, and you can establish an <em>a priori</em> estimate of the size of the solution. This means that you know a ball $B_R$ containing all the solutions.</p> <p>The most important example of this situation is the <em>stationary</em> Navier-Stokes equation, with Dirichlet condition $u=0$ on the boundary of the domain. Of course, the ambient space is infinite dimensional, so you first establish the existence of an approximate solution in a subspace of dimension $n$ (Galerkin procedure); this is where you use the BFP Theorem, or its equivalent form that a continuous vector field over $B_R$ which is outgoing on $\partial B_R$ must vanish somewhere. Then passing to the limit as $n\rightarrow\infty$ is pedestrian.</p> <p>The BFP Theorem is a consequence of the fact that the Euler-Poincaré characteristic of the ball is non-zero. There are counterparts when you work on a compact manifold (with boundary) whose EPC is non-zero. This happened to me in a very interesting way. I considered the free fall of a rigid body in water filling the entire space. The mathematical problem is a coupling between Navier-Stokes and the Euler equation for the top. I looked at a permanent regime, in which the solid body has a time-independent velocity field, and that of the fluid is time-independent as well, once you consider it in the moving frame attached to the solid. The difficulty is that you don't know <em>a priori</em> the direction of the vertical axis (the direction of gravity) in this frame. After a Galerkin procedure, the problem reduces to the search of a zero of a tangent vector field over $B_R\times S^2$. This vector field is outgoing on the boundary $\partial B_R\times S^2$. Because $$EP(B_R\times S^2)=EP(B_R)\cdot EP(S^2)=1\cdot2\ne0,$$ such a zero exists. Therefore the permanent regime does exist. Remark that because $EP=2$, we even expect an even number of solutions when counting multiplicities, at least at each level of the Galerkin approximation.</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/112766#112766 Answer by M Mueger for Applications of Brouwer's fixed point theorem M Mueger 2012-11-18T15:16:14Z 2012-11-18T15:16:14Z <p>The Perron-Frobenius theorem (in various degrees of generality) is an easy consequence of Brouwer's fixed-point theorem.</p> http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/112779#112779 Answer by Igor Rivin for Applications of Brouwer's fixed point theorem Igor Rivin 2012-11-18T19:31:24Z 2012-11-18T19:31:24Z <p>The proof of the fundamental theorem of algebra using the Brouwer fixed point theorem is given here:</p> <pre><code> B.H. Arnold, "A topological proof of the fundamental theorem of algebra" Amer. Math. Monthly , 56 (1949) pp. 465–466 </code></pre>