scholarly journals Maximal inverse subsemigroups of S(X)

1983 ◽  
Vol 24 (1) ◽  
pp. 53-64 ◽  
Author(s):  
Bridget B. Baird

If X is a topological space then S(X) will denote the semigroup, under composition, of all continuous functions from X into X. An element f in a semigroup is regular if there is an element g such that fgf = f. The regular elements of S(X) will be denoted by R(X). Elements f and g are inverses of each other if fgf = f and gfg = g. Every regular element has an inverse [1]. If every element in a semigroup has a unique inverse then the semigroup is an inverse semigroup. In this paper we examine maximal inverse subsemigroups of S(X).

2021 ◽  
Vol 78 (1) ◽  
pp. 199-214
Author(s):  
Lev Bukovský

Abstract The paper tries to survey the recent results about relationships between covering properties of a topological space X and the space USC(X) of upper semicontinuous functions on X with the topology of pointwise convergence. Dealing with properties of continuous functions C(X), we need shrinkable covers. The results are extended for A-measurable and upper A-semimeasurable functions where A is a family of subsets of X. Similar results for covers respecting a bornology and spaces USC(X) or C(X) endowed by a topology defined by using the bornology are presented. Some of them seem to be new.


Author(s):  
Umashankara Kelathaya ◽  
Savitha Varkady ◽  
Manjunatha Prasad Karantha

In this paper, the notion of “strongly unit regular element”, for which every reflexive generalized inverse is associated with an inverse complement, is introduced. Noting that every strongly unit regular element is unit regular, some characterizations of unit regular elements are obtained in terms of inverse complements and with the help of minus partial order. Unit generalized inverses of given unit regular element are characterized as sum of reflexive generalized inverses and the generators of its annihilators. Surprisingly, it has been observed that the class of strongly regular elements and unit regular elements are the same. Also, several classes of generalized inverses are characterized in terms of inverse complements.


1978 ◽  
Vol 25 (1) ◽  
pp. 45-65 ◽  
Author(s):  
K. D. Magill ◽  
S. Subbiah

AbstractA sandwich semigroup of continuous functions consists of continuous functions with domains all in some space X and ranges all in some space Y with multiplication defined by fg = foαog where α is a fixed continuous function from a subspace of Y into X. These semigroups include, as special cases, a number of semigroups previously studied by various people. In this paper, we characterize the regular elements of such semigroups and we completely determine Green's relations for the regular elements. We also determine the maximal subgroups and, finally, we apply some of these results to semigroups of Boolean ring homomorphisms.


Author(s):  
G. T. Roberts

1. Objective. It is possible to define order convergence on the vector lattice of all continuous functions of compact support on a locally compact topological space. Every measure is a linear form on this vector lattice. The object of this paper is to prove that a measure is such that every set of the first category of Baire has measure zero if and only if the measure is a linear form which is continuous in the order convergence.


1977 ◽  
Vol 18 (2) ◽  
pp. 199-207 ◽  
Author(s):  
Bridget Bos Baird

All topological spaces here are assumed to be T2. The collection F(Y)of all homeomorphisms whose domains and ranges are closed subsets of a topological space Y is an inverse semigroup under the operation of composition. We are interested in the general problem of getting some information about the subsemigroups of F(Y) whenever Y is a compact metric space. Here, we specifically look at the problem of determining those spaces X with the property that F(X) is isomorphic to a subsemigroup of F(Y). The main result states that if X is any first countable space with an uncountable number of points, then the semigroup F(X) can be embedded into the semigroup F(Y) if and only if either X is compact and Y contains a copy of X, or X is noncompact and locally compact and Y contains a copy of the one-point compactification of X.


1972 ◽  
Vol 24 (4) ◽  
pp. 598-611 ◽  
Author(s):  
Robert D. Hofer

Let X be a topological space and Y a nonempty subspace of X. Γ(X, Y) denotes the semigroup under composition of all closed self maps of X which carry Y into Y, and is referred to as a restrictive semigroup of closed functions. Similarly, S(X, Y) is the analogous semigroup of continuous selfmaps of X, and is referred to as a restrictive semigroup of continuous functions. It is immediate that each homeomorphism from X onto U which carries the subspace Y of X onto the subspace V of U induces an isomorphism between Γ(X, Y) and Γ(U, V), and also an isomorphism between S(X, Y) and S(U, V). Indeed, one need only map f onto h o f o h-1. An isomorphism of this form is called representable. In [5, Theorem (3.1), p. 1223] it was shown that in most cases, each isomorphism from Γ(X, Y) onto Γ(U, V) is representable. The analogous problem was discussed for the semigroup S(X, Y) and it was pointed out by means of an example that one could not hope to obtain the same result for these semigroups without some further restrictions.


1978 ◽  
Vol 26 (4) ◽  
pp. 453-464 ◽  
Author(s):  
John August ◽  
Charles Byrne

AbstractIf U and V are toplogies on an abstract set x, then the triple (X, U, V) is a bitopologica space. Using the theorem of Priestley on the representation of distributive lattices, results of Dilworth concerning the normal completion of the lattice of bounded, continuous, realvalued functions on a topological space are extended to include the lattice of bounded, semi-continuous, real-valued functions on certain bitopological spaces. The distributivity of certain lattices is investigated, and the theorem of Funayama on distributive normal completions is generalized.


1960 ◽  
Vol 3 (2) ◽  
pp. 186-187
Author(s):  
J. Lipman

The point of this note is to get a lemma which is useful in treating homotopy between paths in a topological space [1].As explained in the reference, two paths joining a given pair of points in a space E are homotopic if there exists a mapping F: I x I →E (I being the closed interval [0,1] ) which deforms one path continuously into the other. In practice, when two paths are homotopic and the mapping F is constructed, then the verification of all its required properties, with the possible exception of continuity, is trivial. The snag occurs when F is a combination of two or three functions on different subsets of I x I. Then the boundary lines between these subsets have to be given special consideration, and although the problems resulting are routine their disposal can involve some tedious calculation and repetition. In the development [l] of the fundamental group of a space, for example, this sort of situation comes up four or five times.


1981 ◽  
Vol 22 (2) ◽  
pp. 159-165 ◽  
Author(s):  
P. R. Jones

The structure of semigroups whose subsemigroups form a chain under inclusion was determined by Tamura [9]. If we consider the analogous problem for inverse semigroups it is immediate that (since idempotents are singleton inverse subsemigroups) any inverse semigroup whose inverse subsemigroups form a chain is a group. We will therefore, continuing the approach of [5, 6], consider inverse semigroups whose full inverse subsemigroups form a chain: we call these inverse ▽-semigroups.


Author(s):  
V. V. Mykhaylyuk

A connection between the separability and the countable chain condition of spaces withL-property (a topological spaceXhasL-property if for every topological spaceY, separately continuous functionf:X×Y→ℝand open setI⊆ℝ,the setf−1(I)is anFσ-set) is studied. We show that every completely regular Baire space with theL-property and the countable chain condition is separable and constructs a nonseparable completely regular space with theL-property and the countable chain condition. This gives a negative answer to a question of M. Burke.


Sign in / Sign up

Export Citation Format

Share Document