Related papers: $\omega^\omega$-Dominated function spaces and $\om…

We characterize topological (and uniform) spaces whose free (locally convex) topological vector spaces have a local $\mathfrak G$-base. A topological space $X$ has a local $\mathfrak G$-base if every point $x$ of $X$ has a neighborhood base…

A topological space $(X, \tau)$ is said to be have an {\it $\omega^\omega$-base} if for each point $x\in X$ there exists a neighborhood base $\{U_{\alpha}[x]: \alpha\in\omega^\omega\}$ such that $U_{\beta}[x]\subset U_{\alpha}[x]$ for all…

A topological group $G$ is said to have a local $\omega^\omega$-base if the neighbourhood system at identity admits a monotone cofinal map from the directed set $\omega^\omega$. In particular, every metrizable group is such, but the class…

Given a partially ordered set $P$ we study properties of topological spaces $X$ admitting a $P$-base, i.e., an indexed family $(U_\alpha)_{\alpha\in P}$ of subsets of $X\times X$ such that $U_\beta\subset U_\alpha$ for all $\alpha\le\beta$…

Given a Tychonoff space $X$, let $F(X)$ and $A(X)$ be respectively the free topological group and the free Abelian topological group over $X$ in the sense of Markov. In this paper, we provide some topological properties of $X$ whenever one…

A topological space $X$ is defined to have a neighborhood $P$-base at any $x\in X$ from some poset $P$ if there exists a neighborhood base $(U_p[x])_{p\in P}$ at $x$ such that $U_p[x]\subseteq U_{p'}[x]$ for all $p\geq p'$ in $P$. We prove…

We give a complete description of the topological spaces $X$ such that the free abelian topological group $A(X)$ embeds into the free abelian topological group $A(I)$ of the closed unit interval. In particular, the free abelian topological…

A locally convex space (lcs) $E$ is said to have an $\omega^{\omega}$-base if $E$ has a neighborhood base $\{U_{\alpha}:\alpha\in\omega^\omega\}$ at zero such that $U_{\beta}\subseteq U_{\alpha}$ for all $\alpha\leq\beta$. The class of lcs…

Completeness for a (topological) space is often based on the existence of special structures (such as metrics, uniformities, proximities, convergences, etc) that explicitly induce the topology, making the completeness induction-dependent.…

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_\omega$-space if and only if $X$ is a $k_\omega$-space. If $X$ is infinite, then $\mathbb{V}(X)$…

A topological space $X$ is a $\Delta$-space (or $X \in \Delta$) if for any decreasing sequence $\{A_n : n < \omega\}$ of subsets of $X$ with empty intersection there is a (decreasing) sequence $\{U_n : n < \omega\}$ of open sets with empty…

We give a simple description of the topology of free topological vector space $\mathbb{V}(X)$ and the topology of the free locally convex space $L(X)$ over a Tychonoff space $X$. The case when $X$ is a pseudocompact space is also…

The topological fundamental group $\pi_{1}^{top}$ is a homotopy invariant finer than the usual fundamental group. It assigns to each space a quasitopological group and is discrete on spaces which admit universal covers. For an arbitrary…

Recall that a topological space is said to be a $k_\omega$-space if it is the direct limit of an ascending sequence of compact Hausdorff topological spaces. If each point in a Hausdorff space $X$ has an open neighbourhood which is a…

Given a simplicial complex $X$, we construct a simplicial complex $\Omega X$ that may be regarded as a combinatorial version of the based loop space of a topological space. Our construction explicitly describes the simplices of $\Omega X$…

This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…

A topological space $X$ is called strongly $\sigma$-metrizable if $X=\bigcup_{n\in\omega}X_n$ for an increasing sequence $(X_n)_{n\in\omega}$ of closed metrizable subspaces such that every convergence sequence in $X$ is contained in some…

It is expected that the $D$-topology makes every diffeological vector space into a topological vector space. We show that it is the case for a large class of diffeological vector spaces via $k_\omega$-space theory, but not so in general.…

We consider a complete, unbounded, hyperbolic metric space $X$ and a concave, nonzero and nondecreasing function $\omega:[0,+\infty)\to[0,+\infty)$ with $\omega(0)=0$ and study the space $\mathcal{C}_\omega(X)$ of uniformly continous…

A subset $A$ of a vector space $X$ is called $\alpha$-lineable whenever $A$ contains, except for the null vector, a subspace of dimension $\alpha$. If $X$ has a topology, then $A$ is $\alpha$-spaceable if such subspace can be chosen to be…