Számlálás mérése
A számlálás mértéke (vagy a számlálás mértéke ) egy pozitív mérték, amely egy halmaz kardinalitásához kapcsolódik.
Ha a gráf mértékét és X halmazot jelöljük ; már megfelelő számosságú halmaz X. Ez a meghatározás is fennáll, ha a halmaz végtelen.
μ{\ displaystyle \ mu}
μ(x): =|{x}|{\ displaystyle \ mu (X): = | \ {X \} |}![{\ displaystyle \ mu (X): = | \ {X \} |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ee137bdbe2735f6a482d8b8b4cc1d3b7964f253)
Definíció szerint a szerves pozitív intézkedés, bármilyen alkalmazás a ; megszámlálható és a rendelkezésünkre álló jelöléssel :
f:x→Y{\ displaystyle f: X \ - Y}
S⊂x{\ displaystyle S \ X részhalmaz}
Y{\ displaystyle Y}
{f=én}S={x∈S|f(x)=én}{\ displaystyle \ {f = i \} _ {S} = \ {x \ in S | f (x) = i \}}![{\ displaystyle \ {f = i \} _ {S} = \ {x \ in S | f (x) = i \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6377c55785a6e0406e336e056504899f32c8995)
∫Sf.dμ: =∑én∈Yén.|{f=én}S|{\ displaystyle \ int _ {S} fd \ mu: = \ sum _ {i \ Y} i. | \ {f = i \} _ {S} |}
A számlálás mérése tehát összeget (vagy sorozatot ) generál . Különösen hasznos digitális lakosztályoknál . Így a méréselmélethez kapcsolódó különféle tételek (különösen azok, amelyeket Lebesgue Integraljára találunk ) a sorozatra vonatkoznak (például inverziós jelek sorozat / integrál és sorozat / határ).
Példák
Vagy az egészet . Az identitás alkalmazás használatával megvan az integrál .
E={1,2,3}{\ displaystyle E = \ {1,2,3 \}}
én1:E→E,x↦x{\ displaystyle I_ {1}: E \ E, x \ mapsto x}
∫Ex.dμ=∑én∈Eén.|{x=én}|=1+2+3=6.{\ displaystyle \ int _ {E} xd \ mu = \ sum _ {i \ E} i. | \ {x = i \} | = 1 + 2 + 3 = 6}![{\ displaystyle \ int _ {E} xd \ mu = \ sum _ {i \ E} i. | \ {x = i \} | = 1 + 2 + 3 = 6}](https://wikimedia.org/api/rest_v1/media/math/render/svg/544e1d6ec43cce114b2615f1da7f1c7f197419fb)
Vagy a csomag és a hozzá tartozó alkalmazás . Nekünk van(unem)nem∈NEM∗,unem=1nem2{\ displaystyle (u_ {n}) _ {n \ in \ mathbb {N} ^ {*}}, u_ {n} = {\ frac {1} {n ^ {2}}}}
{NEM∗→Rnem→unem{\ displaystyle \ left \ {{\ begin {array} {ll} \ mathbb {N ^ {*}} \ to \ mathbb {R} \\ n \ to u_ {n} \ end {tömb}} \ right. }
∫NEM∗unemdμ=∑én=1+∞1nem2=π26.{\ displaystyle \ int _ {\ mathbb {N ^ {*}}} u_ {n} d \ mu = \ sum _ {i = 1} ^ {+ \ infty} {\ frac {1} {n ^ {2 }}} = {\ frac {\ pi ^ {2}} {6}}}
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">