Applications of connectedness - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T02:42:42Z http://mathoverflow.net/feeds/question/26585 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/26585/applications-of-connectedness Applications of connectedness Mariano Suárez-Alvarez 2010-05-31T14:38:20Z 2012-02-27T04:59:45Z <p>In an «advanced calculus» course, I am talking tomorrow about connectedness (in the context of metric spaces, including notably the real line).</p> <blockquote> <p>What are nice examples of applications of the idea of connectedness?</p> </blockquote> <p>High wow-ratio examples are specially welcomed... :)</p> http://mathoverflow.net/questions/26585/applications-of-connectedness/26589#26589 Answer by Xandi Tuni for Applications of connectedness Xandi Tuni 2010-05-31T15:08:48Z 2010-05-31T15:08:48Z <p>You can use conectedness of $\mathbb R^n \setminus 0$ for $n\geq 2$ to show that doesn't exist a an $\mathbb R$-division algebra of any odd dimension $n\geq 3$.</p> <p>Take any odd $n\geq 1$ and a $\mathbb R$-algebra $A$ of dimension $n$. For $a\in A$ denote by $f(a)$ the determinant of the linear map $A\to A$ given by $x\mapsto ax$. This is a continuous function on $A$ and we have $f(1)=1$ and $f(-1)=-1$ because $n$ is odd. If $A$ is a division algebra, then $f(a)$ is nonzero for all $a\neq 0$, what forces $A\setminus 0$ to be disconnected. Hence $n=1$.</p> http://mathoverflow.net/questions/26585/applications-of-connectedness/26591#26591 Answer by coudy for Applications of connectedness coudy 2010-05-31T15:17:16Z 2010-05-31T15:17:16Z <p>You cannot diagonalize real symmetric 2x2 matrices in a continuous way.</p> <p>Let us restrict to the set $Sym^r(R)$ of 2x2 symmetric matrices with two distinct real eigenvalues. Then we have the following result.</p> <p><em>Theorem</em> There is no continuous function $f:Sym^r(R) \rightarrow SO_2(R)$ such that for all $M\in Sym^r(R)$, $f(M)Mf(M)^{-1}$ is diagonal.</p> <p><em>Proof</em> Let us restrict our attention to the $SO_2$-conjuguacy class $O_A$ of some fixed diagonal matrix $A\in Sym^r$. Let $D$ the set of diagonal matrices. If there were such a f, then the map $(A,D)\rightarrow f(A)D$ would give a homeomorphism between $O_A\times (D\cap SO_2)\rightarrow SO_2$. But $D\cap SO_2$ is not connected (it contains only $id$ and $-id$).</p> <p>The complex case with hermitian matrices uses simple connectedness (you end up with $S^2\times S^1 \simeq S^3$). And the result holds in all dimension. This may be the occasion to speak about connectedness of matrix groups.</p> http://mathoverflow.net/questions/26585/applications-of-connectedness/26593#26593 Answer by Mike Skirvin for Applications of connectedness Mike Skirvin 2010-05-31T15:23:08Z 2010-05-31T15:36:15Z <p>You can use connectedness to prove that $\mathbb{R}$ is not homeomorphic to $\mathbb{R}^n$ for any n>1 by noting that $\mathbb{R} \backslash 0$ is not connected while $\mathbb{R}^n \backslash 0$ is connected.</p> <p>The students may not be very impressed by this as it is telling them something they probably already assumed was true. I suppose that if you wanted them to discover cohomology, you could challenge them to find a reason why Euclidean spaces of different dimensions are never homeomorphic (I realize that this probably isn't very reasonable).</p> http://mathoverflow.net/questions/26585/applications-of-connectedness/26596#26596 Answer by darij grinberg for Applications of connectedness darij grinberg 2010-05-31T15:52:42Z 2012-02-27T04:59:45Z <p>Lots and lots of matrix inequalities can be proven using the "connectedness exploit", to an extent that I am happy each time I see one that can't be solved this way.</p> <p>For instance, let us call a matrix $A=\left(a_{i,j}\right)_{1\leq i\leq n,\ 1\leq j\leq n}\in\mathbb R^{n\times n}$ <em>strictly diagonally dominant</em> if every $i\in\left\lbrace 1,2,...,n\right\rbrace$ satisfies $a_{i,i} > \sum\limits_{j\in\left\lbrace 1,2,...,n\right\rbrace ;\ j\neq i} \left|a_{i,j}\right|$. We claim that every strictly diagonally dominant matrix $A$ has determinant $> 0$. In fact, the set of all strictly diagonally dominant matrices (as a subset of $\mathbb R^{n\times n}$) is connected (we can connect every strictly diagonally dominant matrix $A$ to a diagonal matrix with positive entries on the diagonal, just by gradually decreasing all off-diagonal entries), and every strictly diagonally dominant matrix is nonsingular (since every nonzero vector annihilated by such a matrix would lead to a contradiction, because trivial estimates show that whichever of its coordinates has the greatest modulus, there must be another coordinate with yet greater modulus). Qed.</p> <p>Actually, we can do better: For a diagonally dominant matrix $A$ (not necessarily strictly; that is, we allow $\geq$ instead of $>$), we have</p> <p>$\det A\geq \prod\limits_{i=1}^n \left(a_{i,i} - \sum\limits_{j=i+1}^n \left|a_{i,j}\right|\right)$,</p> <p>where $a_{i,j}$ denote the entries of $A$. This is called Ostrowki's theorem and has been discussed <a href="http://www.artofproblemsolving.com/Forum/viewtopic.php?t=176225" rel="nofollow">elsewhere</a>.</p> <p>Another example (which used to be a Vojtech Jarnik contest problem in disguise): If $A\in\mathbb R^{n\times n}$ is a positive definite matrix and $X\in\mathbb R^{n\times n}$ is an antisymmetric matrix, then $\det\left(A+X\right)>0$. The proof is by homotopizing $X$ to $0$ while keeping it antisymmetric (all along the way, the determinant stays nonzero because $v^T\left(A+X\right)v>0$ for any $v\neq 0$). There is also an alternative proof using elementary techniques only; however it is much more complicated.</p> <p>For yet another application of the same tactic, see the proof of Theorem 5.4 in this <a href="http://alexandria.tue.nl/repository/freearticles/593496.pdf" rel="nofollow">proof of van der Waerden's permanent conjecture</a>.</p> http://mathoverflow.net/questions/26585/applications-of-connectedness/26597#26597 Answer by David Carchedi for Applications of connectedness David Carchedi 2010-05-31T16:04:44Z 2010-05-31T16:04:44Z <p>It might be a bit too sophisticated for an advanced calculus course, but, the proof of the fact that the group generated by an open neighborhood of the identity element of a Lie group is the entire connected component around the identity is cute.</p> http://mathoverflow.net/questions/26585/applications-of-connectedness/26619#26619 Answer by Byron Schmuland for Applications of connectedness Byron Schmuland 2010-05-31T19:20:01Z 2010-05-31T19:20:01Z <p>If $h:[a,b]\to R$ is continuous and one-to-one, then $h$ is monotone.</p> <p>Proof: The image of the connected set {(s,t): a &lt;= s &lt; t &lt;= b} under the map $h(t)-h(s)$ is a connected subset of $R\setminus{0}$. </p> http://mathoverflow.net/questions/26585/applications-of-connectedness/26624#26624 Answer by KConrad for Applications of connectedness KConrad 2010-05-31T20:27:03Z 2010-05-31T20:27:03Z <p>Do you want an example where you can give the proof, not just the statement, in the lecture too? Lots of other suggestions are great uses of connectedness, but in one lecture where you first introduce the concept I don't think they can be fully explained. Here is one simple result which I think can: a function on an interval I which is locally a polynomial is globally a polynomial. That if, if f : I ---> R and around each a in I there's a neighborhood and a polynomial p_a(x) such that f(x) = p_a(x) for all x in a, then there is a single polynomial p(x) such that f(x) = p(x) for all x in I. The point is that polynomials that agree at infinitely many points are equal everywhere and connectedness lets you show a polynomial locally equal to f near one point has to be locally equal to f everywhere. Admittedly this is not an important result compared to the other suggestions, but it illustrates in a nice way one of the points of connectedness: how it turns local information into global information.</p> http://mathoverflow.net/questions/26585/applications-of-connectedness/26625#26625 Answer by David Carchedi for Applications of connectedness David Carchedi 2010-05-31T20:31:21Z 2010-05-31T20:31:21Z <p>Yet another rather simple application is that any continuous function $f:X \to \mathbb{Z}$ is constant along each connected component (or just constant if X is connected).</p> http://mathoverflow.net/questions/26585/applications-of-connectedness/26630#26630 Answer by Spencer for Applications of connectedness Spencer 2010-05-31T22:03:27Z 2010-05-31T22:03:27Z <p>You can get the maximum principle for subharmonic functions: Write $F$ for the supremum of $f$ in $\Omega$, write $A$ for the set where $f = F$ and $B$ for the set where $f &lt; F$. Then</p> <p>$\Omega = A \cup B$.</p> <p>Now, B is open by upper semicontinuity. If the first is non-empty then it is fairly straightforward to show that it too must be open and therefore the whole domain.</p> http://mathoverflow.net/questions/26585/applications-of-connectedness/26650#26650 Answer by Yuri Bakhtin for Applications of connectedness Yuri Bakhtin 2010-06-01T01:35:26Z 2010-06-01T01:35:26Z <p>In robotic motion planning, see, e.g., <a href="http://parasol.tamu.edu/~amato/Courses/padova04/lectures/L1.intro.ps" rel="nofollow">http://parasol.tamu.edu/~amato/Courses/padova04/lectures/L1.intro.ps</a> the connectedness of the configuration space means that one can reach the desired arrangement of solid objects from any initial arrangement.</p> http://mathoverflow.net/questions/26585/applications-of-connectedness/26664#26664 Answer by Victor Protsak for Applications of connectedness Victor Protsak 2010-06-01T04:24:44Z 2010-06-01T04:24:44Z <p>Our space has two different orientations. It is possible to deform any "right" frame into the standard one (keeping it a frame throughout), but impossible to do it with a "left" frame.</p> <p>(I originally misread your question as asking about applications of connectedness <em>of the real line</em>.) </p> http://mathoverflow.net/questions/26585/applications-of-connectedness/27484#27484 Answer by Diego Matessi for Applications of connectedness Diego Matessi 2010-06-08T16:02:08Z 2010-06-08T16:02:08Z <p>As an application of connectedness you can prove the "Borsuk-Ulam" theorem in dimension 1, i.e. that for any continuous function $f$ from $S^1$ to the reals there are two radially symmetric points which are mapped to the same point. This is because the function g(v) = f(v) - f(-v) is either constant or has points where it is positive and points where it is negative, therefore it must have a point where it is zero.</p> <p>As an application of this fact you can show that for any pair of compact regions A and B inside the plane there is one line splitting each region in pieces of equal area (see the book by Kosniowski, A first course in algebraic topology, where this is referred to as a "pancake problem"). </p> http://mathoverflow.net/questions/26585/applications-of-connectedness/27505#27505 Answer by Gerhard Paseman for Applications of connectedness Gerhard Paseman 2010-06-08T19:27:18Z 2010-06-08T19:27:18Z <p>For high wow factor, try the topologists sine curve, to let students know that there is more to connectivity than paths. Not so much an application as a hint to how wierd the concept can become.</p> <p>Gerhard "Ask Me About System Design" Paseman, 2010.06.08</p>