Showing 1–20 of 20 results for author: Tomita, A H

A Wallace semigroup whose every finite power is countably compact

Authors: Juan Luis Jaisuño Fuentes-Maguiña, Vinicius de Oliveira Rodrigues, Artur Hideyuki Tomita

Abstract: We show that, assuming the existence of $\mathfrak{c}$ incomparable selective ultrafilters, there exists a Wallace semigroup whose infinite countable power is the least power which fails to be countably compact. This answers positively Question 9.4 of \cite{Tomita15}. We show that, assuming the existence of $\mathfrak{c}$ incomparable selective ultrafilters, there exists a Wallace semigroup whose infinite countable power is the least power which fails to be countably compact. This answers positively Question 9.4 of \cite{Tomita15}. △ Less

Submitted 7 March, 2024; v1 submitted 29 February, 2024; originally announced March 2024.

Comments: Some typos fixed

MSC Class: Primary 54D20; 54H11; 22A15; Secondary 54A35; 54G20

Remarks on SHD spaces and more divergence properties

Authors: Carlos David Jiménez-Flores, Alejandro Ríos-Herrejón, Alejandro Darío Rojas-Sánchez, Artur Hideyuki Tomita, Elmer Enrique Tovar-Acosta

Abstract: The class of SHD spaces was recently introduced in [12]. The first part of this paper focuses on answering most of the questions presented in that article. For instance, we exhibit an example of a non-SHD Tychonoff space $X$ such that $\mathscr{F}[X]$, the Pixley-Roy hyperspace of $X$, $βX$, the Stone-Čech compactification of $X$, and $C_p(X)$, the ring of continuous functions over $X$ equipped wi… ▽ More The class of SHD spaces was recently introduced in [12]. The first part of this paper focuses on answering most of the questions presented in that article. For instance, we exhibit an example of a non-SHD Tychonoff space $X$ such that $\mathscr{F}[X]$, the Pixley-Roy hyperspace of $X$, $βX$, the Stone-Čech compactification of $X$, and $C_p(X)$, the ring of continuous functions over $X$ equipped with the topology of pointwise convergence, are SHD. In the second part of this work we will present some variations of the SHD notion, namely, the WSHD property and the OHD property. Furthermore, we will pay special attention to the relationships between $X$ and $\mathscr{F}[X]$ regarding these new concepts. △ Less

Submitted 29 November, 2023; v1 submitted 28 November, 2023; originally announced November 2023.

MSC Class: 54A20; 54A25; 54B20; 54G05

On powers of countably pracompact groups

Authors: Artur Hideyuki Tomita, Juliane Trianon-Fraga

Abstract: In 1990, Comfort asked: is there, for every cardinal number $α\leq 2^{\mathfrak{c}}$, a topological group $G$ such that $G^γ$ is countably compact for all cardinals $γ<α$, but $G^α$ is not countably compact? A similar question can also be asked for countably pracompact groups: for which cardinals $α$ is there a topological group $G$ such that $G^γ$ is countably pracompact for all cardinals $γ< α$,… ▽ More In 1990, Comfort asked: is there, for every cardinal number $α\leq 2^{\mathfrak{c}}$, a topological group $G$ such that $G^γ$ is countably compact for all cardinals $γ<α$, but $G^α$ is not countably compact? A similar question can also be asked for countably pracompact groups: for which cardinals $α$ is there a topological group $G$ such that $G^γ$ is countably pracompact for all cardinals $γ< α$, but $G^α$ is not countably pracompact? In this paper we construct such group in the case $α= ω$, assuming the existence of $\mathfrak{c}$ incomparable selective ultrafilters, and in the case $α= κ^{+}$, with $ω\leq κ\leq 2^{\mathfrak{c}}$, assuming the existence of $2^{\mathfrak{c}}$ incomparable selective ultrafilters. In particular, under the second assumption, there exists a topological group $G$ so that $G^{2^\mathfrak{c}}$ is countably pracompact, but $G^{(2^{\mathfrak{c}})^{+}}$ is not countably pracompact, unlike the countably compact case. △ Less

Submitted 26 November, 2022; originally announced November 2022.

MSC Class: 54A35; 54H11; 54B10 (Primary) 22A05; 54E99; 54G20 (Secondary)

Comfort's question on powers in $\mathbb Q ^{(2^\mathfrak c)}$ and a Wallace semigroup whose cube is countably compact

Authors: J. L. J. Fuentes-Maguiña, A. H. Tomita

Abstract: We prove that the existence of $\mathfrak{c}$ incomparable selective ultrafilters implies the existence of a Wallace semigroup whose cube is countably compact. In addition, assuming the existence of $2^{\mathfrak c}$ incomparable selective ultrafilters and $2^{< 2^{\mathfrak{c}}} = 2^{\mathfrak{c}}$, we obtain torsion-free topological groups with respect to Comfort's question on the countable comp… ▽ More We prove that the existence of $\mathfrak{c}$ incomparable selective ultrafilters implies the existence of a Wallace semigroup whose cube is countably compact. In addition, assuming the existence of $2^{\mathfrak c}$ incomparable selective ultrafilters and $2^{< 2^{\mathfrak{c}}} = 2^{\mathfrak{c}}$, we obtain torsion-free topological groups with respect to Comfort's question on the countable compactness of (infinite) powers of a topological group. △ Less

Submitted 18 October, 2022; v1 submitted 16 October, 2022; originally announced October 2022.

Comments: 23 pages

MSC Class: 54D20; 54H11; 22A05; 22A15 (Primary) 54A35; 54G20 (Secondary)

$\mathcal{U}$-compact group topologies without convergent sequences on countably cofinal torsion-free Abelian groups

Authors: Matheus Koveroff Bellini, Artur Hideyuki Tomita

Abstract: We obtain a forcing construction that shows that it is consistent that the torsion-free Abelian group $\mathbb{Q}^{(λ)}$ admits a Hausdorff group topology which is also $\mathcal{U}$-compact and contains no non-trivial convergent sequences, where $λ$ is a cardinal whose cofinality is $ω$ and $\mathcal{U}$ is a selective ultrafilter. This answers a question posed in arXiv:1904.05928. We obtain a forcing construction that shows that it is consistent that the torsion-free Abelian group $\mathbb{Q}^{(λ)}$ admits a Hausdorff group topology which is also $\mathcal{U}$-compact and contains no non-trivial convergent sequences, where $λ$ is a cardinal whose cofinality is $ω$ and $\mathcal{U}$ is a selective ultrafilter. This answers a question posed in arXiv:1904.05928. △ Less

Submitted 25 September, 2022; originally announced September 2022.

Comments: 8 pages

MSC Class: Primary 54D20; 54H11; 22A05; Secondary 54A35; 54G20

Some pseudocompact-like properties in certain topological groups

Authors: Artur Hideyuki Tomita, Juliane Trianon-Fraga

Abstract: We construct in ZFC a countably compact group without non-trivial convergent sequences of size $2^{\mathfrak{c}}$, answering a question of Bellini, Rodrigues and Tomita. We also construct in ZFC a selectively pseudocompact group which is not countably pracompact, showing that these two properties are not equivalent in the class of topological groups. Using the same technique, we construct a group… ▽ More We construct in ZFC a countably compact group without non-trivial convergent sequences of size $2^{\mathfrak{c}}$, answering a question of Bellini, Rodrigues and Tomita. We also construct in ZFC a selectively pseudocompact group which is not countably pracompact, showing that these two properties are not equivalent in the class of topological groups. Using the same technique, we construct a group which has all powers selectively pseudocompact but is not countably pracompact, assuming the existence of a selective ultrafilter. △ Less

Submitted 30 August, 2021; originally announced August 2021.

Countably compact group topologies on arbitrarily large free Abelian groups

Authors: M. K. Bellini, K. P. Hart, V. O. Rodrigues, A. H. Tomita

Abstract: We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $κ$ such that $κ^ω=κ$, there exists a group topology on the free Abelian group of cardinality $κ$ without nontrivial convergent sequences and such that every finite power is countably compact. In particular, there are arbitrarily large countably compact groups. This answers a 1992 questio… ▽ More We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $κ$ such that $κ^ω=κ$, there exists a group topology on the free Abelian group of cardinality $κ$ without nontrivial convergent sequences and such that every finite power is countably compact. In particular, there are arbitrarily large countably compact groups. This answers a 1992 question of D. Dikranjan and D. Shakhmatov. △ Less

Submitted 23 March, 2021; originally announced March 2021.

Forcing a classification of non-torsion Abelian groups of size at most $2^\mathfrak c$ with non-trivial convergent sequences

Authors: Matheus Koveroff Bellini, Vinicius de Oliveira Rodrigues, Artur Hideyuki Tomita

Abstract: We force a classification of all the Abelian groups of cardinality at most $2^\mathfrak c$ that admit a countably compact group with a non-trivial convergent sequence. In particular, we answer (consistently) Question 24 of Dikranjan and Shakhmatov for cardinality at most $2^{\mathfrak c}$, by showing that if a non-torsion Abelian group of size at most $2^\mathfrak c$ admits a countably compact Hau… ▽ More We force a classification of all the Abelian groups of cardinality at most $2^\mathfrak c$ that admit a countably compact group with a non-trivial convergent sequence. In particular, we answer (consistently) Question 24 of Dikranjan and Shakhmatov for cardinality at most $2^{\mathfrak c}$, by showing that if a non-torsion Abelian group of size at most $2^\mathfrak c$ admits a countably compact Hausdorff group topology, then it admits a countably compact Hausdorff group topology with non-trivial convergent sequences. △ Less

Submitted 17 June, 2020; originally announced June 2020.

Comments: arXiv admin note: text overlap with arXiv:1909.03340

MSC Class: Primary 54H11; 22A05; Secondary 54A35; 54G20

Maximal almost disjoint families and pseudocompactness of hyperspaces

Authors: Osvaldo Guzmán, Michael Hrušák, Vinicius de Oliveira Rodrigues, Stevo Todorčević, Artur Hideyuki Tomita

Abstract: We show that all maximal almost disjoint families have pseudocompact Vietoris hyperspace if and only if $\mathsf{MA}_\mathfrak c (\mathcal P(ω)/\mathrm{fin})$ holds. We further study the question whether there is a maximal almost disjoint family whose hyperspace is pseudocompact and prove that consistently such families do not exist \emph{genericaly}, by constructing a consistent example of a maxi… ▽ More We show that all maximal almost disjoint families have pseudocompact Vietoris hyperspace if and only if $\mathsf{MA}_\mathfrak c (\mathcal P(ω)/\mathrm{fin})$ holds. We further study the question whether there is a maximal almost disjoint family whose hyperspace is pseudocompact and prove that consistently such families do not exist \emph{genericaly}, by constructing a consistent example of a maximal almost disjoint family $\mathcal A$ of size less than $\mathfrak c$ whose hyperspace is not pseudocompact. △ Less

Submitted 18 April, 2020; originally announced April 2020.

MSC Class: Primary 54D20; 03E35; Secondary 54D35; 03E17

Countably compact group topologies on the free Abelian group of size continuum (and a Wallace semigroup) from a selective ultrafilter

Authors: A. C. Boero, I. Castro-Pereira, A. H. Tomita

Abstract: 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). 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). △ Less

Submitted 8 September, 2019; originally announced September 2019.

Journal ref: Acta Math. Hungarica 159 414--428 (2019)

A van Douwen-like ZFC theorem for small powers of countably compact groups without non-trivial convergent sequences

Authors: Artur Hideyuki Tomita

Abstract: We show that if $κ\leq ω$ and there exists a group topology without non-trivial convergent sequences on an Abelian group $H$ such that $H^n$ is countably compact for each $n<κ$ then there exists a topological group $G$ such that $G^n$ is countably compact for each $n <κ$ and $G^κ$ is not countably compact. If in addition $H$ is torsion, then the result above holds for $κ=ω_1$. Combining with other… ▽ More We show that if $κ\leq ω$ and there exists a group topology without non-trivial convergent sequences on an Abelian group $H$ such that $H^n$ is countably compact for each $n<κ$ then there exists a topological group $G$ such that $G^n$ is countably compact for each $n <κ$ and $G^κ$ is not countably compact. If in addition $H$ is torsion, then the result above holds for $κ=ω_1$. Combining with other results in the literature, we show that: $a)$ Assuming ${\mathfrak c}$ incomparable selective ultrafilters, for each $n \in ω$, there exists a group topology on the free Abelian group $G$ such that $G^n$ is countably compact and $G^{n+1}$ is not countably compact. (It was already know for $ω$). $b)$ If $κ\in ω\cup \{ω\} \cup \{ω_1\}$, there exists in ZFC a topological group $G$ such that $G^γ$ is countably compact for each cardinal $γ<κ$ and $G^κ$ is not countably compact. △ Less

Submitted 7 September, 2019; originally announced September 2019.

Journal ref: Topology Appl. Volume 259, 1 June 2019, Pages 347-364

Algebraic structure of countably compact non-torsion Abelian groups of size continuum from selective ultrafilters

Authors: M. K. Bellini, A. C. Boero, V. O. Rodrigues, A. H. Tomita

Abstract: Assuming the existence of $\mathfrak c$ incomparable selective ultrafilters, we classify the non-torsion Abelian groups of cardinality $\mathfrak c$ that admit a countably compact group topology. We show that for each $κ\in [\mathfrak c, 2^\mathfrak c]$ each of these groups has a countably compact group topology of weight $κ$ without non-trivial convergent sequences and another that has convergent… ▽ More Assuming the existence of $\mathfrak c$ incomparable selective ultrafilters, we classify the non-torsion Abelian groups of cardinality $\mathfrak c$ that admit a countably compact group topology. We show that for each $κ\in [\mathfrak c, 2^\mathfrak c]$ each of these groups has a countably compact group topology of weight $κ$ without non-trivial convergent sequences and another that has convergent sequences. Assuming the existence of $2^\mathfrak c$ selective ultrafilters, there are at least $2^\mathfrak c$ non homeomorphic such topologies in each case and we also show that every Abelian group of cardinality at most $2^\mathfrak c$ is algebraically countably compact. We also show that it is consistent that every Abelian group of cardinality $\mathfrak c$ that admits a countably compact group topology admits a countably compact group topology without non-trivial convergent sequences whose weight has countable cofinality. △ Less

Submitted 22 April, 2021; v1 submitted 7 September, 2019; originally announced September 2019.

Comments: new revised and expanded version that includes new co-authors

On $p$-compact group topologies on direct sums of ${\mathbb Q}$

Authors: Matheus Koveroff Bellini, Vinicius de Oliveira Rodrigues, Artur Hideyuki Tomita

Abstract: We prove that if $p$ is a selective ultrafilter then ${\mathbb Q}^{(κ)}$ has a $p$-compact group topology without non-trivial convergent sequences, for each infinite cardinal $κ=κ^ω$. In particular, this gives the first arbitrarily large examples of countably compact groups without non-trivial convergent sequences that are torsion-free. We prove that if $p$ is a selective ultrafilter then ${\mathbb Q}^{(κ)}$ has a $p$-compact group topology without non-trivial convergent sequences, for each infinite cardinal $κ=κ^ω$. In particular, this gives the first arbitrarily large examples of countably compact groups without non-trivial convergent sequences that are torsion-free. △ Less

Submitted 11 April, 2019; originally announced April 2019.

MSC Class: Primary 54D20; 54H11; 22A05; Secondary 54A35; 54G20

Countably compact group topologies on non-torsion abelian groups of size continuum with non-trivial convergent sequences

Authors: {Matheus Koveroff Bellini, Ana Carolina Boero, Irene Castro Pereira, Vinicius de Oliveira Rodrigues, Artur Hideyuki Tomita

Abstract: Under $\mathfrak{p} = \mathfrak{c}$, we answer Question 24 of \cite{dikranjan&shakhmatov3} for cardinality ${\mathfrak c}$ , by showing that if a non-torsion Abelian group of size continuum admits a countably compact Hausdorff group topology, then it admits a countably compact Hausdorff group topology with non-trivial convergent sequences. Under $\mathfrak{p} = \mathfrak{c}$, we answer Question 24 of \cite{dikranjan&shakhmatov3} for cardinality ${\mathfrak c}$ , by showing that if a non-torsion Abelian group of size continuum admits a countably compact Hausdorff group topology, then it admits a countably compact Hausdorff group topology with non-trivial convergent sequences. △ Less

Submitted 11 October, 2018; originally announced October 2018.

MSC Class: primary 54H11; 22A05; secondary 54A35; 54G20

Small MAD families whose Isbell-Mrówka spaces are pseudocompact

Authors: Vinicius de Oliveira Rodrigues, Artur Hideyuki Tomita

Abstract: Given a countable transitive model $M$ for ZFC+CH, we prove that one can produce a maximal almost disjoint family in $M$ whose Vietoris Hyperspace of its Isbell-Mrówka space is pseudocompact on every Cohen extension of $M$. We also show that a classical example of $ω_1$-sized maximal almost disjoint family obtained by a forcing iteration of length $ω_1$ in a model of non CH is such that the Vietor… ▽ More Given a countable transitive model $M$ for ZFC+CH, we prove that one can produce a maximal almost disjoint family in $M$ whose Vietoris Hyperspace of its Isbell-Mrówka space is pseudocompact on every Cohen extension of $M$. We also show that a classical example of $ω_1$-sized maximal almost disjoint family obtained by a forcing iteration of length $ω_1$ in a model of non CH is such that the Vietoris Hyperspace of its Isbell-Mrówka space is pseudocompact. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Comments: 14p

MSC Class: 54B20; 54D80 (Primary) 54D20; 54A35 (Secondary)

Small Cardinals and the Pseudocompactness of Hyperspaces of Subspaces of $βω$

Authors: Y. F. Ortiz-Castillo, V. O. Rodrigues, A. H. Tomita

Abstract: We study the relations between a generalization of pseudocompactness, named $(κ, M)$-pseudocompactness, the countably compactness of subspaces of $βω$ and the pseudocompactness of their hyperspaces. We show, by assuming the existence of $\mathfrak c$-many selective ultrafilters, that there exists a subspace of $βω$ that is $(κ, ω^*)$-pseudocompact for all $κ<\mathfrak c$, but $\text{CL}(X)$ isn't… ▽ More We study the relations between a generalization of pseudocompactness, named $(κ, M)$-pseudocompactness, the countably compactness of subspaces of $βω$ and the pseudocompactness of their hyperspaces. We show, by assuming the existence of $\mathfrak c$-many selective ultrafilters, that there exists a subspace of $βω$ that is $(κ, ω^*)$-pseudocompact for all $κ<\mathfrak c$, but $\text{CL}(X)$ isn't pseudocompact. We prove in ZFC that if $ω\subseteq X\subseteq βω$ is such that $X$ is $(\mathfrak c, ω^*)$-pseudocompact, then $\text{CL}(X)$ is pseudocompact, and we further explore this relation by replacing $\mathfrak c$ for some small cardinals. We provide an example of a subspace of $βω$ for which all powers below $\mathfrak h$ are countably compact whose hyperspace is not pseudocompact, we show that if $ω\subseteq X$, the pseudocompactness of $\text{CL}(X)$ implies that $X$ is $(κ, ω^*)$-pseudocompact for all $κ<\mathfrak h$, and provide an example of such an $X$ that is not $(\mathfrak b, ω^*)$-pseudocompact. △ Less

Submitted 5 November, 2017; v1 submitted 17 October, 2017; originally announced October 2017.

Comments: 15 pages

MSC Class: 54B20; 03E17; 54D20

Finite powers of selectively pseudocompact groups

Authors: S. Garcia-Ferreira, A. H. Tomita

Abstract: A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n : n < ω\}) \setminus \big(\bigcup_{n < ω}U_n \big) \neq \emptyset$ and $x_{n}\in U_{n}$, for each $n < ω$. Countably compact space spaces are selectively pseudo… ▽ More A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n : n < ω\}) \setminus \big(\bigcup_{n < ω}U_n \big) \neq \emptyset$ and $x_{n}\in U_{n}$, for each $n < ω$. Countably compact space spaces are selectively pseudocompact and every selectively pseudocompact space is pseudocompact. We show, under the assumption of $CH$, that for every positive integer $k > 2$ there exists a topological group whose $k$-th power is countably compact but its $(k+1)$-st power is not selectively pseudocompact. This provides a positive answer to a question posed in \cite{gt} in any model of $ZFC+CH$. △ Less

Submitted 15 June, 2017; originally announced June 2017.

MSC Class: 54H11; 54B05; 54E99

$σ$-Ideals and outer measures on the real line

Authors: S. García-Ferreira, A. H. Tomita, Y. F. Ortiz-Castillo

Abstract: A {\it weak selection} on $\mathbb{R}$ is a function $f: [\mathbb{R}]^2 \to \mathbb{R}$ such that $f(\{x,y\}) \in \{x,y\}$ for each $\{x,y\} \in [\mathbb{R}]^2$. In this article, we continue with the study (which was initiated in \cite{ag}) of the outer measures $λ_f$ on the real line $\mathbb{R}$ defined by weak selections $f$. One of the main results is to show that $CH$ is equivalent to the exi… ▽ More A {\it weak selection} on $\mathbb{R}$ is a function $f: [\mathbb{R}]^2 \to \mathbb{R}$ such that $f(\{x,y\}) \in \{x,y\}$ for each $\{x,y\} \in [\mathbb{R}]^2$. In this article, we continue with the study (which was initiated in \cite{ag}) of the outer measures $λ_f$ on the real line $\mathbb{R}$ defined by weak selections $f$. One of the main results is to show that $CH$ is equivalent to the existence of a weak selection $f$ for which: \[ \mathcal λ_f(A)= \begin{cases} 0 & \text{if $|A| \leq ω$,}\\ \infty & \text{otherwise.} \end{cases} \] Some conditions are given for a $σ$-ideal of $\mathbb{R}$ in order to be exactly the family $\mathcal{N}_f$ of $λ_f$-null subsets for some weak selection $f$. It is shown that there are $2^\mathfrak{c}$ pairwise distinct ideals on $\mathbb{R}$ of the form $\mathcal{N}_f$, where $f$ is a weak selection. Also we prove that Martin Axiom implies the existence of a weak selection $f$ such that $\mathcal{N}_f$ is exactly the $σ$-ideal of meager subsets of $\mathbb{R}$. Finally, we shall study pairs of weak selections which are "almost equal" but they have different families of $λ_f$-measurable sets. △ Less

Submitted 12 August, 2016; originally announced August 2016.

MSC Class: Primary 28A12; 28A99; secondary 28B15

On topological groups admitting a base at identity indexed with $ω^ω$

Authors: Arkady G. Leiderman, Vladimir G. Pestov, Artur H. Tomita

Abstract: A topological group $G$ is said to have a local $ω^ω$-base if the neighbourhood system at identity admits a monotone cofinal map from the directed set $ω^ω$. In particular, every metrizable group is such, but the class of groups with a local $ω^ω$-base is significantly wider. The aim of this article is to better understand the boundaries of this class, by presenting new examples and counter-exampl… ▽ More A topological group $G$ is said to have a local $ω^ω$-base if the neighbourhood system at identity admits a monotone cofinal map from the directed set $ω^ω$. In particular, every metrizable group is such, but the class of groups with a local $ω^ω$-base is significantly wider. The aim of this article is to better understand the boundaries of this class, by presenting new examples and counter-examples. Ultraproducts and non-arichimedean ordered fields lead to natural families of non-metrizable groups with a local $ω^ω$-base which nevertheless are Baire topological spaces. More examples come from such constructions as the free topological group $F(X)$ and the free Abelian topological group $A(X)$ of a Tychonoff (more generally uniform) space $X$, as well as the free product of topological groups. We show that 1) the free product of countably many separable topological groups with a local $ω^ω$-base admits a local $ω^ω$-base; 2) the group $A(X)$ of a Tychonoff space $X$ admits a local $ω^ω$-base if and only if the finest uniformity of $X$ has a $ω^ω$-base; 3) the group $F(X)$ of a Tychonoff space $X$ admits a local $ω^ω$-base provided $X$ is separable and the finest uniformity of $X$ has a $ω^ω$-base. △ Less

Submitted 8 September, 2016; v1 submitted 22 November, 2015; originally announced November 2015.

Comments: 20 pages, latex 2e, accepted for publication in Fundam. Math

MSC Class: 22A05

Journal ref: Fund. Math. 238 (2017), no. 1, 79-100

Bornoligies, Topological Games and Function Spaces

Authors: Jiling Cao, Artur H. Tomita

Abstract: In this paper, we continue the study of function spaces equipped with topologies of (strong) uniform convergence on bornologies initiated by Beer and Levi \cite{beer-levi:09}. In particular, we investigate some topological properties these function spaces defined by topological games. In addition, we also give further characterizations of metrizability and completeness properties of these function… ▽ More In this paper, we continue the study of function spaces equipped with topologies of (strong) uniform convergence on bornologies initiated by Beer and Levi \cite{beer-levi:09}. In particular, we investigate some topological properties these function spaces defined by topological games. In addition, we also give further characterizations of metrizability and completeness properties of these function spaces. △ Less

Submitted 26 March, 2014; originally announced March 2014.

Comments: 15 pages

MSC Class: Primary 54C35; Secondary 46A17; 54E50; 54E52