λ-układ, układ Dynkina[1] – specjalna rodzina zbiorów mająca zastosowanie przede wszystkim w teorii mnogości, teorii miary i rachunku prawdopodobieństwa.
Definicja
Niech
będzie niepustym zbiorem. Rodzinę zbiorów
nazywamy λ-układem wtedy i tylko wtedy, gdy
![{\displaystyle X\in {\mathcal {H}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2a852f3f2c225caddf3bc9ff69fa581318262eb)
![{\displaystyle \forall _{A,B\in {\mathcal {H}}}\;[B\subset A\Rightarrow A\setminus B\in {\mathcal {H}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a40f00694342b6def76dd8dd086bbeb9d6b8444e)
![{\displaystyle \{A_{1},A_{2},A_{3},\dots \}\subseteq {\mathcal {H}}\ \wedge \ \forall _{n\in \mathbb {N} }\ A_{n}\subseteq A_{n+1}\ \Rightarrow \ \bigcup _{n\in \mathbb {N} }A_{n}\in {\mathcal {H}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83e06e97a24d1de596012d71e8334b2f5ff59dce)
Własności
Przypisy