Frame monomorphisms and a feature of the $l$-group of Baire functions on a topological space

Richard N. Ball; Anthony W. Hager

Displaying similar documents to “Frame monomorphisms and a feature of the $l$ -group of Baire functions on a topological space”

Monomorphisms in spaces with Lindelöf filters

Richard N. Ball, Anthony W. Hager (2007)

Czechoslovak Mathematical Journal

Similarity:

$𝐒𝐩𝐅𝐢$ is the category of spaces with filters: an object is a pair $(X, ℱ)$ , $X$ a compact Hausdorff space and $ℱ$ a filter of dense open subsets of $X$ . A morphism $f (Y, 𝒢) \to (X, ℱ)$ is a continuous function $f Y \to X$ for which $f^{- 1} (F) \in 𝒢$ whenever $F \in ℱ$ . This category arises naturally from considerations in ordered algebra, e.g., Boolean algebra, lattice-ordered groups and rings, and from considerations in general topology, e.g., the theory of the absolute and other covers, locales, and frames, though we shall specifically...

The $H S P$ -Classes of Archimedean $l$ -groups with Weak Unit

Bernhard Banaschewski, Anthony Hager (2010)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

$W$ denotes the class of abstract algebras of the title (with homomorphisms preserving unit). The familiar $H, S,$ and $P$ from universal algebra are here meant in $W$ . $ℤ$ and $ℝ$ denote the integers and the reals, with unit 1, qua $W$ -objects. $V$ denotes a non-void finite set of positive integers. Let $𝒢 \subseteq W$ be non-void and not ${{0}}$ . We show ...

A poset of topologies on the set of real numbers

Vitalij A. Chatyrko, Yasunao Hattori (2013)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

On the set $ℝ$ of real numbers we consider a poset $𝒫_{τ} (ℝ)$ (by inclusion) of topologies $τ (A)$ , where $A \subseteq ℝ$ , such that $A_{1} \supseteq A_{2}$ iff $τ (A_{1}) \subseteq τ (A_{2})$ . The poset has the minimal element $τ (ℝ)$ , the Euclidean topology, and the maximal element $τ (\emptyset)$ , the Sorgenfrey topology. We are interested when two topologies $τ_{1}$ and $τ_{2}$ (especially, for $τ_{2} = τ (\emptyset)$ ) from the poset define homeomorphic spaces $(ℝ, τ_{1})$ and $(ℝ, τ_{2})$ . In particular, we prove that for a closed subset $A$ of $ℝ$ the space $(ℝ, τ (A))$ is homeomorphic to the Sorgenfrey line $(ℝ, τ (\emptyset))$ iff $A$ is countable. We study also common...

Epics in the category of $T_{2}$ k-groups need not have dense range

W. F. Lamartin (1976)

Colloquium Mathematicae

Similarity:

Rudin-like sets and hereditary families of compact sets

Étienne Matheron, Miroslav Zelený (2005)

Fundamenta Mathematicae

Similarity:

We show that a comeager Π₁¹ hereditary family of compact sets must have a dense $G_{δ}$ subfamily which is also hereditary. Using this, we prove an “abstract” result which implies the existence of independent ℳ ₀-sets, the meagerness of ₀-sets with the property of Baire, and generalizations of some classical results of Mycielski. Finally, we also give some natural examples of true $F_{σ δ}$ sets.

On the closure of Baire classes under transfinite convergences

Tamás Mátrai (2004)

Fundamenta Mathematicae

Similarity:

Let X be a Polish space and Y be a separable metric space. For a fixed ξ < ω₁, consider a family $f_{α} : X \to Y (α < ω ₁)$ of Baire-ξ functions. Answering a question of Tomasz Natkaniec, we show that if for a function f: X → Y, the set $α < ω ₁ : f_{α} (x) \neq f (x)$ is finite for every x ∈ X, then f itself is necessarily Baire-ξ. The proof is based on a characterization of $Σ ⁰_{η}$ sets which can be interesting in its own right.

Functions of Baire class one

Denny H. Leung, Wee-Kee Tang (2003)

Fundamenta Mathematicae

Similarity:

Let K be a compact metric space. A real-valued function on K is said to be of Baire class one (Baire-1) if it is the pointwise limit of a sequence of continuous functions. We study two well known ordinal indices of Baire-1 functions, the oscillation index β and the convergence index γ. It is shown that these two indices are fully compatible in the following sense: a Baire-1 function f satisfies $β (f) \leq ω^{ξ ₁} \cdot ω^{ξ ₂}$ for some countable ordinals ξ₁ and ξ₂ if and only if there exists a sequence (fₙ) of Baire-1...

Extension of functions with small oscillation

Denny H. Leung, Wee-Kee Tang (2006)

Fundamenta Mathematicae

Similarity:

A classical theorem of Kuratowski says that every Baire one function on a $G_{δ}$ subspace of a Polish (= separable completely metrizable) space X can be extended to a Baire one function on X. Kechris and Louveau introduced a finer gradation of Baire one functions into small Baire classes. A Baire one function f is assigned into a class in this hierarchy depending on its oscillation index β(f). We prove a refinement of Kuratowski’s theorem: if Y is a subspace of a metric space X and f is a...

A short proof on lifting of projection properties in Riesz spaces

Marek Wójtowicz (1999)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $L$ be an Archimedean Riesz space with a weak order unit $u$ . A sufficient condition under which Dedekind [ $σ$ -]completeness of the principal ideal $A_{u}$ can be lifted to $L$ is given (Lemma). This yields a concise proof of two theorems of Luxemburg and Zaanen concerning projection properties of $C (X)$ -spaces. Similar results are obtained for the Riesz spaces $B_{n} (T)$ , $n = 1, 2, \dots$ , of all functions of the $n$ th Baire class on a metric space $T$ .

Displaying similar documents to “Frame monomorphisms and a feature of the l -group of Baire functions on a topological space”

Displaying similar documents to “Frame monomorphisms and a feature of the $l$ -group of Baire functions on a topological space”