Sequentially Compact Cancellative Topological Semigroups: Some Progress on the Wallace Problema

A semitopological group (topological group) is a group endowed with a topology for which multiplication is separately continuous (multiplication is jointly continuous and inversion is continuous). In this paper we answer (Arhangel’skii et al., Math Maced 8:1–19, 2010, Problem 10.4), by showing that if (G, ·, τ) is a semitopological group and (G, τ) is homeomorphic to a product of Cech-complete spaces, then (G, ·, τ) is a topological group.

In this note, we firstly discuss some properties of spaces which are countably sieve-complete, densely q-complete and strongly Baire. By some known conclusions, we finally show that if G is a regular countably sieve-complete semitopological group then G is a topological group. If a regular semitopological group G has a dense subgroup which is countably sieve-complete (densely q-complete), then G is a topological group. If G is a regular countably sieve-complete semitopological group then G is a D-space if and only if G is paracompact. We point out that some conditions in Theorem 2.14 and Corollary 2.15 in [17] are not essential.

Totally Lindelöf and totally ω-narrow paratopological groups

LetS be a uniform semigroup (this includes all topological groups and affine semigroups). We show that a certain space of uniformly continuous functions onS has a left invariant mean iffS has the fixed point property for uniformly continuous affine actions ofS on compact convex sets. This is closely related to but independent of the results of T. Mitchell in [13] and A. Lau in [10]. Interesting examples and consequences are given for the special cases of topological groups and affine convolution semigroups of probability measures on a locally compact semigroup or group.

In this paper, it is shown that every compact Hausdorff $K$-space has countable tightness. This result gives a positive answer to a problem posed by Malykhin and Tironi [‘Weakly Fréchet–Urysohn and Pytkeev spaces’, Topology Appl.104 (2000), 181–190]. We show that a semitopological group $G$ that is a $K$-space is first countable if and only if $G$ is of point-countable type. It is proved that if a topological group $G$ is a $K$-space and has a locally paracompact remainder in some Hausdorff compactification, then $G$ is metrisable.

The Ellis theorem and continuity in groups

M. Sion and T. Traynor investigated ([15]-[17]), measures and integrals having values in topological groups or semigroups. Their definition of integrability was a modification of Phillips-Rickart bilinear vector integrals, in locally convex topological vector spaces.The purpose of this paper is to develop a good notion of an integration process in partially ordered groups, based on their order structure. The results obtained generalize some of the results of J. D. M. Wright ([19]-[22]) where the measurable functions are real-valued and the measures take values in partially ordered vector spaces.Let if be a σ-algebra of subsets of T, X a lattice group, Y, Z partially ordered groups and m : H → F a F-valued measure on H. By F(T, X), M(T, X), E(T, X) and S(T, X) are denoted the lattice group of functions with domain T and with range X, the lattice group of (H, m)-measurable functions of F(T, X) and the lattice group of (H, m)-elementary measurable functions of F(T, X) and the lattice group of (H, m)-simple measurable functions of F(T, X) respectively.

Countably compact sequential topological semigroup with two-sides cancellations is a topological group

We prove that the existence of a selective ultrafilter implies the existence of a countably compact Hausdorff group topology on the free Abelian group of size continuum. As a consequence, we show that the existence of a selective ultrafilter implies the existence of a Wallace semigroup (i.e., a countably compact both-sided cancellative topological semigroup which is not a topological group).

The necessity part of a theorem of Jaworowski on the extension of periodic homeomorphisms is strengthened (MR 45 #9319; 47 #9524). Let be the class of all compact Hausdorff spaces (metrizable spaces), and let () be the class of all compact Hausdorff spaces (metrizable spaces) considered with all possible actions of a topological group . Theorems C and M. If a topological space on which a group () acts is an extensor of (), then for every closed subgroup of the set of all "-fixed points" is an extensor of the class . These theorems are also valid for the neighborhood case under the additional condition that for mappings extendible to the dimension , and for equivariant mappings extendible to the dimension . Bibliography: 15 titles.

In this article, we introduce fuzzy paratopological group, fuzzy semitopological group and fuzzy quasitopological group with illustrative examples and properties. These new notions belong to fuzzy topological group. Here, we prove that each fuzzy regular paratopological group is completely regular by using fuzzy uniformities. Moreover, we prove some results related to fuzzy semitopological group and fuzzy quasitopological group. In addition, we provide an application in the area of decision making during robot crash by using our above stated notions and nano topology.

Observations about equicontinuity and related concepts

For any locally compact Hausdorff topological group G, let M(G) denote the topo-logical semigroup of all probability measures on G, where M (G) is given the weak topology and the multiplication is convolution.

Let G denote a locally compact abelian topological group (an l.c.a.group) with dual group C\ We will denote by A7(G) the Banach algebra of bounded regular Borel measures on G under convolution multiplication and by L(G) the algebra of bounded measures absolutely continuous with respect to Haar measure on G (for discussions of these Banach algebras cf.[1], [2], and [5]).In this paper we shall be concerned with closed subalgebras 501 of M(G) with the following two properties:(1) if p e 50c and v is absolutely continuous with respect to p, then vs;(2) the maximal ideal space of 501 is G~, where the Gelfand transform p~ of P e 501 is given by p~(x)=J x dp for ^Ga; i.e., the Gelfand transform coincides with the Fourier-Stieltjes transform on 50.Any closed subalgebra of M(G) satisfying (1) will be called an L-subalgebra of M(G).It is well known thatL(G) satisfies ( 1) and (2) (cf.[5, Chapter 1]).In Theorem 1 we show that any L-subalgebra 50c of M(G), with L(G)<=50cc(L(G))1,2) also satisfies (2), where (L(G))112 is the intersection of all maximal ideals of M(G) containing L(G).We conjecture that the converse is also true; i.e., if 501 satisfies (1) and (2) then L(G)c 50c c(L(G))1/2.In Theorem 2 we prove that this is true provided G contains no copy of 7?" for > 1.The problem arises in the following way : in [6] we define the concept of abstract convolution measure algebra and prove that any such algebra 501, provided it is commutative and semisimple, may be represented as an L-subalgebra of M(S), where S is a compact topological semigroup called the structure semigroup of 5D.M(G) and L(G) are convolution measure algebras as is any L-subalgebra of the measure algebra on a semigroup.The map p-> ps which embeds 50c in M(S) is an isometry as well as an algebraic isomorphism and it preserves the order theoretic properties of 50 as a space of measures.The maximal ideal space of 50c may be identified as S~, the set of all semicharacters of S, where the Gelfand transform of p e 50c is given by p~(f) = $fdp.sfor fe S~ (a semicharacter of S is a continuous homomorphism of S into the unit disc which is not identically zero).Under pointwise multiplication S~ is a semigroup provided 50c has an approximate identity.