Transformación natural

Transformación natural

En teoría de categorías, un rama de las matemáticas. Una transformación natural proporciona una manera de transformar un funtor en otro mientras que se respeta la estructura interna, es decir la composición de morfismos, de las categorías implicadas. Por lo tanto, una transformación natural se puede considerar como un morfismo de funtores. Esta intuición se puede formalizar de hecho para definir las, así llamadas, categorías de funtores. Las transformaciones naturales son, después de las categorías y de los funtores, una de las nociones más básicas del álgebra categórica y por lo tanto aparecen en la mayoría de sus usos.

Contenido

Definición

Si F y G son funtores (covariantes) entre las categorías C y D, entonces una transformación natural η de F a G asocia a cada objeto X en C un morfismo ηX: F(X) -> G(X) en D, tal que para cada morfismo f: X -> Y en C tenemos

ηY o F(f) = G(f) o ηX.

Esta ecuación se puede expresar convenientemente por el diagrama conmutativo

(Esta presentación es más usual)


         η(X)
F (X)  --------->  G (X)

  |                  |
  |                  |
  | F (f)            | G (f)
  |                  |
  |                  |
  v                  v
         η(Y)
F (Y)  --------->  G (Y)

si η es una transformación natural de F a G, se escribe también η: FG.

Si, para cada objeto X en C, el morfismo ηX es un isomorfismo en D, entonces η se dice un isomorfismo natural (o a veces una equivalencia natural o isomorfismo de funtores). Dos funtores F y G se dicen naturalmente isomorfos o simplemente isomorfos si existe un isomorfismo natural de F a G.

Un ejemplo desarrollado

Declaraciones como "Todo grupo es naturalmente isomorfo a su grupo opuesto" abundan en matemáticas modernas. Ahora daremos el significado exacto de esta declaración así como su prueba. Considere la categoría Grp de todos los grupos con homomorfismos de grupo como morfismos. Si (G,*) es un grupo, se define a su grupo opuesto (Gop, *op) como sigue: Gop es el mismo conjunto que G, y la operación *op es definida por a*opb = b*a. Todas las multiplicaciones en Gop "se dan vuelta así". La formación del grupo opuesto se convierte en un funtor de Grp a Grp si definimos fop = f para cada homomorfismo de grupo f: GH. Observe que fop es de hecho un homomorfismo de grupo de Gop en Hop:

fop(a*opb) = f(b*a) = f(b)*f(a) = fop(a)*opfop(b).

el contenido de la declaración antedicha es: el funtor identidad IdGrp: GrpGrp es naturalmente isomorfo al funtor opuesto -op: GrpGrp. Para probar esto, necesitamos proporcionar isomorfismos ηG: GGop para cada grupo G, tal que el diagrama antedicho conmuta. Haga ηG(a) = a-1. Las fórmulas (ab)-1 = b-1 a-1 y (a-1)-1 = a demuestran que ηG es un homomorfismo de grupo que es su propio inverso. Para probar la naturalidad, comenzamos con un homomorfismo de grupo f: GH ηH o f = fop o ηG, es decir (f(a))-1 = fop(a-1) para todo a en G. Esto es verdad puesto que fop = f y cada homomorfismo de grupo tiene la propiedad (f(a))-1 = f(a-1).

Ejemplos adicionales

Si K es un cuerpo, entonces para cada espacio vectorial sobre K V tenemos una función lineal inyectiva "natural" V -> V** del espacio vectorial en su doble dual. Estas funciones son "naturales" en el sentido siguiente: la operación dual doble es un funtor, y los funciones forman una transformación natural del funtor identidad al funtor doble dual. Considere la categoría Ab de grupos abelianos y de homomorfismos de grupo. Para todos los grupos abelianos X, Y y Z tenemos un isomorfismo de grupos

Hom(X, Hom(Y, Z)) -> Hom(X\otimes Y, Z).

estos isomorfismos son "naturales" en el sentido que definen una transformación natural entre los dos funtores implicados Abop x Abop x Ab -> Ab.

Operaciones con transformaciones naturales

Si η FG y ε: GH son transformaciones naturales entre funtores CD, entonces podemos componerlos para conseguir una transformación natural εη: FH. Éste es hecho componente a componente: (εη)X = εXηX. Esta composición de la transformación natural es asociativa, y permite considerar la colección de todos los funtores CD como categoría en sí misma (véase abajo Categorías de funtores).

Una transformación natural η: FG es un isomorfismo natural si y solamente si existe una transformación natural ε: GF tales que ηε = 1G y εη = 1F (donde 1F: FF es la transformación natural que asigna a cada objeto X el morfismo identidad en F(X)).

Si η : FG es una transformación natural entre los funtores F,G : CD, y H: DE es otro funtor, entonces se puede formar la transformación natural Hη : HFHG definiendo (Hη)X = HX). Si por otra parte K: BC es un funtor, la transformación natural ηK: FKGK se define por (ηK)X = ηK(X).

Categorías de funtores

Si C es cualquier categoría e I es una categoría pequeña, podemos formar la categoría de funtores CI teniendo como objetos todos los funtores de I a C y como morfismos las transformaciones naturales entre esos funtores. Esto es especialmente útil si I se presenta como un grafo dirigido. Por ejemplo, si I es la categoría del grafo dirigido * -> *, entonces CI tiene como objetos los morfismos de C, y un morfismo entre φ y ψ de U -> V y ψ X -> Y en CI es un par de los morfismos f: U -> X y g: V -> Y en C tales que el "cuadrado conmuta", es decir ψ f = g φ.

El lema de Yoneda

Si X es un objeto de la categoría C, entonces la asignación Y |-> MorC(X, Y) define un funtor covariante FX: C -> Set. Este funtor se llama representable. Las transformaciones naturales de un funtor representable a un funtor arbitrario F: C -> Set son totalmente conocidas y fáciles de describir; éste es el contenido del lema de Yoneda.

Notas históricas

Saunders MacLane, uno de los fundadores de la teoría de categorías, se dice que comentó, "yo no inventé las categorías para estudiar funtores; las inventé para estudiar las transformaciones naturales." Así como el estudio de los grupos no está completo sin un estudio de los homomorfismos, así el estudio de las categorías no está completo sin el estudio de los funtores. La razón del comentario de Mac Lane es que el estudio de los funtores es en sí mismo incompleto sin el estudio de las transformaciones naturales. El contexto de la observación de Mac Lane era la teoría axiomática de la homología. Diversas maneras de construir la homología se podían demostrar que coincidían: por ejemplo en el caso de un complejo simplicial los grupos definidos directamente, y los de la teoría singular, serían isomorfos. Pero eso, en sí mismo, indicaba mucho menos que la existencia de una transformación natural de los funtores correspondientes de la homología.


Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Transformación natural — En teoría de categorías, un rama de las matemáticas, una transformación natural proporciona una manera de transformar un funtor en otro mientras que se respeta la estructura interna, es decir la composición de morfismos, de las categorías… …   Enciclopedia Universal

  • Transformación (desambiguación) — Saltar a navegación, búsqueda El término transformación, algunas veces expresado como transformada, puede hacer referencia a los siguientes elementos: En matemáticas Transformada de Fourier, Transformada de Fourier discreta y Transformada rápida… …   Wikipedia Español

  • Transformación — El término transformación hace referencia a la acción o procedimiento mediante el cual algo se modifica, altera o cambia de forma manteniendo su identidad. Adjetivo: transformada, transformado En ciencias sociales Transformación social (redirige… …   Wikipedia Español

  • natural — adjetivo 1. De la naturaleza o producido por la naturaleza, y no por el hombre: fronteras naturales, recursos naturales. Me gusta la fruta natural, no la que viene en conserva. Las tormentas son un fenómeno natural. ciencias naturales. luz*… …   Diccionario Salamanca de la Lengua Española

  • Transformación (genética) — En biología molecular, transformación es la altertérminos para las alteraciones genéticas resultantes de introducir ADN por virus (transducción) o por contactos intercelulares entre bacterias (conjugación). A la transformación de células animales …   Wikipedia Español

  • natural — ► adjetivo 1 De la naturaleza o que ha sido producido por ella: ■ ciencias naturales; el agua es uno de los más preciados y necesarios recursos naturales. ANTÓNIMO artificial 2 Que no ha sufrido ninguna elaboración o transformación: ■ tueste… …   Enciclopedia Universal

  • Transformación de Möbius — En geometría, una transformación de Möbius es una función de la forma: donde z, a, b, c, d son números complejos que verifican que ad − bc ≠ 0. Una transformación de Möbius puede verse en el plano complejo como la composición de una proyección… …   Wikipedia Español

  • Transformación bilineal — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Transformación genética mediada por Agrobacterium rhizogenes — La transformación genética mediada por Agrobacterium rhizogenes es un método de transformación utilizado en ingeniería genética de plantas que permite la introducción de ADN exógeno a una célula y la regeneración de esta célula transformada para… …   Wikipedia Español

  • La gran transformación — Autor Karl Polanyi Género ensayo Tema(s) Capitalismo, economía de mercado …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”