Fundamental theorems - MathOverflow [closed] most recent 30 from http://mathoverflow.net 2013-06-20T07:25:19Z http://mathoverflow.net/feeds/question/25332 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/25332/fundamental-theorems Fundamental theorems To be cont'd 2010-05-20T08:25:14Z 2010-05-20T17:37:46Z <p>I am certainly sure that any one who has read Gil Kalai's witty community wiki has benefited a lot. Here I follow a similar track in asking this question. So let's compose a list of fundamental theorems in mathematics which may not even have the tag "fundamental" but have serious wight in the respective branch of math.</p> <p>I will start with the elementary and very popular ones.(Please add a description if the theorem is fundamental but still not so well-known)</p> <p>Thanks for all your effort.</p> <ol> <li><p>FTA: The Fundamental Theorem of Arithmetic (or Unique-Prime-Factorization Theorem): ->Any integer greater than 1 can be written as a unique product (up to ordering of the factors) of prime numbers.</p></li> <li><p>FTA: The Fundamental theorem of Algebra: -> The field of complex numbers is algebraically closed</p></li> <li><p>FTC: The fundamental theorem of calculus: -> Has two parts and specifies the relationship between the two central operations of calculus: differentiation and integration.</p></li> <li><p>FTLP: The fundamental theorem of linear programming: -> In a weak formulation, states that the maxima and minima of a linear function over a convex polygonal region occur at the region's corners.</p></li> </ol> http://mathoverflow.net/questions/25332/fundamental-theorems/25339#25339 Answer by Charles Matthews for Fundamental theorems Charles Matthews 2010-05-20T09:58:51Z 2010-05-20T17:08:01Z <p>To add to the Gowers examples: the <strong>fundamental theorem on finitely-generated abelian groups</strong>. It seems at least a mildly interesting linguistic point. German discriminates between <em>Hauptsatz</em> and <em>Fundamentalsatz</em>, i.e. main theorem and fundamental theorem (if <em>satz</em> is not quite "theorem"). That distinction seems less clear in the English usage. The German Wikipedia admits the Fundamental Theorems of Algebra, Analysis and Arithmetic, but others in pure mathematics aren't obvious. I would myself think of Galois theory (the perfect duality of subfields and subgroups) and projective geometry (collineations semi-coordinatised) as having "fundamental theorems".</p> http://mathoverflow.net/questions/25332/fundamental-theorems/25350#25350 Answer by Gerry Myerson for Fundamental theorems Gerry Myerson 2010-05-20T12:03:08Z 2010-05-20T12:03:08Z <p>I used to joke that The Fundamental Theorem of Combinatorics is interchange of summation. </p> http://mathoverflow.net/questions/25332/fundamental-theorems/25391#25391 Answer by Nate Eldredge for Fundamental theorems Nate Eldredge 2010-05-20T17:06:09Z 2010-05-20T17:06:09Z <p><strong>The Fundamental Theorem of Asset Pricing (FTAP)</strong> in mathematical finance also comes in two parts. The first part says, more or less, that a market is <em>arbitrage-free</em> if and only if there is an equivalent martingale measure for the discounted price process. The second part says that the market is <em>complete</em> (all European options can be hedged) if and only if the equivalent martingale measure is unique.</p> <p>(In some models, you may need an appropriate definition of "arbitrage-free", such as the notion of "no free lunch with vanishing risk", and you may replace "equivalent martingale measure" with "equivalent local martingale measure". But the idea is the same.)</p> http://mathoverflow.net/questions/25332/fundamental-theorems/25392#25392 Answer by Nate Eldredge for Fundamental theorems Nate Eldredge 2010-05-20T17:09:58Z 2010-05-20T17:09:58Z <p>Wikipedia says the <strong>Fundamental Theorem of Riemannian Geometry</strong> is the unique existence of the Levi-Civita connection. I've never heard it called that myself, so this is maybe an anti-answer.</p> http://mathoverflow.net/questions/25332/fundamental-theorems/25397#25397 Answer by HW for Fundamental theorems HW 2010-05-20T17:37:46Z 2010-05-20T17:37:46Z <p>In his book <em>Topics in Geometric Group Theory</em>, Pierre de la Harpe calls the following result the <strong>Fundamental Observation of Geometric Group Theory</strong> (though he also calls it a theorem!). It is also often called the Svarc--Milnor Lemma. Roughly speaking, it asserts that the coarse geometry of a group is captured by any suitably nice action of that group by isometries on a metric space.</p> <p><strong>Theorem.</strong> Let $X$ be a metric space that is geodesic and proper, let $\Gamma$ be a group and let $\Gamma$ act properly discontinuously and cocompactly by isometries on $X$. Then $\Gamma$ is finitely generated, and furthermore for any $x_0\in X$ the map $\Gamma\to X$ given by</p> <p>$\gamma\mapsto\gamma x_0$</p> <p>is a quasi-isometry.</p> <p><strong>Remarks.</strong></p> <ol> <li>$\Gamma$ is endowed with the word metric (with respect to some choice of finite generating set).</li> <li><p>A map of metric space $f:Y\to X$ is a <em>quasi-isometric embedding</em> if there are constants $\lambda\geq 1$, $\mu\geq 0$ such that</p> <p>$\lambda d_Y(y_1,y_2)+\mu\geq d_X(f(y_1),f(y_2))\geq \frac{1}{\lambda} d_Y(y_1,y_2)-\mu$</p> <p>for all $y_1,y_2\in Y$. It is a <em>quasi-isometry</em> if, furthermore, for every $x\in X$ there is $y\in Y$ such that $d(x,f(y))\leq \mu$.</p></li> </ol>