Source author record

Sidney A. Morris

Sidney A. Morris appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GN math.GR math.NT

Catalog footprint

What is connected

8works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

SIN, COS, EXP and LOG of Liouville numbers

For any Liouville number $α$, all of the following are transcendental numbers: $\textrm{e}^α$, $\log_\textrm{e}α$, $\sin α$, $\cosα$, $\tanα$, $\sinhα$, $\coshα$, $\tanhα$, $\arcsinα$ and the inverse functions evaluated at $α$ of the listed trigonometric and hyperbolic functions, noting that wherever multiple values are involved, every such value is transcendental. This remains true if "Liouville number" is replaced by "$U$-number", where $U$ is one of Mahler's classes of transcendental numbers.

preprint2022arXiv

Topological Transcendental Fields

This article initiates the study of topological transcendental fields $\FF$ which are subfields of the topological field $\CC$ of all complex numbers such that $\FF$ consists of only rational numbers and a nonempty set of transcendental numbers. $\FF$, with the topology it inherits as a subspace of $\CC$, is a topological field. Each topological transcendental field is a separable metrizable zero-dimensional space and algebraically is $\QQ(T)$, the extension of the field of rational numbers by a set $T$ of transcendental numbers. It is proved that there exist precisely $2^{\aleph_0}$ countably infinite topological transcendental fields and each is homeomorphic to the space $\QQ$ of rational numbers with its usual topology. It is also shown that there is a class of $2^{2^{\aleph_0} }$ of topological transcendental fields of the form $\QQ(T)$ with $T$ a set of Liouville numbers, no two of which are homeomorphic.

preprint2016arXiv

Free topological vector spaces

We define and study the free topological vector space $\mathbb{V}(X)$ over a Tychonoff space $X$. We prove that $\mathbb{V}(X)$ is a $k_ω$-space if and only if $X$ is a $k_ω$-space. If $X$ is infinite, then $\mathbb{V}(X)$ contains a closed vector subspace which is topologically isomorphic to $\mathbb{V}(\mathbb{N})$. It is proved that if $X$ is a $k$-space, then $\mathbb{V}(X)$ is locally convex if and only if $X$ is discrete and countable. If $X$ is a metrizable space it is shown that: (1) $\mathbb{V}(X)$ has countable tightness if and only if $X$ is separable, and (2) $\mathbb{V}(X)$ is a $k$-space if and only if $X$ is locally compact and separable. It is proved that $\mathbb{V}(X)$ is a barrelled topological vector space if and only if $X$ is discrete. This result is applied to free locally convex spaces $L(X)$ over a Tychonoff space $X$ by showing that: (1) $L(X)$ is quasibarrelled if and only if $L(X)$ is barrelled if and only if $X$ is discrete, and (2) $L(X)$ is a Baire space if and only if $X$ is finite.

preprint2015arXiv

Density character of subgroups of topological groups

A subspace Y of a separable metrizable space X is separable, but without X metrizable this is not true even If Y is a closed linear subspace of a topological vector space X. K.H. Hofmann and S.A. Morris introduced the class of pro-Lie groups which consists of projective limits of finite-dimensional Lie groups and proved that it contains all compact groups, locally compact abelian groups and connected locally compact groups and is closed under products and closed subgroups. A topological group G is almost connected if the quotient group of G by the connected component of its identity is compact. We prove that an almost connected pro-Lie group is separable iff its weight is not greater than c. It is deduced that an almost connected pro-Lie group is separable if and only if it is a subspace of a separable Hausdorff space. It is proved that a locally compact (even feathered) topological group G which is a subgroup of a separable Hausdorff topological group is separable, but the conclusion is false if it is assumed only that G is homeomorphic to a subspace of a separable Tychonoff space. Every precompact topological group of weight less than or equal to c is topologically isomorphic to a closed subgroup of a separable pseudocompact group of weight c. This implies that there is a wealth of closed nonseparable subgroups of separable pseudocompact groups. An example is presented under CH of a separable countably compact abelian group which contains a non-separable closed subgroup. It is proved that the following conditions are equivalent for an omega-narrow topological group G: (i) G is a subspace of a separable regular space; (ii) G is a subgroup of a separable topological group; (iii) G is a closed subgroup of a separable pathconnected locally pathconnected group.

preprint2015arXiv

Pro-Lie Groups: A survey with Open Problems

A topological group is called a pro-Lie group if it is isomorphic to a closed subgroup of a product of finite-dimensional real Lie groups. This class of groups is closed under the formation of arbitrary products and closed subgroups and forms a complete category. It includes each finite-dimensional Lie group, each locally compact group which has a compact quotient group modulo its identity component and thus, in particular, each compact and each connected locally compact group; it also includes all locally compact abelian groups. This paper provides an overview of the structure theory and Lie theory of pro-Lie groups including results more recent than those in the authors' reference book on pro-Lie groups. Significantly, it also includes a review of the recent insight that weakly complete unital algebras provide a natural habitat for both pro-Lie algebras and pro-Lie groups, indeed for the exponential function which links the two. (A topological vector space is weakly complete if it is isomorphic to a power $\R^X$ of an arbitrary set of copies of $\R$. This class of real vector spaces is at the basis of the Lie theory of pro-Lie groups.) The article also lists 12 open questions connected with pro-Lie groups.

preprint2014arXiv

Nonmeasurable subgroups of compact groups

In 1985 S.~Saeki and K.~Stromberg published the following question: {\it Does every infinite compact group have a subgroup which is not Haar measurable?} An affirmative answer is given for all compact groups with the exception of some metric profinite groups known as strongly complete. In this spirit it is also shown that every compact group contains a non-Borel subgroup.

preprint2012arXiv

The weights of closed subgroups of a locally compact group

Let $G$ be an infinite locally compact group and $\aleph$ a cardinal satisfying $\aleph_0\le\aleph\le w(G)$ for the weight $w(G)$ of $G$. It is shown that there is a closed subgroup $N$ of $G$ with $w(N)=\aleph$. Sample consequences are: (1) Every infinite compact group contains an infinite closed metric subgroup. (2) For a locally compact group $G$ and $\aleph$ a cardinal satisfying $\aleph_0\le\aleph\le \lw(G)$, where $\lw(G)$ is the local weight of $G$, there are either no infinite compact subgroups at all or there is a compact subgroup $N$ of $G$ with $w(N)=\aleph$. (3) For an infinite abelian group $G$ there exists a properly ascending family of locally quasiconvex group topologies on $G$, say, $(τ_\aleph)_{\aleph_0\le \aleph\le \card(G)}$, such that $(G,τ_\aleph)\hat{\phantom{m}}\cong\hat G$. Items (2) and (3) are shown in Section 5.

preprint2011arXiv

Representing a profinite group as the homeomorphism group of a continuum

We contribute some information towards finding a general algorithm for constructing, for a given profinite group, $G$, a compact connected space, $X$, such that the full homeomorphism group, $H(X)$, with the compact-open topology is isomorphic to $G$ as a topological group. It is proposed that one should find a compact topological oriented graph $Γ$ such that $G\cong Aut(Γ)$. The replacement of the edges of $Γ$ by rigid continua should work as is exemplified in various instances where discrete graphs were used. It is shown here that the strategy can be implemented for profinite monothetic groups $G$.