Applications of compactness - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T19:43:56Z http://mathoverflow.net/feeds/question/27660 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/27660/applications-of-compactness Applications of compactness norondion 2010-06-10T07:51:28Z 2010-06-24T09:18:53Z <p>Similar to this question: <a href="http://mathoverflow.net/questions/26585/applications-of-connectedness" rel="nofollow">http://mathoverflow.net/questions/26585/applications-of-connectedness</a> I want to collect applications of compactedness.</p> <p>E.g.: compact + discrete => finite, which can be used to prove the finiteness of the automorphism group of polarized abelian varieties.</p> http://mathoverflow.net/questions/27660/applications-of-compactness/27661#27661 Answer by Diego Matessi for Applications of compactness Diego Matessi 2010-06-10T08:04:22Z 2010-06-10T08:04:22Z <p>A map from a compact space to a Hausdorff space is a homeomorphism if and only if it is continuous and bijective. This is useful to prove, for example, that all simple and closed curves are homeomorphic to the circle. </p> http://mathoverflow.net/questions/27660/applications-of-compactness/27665#27665 Answer by coudy for Applications of compactness coudy 2010-06-10T08:19:55Z 2010-06-10T08:19:55Z <p>Any continuous function on a compact space is bounded and admits a maximum. This is perhaps the most important application to compactness.</p> <p>Also pretty important in my opinion is the fact that a bijective continuous map $f:X\rightarrow Y$, X,Y Hausdorff topological spaces, is automatically an homeomorphism if X is compact. </p> <p>Another important application of compactness is the Stone-Weierstrass theorem : assuming X compact, a subalgebra of $C^0(X,R)$ is dense iff it separates points.</p> <p>Now something a bit more fancy :</p> <p>Let G be a compact group. Then the semi-group generated by an element is dense in the groupe generated by that element.</p> <p>All maximal connected compact subgroups of Lie groups are conjuguated to each other.</p> <p>Let $f_n$ a sequence of continuous functions on a compact space that converges uniformly to $f$. Then for all neighborhood $V$ of $f^{-1}(0)$, and any sufficiently big n, $f_n^{-1}(0)$ is contained in $V$.</p> <p>Compact manifolds (more generally ANR) have finitely generated homology groups.</p> <p>On a compact smooth riemannian manifold, there is always infinitely many geodesics connecting two points.</p> <p>The list goes on forever. Let me end with some famous conjecture on compact spaces (Kaplansky). Let X be a Hausdorff compact space. Are all algebra homomorphisms from $C^0(X)$ to a Banach algebra A , continuous ?</p> http://mathoverflow.net/questions/27660/applications-of-compactness/27666#27666 Answer by Tom Boardman for Applications of compactness Tom Boardman 2010-06-10T08:33:48Z 2010-06-10T08:33:48Z <p>Compactness allows one to formulate <a href="http://en.wikipedia.org/wiki/Poincar%25C3%25A9_duality/%20%22Poincare%20Duality%22%20" rel="nofollow">Poincare Duality</a>, which effectively doubles your data on the geometry of a compact manifold. </p> http://mathoverflow.net/questions/27660/applications-of-compactness/27668#27668 Answer by jeremy for Applications of compactness jeremy 2010-06-10T08:55:55Z 2010-06-10T08:55:55Z <p>You might be interested by this article by Terry Tao.</p> <p><a href="http://www.math.ucla.edu/~tao/preprints/compactness.pdf" rel="nofollow">"Compactness and Compactification"</a> </p> <p>Which contains a really great discussion of compactness, applications of compactness, and what compactness means. But my favorite part of the article is the end, since it is the only part that contained a statement which really surprised me. Which I will quote directly, not feigning to describe something better than Terry Tao:</p> <blockquote> <p>Another use of compactifications is to allow one to rigorously view one type of mathematical object as a limit of others. For instance, one can view a straight line in the plane as the limit of increasingly large circles, by describing a suitable compactification of the space of circles which includes lines; this perspective allows us to deduce certain theorems about lines from analogous theorems about circles, and conversely to deduce certain theorems about very large circles from theorems about lines. In a rather different area of mathematics, the Dirac delta function is not, strictly speaking, a function, but exists in a certain (local) compactification of spaces of functions, such as spaces of measures or distributions. Thus one can view the Dirac delta function as a limit (in a suitably weak topology) of classical functions, which can be very useful for manipulating that function. One can also use compactifications to view the continuous as the limit of the discrete; for instance, it is possible to compactify the sequence Z/2Z, Z/3Z, Z/4Z, etc. of cyclic groups, so that their limit is the circle group T = R/Z. These simple examples can be generalised into much more sophisticated examples of compactifications (and to the closely related concept of completions), which have many applications in geometry, analysis, and algebra.</p> </blockquote> http://mathoverflow.net/questions/27660/applications-of-compactness/27671#27671 Answer by Michael Greinecker for Applications of compactness Michael Greinecker 2010-06-10T09:33:31Z 2010-06-10T09:33:31Z <p>The following maximization result makes it very explicit how one can use compactness to transfer results about finite sets to compact sets.</p> <p>Let X be a compact topological space and P be a (strict) partial order on X. Assume that $L_x=${$y\in X:y P x$} is open for all x. Then there exists a P-maximal element.</p> <p>Proof: Suppose not. Then the family of all $L_x$ covers X. By compactness, there is a finite subcover, so X is covered by ${L_x}_1,{L_x}_2,\ldots,{L_x}_n$. So the finite set containing $x_1,\ldots,x_n$ has no P-maximal element, which is impossible.</p> http://mathoverflow.net/questions/27660/applications-of-compactness/27672#27672 Answer by gowers for Applications of compactness gowers 2010-06-10T09:39:28Z 2010-06-10T09:39:28Z <p>Compactness is crucial to many discretization arguments. For example, if you have a compact subset K of a domain D in the complex numbers, it is sometimes useful to cover it with a grid of squares. To do this, you argue by compactness that there is some positive delta such that every point in K is at least delta away from the complement of D. Then you place down a grid of squares of sidelength delta/2 (say), and each square that intersects K will lie entirely in D. One reason this is useful is that the boundary of the union of squares that intersect K is guaranteed to be reasonably nice in a way that the boundary of K is not.</p> http://mathoverflow.net/questions/27660/applications-of-compactness/27703#27703 Answer by Nate Eldredge for Applications of compactness Nate Eldredge 2010-06-10T14:59:50Z 2010-06-10T14:59:50Z <p>As a special case of coudy's first answer, compactness is commonly used in calculus of variations to show existence of a maximizer (or minimizer).</p> <p>Suppose we have some collection $X$ of functions, a continuous functional $E : X \to R$, and we know $M :=\sup_{f \in X} E[f] &lt; \infty$. So for each $n$ there is a function $f_n$ with $E[f_n] \ge M-1/n$, but we do not know if there is a function $f$ with $E[f] = M$. If $X$ is compact in an appropriate topology, $f_n$ will have a convergent subsequence $f_{n_k} \to f$, and the limit $f$ of this subsequence must have $E[f] = M$. The Arzela-Ascoli theorem is a good example of a way to obtain the compactness.</p> http://mathoverflow.net/questions/27660/applications-of-compactness/27705#27705 Answer by Nate Eldredge for Applications of compactness Nate Eldredge 2010-06-10T15:04:39Z 2010-06-10T15:04:39Z <p>As a generalization of "compact + discrete => finite", we have "locally compact + linear => finite dimensional," which supplies a lot of no-go theorems in functional analysis. For instance, compact operators on infinite-dimensional spaces can't be invertible.</p> http://mathoverflow.net/questions/27660/applications-of-compactness/27719#27719 Answer by Andrea Ferretti for Applications of compactness Andrea Ferretti 2010-06-10T16:39:58Z 2010-06-10T17:45:55Z <p>Let me include an example of compactness which is a bit farther away from analysis and geometry.</p> <p>Given a set <code>$F = \{ \phi_i \}$</code> of symbols of prepositions, assume that you form some composed prepositions connecting those with the symbols $\wedge$, $\vee$, $\neg$ and parenthesis (let me be not really precise here). A valid concatenation is for instance $(\phi \vee \psi) \wedge (\neg \rho)$. Take any set $X$ of composed propositions. We say that $X$ is non-contradictory if one can assign a truth value to all $\phi_i$ in such a way that, using ordinary rules for connectives, all sentences in $X$ are true.</p> <blockquote> <p>Theorem: If every finite subset of $X$ is non-contradictory, $X$ is non-contradictory as well.</p> </blockquote> <p>The proof is simple. The set of possible choices for truth values is just <code>$Y = \{0, 1\}^F = \prod_{\phi_i \in F} \{0, 1 \}$</code>. Topologize $Y$ with the product topology, using the discrete topology on <code>$\{0, 1\}$</code>. Then $Y$ is compact by Tychonoff's theorem. For each composed preposition $\psi \in X$, the set <code>$\{\psi \text{ is true} \}$</code> is a finite intersection of closed subset, hence a closed subset of $Y$.</p> <p>The hypothesis says that the intersection of finitely many of these closed sets is non-empty; by compactness, the intersection of all these closed subsets is not empty, which is the thesis.</p> http://mathoverflow.net/questions/27660/applications-of-compactness/27748#27748 Answer by Jeremy Brazas for Applications of compactness Jeremy Brazas 2010-06-10T23:35:17Z 2010-06-11T16:16:34Z <p>Compactifications were mentioned in general above... but I think this might be worth mentioning.</p> <p>The Stone-Cech compactification $\beta$ is used all the time since it produces a compact Hausdorff space from an arbitrary space in the "most efficient way." Just looking at applications of $\beta$ might be a more pointed question than asking about the wide world of compactness.</p> <p>$\beta$ is used frequently in topological algebra since the topological structure of universal algebras on non-compact spaces is often highly complicated. Specifically, it is used in <a href="http://www.jstor.org/pss/2041864" rel="nofollow">Applications of the Stone-Cech compactification to free topological groups</a> to give extremely short proofs of some important results in the study of free topological groups. The original proof of Joiner's Fundamental Lemma is rather long and complicated. The paper by Hardy, Morris, and Thomas-Smith I have linked here (sorry if you don't have free access to this) gives a two page proof. One can also prove some nice embedding theorems for topological groups in just a few lines using $\beta$. To see some more applications of $\beta$ to topological groups see Arhangel'skii and Tkachenko's book.</p> http://mathoverflow.net/questions/27660/applications-of-compactness/27822#27822 Answer by Martin Brandenburg for Applications of compactness Martin Brandenburg 2010-06-11T15:12:20Z 2010-06-24T09:18:53Z <p>Every scheme, whose underlying space is hausdorff and compact, is affine. ;-)</p> <p>[This answer is just for amusement]</p> http://mathoverflow.net/questions/27660/applications-of-compactness/27831#27831 Answer by auniket for Applications of compactness auniket 2010-06-11T16:02:28Z 2010-06-11T16:02:28Z <p><a href="http://books.google.ca/books?id=CbmaGqCRbhUC&amp;printsec=frontcover&amp;dq=fulton+toric+varieties&amp;source=bl&amp;ots=WGvezXIZHk&amp;sig=NTCwwnU1ntXMwEH0Uo4Nz8qhYj8&amp;hl=en&amp;ei=o1gSTM2qFcP7lweJqPGPCA&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=3&amp;ved=0CCEQ6AEwAg#v=snippet&amp;q=gordon%27s&amp;f=false" rel="nofollow">Gordan's lemma</a> is another application of "compact + discrete => finite", but it is one of the basic building blocks of the theory of toric varieties. <br></p> <p>In some sense the theory of division by polynomials (i.e. the Gr&ouml;bner basis theory) is a manifestation of compactness, e.g. <a href="http://books.google.ca/books?id=E3sKOHH3990C&amp;dq=ideals,+varieties,+and+algorithms&amp;printsec=frontcover&amp;source=bn&amp;hl=en&amp;ei=2VoSTKahKcOclgfUlvDpBw&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=4&amp;ved=0CCUQ6AEwAw#v=onepage&amp;q=dickson%27s%20&amp;f=false" rel="nofollow">Dickson's lemma</a> can be stated and proved as an application of compactness, see e.g. <a href="http://en.wikipedia.org/wiki/Dickson%27s_lemma" rel="nofollow"> the wikipedia entry</a>. I guess this is an example of the principle mentioned in the answer of Michael Greinecker.</p> http://mathoverflow.net/questions/27660/applications-of-compactness/27837#27837 Answer by Dan Piponi for Applications of compactness Dan Piponi 2010-06-11T16:52:16Z 2010-06-11T16:52:16Z <p>I thought I'd give the experts on this subject a day to respond. But as they haven't, I'll describe this nice computational application of compactness myself:</p> <p>One interesting feature of compact spaces is that they can be exhaustively searched on a computer in a finite time, even if they are infinite.</p> <p>A great example is described <a href="http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/" rel="nofollow">here</a>. Consider the <a href="http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/" rel="nofollow">Cantor space</a> of infinite binary sequences $C=2^\omega$. Suppose we have a computable predicate on this space, ie. a computable function $f\colon 2^\omega\rightarrow 2=\{0,1\}$. Then we can search all of $C$ to find an element that satisfies $f(x)=1$, or show that there is no such $x$, with an algorithm that is guaranteed to terminate.</p> <p>The algorithm is described <a href="http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/" rel="nofollow">here</a>. The important point is that (with the right topology) the computable functions are continuous and that the Cantor space is compact. This means that any predicate $f$ on $C$ is uniformly continuous in the sense that there is an $n$ such that $f$ can be computed without examining more than the first $n$ digits in its argument. From that it can eventually be deduced that the search for an element of $C$ satisfying $f$ can be completed in finite time.</p> <p>This is somewhat surprising given that we can't exhaustively search $\mathbb{N}$ with a computable predicate in finite time, and yet $2^\omega$ seems like a 'larger' space.</p>