Académique Documents
Professionnel Documents
Culture Documents
-separated. Then f
1
(A) and f
1
(B) are
-separated.
Proof. Suppose A and B ar e -separated in Y then we have cl(A) B= and A cl (B) = we now
prove that
f
1
(A) and f
1
(B) are
Y
=
,
then X Y is - connected.
Proof: We use t he
Hausdorff-Lennes
condi t i on
[
cl(A)
(Y
Z ) \ A]
[A
cl((Y
Z ) \ A)] =
[
cl(A)
(Y \ A)]
[
cl(A)
(Z \ A)]
[A
cl((Y \ A)
(Z \ A))] _
{[
cl(A)
(Y \ A)]
[A
cl(Y \ A)]}
{[A
cl(Z \ A)]
cl(A)
(Z \ A)]}
If A
Y or A
Z is a proper subset of Y or Z, then one of the expression is non empty .Both the expressions
are empty if and only if either A=Z and A Y= o r A Z= a n d A=Y. Th i s i s i mp o s s i b l e i f
YZ=
On Generalised -Connectedness In Isotonic Spaces
www.irjes.com 32 | Page
Theorem 4.7: If (X, cl) is a neighborhood space then cl(Z ) is - connected whenever Z is
- connected.
Proof: Set A' = Z A and A = A\Z. We then use the Hausdorff-Lennes condition
[cl(A) ( cl(Z ) \ A)] [cl( cl(Z ) \ A) A] _
[(
cl(A')
cl(A)) (Z \ A')] [
cl(Z A')
(A' A)] _
{[ cl(A') (Z \ A')] [ cl(Z \ A' ) A' ]} [cl(Z A') A]
Here we have used Z A_ (cl(Z ) \ A') \A' which is true only if A _ cl (A) holds. If A' = then the term in the
braces is nonempty because Z is connected. By assumption if A'
= then A _ cl(Z ) \ Z is nonempty and
hence cl(Z \ A') A= cl(Z ) A
= .Thus cl(Z ) is -connected.
Theorem 4.8: If f : (X, cl) (Y, cl) is a - continuous function between neighborhood spaces, and A is
connected in X , then f (A) is - connected in Y .
Proof : Suppose f(A) is not - connected. Then f(A) = U V , where U and V are | -separated and non-empty.
Thus f
-1
(U) and f
-1
(V) are | -separated. Clearly A' = A f
-1
(U) and A = A f
-1
(V) are both non-empty and also
| -separated. Further A' A = A and hence A is not - connected.
Theorem 4.9:Let (X, cl) be a generalized -closure space with -grounded -isotonic -enlarging
C l. Then, the following are equivalent:
(1) (X, cl) is - connected,
(2) X cannot be a union of nonempty disjoint open sets.
Proof :. (1) (2): Let X be a union of nonempty disjoint - open sets A and B. Then,
X = A B and this implies that B = X \A and A is a -open set. Thus, B is -closed and hence A
cl(B) = A B = . Likewise, we obtain cl(A) B = . Hence, A and B are -closure-separated
and hence X is not -connected. This is a contradiction.
(2) (1): Suppose that X is not - connected. Then X = A B, where A, B are disjoint - separated
sets, i.e A cl(B) = cl(A) B = . We have cl(B) c X \Ac B. Since cl is -enlarging, we get cl(B)
= B and hence, B is - closed. By using cl(A) B = . and similarly, it is obvious that A is -closed.
This is a contradiction.
Definition 4.10: Let (X, cl) be a generalized -closure space with grounded isotonic c l. Then, (X,
cl) is called a T
1
- -grounded -isotonic space if cl({x}) c{x} for all x e X .
Theorem 4.11: Let (X, cl) be a generalized -closure space with -grounded -isotonic
cl. Then, the following are equivalent:
(1) (X, cl) is - connected,
(2) Any -continuous function f: X Y is constant for all T
1
- -grounded -isotonic spaces Y
= {0, 1}.
Proof :. (1)(2): Let X be - connected. Suppose that f: X Y is - continuous and it is not
constant. Then there exists a set U c X such that U = f
1
({0}) and X \U = f
1
({1}). Since f
is continuous and Y is T
1
- - grounded -isotonic space, then we have cl(U ) = cl(f
1
({0})) c f
1
(cl{0})c f
1
({0}) = U and hence cl(U ) (X \U ) = .Similarly we have U cl(X \U ) = .
This is a contradiction. Thus, f is constant.
(2) (1): Suppose that X is not connected. Then there exist -closure- separated sets U and V
such that U V = X . We have cl(U )cU and cl(V ) c V and X \U c V . Since cl is -isotonic
and U and V are - closure-separated, then cl(X \U ) c cl(V ) c X \U . If we consider the space (Y,
cl) by Y = {0, 1}, cl() = , cl ({0}) = {0}, cl ({1}) = {1} and cl (Y ) = Y , then
the space (Y, cl) is a T
1
- -grounded -isotonic space. We define the function f: X Y as f (U ) =
{0} and f ( X \U ) = {1}. Let A= and A cY . If A = Y , then f
1
(A) = X and hence cl(X )
= cl (f
1
(A)) c X = f
1
(A) = f
1
( cl(A)).
If A = {0}, then f
1
(A) = U and hence cl(U ) = cl(f
1
(A)) cU = f
1
(A)
= f
1
( cl(A)). If A = {1}, then f
1
(A) = X \U and hence
cl(X \U ) = cl(f
1
(A)) c X \U = f
1
(A) = f
1
( c l(A)). Hence, f is continuous. Since f is not
constant, this is a contradiction.
Theorem 4.12: Let f : (X, cl) (Y, cl) and g : (Y, cl) (Z, cl) be continuous functions.
Then, gof : X Z is continuous.
Proof :. Suppose that f and g are continuous. For all A c Z we have
cl(gof )
1
(A) = cl(f
1
(g
1
(A))) c f
1
(cl(g
1
(A))) c f
1
(g
1
(cl(A)))
On Generalised -Connectedness In Isotonic Spaces
www.irjes.com 33 | Page
= (gof )
1
(cl(A)). Hence, gof : X Z is continuous.
Theorem 4.13: Let (X, cl) and (Y, cl) be generalized -closure spaces with -grounded -isotonic cl
and f : (X, cl) (Y, cl) be a continuous function onto Y . If X is connected, then Y is
connected.
Proof : Let us suppose that {0, 1} is a generalized -closure spaces with -grounded -isotonic C l
and g : Y {0, 1} is a continuous function. Since f is continuous,
gof : X {0, 1} is continuous. Since X is -connected, gof is constant and hence g is
constant. Therefore Y is connected.
Definition 4.14: Let (Y, cl) be a generalized -closure space with -grounded -isotonic cl and more
than one element. A generalized -closure space (X, cl) with -grounded -isotonic cl is called Y
connected if any - continuous function f : X Y is constant.
Theorem 4.15: Let (Y, cl) be a generalized -closure space with -grounded -isotonic enlarging
cl and more than one element. Then every Y - connected generalized -closure space with -
grounded -isotonic is connected.
Proof : Let (X, cl) be a Y - connected generalized -closure space with - grounded -isotonic cl.
Suppose that f : X {0, 1} is a continuous function, where {0, 1} is a T
1
- -grounded -isotonic
space. Since Y is a generalized -closure space with -grounded -isotonic -enlarging cl and more
than one element, then there exists a continuous injection
g : {0, 1} Y .gof : X Y is continuous. Since X is Y - connected, then gof is constant. Thus,
f is constant and hence, by t heor em 5. 11 X is connected.
Theorem 4.16: Let (X, cl) and (Y, cl) be generalized -closure spaces with -grounded -isotonic cl
and f : (X, cl) (Y, cl) be a continuous function onto Y . If X is Z - connected, then Y is Z -
connected.
Proof : Suppose that g : Y Z is a continuous function. Then gof : X Z is continuous. Since X
is Z - connected, then gof is constant. This implies that g is constant. Thus, Y is Z - connected.
5.Strongly Connected Spaces
Definition 5.1: A generalized -closure space (X, cl) is strongly connected if there is no countable
collection of pairwise -closure-separated sets {A
n
} such that X = A
n
.
Theorem 5.2: Every strongly connected generalized closure space with -grounded -isotonic cl is
connected.
Theorem 5.3: Let (X, cl) and (Y, cl) be generalized -closure spaces with -grounded -isotonic cl
and f : (X, cl) (Y, cl) be a - continuous function onto Y . If X is strongly connected, then Y
is strongly - connected.
Proof : Suppose that Y is not strongly - connected. Then, there exists a countable collection of pairwise
- closure-separated sets {A
n
} such that Y = A
n
. Since f
1
(A
n
) cl(f
1
(A
m
))
cf
1
(A
n
)f
1
( cl(A
m
)) = for all n = m, then the collection {f
1
(A
n
)} is pairwise closure-
separated. This is a contradiction. Hence, Y is strongly -connected.
Theorem 5.4: Let (X, cl
X
) and (Y,cl
y
) be generalized -closure spaces. Then, the following are
equivalent for a function f : X Y
(1) f is -continuous,
(2) f
1
( I nt(B)) _ I nt(f
1
(B)) for each B _Y .
Theorem 5.5: Let (X,cl) be a generalized -closure space with -grounded isotonic -additive cl.
Then (X,cl) is strongly - connected if and only if (X, cl) Y - connected for any countable T
1
- -
grounded -isotonic space (Y, cl).
Proof : (): Let (X,cl) be strongly - connected. Suppose that (X, cl) is not Y - connected for
some countable T
1
- -grounded -isotonic space (Y, cl). There exists a continuous function
f: X Y which is not constant and hence K= f(X) is a countable set with more than one element. For
each y
n e
K , there exists U
n
cX such that U
n
=f
1
({y
n
}) and hence Y = U
n
.
Since f is - continuous and Y is -grounded, then for each n = m, U
n
cl(U
m
) =
f
1
({y
n
}) cl(f
1
({y
m
})) cf
1
({y
n
})f
1
( C l({y
m
})) c f
1
({y
n
})
f
1
({y
m
})= . This contradicts the strong - connectedness of X . Thus, X is
Y - connected.
(:) :Let X be Y - connected for any countable T
1
- -grounded -isotonic space (Y, cl). Suppose that
On Generalised -Connectedness In Isotonic Spaces
www.irjes.com 34 | Page
X is not strongly - connected. There exists a countable collection of pairwise -closure-separated sets
{U
n
} such that X = U
n
.Consider the space (Z, cl), where Z is the set of integers and cl : P(Z )
P(Z ) is defined by cl(K ) =K for each K c Z .Clearly (Z, cl) is a countable T
1
- -grounded -
isotonic space. Put U
k e
{U
n
}.We define a function
f: X Z by f (U
k
) = {x} and f (X \U
k
) = {y} where x, y e Z and x = y. Since cl(U
k
)
U
n=
for all n = k, then cl(U
k
) U
n = k
U
n=
and hence cl(U
k
) c U
k
. Let
= K c Z. If x, y e K then f
1
(K )= X and cl(f
1
(K )) = cl(X )c X = f
1
(K )
= f
1
( cl(K )). If xe K and y e K ,then f
1
(K ) = U
k
and cl(f
1
(K )) = c l(U
k
)cU
k
= f
1
(K ) = f
1
(cl(K )).If ye K and xe K then f
1
(K ) = X \U
k
. On the other hand, for all n
=k, U
k
cl(U
n
) = and hence U
k U
n = k
cl (U
n)=
This implies that
U
k cl( U
n = k
U
n)=
.
Thus, cl (X \U
k
)cX \U
k
. Since cl(K ) = K for each K cZ , we have cl(f
1
(K )) = cl(X \U
k
)cX \U
k
= f
1
(K ) = f
1
( cl(K )).Hence we obtain that f is - continuous.
Since f is not constant, this is a contradiction with the Z- connectedness of X . Hence, X is strongly
- connected.
References:
[1] Corson, H. and Michael, E., Metrizability of certain countable unions, Illinois J. Math.,8 (1964), 351-360.
[2] EL-Deeb, N., Hasanein, I.A., Mashhour, A.S. and Noiri, T., On p-regular spaces, Bull. Math. Soc. Sci.
Math. R.S. Roumanie, 27 (1983), 311-315.
[3] Lynch, M., Characterizing continuous functions in terms of separated sets, Int. J. Math. Edu. Sci. Technol., vol. 36 (5),
(2005), 549-551
[4] Habil E. D. and Elzenati K. A., Connectedness in isotonic spaces Turk.J.Math.TUBITAK 2005, 1-16.
[5] Harris,M.J., Continuity and separation for pointwise symmetric isotonic closure Functions ,arxiv:math.GN/0507230vI 12
Jul2005.
[6] Mashhour, A.S.,Abd El-Monsef, M.E. and El-Deeb,S.N., On pre-continuous and weak precontinuous mapping,
Proc. Math. Phys. Soc. Egypt, 53 (1982), 47-53.
[7] Miguel Caldas,Erdal Ekici and Saeid Jafari., On Generalized pre-closure spaces and separation for some special types of
functions,Italian Journal of Pure and Applied Mathematics.
[8] Stadler B. M. R. and Stadler P. F., Basic properties of closure Space.J.Chem.Inf.Comput.Sci.42 (2002),p:577-585
[9] Stadler B. M. R. and Stadler P. F., Higher separation axioms in generalized closure Spaces. Comment. Math.PracMat.,SerI.43 (2003),p:257-
273.