A remark on functions continuous on all lines

Luděk Zajíček

Displaying similar documents to “A remark on functions continuous on all lines”

Baire one functions and their sets of discontinuity

Jonald P. Fenecios, Emmanuel A. Cabral, Abraham P. Racca (2016)

Mathematica Bohemica

Similarity:

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 ${C_{n}}_{n = 1}^{\infty}$ such that $D_{f} = ⋃_{n = 1}^{\infty} C_{n}$ and $ω_{f} (C_{n}) < ϵ$ for each $n$ where $ω_{f} (C_{n}) = sup {| f (x) - f (y) | : 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 $ϵ$ - $δ$ characterization of Baire class one functions as well as on a well-known theorem due to Lebesgue. Some direct applications...

Baire classes of complex $L_{1}$ -preduals

Pavel Ludvík, Jiří Spurný (2015)

Czechoslovak Mathematical Journal

Similarity:

Let $X$ be a complex $L_{1}$ -predual, non-separable in general. We investigate extendability of complex-valued bounded homogeneous Baire- $α$ functions on the set $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 $α \in [1, ω_{1})$ , the intrinsic $α$ -th Baire class of $X$ can be identified with the space of bounded homogeneous Baire- $α$ functions on the set $ext B_{X^{*}}$ when $ext B_{X^{*}}$ satisfies certain topological assumptions. The paper is intended to be a complex counterpart to...

Diagonals of separately continuous functions of $n$ variables with values in strongly $σ$ -metrizable spaces

Olena Karlova, Volodymyr Mykhaylyuk, Oleksandr Sobchuk (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

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 $P P$ -space, $Y$ is a topological space and $Z$ is a strongly $σ$ -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...

On strong measure zero subsets of $^{κ} 2$

Aapo Halko, Saharon Shelah (2001)

Fundamenta Mathematicae

Similarity:

We study the generalized Cantor space $^{κ} 2$ and the generalized Baire space $^{κ} κ$ as analogues of the classical Cantor and Baire spaces. We equip $^{κ} κ$ 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 $^{κ} 2$ . We prove for successor $κ = κ^{< κ}$ that the ideal of strong measure zero sets of $^{κ} 2$ is $_{κ}$ -additive, where $_{κ}$ is the size of the smallest unbounded family in $^{κ} κ$ , and that the generalized Borel...

Generic power series on subsets of the unit disk

Balázs Maga, Péter Maga (2022)

Czechoslovak Mathematical Journal

Similarity:

We examine the boundary behaviour of the generic power series $f$ with coefficients chosen from a fixed bounded set $Λ$ 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 (U)$ 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...

Norm continuity of pointwise quasi-continuous mappings

Alireza Kamel Mirmostafaee (2018)

Mathematica Bohemica

Similarity:

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

Coloring Cantor sets and resolvability of pseudocompact spaces

István Juhász, Lajos Soukup, Zoltán Szentmiklóssy (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let us denote by $Φ (λ, μ)$ the statement that $𝔹 (λ) = D {(λ)}^{ω}$ , i.e. the Baire space of weight $λ$ , has a coloring with $μ$ colors such that every homeomorphic copy of the Cantor set $ℂ$ in $𝔹 (λ)$ picks up all the $μ$ colors. We call a space $X$ $π$ -regular if it is Hausdorff and for every nonempty open set $U$ in $X$ there is a nonempty open set $V$ such that $\bar{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...

Multifractal analysis of the divergence of Fourier series

Frédéric Bayart, Yanick Heurteaux (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

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

The weak Gelfand-Phillips property in spaces of compact operators

Ioana Ghenciu (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

For Banach spaces $X$ and $Y$ , let $K_{w^{*}} (X^{*}, Y)$ denote the space of all $w^{*} - w$ continuous compact operators from $X^{*}$ to $Y$ endowed with the operator norm. A Banach space $X$ has the $w G P$ property if every Grothendieck subset of $X$ is relatively weakly compact. In this paper we study Banach spaces with property $w G P$ . We investigate whether the spaces $K_{w^{*}} (X^{*}, Y)$ and $X \otimes_{ϵ} Y$ have the $w G P$ property, when $X$ and $Y$ have the $w G P$ property.

Insertion of a Contra-Baire- $1$ (Baire- $. 5$ ) Function

Majid Mirmiran (2019)

Communications in Mathematics

Similarity:

Necessary and sufficient conditions in terms of lower cut sets are given for the insertion of a Baire- $. 5$ function between two comparable real-valued functions on the topological spaces that $F_{σ}$ -kernel of sets are $F_{σ}$ -sets.

Quasicontinuous spaces

Jing Lu, Bin Zhao, Kaiyun Wang, Dong Sheng Zhao (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We lift the notion of quasicontinuous posets to the topology context, called quasicontinuous spaces, and further study such spaces. The main results are: (1) A $T_{0}$ space $(X, τ)$ is a quasicontinuous space if and only if $S I (X)$ is locally hypercompact if and only if $(τ_{S I}, \subseteq)$ is a hypercontinuous lattice; (2) a $T_{0}$ space $X$ is an $S I$ -continuous space if and only if $X$ is a meet continuous and quasicontinuous space; (3) if a $C$ -space $X$ is a well-filtered poset under its specialization order, then $X$ is a quasicontinuous...

Stable tubes in extriangulated categories

Li Wang, Jiaqun Wei, Haicheng Zhang (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $𝒳$ be a semibrick in an extriangulated category. If $𝒳$ is a $τ$ -semibrick, then the Auslander-Reiten quiver $Γ (ℱ (𝒳))$ of the filtration subcategory $ℱ (𝒳)$ generated by $𝒳$ is $ℤ 𝔸_{\infty}$ . If $𝒳 = {X_{i}}_{i = 1}^{t}$ is a $τ$ -cycle semibrick, then $Γ (ℱ (𝒳))$ is $ℤ 𝔸_{\infty} / τ_{𝔸}^{t}$ .