Kempisty's theorem for the integral product quasicontinuity

Zbigniew Grande

Displaying similar documents to “Kempisty's theorem for the integral product quasicontinuity”

Cardinal invariants for κ-box products: weight, density character and Suslin number

W. W. Comfort, Ivan S. Gotchev

Similarity:

The symbol ${(X_{I})}_{κ}$ (with κ ≥ ω) denotes the space $X_{I} : = \prod_{i \in I} X_{i}$ with the κ-box topology; this has as base all sets of the form $U = \prod_{i \in I} U_{i}$ with $U_{i}$ open in $X_{i}$ and with $| i \in I : U_{i} \neq X_{i} | < κ$ . The symbols w, d and S denote respectively the weight, density character and Suslin number. Generalizing familiar classical results, the authors show inter alia: Theorem 3.1.10(b). If κ ≤ α⁺, |I| = α and each $X_{i}$ contains the discrete space 0,1 and satisfies $w (X_{i}) \leq α$ , then $w (X_{κ}) = α^{< κ}$ . Theorem 4.3.2. If $ω \leq κ \leq | I | \leq 2^{α}$ and $X = {(D (α))}^{I}$ with D(α) discrete, |D(α)| = α, then $d ({(X_{I})}_{κ}) = α^{< κ}$ . Corollaries 5.2.32(a)...

Order intervals in $C (K)$ . Compactness, coincidence of topologies, metrizability

Zbigniew Lipecki (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $K$ be a compact space and let $C (K)$ be the Banach lattice of real-valued continuous functions on $K$ . We establish eleven conditions equivalent to the strong compactness of the order interval $[0, x]$ in $C (K)$ , including the following ones: (i) ${x > 0}$ consists of isolated points of $K$ ; (ii) $[0, x]$ is pointwise compact; (iii) $[0, x]$ is weakly compact; (iv) the strong topology and that of pointwise convergence coincide on $[0, x]$ ; (v) the strong and weak topologies coincide on $[0, x]$ . Moreover, the weak topology and that of pointwise...

Connectedness of some rings of quotients of $C (X)$ with the $m$ -topology

F. Azarpanah, M. Paimann, A. R. Salehi (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this article we define the $m$ -topology on some rings of quotients of $C (X)$ . Using this, we equip the classical ring of quotients $q (X)$ of $C (X)$ with the $m$ -topology and we show that $C (X)$ with the $r$ -topology is in fact a subspace of $q (X)$ with the $m$ -topology. Characterization of the components of rings of quotients of $C (X)$ is given and using this, it turns out that $q (X)$ with the $m$ -topology is connected if and only if $X$ is a pseudocompact almost $P$ -space, if and only if $C (X)$ with $r$ -topology is connected. We also...

A density version of the Carlson–Simpson theorem

Pandelis Dodos, Vassilis Kanellopoulos, Konstantinos Tyros (2014)

Journal of the European Mathematical Society

Similarity:

We prove a density version of the Carlson–Simpson Theorem. Specifically we show the following. For every integer $k \geq 2$ and every set $A$ of words over $k$ satisfying $\lim \sup_{n \to \infty} | A \cap {[k]}^{n} | / k^{n} > 0$ there exist a word $c$ over $k$ and a sequence $(w_{n})$ of left variable words over $k$ such that the set $c \cup {c^{} w_{0} {(a_{0})}^{} . . .^{} w_{n} (a_{n}) : n \in ℕ and a_{0}, . . ., a_{n} \in [k]}$ is contained in $A$ . While the result is infinite-dimensional its proof is based on an appropriate finite and quantitative version, also obtained in the paper.

Selivanovski hard sets are hard

Janusz Pawlikowski (2015)

Fundamenta Mathematicae

Similarity:

Let $H \subseteq Z \subseteq 2^{ω}$ . For n ≥ 2, we prove that if Selivanovski measurable functions from $2^{ω}$ to Z give as preimages of H all Σₙ¹ subsets of $2^{ω}$ , then so do continuous injections.

The Golomb space is topologically rigid

Taras O. Banakh, Dario Spirito, Sławomir Turek (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The Golomb space $ℕ_{τ}$ is the set $ℕ$ of positive integers endowed with the topology $τ$ generated by the base consisting of arithmetic progressions ${a + b n : n \geq 0}$ with coprime $a, b$ . We prove that the Golomb space $ℕ_{τ}$ is topologically rigid in the sense that its homeomorphism group is trivial. This resolves a problem posed by T. Banakh at Mathoverflow in 2017.

Maximal upper asymptotic density of sets of integers with missing differences from a given set

Ram Krishna Pandey (2015)

Mathematica Bohemica

Similarity:

Let $M$ be a given nonempty set of positive integers and $S$ any set of nonnegative integers. Let $\bar{δ} (S)$ denote the upper asymptotic density of $S$ . We consider the problem of finding $μ (M) : = sup_{S} \bar{δ} (S),$ where the supremum is taken over all sets $S$ satisfying that for each $a, b \in S$ , $a - b \notin M .$ In this paper we discuss the values and bounds of $μ (M)$ where $M = {a, b, a + n b}$ for all even integers and for all sufficiently large odd integers $n$ with $a < b$ and $gcd (a, b) = 1 .$

More reflections on compactness

Lúcia R. Junqueira, Franklin D. Tall (2003)

Fundamenta Mathematicae

Similarity:

We consider the question of when $X_{M} = X$ , where $X_{M}$ is the elementary submodel topology on X ∩ M, especially in the case when $X_{M}$ is compact.

$Σ_{s}$ -products revisited

Reynaldo Rojas-Hernández (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that any $Σ_{s}$ -product of at most $𝔠$ -many $L Σ (\leq ω)$ -spaces has the $L Σ (\leq ω)$ -property. This result generalizes some known results about $L Σ (\leq ω)$ -spaces. On the other hand, we prove that every $Σ_{s}$ -product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every $Σ_{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...

On some representations of almost everywhere continuous functions on $ℝ^{m}$

Ewa Strońska (2006)

Colloquium Mathematicae

Similarity:

It is proved that the following conditions are equivalent: (a) f is an almost everywhere continuous function on $ℝ^{m}$ ; (b) f = g + h, where g,h are strongly quasicontinuous on $ℝ^{m}$ ; (c) f = c + gh, where c ∈ ℝ and g,h are strongly quasicontinuous on $ℝ^{m}$ .