¿Debería considerarse la función delta de Dirac como una subclase de la distribución gaussiana?

10

En Wikidata es posible vincular distribuciones de probabilidad (como todo lo demás) en una ontología, por ejemplo, que la distribución t es una subclase de la distribución t no central, ver, por ejemplo,

https://angryloki.github.io/wikidata-graph-builder/?property=P279&item=Q209675&iterations=3&limit=3

Existen varios casos limitantes, por ejemplo, cuando los grados de libertad en la distribución t llegan al infinito o cuando la varianza se aproxima a cero para la distribución normal (distribución gaussiana). En el último caso, la distribución irá hacia la función delta de Dirac.

Observo que en la Wikipedia en inglés el parámetro de varianza se establece actualmente como mayor que cero, por lo que con una interpretación estricta no se diría que la función delta de Dirac es una subclase de la distribución normal. Sin embargo, me parece bastante bien, ya que diría que la distribución exponencial es una superclase de la función delta de Dirac.

¿Hay algún problema al afirmar que la función delta de Dirac es una subclase de la distribución gaussiana?

Finn Årup Nielsen
fuente
1
Si dirac delta es una subclase de gaussiana, entonces su curtosis debe ser 3, ¿verdad?
Aksakal
Supongo que si consideramos el delta de Dirac como una subclase de varias distribuciones de probabilidad, entonces la curtosis es inconsistente para el Delta de Dirac. Habla en contra de considerar el delta de Dirac como una subclase de cualquiera de estas distribuciones.
Finn Årup Nielsen
En el contexto de probabilidad, delta se describe como una función generalizada. No es una función ordinaria
Aksakal

Respuestas:

10

El delta de Dirac es considerado como una distribución gaussiana cuando es conveniente hacerlo, y no tan considerado cuando este punto de vista requiere que hagamos excepciones.

Por ejemplo, se dice que disfrutan de un multivariante distribución de Gauss si Σ i un i X i es una variable aleatoria gaussiana para todas las opciones de números reales un 1 , un 2 , ... , una n . (Nota: esta es una definición estándar en las estadísticas "avanzadas"). Como una opción es a 1 = a 2 = =(X1,X2,,Xn)iaiXiuna1,una2,...,unanorte , la definición estándar trata la constante 0 (una variable aleatoria degenerada) como una variable aleatoria gaussiana (con media y varianza 0 ). Por otro lado, ignoramos nuestra consideración por el delta de Dirac como una distribución gaussiana cuando consideramos algo comouna1=una2==unanorte=0 00 00 0

"La función de distribución de probabilidad acumulativa (CDF) de una variable aleatoria gaussiana de media cero con desviación estándar es F X ( x ) = P { X x } = Φ ( xσ dondeΦ()es el CDF de una variable aleatoria gaussiana estándar ".

FX(X)=PAG{XX}=Φ(Xσ)
Φ()

Tenga en cuenta que esta afirmación es casi correcta pero no del todo correcta si consideramos el delta de Dirac como el caso límite de una secuencia de variables aleatorias gaussianas de media cero cuya desviación estándar se aproxima a (y, por lo tanto, como una variable aleatoria gaussiana). El CDF del delta de Dirac tiene valor 1 para x 0 mientras que lim σ 0 Φ ( x0 01X0 0 Pero, mucha gente te dirá que considerar un delta de Dirac como una distribución gaussiana no tiene sentido ya que su libro dice que la varianza de una variable aleatoria gaussiana debe ser un número positivo ( y algunos votarán esta respuesta para mostrar su disgusto). Hubo una discusión muy vigorosa e iluminadora de este punto hace unos años sobre las estadísticas. SE, pero desafortunadamente fue solo en los comentarios sobre una respuesta (por @Macro, creo) y no como respuestas individuales, y no puedo encontrarla nuevamente. .

limσ0 0Φ(Xσ)={0 0,X<0 0,12,X=0 0,1,X>0.
Dilip Sarwate
fuente
3
+1. No estoy seguro de que haya un problema con respecto al CDF, porque creo que el valor límite de una secuencia de CDF en cualquier salto del límite no importa. Hay dos formas de ver eso. Una es notar que su fórmula limitante no es un CDF válido (no es cadlag). Otra es notar que obtienes una distribución de Dirac en cuando dejas ( μ , σ ) ( 0 , 0 ) simultáneamente, pero puedes lograr que el valor límite de Φ μ , σ ( 0 ) sea ​​cualquier cosa entre 0 y 1 (o no tener un límite en absoluto). 0 0(μ,σ)(0 0,0 0)Φμ,σ(0 0)0 01
whuber
66
La conversación a la que hace referencia sucedió en los comentarios de esta respuesta , aunque sinceramente espero que para la mayoría de los lectores la discusión no parezca demasiado vigorosa. (+1)
cardenal
1
@cardinal Profundo conocimiento de nuestra comunidad. ¡Bien hecho!
Matthew Drury
10

Las funciones delta se ajustan a una teoría matemática de las distribuciones (que es bastante distinta de la teoría de las distribuciones de probabilidad , la terminología aquí no podría ser más confusa).

Esencialmente, las distribuciones son funciones generalizadas. No pueden evaluarse como una función, pero pueden integrarse. Más precisamente, una distribución se define de la siguiente manerare

Sea la colección de funciones de prueba . Una función de prueba θ es una función verdadera, honesta con Dios, suave y con soporte compacto. Una distribución es un mapeo lineal D : T RTθre:TR

Una función honesta determina una distribución por parte del operador de integración.F

T(θ)=-+F(X)θ(X)reX

Hay distribuciones que no están asociadas a funciones verdaderas, el operador dirac es una de ellas.

δ(θ)=θ(0 0)

En este sentido, puede considerar el dirac como un caso limitante de las distribuciones normales. Si es la familia de pdf de distribuciones normales con media cero y varianza t , entonces para cualquier función de prueba θnortettθ

θ(0 0)=limt0 0-+nortet(X)θ(X)reX

Esto probablemente se expresa más comúnmente como

θ(0 0)=-+δ(X)θ(X)reX=limt0 0-+nortet(X)θ(X)reX

δ(X)

Por supuesto, si esto convierte al dirac en un miembro de la familia de distribuciones normales es una cuestión cultural. Aquí solo estoy dando una razón por la cual puede tener sentido considerarlo así.

Matthew Drury
fuente
Si bien estoy de acuerdo con sus declaraciones, creo que esto implica lo contrario. Una función delta no es un subconjunto de gaussianos. Así como un límite de funciones continuas no necesita ser una función continua.
seanv507
@ seanv507 ¡Hice todo lo posible para no establecer una conclusión de ninguna manera!
Matthew Drury
1
Pensé que las distribuciones son muy parecidas a las distribuciones de probabilidad, con una distribución delta de Dirac (probabilidad) que indica una variable determinista ...
user541686
Si no escribe los límites de las integrales, pueden confundirse las integrales indefinidas. Además, esta oración no tiene sentido: "Una función de prueba θ es una función verdadera, honesta con Dios, suave, con soporte compacto".
ogogmad
@jkabrg ¿Por qué no tiene sentido? Desde que lo escribí, es difícil para mí ver que no tiene sentido.
Matthew Drury
-1

No. No es una subclase de distribución normal.

Creo que la confusión proviene de una de las representaciones de la función de Dirac. Recuerde que se define de la siguiente manera:

-δ(X)reX=1
δ(X)=0 0,X0 0

δ(X)=limσ0 0mi-X22σ22πσ

δ(X)=12πk=-miyokX,X(-π,π)

Por lo tanto, es mejor pensar en la función de Dirac en términos de su definición integral, y tomar las representaciones de funciones, como la gaussiana, como herramientas de conveniencia.

ACTUALIZACIÓN Al punto de @ whuber, un mejor ejemplo es esta representación del delta de Dirac:

δ(X)=limσ0 0mi-El |XEl |σ2σ

¿Te parece distribución laplaciana ? ¿No deberíamos considerar entonces el delta de Dirac como una subclase de distribución laplaciana?

Aksakal
fuente
En algún momento de esta respuesta, parece que pasa de hablar de distribuciones a discutir "funciones". La pregunta se refiere explícitamente a "distribuciones de probabilidad". En general, estos no están dados por las funciones de densidad, pero siempre pueden estar dados por su función de distribución. La distribución de un átomo, el "delta de Dirac", encaja perfectamente con todas las otras distribuciones gaussianas como un caso limitante. (¡En la configuración de Matthew Drury, se define como ese límite!) Su argumento parece similar a afirmar que, por ejemplo, los círculos no son elipses. Hacer cumplir tales excepciones no parece constructivo.
whuber
@whuber, ¿qué es la "distribución de un átomo"?
Aksakal
Un "átomo" es un conjunto de probabilidades en un solo punto. De manera equivalente, la distribución de cualquier variable aleatoria es constante en casi todas partes.
whuber
@whuber, Oh, estaba pensando en un átomo físico. No, mi punto es que el delta de Dirac no es una subclase de gaussiana, porque también puede ser representada por laplacianos como distribuciones
Aksakal
3
(0 0,1)(0 0,θ)(α,β)
whuber