Propiedad universal
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Universal_morphism_definition.svg/220px-Universal_morphism_definition.svg.png)
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 , el cuerpo de fracciones del anillo cociente de por un ideal primo puede identificarse con el cuerpo de residuos de la localización de en ; es decir, (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.[1] 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.[2]
- 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.
Definición formal
Para entender la definición de una construcción universal, es importante considerar algunos ejemplos. Las construcciones universales no se definieron de la nada, sino que se definieron después de que los matemáticos comenzaron a notar un patrón en muchas construcciones matemáticas (ver ejemplos a continuación). Por lo tanto, la definición puede no tener sentido para uno al principio, pero queda aclarada cuando se reconcilia con ejemplos concretos.
Sea un funtor entre las categorías y . En lo que sigue, sea un objeto de , y sean objetos de , y ser un morfismo en .
A continuación, el funtor mapea , y en a , y en .
Un morfismo universal de a es un par único en que tiene la siguiente propiedad, comúnmente conocida como una propiedad universal:
Para cualquier morfismo de la forma en , existe un morfismo único en tal que el siguiente diagrama conmuta:
![El diagrama típico de la definición de un morfismo universal.](http://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Universal_morphism_definition.svg/321px-Universal_morphism_definition.svg.png)
Podemos dualizar este concepto categórico. Un morfismo universal de a es un par único que satisface la siguiente propiedad universal:
Para cualquier morfismo de la forma en , existe un morfismo único en tal que el siguiente diagrama conmuta:
![La flecha más importante aquí es '"`UNIQ--postMath-00000029-QINU`"' que establece la propiedad universal.](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ef/Universal_definition_dualized.svg/321px-Universal_definition_dualized.svg.png)
Téngase en cuenta que en cada definición, las flechas están invertidas. Ambas definiciones son necesarias para describir las construcciones universales que aparecen en matemáticas; pero también surgen debido a la dualidad inherente presente en la teoría de categorías.
En cualquier caso, decimos que el par que se comporta como arriba satisface una propiedad universal.
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