ในทางสถิติ พีชคณิตของตัวแปรสุ่ม ให้กฎสำหรับการจัดการเชิงสัญลักษณ์ ของตัวแปรสุ่ม โดยหลีกเลี่ยงการเจาะลึกลงไปในแนวคิดทางคณิตศาสตร์ที่ซับซ้อนของทฤษฎีความน่าจะ เป็น สัญลักษณ์ของมันช่วยให้สามารถจัดการกับผลรวม ผลคูณ อัตราส่วน และฟังก์ชันทั่วไปของตัวแปรสุ่มได้ เช่นเดียวกับการดำเนินการต่างๆ เช่น การหาการแจกแจงความน่าจะเป็น และ ค่า คาดหวัง (หรือค่าที่คาดหวัง) ความแปรปรวน และความแปรปรวนร่วม ของการรวมกันดังกล่าว
โดยหลักการแล้วพีชคณิตพื้นฐาน ของตัวแปรสุ่มนั้นเทียบเท่ากับพีชคณิตพื้นฐานของตัวแปรที่ไม่สุ่ม (หรือตัวแปรเชิงกำหนด) ทั่วไป อย่างไรก็ตาม การเปลี่ยนแปลงที่เกิดขึ้นกับฟังก์ชันความน่าจะเป็นของตัวแปรสุ่มที่ได้หลังจากดำเนินการทางพีชคณิต นั้นไม่ตรงไปตรงมา ดังนั้น พฤติกรรมของตัวดำเนินการต่างๆ ของฟังก์ชันความน่าจะเป็น เช่น ค่าคาดหวัง ความแปรปรวน ความแปรปรวนร่วม และโมเมนต์ อาจแตกต่างจากที่สังเกตได้สำหรับตัวแปรสุ่มโดยใช้พีชคณิตเชิงสัญลักษณ์ เป็นไปได้ที่จะระบุหลักเกณฑ์สำคัญบางประการสำหรับตัวดำเนินการแต่ละตัว ซึ่งส่งผลให้เกิดพีชคณิตประเภทต่างๆ สำหรับตัวแปรสุ่ม นอกเหนือจากพีชคณิตเชิงสัญลักษณ์พื้นฐาน เช่น พีชคณิตค่าคาดหวัง พีชคณิตความแปรปรวน พีชคณิตความแปรปรวนร่วม พีชคณิตโมเมนต์ เป็นต้น
พีชคณิตเชิงสัญลักษณ์เบื้องต้นของตัวแปรสุ่ม เมื่อพิจารณาตัวแปรสุ่มสองตัวคือและการดำเนินการทางพีชคณิตต่อไปนี้เป็นไปได้: X {\displaystyle X} วาย {\displaystyle Y}
ส่วนที่เพิ่มเข้าไป :ซ = X + วาย = วาย + X {\displaystyle Z=X+Y=Y+X} การลบ :ซ = X − วาย = − วาย + X {\displaystyle Z=X-Y=-Y+X} การคูณ :Z = X Y = Y X {\displaystyle Z=XY=YX} การหาร : สมมติว่า, .Y ≠ 0 {\displaystyle Y\neq 0} Z = X / Y = X ⋅ ( 1 / Y ) = ( 1 / Y ) ⋅ X {\displaystyle Z=X/Y=X\cdot (1/Y)=(1/Y)\cdot X} การยกกำลัง :Z = X Y = e Y ln ( X ) {\displaystyle Z=X^{Y}=e^{Y\ln(X)}} ในทุกกรณี ตัวแปรที่ได้จากการดำเนินการแต่ละครั้งก็จะเป็นตัวแปรสุ่มเช่นกัน คุณสมบัติ การสลับที่ และการจัดกลุ่ม ทั้งหมด ของการดำเนินการทางพีชคณิตทั่วไปนั้นใช้ได้กับตัวแปรสุ่มด้วยเช่นกัน หากตัวแปรสุ่มใดถูกแทนที่ด้วยตัวแปรเชิงกำหนดหรือค่าคงที่ คุณสมบัติทั้งหมดข้างต้นก็ยังคงใช้ได้อยู่ Z {\displaystyle Z}
พีชคณิตความคาดหวังสำหรับตัวแปรสุ่ม ค่าที่คาดหวังของตัวแปรสุ่มที่ได้จากการดำเนินการทางพีชคณิตระหว่างตัวแปรสุ่มสองตัว สามารถคำนวณได้โดยใช้ชุดกฎต่อไปนี้: E [ Z ] {\displaystyle \operatorname {E} [Z]} Z {\displaystyle Z}
ส่วนที่เพิ่มเข้าไป :E [ Z ] = E [ X + Y ] = E [ X ] + E [ Y ] = E [ Y ] + E [ X ] {\displaystyle \operatorname {E} [Z]=\operatorname {E} [X+Y]=\operatorname {E} [X]+\operatorname {E} [Y]=\operatorname {E} [Y]+\operatorname {E} [X]} การลบ :E [ Z ] = E [ X − Y ] = E [ X ] − E [ Y ] = − E [ Y ] + E [ X ] {\displaystyle \operatorname {E} [Z]=\operatorname {E} [X-Y]=\operatorname {E} [X]-\operatorname {E} [Y]=-\operatorname {E} [Y]+\operatorname {E} [X]} การคูณ : โดยเฉพาะอย่างยิ่ง ถ้าและเป็นอิสระ ต่อกันแล้ว:E [ Z ] = E [ X Y ] = E [ Y X ] {\displaystyle \operatorname {E} [Z]=\operatorname {E} [XY]=\operatorname {E} [YX]} X {\displaystyle X} Y {\displaystyle Y} E [ X Y ] = E [ X ] ⋅ E [ Y ] = E [ Y ] ⋅ E [ X ] {\displaystyle \operatorname {E} [XY]=\operatorname {E} [X]\cdot \operatorname {E} [Y]=\operatorname {E} [Y]\cdot \operatorname {E} [X]} การหาร : . โดยเฉพาะอย่างยิ่ง ถ้าและเป็นอิสระต่อกันแล้ว: .E [ Z ] = E [ X / Y ] = E [ X ⋅ ( 1 / Y ) ] = E [ ( 1 / Y ) ⋅ X ] {\displaystyle \operatorname {E} [Z]=\operatorname {E} [X/Y]=\operatorname {E} [X\cdot (1/Y)]=\operatorname {E} [(1/Y)\cdot X]} X {\displaystyle X} Y {\displaystyle Y} E [ X / Y ] = E [ X ] ⋅ E [ 1 / Y ] = E [ 1 / Y ] ⋅ E [ X ] {\displaystyle \operatorname {E} [X/Y]=\operatorname {E} [X]\cdot \operatorname {E} [1/Y]=\operatorname {E} [1/Y]\cdot \operatorname {E} [X]} การยกกำลัง :E [ Z ] = E [ X Y ] = E [ e Y ln ( X ) ] {\displaystyle \operatorname {E} [Z]=\operatorname {E} [X^{Y}]=\operatorname {E} [e^{Y\ln(X)}]} หากตัวแปรสุ่มใดๆ ถูกแทนที่ด้วยตัวแปรเชิงกำหนดหรือค่าคงที่ ( ) คุณสมบัติก่อนหน้านี้ยังคงใช้ได้ โดยพิจารณาว่าและดังนั้น k {\displaystyle k} Pr ( X = k ) = 1 {\displaystyle \Pr(X=k)=1} E [ X ] = k {\displaystyle \operatorname {E} [X]=k}
ถ้ากำหนดให้ เป็นฟังก์ชันพีชคณิตที่ไม่เป็นเชิงเส้นทั่วไปของตัวแปรสุ่มแล้ว: Z {\displaystyle Z} f {\displaystyle f} X {\displaystyle X}
E [ Z ] = E [ f ( X ) ] ≠ f ( E [ X ] ) {\displaystyle \operatorname {E} [Z]=\operatorname {E} [f(X)]\neq f(\operatorname {E} [X])}
ตัวอย่างของคุณสมบัตินี้ได้แก่:
E [ X 2 ] ≠ E [ X ] 2 {\displaystyle \operatorname {E} [X^{2}]\neq \operatorname {E} [X]^{2}} E [ 1 / X ] ≠ 1 / E [ X ] {\displaystyle \operatorname {E} [1/X]\neq 1/\operatorname {E} [X]} E [ e X ] ≠ e E [ X ] {\displaystyle \operatorname {E} [e^{X}]\neq e^{\operatorname {E} [X]}} E [ ln ( X ) ] ≠ ln ( E [ X ] ) {\displaystyle \operatorname {E} [\ln(X)]\neq \ln(\operatorname {E} [X])} ค่าคาดหวังที่แท้จริงของฟังก์ชันที่ไม่เป็นเชิงเส้นจะขึ้นอยู่กับการกระจายความน่าจะเป็นเฉพาะของตัวแปรสุ่มนั้น X {\displaystyle X}
พีชคณิตความแปรปรวนสำหรับตัวแปรสุ่ม ค่าความแปรปรวนของตัวแปรสุ่มที่ได้จากการดำเนินการทางพีชคณิตระหว่างตัวแปรสุ่ม สามารถคำนวณได้โดยใช้ชุดกฎต่อไปนี้: Var [ Z ] {\displaystyle \operatorname {Var} [Z]} Z {\displaystyle Z}
เพิ่มเติม : โดยเฉพาะอย่างยิ่ง ถ้าและเป็นอิสระ ต่อกันแล้ว:Var [ Z ] = Var [ X + Y ] = Var [ X ] + 2 Cov [ X , Y ] + Var [ Y ] . {\displaystyle \operatorname {Var} [Z]=\operatorname {Var} [X+Y]=\operatorname {Var} [X]+2\operatorname {Cov} [X,Y]+\operatorname {Var} [Y].} X {\displaystyle X} Y {\displaystyle Y} Var [ X + Y ] = Var [ X ] + Var [ Y ] . {\displaystyle \operatorname {Var} [X+Y]=\operatorname {Var} [X]+\operatorname {Var} [Y].} การลบ : โดยเฉพาะอย่างยิ่ง ถ้าและเป็นอิสระต่อกันแล้ว: นั่นคือ สำหรับตัวแปรสุ่มอิสระ ค่าความแปรปรวนจะเท่ากันสำหรับการบวกและการลบ:Var [ Z ] = Var [ X − Y ] = Var [ X ] − 2 Cov [ X , Y ] + Var [ Y ] . {\displaystyle \operatorname {Var} [Z]=\operatorname {Var} [X-Y]=\operatorname {Var} [X]-2\operatorname {Cov} [X,Y]+\operatorname {Var} [Y].} X {\displaystyle X} Y {\displaystyle Y} Var [ X − Y ] = Var [ X ] + Var [ Y ] . {\displaystyle \operatorname {Var} [X-Y]=\operatorname {Var} [X]+\operatorname {Var} [Y].} Var [ X + Y ] = Var [ X − Y ] = Var [ Y − X ] = Var [ − X − Y ] . {\displaystyle \operatorname {Var} [X+Y]=\operatorname {Var} [X-Y]=\operatorname {Var} [Y-X]=\operatorname {Var} [-X-Y].} การคูณ : โดยเฉพาะอย่างยิ่ง ถ้าและเป็นอิสระต่อกันแล้ว:Var [ Z ] = Var [ X Y ] = Var [ Y X ] . {\displaystyle \operatorname {Var} [Z]=\operatorname {Var} [XY]=\operatorname {Var} [YX].} X {\displaystyle X} Y {\displaystyle Y} Var [ X Y ] = E [ X 2 ] ⋅ E [ Y 2 ] − ( E [ X ] ⋅ E [ Y ] ) 2 = Var [ X ] ⋅ Var [ Y ] + Var [ X ] ⋅ ( E [ Y ] ) 2 + Var [ Y ] ⋅ ( E [ X ] ) 2 . {\displaystyle {\begin{aligned}\operatorname {Var} [XY]&=\operatorname {E} [X^{2}]\cdot \operatorname {E} [Y^{2}]-{\left(\operatorname {E} [X]\cdot \operatorname {E} [Y]\right)}^{2}\\[2pt]&=\operatorname {Var} [X]\cdot \operatorname {Var} [Y]+\operatorname {Var} [X]\cdot {\left(\operatorname {E} [Y]\right)}^{2}+\operatorname {Var} [Y]\cdot {\left(\operatorname {E} [X]\right)}^{2}.\end{aligned}}} การหาร : โดยเฉพาะอย่างยิ่ง ถ้าและเป็นอิสระต่อกันแล้ว:Var [ Z ] = Var [ X / Y ] = Var [ X ⋅ ( 1 / Y ) ] = Var [ ( 1 / Y ) ⋅ X ] . {\displaystyle \operatorname {Var} [Z]=\operatorname {Var} [X/Y]=\operatorname {Var} [X\cdot (1/Y)]=\operatorname {Var} [(1/Y)\cdot X].} X {\displaystyle X} Y {\displaystyle Y} Var [ X / Y ] = E [ X 2 ] ⋅ E [ 1 / Y 2 ] − ( E [ X ] ⋅ E [ 1 / Y ] ) 2 = Var [ X ] ⋅ Var [ 1 / Y ] + Var [ X ] ⋅ ( E [ 1 / Y ] ) 2 + Var [ 1 / Y ] ⋅ ( E [ X ] ) 2 . {\displaystyle {\begin{aligned}\operatorname {Var} [X/Y]&=\operatorname {E} [X^{2}]\cdot \operatorname {E} [1/Y^{2}]-{\left(\operatorname {E} [X]\cdot \operatorname {E} [1/Y]\right)}^{2}\\[2pt]&=\operatorname {Var} [X]\cdot \operatorname {Var} [1/Y]+\operatorname {Var} [X]\cdot {\left(\operatorname {E} [1/Y]\right)}^{2}+\operatorname {Var} [1/Y]\cdot {\left(\operatorname {E} [X]\right)}^{2}.\end{aligned}}} การยกกำลัง :Var [ Z ] = Var [ X Y ] = Var [ e Y ln ( X ) ] {\displaystyle \operatorname {Var} [Z]=\operatorname {Var} [X^{Y}]=\operatorname {Var} [e^{Y\ln(X)}]} โดยที่แทน ตัวดำเนินการความแปรปรวนร่วม ระหว่างตัวแปรสุ่มและCov [ X , Y ] = Cov [ Y , X ] {\displaystyle \operatorname {Cov} [X,Y]=\operatorname {Cov} [Y,X]} X {\displaystyle X} Y {\displaystyle Y}
ความแปรปรวนของตัวแปรสุ่มสามารถแสดงได้โดยตรงในรูปของความแปรปรวนร่วม หรือในรูปของค่าคาดหวัง:
Var [ X ] = Cov ( X , X ) = E [ X 2 ] − E [ X ] 2 {\displaystyle \operatorname {Var} [X]=\operatorname {Cov} (X,X)=\operatorname {E} [X^{2}]-\operatorname {E} [X]^{2}}
หากตัวแปรสุ่มใดๆ ถูกแทนที่ด้วยตัวแปรเชิงกำหนดหรือค่าคงที่ ( ) คุณสมบัติก่อนหน้านี้ยังคงใช้ได้ โดยพิจารณาว่าและ และกรณีพิเศษคือการบวกและการคูณตัวแปรสุ่มกับตัวแปรเชิงกำหนดหรือค่าคงที่ โดยที่: k {\displaystyle k} Pr ( X = k ) = 1 {\displaystyle \Pr(X=k)=1} E [ X ] = k {\displaystyle \operatorname {E} [X]=k} Var [ X ] = 0 {\displaystyle \operatorname {Var} [X]=0} Cov [ Y , k ] = 0 {\displaystyle \operatorname {Cov} [Y,k]=0}
Var [ k + Y ] = Var [ Y ] {\displaystyle \operatorname {Var} [k+Y]=\operatorname {Var} [Y]} Var [ k Y ] = k 2 Var [ Y ] {\displaystyle \operatorname {Var} [kY]=k^{2}\operatorname {Var} [Y]} ถ้ากำหนดให้ เป็นฟังก์ชันพีชคณิตที่ไม่เป็นเชิงเส้นทั่วไปของตัวแปรสุ่มแล้ว: Z {\displaystyle Z} f {\displaystyle f} X {\displaystyle X}
Var [ Z ] = Var [ f ( X ) ] ≠ f ( Var [ X ] ) {\displaystyle \operatorname {Var} [Z]=\operatorname {Var} [f(X)]\neq f(\operatorname {Var} [X])}
ค่าความแปรปรวนที่แท้จริงของฟังก์ชันที่ไม่เป็นเชิงเส้นจะขึ้นอยู่กับการกระจายความน่าจะเป็นเฉพาะของตัวแปรสุ่มนั้น X {\displaystyle X}
พีชคณิตความแปรปรวนร่วมสำหรับตัวแปรสุ่ม ค่าความแปรปรวนร่วม ( ) ระหว่างตัวแปรสุ่มที่ได้จากการดำเนินการทางพีชคณิตและตัวแปรสุ่มสามารถคำนวณได้โดยใช้ชุดกฎต่อไปนี้: Cov [ Z , X ] {\displaystyle \operatorname {Cov} [Z,X]} Z {\displaystyle Z} X {\displaystyle X}
เพิ่มเติม : ถ้าและเป็นอิสระ ต่อกันแล้ว:Cov [ Z , X ] = Cov [ X + Y , X ] = Var [ X ] + Cov [ X , Y ] . {\displaystyle \operatorname {Cov} [Z,X]=\operatorname {Cov} [X+Y,X]=\operatorname {Var} [X]+\operatorname {Cov} [X,Y].} X {\displaystyle X} Y {\displaystyle Y} Cov [ X + Y , X ] = Var [ X ] . {\displaystyle \operatorname {Cov} [X+Y,X]=\operatorname {Var} [X].} การลบ : ถ้าและเป็นอิสระต่อกันแล้ว:Cov [ Z , X ] = Cov [ X − Y , X ] = Var [ X ] − Cov [ X , Y ] . {\displaystyle \operatorname {Cov} [Z,X]=\operatorname {Cov} [X-Y,X]=\operatorname {Var} [X]-\operatorname {Cov} [X,Y].} X {\displaystyle X} Y {\displaystyle Y} Cov [ X − Y , X ] = Var [ X ] . {\displaystyle \operatorname {Cov} [X-Y,X]=\operatorname {Var} [X].} การคูณ : ถ้าและเป็นอิสระต่อกันแล้ว:Cov [ Z , X ] = Cov [ X Y , X ] = E [ X 2 Y ] − E [ X Y ] E [ X ] . {\displaystyle \operatorname {Cov} [Z,X]=\operatorname {Cov} [XY,X]=\operatorname {E} [X^{2}Y]-\operatorname {E} [XY]\operatorname {E} [X].} X {\displaystyle X} Y {\displaystyle Y} Cov [ X Y , X ] = Var [ X ] ⋅ E [ Y ] . {\displaystyle \operatorname {Cov} [XY,X]=\operatorname {Var} [X]\cdot \operatorname {E} [Y].} การหาร (ความแปรปรวนร่วมกับตัวเศษ): ถ้าและเป็นอิสระต่อกันแล้ว:Cov [ Z , X ] = Cov [ X / Y , X ] = E [ X 2 / Y ] − E [ X / Y ] E [ X ] . {\displaystyle \operatorname {Cov} [Z,X]=\operatorname {Cov} [X/Y,X]=\operatorname {E} [X^{2}/Y]-\operatorname {E} [X/Y]\operatorname {E} [X].} X {\displaystyle X} Y {\displaystyle Y} Cov [ X / Y , X ] = Var [ X ] ⋅ E [ 1 / Y ] . {\displaystyle \operatorname {Cov} [X/Y,X]=\operatorname {Var} [X]\cdot \operatorname {E} [1/Y].} การหาร (ความแปรปรวนร่วมกับตัวหาร): ถ้าและเป็นอิสระต่อกันแล้ว:Cov [ Z , X ] = Cov [ Y / X , X ] = E [ Y ] − E [ Y / X ] E [ X ] . {\displaystyle \operatorname {Cov} [Z,X]=\operatorname {Cov} [Y/X,X]=\operatorname {E} [Y]-\operatorname {E} [Y/X]\operatorname {E} [X].} X {\displaystyle X} Y {\displaystyle Y} Cov [ Y / X , X ] = E [ Y ] ⋅ ( 1 − E [ X ] ⋅ E [ 1 / X ] ) . {\displaystyle \operatorname {Cov} [Y/X,X]=\operatorname {E} [Y]\cdot (1-\operatorname {E} [X]\cdot \operatorname {E} [1/X]).} การยกกำลัง (ความแปรปรวนร่วมกับฐาน):Cov [ Z , X ] = Cov [ X Y , X ] = E [ X Y + 1 ] − E [ X Y ] E [ X ] . {\displaystyle \operatorname {Cov} [Z,X]=\operatorname {Cov} [X^{Y},X]=\operatorname {E} [X^{Y+1}]-\operatorname {E} [X^{Y}]\operatorname {E} [X].} การยกกำลัง (ความแปรปรวนร่วมโดยสัมพันธ์กับกำลัง):Cov [ Z , X ] = Cov [ Y X , X ] = E [ X Y X ] − E [ Y X ] E [ X ] . {\displaystyle \operatorname {Cov} [Z,X]=\operatorname {Cov} [Y^{X},X]=\operatorname {E} [XY^{X}]-\operatorname {E} [Y^{X}]\operatorname {E} [X].} ค่าความแปรปรวนร่วมของตัวแปรสุ่มสามารถแสดงได้โดยตรงในรูปของค่าคาดหวัง:
Cov ( X , Y ) = E [ X Y ] − E [ X ] E [ Y ] {\displaystyle \operatorname {Cov} (X,Y)=\operatorname {E} [XY]-\operatorname {E} [X]\operatorname {E} [Y]}
หากตัวแปรสุ่มใดๆ ถูก แทนที่ ด้วยตัวแปรเชิงกำหนดหรือค่าคงที่( )k {\displaystyle k} คุณสมบัติก่อนหน้านี้ยังคงใช้ได้ โดยพิจารณาว่า และE [ k ] = k {\displaystyle \operatorname {E} [k]=k} Var [ k ] = 0 {\displaystyle \operatorname {Var} [k]=0} Cov [ X , k ] = 0 {\displaystyle \operatorname {Cov} [X,k]=0}
ถ้ากำหนดให้ เป็นฟังก์ชันพีชคณิตที่ไม่เป็นเชิงเส้นทั่วไปของตัวแปรสุ่มแล้ว: Z {\displaystyle Z} f {\displaystyle f} X {\displaystyle X}
Cov [ Z , X ] = Cov [ f ( X ) , X ] = E [ X f ( X ) ] − E [ f ( X ) ] E [ X ] {\displaystyle \operatorname {Cov} [Z,X]=\operatorname {Cov} [f(X),X]=\operatorname {E} [Xf(X)]-\operatorname {E} [f(X)]\operatorname {E} [X]}
ค่าที่แน่นอนของความแปรปรวนร่วมของฟังก์ชันที่ไม่เป็นเชิงเส้นจะขึ้นอยู่กับการกระจายความน่าจะเป็นเฉพาะของตัวแปรสุ่มนั้น X {\displaystyle X}
การประมาณค่าโดยใช้การขยายอนุกรมเทย์เลอร์ของโมเมนต์ หากทราบค่าโมเมนต์ ของตัวแปรสุ่มใดๆ (หรือสามารถหาได้โดยการอินทิเกรตหากทราบ ฟังก์ชันความหนาแน่นของความน่าจะ เป็น) ก็สามารถประมาณค่าคาดหวังของฟังก์ชันไม่เชิงเส้นทั่วไปใดๆ ได้โดยใช้การกระจายอนุกรมเทย์เลอร์ของค่าโมเมนต์ ดังนี้: X {\displaystyle X} f ( X ) {\displaystyle f(X)}
f ( X ) = ∑ n = 0 ∞ 1 n ! ( d n f d X n ) X = μ ( X − μ ) n , {\displaystyle f(X)=\sum _{n=0}^{\infty }{\frac {1}{n!}}\left({\frac {d^{n}f}{dX^{n}}}\right)_{X=\mu }{\left(X-\mu \right)}^{n},} ค่าเฉลี่ยของ คือ. μ = E [ X ] {\displaystyle \mu =\operatorname {E} [X]} X {\displaystyle X}
E [ f ( X ) ] = E [ ∑ n = 0 ∞ 1 n ! ( d n f d X n ) X = μ ( X − μ ) n ] = ∑ n = 0 ∞ 1 n ! ( d n f d X n ) X = μ E [ ( X − μ ) n ] = ∑ n = 0 ∞ 1 n ! ( d n f d X n ) X = μ μ n ( X ) , {\displaystyle {\begin{aligned}\operatorname {E} [f(X)]&=\operatorname {E} \left[\sum _{n=0}^{\infty }{\frac {1}{n!}}\left({d^{n}f \over dX^{n}}\right)_{X=\mu }{\left(X-\mu \right)}^{n}\right]\\&=\sum _{n=0}^{\infty }{\frac {1}{n!}}\left({\frac {d^{n}f}{dX^{n}}}\right)_{X=\mu }\operatorname {E} \left[{\left(X-\mu \right)}^{n}\right]\\&=\sum _{n=0}^{\infty }{\frac {1}{n!}}\left({d^{n}f \over dX^{n}}\right)_{X=\mu }\mu _{n}(X),\end{aligned}}} โดยที่คือ โมเมนต์ลำดับที่ n ของรอบค่าเฉลี่ยของมัน โปรดทราบว่าตามคำนิยามของพวกมันและพจน์อันดับแรกจะหายไปเสมอ แต่ถูกเก็บไว้เพื่อให้ได้สูตรสำเร็จรูป μ n ( X ) = E [ ( X − μ ) n ] {\displaystyle \mu _{n}(X)=\operatorname {E} [(X-\mu )^{n}]} X {\displaystyle X} μ 0 ( X ) = 1 {\displaystyle \mu _{0}(X)=1} μ 1 ( X ) = 0 {\displaystyle \mu _{1}(X)=0}
แล้ว,
E [ f ( X ) ] ≈ ∑ n = 0 n max 1 n ! ( d n f d X n ) X = μ μ n ( X ) , {\displaystyle \operatorname {E} [f(X)]\approx \sum _{n=0}^{n_{\max }}{\frac {1}{n!}}\left({\frac {d^{n}f}{dX^{n}}}\right)_{X=\mu }\mu _{n}(X),} โดยที่การขยายอนุกรมเทย์เลอร์จะถูกตัดทอนหลังจากโมเมนต์ที่ -th n max {\displaystyle n_{\max }}
โดยเฉพาะอย่างยิ่งสำหรับฟังก์ชันของตัวแปรสุ่มปกติ เป็น ไปได้ที่จะได้รับการขยายอนุกรมเทย์เลอร์ในรูปของการแจกแจงปกติมาตรฐาน : [ 1 ]
f ( X ) = ∑ n = 0 ∞ σ n n ! ( d n f d X n ) X = μ μ n ( Z ) , {\displaystyle f(X)=\sum _{n=0}^{\infty }{\frac {\sigma ^{n}}{n!}}\left({\frac {d^{n}f}{dX^{n}}}\right)_{X=\mu }\mu _{n}(Z),} โดยที่เป็นตัวแปรสุ่มปกติ และ คือการแจกแจงปกติมาตรฐาน ดังนั้น X ∼ N ( μ , σ 2 ) {\displaystyle X\sim N(\mu ,\sigma ^{2})} Z ∼ N ( 0 , 1 ) {\displaystyle Z\sim N(0,1)}
E [ f ( X ) ] ≈ ∑ n = 0 n max σ n n ! ( d n f d X n ) X = μ μ n ( Z ) , {\displaystyle \operatorname {E} [f(X)]\approx \sum _{n=0}^{n_{\max }}{\sigma ^{n} \over n!}\left({d^{n}f \over dX^{n}}\right)_{X=\mu }\mu _{n}(Z),} โดยที่ค่าโมเมนต์ของการแจกแจงปกติมาตรฐานกำหนดโดย:
μ n ( Z ) = { ∏ i = 1 n / 2 ( 2 i − 1 ) , if n is even 0 , if n is odd {\displaystyle \mu _{n}(Z)={\begin{cases}\prod _{i=1}^{n/2}(2i-1),&{\text{if }}n{\text{ is even}}\\0,&{\text{if }}n{\text{ is odd}}\end{cases}}}
ในทำนองเดียวกัน สำหรับตัวแปรสุ่มปกติ ก็สามารถประมาณค่าความแปรปรวนของฟังก์ชันที่ไม่เป็นเชิงเส้นได้โดยใช้การกระจายอนุกรมเทย์เลอร์ ดังนี้:
Var [ f ( X ) ] ≈ ∑ n = 1 n max ( σ n n ! ( d n f d X n ) X = μ ) 2 Var [ Z n ] + ∑ n = 1 n max ∑ m ≠ n σ n + m n ! m ! ( d n f d X n ) X = μ ( d m f d X m ) X = μ Cov [ Z n , Z m ] , {\displaystyle \operatorname {Var} [f(X)]\approx \sum _{n=1}^{n_{\max }}\left({\sigma ^{n} \over n!}\left({d^{n}f \over dX^{n}}\right)_{X=\mu }\right)^{2}\operatorname {Var} [Z^{n}]+\sum _{n=1}^{n_{\max }}\sum _{m\neq n}{\frac {\sigma ^{n+m}}{n!m!}}\left({d^{n}f \over dX^{n}}\right)_{X=\mu }\left({d^{m}f \over dX^{m}}\right)_{X=\mu }\operatorname {Cov} [Z^{n},Z^{m}],} ที่ไหน และ Var [ Z n ] = { ∏ i = 1 n ( 2 i − 1 ) − ∏ i = 1 n / 2 ( 2 i − 1 ) 2 , if n is even ∏ i = 1 n ( 2 i − 1 ) , if n is odd , {\displaystyle \operatorname {Var} [Z^{n}]={\begin{cases}\prod _{i=1}^{n}(2i-1)-\prod _{i=1}^{n/2}(2i-1)^{2},&{\text{if }}n{\text{ is even}}\\\prod _{i=1}^{n}(2i-1),&{\text{if }}n{\text{ is odd}},\end{cases}}} Cov [ Z n , Z m ] = { ∏ i = 1 ( n + m ) / 2 ( 2 i − 1 ) − ∏ i = 1 n / 2 ( 2 i − 1 ) ∏ j = 1 m / 2 ( 2 j − 1 ) , if n and m are even ∏ i = 1 ( n + m ) / 2 ( 2 i − 1 ) , if n and m are odd 0 , otherwise {\displaystyle \operatorname {Cov} [Z^{n},Z^{m}]={\begin{cases}\prod _{i=1}^{(n+m)/2}(2i-1)-\prod _{i=1}^{n/2}(2i-1)\prod _{j=1}^{m/2}(2j-1),&{\text{if }}n{\text{ and }}m{\text{ are even}}\\\prod _{i=1}^{(n+m)/2}(2i-1),&{\text{if }}n{\text{ and }}m{\text{ are odd}}\\0,&{\text{otherwise}}\end{cases}}}
พีชคณิตของตัวแปรสุ่มเชิงซ้อน ในการวางระบบสัจพจน์ เชิงพีชคณิต ของทฤษฎีความน่าจะเป็น แนวคิดหลักไม่ได้อยู่ที่ความน่าจะเป็นของเหตุการณ์ แต่เป็นความน่าจะเป็นของตัวแปรสุ่ม การแจกแจงความน่าจะเป็น ถูกกำหนดโดยการกำหนดค่าคาดหวัง ให้กับตัวแปรสุ่มแต่ละตัวพื้นที่ที่วัดได้ และการวัดความน่าจะเป็นเกิดขึ้นจากตัวแปรสุ่มและค่าคาดหวังโดยอาศัย ทฤษฎีบท การแทนที่ รู้จักกันดีในทางวิเคราะห์ หนึ่งในคุณสมบัติที่สำคัญของวิธีการเชิงพีชคณิตคือ การแจกแจงความน่าจะเป็นที่มีมิติอนันต์นั้นไม่ได้ยากต่อการกำหนดรูปแบบมากกว่าการแจกแจงความน่าจะเป็นที่มีมิติจำกัด
โดยทั่วไปแล้ว ตัวแปรสุ่มจะมีคุณสมบัติดังต่อไปนี้:
ค่าคง ที่เชิงซ้อน คือค่าที่ เป็นไปได้ ของตัวแปรสุ่มผลรวมของตัวแปรสุ่มสองตัวก็คือตัวแปรสุ่มเช่นกัน ผลคูณของตัวแปรสุ่มสองตัวก็คือตัวแปรสุ่มอีกตัวหนึ่ง การบวกและการคูณของตัวแปรสุ่มต่างก็มีคุณสมบัติการสลับที่ได้ และ มีแนวคิดเรื่องการสังยุคของตัวแปรสุ่ม ซึ่งสอดคล้องกับ( XY ) * = Y * X * และX ** = X สำหรับตัวแปรสุ่มX , Y ทั้งหมด และจะตรงกับการสังยุคเชิงซ้อน หากX เป็นค่าคงที่ นี่หมายความว่าตัวแปรสุ่มก่อให้เกิดพีชคณิตเชิงสลับที่ซับซ้อน*-algebra ถ้าX = X * แล้วตัวแปรสุ่มX เรียกว่า "ของจริง"
ค่าคาดหวังE บนพีชคณิตA ของตัวแปรสุ่ม คือฟังก์ชันเชิง เส้นบวกแบบนอร์มาไลซ์ ซึ่งหมายความว่า
E[ k ] = k โดยที่k เป็นค่าคงที่E[ X * X ] ≥ 0 สำหรับตัวแปรสุ่มX ทั้งหมด E[ X + Y ] = E[ X ] + E[ Y ] สำหรับตัวแปรสุ่มX และY ทั้งหมด และE[ kX ] = k E[ X ] ถ้าk เป็นค่าคงที่เราอาจขยายโครงสร้างนี้ให้ครอบคลุมมากขึ้น โดยอนุญาตให้พีชคณิตไม่สลับที่ได้ ซึ่งนำไปสู่สาขาอื่นๆ ของความน่าจะเป็นที่ไม่สลับที่ได้ เช่นความน่าจะเป็นควอนตัม ทฤษฎี เมทริกซ์สุ่ม และความ น่าจะเป็นอิสระ
ดูเพิ่มเติม
อ่านเพิ่มเติม Whittle, Peter (2000). ความน่าจะเป็นผ่านความคาดหวัง (ฉบับที่ 4). นิวยอร์ก, นิวยอร์ก: Springer. ISBN 978-0-387-98955-6 สืบค้นข้อมูลเมื่อ วัน ที่24 กันยายน 2555 สปริงเกอร์, เมลวิน เดล (1979). พีชคณิตของตัวแปรสุ่ม . ไวลีย์ . ISBN 0-471-01406-0 สืบค้นข้อมูลเมื่อ วัน ที่24 กันยายน 2555 "พีชคณิตการวัด" , สารานุกรมคณิตศาสตร์ , EMS Press , 2001 [1994]