قياس (رياضيات)

يعتبر القياس في الرياضيات دالة تقوم بربط عدد ما يدعى الحجم أو السعة أو الاحتمال بمجموعة جزئية من مجموعة كبرى. و هذا المفهوم للقياس الرياضي يعتبر أساسيا في التحليل الرياضي و نظرية الإحتمالات. تتطور هذا المفهوم من الحاجة لإجراء مكاملة على مجموعات اعتبارية غير معينة بدلا من إجراء التكامل بالطريقة التقليدية.

نظرية القياس تشكل أحد أجزاء التحليل الحقيقي الذي يبحث في جبر-σ ، القياسات ، دوال القياس و التكاملات . و تعتبر ذات اهمية خاصة في نظرية الاحتمالات و الإحصاء .

التعريف الرسمي

رسمياً, القياس μ هو عبارة عن دالة معرفة على جبر-σ يدعى (Σ) على المجموعة X بقيم ضمن المجال [0, ∞] بحيث يتم تحقيق الخواص التالية :

• المجموعة الخالية لها قياس صفر:

$\mu (\varnothing )=0;$

• قابلية الإضافة العدودة أو قابلية الإضافة-سيغما: إذا كان E₁, E₂, E₃, ... عبارة عن متتالية عدودة من مجموعات متفارقة disjoint sets مثنى مثنى ضمن Σ, فيكون قياس اجتماع جميع E مساويا ل مجموع القياسات لجميع E:

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

The الثلاثية (X,Σ,μ) تدعى عندها فضاء القياس measure space ، و عناصر Σ تدعى مجموعات مقيسة أو قابلة للقياس measurable sets .