Heyam H. Al-Jarrah Department of Mathematics Faculty of science Yarmouk University Irdid-Jordan

Similar documents
Takashi Noiri, Ahmad Al-Omari, Mohd. Salmi Md. Noorani WEAK FORMS OF OPEN AND CLOSED FUNCTIONS

1. Introduction. Novi Sad J. Math. Vol. 38, No. 2, 2008, E. Ekici 1, S. Jafari 2, M. Caldas 3 and T. Noiri 4

LOCAL CLOSURE FUNCTIONS IN IDEAL TOPOLOGICAL SPACES

ON A FINER TOPOLOGICAL SPACE THAN τ θ AND SOME MAPS. E. Ekici. S. Jafari. R.M. Latif

ON UPPER AND LOWER CONTRA-ω-CONTINUOUS MULTIFUNCTIONS

Contra Pre-I-Continuous Functions

Contra θ-c-continuous Functions

On β-i-open Sets and a Decomposition of Almost-I-continuity

On z-θ-open Sets and Strongly θ-z-continuous Functions

P p -Open Sets and P p -Continuous Functions

Maximilian GANSTER. appeared in: Soochow J. Math. 15 (1) (1989),

Totally supra b continuous and slightly supra b continuous functions

ON UPPER AND LOWER ALMOST CONTRA-ω-CONTINUOUS MULTIFUNCTIONS

ON UPPER AND LOWER WEAKLY I-CONTINUOUS MULTIFUNCTIONS

1. Introduction. Murad Özkoç and Gülhan Aslım. Hacettepe Journal of Mathematics and Statistics Volume 40(6) (2011),

ON PC-COMPACT SPACES

Songklanakarin Journal of Science and Technology SJST R1 Al Ghour. L-open sets and L^*-open sets

Weak Resolvable Spaces and. Decomposition of Continuity

On A Weaker Form Of Complete Irresoluteness. Key Words: irresolute function, δ-semiopen set, regular open set. Contents.

-HYPERCONNECTED IDEAL TOPOLOGICAL SPACES

F A S C I C U L I M A T H E M A T I C I

Unification approach to the separation axioms between T 0 and completely Hausdorff

On supra b open sets and supra b-continuity on topological spaces

ON WEAK FORMS OF PREOPEN AND PRECLOSED FUNCTIONS

Available at: pocetna.html ON A GENERALIZATION OF NORMAL, ALMOST NORMAL AND MILDLY NORMAL SPACES II

Omega open sets in generalized topological spaces

C. CARPINTERO, N. RAJESH, E. ROSAS AND S. SARANYASRI

Slightly γ-continuous Functions. Key words: clopen, γ-open, γ-continuity, slightly continuity, slightly γ-continuity. Contents

On Pre-γ-I-Open Sets In Ideal Topological Spaces

Contra Pre Generalized b - Continuous Functions in Topological Spaces

Slightly ω b Continuous Functions in Topological Spaces

On Contra βθ-continuous Functions

F A S C I C U L I M A T H E M A T I C I

COUNTABLY S-CLOSED SPACES

A Note on Modifications of rg-closed Sets in Topological Spaces

M. Caldas and S. Jafari. ON SEMI δs-irresolute FUNCTIONS. 1. Introduction and preliminaries

ON UPPER AND LOWER CONTRA-CONTINUOUS MULTIFUNCTIONS

ON µ-compact SETS IN µ-spaces

OPERATION-SEPARATION AXIOMS IN BITOPOLOGICAL SPACES

A NOTE ON Θ-CLOSED SETS AND INVERSE LIMITS

On p-closed spaces. Julian Dontchev, Maximilian Ganster and Takashi Noiri

Research Article Contra-ω-Continuous and Almost Contra-ω-Continuous

g ωα-separation Axioms in Topological Spaces

On I s g-continuous Functions in Ideal Topological Spaces

On Contra gγ-continuous Functions

CONNECTEDNESS IN IDEAL TOPOLOGICAL SPACES

On strongly faint e-continuous functions

Research Article Cocompact Open Sets and Continuity

Spring -07 TOPOLOGY III. Conventions

NEW NORMALITY AXIOMS AND DECOMPOSITIONS OF NORMALITY. J. K. Kohli and A. K. Das University of Delhi, India

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Slightly gγ-continuous Functions

CHARACTERIZATIONS OF RARELY g-continuous MULTIFUNCTIONS

ON γ-s-urysohn CLOSED AND γ-s-regular CLOSED SPACES

Upper and Lower Rarely α-continuous Multifunctions

ON PRE-I-OPEN SETS, SEMI-I-OPEN SETS AND b-i-open SETS IN IDEAL TOPOLOGICAL SPACES 1. Erdal Ekici

J. Sanabria, E. Acosta, M. Salas-Brown and O. García

Some results on g-regular and g-normal spaces

Between strong continuity and almost continuity

Upper and Lower α I Continuous Multifunctions

N αc Open Sets and Their Basic Properties in Topological Spaces

A New Kupka Type Continuity, λ-compactness and Multifunctions

On Almost Continuity and Expansion of Open Sets

A DECOMPOSITION OF CONTINUITY IN IDEAL BY USING SEMI-LOCAL FUNCTIONS

Properties of Contra Sg-Continuous Maps

Int. Journal of Math. Analysis, Vol. 6, 2012, no. 21,

PAijpam.eu REGULAR WEAKLY CLOSED SETS IN IDEAL TOPOLOGICAL SPACES

Solve EACH of the exercises 1-3

CHARACTERIZATIONS OF HARDLY e-open FUNCTIONS

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

frg Connectedness in Fine- Topological Spaces

Applied Mathematics and Sciences: An International Journal (MathSJ ), Vol. 2, No. 1, March Tamil Nadu, India. Tamil Nadu, India.

Semi-Star-Alpha-Open Sets and Associated Functions

ISSN: Page 202

On Generalized Topology and Minimal Structure Spaces

Solutions to Tutorial 8 (Week 9)

ON ALMOST (ω)regular SPACES

Decomposition of continuity via b-open set. Contents. 1 introduction Decompositions of continuity 60

(i,j)-quasi Semi Weakly g*- Closed Functions in Bitopological Spaces

sb* - Separation axioms

A new classes of open mappings

Department of Mathematics, University of Sargodha, Mandi Bahauddin Campus, Pakistan

-θ-semiopen Sets and

N. Karthikeyan 1, N. Rajesh 2. Jeppiaar Engineering College Chennai, , Tamilnadu, INDIA 2 Department of Mathematics

ΠGβ NORMAL SPACE IN INTUITIOITIC FUZZY TOPOLOGY

ON COUNTABLE FAMILIES OF TOPOLOGIES ON A SET

SOME NEW SEPARATION AXIOMS. R. Balaji 1, N. Rajesh 2. Agni College of Technology Kancheepuram, , TamilNadu, INDIA 2 Department of Mathematics

On Minimal and Maximal Regular Open Sets حول المجموعات المفتوحة المنتظمة العظمى و الصغرى

and their Decomposition

P.M. Thevar College Usilampatti, Madurai District, Tamil Nadu, INDIA 2 Department of Mathematics

A study on gr*-closed sets in Bitopological Spaces

On bτ-closed sets. Maximilian Ganster and Markus Steiner

Supra β-connectedness on Topological Spaces

3 Hausdorff and Connected Spaces

in Topological Spaces

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

On Decompositions of Continuity and α-continuity

Smarandachely Precontinuous maps. and Preopen Sets in Topological Vector Spaces

Neighborhood spaces and convergence

Transcription:

ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 38 2017 (757 768) 757 ALMOST STRONGLY ω-continuous FUNCTIONS Heyam H. Al-Jarrah Department of Mathematics Faculty of science Yarmouk University Irdid-Jordan hiamaljarah@yahoo.com Abdo Qahis Department of Mathematics Faculty of Science and Arts Najran university Saudi Arabia cahis82@gmail.com Takashi Noiri 2949-1 Shiokita-cho Hinagu, Yatsushiro-shi Kumamoto-ken 869-5142 Japan t.noiri@nifty.com Abstract. The aim of this paper is to introduce and investigate a new class of continuity, called almost strongly ω-continuous function, which contains the class of strongly θ-continuous functions and it is contained in the class of almost ω-continuous functions. Keywords: ω-open set, ω-continuous function, almost ω-continuous function. 1. Introduction Throughout this paper, spaces always mean topological spaces with no separation axioms assumed, unless otherwise stated. Let (X, τ) be a space and A be a subset of X. The closure of A and the interior of A are denoted by cl(a) and Int(A), respectively. A point x X is called a condensation point of A [4] if for each open set U containing x, the set U A is uncountable. A is said to be ω closed [5] if it contains all its condensation points. The complement of an ω closed set is said to be ω open. Note that a subset A of a space (X, τ) is ω open [2] if and only if for each x A there exists an open set U containing x such that U A is countable. The family of all ω open subsets of a space (X, τ), forms a topology on X, denoted by τ ω, finer than τ. The closure of A in (X, τ ω ) and the interior of A in (X, τ ω ) are denoted by cl ω (A) and Int ω (A). Several characterizations of ω closed subsets were proved in [5]. A subset A. Corresponding author

HEYAM H. AL-JARRAH, ABDO QAHIS, TAKASHI NOIRI 758 is said to be regular open [11] (resp. regular closed) if Int(cl(A)) = A (resp. cl(int(a)) = A). A point x X is called a δ cluster [12] (resp. θ oω -cluster [3]) point of A if A Int(cl(U)) φ (resp. A cl(u) φ) for each open (resp. ω-open) set U containing x. The set of all δ cluster (resp. θ oω -cluster) points of A is called the δ-closure (resp. the θ oω -closure) of A and is denoted by [A] δ (resp. [A] θoω ). If [A] δ = A (resp. [A] θoω = A), then A is said to be δ closed (resp. θ oω closed). The complement of a δ closed (resp. θ oω -closed) set is said to be δ-open (resp. θ oω -open). A subset A of a space X is said to be an H-set [12] or quasi H-closed relative to X [8] if for every cover U α : α } of A by open sets of X, there exists a finite subset of such that A cl(u α ) : α }. A space X is said to be quasi H-closed [8] if the set X is quasi H-closed relative to X. Quasi H-closed Hausdorff spaces are usually said to be H closed. For a nonempty set X, τ dis will denote the discrete topology on X. R and Q denote the sets of all real numbers and rational numbers. Finally if (X, τ) and (Y, σ) are two space, then τ σ will denote the product topology on X Y. Definition 1.1. A function f : (X, τ) (Y, σ) is said to be δ-continuous [7] (resp. almost continuous [9], strongly θ-continuous [7]) if for each x X and each open set V containing f(x), there exists an open set U of x such that f(int(cl(u))) Int(cl(V )) (resp. f(u) Int(cl(V )), f(cl(u)) V ). Definition 1.2. A function f : (X, τ) (Y, σ) is said to be ω-continuous [6] (resp. weakly ω-continuous [1], almost ω-continuous [1]) if for each x X and each open set V of Y containing f(x) there exists an ω open set U containing x such that f(u) V (resp. f(u) cl(v ), f(u) Int(cl(V ))). Definition 1.3. A space (X, τ) is said to be ω T 2 [1] (resp. ω Uryshon [1]) if for each pair of distinct points x and y in X, there exist ω open sets U and V containing x and y, respectively, such that U V = φ (resp. cl ω (U) cl ω (V ) = φ). Proposition 1.4. [3] Let A be a subset of a space (X, τ), A is θ oω open if and only if for each x A there exists an ω open set U containing x such that cl(u) A. Lemma 1.5. [2] Let A be a subset of a space (X, τ). Then: i. (τ ω ) ω = τ ω. ii. (τ A ) ω = (τ ω ) A. 2. Almost strongly ω-continuous functions Definition 2.1. A function f : (X, τ) (Y, σ) is said to be almost strongly ω-continuous if for each x X and each open set V of Y containing f(x), there exists an ω open set U containing x such that f(cl(u)) Int(cl(V )).

ALMOST STRONGLY ω-continuous FUNCTIONS 759 Clearly, the following diagram follows immediately from the definitions and facts. Continuous ω-continuous almost ω-continuous weakly ω-continuous Strongly θ-continuous almost strongly ω-continuous Note that almost strong ω-continuity and continuity (resp. ω-continuity) are independent of each other as the following examples show. Example 2.2. Let X=a, b, c, d} with the topology τ=φ, X, c}, a, b}, a, b, c}} and let Y = p, q, r} with the topology σ = φ, Y, p}, q}, p, q}}. Define a function f : (X, τ) (Y, σ) as follows: p : x = a, b. r : x = c, d Then f is continuous (hence, ω-continuous) but it is not almost strongly ω- continuous at x = a. Example 2.3. Let X = R with the topologies τ = τ u and σ = φ, R, R 0}}, where τ u is the standard topology. Let f : (X, τ) (X, σ) be the function defined by 0, x R Q. 1, x Q Then f is not ω-continuous since V = R 0} σ, but f 1 (V ) = Q / τ ω. On the other hand, f is almost strongly ω-continuous. Next, several characterizations of almost strongly ω-continuous functions are obtained. Theorem 2.4. For a function f : (X, τ) (Y, σ), the following are equivalent: i. f is almost strongly ω-continuous. ii. The inverse image of a regular open set in (Y, σ) is θ oω -open in (X, τ). iii. The inverse image of a regular closed set in (Y, σ) is θ oω -closed in (X, τ). iv. For each x X and each regular open set V in (Y, σ) containing f(x), there exists an ω-open set U in (X, τ) containing x such that f(cl(u)) V. v. The inverse image of a δ open set in (Y, σ) is θ oω -open in (X, τ). vi. The inverse image of a δ-closed set in (Y, σ) is θ oω -closed in (X, τ). vii. f([a] θoω ) [f(a)] δ for each subset A of X.

HEYAM H. AL-JARRAH, ABDO QAHIS, TAKASHI NOIRI 760 viii. [f 1 (B)] θoω f 1 ([B] δ ) for each subset B of Y. Proof. (i ii) Let V be any regular open set in (Y, σ) and x f 1 (V ). Then f(x) V and there exists an ω open set U in (X, τ) containing x such that f(cl(u)) V. Thus x U cl(u) f 1 (V ) and hence, by Proposition 1.4, f 1 (V ) is θ oω -open. (ii iii) Let F be any regular closed set in (Y, σ). By (ii), f 1 (F ) = X f 1 (Y F ) is θ oω -closed in X. (iii iv) Let x X and V be any regular open set in (Y, σ) containing f(x). By (iii), f 1 (Y V ) = X f 1 (V ) is θ oω -closed in (X, τ). Since f 1 (V ) is a θ oω -open set containing x, by Proposition 1.4, there exists an ω open set U containing x such that cl(u) f 1 (V ); hence f(cl(u)) V. (iv v) Let V be a δ-open set in (Y, σ) and x f 1 (V ). There exists a regular open set G in (Y, σ) such that f(x) G V. By (iv), there exists an ω-open set U containing x such that f(cl(u)) G. Therefore, we obtain x U cl(u) f 1 (V ). Hence, by Proposition 1.4, f 1 (V ) is θ oω -open in (X, τ). (v vi) Let F be a δ-closed set in (Y, σ). By (v) we have f 1 (F ) = X f 1 (Y E) is θ oω -closed in (X, τ). (vi vii) Let A be a subset of X. Since [f(a)] δ is δ closed in (Y, σ), by (vi), f 1 ([f(a)] δ ) is θ oω -closed in (X, τ). Let x / f 1 ([f(a)] δ ). Then for some ω-open set U in (X, τ) containing x, cl(u) f 1 ([f(a)] δ ) = φ and hence cl(u) A = φ. So x / [A] θoω. Therefore, we have f([a] θoω ) [f(a)] δ. (vii viii) Let B be a subset of Y. By (vii) we have f([f 1 (B)] θoω ) [B] δ and hence [f 1 (B)] θoω f 1 ([B] δ ). (viii i) Let x X and V be an open set in (Y, σ) containing f(x). Then G = Y Int(cl(V )) is regular closed and hence δ-closed in (Y, σ). By (viii), [f 1 (G)] θoω f 1 (G) and hence f 1 (G) is θ oω -closed in (X, τ). Therefore, f 1 (Int(cl(V ))) is a θ oω open set in (X, τ) containing x. By Proposition 1.4 there exists an ω-open set U containing x such that x U cl(u) f 1 (Int(cl(V ))). Therefore, we obtain f(cl(u)) Int(cl(V )). This show that f is almost strongly ω continuous. Note that the family of all θ oω open [3] (resp. δ open [12]) sets in a space (X, τ) form a topology for X which is denoted by τ θoω (resp. τ δ ). Theorem 2.5. For a function f : (X, τ) (Y, σ), the following are equivalent: i. f : (X, τ) (Y, σ) is almost strongly ω continuous. ii. f : (X, τ θoω ) (Y, σ) is almost continuous. iii. f : (X, τ θoω ) (Y, σ δ ) is continuous. Proof. (i ii) Let V be any regular open set in (Y, σ). By Theorem 2.4 f 1 (V ) is θ oω -open in (X, τ) and hence open in (X, τ θoω ), it follows from Theorem 2.2 of [9] that f is almost continuous.

ALMOST STRONGLY ω-continuous FUNCTIONS 761 (ii iii) Let V be an open in (Y, σ δ ). Then V is δ-open in (Y, σ) and it is the union of regular open sets in (Y, σ). By (ii), f 1 (V ) is open in (X, τ θoω ). Therefore, f : (X, τ θoω ) (Y, σ δ ) is continuous. (iii i) Let V be a regular open set in (Y, σ). Since V is open in (Y, σ δ ), by (iii), f 1 (V ) is θ oω -open in (X, τ) and hence by Theorem 2.4, f is almost strongly ω-continuous. The composition of two almost strongly ω continuous functions need not be almost strongly ω continuous as the following examples shows. Example 2.6. Let X = R, Y = 0, 1} and Z = 1, 2, 3} with the topologies τ = φ, X, Q}, σ = φ, Y, 0}}, ρ = φ, Z, 1}, 2}, 1, 2}} defined on X, Y and Z respectively. Let f : (X, τ) (Y, σ) be the function defined by 0, x R Q 1, x Q and let g : (Y, σ) (Z, ρ) be the function defined by 1, y = 1 g(y) = 3, y = 0. Then f and g are almost strongly ω continuous. However g f is not almost strongly ω continuous at x Q. For more clarify, let x Q X, (g f)(x) = g(f(x)) = g(1) = 1 V = 1} ρ. Now for every ω open set W containing x, cl(w ) = R, therefore (g f)(cl ρ (W )) = g(f(r)) = g(0, 1})= 1, 3} 1}. Theorem 2.7. Let f : (X, τ) (Y, σ) and g : (Y, σ) (Z, ρ) be functions. Then the following hold: a. g f is almost strongly ω-continuous if f is almost strongly ω-continuous and g is δ-continuous. b. g f is almost strongly ω-continuous if f is almost strongly ω-continuous and g is continuous and open. c. Let p : (X Y, τ σ) (X, τ) be the projection function. If (f p) is almost strongly ω-continuous, then f is almost strongly ω-continuous. Proof. The proof of a. follows immediately from Definitions 1.1 and 2.1. Thus we prove only part b and c. b) Let x X and V be any open set in (Z, ρ) such that (g f)(x) V. Therefore f(x) g 1 (V ) which is open in (Y, σ). Since f is almost strongly ω-continuous, there exists an ω-open set W in (X, τ) such that x W and f(cl(w )) Int(cl(g 1 (V ))). Therefore (g f)(cl(w )) = g(int(cl(g 1 (V )))) Int(cl(V )).

HEYAM H. AL-JARRAH, ABDO QAHIS, TAKASHI NOIRI 762 c) Let x X and V be any open set in (Y, σ) such that f(x) V. Choose y Y. Then (f p)(x, y) = f(x) V. Since (f p) is almost strongly ω- continuous, there exists an ω-open set W in X Y such that (x, y) W and (f p)(cl τ σ (W )) Int σ (cl σ (V )). Since (x, y) W, choose W 1 (X, τ ω ) and W 2 (Y, σ ω ) such that x W 1, y W 2 and (x, y) W 1 W 2 W and so (f p)(cl τ σ (W 1 W 2 )) = f(cl(w 1 )) (f p)(cl τ σ (W )) Int(cl(V )). Thus f(cl τ (W 1 )) Int(cl(V )) and so f is almost strongly ω continuous. To show that the assumption g is a continuous open function in part (b) of Theorem 2.7 is essential and that the projection function p in the same theorem part (c) can not be replaced by arbitrary open continuous function we consider the following examples. Example 2.8. Let X = R with the topologies ρ = φ, R, Q} and τ = U R : Q U} φ} and let Y = 0, 1, 2} with the topology σ = φ, Y, 0}, 1, 2}}. Let f : (X, ρ) (Y, σ) be the function defined by 1, x R Q 0, x Q and g : (X, τ) (X, ρ) be the function defined by g(x) = 1, x R Q x, x Q Then g is open and continuous but f is not almost strongly ω-continuous. Note that g 1 (Q) = Q τ and g 1 (R) = R, so we get that g is continuous and for every open set U in (X, τ), g(u) = Q ρ therefore g is open. Now (f g)(x) = 0 for every x X and so (f g) is almost strongly ω-continuous. Example 2.9. Let X = R with the topology ρ = φ, R, Q}, let Y = 0, 1} with the topology σ = φ, Y, 0}} and let Z = 0, 1, 2} with the topology τ = φ, Z, 0}, 1, 2}}. Let f : (X, ρ) (Y, σ) be the function defined by and let g : (Y, σ) (Z, τ) defined by g(y) = 0, x R Q 1, x Q 2, y = 0 1, y = 1. Then f is almost strongly ω-continuous, g is continuous function but not open and (g f) is not almost strongly ω-continuous at x Q..

ALMOST STRONGLY ω-continuous FUNCTIONS 763 Example 2.10. Let x = R with the topology τ = φ, R, Q} and let Y = 0, 1} with the topology σ = φ, Y, 0}}. Let f : (X, τ) (Y, σ) be the function defined by 0, x R Q 1, x Q and g : (Y, σ) (Y, τ dis ) be the identity function. Then f is almost strongly ω continuous function, g is open but not continuous and (g f) is not almost strongly ω-continuous. For every open set V in (Y, σ); g(v ) is open in (Y, τ dis ) and g 1 (0}) / σ and hence is not continuous. To show that (g f) is not almost strongly ω-continuous. Let x Q X, (g f)(x) = g(f(x)) = g(1) = 1 V = 1} τ dis. Now for every ω-open set W containing x, cl(w ) = R, therefore (g f)(cl ρ (W )) = g(f(r)) = g(y )= Y Int(cl(1})) = 1}. Corollary 2.11. Let be an index set and let f α : (X α, τ α ) (Y α, σ α ) be a function for each α. If the product function f = α f α : X α Y α is almost strongly ω-continuous, then f α is almost strongly ω-continuous for each α. Proof. For each β, we consider the projections p β : α X α X β and q β : α Y α Y β. Then we have q β f = f β p β for each β. Since f is almost strongly ω-continuous and q β is a continuous open function for each β, q β f is almost strongly ω-continuous by Theorem 2.7 and hence f β p β is almost strongly ω-continuous. Thus f β is almost strongly ω-continuous by Theorem 2.7. Proposition 2.12. Let f : (X, τ) (Y 1 Y 2, σ 1 σ 2 ) be a function, where (X, τ), (Y 1, σ 1 ) and (Y 2, σ 2 ) are topological spaces. Let f i : (X, τ) (Y i, σ i ) be defined as f i = p i f for i = 1, 2 where p i : (Y 1 Y 2, σ 1 σ 2 ) (Y i, σ i ) is the projection function. If f is almost strongly ω-continuous, then f i is almost strongly ω-continuous for i = 1, 2. Proof. Since p i is a continuous open function and f is almost strongly ω- continuous, then by Theorem 2.7, f i = p i f is almost strongly ω-continuous for i = 1, 2. Theorem 2.13. Let f : (X, τ) (Y, σ) be an almost strongly ω-continuous function. Then the restriction f A : (A, τ A ) (Y, σ) is almost strongly ω- continuous for any subset A of X. Proof. Let a A and V be an open set in (Y, σ) containing f(a). Since f is almost strongly ω-continuous, there exists an ω-open set W in (X, τ) such that x W and f(cl(w )) Int(cl(V )). Therefore by Lemma 1.5 W A (τ A ) ω and (f A )(cl(w A)) Int(cl(V )). And the result follows. The following example shows that the converse of the previous theorem is not true in general.

HEYAM H. AL-JARRAH, ABDO QAHIS, TAKASHI NOIRI 764 Example 2.14. Let X = R with the topology τ = φ, R, Q} and let Y = 0, 1, 2} with the topology σ = φ, Y, 0}, 1, 2}}. Let f : (X, τ) (Y, σ) be the function defined by 0, x Q 1, x R Q. Then f is not almost strongly ω-continuous, since if we take x Q, then 0 0} σ and for any ω-open set W containing x, f(cl(w )) = f(r) = 0, 1} Int(cl(0})) = 0}. Let A = Q. Then A τ and τ A = φ, A}. Note that (f A )(x) = 0 for every x A and so (f A ) is almost strongly ω-continuous. Note that if A is a clopen subset of a space (X, τ). Then cl(u A) = cl(u) A for every U X. Proposition 2.15. Let f : (X, τ) (Y, σ) be a function and let x X. If there exists a clopen subset A of X containing x and (f A ) is almost strongly ω-continuous at x, then f is almost strongly ω-continuous at x. Proof. Let V be an open set in (Y, σ) containing f(x). Since (f A ) is almost strongly ω-continuous at x, there exists an ω-open set W in (A, τ A ) such that x W and (f A )(cl τa (W )) = f(cl τa (W )) Int(cl(V )). So by Lemma 1.5 W (τ A ) ω = (τ ω ) A and there exists an ω-open set U in (X, τ) such that W = U A. Therefore W is an ω-open set in (X, τ) and f(cl τ (W )) = f(cl τ (A U)) = f(cl τ (U) A) = f(cl τ (U A) A) = f(cl τ (W ) A) = f(cl τa (W )) Int(cl(V )) and the result follows. The following example shows that if the set A is ω-clopen then the result in proposition 2.15 need not be true. Example 2.16. Let f : (X, τ) (Y, σ) be the function defined in Example 2.14. Then f is not almost strongly ω-continuous. Let A = R Q. Then A is an ω-clopen set in (X, τ) and (f A ) is almost strongly ω-continuous. Note that (f A )(x) = 1 for every x A so (f A )(x) is almost strongly ω-continuous. 3. Basic properties A space (X, τ) is said to be weakly Hausdorff [10] if each point of X is expressed by the intersection of regular closed sets of (X, τ) and it is said to be ω -regular if for every ω-open set U and each point x U there exists an open set V such that x U cl(u) V. Theorem 3.1. Let f : (X, τ) (Y, σ) be a function such that X is ω -regular and let g : (X, τ) (X Y, τ σ) be the graph function of f defined by g(x) = (x, f(x)) for each x X. Then g is almost strongly ω continuous if and only if f is almost strongly ω continuous.

ALMOST STRONGLY ω-continuous FUNCTIONS 765 Proof. Necessity. Suppose that g is almost strongly ω continuous. Let x X and V be an open set in (Y, σ) containing f(x). Then X V is an open set of X Y containing g(x). Since g is almost strongly ω-continuous, there exists an ω-open set U in (X, τ) containing x such that g(cl(u)) Int(cl(X V )). It follows Int(cl(X V )) = X Int(cl(V )). Therefore, we obtain f(cl(u)) Int(cl(V )). Sufficiency. Let x X and W be any open set of X Y containing g(x). There exist open sets U 1 X and V Y such that g(x) = (x, f(x)) U 1 V W. Since f is almost strongly ω-continuous, there exists an ω-open set U 2 in (X, τ) containing x such that f(cl(u 2 )) Int(cl(V )). Let U = U 1 U 2, then U is an ω-open in (X, τ) containing x. Since X is ω -regular, there exists an open set Z such that x Z cl(z) U. Therefore, we obtain g(cl(z)) U 1 f(u 2 ) Int(cl(W )). Theorem 3.2. If f, g : (X, τ) (Y, σ) are almost strongly ω-continuous functions and (Y, σ) is a Hausdorff space, then the set E = x X : g(x)} is θ oω -closed in (X, τ). Proof. By Theorem 2.5 f, g : (X, τ θoω ) (Y, σ δ ) are continuous functions and hence A is closed in (X, τ θoω ). Therefore, A is θ oω -closed in (X, τ). Theorem 3.3. Let f : (X, τ) (Y, σ) be an almost strongly ω-continuous injection. If Y is a Hausdorff (resp. weakly Hausdorff) space, then X is an ω-urysohn (resp. ω-hausdorff) space. Proof. Let (Y, σ) be Hausdorff and x 1 x 2 for any x 1, x 2 X and there exist disjoint open sets V 1 and V 2 containing f(x 1 ) and f(x 2 ), respectively. Since V 1 and V 2 are disjoint, we obtain Int(cl(V 1 )) Int(cl(V 2 )) = φ. Since f is almost strongly ω-continuous, for i = 1, 2, there exists an ω-open set U i containing x i such that f(cl(u i )) Int(cl(V i )). It follows from cl(u 1 ) cl(u 2 ) = φ that X is an ω-urysohn space. Next, let Y be weakly Hausdorff and x 1, x 2 distinct points of X. Then f(x 1 ) f(x 2 ) and there exists a regular closed set V of Y such that f(x 1 ) / V and f(x 2 ) V. Since f is almost strongly ω-containuous, by Theorem 2.4, there exists an ω-open set U containing x 1 such that f(cl(u)) Y V. Then we have x 2 f 1 (V ) X cl(u). This show that (X, τ) is ω-hausdorff. For a function f : (X, τ) (Y, σ), the subset x, f(x) : x X} X Y is called the graph of f and is denoted by G(f). The G(f) is said to be θ oω -closed with respect to X Y if for each (x, y) / G(f), there exists an ω-open sets U and V containing x and y, respectively, such that cl(u V ) G(f) = φ. It is easy to see that G(f) is θ oω -closed with respect to X Y if and only if for each (x, y) / G(f) there exist ω-open subsets U X and V Y containing x and y, respectively, such that f(cl(u)) cl(v ) = φ. Definition 3.4. A subset S of a space X is said to be quasi H ω -closed (resp. N ω -closed) relative to X if for every cover U α : α } of S by ω-open sets of

HEYAM H. AL-JARRAH, ABDO QAHIS, TAKASHI NOIRI 766 X, there exists a finite subset of such that S cl(u α ) : α }(resp. S Int(cl(U α )) : α }). A space X is said to be quasi H ω -closed (resp. nearly ω-compact) if the set X is quasi H ω -closed (resp. N ω -closed) relative to X. Theorem 3.5. Let f : (X, τ) (Y, σ) be a function whose graph is θ oω -closed with respect to X Y. If K is quasi H ω -closed relative to Y, then f 1 (K) is θ oω -closed in X. Proof. Let x X f 1 (K). For each y K, (x, y) / G(f) and there exist ω-open sets U y and V y containing x and y, respectively, such that f(cl(u y )) cl(v y ) = φ. The family V y : y K} is a cover of K by ω-open sets of Y and K (cl(v y ) : y K 0 ) for some finite subset K of K. Put U = U y : y K }. Then U is an ω-open set containing x and f(cl(u)) K = φ. Therefore, we have cl(u) f 1 (K) = φ and hence x / [f 1 (K)] θoω. This shows that f 1 (K) is θ oω -closed in X. Theorem 3.6. If f : (X, τ) (Y, σ) almost strongly ω-continuous and K is quasi H ω -closed relative to X, then f(k) is N ω -closed relative to Y. Proof. Let V α : α } be a cover of f(k) by ω-open sets of Y. For each x K, there exists α x such that f(x) V αx. Since f is almost strongly ω-continuous, there exists an ω-open set U x containing x such that f(cl(u x )) Int(cl(V αx )). The family U x : x K} is a cover of K by ω-open sets of (X, τ) and hence there exists a finite subset K of K such that K x K cl(u x ). Therefore, we obtain f(k) f( x K cl(u x )) x K Int(cl(V αx )). Lemma 3.7. If X is nearly ω-compact and A is regular closed in X, then A is N ω -closed relative to X (and hence quasi H ω -closed relative to X). Proof. Let U α : α } be any cover of A by ω-open sets of X. Then X = U α : α } (X A). Since X A is regular open, it is open and hence ω-open. Since X is nearly ω compact, there exists a finite subset of such that X = [ Int(cl(U α )) : α }] Int(cl(X A)) = ( Int(cl(U α )) : α }) (X A). Therefore, A Int(cl(U α )) : α } and A is N ω -closed relative to X. Theorem 3.8. Let f : (X, τ) (Y, σ) be a function and (Y, σ) nearly ω- compact Hausdorff. Then, the following are equivalent: i. f is almost strongly ω-continuous. ii. G(f) is θ oω -closed with respect to X Y. iii. If K is quasi H ω -closed relative to Y, then f 1 (K) is θ oω -closed in (X, τ).

ALMOST STRONGLY ω-continuous FUNCTIONS 767 Proof. (i ii) Let (x, y) X Y G(f). Since (Y, σ) is Hausdorff, there exist two open sets V and W such that y V, f(x) W and V W = φ. This gives cl(v ) Int(cl(W )) = φ. By (i), there exists an ω-open set U containing x such that f(cl(u)) Int(cl(W )). Hence f(cl(u)) cl(v ) = φ, that is, G(f) is θ oω -closed with respect to X Y. (ii iii) This follows from Theorem 3.5. (iii i) Let x X and V be a regular open subset of Y such that f(x) V. Then Y V is a regular closed set and Y is nearly ω-compact, by Lemma 3.7 Y V is quasi H ω -closed relative to Y. By (iii) f 1 (X V ) is θ oω -closed in X and x / f 1 (Y V ). Hence there exists an ω-open set U containing x such that cl(u) f 1 (Y V ) = φ. This implies that f(cl(u)) V. Therefore, it follows from Theorem 2.4 that f is almost strongly θ-continuous. References [1] A. Al-Omari, T. Noiri and M.S.M. Noorani, Weak and strong forms of ω- continuous functions, Internat. J. Math. Math. Sci., vol. 2009, Article ID 174042, 12 pages, 2009. [2] K. Al-Zoubi and B. Al-Nashef, The topology of ω-open subsets, Al-Manarah, 9 (2003), 169-179. [3] S. Bani Melhem and K. Al-Zoubi, Strongly θ o oω-continuous functions, Master, Yarmouk University, 2012. [4] Z. Frolik, Generalizations of compact and Lindelöf spaces, Czechoslovak Math. J., 9 (1959), 172-217. [5] H. Hdeib, ω-closed mappings, Rev. Colomb. Mat., 16 (1982), 65-78. [6] H. Hdeib, ω-continuous functions, Dirasat, 16 (1989), 136-142. [7] T. Noiri, On δ-continuous functions, J. Korean Math. Soc., 16 (1980), 161-66. [8] J. Porfer and J. Thomas, On H-closed and minimal Hausdorff spaces, Trans. Amer. Math. Soc., 138 (1969), 159-70. [9] M. K. Singal and A. R. Singal, Almost continuous mappings, Yokohama Math. J., 16 (1968), 63-73. [10] T. Soundararajan, Weakly Hausdorff spaces and the cardinality of topological spaces, General Topology and its Relations to Modern Analysis and Algera. III, Proc. Conf. Kanpur, 1968, Academia, Prague, 1971, 301-306.

HEYAM H. AL-JARRAH, ABDO QAHIS, TAKASHI NOIRI 768 [11] M. H. Stone, Applications of the theory of Boolean rings to general topology, Trans. Amer. Math. Soc., 41 (1937), 375-481. [12] N. V. Veličko, H-closed topological spaces, Amer. Math. Soc. Transl., 78 (1968), 103-118. Accepted: 23.01.2017