The symbol ${\left(X_I\right)}_{\kappa }$ (with κ ≥ ω) denotes the space $X_I:={\prod }_{i\in I}{X}_i$ with the κ-box topology; this has as base all sets of the form $U={\prod }_{i\in I}{U}_i$ with $U_i$ open in $X_i$ and with $|i\in I:U_i\ne X_i|<\kappa$. The symbols w, d and S denote respectively the weight, density character and Suslin number. Generalizing familiar classical results, the authors show inter alia: Theorem 3.1.10(b). If κ ≤ α⁺, |I| = α and each $X_i$ contains the discrete space 0,1 and satisfies $w\left(X_i\right)\le \alpha$, then $w\left(X_{\kappa }\right)={\alpha }^{<\kappa }$. Theorem 4.3.2. If $\omega \le \kappa \le \left|I\right|\le 2^{\alpha }$ and $X={\left(D\left(\alpha \right)\right)}^I$ with D(α) discrete, |D(α)| = α, then $d\left({\left(X_I\right)}_{\kappa }\right)={\alpha }^{<\kappa }$. Corollaries 5.2.32(a)...

In this article we define the $m$-topology on some rings of quotients of $C\left(X\right)$. Using this, we equip the classical ring of quotients $q\left(X\right)$ of $C\left(X\right)$ with the $m$-topology and we show that $C\left(X\right)$ with the $r$-topology is in fact a subspace of $q\left(X\right)$ with the $m$-topology. Characterization of the components of rings of quotients of $C\left(X\right)$ is given and using this, it turns out that $q\left(X\right)$ with the $m$-topology is connected if and only if $X$ is a pseudocompact almost $P$-space, if and only if $C\left(X\right)$ with $r$-topology is connected. We also...

We prove a density version of the Carlson–Simpson Theorem. Specifically we show the following. For every integer $k\ge 2$ and every set $A$ of words over $k$ satisfying $\lim {\sup }_{n\to \infty }|A\cap {\left[k\right]}^n|/k^n>0$ there exist a word $c$ over $k$ and a sequence $\left(w_n\right)$ of left variable words over $k$ such that the set $c\cup \{c^{}{w}_0{\left(a_0\right)}^{}..{.}^{}{w}_n\left(a_n\right):n\in \mathbb{N}\text{and}{a}_0,...,a_n\in \left[k\right]\}$ is contained in $A$. While the result is infinite-dimensional its proof is based on an appropriate finite and quantitative version, also obtained in the paper.

Let $H\subseteq Z\subseteq 2^{\omega }$. For n ≥ 2, we prove that if Selivanovski measurable functions from $2^{\omega }$ to Z give as preimages of H all Σₙ¹ subsets of $2^{\omega }$, then so do continuous injections.

Let $M$ be a given nonempty set of positive integers and $S$ any set of nonnegative integers. Let $\overline{\delta }\left(S\right)$ denote the upper asymptotic density of $S$. We consider the problem of finding $$\mu \left(M\right):=\underset{S}{sup}\overline{\delta }\left(S\right),$$ where the supremum is taken over all sets $S$ satisfying that for each $a,b\in S$, $a-b\notin M.$ In this paper we discuss the values and bounds of $\mu \left(M\right)$ where $M=\{a,b,a+nb\}$ for all even integers and for all sufficiently large odd integers $n$ with $a<b$ and $gcd(a,b)=1.$

We consider the question of when $X_M=X$, where $X_M$ is the elementary submodel topology on X ∩ M, especially in the case when $X_M$ is compact.

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

It is proved that the following conditions are equivalent: (a) f is an almost everywhere continuous function on ${ℝ}^m$; (b) f = g + h, where g,h are strongly quasicontinuous on ${ℝ}^m$; (c) f = c + gh, where c ∈ ℝ and g,h are strongly quasicontinuous on ${ℝ}^m$.

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

We prove that if $X$ is a first countable space with property $\left(DC\left({\omega }_1\right)\right)$ and with a $G_{\delta }$-diagonal then the cardinality of $X$ is at most $𝔠$. We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$.

Given a topological space ⟨X,⟩ ∈ M, an elementary submodel of set theory, we define $X_M$ to be X ∩ M with topology generated by $U\cap M:U\in \cap M$. Suppose $X_M$ is homeomorphic to the irrationals; must $X=X_M$? We have partial results. We also answer a question of Gruenhage by showing that if $X_M$ is homeomorphic to the “Long Cantor Set”, then $X=X_M$.

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying...

Let ⟨X,Y⟩ be a duality pair of M-spaces X,Y of measurable functions from Ω ⊂ ℝ ⁿ into ${ℝ}^d$. The paper deals with Y-weak cluster points ϕ̅ of the sequence $\varphi (·,z_j\left(·\right))$ in X, where $z_j:\Omega \to {ℝ}^m$ is measurable for j ∈ ℕ and $\varphi :\Omega \times {ℝ}^m\to {ℝ}^d$ is a Carathéodory function. We obtain general sufficient conditions, under which, for some negligible set $A_{\varphi }$, the integral $I(\varphi ,{\nu }_x):={\int }_{{ℝ}^m}\varphi (x,\lambda )d{\nu }_x\left(\lambda \right)$ exists for $x\in \Omega \setminus A_{\varphi }$ and $\varphi ̅\left(x\right)=I(\varphi ,{\nu }_x)$ on $\Omega \setminus A_{\varphi }$, where $\nu ={{\nu }_x}_{x\in \Omega }$ is a measurable-dependent family of Radon probability measures on ${ℝ}^m$.

A subset of a product of topological spaces is called $n$-thin if every its two distinct points differ in at least $n$ coordinates. We generalize a construction of Gruenhage, Natkaniec, and Piotrowski, and obtain, under CH, a countable $T_3$ space $X$ without isolated points such that $X^n$ contains an $n$-thin dense subset, but $X^{n+1}$ does not contain any $n$-thin dense subset. We also observe that part of the construction can be carried out under MA.

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

General position properties play a crucial role in geometric and infinite-dimensional topologies. Often such properties provide convenient tools for establishing various universality results. One of well-known general position properties is DDⁿ, the property of disjoint n-cells. Each Polish $L{C}^{n-1}$-space X possessing DDⁿ contains a topological copy of each n-dimensional compact metric space. This fact implies, in particular, the classical Lefschetz-Menger-Nöbeling-Pontryagin-Tolstova embedding...

Given any compact manifold $M$, we construct a non-empty open subset $𝒪$ of the space ${\mathrm{Diff}}^1\left(M\right)$ of $C^1$-diffeomorphisms and a dense subset $𝒟\subset 𝒪$ such that the centralizer of every diffeomorphism in $𝒟$ is uncountable, hence non-trivial.

We investigate the question whether a system ${\left(E_i\right)}_{i\in I}$ of homogeneous linear equations over $\mathbb{Z}$ is non-trivially solvable in $\mathbb{Z}$ provided that each subsystem ${\left(E_j\right)}_{j\in J}$ with $\left|J\right|\le c$ is non-trivially solvable in $\mathbb{Z}$ where $c$ is a fixed cardinal number such that $c<\left|I\right|$. Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., $I$ being finite). (b) The answer is ‘No’ in the denumerable case (i.e., $\left|I\right|={\aleph }_0$ and $c$ a natural number). (c) The answer in case that $I$ is uncountable and $c\le {\aleph }_0$ is ‘No...