Displaying similar documents to “The regular component of a group-valued set function”

Groups – Additive Notation

Roland Coghetto (2015)

Formalized Mathematics

Similarity:

We translate the articles covering group theory already available in the Mizar Mathematical Library from multiplicative into additive notation. We adapt the works of Wojciech A. Trybulec [41, 42, 43] and Artur Korniłowicz [25]. In particular, these authors have defined the notions of group, abelian group, power of an element of a group, order of a group and order of an element, subgroup, coset of a subgroup, index of a subgroup, conjugation, normal subgroup, topological group, dense...

Extensions of set functions.

Sergei V. Ovchinnikov, Jean Claude Falmagne (2003)

Mathware and Soft Computing

Similarity:

We establish a necessary and sufficient condition for a function defined on a subset of an algebra of sets to be extendable to a positive additive function on the algebra. It is algo shown that this condition is necessary and sufficient for a regular function defined on a regular subset of the Borel algebra of subsets of a given compact Hausdorff space to be extendable to a measure.