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

We prove that each linearly continuous function $f$ on ${ℝ}^n$ (i.e., each function continuous on all lines) belongs to the first Baire class, which answers a problem formulated by K. C. Ciesielski and D. Miller (2016). The same result holds also for $f$ on an arbitrary Banach space $X$, if $f$ has moreover the Baire property. We also prove (extending a known finite-dimensional result) that such $f$ on a separable $X$ is continuous at all points outside a first category set which is also null in any usual...

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

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

Let us denote by $\Phi (\lambda ,\mu )$ the statement that $𝔹\left(\lambda \right)=D{\left(\lambda \right)}^{\omega }$, i.e. the Baire space of weight $\lambda$, has a coloring with $\mu$ colors such that every homeomorphic copy of the Cantor set $ℂ$ in $𝔹\left(\lambda \right)$ picks up all the $\mu$ colors. We call a space $X$ $\pi$-regular if it is Hausdorff and for every nonempty open set $U$ in $X$ there is a nonempty open set $V$ such that $\overline{V}\subset U$. We recall that a space $X$ is called feebly compact if every locally finite collection of open sets in $X$ is finite. A Tychonov space is pseudocompact if and...

Let $X$ be a Baire space, $Y$ be a compact Hausdorff space and $\varphi :X\to C_p\left(Y\right)$ be a quasi-continuous mapping. For a proximal subset $H$ of $Y\times Y$ we will use topological games ${𝒢}_1\left(H\right)$ and ${𝒢}_2\left(H\right)$ on $Y\times Y$ between two players to prove that if the first player has a winning strategy in these games, then $\varphi$ is norm continuous on a dense $G_{\delta }$ subset of $X$. It follows that if $Y$ is Valdivia compact, each quasi-continuous mapping from a Baire space $X$ to $C_p\left(Y\right)$ is norm continuous on a dense $G_{\delta }$ subset of $X$.

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

We examine the boundary behaviour of the generic power series $f$ with coefficients chosen from a fixed bounded set $\Lambda$ in the sense of Baire category. Notably, we prove that for any open subset $U$ of the unit disk $D$ with a nonreal boundary point on the unit circle, $f\left(U\right)$ is a dense set of $ℂ$. As it is demonstrated, this conclusion does not necessarily hold for arbitrary open sets accumulating to the unit circle. To complement these results, a characterization of coefficient sets having this property...

Denote by spanf₁,f₂,... the collection of all finite linear combinations of the functions f₁,f₂,... over ℝ. The principal result of the paper is the following. Theorem (Full Clarkson-Erdős-Schwartz Theorem). Suppose ${\left({\lambda }_j\right)}_{j=1}^{\infty }$ is a sequence of distinct positive numbers. Then $span1,x^{\lambda ₁},x^{\lambda ₂},...$ is dense in C[0,1] if and only if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)=\infty$. Moreover, if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)<\infty$, then every function from the C[0,1] closure of $span1,x^{\lambda ₁},x^{\lambda ₂},...$ can be represented as an analytic function on z ∈ ℂ ∖ (-∞, 0]: |z| < 1 restricted to (0,1). This result improves an...

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space $C(X,I^{p+2k+1-i})$ such that the diagonal product $f\times g:X\to Y\times I^{p+2k+1-i}$ is an (i+1)-to-1 map is a dense $G_{\delta }$-subset of $C(X,I^{p+2k+1-i})$. In this paper, we prove that if f: X → Y is as above and $D_j$ (j = 1,..., k) are superdendrites, then the set of maps h in $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ such that $f\times h:X\to Y\times \left({\prod }_{j=1}^k{D}_j\times I^{p+1-i}\right)$ is (i+1)-to-1 is a dense $G_{\delta }$-subset of $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ for each 0 ≤ i ≤ p.