Propiedad universal

El diagrama típico de la definición de un morfismo universal.

En matemáticas, más específicamente en la teoría de categorías, una propiedad universal es una propiedad que caracteriza salvo isomorfismo el resultado de algunas construcciones. Por lo tanto, las propiedades universales se pueden utilizar para definir o caracterizar algunos objetos, independientemente del método elegido para construirlos. Por ejemplo, las definiciones de los números enteros a partir de los números naturales, de los números racionales a partir de los números enteros, de los números reales a partir de los números racionales y de los anillos polinómicos del campo de sus coeficientes se pueden hacer en términos de propiedades universales. En particular, el concepto de propiedad universal permite una demostración simple de que todas las construcciones de números reales son equivalentes: basta con probar que satisfacen la misma propiedad universal.

Técnicamente, una propiedad universal se define en términos de categorías y funtores por medio de un morfismo universal (ver la definición formal, abajo). Los morfismos universales también pueden ser concebidos de manera más abstracta como objetos iniciales o terminales de una categoría de coma.

Las propiedades universales ocurren en casi todas partes en matemáticas, y el uso del concepto permite el uso de propiedades generales de las propiedades universales para probar fácilmente algunas propiedades que de otro modo necesitarían verificaciones aburridas. Por ejemplo, dado un anillo conmutativo $R$, el cuerpo de fracciones del anillo cociente de $R$ por un ideal primo $p$ puede identificarse con el cuerpo de residuos de la localización de $R$ en $p$; es decir, $R_{p}/pR_{p}\cong \operatorname {Frac} (R/p)$ (todas estas construcciones se pueden definir mediante propiedades universales).

Otros objetos que pueden definirse por propiedades universales incluyen: todos los objetos libres, productos directos y sumas directas, grupos libres, retículos libres, grupo de Grothendieck, compleción de un espacio métrico, compleción de un anillo, topología producto, compactificación de Stone-Čech, producto tensorial, límite inverso y límite directo, kernels y cokernels, grupos cociente, espacio vectorial cocientes, y otros espacio de cocientes.

Motivación

Antes de dar una definición formal de las propiedades universales, ofrecemos algunas motivaciones para estudiar tales construcciones.

• Los detalles concretos de una construcción dada pueden ser desordenados, pero si la construcción satisface una propiedad universal, uno puede olvidar todos esos detalles: todo lo que hay que saber sobre la construcción ya está contenido en la propiedad universal. Las pruebas a menudo se vuelven cortas y elegantes si se usa la propiedad universal en lugar de los detalles concretos. Por ejemplo, el álgebra tensorial de un espacio vectorial es un poco complicada de construir, pero mucho más fácil de manejar por su propiedad universal.
• Las propiedades universales definen los objetos de manera única hasta un isomorfismo único.​ Por lo tanto, una estrategia para demostrar que dos objetos son isomórficos es mostrar que satisfacen la misma propiedad universal.
• Las construcciones universales son de naturaleza funcional: si uno puede llevar a cabo la construcción para cada objeto en una categoría C, entonces se obtiene un funtor en C. Además, este funtor es un adjunto derecho o izquierdo al funtor U utilizado en la definición de la propiedad universal.​
• Las propiedades universales ocurren en todas partes en las matemáticas. Al comprender sus propiedades abstractas, se obtiene información sobre todas estas construcciones y se puede evitar repetir el mismo análisis para cada caso individual.

Referencias

Bibliografía

• Paul Cohn, Universal Algebra (1981), D.Reidel Publishing, Holland. ISBN 90-277-1213-1.
• Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics 5 (2nd edición). Springer. ISBN 0-387-98403-8. 
• Borceux, F. Handbook of Categorical Algebra: vol 1 Basic category theory (1994) Cambridge University Press, (Encyclopedia of Mathematics and its Applications) ISBN 0-521-44178-1
• N. Bourbaki, Livre II : Algèbre (1970), Hermann, ISBN 0-201-00639-1.
• Milies, César Polcino; Sehgal, Sudarshan K.. An introduction to group rings. Algebras and applications, Volume 1. Springer, 2002. ISBN 978-1-4020-0238-0
• Jacobson. Basic Algebra II. Dover. 2009. ISBN 0-486-47187-X