What is the definition of "canonical" ? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T08:45:45Z http://mathoverflow.net/feeds/question/19644 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical What is the definition of "canonical" ? Konrad Waldorf 2010-03-28T18:16:39Z 2013-02-16T17:18:02Z <p>I just received a referee report critizing that I would too often use the word "canonical". I have a certain understanding of what "canonical" should stand for, but the report shows me that other people might think differently. So I am asking:</p> <ol> <li><p>Is there a definition of "canonical"?</p></li> <li><p>What are examples where the use of "canonical" is undoubtedly correct?</p></li> <li><p>What are examples where the use of "canonical" is undoubtedly incorrect?</p></li> </ol> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/19645#19645 Answer by Reid Barton for What is the definition of "canonical" ? Reid Barton 2010-03-28T18:36:26Z 2010-03-28T20:07:32Z <ol> <li><p>Not a <em>definition</em>, exactly; I would say the situation is similar to that of <a href="http://mathoverflow.net/questions/19405/definition-of-forgetful-functor" rel="nofollow">forgetful functor</a>. If I say there is a canonical isomorphism between X and Y, then what I mean is that if asked, pretty much everyone would choose the same isomorphism. A canonical isomorphism is very often a natural isomorphism in the sense of category theory, but the converse need not hold. A canonical isomorphism does not need to be the unique isomorphism between X and Y, though sometimes it is when X and Y are considered as equipped with some additional structure.</p></li> <li><p>"There is a canonical isomorphism between the set of elements of a ring R and the set of ring maps $\mathbb{Z}[x] \to R$." Obviously, I mean for $r \in R$ to correspond to the ring map sending $x$ to $r$, although I could just as well send $x$ to $-r$.</p></li> <li><p>"There is a canonical isomorphism between a finite-dimensional vector space V and its dual." No explanation needed, I suppose.</p></li> </ol> <p>Maybe more interesting would be an example where the word "canonical" is arguably correct or incorrect; I can't think of one off-hand.</p> <hr> <p>Addendum, after reading some of the other answers: I would emphasize that for me there is a difference between "natural" in the formal category-theoretic sense and "canonical". For one thing there is a linguistic distinction: if I am considering an isomorphism F between X and Y then "Theorem: F is a natural isomorphism" is perfectly acceptable but "Theorem: F is a canonical isomorphism" is very strange to me. There should be only one canonical isomorphism between two things, though what that isomorphism is could depend on context, e.g., "the canonical isomorphism $A \otimes B \to B \otimes A$" where $A$ and $B$ are graded abelian groups might mean different things to an algebraic geometer and an algebraic topologist.</p> <hr> <p>Finally, this is hardly a definition, more of a rule of thumb: there is a canonical isomorphism between X and Y if and only if you would feel comfortable writing "X = Y".</p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/19647#19647 Answer by Dmitri Pavlov for What is the definition of "canonical" ? Dmitri Pavlov 2010-03-28T18:52:01Z 2010-03-28T18:52:01Z <p>For me the word “canonical” always means “functorial in some sense”, usually without using any form of the axiom of choice. For example, every finite-dimensional vector space is canonically isomorphic to its double dual, because there is an isomorphism of functors id → **, but there is no canonical isomorphism between a finite-dimensional vector space and its dual, because one cannot construct an isomorphism of functors id → * without using some form of the axiom of choice. Likewise, the construction of an algebraic closure is not canonical because there is no functor that sends a field to its algebraic closure, even though every two algebraic closures are (non-canonically) isomorphic.</p> <p>I presume that one can allow using the axiom of choice and still get the same results, but in this case one needs to use the language of 2-categories. For every well-pointed elementary topos T (basically, a set theory), we can construct the category of finite-dimensional vector spaces in this topos and isomorphism of functors id → **. I think that this isomorphism depends 2-functorially on T. On the other hand, even if we use the axiom of choice to construct an isomorphism of functors id → * for every well-pointed elementary topos T, there is no way to make it depend functorially on T. I must say that I have never tried to prove any of these statements, so they might as well be totally wrong.</p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/19650#19650 Answer by Spencer for What is the definition of "canonical" ? Spencer 2010-03-28T19:07:50Z 2010-03-28T23:00:28Z <p>I would say that "canonical" ought to be used to describe when no choices have been made.</p> <p>A nice example of a non-canonical identification: A principle bundle is made up of principle homogeneous spaces for the action of a Lie group. These are spaces which are homeomorphic but non-canonically isomorphic to the Lie group. For example, I might have a circle bundle. My Lie group would be a concrete version' of the group such as ${|z| = 1}$, but my fibres are simply circles. I would need to <em>choose</em> a base point on each of the circles to make them into groups in the same way. This amounts to taking a global section and can't always be done (e.g. circle bundle on the sphere has no global section by hairy ball theorem), so the non-canonical-ness might actually be important</p> <p>The labelling of identifications as Canonical and Non-canonical is common in linear algebra: Since one chooses bases so often, it is worth pointing out when such a choice is avoided...</p> <p>To prove that <code>$V^* \otimes V^*$</code> is isomorphic to <code>$(V \otimes V)^*$</code>, one ought to work with elements of the spaces directly rather than their representations in some basis. I would therefore call the resulting isomorphism canonical'.</p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/19655#19655 Answer by François G. Dorais for What is the definition of "canonical" ? François G. Dorais 2010-03-28T19:36:53Z 2010-03-28T20:00:27Z <p>I think there is a multi-level classification associated to "canonicalness," which explains why some clashes of definition occur. </p> <ul> <li><em>Arbitrary</em> &mdash; No requirements.</li> <li><em>Uniform</em> &mdash; There may be a few options but these options can be selected by making a few global choices.</li> <li><em>Canonical</em> &mdash; As in the uniform case, but there is only one natural choice of options which applies globally.</li> </ul> <p>Canonical examples à la Russell:</p> <ul> <li><em>Choose one sock from each pair in a collection of sock pairs</em> &mdash; There is no way to make a uniform choice.</li> <li><em>Choose one shoe from each pair in a collection of shoe pairs</em> &mdash; There are two obvious global solutions, left shoe or right shoe, but no way to prefer one over the other.</li> <li><em>Choose one object from each set in a collection of sets each consisting of a bowtie and possibly other items</em> &mdash; There is only one obvious global solution.</li> </ul> <p>I think the main point of contention is distinguishing <em>uniform</em> and <em>canonical</em>. Some will argue that it's not canonical if there is a choice to be made, while some will argue that a finite number of global choices is still canonical.</p> <p>There is yet another use of <em>canonical</em> to mean something like 'universally sanctioned' (this is closer to the religious term). The second occurrence of canonical above is of this type.</p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/19663#19663 Answer by Kevin Buzzard for What is the definition of "canonical" ? Kevin Buzzard 2010-03-28T20:27:54Z 2010-03-28T20:27:54Z <p>I always had the following working definition of canonical (which I think Gordon James told me and he might have said it was due to Conway? Not sure): a map A->B is canonical if you construct a candidate, and the guy in the office next to you constructs a candidate, and you end up with the same map twice. </p> <p>Somehow there is something more to it than that though. For example if A is an abelian group and we want a map A-->A then I will choose the identity, but I know for sure that the wag in the office next door to me will choose the map sending a to -a because that's his sense of humour. What has happened here is that there are in fact two canonical maps A-->A. This issue shows up in class field theory, which is an isomorphism between two rather fancy abelian groups X and Y, and where no-one could decide for a long time which one of the two canonical isomorphisms was "best". So you often see statements in number theory papers saying "we normalise our class field theory isomorphisms so that geometric Frobenii go to uniformisers" (the alternative being the inverse of this). It also shows up in the Weil pairing on an elliptic curve: it's canonical, but because we're in an abelian situation, its inverse is too. So you see in e.g. Katz-Mazur an explicit spelling out of which of the two canonical choices one is going to make (and hang all the non-canonical ones!).</p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/19666#19666 Answer by Sergei Ivanov for What is the definition of "canonical" ? Sergei Ivanov 2010-03-28T20:58:26Z 2010-03-28T20:58:26Z <p>I was taught to think that there is a precise definition of "canonical" in differential topology, at least in the context of linear algebra constructions. A construction is canonical if it is a smooth functor. (There is a Wikipedia page about smooth functors but it is not very insightful). And since it is hard to invent a non-smooth functor, it practically boils down to just being a functor.</p> <p>The categories involved are usually not mentioned explicitly, and they are not things like vectors spaces with linear maps. They are rather things like vector spaces with linear <em>isomorphisms</em> as morphisms. Or, more generally, isomorphisms of whatever structure you happen to have on them. For example, dual vector space is a canonical construction but an isomorphism between a vector space and its dual is not. On the other hand, there is a canonical one if your spaces carry Euclidean structure.</p> <p>The idea is that a canonical construction can be applied fiber-wise in fiber bundles. Sometimes this feature is advertised as a poor man's definition of "canonical" but this is not quite correct: for example, every vector bundle (over a paracompact base) is isomorphic to its dual, but this is not really canonical.</p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/19669#19669 Answer by Fabrizio Polo for What is the definition of "canonical" ? Fabrizio Polo 2010-03-28T21:44:01Z 2010-03-28T21:44:01Z <p>I was always under the impression that canonical meant, precisely, that no arbitrary choices were necessary. But, that it was occasionally used less formally, in a more standard-English sort of way to mean traditional/obvious/well known. The informal meaning is usually used as a cheap way to avoid explaining something that's easier for the reader to guess anyway.</p> <p>Ex 1: Two vector spaces of the same dimension are isomorphic. The isomorphism is not canonical.</p> <p>Ex 2: A finite dimensional vector space is canonically isomorphic to its double dual.</p> <p>Ex 3: Let $\pi: S^3 \to S^2$ be the canonical fibration.</p> <p>I never really liked it when people use canonical as in example 3. It seems like using it this flexibly detracts from the useful technical interpretation of the word.</p> <p>I've also heard some more complicated category theoretic interpretations of what canonical meant. But, after more scrutiny, it seems that these "definitions" are specific cases of the "no arbitrary choices" principle.</p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/19670#19670 Answer by Grant Olney Passmore for What is the definition of "canonical" ? Grant Olney Passmore 2010-03-28T22:03:30Z 2010-03-29T12:54:35Z <p>Not a definition, but an example of use in logic:</p> <p>In model theory, "canonical" is often used in the phrase "the canonical model" to mean "intended structure." For instance, in first-order logic, one may speak of "the canonical model of Peano Arithmetic" to mean the structure of the natural numbers, or "the canonical model of the theory of real-closed fields" to mean the field of real numbers. Intuitively, "the canonical model" of a theory is the structure one was trying to pin down when the axiomatisation of the theory was written. It's just that in first-order logic, it is hard to pin down (infinite) structures! No first-order theories admitting infinite models are categorical (they admit non-isomorphic models; indeed, they admit models of every infinite cardinality), and compactness/ultraproduct/(many other) constructions can often be used to build "non-standard" models of theories. "Non-standard" models of Peano Arithmetic or the theory of real-closed fields would in this context be called "non-canonical" (even though there are many canonically studied "non-standard" models of those theories!).</p> <p>But, many commonly studied theories do not have a notion of "canonical model." For instance, one would not say "the canonical model of group theory."</p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/19682#19682 Answer by Douglas S. Stones for What is the definition of "canonical" ? Douglas S. Stones 2010-03-29T02:33:27Z 2010-03-29T14:02:57Z <p>For me, if we have a partition P of a set S, then we can define a set of representatives, one from each part of P, each of which is called <em>canonical</em>.</p> <p>Typically, the partition P is formed by the orbits of a group G acting on S. If we choose G so that every element in S has a trivial stabiliser, then we can find |S| by instead counting the canonical representatives since |S|=|G|*|P| by the Orbit-Stabiliser Theorem.</p> <p>Often, the elements that are chosen to be canonical can be quite contrived - e.g. just because your program outputs a certain element of P first, i.e. "lexicographical order".</p> <hr> <p>To add some examples:</p> <p>a) An orthomorphism of $\mathbb{Z}_n$ is a permutation $\sigma$ such that $i \mapsto \sigma(i)-i \pmod n$ is also a permutation. We partition the orthomorphisms of $\mathbb{Z}_n$ into equivalence classes under the transformation $E_g$ for which $E_g[\sigma](i)=\sigma(i)+g \pmod n$. Therefore the parts each have cardinality $n$ and we define the canonical representatives to be the orthomorphisms $\sigma$ for which $\sigma(0)=0$. Therefore the total number of orthomorphisms is $n$ times the number of canonical orthomorphisms.</p> <p>b) A Latin square is an $n \times n$ matrix containing $n$ distinct symbols in which each symbol occurs exactly once in each row and each column. For instance, $$\begin{matrix} 1 &amp; 3 &amp; 2 \\ 3 &amp; 2 &amp; 1 \\ 2 &amp; 1 &amp; 3 \end{matrix}$$ is a $3 \times 3$ Latin square. We can put it in a canonical form (which I call normalised) by permuting the columns so that the first row is in order, i.e. $$\begin{matrix} 1 &amp; 2 &amp; 3 \\ 3 &amp; 1 &amp; 2 \\ 2 &amp; 3 &amp; 1 \end{matrix}$$ Here the total number of Latin squares is $n!$ times the number of normalised Latin squares. There's another canonical form (which I call reduced) which has the first row and first column in order.</p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/19687#19687 Answer by Tran Chieu Minh for What is the definition of "canonical" ? Tran Chieu Minh 2010-03-29T05:06:46Z 2010-03-29T05:06:46Z <p>Hopefully I don't say something too stupid. I just wonder whether the definition of canonical might be relative.</p> <p>For example, if we look at $\mathbb Z / p$ as an additive group in fact there is no non-zero element which stands out. But if we look at $\mathbb Z / p$ as a field $1$ stands out as a non-zero element.</p> <p>Another example. From the geometrical reason alone, there is no good reason to choose a positive direction (Essentially there is no way to distinguish from left hand and right hand). But in a universe where there is electro magnetic force, we then have a canonical way to choose a positive direction.</p> <p>Yet another example, there is a canonical way to choose whether you want a left shoe or a right shoe: If you are left-handed then choose the left one, if you are right handed choose the right one.</p> <p>Perhaps what counts as canonical depends on where we are standing. A suggestion for a heuristic definition: canonical is definable with respect to the structure you are standing at.</p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/19724#19724 Answer by Thomas Kragh for What is the definition of "canonical" ? Thomas Kragh 2010-03-29T13:07:39Z 2010-03-29T13:07:39Z <p>Vague definition of canonical:</p> <p>Let $X$ and $Y$ be collections (often sets) for which assumptions has been made (has been given structures and/or are related somehow). A function $f\colon X \to Y$ is canonical if it is given by a rule using only the already given structure.</p> <p>This explains the relation to the greek word rule (kanon). The precise meaning of the above are open for enterpretation: how much structure can the rule itself contain (maybe this can be made precise)! This "definition" somewhat contradicts many of the other answers, which for some reason is under the impression that canonical implies unique (or almost unique), which in my point of view is very wrong since different rules may define different maps. E.g. if we let $X$ be the objects in the category of abelian groups and $Y$ the morphisms then the definitions makes all the group homomorphisms $A \to A$ given by multiplication with an element in $\mathbb{Z}$ canonical, which to me is not a problem.</p> <p>Usually when there is an especially simple rule it is often assumed without mentioning that this is the rule defining the function. E.g. most will understand the following:"there is a canonical endemorphism of any object in a category". This emphasizes the multiplication with 1 above as somehow speciel or "more canonical" than the rest. This is simply because the rule works in much greater generality and is shorter.</p> <p>Usually if a rule is very simple the function will have nice properties. E.g. simply rules in category theory often define functors, natural transformations, e.t.c. This leeds many people to confuse the notion of canonical with "something behaving nicely".</p> <p>I am somewhat puzzled by the use of the word uniform in one of the answers. The nature of the word uniform is "of the same form" and relates more to symmetries and things looking the same every where. This often leeds to canonical maps, since a choice at one point can sometimes be extended to a choice at every point. Please someone comment on this since maybe this is just a use of the word I have not seen before!</p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/98808#98808 Answer by David Corwin for What is the definition of "canonical" ? David Corwin 2012-06-04T20:28:53Z 2012-06-04T20:28:53Z <p>On page vii of the Introduction to the 1996 edition of <em>Sheaf Theory</em> by Glen E. Bredon, the author discusses the difference between "canonical" and "natural" and points to a historical context:</p> <blockquote> <p>Occasionally, we use the equal sign to mean a "canonical" isomorphism, perhaps not, strictly speaking, an equality. The word "canonical" is often used for the concept for which the word "natural" was used before category theory gave that word a precise meaning. That is, "canonical" certainly means natural when the latter has meaning, but it means more: that which might be termed "God-given." We shall make no attempt to define that concept precisely. (Thanks to Dennis Sullivan for a theological discussion in 1969.)</p> </blockquote> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/98817#98817 Answer by Patrick I-Z for What is the definition of "canonical" ? Patrick I-Z 2012-06-04T21:40:39Z 2012-06-05T15:54:19Z <p>It is not an answer but it must have to do with the way our brain pick up a sample between a few ones. It must be the minimum of some function which can be implemented for real in the brain. I do not believe that there is a pure logical definition of "canonical" independently of the way our brain works. Experience : give me a number? What do you answer? 0 or 1 rarely $\pi$ or even 115674. The numbers 0 and 1 are canonical in some sense. Give me a basis of ${\bf R}^3$. The same holds $((1,0,0),(0,1,0),(0,0,1))$ I minimize the number of different digits and I pick them in my "basis" of canonical numbers. Well, interesting question.</p> <hr> <p>What is the canonical circle ? Ce circle in ${\bf R}^2$, centered at $(0,0)$ with radius $1$. </p> <p>I know two numbers $0$ and $1$, the radius cannot be $0$ because it is not a (true) circle, so the radius is $1$, now the center could be $(0,0)$, $(0,1)$, $(1,0)$ or $(1,1)$ ? I prefer $(0,0)$, $0$ is simpler than $1$. How do you fit this example with category arguments?</p> <p><i> BTW I have nothing against category theory, I like it. But I'm curious to see if this example fits general categorical arguments.</i></p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/121989#121989 Answer by Matthieu Romagny for What is the definition of "canonical" ? Matthieu Romagny 2013-02-16T14:43:07Z 2013-02-16T17:18:02Z <p>Regarding the (widely considered to be false) statement that "There is a canonical isomorphism between a finite-dimensional vector space V and its dual" in Reid Barton's answer, I think that the situation is a bit more interesting than that. It is a good illustration of the idea that an object may be defined to be "canonical" if it is constructed without making any choices, and the interesting point here is that there are various degrees of (in-)tolerance to choices. If we work with vector spaces of fixed finite dimension, then an isomorphism <code>$i_E:E\to E^*$</code> between a vector space <code>$E$</code> and its dual <code>$E^*$</code> may be called <em>canonical</em> if </p> <ol> <li>it does not depend on the choice of a basis for <code>$E$</code> but we need a basis to define it, or</li> <li>it does not depend on the choice of a basis and may be defined without choosing a basis, or</li> <li>it does not depend on basis choices as above and does not even depend on <code>$E$</code>, in the sense that whenever <code>$u:E\to F$</code> is an isomorphism between dim. vector spaces of the same finite dimension, then $u^*\circ i_F\circ u=i_E$ where $u^*$ is the transpose of $u$. This third notion of canonicity is essentially functoriality.</li> </ol> <p>Concretely, given a basis <code>$B=\{e_j\}$</code> of $E$ with dual basis <code>$B^*=\{e_j^*\}$</code>, we can construct an isomorphism <code>$i=i_{E,B}:E\to E^*$</code> that maps <code>$e_j$</code> to <code>$e_j^*$</code>. This map does not depend on the choice of basis if and only if <code>$u^*\circ i\circ u=i$</code> for all <code>$u\in \text{GL}(E)$</code>. It is easily seen that this is equivalent to the fact that <code>$\text{GL}_n(k)=\text{O}_n(k)$</code>, where $k$ is the base field, $n$ is the dimension, and <code>$\text{O}_n(k)$</code> is the orthogonal group of the standard (sum of squares) quadratic form. Exercise: this equality holds if and only if $n=1$ and $k$ has at most $3$ elements. Thus for $n=1$ and <code>$\text{card}(k)\leq 3$</code> the map <code>$i_{E,B}:E\to E^*$</code> does not depend on $B$, so we may write it simply <code>$i_E$</code>. When <code>$\text{card}(k)=2$</code> this is not so surprising because any two one-dimensional vector spaces over the field with two elements are uniquely (hence canonically in whichever sense you like) isomorphic, but for <code>$\text{card}(k)=3$</code> this is a bit more exotic. Having reached this point, we might think that we are in the funny notion 1 of canonicity (and this is what I thought some minutes ago). But in fact, still assuming that $n=1$ and <code>$\text{card}(k)\leq 3$</code>, we can exhibit an isomorphism <code>$i:E\to E^*$</code> without any reference to a basis. Namely, define $i(0)=0$ and if $x\in E$ is nonzero, then it is a basis of $E$, and we can define $i(x)=x^*$, the only element of the dual basis. The point is that since $a^2=1$ for all nonzero scalars in $k$, this map $i$ is linear.</p> <p>Conclusion: if $n=1$ and <code>$\text{card}(k)\leq 3$</code> there is an isomorphism <code>$i:E\to E^*$</code> that is constructed without a choice of basis, and it is functorial for isomorphisms of one-dimensional vector spaces. If $n\ge 2$ or $\text{card}(k)\ge 4$, the map <code>$i_{E,B}:E\to E^*$</code> is not independent of the basis <code>$B$</code>.</p> <p>I would guess that it is possible to find examples of phenomena like <code>1</code> above.</p> http://mathoverflow.net/questions/19644/what-is-the-definition-of-canonical/121991#121991 Answer by ACL for What is the definition of "canonical" ? ACL 2013-02-16T15:02:42Z 2013-02-16T15:02:42Z <p>I have two competing interpretations of the word canonical.</p> <p>One, apparently the one used by Bourbaki, is mathematically informal. In various contexts, some objects (maps, modules, etc.) are defined unambiguously and <em>called</em> canonical. For example, the canonical basis of the free module $A^{(I)}$ over a set $I$, the canonical surjection from a set $X$ to its set $X/R$ of equivalence classes with respect to some equivalence relation $R$, the canonical bilinear map from a product of two modules to their tensor product, etc.</p> <p>The other interpretation is categorical. The given context defines (often implicitly) some categories and the canonical object is functorial with respect to <em>isomorphisms</em>. It is more or less what Kevin Buzzard says in its answer, when he defines canonical by the property that he and a colleague, when asked to define the object, would agree on the same object.</p>