So yes, I head the term come up quite often: "canonical homomorphism", "canonical map, " etc.

What is really meant by this ?

  • 1
    $\begingroup$ (en.m.wikipedia.org/wiki/Canonical_map) $\endgroup$ – The very fluffy Panda Feb 19 '17 at 22:04
  • 3
    $\begingroup$ mathoverflow.net/questions/19644/… $\endgroup$ – mathematician Feb 19 '17 at 22:06
  • 1
    $\begingroup$ This isn't usefully answerable without context. $\endgroup$ – Rob Arthan Feb 19 '17 at 23:06
  • $\begingroup$ There is a "natural" surjective group homomorphism π : G → G/N, sending each element g of G to the coset of N to which g belongs, that is: π(g) = gN. The mapping π is sometimes called the canonical projection of G onto G/N. Its kernel is N. $\endgroup$ – asddf Feb 19 '17 at 23:13
  • $\begingroup$ And this is not the only place where i have seen canonical beeing mentioned so i wondered if it had a general meaning. $\endgroup$ – asddf Feb 19 '17 at 23:14

The term canonical comes from the concept of canon, that is, when you follow a standardized way to do something, you follow the canon, hence the thing that you do is canonical.

In mathematics it specifically means that you build something following some rules defined (by diverse reasons) by the community of mathematicians, by example the canonical projections of some vector are the functions such that each projection coincide with a coordinate of the vector.

That is: exists infinite kind of collection of projections of a vector, but the canonical way is the "simplest", what follow the rule that if $\pi_k(\mathbf v)=v_k$ is a projection of the vector $\mathbf v$ then $v_k$ is a coordinate of $\mathbf v$.

A canon is defined when something can be constructed in many different ways and we choose one because it is more convenient. By example there are canonical (standard) cut branches of many commons complex functions.

The concept canonical is very similar to the concept conventional but the latter is used when you must choose something that excludes the other possibilities (i.e. we can have the convention that $0^0=1$, then $0^0=0$ is excluded as a possibility), but the former is applied when you choose some standard way to apply a map or a function (if we define a map as canonical this doesn't imply that all others maps are not well-defined).

IMO the best place to comprehend this complex concept is when you see canonical forms applied to matrices, graphs or word problems to define the representative for each equivalent class of objects: you need to define a convenient algebraic manipulation to define these representatives uniquely. Then you can work over the canonical representatives and derive theorems. I don't have a simple example of this situation, you will encounter some day if you dig a bit about these topics.

This wikipedia article about canonicalization in computer science is analogous (or equivalent) to the canonicalization in mathemathics.

  • 7
    $\begingroup$ Sloppier said: The canonical way is the practically prefered one among a collection of possibilities where none is per-se a better one. $\endgroup$ – mdot Feb 19 '17 at 22:10
  • $\begingroup$ @Masacroso you are forgetting other meanings of the word "canonical". $\endgroup$ – Dog_69 May 9 '18 at 22:21
  • 1
    $\begingroup$ @Dog_69 feel free to write your own answer with whatever you see that I've "forgotten" $\endgroup$ – Masacroso May 10 '18 at 7:54

Mostly it denotes a morphism which is ‘in the nature of things’, in the sense that it does not depend on any choice.

Let me explain with an example: a finite dimensional vector space $V$ is isomorphic to its dual, but this isomorphism is not canonical since it is defined by the choice of a basis $\mathcal B$ in $V$, and its dual basis $\mathcal B^*$ in $V^*$.

But the evaluation map from $V$ to its double-dual: \begin{align} V&\longrightarrow V^{**}\\ v&\longmapsto (f\mapsto f(v)) \end{align} is a canonical isomorphism.

  • 3
    $\begingroup$ Mostly, but this definition lost the meaning of canonical... A canon not necessarily is connected to something that is simpler or natural. By example we can define a canonical order in some place where there is no "natural" order at all. $\endgroup$ – Masacroso Feb 19 '17 at 22:21
  • 1
    $\begingroup$ When refering to the question asked in the title of this thread, then one might think of the canoncial basis of $\mathbb{R}^n$ being $e_1, \ldots, e_n$ . Can you tell me how this is compatible with your answer and the independence on any choice? $\endgroup$ – mdot Feb 19 '17 at 22:29
  • $\begingroup$ Somewhat far-fetched, taking coordinates which are only $0$ and $1$ does not depend on many choices: all fields have at least these two elements. I don't say it is the only meaning, but it is the usual meaning when one says a homomorphism is not canonical. Further, a canonical morphism is often functorial, and projections of a product set onto its factors is indeed functorial. $\endgroup$ – Bernard Feb 19 '17 at 22:50
  • $\begingroup$ The choice is to take this very basis of so many other options. You can construct other bases containing only $0$ and $1$ as well. I accept your reasoning when it comes to homomorphisms though. $\endgroup$ – mdot Feb 19 '17 at 23:08
  • 1
    $\begingroup$ One also ùmay say, it is the basis corresponding to the projections onto the factors. In this sense, it's more natural than others. $\endgroup$ – Bernard Feb 19 '17 at 23:13

I guess no one is able to answer the question "What is really meant by this ?"

However, I can tell you, how I find a way, to feel myself comfortable with notions "canonical" and "natural". I will tell you how I distinct these two.

Natural. Suppose that $X$ is some mathematical object, which induces, without any additional assumptions, other mathematical objects $A,B$ (even of the same kind). We may call $A$ and $B$ natural objects associated with $X.$

Example. With any Riemannian manifold $(M,g)$ we may associate two natural laplacians. Laplace-Beltrami operator $\Delta_g$ and Bochner Laplacian $\nabla^*\nabla$.

Canonical. Suppose that $X$ is some mathematical object, which induces, without any additional assumptions, a unique mathematical object $A$ of some kind. We may call $A$ the canonical object associated with $X.$

Example. With any Riemannian manifold $(M,g)$ we may associate unique metric preserving torsion free affine connection $\nabla$ called Levi-Civita connection. No one should be offended if someone would call this connection canonical.

However calling $\Delta_g$ or $\nabla^*\nabla$ canonical laplacian would be too much.

In my opinion every canonical object is natural, but not necessary contrary.

I purposly stated this in such fuzzy way, cause I think you may apply this notions everywhere you like.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.