The title of this address might incline one to the notion that here is to be found a small number of large theorems. To the contrary, I shall talk about a large number of small theorems. Actually, there does not exist at this time any corpus of information to which the title "structure of topological semigroups" is in any fashion applicable. Whether such a body of theorems will ever exist is a matter for the future and is likely to depend on the use to which it might be put as well as to the tastes of mathematicians who are not yet such.When the investigation of topological groups began there was at hand a theory of abstract groups and much of a fundamental character in Lie groups was available. Beyond this there existed a great body of geometry even if some of it was in a nebulous state insofar as the then held standards of rigor were concerned.With topological semigroups the situation is quite contrariwise. Here we are faced with a lack of satisfactory algebraic results. I do not think that there are so many as twenty-five papers each exceeding ten pages which are concerned exclusively with the algebraic aspects.We are more fortunate than were the pioneers who forayed the frontiers of topological groups in that we have at our disposal a greater wealth of topology. Much that they could not-or at least did not-use is at hand for our use. Furthermore we can rely, at least if for no more than analogy, on their results. The state of both algebraic and set-theoretic topology is a somewhat happier one now than then. Still we are likely to be troubled for awhile for lack of something like Haar measure without which we shall be at a loss for representation theorems. At present there seems to be no line of attack on the representation problem and it is probable that we shall need to rely to a greater extent on geometry and topology than was the case with groups.
Kn(w) Kn(an)(W + o(1)) n-~~~~~+ o(1). (14) n n Then relations (14), (10), and the continuity of 9Z(w) yield relation (4), which completes the proof. Given an additive function f(m), define its strongly additive contraction by f(m) = E f(p). p/m One can easily prove THEOREM B. Let f(m) be an additive arithmetic function and f(m) its strongly additive contraction, and define AZ, B, as in equations (3). Then, assuming relation (5), if one of f(m)-A f(m)-An Bn Bn, has a continuous distribution function F(w), the other also has F(w) as its distribution function. Combining Theorems A and B yields THEOREM C. Relations (1), (5), and (7) imply relation (4).
Introduction. The purpose of this note is to sharpen a recent result of G. E. Schweigert [4].1 It will be shown that the condition of semi local-connectedness may be dropped. However, if this is strengthened to local-connectedness, then the conclusion asserts the existence of a fixed point. Further, though perhaps of less interest, it is shown that separability is not necessary.In a second section we give a somewhat more abstract version which is valid for certain partially ordered topological spaces. So far as is known this is the first result of this type to appear in the literature.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.