นิยามทางคณิตศาสตร์ของเมเชอร์

นิยามทางคณิตศาสตร์ของเมเชอร์แก้ไข

นิยามอย่างเป็นทางการแก้ไข

ในทางคณิตศาสตร์ เมเชอร์: μ คือ ฟังก์ชันที่ส่งค่าจากโดเมนประเภทซิกมาแอลจีบรา Σ ที่นิยามบนเซต X ไปยังเรนจ์ที่เป็นจำนวนจริงบวกขยาย [0, ∞] และ μ ต้องมีคุณสมบัติสองข้อต่อไปนี้

1. เซตว่างมีปริมาณที่วัดได้เท่ากับศูนย์ (หรือเรียกว่ามี เมเชอร์เท่ากับศูนย์) :

${\displaystyle \mu (\varnothing )=0;}$

2. มี สภาพการบวกนับได้ (countable additivity) หรืออาจเรียกว่ามีสภาพการบวกแบบซิกมา (σ-additivity) : ถ้ากำหนดให้ E₁, E₂, E₃, ... เป็นลำดับแบบนับได้ของเซตที่ไม่มีส่วนร่วมเป็นคู่ ๆใน Σ แล้ว,

${\displaystyle \mu \left(\bigcup _{i=1}^{\infty }E_{i}\right)=\sum _{i=1}^{\infty }\mu (E_{i}).}$

เราจะใช้สัญกรณ์ (X,Σ,μ) เพื่อนิยามปริภูมิเมเชอร์ หรืออาจเรียกว่าปริภูมิเมเชอร์. นั่นคือปริภูมิเมเชอร์ประกอบไปด้วยเซต X, ซิกมาแอลจีบรา บนเซต X และฟังก์ชันที่นิยามบน ซิกมาแอลจีบรา นั้น. อนึ่ง แต่ละสมาชิกใน Σ จะถูกเรียกว่าเซตที่สามารถวัดได้ (measurable sets).

หมายเหตุ: ปริภูมิความน่าจะเป็นแก้ไข

ในทฤษฎีความน่าจะเป็นเชิงคณิตศาสตร์, ฟังก์ชันความน่าจะเป็น ก็คือ ฟังก์ชันเมเชอร์ที่มีเงื่อนไขเพิ่มเติม คือ

3.

${\displaystyle \mu (X)=1.}$

นอกจากนั้นมักจะใช้สัญกรณ์ ${\displaystyle (\Omega ,{\mathfrak {F}},P)}$ แทนปริภูมิความน่าจะเป็น แทนที่จะใช้สัญกรณ์ (X,Σ,μ) เนื่องจาก X มักใช้แทนตัวแปรสุ่ม และใช้ μ แทนค่าเฉลี่ย .

แก้ไข