La Enciclopedia Libre Universal en Español dispone de una lista de distribución pública, enciclo@listas.us.es
Canónico (matemáticas)
El adjetivo canónico se usa con frecuencia en matemáticas para indicar que algo es natural, como debe ser e independiente de elecciones arbitrarias, que es absoluto y no relativo a un observador, que es intrínseco y no depende de un sistema de referencia o de un sistema de coordenadas, que pertenece a la estructura propia de lo que estudiamos.
Decir de algo que es canónico es decir que no es arbitrario, que todos coincidimos en ello si lo miramos con atención. Aunque siempre se use en sentido impreciso, es un concepto central en matemáticas, ciencia que aspira a desentrañar con rigor lo que se entiende por canónico y a sacar la luz todo lo que es canónico. Algunos sinónimos, más o menos lejanos, son: natural, universal, absoluto, intrínseco, general, estructural, independiente, ... y algunos antónimos son: relativo, arbitrario, particular, usual, ingenioso, por costumbre o convenio, ...
En definitiva, en matemáticas lo canónico es aquello en lo que con más claridad percibimos el rastro de Dios, Su aroma.
No sólo es un concepto elusivo y central en matemáticas. Bajo la denominación de "Physis" (de donde deriva el nombre de física) fué un concepto central de la filosofía griega. La mayor dificultad que tenemos para acercarnos a ella es el extrañamiento del hombre moderno de tal concepto. Mientras que el hombre griego se encontraba sumergido en él, hoy en día el hombre moderno culto vive fuera de él. Malamente sobrevive en matemáticas (donde con mucha frecuencia se usa en sentidos espúreos) y sobre todo en la filosofía. En el siglo XX, quien mejor ha sabido expresar su sentido ha sido Heidegger. En sus palabras
"Physis" significa la fuerza que impera, brota y permanece regulada por ella misma ... Como manifestación opuesta los griegos introdujeron lo que llamaban "tesis", lo puesto, o el "nomos", regla en sentido de costumbre, o "techne", que significa producción a partir de un saber."
Veamos algunos ejemplos del uso y abuso del término:
1.- Si se habla de «el orden canónico de los datos». Significa que los datos se ordenan según su orden natural, un orden que no es invención del autor sino que pertenece a la estructura propia de lo que se estudia. Aquí canónico se usa en el sentido de natural o estructural.
Así, si los datos son números naturales, lo canónico es ordenarlos de menor a mayor (o de mayor a menor, realmente hay dos ordenaciones naturales y no puede decirse que una es canónica y la otra no). Si fueran notas musicales, lo natural es ordenalas por el tono (de graves a agudas, o de agudas a graves ...). En cambio, si fueran palabras españolas y se ordenasen como en los diccionarios, ése no sería un orden canónico; pues es claro que poner la b antes que la c es una elección arbitraria que hacemos por costumbre y por convenio: no pertenece a la estructura misma de las palabras. En este ejemplo se ve muy bien la oposición entre "physis" y "nomos".
2.- Si se habla de «la forma canónica de la ecuación» de una curva plana, significa que en distintos sistemas de referencia o sistemas de coordenadas la curva adquiere diferentes ecuaciones. En algunos sistemas la ecuación de la curva es notablemente más sencilla, y la frase se refiere a la forma más simple de todas. Aquí canónico se utiliza como sinónimo de simple, sencillo y breve. Sería mejor decir ecuación reducida, salvo que la propia curva determine unívocamente los ejes en que se expresa la ecuación (como es el caso de las elipses).
3.- Cuando se habla de «la base canónica del espacio vectorial Rn » se abusa del término, y debería decirse «la base usual de Rn », porque la estructura de espacio vectorial no determina de modo natural ninguna base particular, y para fijar la base a la que se quiere hacer referencia es necesario introducir alguna estructura adicional, como es la descomposición en producto directo.
4.- Al hablar de «la proyección canónica en el conjunto cociente» queremos decir que es la única proyección que podemos definir en general para todo conjunto cociente. En cada caso particular se podría definir una aplicación distinta del conjunto inicial en el conjunto cociente; pero sólo la proyección llamada canónica puede definirse a la vez par todas las relaciones de equivalencia posibles. Aquí canónico se usa en el sentido de universal.
Autores de esta página
