Nothing Special   »   [go: up one dir, main page]

Ideal Hausdorff Space

Download as pdf or txt
Download as pdf or txt
You are on page 1of 2

IOSR Journal of Mathematics (IOSR-JM)

e-ISSN: 2278-5728, p-ISSN: 2319-765X. Volume 10, Issue 6 Ver. V (Nov - Dec. 2014), PP 12-13
www.iosrjournals.org

Ideal Hausdorff Space


C.R.Parvathy1 and E.Divya2
1
2

Department of Mathematics, P.S.G.R.Krishnammal college for women,Coimbatore-641004.


Department of Mathematics, P.S.G.R.Krishnammal college for women, Coimbatore-641004.

Abstract: The aim of this paper is to study some properties of ideal Hausdorff space. We introduce some new
concepts in ideal topological space such as convergence of sequences and the concepts of Hausdorff axiom in
ideal topological space.
Keywords: Ideal topological space, Hausdorff space, continuous, open set

I.

Introduction

Ideals in topological spaces have been considered since 1930. In 1990, once again Jankovie and
Hamlett, initiated the application of topological ideals in the generalization of most fundamental properties in
general topology. The concept of ideals in topological space was first introduced by Kuratowski and
Vaidhyanathswamy. Further Hamlett and Jankovic in and studied the properties
of ideal topological space. They have also obtained a new topology from original ideal topological
space. Modak and Bandyopadhyay in 2007 have defined generalized open sets.
The contributions of Hamlett and Jankovic in Ideal topological spaces the generalization of some
important properties in general topology via topological ideals. The properties like decomposition of continuity,
separation axioms, connectedness, compactness and resolvability have been generalized using the concept of
ideals in topological spaces.
A ideal topological space X, , I means a tpological space X, with an ideal I defined on X. Let X, be a
topological space with an ideal I defined on X.

II.

Preliminaries

Definition 2.1: An ideal I on a nonempty set X is a collection of subset of X which satisfies the following
properties:
(i) A I and B A implies B I.
(ii) A I and B I implies A B I.
A topological space X, with an ideal I on X is called ideal topological space and is denoted by X, , I . Let Y
be a subset of X.
Definition 2.2: A ideal topological space X, , I is called g-Hausdorff iff for any two distinct points p and q of
X, there exist disjoint gf-open sets U and V of X such that p U and q V.
Definition 2.3: Let X, , I be a ideal topological space, xn X be a sequence and x0 X. xn is called
converges to x0 in X, , I if for all A x0 there exists n0 such that xn A for all n n0 .
Definition 2.4: Let X, , I be a ideal topological space. A subcollection of is called a base for if every
member of can be expressed as a union of members of .
Definition 2.5: Let X, , I be a ideal topological space. A subcollection of is said to be a subbase for if
the family of all finite intersections of members of forms a base for .
Definition 2.6: Let X, 1 , I and Y, 2 , I be two ideal topological spaces. A mapping f: X, 1 , I Y, 2 , I
is called continuous if f 1 A 1 , A 2 . A mapping f: X, 1 , I Y, 2 , I is called open if f A
2 , A 1 .
Definition 2.7: A function f: X, , I Y, , I is called closed if the image of each closed set of X is closed in
Y.
Definition 2.8: Let X, i , I iJ be a family of ideal topological spaces. Then the initial ideal topology on X
= iJ Xi generated by the family p, q i iJ is called product ideal topology on X. The product ideal
topology is denoted by iJ i .
www.iosrjournals.org

12 | Page

Ideal Hausdorff Space


Definition 2.9: Let X, , I be a ideal topological space. A subset A of X is called g-closed if cl(A) U
whenever A U and U is open in X.

III.

Hausdorff in Ideal Topological Spaces

Definition 3.1: Let X, , I be an ideal topological space and x, y X such that x y. X, , I is called ideal
Hausdorff space if there exist open sets A and B such that x A, y B and A B = .
Theorem 3.2: Let X, , I be an ideal topological space and Y, be Hausdorff. If f: X, , I Y, is
injective and continuous, then X, , I is ideal Hausdorff
Proof: Let x and y be any two distinct points of X. Then f x and f y are different points of Y because f is
injective. Since Y is Hausdorff, there exist disjoint open sets U and V in Y containing f x and f y
respectively. Since f is continuous and U V = , f 1 U and f 1 V are disjoint open sets in X such that
x f 1 U and y f 1 V . Hence X is ideal Hausdorff.
Theorem 3.3: If X, , I is an ideal Hausdorff space and f: X, T, I Y, T , I is injective, surjective and open
then Y, T , I is ideal Hausdorff space.
Proof: Let y1 , y2 Y such that y1 y2 . Then f y1 and f y2 are different points of Y. Since f is surjective
there exist x1 , x2 X such that f x1 = y1 , f x2 = y2 and x1 x2 . From hypothesis X, T, I is an ideal
Hausdorff space, so there exist A, B such that x1 A, x2 B and A B = . So for each f x1 =
y1 , f x2 = y2 . This implies that f x1 = y1 f A , f x2 = y2 f B . Since f is open, then f A , f B and
f is injective. f A f B = f A B = . Thus Y, T , I is ideal Hausdorff space.
Theorem 3.4: In ideal Hausdorff space, a sequence converges to a unique point.
Proof: Assuming that x and y are two distinct points then xn converges to and y and x y. Since X, , I is
an ideal Hausdorff space there exist A, B such that x A, x B and A B = . Since xn converges to
x and A is neighborhood of x, then there exist n1 such that xn A for all n n1 . Since xn converges to
y and B is neighborhood of y, then there exist n2 such that xn B for all n n2 . Let n0 = max n1 , n2
then for all n n0 . xn A and xn B. Hence A B . This is a contradiction.
Theorem 3.5: Let X, , I be a ideal topological space and Y, , I be g-Hausdorff. If f: X, , I Y, , I is
injective and gc-irresolute, then X, , I is g-Hausdorff.
Proof: Let x and y be any two distinct points of X. Then f x and f y are different points of X because f is
injective. Since Y is g-Hausdorff, there exist disjoint g-open sets U and V in Y containing f x and f y
respectively. Since f is gc-irresoulte and U V = , f 1 U and f 1 V are disjoint g-open sets in X such that
x f 1 U and y f 1 V . Hence X is g-Hausdorff.
Theorem 3.6: X and Y are ideal Hausdorff space then X Y is Hausdorff space.
Proof: Let X and Y be ideal Hausdorff spaces. Let x1 , y1 , x2 , y2 X Y and x1 , y1 x2 , y2 . So x1
x2 or y1 y2 . Assume that x1 x2 . Since X is ideal Hausdorff space there exist A, B such that x1 A,
x2 B and A B = . Then A C and B Y are open set on X Y. Hence x1 , y1 A C , x2 , y2 B C
and A C B C = .
Theorem 3.7: Let A be a compact set in ideal Hausdorff space X, , I then A is closed.
Proof: Let x Ac . For each y A. We have x y. So there are disjoint open sets U and V. So that x U and
y V . Then V: y A is an open cover of A. Let v1 , v2 , . vn be a finite subcover. Then ni=1 Ui is an open
set containing x and contained in Ac . Thus Ac is open and A is closed.

References
[1].
[2].
[3].
[4].
[5].

Banu Pazar Varol, Halis Aygun (2010).


Clay Shonkwilers, Topology Final, University of Pennsylvania.
Ernest Michael, Topologies on spaces of subsets, Trans. Amer. Math. Soc. 71(1951), 152-182.
N.Levine, Generalized closed sets in Topology, Rend.Circ.Math.Palermo (2), (19) (1970), 89-96.
Willard General topology. Addison Wesley(1970).

www.iosrjournals.org

13 | Page

You might also like