Canonical is an adjective derived from canon. Canon comes from the Greek word kanon
"rule" (perhaps originally from kanna "reed", cognate to cane) is used in various
meanings.
basic, canonic, canonical: reduced to the simplest and most significant form possible without loss of
generality, e.g. "a basic story line"; "a canonical syllable pattern"
Religion
This word is used by theologians and canon lawyers to refer to the canons of the Roman Catholic, Eastern Orthodox and Anglican Churches adopted by ecumenical councils. It also refers to later law developed by local churches and dioceses of these
churches. The function of this collection of various "canons" is somewhat analogous to the precedents established in
common law by case law.
In the 20th century, the Roman Catholic Church revised its canon law in 1917 and then again 1981 into the modern
Code of Canon Law. This code is no longer merely a compilation of papal
decrees and conciliar legislation, but a more completely developed body of international church law. It is analogous to the
English system of Statute law.
Canonical can also mean "part of the canon", i.e., one of the books comprising the biblical
canon, as opposed to apocryphal books. Canonization is the process by which a person is
recognized as a saint.
Literature and art
It is used most often when describing bodies of literature or art: those books that all educated people have read make up the
"canon", for example the Western canon. (See also canon
(fiction)).
Mathematics
Mathematicians have for perhaps a century or more used the word canonical to refer to concepts that have a kind of
uniqueness or naturalness, and are (up to trivial aspects) "independent of coordinates." Examples
include the canonical prime factorization of
positive integers, the Jordan canonical form of
matrices (which is built out of the irreducible factors of the characteristic polynomial of the matrix), and the canonical decomposition of a
permutation into a product of disjoint cycles. Various functions in mathematics are also
canonical, like the canonical homomorphism of a group onto any of its quotient groups, or the canonical isomorphism between a finite-dimensional vector space and its double
dual. Although a finite-dimensional vector space and its dual space are isomorphic, there is no canonical isomorphism. This lack
of a canonical isomorphism can be made precise in terms of category theory, but one
could say at a simpler level that "any isomorphism you can think of here depends on choosing a basis." As stated by Goguen, "To
any canonical construction from one species of structure to another corresponds an adjunction between the corresponding categories." [1]
Being canonical in mathematics is stronger than being a conventional choice. For instance, the vector space Rn has a standard basis which
is canonical in the sense that it is not just a choice which makes certain calculations easy; in fact most linear operators on Euclidean space take on a simpler form when
written as a matrix relative to some basis other than the standard one (see Jordan
form). In contrast, an abstract n-dimensional real vector space V would not have a canonical basis; it is
isomorphic to Rn of course, but the choice of isomorphism is not canonical.
The word canonical is also used for a preferred way of writing something, see the main article canonical form.
Computer science
Some circles in the field of computer science have borrowed this usage from
mathematicians. It has come to mean "the usual or standard state or manner of something"; for example, "the canonical way to
organize a file system is as a hierarchy, with extensions
to make it a directed graph". XML Signature
defines canonicalization as the process of converting XML content to a canonical form, to take into
account changes that can invalidate a signature over that data (from JWSDP 1.6).
For an illuminating story about the word's use among computer scientists, see the Jargon
File's entry for the word[1].
Some people have been known to use the noun canonicality; others use canonicity. In fields other than computer
science, canonicity is this word's canonical form.
Physics
In theoretical physics, the concept of canonical
(or conjugate, or canonically conjugate) variables is of major importance. They always occur in complementary pairs, such as
spatial location x and linear momentum
p, angle φ and angular momentum L,
and energy E and time
t. They can be defined as any coordinates whose Poisson brackets give a
Kronecker delta (or a Dirac delta in the
case of continuous variables). The existence of such coordinates is guaranteed under broad
circumstances as a consequence of Darboux's theorem. Canonical variables are essential
in the Hamiltonian formulation of physics, which is particularly important in
quantum mechanics. For instance, the Schrödinger equation and the Heisenberg uncertainty
relation always incorporate canonical variables. Canonical variables in physics are based on the aforementioned
mathematical structure and therefore bear a deeper meaning than being just convenient variables. One facet of this underlying
structure is expressed by Noether's theorem, which states that a (continuous)
symmetry in a variable implies an invariance of
the conjugate variable, and vice versa; for instance symmetry under spatial displacement leads to conservation of momentum, and time-independence implies energy
conservation.
In statistical mechanics, the canonical
ensemble, the grand canonical ensemble, and the microcanonical ensemble are archetypal probability
distributions for the (unknown) microscopic state of a thermal
system, applying respectively in the physical cases of:- a closed system at fixed temperature (able to exchange energy with its
environment); an open system at fixed temperature (able to exchange both energy and particles); and a closed thermally isolated
system (able to exchange neither). These probability distributions can be applied directly to practical problems in
thermodynamics.
See also
References
- ^ Goguen J. "A categorical manifesto". Math. Struct. Comp. Sci., 1(1):49--67,
1991
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)