Related papers: On G-Continuity

For a topological space $X$ we propose to call a subset $S \subset X$ "free in $X$" if it admits a well-ordering that turns it into a free sequence in $X$. The well-known cardinal function $F(X)$ is then definable as $\sup\{|S| : S \text{…

It is investigated the existence of a separately continuous function $f:X\times Y\to \mathbb R$ with an onepoint set of discontinuity for topological spaces $X$ and $Y$ which satisfy compactness type conditions. In particular, it is shown…

In this work, topological spaces are enriched by additional structures in order to give a more realistic representation of real life phenomena and computational processes and at the same time, to provide for utilization of the powerful…

Let the measure algebra of a topological group be equipped with the topology of uniform convergence on bounded right uniformly equicontinuous sets of functions. Convolution is separately continuous on the measure algebra, and it is jointly…

We introduce the set-self-Tietze property, an analogue of the self-Tietze property for upper semi-continuous set-valued functions. A topological space $X$ is self-Tietze, if for every closed $A \subseteq X$ and continuous function $f \colon…

We give a new proof of the well-known fact that all functions $(\mathbb{N} \to \mathbb{N}) \to \mathbb{N}$ which are definable in G\"odel's System T are continuous via a syntactic approach. Differing from the usual syntactic method, we…

Let $X$ and $Y$ be topological spaces, let $Z$ be a metric space, and let $f: X\times Y\to Z$ be a mapping. It is shown that when $Y$ has a countable base $\mathcal B$, then under a rather general condition on the set-valued mappings $X\ni…

Given a function $f\colon \mathbb{R}\to \mathbb{R}$, the so-called "little lip" function $\operatorname{lip} f$ is defined as follows: \begin{equation*} \operatorname{lip} f(x)=\liminf_{r{\scriptscriptstyle \searrow} 0}\sup_{|x-y|\le r}…

It is consistent with ZF set theory that the Euclidean topology on the real line is not sequential, yet every infinite set of reals contains a countably infinite subset. This answers a question of Gutierres.

There are two definitions of the measurable functional on the topological vector space: as a linear and measurable real-valued function and as a pointwise limit of the sequence of the continious linear functionals. In general case they are…

In Persistent Homology and Topology, filtrations are usually given by introducing an ordered collection of sets or a continuous function from a topological space to $\R^n$. A natural question arises, whether these approaches are equivalent…

A sequence $(x_{n})$ of points in a topological group is called $\Delta$-quasi-slowly oscillating if $(\Delta x_{n})$ is quasi-slowly oscillating, and is called quasi-slowly oscillating if $(\Delta x_{n})$ is slowly oscillating. A function…

Let $M$ be a compact Riemannian manifold. The set $\text{F}^{r}(M)$ consisting of sequences $(f_{i})_{i\in\mathbb{Z}}$ of $C^{r}$-diffeomorphisms on $M$ can be endowed with the compact topology or with the strong topology. A notion of…

A.V.Arkhangel'skii asked in 1981 if the variety $\mathfrak V$ of topological groups generated by free topological groups on metrizable spaces coincides with the class of all topological groups. We show that if there exists a real-valued…

A quasi-continuous dynamical system is a pair $(X,f)$ consisting of a topological space $X$ and a mapping $f: X\to X$ such that $f^n$ is quasi-continuous for all $n \in \mathbb N$, where $\mathbb N$ is the set of non-negative integers. In…

In this note, we continue to highlight some applications of Theorem 1 of [3]. Here is a sample: Let $X$ be an open set in ${\bf C}^n$, $\Omega$ an open convex set in ${\bf C}$ and $f, g : X\to {\bf C}$ two holomorphic functions such that…

In 1934, Whitney raised the question of how to recognize whether a function f defined on a closed subset X of Euclidean space is the restriction of a function that is continuously differentiable to order p. A necessary and sufficient…

If G is a countable discrete group acting linearly on a finite-dimensional vector space over any topological field, then the groups of coboundaries are closed for the product topology in all degrees, and hence the cohomology is reduced in…

There are several ideal boundaries and completions in General Relativity sharing the topological property of being sequential, i.e., determined by the convergence of its sequences and, so, by some limit operator $L$. As emphasized in a…

A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working…