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

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

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

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

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

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 ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the...

Let ${\mu }_A$ be the singular measure on the Heisenberg group ${ℍ}^n$ supported on the graph of the quadratic function $\varphi \left(y\right)=y^{t}Ay$, where $A$ is a $2n\times 2n$ real symmetric matrix. If $det(2A\pm J)\ne 0$, we prove that the operator of convolution by ${\mu }_A$ on the right is bounded from $L^{\frac{(2n+2)}{(2n+1)}}\left({ℍ}^n\right)$ to $L^{2n+2}\left({ℍ}^n\right)$. We also study the type set of the measures $\mathrm{d}{\nu }_{\gamma }(y,s)=\eta \left(y\right){\left|y\right|}^{-\gamma }\mathrm{d}{\mu }_A(y,s)$, for $0\le \gamma <2n$, where $\eta$ is a cut-off function around the origin on ${ℝ}^{2n}$. Moreover, for $\gamma =0$ we characterize the type set of ${\nu }_0$.

It is known that there is no natural Banach norm on the space $\mathrm{\mathscr{H}𝒦}$ of $n$-dimensional Henstock-Kurzweil integrable functions on $[a,b]$. We show that the $\mathrm{\mathscr{H}𝒦}$ space is the uncountable union of Fréchet spaces $\mathrm{\mathscr{H}𝒦}\left(X\right)$. On each $\mathrm{\mathscr{H}𝒦}\left(X\right)$ space, an $F$-norm ${\parallel ·\parallel }^X$ is defined. A ${\parallel ·\parallel }^X$-convergent sequence is equivalent to a control-convergent sequence. Furthermore, an $F$-norm is also defined for a ${\parallel ·\parallel }^X$-continuous linear operator. Hence, many important results in functional analysis hold for the $\mathrm{\mathscr{H}𝒦}\left(X\right)$ space. It is well-known that every...

For a Banach space $E$ and a probability space $(X,𝒜,\lambda )$, a new proof is given that a measure $\mu :𝒜\to E$, with $\mu \ll \lambda$, has RN derivative with respect to $\lambda$ iff there is a compact or a weakly compact $C\subset E$ such that ${\left|\mu \right|}_C:𝒜\to [0,\infty ]$ is a finite valued countably additive measure. Here we define ${\left|\mu \right|}_C\left(A\right)=sup\{{\sum }_k|\langle \mu \left(A_k\right),f_k\rangle \left|\right\}$ where $\left\{A_k\right\}$ is a finite disjoint collection of elements from $𝒜$, each contained in $A$, and $\left\{f_k\right\}\subset E^{\text{'}}$ satisfies ${sup}_k\left|f_k\left(C\right)\right|\le 1$. Then the result is extended to the case when $E$ is a Frechet space.