scholarly journals A Lebesgue decomposition for elements in a topological group

1980 ◽  
Vol 3 (4) ◽  
pp. 801-808
Author(s):  
Thomas P. Dence

Our aim is to establish the Lebesgue decomposition for strongly-bounded elements in a topological group. In 1963 Richard Darst established a result giving the Lebesgue decomposition of strongly-bounded elements in a normed Abelian group with respect to an algebra of projection operators. Consequently, one can establish the decomposition of strongly-bounded additive functions defined on an algebra of sets. Analagous results follow for lattices of sets. Generalizing some of the techniques yield decompositions for elements in a topological group.

1977 ◽  
Vol 29 (2) ◽  
pp. 295-298 ◽  
Author(s):  
Thomas P. Dence

Our aim is to establish the Lebesgue decomposition for s-bounded vector valued additive functions defined on lattices of sets in both the finitely and countably additive setting. Strongly bounded (s-bounded) set functions were first studied by Rickart [15], and then by Rao [14], Brooks [1] and Darst [5; 6]. In 1963 Darst [6] established a result giving the decomposition of s-bounded elements in a normed Abelian group with respect to an algebra of projection operators.


2008 ◽  
Vol 78 (1) ◽  
pp. 171-176 ◽  
Author(s):  
JANUSZ BRZDȨK

AbstractWe give some general results concerning continuity of measurable homomorphisms of topological groups. As a consequence we show that a Christensen measurable homomorphism of a Polish abelian group into a locally compact topological group is continuous. We also obtain similar results for the universally measurable homomorphisms and the homomorphisms that have the Baire property.


2015 ◽  
Vol 36 (7) ◽  
pp. 2107-2120
Author(s):  
ZOLTÁN BUCZOLICH ◽  
GABRIELLA KESZTHELYI

Suppose that $G$ is a compact Abelian topological group, $m$ is the Haar measure on $G$ and $f:G\rightarrow \mathbb{R}$ is a measurable function. Given $(n_{k})$, a strictly monotone increasing sequence of integers, we consider the non-conventional ergodic/Birkhoff averages $$\begin{eqnarray}M_{N}^{\unicode[STIX]{x1D6FC}}f(x)=\frac{1}{N+1}\mathop{\sum }_{k=0}^{N}f(x+n_{k}\unicode[STIX]{x1D6FC}).\end{eqnarray}$$ The $f$-rotation set is $$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{f}=\{\unicode[STIX]{x1D6FC}\in G:M_{N}^{\unicode[STIX]{x1D6FC}}f(x)\text{ converges for }m\text{ almost every }x\text{ as }N\rightarrow \infty \}.\end{eqnarray}$$We prove that if $G$ is a compact locally connected Abelian group and $f:G\rightarrow \mathbb{R}$ is a measurable function then from $m(\unicode[STIX]{x1D6E4}_{f})>0$ it follows that $f\in L^{1}(G)$. A similar result is established for ordinary Birkhoff averages if $G=Z_{p}$, the group of $p$-adic integers. However, if the dual group, $\widehat{G}$, contains ‘infinitely many multiple torsion’ then such results do not hold if one considers non-conventional Birkhoff averages along ergodic sequences. What really matters in our results is the boundedness of the tail, $f(x+n_{k}\unicode[STIX]{x1D6FC})/k$, $k=1,\ldots ,$ for almost every $x$ for many $\unicode[STIX]{x1D6FC}$; hence, some of our theorems are stated by using instead of $\unicode[STIX]{x1D6E4}_{f}$ slightly larger sets, denoted by $\unicode[STIX]{x1D6E4}_{f,b}$.


1986 ◽  
Vol 29 (4) ◽  
pp. 478-481
Author(s):  
Bradd Clark ◽  
Victor Schneider

AbstractIt is well known that the lattice of topologies on a set forms a complete complemented lattice. The set of topologies which make G into a topological group form a complete lattice L(G) which is not a sublattice of the lattice of all topologies on G.Let G be an infinite abelian group. No nontrivial Hausdorff topology in L(G) has a complement in L(G). If τ1 and τ2 are locally compact topologies then τ1Λτ2 is also a locally compact group topology. The situation when G is nonabelian is also considered.


2018 ◽  
Vol 68 (2) ◽  
pp. 397-404 ◽  
Author(s):  
Ahmed Charifi ◽  
Radosław Łukasik ◽  
Driss Zeglami

Abstract We obtain in terms of additive and multi-additive functions the solutions f, h: S → H of the functional equation $$\begin{array}{} \displaystyle \sum\limits_{\lambda \in \Phi }f(x+\lambda y+a_{\lambda })=Nf(x)+h(y),\quad x,y\in S, \end{array} $$ where (S, +) is an abelian monoid, Φ is a finite group of automorphisms of S, N = | Φ | designates the number of its elements, {aλ, λ ∈ Φ} are arbitrary elements of S and (H, +) is an abelian group. In addition, some applications are given. This equation provides a joint generalization of many functional equations such as Cauchy’s, Jensen’s, Łukasik’s, quadratic or Φ-quadratic equations.


2015 ◽  
Vol 23 (2) ◽  
pp. 127-160 ◽  
Author(s):  
Roland Coghetto

Abstract 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 subset and basis of a topological group. Lagrange’s theorem and some other theorems concerning these notions [9, 24, 22] are presented. Note that “The term ℤ-module is simply another name for an additive abelian group” [27]. We take an approach different than that used by Futa et al. [21] to use in a future article the results obtained by Artur Korniłowicz [25]. Indeed, Hölzl et al. showed that it was possible to build “a generic theory of limits based on filters” in Isabelle/HOL [23, 10]. Our goal is to define the convergence of a sequence and the convergence of a series in an abelian topological group [11] using the notion of filters.


2012 ◽  
Vol 85 (2) ◽  
pp. 202-216 ◽  
Author(s):  
BARBARA PRZEBIERACZ

AbstractWe investigate the Pexider-type functional equation where f, g, h are real functions defined on an abelian group G. We solve this equation under the assumptions G=ℝ and f is continuous.


2018 ◽  
Vol 21 (4) ◽  
pp. 579-581
Author(s):  
Michal Doucha

AbstractWe provide a very short elementary proof that every separable abelian group with a bounded invariant metric isometrically embeds into a monothetic group with a bounded invariant metric, in such a way that the result of Morris and Pestov that every separable abelian topological group embeds into a monothetic group is an immediate corollary. We show that the boundedness assumption cannot be dropped.


2009 ◽  
Vol 61 (3) ◽  
pp. 708-720 ◽  
Author(s):  
Yevhen Zelenyuk

Abstract.We present a structure theorem for a broad class of homeomorphisms of finite order on countable zero dimensional spaces. As applications we show the following.(a) Every countable nondiscrete topological group not containing an open Boolean subgroup can be partitioned into infinitely many dense subsets.(b) If G is a countably infinite Abelian group with finitely many elements of order 2 and βG is the Stone–Čech compactification of G as a discrete semigroup, then for every idempotent p ∈ βG\﹛0﹜, the subset ﹛p,−p﹜ ⊂ βG generates algebraically the free product of one-element semigroups ﹛p﹜ and ﹛−p﹜.


Sign in / Sign up

Export Citation Format

Share Document