For a space X and a regular uncountable cardinal κ ≤ |X| we say that κ ∈ D(X) if for each $T\subset X^2-\Delta \left(X\right)$ with |T| = κ, there is an open neighborhood W of Δ(X) such that |T - W| = κ. If ${\omega }_1\in D\left(X\right)$ then we say that X has a small diagonal, and if every regular uncountable κ ≤ |X| belongs to D(X) then we say that X has an H-diagonal. In this paper we investigate the interplay between D(X) and topological properties of X in the category of generalized ordered spaces. We obtain cardinal invariant theorems and metrization theorems...

Let f: X→ X be a topologically transitive continuous map of a compact metric space X. We investigate whether f can have the following stronger properties: (i) for each m ∈ ℕ, $f\times f²\times \cdots \times f^m:X^m\to X^m$ is transitive, (ii) for each m ∈ ℕ, there exists x ∈ X such that the diagonal m-tuple (x,x,...,x) has a dense orbit in $X^m$ under the action of $f\times f²\times \cdots \times f^m$. We show that (i), (ii) and weak mixing are equivalent for minimal homeomorphisms, that all mixing interval maps satisfy (ii), and that there are mixing subshifts not satisfying (ii)....

In 2008 Juhász and Szentmiklóssy established that for every compact space $X$ there exists a discrete $D\subset X\times X$ with $\left|D\right|=d\left(X\right)$. We generalize this result in two directions: the first one is to prove that the same holds for any Lindelöf $\Sigma$-space $X$ and hence $X^{\omega }$ is $d$-separable. We give an example of a countably compact space $X$ such that $X^{\omega }$ is not $d$-separable. On the other hand, we show that for any Lindelöf $p$-space $X$ there exists a discrete subset $D\subset X\times X$ such that $\Delta =\{(x,x):x\in X\}\subset \overline{D}$; in particular, the diagonal $\Delta$ is a retract of $\overline{D}$ and the projection...

We prove the result on Baire classification of mappings $f:X\times Y\to Z$ which are continuous with respect to the first variable and belongs to a Baire class with respect to the second one, where $X$ is a $PP$-space, $Y$ is a topological space and $Z$ is a strongly $\sigma$-metrizable space with additional properties. We show that for any topological space $X$, special equiconnected space $Z$ and a mapping $g:X\to Z$ of the $(n-1)$-th Baire class there exists a strongly separately continuous mapping $f:X^n\to Z$ with the diagonal $g$. For wide classes of spaces...

Jachymski showed that the set $$\left\{(x,y)\in {𝐜}_0\times {𝐜}_0:{\left(\sum _{i=1}^n\alpha \left(i\right)x\left(i\right)y\left(i\right)\right)}_{n=1}^{\infty }\text{is}\text{bounded}\right\}$$ is either a meager subset of ${𝐜}_0\times {𝐜}_0$ or is equal to ${𝐜}_0\times {𝐜}_0$. In the paper we generalize this result by considering more general spaces than ${𝐜}_0$, namely ${𝐂}_0\left(X\right)$, the space of all continuous functions which vanish at infinity, and ${𝐂}_b\left(X\right)$, the space of all continuous bounded functions. Moreover, we replace the meagerness by $\sigma$-porosity.

There is a general conjecture, the dichotomy (C) about Borel equivalence relations E: (i) E is Borel reducible to the equivalence relation $E_G^X$ where X is a Polish space, and a Polish group acting continuously on X; or (ii) a canonical relation $E_1$ is Borel reducible to E. (C) is only proved for special cases as in [So].  In this paper we make a contribution to the study of (C): a stronger conjecture is true for hereditary subspaces of the Polish space ${ℝ}^{\omega }$ of real sequences, i.e., subspaces such that $[y={\left(y_n\right)}_n\in X$...

We prove the existence of solutions of differential inclusions on a half-line. Our results are based on an approximation method combined with a diagonalization method.