scholarly journals Characterizations of Ideals in IntermediateC-RingsA(X)via theA-Compactifications ofX

Author(s):  
Joshua Sack ◽  
Saleem Watson

LetXbe a completely regular topological space. An intermediate ring is a ringA(X)of continuous functions satisfyingC*(X)⊆A(X)⊆C(X). In Redlin and Watson (1987) and in Panman et al. (2012), correspondences𝒵AandℨAare defined between ideals inA(X)andz-filters onX, and it is shown that these extend the well-known correspondences studied separately forC∗(X)andC(X), respectively, to any intermediate ring. Moreover, the inverse map𝒵A←sets up a one-one correspondence between the maximal ideals ofA(X)and thez-ultrafilters onX. In this paper, we define a function𝔎Athat, in the case thatA(X)is aC-ring, describesℨAin terms of extensions of functions to realcompactifications ofX. For such rings, we show thatℨA←mapsz-filters to ideals. We also give a characterization of the maximal ideals inA(X)that generalize the Gelfand-Kolmogorov theorem fromC(X)toA(X).

Algebra ◽  
2013 ◽  
Vol 2013 ◽  
pp. 1-3 ◽  
Author(s):  
Ehsan Momtahan

Gelfand-Naimark's theorem states that every commutative -algebra is isomorphic to a complex valued algebra of continuous functions over a suitable compact space. We observe that for a completely regular space , is dense--separable if and only if is -cogenerated if and only if every family of maximal ideals of with zero intersection has a subfamily with cardinal number less than and zero intersection. This gives a simple characterization of -cogenerated commutative unital -algebras via their maximal ideals.


2019 ◽  
Vol 20 (1) ◽  
pp. 109 ◽  
Author(s):  
Sagarmoy Bag ◽  
Sudip Kumar Acharyya ◽  
Dhananjoy Mandal

<p>For  any  completely  regular  Hausdorff  topological  space X,  an  intermediate  ring A(X) of  continuous  functions  stands  for  any  ring  lying between C<sup>∗</sup>(X) and C(X).  It is a rather recently established fact that if A(X) ≠ C(X), then there exist non maximal prime ideals in A(X).We offer an alternative proof of it on using the notion of z◦-ideals.  It is realized that a P-space X is discrete if and only if C(X) is identical to the ring of real valued measurable functions defined on the σ-algebra β(X) of all Borel sets in X.  Interrelation between z-ideals, z◦-ideal and Ʒ<sub>A</sub>-ideals in A(X) are examined.  It is proved that within the family of almost P-spaces X, each Ʒ<sub>A</sub> -ideal in A(X) is a z◦-ideal if and only if each z-ideal in A(X) is a z◦-ideal if and only if A(X) = C(X).</p>


Author(s):  
V. V. Mykhaylyuk

A connection between the separability and the countable chain condition of spaces withL-property (a topological spaceXhasL-property if for every topological spaceY, separately continuous functionf:X×Y→ℝand open setI⊆ℝ,the setf−1(I)is anFσ-set) is studied. We show that every completely regular Baire space with theL-property and the countable chain condition is separable and constructs a nonseparable completely regular space with theL-property and the countable chain condition. This gives a negative answer to a question of M. Burke.


1982 ◽  
Vol 91 (3) ◽  
pp. 457-458 ◽  
Author(s):  
Roy O. Davies ◽  
Claude Tricot

A function f:X → ℝ is countably decomposable (into continuous functions) if the topological space X can be partitioned into countably many sets An with each restriction f│ An continuous. According to L. V. Keldysh(2), the question whether every Baire function is countably decomposable was first raised by N. N. Luzin, and answered by P. S. Novikov. The answer is negative even for Baire-1 functions, as is shown in (2) (see also (1). In this paper we develop a characterization of the countably decomposable functions on a separable metric space X (see Corollary 1). We deduce that when X is complete they include all functions possessing the property P defined by D. E. Peek in (3): each non-empty σ-perfect set H contains a point at which f│ H is continuous. The example given by Peek shows that not every countably decomposable Baire-1 function has property P.


1998 ◽  
Vol 29 (2) ◽  
pp. 101-107
Author(s):  
R. K. SINGH ◽  
BHOPINDER SINGH

Let $X$ be a completely regular Hausdorff space, $E$ a Hausdorff locally convex topo­logical vector space, and $V$ a system of weights on $X$. Denote by $CV_b(X, E)$ ($CV_o(X, E)$) the weighted space of all continuous functions $f : X \to E$ such that $vf (X)$ is bounded in $E$ (respectively, $vf$ vanishes at infinity on $X$) for all $v \in V$. In this paper, we give an improved characterization of weighted composition operators on $CV_b(X, E)$ and present a linear dynamical system induced by composition operators on the metrizable weighted space $CV_o(\mathbb{R}, E)$.


2021 ◽  
Vol 9 (1) ◽  
pp. 250-263
Author(s):  
V. Mykhaylyuk ◽  
O. Karlova

In 1932 Sierpi\'nski proved that every real-valued separately continuous function defined on the plane $\mathbb R^2$ is determined uniquely on any everywhere dense subset of $\mathbb R^2$. Namely, if two separately continuous functions coincide of an everywhere dense subset of $\mathbb R^2$, then they are equal at each point of the plane. Piotrowski and Wingler showed that above-mentioned results can be transferred to maps with values in completely regular spaces. They proved that if every separately continuous function $f:X\times Y\to \mathbb R$ is feebly continuous, then for every completely regular space $Z$ every separately continuous map defined on $X\times Y$ with values in $Z$ is determined uniquely on everywhere dense subset of $X\times Y$. Henriksen and Woods proved that for an infinite cardinal $\aleph$, an $\aleph^+$-Baire space $X$ and a topological space $Y$ with countable $\pi$-character every separately continuous function $f:X\times Y\to \mathbb R$ is also determined uniquely on everywhere dense subset of $X\times Y$. Later, Mykhaylyuk proved the same result for a Baire space $X$, a topological space $Y$ with countable $\pi$-character and Urysohn space $Z$. Moreover, it is natural to consider weaker conditions than separate continuity. The results in this direction were obtained by Volodymyr Maslyuchenko and Filipchuk. They proved that if $X$ is a Baire space, $Y$ is a topological space with countable $\pi$-character, $Z$ is Urysohn space, $A\subseteq X\times Y$ is everywhere dense set, $f:X\times Y\to Z$ and $g:X\times Y\to Z$ are weakly horizontally quasi-continuous, continuous with respect to the second variable, equi-feebly continuous wuth respect to the first one and such that $f|_A=g|_A$, then $f=g$. In this paper we generalize all of the results mentioned above. Moreover, we analize classes of topological spaces wich are favorable for Sierpi\'nsi-type theorems.


2015 ◽  
Vol 62 (1) ◽  
pp. 13-25
Author(s):  
Elżbieta Wagner-Bojakowska ◽  
Władysław Wilczyński

Abstract Let C0 denote a set of all non-decreasing continuous functions f : (0, 1] → (0, 1] such that limx→0+f(x) = 0 and f(x) ≤ x for every x ∊ (0, 1], and let A be a measurable subset of the plane. The notions of a density point of A with respect to f and the mapping defined on the family of all measurable subsets of the plane were introduced in Wagner-Bojakowska, E. Wilcziński, W.: Density topologies on the plane between ordinary and strong, Tatra Mt. Math. Publ. 44 (2009), 139 151. This mapping is a lower density, so it allowed us to introduce the topology Tf , analogously to the density topology. In this note, properties of the topology Tf and functions approximately continuous with respect to f are considered. We prove that (ℝ2, Tf) is a completely regular topological space and we study conditions under which topologies generated by two functions f and g are equal.


1972 ◽  
Vol 24 (3) ◽  
pp. 379-389 ◽  
Author(s):  
Anthony W. Hager

All topological spaces shall be uniformizable (completely regular Hausdorff). A uniformity on X shall be viewed as a collection μ of coverings of X, via the manner of Tukey [20] and Isbell [16], and the associated uniform space denoted μX. Given the uniformizable topological space X, we shall be concerned with compatible uniformities as follows (discussed more carefully in § 1). The fine uniformity α (finest compatible with the topology); the “cardinal reflections“ αm of α (m an infinite cardinal number) ; αc, the weak uniformity generated by the real-valued continuous functions.With μ standing, generically, for one of these uniformities, we consider the question: when is μ(X × Y) = μX × μY For μ = αℵ0 (the finest compatible precompact uniformity), the problem is equivalent to that of whenβ(X × Y) = βX × βY,β denoting Stone-Cech compactification; this is answered by the theorem of Glicksberg [9]. For μ = α, we have Isbell's generalization [16, VI1.32].


1953 ◽  
Vol 5 ◽  
pp. 95-100 ◽  
Author(s):  
R. S. Pierce

Let S be a completely regular topological space. Let C(S) denote the set of bounded, real-valued, continuous functions on 5. It is well known that C(S) forms a distributive lattice under the ordinary pointwise joins and meets. For any distributive lattice L and any ideal I⊆L, a quasi-ordering of L can be defined as follows : f⊇g if, for all h ∈ L, f ∩ h ∈ I implies g ∩ h ∈ I. If equivalent elements under this quasi-ordering are identified, a homomorphic image of L is obtained.


Sign in / Sign up

Export Citation Format

Share Document