Haz de densidades

En matemáticas, y específicamente en geometría diferencial, una densidad es una cantidad que varía espacialmente en una variedad diferenciable, que puede ser integrada de manera intrínseca. En resumen, una densidad es una sección de un determinado haz de rectas, llamado haz de densidades. Un elemento del haz de densidades en x es una función que asigna un volumen para el paralelotopo abarcado por los n vectores tangentes dados en x.

Desde el punto de vista operativo, una densidad es una colección de funciones sobre una variedad topológica que se multiplican por el valor absoluto del determinante jacobiano cuando se produce un cambio de coordenadas. Las densidades se pueden generalizar en s-densidades, cuyas representaciones de coordenadas se multiplican por la s-ésima potencia del valor absoluto del determinante jacobiano. En una variedad orientada, las densidades de orden 1 se pueden identificar canónicamente con n-formas en M. En variedades no orientables esta identificación no se puede hacer, ya que el haz de densidad es el producto tensorial del haz de orientación de M y el n-ésimo haz del producto exterior de TPlantilla:Sup M (véase seudotensor).

Motivación (densidades en espacios vectoriales)

En general, no existe un concepto natural de volumen para un paralelotopo generado por vectores Plantilla:Nowrap en un espacio vectorial V de n dimensiones. Sin embargo, si se desea definir una función Plantilla:Nowrap que asigne un volumen a cualquier paralelotopo, debe satisfacer las siguientes propiedades:

• Si alguno de los vectores v_k se multiplica por Plantilla:Nowrap, el volumen se debe multiplicar por |λ|.
• Si cualquier combinación lineal de los vectores v₁, ..., v_j−1, v_j+1, ..., v_n se suma al vector v_j , el volumen debe permanecer invariante.

Estas condiciones son equivalentes a la afirmación de que μ está dada por una medida invariante de traslación en V, y se pueden reformular como

$\mu (A{v}_1,\dots ,A{v}_n)=|\det A|\mu (v_1,\dots ,v_n),A\in \mathrm{GL}(V).$

Cualquier aplicación Plantilla:Nowrap de este tipo se denomina densidad en el espacio vectorial V. Téngase en cuenta que si (v₁, ..., v_n) es alguna base para V, entonces disponiendo μ(v₁, ..., v_n) solucionará μ por completo. De ello se deduce que el conjunto Vol(V) de todas las densidades en V forma un espacio vectorial unidimensional. Cualquier forma n ε en V define una densidad Plantilla:Absf en V por

$|\omega |(v_1,\dots ,v_n):=|\omega (v_1,\dots ,v_n)|.$

Orientaciones en un espacio vectorial

El conjunto Or(V) de todas las funciones Plantilla:Nowrap que satisfacen

$o(A{v}_1,\dots ,A{v}_n)=\mathrm{sign}(\det A)o(v_1,\dots ,v_n),A\in \mathrm{GL}(V)$

forma un espacio vectorial unidimensional, y una orientación en V es uno de los dos elementos Plantilla:Nowrap tal que Plantilla:Nowrap para cualquier Plantilla:Nowrap linealmente independiente. Cualquier n- forma distinta de cero ω en V define una orientación Plantilla:Nowrap tal que

$o(v_1,\dots ,v_n)|\omega |(v_1,\dots ,v_n)=\omega (v_1,\dots ,v_n),$

y viceversa, cualquier Plantilla:Nowrap y cualquier densidad Plantilla:Nowrap definen una n-forma ω en V por

$\omega (v_1,\dots ,v_n)=o(v_1,\dots ,v_n)\mu (v_1,\dots ,v_n).$

En términos de espacios de productos tensoriales,

$\mathrm{Or}(V)\otimes \mathrm{Vol}(V)={\bigwedge }^n{V}^{*},\mathrm{Vol}(V)=\mathrm{Or}(V)\otimes {\bigwedge }^n{V}^{*}.$

Densidades s en un espacio vectorial

Las densidades s en V son funciones Plantilla:Nowrap tales que

$\mu (A{v}_1,\dots ,A{v}_n)={|\det A|}^s\mu (v_1,\dots ,v_n),A\in \mathrm{GL}(V).$

Al igual que las densidades, las densidades s forman un espacio vectorial unidimensional Vol^s(V), y cualquier forma n ω en V define una densidad s |ω|^s en V por

$|\omega {|}^s(v_1,\dots ,v_n):=|\omega (v_1,\dots ,v_n){|}^s.$

El producto de las densidades s₁- y s₂ μ₁ y μ₂ forman una (s₁+s₂)-densidad μ por

$\mu (v_1,\dots ,v_n):={\mu }_1(v_1,\dots ,v_n){\mu }_2(v_1,\dots ,v_n).$

En términos de espacios de productos tensoriales este hecho se puede expresar como

${\mathrm{Vol}}^{s_1}(V)\otimes {\mathrm{Vol}}^{s_2}(V)={\mathrm{Vol}}^{s_1+s_2}(V).$

Definición

Formalmente, el haz de densidad s Vol^s(M) de una variedad diferenciable M se obtiene mediante la construcción de un fibrado asociado, entrelazando la representación de grupo unidimensional

$\rho (A)={|\det A|}^{-s},A\in \mathrm{GL}(n)$

del grupo lineal general con el haz de sistemas de referencia de M.

El haz de líneas resultante se conoce como haz de densidades s y se denota por

${\left|\mathrm{\Lambda }\right|}_M^s={\left|\mathrm{\Lambda }\right|}^s(TM).$

Una 1-densidad también se conoce simplemente como densidad.

De manera más general, la construcción del haz asociado también permite obtener densidades a partir de cualquier fibrado vectorial E en M.

En detalle, si (U_α,φ_α) es un atlas de variedades topológicas en M, entonces hay asociado un fibrado de ${\left|\mathrm{\Lambda }\right|}_M^s$

$t_{\alpha }:{\left|\mathrm{\Lambda }\right|}_M^s{|}_{U_{\alpha }}\to {\varphi }_{\alpha }(U_{\alpha })\times ℝ$

subordinado al recubrimiento abierto U_α de modo que el cociclo GL(1) asociado satisfaga

$t_{\alpha \beta }={|\det (d{\varphi }_{\alpha }\circ d{\varphi }_{\beta }^{-1})|}^{-s}.$

Integración

Las densidades juegan un papel importante en la teoría de la integración sobre variedades. De hecho, la definición de densidad está motivada por cómo cambia una medida dx bajo un cambio de coordenadas Plantilla:Harv.

Dada una 1-densidad ƒ apoyada en un grafo de coordenadas U_α, la integral está definida por

$\underset{U_{\alpha }}{\int }f=\underset{{\varphi }_{\alpha }(U_{\alpha })}{\int }{t}_{\alpha }\circ f\circ {\varphi }_{\alpha }^{-1}d\mu$

donde la última integral es con respecto a la medida de Lebesgue en Rⁿ. La ley de transformación para 1-densidades junto con cambio jacobiano de variables garantiza la compatibilidad en las superposiciones de diferentes gráficos de coordenadas, por lo que la integral de una 1-densidad compactamente soportada general se puede definir mediante un argumento de partición de la unidad. Por lo tanto, las 1-densidades son una generalización de la noción de forma de volumen que no requiere necesariamente que la variedad esté orientada o que incluso sea orientable. De manera más general, se puede desarrollar una teoría general de medida de Radon como secciones distributivas de $|\mathrm{\Lambda }{|}_M^1$ utilizando el teorema de representación de Riesz-Markov-Kakutani.

El conjunto de 1/p-densidades tales que $|\varphi {|}_p={(\int |\varphi {|}^p)}^{1/p}<\mathrm{\infty }$ es un espacio lineal normado cuya terminación $L^p(M)$ se denomina espacio L^p Plantilla:Nowrap.

Convenciones

En algunas áreas, particularmente en la geometría conforme, se aplica una ponderación diferente: el conjunto de s-densidades se asocia con el carácter

$\rho (A)={|\det A|}^{-s/n}.$

Con esta convención, por ejemplo, se integran n-densidades (en lugar de 1-densidades). También en estas convenciones, una métrica conforme se identifica con una densidad tensorial de peso 2.

Propiedades

• El haz de vectores duales de $|\mathrm{\Lambda }{|}_M^s$ es $|\mathrm{\Lambda }{|}_M^{-s}$.
• Las densidades tensoriales son secciones del producto tensorial de un haz de densidad con un haz tensorial.

Bibliografía

• Plantilla:Citation.
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation