Sukat (matematika)

sa kahulugang kung ang *A* ang pang-ilalim na pangkat(subset) ng *B*, ang sukat ng *A* ay mas maliit o katumbas ng sukat ng *B*. Sa karagdagan, ang sukat ng isang walang lamang pangkat(empty set) ay inaatasang maging 0.]]
Sa matematikal na analisis, ang isang **sukat **(*measure*) ng isang pangkat ang isang sistematikong paraan ng pagtatakda sa bawat angkop na subset ng isang bilang na intwitibong pinapakahulugang sukat ng pang-ilalim na pangkat. Sa kahulugang ito, ang sukat ang heneralisasyon ng mga konsepto ng haba, area at bolyum. Ang ang isang partikular na halimbawa ang sukat na Lebesgue sa isang espasyong Euclidean na nagtatakda ng konbensiyonal na haba, area at bolyum ng heometriyang Euclideano sa mga angkop na subset ng isang *n*-dimensiyonal na espasyong Euclidean na**R***n*. Halimbawa, ang sukat na Lebesgue ng interbal na [0, 1] sa mga real na bilang ang haba nito sa pang-araw araw na kahulugan ng salita na spesipikong 1.
 
## Depinisyon 
Itakda ang '** bilang isang σ-algebra sa ibabaw ng pangkat na **'. Ang isang punsiyong  mula  patungo sa pinalawig na linya ng real na bilang ay tinatawag na **sukat** kung ito ay sumasapat sa mga sumusunod na katangian: 

***Kawalang-negatibidad**(Non-negativity):
:\mu(E)\geq 0 para sa lahat ng E\in\Sigma.

***Mabibilang na aditibidad**(countable additivity) o σ-*additivity): Para sa lahat ng mga mabibilang na koleksiyong \{E_i\}_{i\in I} ng magkakapares(pairwise) na hindi magkadugtong na mga pangkat sa :
: \mu\Bigl(\bigcup_{i \in I} E_i\Bigr) = \sum_{i \in I} \mu(E_i).

***Null na walang lamang pangkat**(null empty set):
:\mu(\varnothing)=0.

Maaring iatas na ang isang pangkat na *E'' ay may hangganang(finite) sukat. Sa gayon, ang null na pangkat ay automatikong may sukat na sero dahil sa mabibilang na aditibidad,  \mu(E)=\mu(E\cup\varnothing\cup\varnothing\cup\ldots)=\mu(E)+\sum_{i=0}^\infty \mu(\varnothing) at ang \sum_{i=0}^\infty \mu(\varnothing) ay may hangganang(finite) kung at tanging kung ang walang-laman na pangkat ay may sukat na sero.

Ang pares na  ay tinatawag na **masusukat na espasyo**, ang mga miyembro ng  ay tinatawag na **masusukat na espasyo** at ang mga tripleng  ay tinatawag na **sukat espasyo**(measure space). 

Kung ang tanging ikalawa at ikatlong mga kondisyon ng depinisyon ng sukat sa taas ay nasalubong at ang  ay kumukuha na pinakamarami ang isa sa mga halagang , kung gayon, ang  ay tinatawag na sinenyasang sukat(signed measure). 

Ang isang sukat probabilidad ang sukat na may kabuuang sukat na isa(i.e.,). Ang isang espasyong probabilidad ang espasyong sukat na may sukat probabilidad.

Para sa mga espasyong sukat na mga espasyong topolohikal din, ang iba't ibang mga kondisyon ng kompatibilidad ay maaaring ilagay para sa sukat at topolohiya. Ang karamihang sa mga sukat na nasasalubong sa pagsasanay sa matematikal na analisis(at gayundin sa maraming mga kaso sa teoriya ng probabilidad) ang mga sukat Radon. Ang mga sukat Radon ay may alternatibong depinisyon sa mga termino ng linyar na punsiyonal sa panlokal na espasyong konbeks ng tuloy tuloy na punsiyon na may siksik na suporta. Ang paraang ito ay kinuha ni Bourbaki (2004) at ilang mga may-akda.

## Tingnan din 
* Espasyo ng sukat
* Pagsusukat