Cryptomorphisms - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T12:52:22Z http://mathoverflow.net/feeds/question/15731 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15731/cryptomorphisms Cryptomorphisms Tony Huynh 2010-02-18T17:25:22Z 2011-03-16T19:40:14Z <p>I am curious to collect examples of equivalent axiomatizations of mathematical structures. The two examples that I have in mind are </p> <ol> <li><p><strong>Topological Spaces.</strong> These can be defined in terms of open sets, closed sets, neighbourhoods, the Kuratowski closure axioms, etc.</p></li> <li><p><strong>Matroids</strong>. These can be defined via independent sets, bases, circuits, rank functions, etc.</p></li> </ol> <p>Are there are other good examples? </p> <p>Secondly, what are some advantages of multiple axiomatizations?</p> <p>Obviously, one advantage is that one can work with the most convenient definition depending on the task at hand. Another is that they allow different generalizations of the object in question. For example, infinite matroids can be axiomatized by adapting the independent set axioms, but it is unknown how to axiomatize them via the circuit axioms. An acceptable answer to the second question would be an example of a proof in one axiom system that doesn't translate easily (not sure how to make this precise) into another axiom system. </p> http://mathoverflow.net/questions/15731/cryptomorphisms/15739#15739 Answer by Theo Johnson-Freyd for Cryptomorphisms Theo Johnson-Freyd 2010-02-18T18:33:36Z 2010-02-18T18:33:36Z <p>For one take, see <a href="http://research.microsoft.com/apps/tools/tuva/" rel="nofollow">Feynman's lectures at Cornell</a>. Among other things, he talks about how there are many equivalent axiomatizations for physics. Although the different axiomatizations are mathematically equivalent, they suggest different understandings of the world, and hence different experiments on the one hand and different metaphysics on the other.</p> http://mathoverflow.net/questions/15731/cryptomorphisms/15744#15744 Answer by daniel pehoushek for Cryptomorphisms daniel pehoushek 2010-02-18T19:22:17Z 2010-02-18T19:22:17Z <p>Does the Cardinal Equivalence interest you? Satisfying assignments have lower level semantics than valid quantifications, but their cardinalities are equivalent: </p> <p>Boolean formulas: |valid quantifications| = |satisfying assignments|. </p> <p>That is, for formula B(x1,..xn), variables ordered from 1 to n: the number of valid quantification prefixes (q1..qn, over x1 to xn) of B, is Equivalent to the number of satisfying assignments of B. The cardinality range is from zero for contradictions through 2^n for tautologies (technical notice: n+1 bits are needed to represent these cardinality for tautologies; thus, there is some practical difficulty about finite propositional formulas performing logic with their own number of solutions). </p> <p>I only know this theorem for finite propositional boolean formulas; higher order extensions of the equivalence merely seem plausible, with some effort. So, if you "axiomatize" counting propositional assignments, you would also be solving the higher level problem, counting valid QBFs. (Cardinal Equivalence is the only known equivalence in the boolean hierarchy; manifestations elsewhere seem "likely", but also "omh" (over my head).)</p> http://mathoverflow.net/questions/15731/cryptomorphisms/15745#15745 Answer by Gerhard Paseman for Cryptomorphisms Gerhard Paseman 2010-02-18T19:34:02Z 2010-02-18T19:34:02Z <p>If you don't mind working in equational logic (no relation symbols besides equality, and focusing only on universally quantified equations), then there are many examples in universal algebra. Groups have axiomatizations with and without a symbol for inverse, and even within the same language there is interest in alternative axiomatizations for the same theory, e.g. Boolean algebras, Heyting algebras, lattices.</p> <p>If you want logics with more expressive power, you may consider interpretability results as well, which are ways of "encoding" one theory into another. I only know of applications of this to show undecidability of theories, but there is a study of other objects around the notion of interpretability that Ralph McKenzie and others have created/discovered.</p> <p>Gerhard "Ask Me About System Design" Paseman, 2010.02.18</p> http://mathoverflow.net/questions/15731/cryptomorphisms/15754#15754 Answer by Pete L. Clark for Cryptomorphisms Pete L. Clark 2010-02-18T20:10:25Z 2010-02-19T22:29:33Z <p>The phenomenon that I think you have in mind has a name: <b>cryptomorphism</b>. I learned the name from the writings of Gian-Carlo Rota; Rota's favorite example was indeed matroids. Gerald Edgar informs me that the name is due to Garrett Birkhoff.</p> <p>I think modern mathematics is replete with cryptomorphisms. In my class today, I presented the "Omnibus Hensel's Lemma". Part a) was: the following five conditions on a valued field are all equivalent. Part b) was: complete fields satisfy these equivalent properties. There are lots more equivalent conditions than the five I listed: see </p> <p><a href="http://mathoverflow.net/questions/15673/an-unfamiliar-to-me-form-of-hensels-lemma" rel="nofollow">http://mathoverflow.net/questions/15673/an-unfamiliar-to-me-form-of-hensels-lemma</a></p> <p>and especially Franz Lemmermeyer's answer for further characterizations. </p> <p>I would say that the existence of cryptomorphisms is a sign of the richness and naturality of a mathematical concept -- it means that it has an existence which is independent of any particular way of thinking about it -- but that on the other hand the existence of not obviously equivalent cryptomorphisms tends to make things more complicated, not easier: you have to learn several different languages at once. For instance, the origin of the question I cited above was the fact that in Tuesday's class I st*p*dly chose the wrong form of Hensel's Lemma to use to try to deduce yet another version of Hensel's Lemma: it didn't work! Since we are finite, temporal beings, we often settle for learning only some of the languages, and this can make it harder for us to understand each other and also steer us away from problems that are more naturally phrased and attacked via the languages in which we are not fluent. Some further examples:</p> <p>I think that the first (i.e., most elementary) serious instance of cryptomorphism is the determinant. Even the Laplace expansion definition of the determinant gives you something like $n$ double factorial different ways to compute it; the fact that these different computations are not obviously equivalent is certainly a source of consternation for linear algebra students. To say nothing of the various different ways we want students to think about determinants. It is "just" the signed change of volume of a linear transformation in Euclidean space (and the determinant over a general commutative ring can be reduced to this case). And it is "just" the induced scaling factor on the top exterior power. And it is "just" the unique scalar $\alpha(A)$ which makes the adjugate equation $A*\operatorname{adj}(A) = \alpha(A) I_n$ hold. And so forth. You have to be fairly mathematically sophisticated to understand all these things.</p> <p>Other examples: </p> <p>Nets versus filters for convergence of topological spaces. Most standard texts choose one and briefly allude to the other. As G. Laison has pointed out, this is a disservice to students: if you want to do functional analysis (or read works by American mathematicians), you had better know about nets. If you want to do topological algebra and/or logic (or read works by European mathematicians), you had better know about filters.</p> <p>There are (at least) three axiomatizations of the concept of <b>uniform space</b>: (i) entourages, (ii) uniform covers, (iii) families of pseudometrics. One could develop the full theory using just one, but at various points all three have their advantages. Is there anyone who doesn't wish that there were just one definition that would work equally well in all cases?</p> http://mathoverflow.net/questions/15731/cryptomorphisms/15776#15776 Answer by John Stillwell for Cryptomorphisms John Stillwell 2010-02-19T02:24:19Z 2010-02-19T02:24:19Z <p>There are nice examples in geometry. For example, the Euclidean plane can be characterized on the one hand by Hilbert's axioms, on the other hand by axioms for complete ordered field $+$ vector space $+$ inner product. </p> <p>Another example is that of a Pappian plane, characterized on the one hand by the three projective plane axioms $+$ Pappus theorem, on the other hand by the field axioms (from which the plane may be constructed via homogeneous coordinates).</p> http://mathoverflow.net/questions/15731/cryptomorphisms/15788#15788 Answer by François G. Dorais for Cryptomorphisms François G. Dorais 2010-02-19T04:07:54Z 2010-02-19T04:07:54Z <p>Here is one example that I always found fascinating.</p> <ul> <li><p><a href="http://en.wikipedia.org/wiki/Pointless_topology" rel="nofollow">Frames</a> are complete lattices which satisfy the infinite distributive law $$U \wedge \bigvee_{i \in I} V_i = \bigvee_{i \in I} U \wedge V_i.$$ In pointfree topology, these are used to abstract the lattice of open sets of a topological space.</p></li> <li><p><a href="http://en.wikipedia.org/wiki/Heyting_algebra" rel="nofollow">Complete Heyting algebras</a> are complete lattices which have a binary operation ${\Rightarrow}$ that satisfies $$U \wedge V \leq W \quad\mbox{iff}\quad U \leq V \Rightarrow W.$$ These are primarily used to interpret intuitionistic logic.</p></li> </ul> <p>The fact that these two types of lattices are cryptomorphic is essentially the <a href="http://en.wikipedia.org/wiki/Adjoint_functors" rel="nofollow">Adjoint Functor Theorem</a> (when viewing the underlying partial order as a category).</p> http://mathoverflow.net/questions/15731/cryptomorphisms/15849#15849 Answer by Marko Amnell for Cryptomorphisms Marko Amnell 2010-02-19T23:51:51Z 2011-03-16T19:40:14Z <p>Theodore Hailperin found a finite set of axioms for Quine's NF set theory. This finite axiomatization consists of a short list of particular instances of the NF axiom scheme of "stratefied comprehension." The advantage of Hailperin's alternate axiomatization is that it eliminates the necessity of referring to the concept of type in the definition of NF. See Hailperin's article <a href="http://tinyurl.com/yk2bsqt" rel="nofollow">"A set of axioms for logic"</a> [Journal of Symbolic Logic, Volume 9, Issue 1 (1944), pp. 1-19].</p> http://mathoverflow.net/questions/15731/cryptomorphisms/47441#47441 Answer by Andreas Blass for Cryptomorphisms Andreas Blass 2010-11-26T17:29:46Z 2010-11-26T17:29:46Z <p>A very familiar example is given by the different ways to express the completeness property of the real line --- Cauchy sequences converge, bounded nonempty sets have suprema, etc. </p>