Difference between revisions of "Poisson distribution/RV"

From Maths
Jump to: navigation, search
(Saving work)
 
(PROBLEM)
Line 17: Line 17:
 
*** Specifically consider {{M|\big(\mathbb{N}_0,\ }}[[power set|{{M|\mathcal{P}(\mathbb{N}_0)}}]]{{M|\big)}} as a [[sigma-algebra]] and {{M|X:[0,1]\rightarrow\mathbb{N}_0}} by:
 
*** Specifically consider {{M|\big(\mathbb{N}_0,\ }}[[power set|{{M|\mathcal{P}(\mathbb{N}_0)}}]]{{M|\big)}} as a [[sigma-algebra]] and {{M|X:[0,1]\rightarrow\mathbb{N}_0}} by:
 
**** {{M|X:x\mapsto\left\{0if x[0,p1)1if x[p1,p2)kif x[pk,pk+1)\right.}} for {{MM|p_1:\eq e^{-\lambda} \frac{\lambda^1}{1!} }} and {{M|p_k:\eq p_{k-1}+e^{-\lambda}\frac{\lambda^k}{k!} }}
 
**** {{M|X:x\mapsto\left\{0if x[0,p1)1if x[p1,p2)kif x[pk,pk+1)\right.}} for {{MM|p_1:\eq e^{-\lambda} \frac{\lambda^1}{1!} }} and {{M|p_k:\eq p_{k-1}+e^{-\lambda}\frac{\lambda^k}{k!} }}
Giving the setup shown on the left.
+
Giving the setup shown on the left.<noinclude>
 +
=={{XXX|TODO:}}==
 +
* Surely it should be {{M|[0,1)}} and {{M|\mathcal{B}\big([0,1)\big)}} for this to work? [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 20:49, 26 February 2018 (UTC)
 +
</noinclude>

Revision as of 20:49, 26 February 2018

Definition

As a formal random variable

Situation for our RV

There is no unique way to define a random variable, here is one way.

  • Let ([0,1], B([0,1]), λ) be a probability space - which itself could be viewed as a rectangular distribution's random variable
    • Let λR>0 be given, and let XPoi(λ)
      • Specifically consider (N0, P(N0)) as a sigma-algebra and X:[0,1]N0 by:
        • X:x{0if x[0,p1)1if x[p1,p2)kif x[pk,pk+1) for p1:=eλλ11! and pk:=pk1+eλλkk!

Giving the setup shown on the left.

TODO: TODO:

  • Surely it should be [0,1) and B([0,1)) for this to work? Alec (talk) 20:49, 26 February 2018 (UTC)