Hereditarily Hurewicz spaces and Arhangel'skii sheaf amalgamations

Boaz Tsaban; Lubomyr Zdomsky

The search session has expired. Please query the service again.

Displaying similar documents to “Hereditarily Hurewicz spaces and Arhangel'skii sheaf amalgamations”

Some generalizations of Olivier's theorem

Alain Faisant, Georges Grekos, Ladislav Mišík (2016)

Mathematica Bohemica

Similarity:

Let $\sum_{n = 1}^{\infty} a_{n}$ be a convergent series of positive real numbers. L. Olivier proved that if the sequence $(a_{n})$ is non-increasing, then $lim_{n \to \infty} n a_{n} = 0$ . In the present paper: (a) We formulate and prove a necessary and sufficient condition for having $lim_{n \to \infty} n a_{n} = 0$ ; Olivier’s theorem is a consequence of our Theorem . (b) We prove properties analogous to Olivier’s property when the usual convergence is replaced by the $ℐ$ -convergence, that is a convergence according to an ideal $ℐ$ of subsets of $ℕ$ . Again, Olivier’s theorem is a consequence...

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

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

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

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

A remark on functions continuous on all lines

Luděk Zajíček (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

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

A note on the multiplier ideals of monomial ideals

Cheng Gong, Zhongming Tang (2015)

Czechoslovak Mathematical Journal

Similarity:

Let $𝔞 \subseteq ℂ [x_{1}, ..., x_{n}]$ be a monomial ideal and $𝒥 (𝔞^{c})$ the multiplier ideal of $𝔞$ with coefficient $c$ . Then $𝒥 (𝔞^{c})$ is also a monomial ideal of $ℂ [x_{1}, ..., x_{n}]$ , and the equality $𝒥 (𝔞^{c}) = 𝔞$ implies that $0 < c < n + 1$ . We mainly discuss the problem when $𝒥 (𝔞) = 𝔞$ or $𝒥 (𝔞^{n + 1 - ε}) = 𝔞$ for all $0 < ε < 1$ . It is proved that if $𝒥 (𝔞) = 𝔞$ then $𝔞$ is principal, and if $𝒥 (𝔞^{n + 1 - ε}) = 𝔞$ holds for all $0 < ε < 1$ then $𝔞 = (x_{1}, ..., x_{n})$ . One global result is also obtained. Let $\tilde{𝔞}$ be the ideal sheaf on $ℙ^{n - 1}$ associated with $𝔞$ . Then it is proved that the equality $𝒥 (\tilde{𝔞}) = \tilde{𝔞}$ implies that $\tilde{𝔞}$ is principal.

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