We study the generalized Cantor space ${}^{\kappa }2$ and the generalized Baire space ${}^{\kappa }\kappa$ as analogues of the classical Cantor and Baire spaces. We equip ${}^{\kappa }\kappa$ with the topology where a basic neighborhood of a point η is the set ν: (∀j < i)(ν(j) = η(j)), where i < κ. We define the concept of a strong measure zero set of ${}^{\kappa }2$. We prove for successor $\kappa ={\kappa }^{<\kappa }$ that the ideal of strong measure zero sets of ${}^{\kappa }2$ is ${}_{\kappa }$-additive, where ${}_{\kappa }$ is the size of the smallest unbounded family in ${}^{\kappa }\kappa$, and that the generalized Borel...

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{\alpha }$, $Y_{\alpha }$ and $Z_{\alpha }$ such that (i) $f{X}_{\alpha },f{Y}_{\alpha },f{Z}_{\alpha }=\omega ₀$, where f is either trdef or ₀-trsur, (ii) $A\left(\alpha \right)-trind{X}_{\alpha }=\infty$ and $M\left(\alpha \right)-trind{X}_{\alpha }=-1$, (iii) $A\left(\alpha \right)-trind{Y}_{\alpha }=-1$ and $M\left(\alpha \right)-trind{Y}_{\alpha }=\infty$, and (iv) $A\left(\alpha \right)-trind{Z}_{\alpha }=M\left(\alpha \right)-trind{Z}_{\alpha }=\infty$ and $A(\alpha +1)\cap M(\alpha +1)-trind{Z}_{\alpha }=-1$. We also show that there exists no separable metrizable space $W_{\alpha }$ with $A\left(\alpha \right)-trind{W}_{\alpha }\ne \infty$, $M\left(\alpha \right)-trind{W}_{\alpha }\ne \infty$ and $A\left(\alpha \right)\cap M\left(\alpha \right)-trind{W}_{\alpha }=\infty$, where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set $2^X$ (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space $S_{\omega }$ is $F_{\sigma \delta }$. In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of $S_{\omega }$. We show that $S_{\omega }$ has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology....

Let $X$ be a complex $L_1$-predual, non-separable in general. We investigate extendability of complex-valued bounded homogeneous Baire-$\alpha$ functions on the set $\mathrm{ext}{B}_{X^{*}}$ of the extreme points of the dual unit ball $B_{X^{*}}$ to the whole unit ball $B_{X^{*}}$. As a corollary we show that, given $\alpha \in [1,{\omega }_1)$, the intrinsic $\alpha$-th Baire class of $X$ can be identified with the space of bounded homogeneous Baire-$\alpha$ functions on the set $\mathrm{ext}{B}_{X^{*}}$ when $\mathrm{ext}{B}_{X^{*}}$ satisfies certain topological assumptions. The paper is intended to be a complex counterpart to...

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...

A characterization of functions in the first Baire class in terms of their sets of discontinuity is given. More precisely, a function $f:ℝ\to ℝ$ is of the first Baire class if and only if for each $ϵ>0$ there is a sequence of closed sets ${\left\{C_n\right\}}_{n=1}^{\infty }$ such that $D_f={\bigcup }_{n=1}^{\infty }{C}_n$ and ${\omega }_f\left(C_n\right)<ϵ$ for each $n$ where $${\omega }_f\left(C_n\right)=sup\left\{\right|f\left(x\right)-f\left(y\right)|:x,y\in C_n\}$$ and $D_f$ denotes the set of points of discontinuity of $f$. The proof of the main theorem is based on a recent $ϵ$-$\delta$ characterization of Baire class one functions as well as on a well-known theorem due to Lebesgue. Some direct applications...

In every infinite-dimensional Fréchet space X, we construct a linear subspace E such that E is an $F_{\sigma \delta \sigma }$-subset of X and contains a retract R so that $R\times E^{\omega }$ is not homeomorphic to $E^{\omega }$. This shows that Toruńczyk’s Factor Theorem fails in the Borel case.

We give several refinements of known theorems on Borel uniformizations of sets with “large sections”. In particular, we show that a set B ⊂ [0,1] × [0,1] which belongs to $\Sigma {⁰}_{\alpha }$, α ≥ 2, and which has all “vertical” sections of positive Lebesgue measure, has a $\Pi {⁰}_{\alpha }$ uniformization which is the graph of a $\Sigma {⁰}_{\alpha }$-measurable mapping. We get a similar result for sets with nonmeager sections. As a corollary we derive an improvement of Srivastava’s theorem on uniformizations for Borel sets with $G_{\delta }$ sections. ...

Let X be a Polish space, and let C₀ and C₁ be disjoint coanalytic subsets of X. The pair (C₀,C₁) is said to be complete if for every pair (D₀,D₁) of disjoint coanalytic subsets of ${\omega }^{\omega }$ there exists a continuous function $f:{\omega }^{\omega }\to X$ such that $f^{-1}\left(C₀\right)=D₀$ and $f^{-1}\left(C₁\right)=D₁$. We give several explicit examples of complete pairs of coanalytic sets.

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.

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 $𝔠$.

By Fin(X) (resp. $Fi{n}^k\left(X\right)$), we denote the hyperspace of all non-empty finite subsets of X (resp. consisting of at most k points) with the Vietoris topology. Let ℓ₂(τ) be the Hilbert space with weight τ and $\ell {₂}^f\left(\tau \right)$ the linear span of the canonical orthonormal basis of ℓ₂(τ). It is shown that if $E=\ell {₂}^f\left(\tau \right)$ or E is an absorbing set in ℓ₂(τ) for one of the absolute Borel classes ${}_{\alpha }\left(\tau \right)$ and ${}_{\alpha }\left(\tau \right)$ of weight ≤ τ (α > 0) then Fin(E) and each $Fi{n}^k\left(E\right)$ are homeomorphic to E. More generally, if X is a connected E-manifold then Fin(X)...

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...

Let (ₙ)ₙ be a quasianalytic differentiable system. Let m ∈ ℕ. We consider the following problem: let $f{\in }_m$ and f̂ be its Taylor series at $0\in {ℝ}^m$. Split the set ${\mathbb{N}}^m$ of exponents into two disjoint subsets A and B, ${\mathbb{N}}^m=A\cup B$, and decompose the formal series f̂ into the sum of two formal series G and H, supported by A and B, respectively. Do there exist $g,h{\in }_m$ with Taylor series at zero G and H, respectively? The main result of this paper is the following: if we have a positive answer to the above problem for some...

We prove that if a Δ¹₁ function f with Σ¹₁ domain X is σ-continuous then one can find a Δ¹₁ covering ${\left(Aₙ\right)}_{n\in \omega }$ of X such that $f_{|Aₙ}$ is continuous for all n. This is an effective version of a recent result by Pawlikowski and Sabok, generalizing an earlier result of Solecki.

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...

For a linear operator T in a Banach space let ${\sigma }_p\left(T\right)$ denote the point spectrum of T, let ${\sigma }_{p,n}\left(T\right)$ for finite n > 0 be the set of all $\lambda \in {\sigma }_p\left(T\right)$ such that dim ker(T - λ) = n and let ${\sigma }_{p,\infty }\left(T\right)$ be the set of all $\lambda \in {\sigma }_p\left(T\right)$ for which ker(T - λ) is infinite-dimensional. It is shown that ${\sigma }_p\left(T\right)$ is ${ℱ}_{\sigma }$, ${\sigma }_{p,\infty }\left(T\right)$ is ${ℱ}_{\sigma \delta }$ and for each finite n the set ${\sigma }_{p,n}\left(T\right)$ is the intersection of an ${ℱ}_{\sigma }$ set and a ${}_{\delta }$ set provided T is closable and the domain of T is separable and weakly σ-compact. For closed densely defined operators in a separable Hilbert space a more...

A famous theorem of Carleson says that, given any function $f\in L^p\left(𝕋\right)$, $p\in (1,+\infty )$, its Fourier series $\left(S_{n}f\left(x\right)\right)$ converges for almost every $x\in 𝕋$. Beside this property, the series may diverge at some point, without exceeding $O\left(n^{1/p}\right)$. We define the divergence index at $x$ as the infimum of the positive real numbers $\beta$ such that $S_{n}f\left(x\right)=O\left(n^{\beta }\right)$ and we are interested in the size of the exceptional sets $E_{\beta }$, namely the sets of $x\in 𝕋$ with divergence index equal to $\beta$. We show that quasi-all functions in $L^p\left(𝕋\right)$ have a multifractal behavior with respect to...

Let $\Omega \subset {ℂ}^n$ be a bounded, simply connected $ℂ$-convex domain. Let $\alpha \in {\mathbb{Z}}_{+}^n$ and let $f$ be a function on $\Omega$ which is separately $C^{2{\alpha }_j-1}$-smooth with respect to $z_j$ (by which we mean jointly $C^{2{\alpha }_j-1}$-smooth with respect to $\mathrm{Re}{z}_j$, $\mathrm{Im}{z}_j$). If $f$ is $\alpha$-analytic on $\Omega \setminus f^{-1}\left(0\right)$, then $f$ is $\alpha$-analytic on $\Omega$. The result is well-known for the case ${\alpha }_i=1$, $1\le i\le n$, even when $f$ a priori is only known to be continuous.