What are some slogans that express mathematical tricks? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T20:59:35Z http://mathoverflow.net/feeds/question/8874 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks What are some slogans that express mathematical tricks? Harrison Brown 2009-12-14T14:52:24Z 2011-05-26T10:24:40Z <p>Many "tricks" that we use to solve mathematical problems don't correspond nicely to theorems or lemmas, or anything close to that rigorous. Instead they take the form of analogies, or general methods of proof more specialized than "induction" or "reductio ad absurdum" but applicable to a number of problems. These can often be summed up in a "slogan" of a couple of sentences or less, that's not fully precise but still manages to convey information. What are some of your favorite such tricks, expressed as slogans?</p> <p>(Note: By "slogan" I don't necessarily mean that it has to be a well-known statement, like Hadamard's "the shortest path..." quote. Just that it's fairly short and reasonably catchy.)</p> <p>Justifying blather: Yes, I'm aware of the <a href="http://www.tricki.org/" rel="nofollow">Tricki</a>, but I still think this is a useful question for the following reasons:</p> <ol> <li>Right now, MO is considerably more active than the Tricki, which still posts new articles occasionally but not at anything like the rate at which people contribute to MO.</li> <li>Perhaps causally related to (1), writing a Tricki article requires a fairly solid investment of time and effort. The point of slogans is that they can be communicated without much of either. If you want, you can think of this question as "Possible titles for Tricki articles," although that's by no means its only or even main purpose.</li> </ol> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/8875#8875 Answer by Harrison Brown for What are some slogans that express mathematical tricks? Harrison Brown 2009-12-14T14:56:09Z 2009-12-14T14:56:09Z <p>If you want to show that a graph has few edges, prove that not too many vertices can have large degree. </p> <p>(The complementary statement is the main trick in the solution to <a href="http://mathoverflow.net/questions/7541/extremal-question-on-matrices" rel="nofollow">this MO question</a>, by way of example. It's also used in the proof of the Stanley-Wilf conjecture.)</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/8876#8876 Answer by Harrison Brown for What are some slogans that express mathematical tricks? Harrison Brown 2009-12-14T15:07:55Z 2009-12-14T15:07:55Z <p>Weil's "three columns": Number fields over $\mathbb{Q}$ behave like function fields of curves over finite fields which are related to the field of algebraic functions over $\mathbb{C}$. (This is far removed from my comfort zone, so please fix it if I'm off the mark.)</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/8877#8877 Answer by Orbicular for What are some slogans that express mathematical tricks? Orbicular 2009-12-14T15:15:49Z 2009-12-14T15:15:49Z <p>If something does not hold, make it true! Examples: - Sobolev spaces (not necessarily differentiable functions satisfy differential equations) - distribution theory (think of identities involving the delta "function") - no converging? take the closure of your vector space (analysis) or compactify your space (geometry)</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/8893#8893 Answer by Nick Salter for What are some slogans that express mathematical tricks? Nick Salter 2009-12-14T17:48:08Z 2009-12-14T17:48:08Z <p>You <em>must</em> exchange the order of summation in order to prove any identity involving multiple sums.</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/8906#8906 Answer by Ilya Grigoriev for What are some slogans that express mathematical tricks? Ilya Grigoriev 2009-12-14T20:24:03Z 2009-12-15T04:15:40Z <p>Try to replace a structure on an object with a map to a clasifying object.</p> <p>E.g., replace a cohomology class of a space with a map to an Eilenberg-MacLane space. Replace a vector/general bundle on a manifold with a map to the Grassmanian/other classifying space. </p> <p>There must also be plenty of examples outside algebraic topology, though this technique seems to be most popular there...</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/8936#8936 Answer by Darsh Ranjan for What are some slogans that express mathematical tricks? Darsh Ranjan 2009-12-15T01:40:43Z 2009-12-15T01:40:43Z <p>The analyst's toolbox consists of three things: </p> <ol> <li>The Cauchy-Schwarz inequality</li> <li>Changing the order of integration/summation</li> <li>Integration by parts</li> </ol> <p>(I'm not saying I believe that; it's just a very common saying.) </p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/8952#8952 Answer by shenghao for What are some slogans that express mathematical tricks? shenghao 2009-12-15T04:24:58Z 2009-12-15T04:24:58Z <p>Devissage is a useful tool when proving something holds for a general class of objects, at least in algebraic geometry, like all schemes/stacks/morphisms.</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/11634#11634 Answer by Norman Lewis Perlmutter for What are some slogans that express mathematical tricks? Norman Lewis Perlmutter 2010-01-13T06:40:28Z 2010-01-13T06:40:28Z <p>I forget who this is attributed to, but someone said something like "A technique is a trick used twice."</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/11639#11639 Answer by Charles Siegel for What are some slogans that express mathematical tricks? Charles Siegel 2010-01-13T07:22:59Z 2010-01-13T07:22:59Z <p>Look at flabbier objects. This seems to be especially useful in complex algebraic geometry. Hard to prove something for varieties? See if there's a version that's true for schemes. Or maybe Kahler manifolds. Or worse: stacks. Vector bundles giving you trouble? Try coherent sheaves. Try quasi-coherent sheaves. In fact, try complexes of them. This is really just a special case of "Generalize the question as far as you can" but in this specific case, it's rather clarifying, here are some examples in algebraic geometry:</p> <ol> <li>It's hard to say anything about fundamental groups of complex projective varieties that isn't also true about compact Kahler manifolds. Perhaps the proof should focus on using the Kahler structure, when you're working on these.</li> <li>Want to parameterize subvarieties of a projective variety? Tough, it doesn't work. SubSCHEMES, however, gives the Hilbert Scheme.</li> <li>Proving things about ideals is often easier to do with modules in general</li> </ol> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/39794#39794 Answer by Federico Poloni for What are some slogans that express mathematical tricks? Federico Poloni 2010-09-23T21:04:19Z 2010-09-23T21:04:19Z <p>A perfect example are the twelve heuristics listed on page 1 of L. Larson, "Problem solving through problems": <a href="http://books.google.com/books?id=qFNZIUQ_MYUC&amp;lpg=PP1&amp;dq=larson%20problem%20solving&amp;pg=PA1#v=onepage&amp;q&amp;f=false" rel="nofollow">http://books.google.com/books?id=qFNZIUQ_MYUC&amp;lpg=PP1&amp;dq=larson%20problem%20solving&amp;pg=PA1#v=onepage&amp;q&amp;f=false</a></p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/39796#39796 Answer by Paul Siegel for What are some slogans that express mathematical tricks? Paul Siegel 2010-09-23T22:08:42Z 2010-09-23T22:08:42Z <p>There are two interesting tricks in K-theory / operator algebras / homotopy theory - one attached to an amusing slogan and the other with an amusing name - that I think foot the bill.</p> <p>The first is "uniqueness is a relative form of existence", due apparently to Shmuel Weinberger. This slogan seems to appear frequently in operator theory. Take, for example the problem of proving that K-theory commutes with direct limits (say, of C* algebras $A_1 \subseteq A_2 \subseteq \ldots \subseteq A$). There are two components to the proof: surjectivity (the "existence" part) which amounts to showing that every element of $K_0(A)$ lies in the image of some $K_0(A_j) \to K_0(A)$, and injectivity (the "uniqueness" part) which involves proving that if two elements of $K_0(A_j)$ are equivalent in $K_0(A)$ then they are equivalent in $K_0(A_j)$. Once you have proven existence you can verify uniqueness by joining representatives of your chosen $K_0(A_j)$ classes by a homotopy in the space of generators for $K_0(A)$ and then use your existence argument to lift to a homotopy in $A_j$. In other words, prove uniqueness by applying your existence argument to a pair.</p> <p>The second is the (in)famous "Eilenberg Swindle" which seems to come up everywhere. I first encountered it in K-theory, but I think the canonical example is the argument which proves that the $n$-sphere is prime with respect to connected sum (which I will denote +). Suppose that $M$ and $N$ are manifolds such that $M + N = S^n$. We have that $(M + N) + (M + N) + (M + N) + \ldots$ is homeomorphic to $\mathbb{R}^n$ (it is a cylinder with the left opening glued shut), and similarly so is $(N + M) + (N + M) + \ldots$. Since $M + (N + M) + \ldots = (M + N) + (M + N) + \ldots$, we have shown that $M + \mathbb{R}^n = \mathbb{R}^n$ which forces $M$ to be homeomorphic to $S^n$.</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/39797#39797 Answer by Maxime Bourrigan for What are some slogans that express mathematical tricks? Maxime Bourrigan 2010-09-23T22:22:35Z 2010-09-26T06:08:46Z <p>"Think homologically, prove cohomologically!" definitely sounds like a slogan. One argument for this is that homology has a nice explanation in terms of geometry, think singular simplices or cells, so you can think about a space in terms of its cellular homology. When proving things you might want to have more structure around, like a product, and this is where cohomology comes in.</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/39803#39803 Answer by Richard Borcherds for What are some slogans that express mathematical tricks? Richard Borcherds 2010-09-23T23:30:19Z 2010-09-23T23:30:19Z <p>The best way to solve a problem is to define it out of existence.</p> <p>Typical example: Weil constructed abelian varieties over finite fields, and at first he did not know if these were varieties because it was not clear that they were projective. Weil defined this problem out of existence by changing the definition of variety and inventing abstract varieties.</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/40002#40002 Answer by Christian Bjartli for What are some slogans that express mathematical tricks? Christian Bjartli 2010-09-26T06:40:19Z 2010-09-26T06:40:19Z <p>I'm not sure if this is a bit too general, but it is a slogan/heuristic that I find very useful and that I think most people will be able to come up with plenty of examples of:</p> <p>"Extremalities always arise from symmetry."</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/40015#40015 Answer by James Borger for What are some slogans that express mathematical tricks? James Borger 2010-09-26T12:11:27Z 2010-09-26T12:11:27Z <p>If you have to chose some auxiliary object and that object is not unique, it's better to make all choices simultaneously. </p> <p>I think there are many examples of this, but for me it first hit home when I learned about crystalline cohomology. There you want to lift varieties in positive characteistic to characteristic zero. Locally there are many nonisomorphic lifts, and rather than picking one, it's better to work with the category of all of them. I've absorbed this lesson pretty fully, to the point where I don't need to remind myself of it, but at first it seemed revolutionary.</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/40743#40743 Answer by Olof Sisask for What are some slogans that express mathematical tricks? Olof Sisask 2010-10-01T13:25:22Z 2010-10-01T13:25:22Z <p>One of the slogans in T. W. Körner's book <em>Fourier Analysis</em> that is definitely in the harmonic analyst's toolbox: The function $f*g$ has the good properties both of f and g.</p> <p>An example of its use is in approximating functions by trigonometric polynomials: convolving the function with any trigonometric polynomial gives you a trigonometric polynomial, and if you pick the polynomial carefully the resulting function will have similar properties to the original one.</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/40762#40762 Answer by Timothy Chow for What are some slogans that express mathematical tricks? Timothy Chow 2010-10-01T15:06:41Z 2010-10-01T15:06:41Z <p>"When in doubt, differentiate." I've heard this attributed to Chern.</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/40767#40767 Answer by Peter Shor for What are some slogans that express mathematical tricks? Peter Shor 2010-10-01T15:47:05Z 2010-10-01T15:47:05Z <p>"If you count something two different ways, you get the same result." This is related to the trick of changing the order of integration (or summation) discussed above, but discrete and more general. </p> <p>This method is used all the time in combinatorics. I think it has also been phrased differently, but I don't remember the exact phrasing.</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/66029#66029 Answer by KotelKanim for What are some slogans that express mathematical tricks? KotelKanim 2011-05-26T08:05:52Z 2011-05-26T08:05:52Z <h3>"It is easy to prove existence when there is only one, or when there are many"</h3> <p>explanation:</p> <p>If there is only one object with a certain property, you can sometimes use it to define it. For example, in geometric situations, you can sometimes define it locally and glue the patches since uniqueness guarantees compatibility on overlaps. It suggests that you should try proving uniqueness before proving existence and if uniqueness fails, maybe you should <em>add</em> constraints (thus, paradoxically, adding constrains can help in proving existence). On the other hand, sometimes it is easier to prove that there are many than to point out one specific example (transcendental numbers, continues nowhere differentiable functions,...). Therefore, you may want to seek for the right notion of "many" in your universe (cardinality, measure, "topological bigness" like the baire property,...) and try to prove that actually there are "few" objects that don't have the required property.</p> <p>comment: This relates to the answer saying that when you can't avoid making a choice, make all of them simultaneously. This happens when there are more than one, but not many...</p> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/66040#66040 Answer by gowers for What are some slogans that express mathematical tricks? gowers 2011-05-26T09:47:05Z 2011-05-26T09:47:05Z <ol> <li><p>Pick a random example.</p></li> <li><p>If you add lots of small and reasonably independent things together then the result will be highly concentrated about its mean.</p></li> </ol> http://mathoverflow.net/questions/8874/what-are-some-slogans-that-express-mathematical-tricks/66044#66044 Answer by Michael Renardy for What are some slogans that express mathematical tricks? Michael Renardy 2011-05-26T10:24:40Z 2011-05-26T10:24:40Z <p>Jacobi's famous quote that "one must always invert." He had elliptic integrals in mind.</p>