Esta es una pregunta interesante, y me la hice a mí mismo en un intento por comprender la probabilidad de una manera que es independiente del concepto filosófico de aleatoriedad.
Una función seno, por sí misma, no tiene una distribución de probabilidad. Sin embargo, podríamos definir uno si interpretamos esta pregunta como “si estuviéramos observando una onda sinusoidal durante mucho tiempo, ¿qué fracción del tiempo estaría por encima de algún valor [matemática] c [/ matemática]? [Matemática]” [/matemáticas]
Podemos colocar esto en una base más rigurosa definiendo el espacio de probabilidad específico que nos permite hacer esto:
Primero, sabemos que [math] sin (x) [/ math] [math]: \ mathbb {R} \ to [-1,1] \ subset \ mathbb {R} [/ math]. Segundo, en lugar de estudiar [matemáticas] sin (x) [/ matemáticas] en toda la línea real, solo veremos un período completo [matemáticas] x \ en [0,2 \ pi] [/ matemáticas]. Esto significa que la imagen previa de [math] sin (x), [/ math] escrita como [math] \ sin ^ {- 1} (x) [/ math] caerá en [math] [0,2 \ pi] [/ matemáticas].
- ¿Qué tipo de lectores / configuración RFID recomendaría para un carrito de compras electrónico?
- ¿Cómo puede un joven de 16 años escribir un trabajo de investigación en el campo de la electrónica?
- Quiero hacer M.tech de IIT en Electrónica y Comunicación, ¿cuáles son los cursos en los que no se requiere programación?
- ¿Qué es la comunicación verde?
- ¿Puede un estudiante EEE solicitar la rama ECE en el examen científico ISRO?
Con estos ingredientes, podemos definir nuestro espacio de probabilidad: es el espacio de probabilidad definido sobre [matemáticas] [0,2 \ pi] [/ matemáticas] (el espacio muestral), con eventos ([matemáticas] E [/ matemáticas]) siendo uniones contables, intersecciones y complementos de los subconjuntos abiertos de [matemáticas] [0,2 \ pi]. [/ math] Finalmente, la probabilidad de un evento es solo una medida normalizada de Lebesgue: [math] P_X (E) = \ frac {\ rm {Leb} (E)} {\ rm {Leb} ([0,2 \ pi])} = \ frac {\ rm {Leb} (E)} {2 \ pi} [/ math]
Nota: Cuando evalúa una función [matemática] f (x) [/ matemática] con un argumento establecido como [matemática] [0,1] [/ matemática] significa que la salida también será un conjunto: [matemática] [ f (x): x \ in [0,1]]. [/ math] Esto se llama la imagen de una función.
Ahora, podemos avanzar la medida de probabilidad que definimos anteriormente en [matemáticas] [0,2 \ pi] [/ matemáticas] al espacio transformado definido por [matemáticas] sin (x): x \ en [0,2 \ pi] [/ matemáticas]:
[matemáticas] P (sin (x) \ en Z) = P_X (sin ^ {- 1} (Z)) = \ frac {\ rm {Leb} (sin ^ {- 1} (Z))} {2 \ pi} [/ matemáticas]
Donde [matemáticas] Z \ subconjunto [-1,1]. [/ Matemáticas]
Una forma natural de ver la distribución de [math] sin [/ math] dado lo anterior es calcular la función de distribución acumulativa [math] F_ {sin} (x): [/ math]
[matemáticas] F_ {sin} (c) = P (sin (x) \ en [-1, c]), c \ en [-1,1] [/ matemáticas]
Usando la noción de una medida de avance, sabemos que esto es equivalente a
[matemáticas] F_ {sin} (c) = P_X (sin ^ {- 1} ([- 1, c])), c \ en [-1,1] [/ matemáticas]
Para construir esta probabilidad, necesitamos calcular la longitud total de los segmentos de línea definidos por [math] sin ^ {- 1} ([- 1, c]) [/ math]. Como primer paso, reconocemos que para cualquier [matemática] c \ en [-1,0) \ cup (0,1] [/ matemática], la línea [matemática] y = c [/ matemática] se cruzará [ matemática] sin (x) [/ matemática] en dos (posiblemente degenerados) [matemática] x [/ matemática] valores llamados [matemática] x_1, x_2 [/ matemática]. La longitud de la línea horizontal entre los dos puntos de intersección se puede calcular como:
[matemáticas] | x_1-x_2 | (c) = 2 | sin ^ {- 1} (| c |) – \ frac {\ pi} {2} | [/ matemáticas]
Para [math] c = 0, [/ math] podemos establecer [math] | x_1-x_2 | = \ pi. [/ math] Esto resuelve cualquier ambigüedad resultante del hecho de que la línea se cruzará en tres ubicaciones [math] (0, \ pi, 2 \ pi). [/ math] El primer segmento de línea ([math] 0, \ pi ) [/ math] ya no es aplicable ya que [math] sin [/ math] está por encima de [math] 0 [/ math] para cada punto en este segmento (de modo que solo el segundo intervalo tiene una medida de Lebesgue distinta de cero).
Podemos usar lo anterior para calcular la medida de Lebesgue para [math] sin (x) \ leq c [/ math]:
[matemáticas] \ rm {Leb} (sin ^ {- 1} ([- 1, c])) = \ mathbf {1} _ {- 1 \ leq c \ leq 0} [| x_1-x_2 | (c) ] + \ mathbf {1} _ {1 \ geq c> 0} [2 \ pi – | x_1-x_2 | (c)] = 2sin ^ {- 1} (c) + \ pi [/ math]
Si ahora normalizamos por [math] 2 \ pi [/ math], obtenemos nuestro cdf:
[matemáticas] F_ {sin} (c) = \ frac {sin ^ {- 1} (c) + \ frac {\ pi} {2}} {\ pi} [/ matemáticas]
El CDF se ve así:
La función de densidad se puede determinar a partir del cálculo estándar:
[matemática] \ frac {d} {dc} F_ {sin} (c) = \ frac {1} {\ pi \ sqrt {1-c ^ 2}} [/ matemática]
La densidad resultante es un tanto extraña porque la densidad se aproxima al infinito en los puntos finales (pero la integral impropia converge, así que estamos bien: [matemática] [/ matemática] [matemática] \ forall b \ in (0, \ infty): \ lim_ {a \ a 0 ^ +} \ int_a ^ bx ^ {- 1/2} dx \ leq \ infty [/ math]):
Lo que esto significa es que la función de pecado pasa más tiempo en los extremos que hacia sus valores moderados. Esto tiene sentido ya que la tasa de cambio de la función es mayor alrededor de sus ceros.