Momento (matemáticas)

En matemáticas, los momentos de una función son ciertas medidas cuantitativas relacionadas con la forma de la gráfica de la función. Si la función representa la densidad de masa, entonces el momento cero es la masa total, el primer momento (normalizado por la masa total) es el centro de masas y el segundo momento es el momento de inercia. Si la función es una distribución de probabilidad, entonces el primer momento es la esperanza, el segundo es el momento central o varianza, el tercero o momento estándar cuantifica la asimetría estadística y el cuarto momento estándar es la curtosis. El concepto matemático está estrechamente relacionado con el concepto de momento en física.

Para una distribución de masa o probabilidad en un intervalo acotado, la colección de todos los momentos (de todos los órdenes, de Plantilla:Math a Plantilla:Math) determina de forma única la distribución (problema del momento de Hausdorff). No ocurre lo mismo en intervalos ilimitados (problema del momento de Hamburger).

A mediados del Plantilla:Siglo, Pafnuti Chebyshov se convirtió en la primera persona en pensar sistemáticamente en términos de los momentos de una variable aleatoria.

Relevancia de los momentos

El momento bruto Plantilla:Mvar (es decir, el momento respecto al valor cero) de una distribución se define por$$\mu {\text{'}}_n=⟨x^n⟩$$

donde

$$⟨f(x)⟩=\{\begin{array}{cc}\sum f(x)P(x),& \text{distribución discreta}\\ \int f(x)P(x)dx,& \text{distribución continua}\end{array}$$

El momento Plantilla:Mvar de una función continua de valor real f(x) de una variable real respecto a un valor c es la integral $${\mu }_n=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}(x-c{)}^{n}f(x)\mathrm{d}x.$$

Es posible definir momentos para una variable aleatoria de una manera más general que los momentos para funciones con valores reales (véase momentos en espacios métricos). El momento de una función, si no se especifica algo distinto, suele referirse a la expresión anterior con c = 0.

Para el segundo momento y superiores, generalmente se utilizan los momento central (momentos con respecto a la media, siendo c la media) en lugar de los momentos con respecto a cero, porque proporcionan información más clara sobre la forma de la distribución.

También se pueden definir otros momentos. Por ejemplo, el momento inverso Plantilla:Mvar con respecto a cero es $\mathrm{E}\left[X^{-n}\right]$ y el momento logarítmico Plantilla:Mvar con respecto a cero es $\mathrm{E}[{\ln }^n(X)].$

El momento Plantilla:Mvar con respecto a cero de una función de densidad de probabilidad f(x) es la media o esperanza de Plantilla:Mvar y se denomina momento bruto o momento crudo. Los momentos respecto de la media Plantilla:Mvar se denominan momentos centrales, que describen la forma de la función, sin considerar traslaciones.

Si f es una función de densidad de probabilidad, entonces el valor de la integral anterior se llama Plantilla:Mvar-ésimo momento de distribución de probabilidad. De manera más general, si F es una función de distribución de probabilidad acumulada de cualquier distribución de probabilidad, que puede no tener una función de densidad, entonces el momento Plantilla:Mvar de la distribución de probabilidad viene dado por la integral de Riemann-Stieltjes$$\mu {\text{'}}_n=\mathrm{E}\left[X^n\right]=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{x}^n\mathrm{d}F(x)$$

donde X es una variable aleatoria que tiene esta distribución acumulada F, y Plantilla:Math es la esperanza o media.

Cuando

$$\mathrm{E}\left[\left|X^n\right|\right]=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\left|x^n\right|\mathrm{d}F(x)=\mathrm{\infty }$$ se dice que el momento no existe. Si el momento Plantilla:Mvar con respecto a cualquier punto existe, también existe el momento Plantilla:Math (y, por lo tanto, todos los momentos de orden inferior) con respecto a cada punto. El momento cero de cualquier función de densidad de probabilidad es 1, ya que el área bajo cualquier función de densidad de probabilidad debe ser igual a uno.

Relevancia de los momentos (crudos, centrales, normalizados) y cumulantes (brutos, normalizados), en relación con las propiedades nombradas de las distribuciones

Momento ordinal	Momento			Cumulante
	Crudo	Central	Estandarizado	Bruto	Normalizado
1	Media	0	0	Media	Plantilla:N/a
2	–	Varianza	1	Varianza	1
3	–	–	Asimetría estadística	–	Asimetría
4	–	–	Curtosis (defecto o historial)	–	Exceso de curtosis
5	–	–	Hiperasimetría	–	–
6	–	–	Hipercola	–	–
7+	–	–	–	–	–

Momentos estándar

El momento central Plantilla:Mvar-ésimo normalizado o momento estandarizado es el momento central Plantilla:Mvar-ésimo dividido por Plantilla:Mvar. El momento central Plantilla:Mvar-ésimo normalizado de la variable aleatoria Plantilla:Mvar es $$\frac{{\mu }_n}{{\sigma }^n}=\frac{\mathrm{E}[(X-\mu {)}^n]}{{\sigma }^n}=\frac{\mathrm{E}[(X-\mu {)}^n]}{\mathrm{E}{[(X-\mu {)}^2]}^{\frac{n}{2}}}.$$

Estos momentos centrales normalizados son cantidades adimensionales, que representan la distribución independientemente de cualquier cambio lineal de escala.

Para una señal eléctrica, el primer momento es su nivel de corriente continua y el segundo momento es proporcional a su potencia media.

Momentos notables

Media

El primer momento bruto es la media, generalmente denominada $\mu \equiv \mathrm{E}[X].$.

Varianza

El segundo momento central es la varianza. La raíz cuadrada positiva de la varianza es la desviación típica $\sigma \equiv {(\mathrm{E}[(x-\mu {)}^2])}^{\frac{1}{2}}.$

Asimetría

El tercer momento central es la medida del desequilibrio de la distribución. Cualquier distribución simétrica tendrá un tercer momento central, si se define, de cero. El tercer momento central normalizado se denomina asimetría estadística, a menudo Plantilla:Mvar. Una distribución sesgada hacia la izquierda (la cola de la distribución es más larga a la izquierda) tendrá una asimetría negativa. Una distribución que está sesgada hacia la derecha (la cola de la distribución es más larga a la derecha) tendrá una asimetría positiva.

Para distribuciones que no son muy diferentes de una distribución normal, su mediana estará cerca de Plantilla:Math; y la moda alrededor de Plantilla:Math.

Curtosis

El cuarto momento central es una medida del peso de la cola de la distribución. Dado que es la expectativa de una cuarta potencia, el cuarto momento central, cuando se define, siempre es no negativo, y salvo distribuciones puntuales, siempre es estrictamente positivo. El cuarto momento central de una distribución normal es Plantilla:Math.

La curtosis Plantilla:Mvar se define como el cuarto momento central estandarizado (de manera equivalente, como en la siguiente sección, el exceso de curtosis es el cuarto cumulante dividido por el cuadrado del segundo cumulante). Si una distribución tiene colas con un peso significativo, la curtosis será alta (y se habla de distribuciones leptocúrticas); por el contrario, las distribuciones con colas de poco peso (por ejemplo, las distribuciones acotadas como la uniforme) tienen curtosis baja (y entonces se habla de distribuciones platicúrticas).

La curtosis puede ser positiva sin límite, pero Plantilla:Mvar debe ser mayor o igual a Plantilla:Math. La igualdad solo se verifica para distribuciones binarias. Para distribuciones asimétricas no acotadas y no muy alejadas de la normal, Plantilla:Mvar tiende a estar en algún lugar en los valores comprendidos entre Plantilla:Math y Plantilla:Math.

La desigualdad se puede probar considerando que $$\mathrm{E}\left[{(T^2-aT-1)}^2\right]$$ donde Plantilla:Math. Es la expectativa de un cuadrado, por lo que no es negativa para todo a. Sin embargo, también es un polinomio cuadrático en a. Su discriminante debe ser no positivo, lo que proporciona la relación requerida.

Momentos de orden más alto

Se denominan momentos de alto orden a aquellos superiores al cuarto orden.

Al igual que con la varianza, la asimetría y la curtosis, estos son valores estadísticos de alto orden, que involucran combinaciones no lineales de los datos y pueden usarse para la descripción o estimación de parámetros de forma adicionales. Cuanto mayor es el momento, más difícil es de estimar, en el sentido de que se requieren muestras más grandes para obtener estimaciones de calidad similar. Esto se debe al exceso de grados de libertad requeridos por los valores estadísticos de órdenes superiores. Además, pueden ser sutiles de interpretar, y a menudo se entienden más fácilmente en términos de momentos de orden inferior (compárese con las derivadas de orden superior de sobreaceleración y de rebote en física). Por ejemplo, así como el momento de cuarto orden (curtosis) puede interpretarse como la "importancia relativa de las colas en comparación con los hombros en la contribución a la dispersión" (para una cantidad dada de dispersión, una curtosis más alta corresponde a colas más gruesas, mientras que una curtosis más baja corresponde a hombros más anchos), el momento de quinto orden puede interpretarse como una medida de la "importancia relativa de las colas en comparación con el centro (la moda y los hombros) en la contribución a la asimetría" (para una determinada cantidad de asimetría, un quinto momento más alto corresponde a una mayor asimetría en las porciones de la cola y poca asimetría de la moda, mientras que el quinto momento inferior corresponde a una mayor asimetría en los hombros).

Momentos mixtos

Los momentos mixtos son aquellos que involucran múltiples variables.

El valor $E[X^k]$ se denomina momento de orden $k$ (los momentos también se definen para $k$ no entero). Los momentos de la distribución conjunta de variables aleatorias $X_1...X_n$ se definen de manera similar. Para cualquier número entero $k_i\ge 0$, la expectativa matemática $E[{X_1}^{k_1}\cdots {X_n}^{k_n}]$ se denomina momento mixto de orden $k$ (donde $k=k_1+...+k_n$), y $E[(X_1-E[X_1]{)}^{k_1}\cdots (X_n-E[X_n]{)}^{k_n}]$ se denomina momento mixto central de orden $k$. El momento mixto $E[(X_1-E[X_1])(X_2-E[X_2])]$ se llama covarianza y es una de las características básicas de dependencia entre variables aleatorias.

Algunos ejemplos son la covarianza, la coasimetría y la cocurtosis. Si bien existe una covarianza única, existen múltiples coasimetrías y cocurtosis.

Propiedades de los momentos

Transformación desde el centro

Dado que

$$(x-b{)}^n=(x-a+a-b{)}^n=\sum _{i=0}^n(\genfrac{}{}{0ex}{}{n}{i})(x-a{)}^i(a-b{)}^{n-i}$$

donde $(\genfrac{}{}{0ex}{}{n}{i})$ es el coeficiente binomial, se deduce que los momentos con respecto a b se pueden calcular a partir de los momentos con respecto a a mediante la relación: $$E[(x-b{)}^n]=\sum _{i=0}^n(\genfrac{}{}{0ex}{}{n}{i})E[(x-a{)}^i](a-b{)}^{n-i}.$$

Momento de la convolución de una función

El momento de la convolución de una función $h(t)=(f*g)(t)={\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(\tau )g(t-\tau )d\tau$ toma la forma

$${\mu }_n[h]=\sum _{i=0}^n(\genfrac{}{}{0ex}{}{n}{i}){\mu }_i[f]{\mu }_{n-i}[g]$$

donde ${\mu }_n[\cdot ]$ denota el momento $n$ de la función indicada entre paréntesis. Esta identidad se desprende del teorema de convolución para la función generadora de momentos y de la aplicación de la regla de la cadena para la derivada de un producto.

Cumulantes

El primer momento bruto y el segundo y tercer momento central no normalizado son aditivos en el sentido de que si X e Y son variables aleatorias independientes, entonces $$\begin{array}{cc}{m}_1(X+Y)& =m_1(X)+m_1(Y)\\ \mathrm{Var}(X+Y)& =\mathrm{Var}(X)+\mathrm{Var}(Y)\\ {\mu }_3(X+Y)& ={\mu }_3(X)+{\mu }_3(Y)\end{array}$$

Estas relaciones también pueden ser válidas para variables que satisfacen condiciones más débiles que la independencia. La primera siempre se cumple; si se cumple la segunda, las variables se denominan incorrelacionadas.

De hecho, estos son los tres primeros cumulantes y todos los cumulantes comparten esta propiedad de aditividad.

Momentos de una muestra

Para todo k, el momento bruto Plantilla:Mvar de una población se puede estimar utilizando el momento muestral bruto Plantilla:Mvar. $$\frac{1}{n}\sum _{i=1}^n{X}_i^k$$ aplicado a una muestra Plantilla:Math extraída de una población.

Se puede demostrar que el valor esperado del momento muestral bruto es igual al momento bruto Plantilla:Mvar de la población, si ese momento existe, para cualquier tamaño de muestra Plantilla:Mvar. Por tanto, es un estimador insesgado. Esto contrasta con la situación de los momentos centrales, cuyo cálculo consume un grado de libertad al utilizar la media muestral. Entonces, por ejemplo, una estimación insesgada de la varianza poblacional (el segundo momento central) viene dada por $$\frac{1}{n-1}\sum _{i=1}^n{(X_i-\overline{X})}^2$$ en el que el denominador anterior Plantilla:Mvar ha sido sustituido por los grados de libertad Plantilla:Math, y en el que $\overline{X}$ se refiere a la media muestral. Esta estimación del momento poblacional es mayor que el momento muestral observado no ajustado por un factor de $\frac{n}{n-1},$ y se denomina "varianza muestral ajustada" o, a veces, simplemente "varianza muestral".

Problema de los momentos

Los problemas de determinar una distribución de probabilidad a partir de su secuencia de momentos se denominan problemas de los momentos. Estos problemas fueron discutidos por primera vez por P.L. Chebyshev (1874) en relación con la investigación sobre teoremas de límites. Para que la distribución de probabilidad de una variable aleatoria $X$ esté definida unívocamente por sus momentos ${\alpha }_k=E{X}^k$ es suficiente, por ejemplo, que se cumpla la condición de Carleman: $$\sum _{k=1}^{\mathrm{\infty }}\frac{1}{{\alpha }_{2k}^{1/2k}}=\mathrm{\infty }$$ Un resultado similar se cumple incluso para momentos de vectores aleatorios. El problema de los momentos busca caracterizaciones de secuencias ${{\mu }_n}^{\prime }:n=1,2,3,\dots$ que son secuencias de momentos de alguna función f, de las cuales todos los momentos ${\alpha }_k(n)$ son finitos, y para cada entero $k\ge 1$ se tiene que $${\alpha }_k(n)\to {\alpha }_k,n\to \mathrm{\infty },$$ donde ${\alpha }_k$ es finito. Entonces hay una secuencia ${\mu }_n\text{'}$ que converge débilmente a una función de distribución $\mu$ que tiene ${\alpha }_k$ como momentos. Si los momentos determinan $\mu$ de forma única, entonces la secuencia ${\mu }_n\text{'}$ converge débilmente a $\mu$.

Momentos parciales

Los momentos parciales a veces se denominan "momentos unilaterales". Los momentos parciales inferior y superior de orden Plantilla:Mvar con respecto a un punto de referencia r se pueden expresar como

$${\mu }_n^{-}(r)=\underset{-\mathrm{\infty }}{\overset{r}{\int }}(r-x{)}^{n}f(x)\mathrm{d}x,$$ $${\mu }_n^{+}(r)=\underset{r}{\overset{\mathrm{\infty }}{\int }}(x-r{)}^{n}f(x)\mathrm{d}x.$$

Si las funciones integrales no convergen, el momento parcial no existe.

Los momentos parciales se normalizan elevándolos a la potencia 1/n. La razón de potencial alcista puede expresarse como una relación entre un momento parcial superior de primer orden y un momento parcial inferior normalizado de segundo orden. Se han utilizado en la definición de algunas métricas financieras, como la razón de Sortino, ya que se centran exclusivamente en las tendencias de alza o de baja.

Momentos centrales en espacios métricos

Sea Plantilla:Math un espacio métrico y sea B(M) una [[Conjunto de Borel|Plantilla:Mvar-álgebra de Borel]] de M, la [[Σ-álgebra|Plantilla:Mvar-álgebra]] generada por d-subconjuntos abiertos de M. Por razones técnicas, también es conveniente suponer que M es un espacio separable con respecto a la métrica d.

Sea Plantilla:Math el momento central Plantilla:Mvar de una medida Plantilla:Mvar en un espacio medible (M, B(M)) alrededor de un punto dado Plantilla:Math se define como $$\underset{M}{\int }d{(x,x_0)}^p\mathrm{d}\mu (x).$$

Se dice que μ tiene momento central Plantilla:Mvar-ésimo finito si el momento central Plantilla:Mvar-ésimo de Plantilla:Mvar con respecto a x₀ es finito para algún Plantilla:Math.

Esta terminología para medidas se aplica a las variables aleatorias de la forma habitual: si Plantilla:Math es un espacio de probabilidad y Plantilla:Math es una variable aleatoria, entonces el Plantilla:Mvar-ésimo momento central de X respecto a Plantilla:Math se define como $$\underset{M}{\int }d{(x,x_0)}^p\mathrm{d}\left(X_{*}\left(𝐏\right)\right)(x)=\underset{\mathrm{\Omega }}{\int }d{(X(\omega ),x_0)}^p\mathrm{d}𝐏(\omega )=𝐄[d(X,x_0{)}^p],$$ y X tiene momento central Plantilla:Mvar-ésimo finito si el momento central Plantilla:Mvar-ésimo de X respecto a x₀ es finito para algún Plantilla:Math.

Véase también

• Media generalizada
• Momentos de imagen
• Método de momentos (estadística)
• Función generadora de momentos
• Momento estándar

Bibliografía

• El texto fue copiado del artículo Moment de la Encyclopedia of Mathematics, que se publica bajo Creative Commons Licencia Attribution-Share Alike 3.0 (Unported) (CC-BY-SA 3.0) y Licencia de documentación libre GNU.
• Plantilla:Cite book
• Plantilla:Cite book

Enlaces externos

• Plantilla:Springer
• Momentos en Mathworld