Hereditary sigma-ring generated by
From Maths
Stub grade: A*
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Needed for progress, I started the page to get some notation set in stone.
Contents
Definition
Given a system of sets, [ilmath]S[/ilmath], the hereditary [ilmath]\sigma[/ilmath]-ring generated by [ilmath]S[/ilmath] is[1]:
- The smallest hereditary [ilmath]\sigma[/ilmath]-ring containing [ilmath]S[/ilmath]
We denote this [ilmath]\mathcal{H}_{\sigma R}(S)[/ilmath][Note 1]
Claims
- [ilmath]\mathcal{H}(\sigma_R(S))=\sigma_R(\mathcal{H}(S))[/ilmath] - see Notes:Hereditary sigma-ring
See also
Notes
- ↑ If [ilmath]\mathcal{H}(A)[/ilmath] denotes the hereditary system of sets generated by [ilmath]A[/ilmath] and [ilmath]\sigma_R(B)[/ilmath] the sigma-ring generated by [ilmath]B[/ilmath], then we have [ilmath]\mathcal{H}(\sigma_R(A))=\sigma_R(\mathcal{H}(A))[/ilmath]
References
|