Algebra (set system)
The branch of mathematics that deals with computing with sets is also known as set algebra. The term algebra , which is used for a subfield of mathematics and also for a special algebraic structure , is similarly ambiguous . The term set algebra used here is closely related to that of Boolean algebra , i.e. another special algebraic structure .
Be any set. A system of subsets of is called a set algebra or algebra over if the following properties are fulfilled:
- ( is not empty).
- (Stability / isolation with regard to union ).
- (Stability / seclusion with regard to complement formation ).
- For any set , the smallest and the power set is the largest possible set algebra.
- Every σ-algebra is a set algebra.
- For every set the set system is an algebra of sets. If is infinite, then there is no σ-algebra.
- Every set algebra about always contains and also the empty set , because it contains at least one element and thus are as well
- The 6- tuple with the set algebra is a Boolean algebra in the sense of the lattice theory , whereby for all (stability / closure with respect to average ). The empty set corresponds to the zero element and the one element .
- Conversely, if a system of sets is such that it is a Boolean algebra, then obviously there is also a set algebra.
- From the union and average stability it follows inductively that every finite union and every finite intersection of elements of set algebra is contained in it, i.e. H. applies to all :
If is a system of subsets of and if are sets, then because of and the following two statements are equivalent :
- and if also
In addition, denotes the symmetrical difference of and so because of and and are equivalent:
- is a set algebra.
- is a set lattice and: .
- is a Boolean algebra.
- is a set ring and .
- is a lot of half-ring and: .
- is a unitary ring in the sense of algebra with addition, multiplication and one .
- is a boolean ring .
- with the scalar multiplication is a unitary algebra in the sense of the algebra over the field .
- and: .
- and it applies: and .
- and it applies: and .
Operations with algebras
Sections of algebras
Intersections of two algebras and , that is, the system of sets
are always an algebra. Because is exemplary , so is
- in , there is also in .
- in , there is also in .
Thus in , the intersection of the set systems is also complementary. The stability with regard to the other set operations follows analogously.
The statement also applies to the intersection of any number of algebras, since the above argument can then be extended to all of these algebras. Thus, if there is any index set and if algebras are all defined on the same base set , then the intersection of all these algebras is again an algebra :
Associations of algebras
The union of two algebras and , that is, the system of sets
is generally no longer algebra. For example, consider the two algebras
on so is
However, this system of sets is not union-stable, since it does not contain, and thus also no algebra.
Products of algebras
Are and systems of sets on and and is the product of and defined as
so the product of two algebras is generally no longer an algebra , but just a half ring . Because if you look at algebra
about , the system of sets contains both the sets
- as well .
is not included in, however, because it cannot be represented as the Cartesian product of two sets of . Thus the product of the system of sets is not complementary stable and consequently it cannot be an algebra.
However, if one defines the product of two systems of sets as
so the product of two algebras is again an algebra. It is also used, among other things, to define the product σ-algebra .
Trace of an algebra
The trace of an algebra with respect to a set , i.e. the set system
is always an algebra regardless of the choice of .
The generated algebra
Since arbitrary cuts of algebras are again algebras, the envelope operator
define. It is by definition the smallest algebra (in terms of set inclusion) that the set system contains and is called the algebra generated by .
Relationship to related structures
- The set algebras are precisely the set rings that contain the basic set . If one understands set rings as a ring in the sense of algebra with the symmetrical difference as addition and the average as multiplication, then the set algebras are precisely the unitary rings (i.e. with one element) of this form.
- Since set algebras are rings, they are automatically also set lattices and half rings
- If a set algebra is even closed with respect to the union of a countably infinite number of its elements, then one obtains a σ- (set) algebra .
- The monotonic class generated by an algebra corresponds to the -algebra generated by the algebra
- Every algebra is a semialgebra in both a narrow and a broader sense.
- Heinz Bauer : Measure and integration theory . 2., revised. Edition. De Gruyter , Berlin / New York 1992, ISBN 3-11-013626-0 .
- Jürgen Elstrodt : Measure and integration theory . 6th, corrected edition. Springer , Berlin / Heidelberg 2009, ISBN 978-3-540-89727-9 , doi : 10.1007 / 978-3-540-89728-6 .
- Ernst Henze : Introduction to Dimension Theory . 2. revised Edition. Bibliographisches Institut , Mannheim / Zurich 1985, ISBN 3-411-03102-6 .
- Norbert Kusolitsch: Measure and probability theory . An introduction. 2nd, revised and expanded edition. Springer, Berlin / Heidelberg 2014, ISBN 978-3-642-45386-1 , doi : 10.1007 / 978-3-642-45387-8 .
- Kusolitsch: Measure and probability theory. 2014, p. 19.