some properties of the ideal of continuous functions with pseudocompact support理想的连续函数的一些性质pseudocompact支持.pdf

IJMMS 27:3 (2001) 169–176 PII. S0161171201010389 © Hindawi Publishing Corp. SOME PROPERTIES OF THE IDEAL OF CONTINUOUS FUNCTIONS WITH PSEUDOCOMPACT SUPPORT E. A. ABU OSBA and H. AL-EZEH (Received 23 April 2000 and in revised form 30 August 2000) Abstract. Let C(X) be the ring of all continuous real-valued functions defined on a com- pletely regular T1-space. Let CΨ (X) and CK (X) be the ideal of functions with pseudocom- pact support and compact support, respectively. Further equivalent conditions are given to characterize when an ideal of C(X) is a P -ideal, a concept which was originally defined and characterized by Rudd (1975). We used this new characterization to characterize when CΨ (X) is a P -ideal, in particular we proved that CK (X) is a P -ideal if and only if CK (X) = {f ∈ C(X) : f = 0 except on a finite set}. We also used this characterization to prove that for any ideal I contained in CΨ (X), I is an injective C(X)-module if and only if cozI is finite. Finally, we showed that CΨ (X) cannot be a proper prime ideal while CK (X) is prime if and only if X is an almost compact noncompact space and ∞ is an F -point. We give concrete examples exemplifying the concepts studied. 2000 Mathematics Subject Classification. 54C30, 54C40, 13C11. 1. Introduction. Let X be a completely regular T -space, βX the Stone-Cech com- 1 pactification of X , υX the Hewitt real compactification of X , C(X) the ring of all con- tinuous real-valued functions defined on X and C ∗ (X) the subring of all bounded functions in C(X). For each f ∈ C(X), let Z(f ) = {x ∈ X : f (x) = 0}, cozf = X − Z(f ), and suppf = cozf . If I is an ideal of C(X), let cozI = f ∈I cozf . For each A ⊆ βX let OA =