 Open Access
 Authors : Chidanand Badiger, T Venkatesh
 Paper ID : IJERTCONV8IS12017
 Volume & Issue : RTICCT – 2020 (Volume 8 – Issue 12)
 Published (First Online): 04082020
 ISSN (Online) : 22780181
 Publisher Name : IJERT
 License: This work is licensed under a Creative Commons Attribution 4.0 International License
Weakly Quotient Map and Space
Chidanand Badiger
Department of Mathematics,
Rani Channamma University, Belagavi591 156, Karnataka, INDIA.
T Venkatesh
Department of Mathematics,
Rani Channamma University, Belagavi591 156, Karnataka, INDIA.
Abstract In this paper, we introduce the new weakly quotient map (briefly, quotient map), strongly quotient map and
*quotient map. Here will discuss composition of few such quotient maps. Also, we investigate some important properties and consequences associated with usual quotient and bi, tri quotient maps.
Key Words: quotient map, strongly quotient map, *quotient map, quotient space.
AMS Classication: 54A05, 54C10, 54H99.

INTRODUCTION
Construction is needed in any branch of science, which can be sufficiently achieved by the theory of quotient notion in Mathematics. We can see how identifications explain or yield simple objects like circle, sphere, suspension, and torus. In fact not only special objects, most of the objects are actually quotient creations. Allen Hetcher [1] has discussed mapping cylinder, mapping cone etc. This takes frontiers part of abstract quotient construction. Mobius strips, Klein bottle are quotient spaces, which have classical importance having special topological properties. Visualization is new aspect in the theory of gluing, but many time we unable to catch the object.
There are many situations in topology where we build a topological space by starting with some set (space) and doing some kind of gluing or identifications that makes suitable object for our claim. In the literature of Mathematics, quotient maps are generally called strong continuous maps or identification maps, because of strong conditions of continuity i.e. p(V) is open in M if and only if V is open in N of a surjective fiunction h: M N and their importance for the philosophy of gluing. [9] In 2000, M.Sheik John, introduced and studied wclosed sets respective properties map in topological space. Lellis Thivagar [7], Chidanand Badiger et al. [2] and Balamani et al. [10] discussed generalized quotient maps, rwquotient map and – quotient maps in topological space respectively. Biquotient, Triquotient maps studied by E. Michal [4,3].
We introduce such class of maps called quotient map, strongly quotient map, *quotient map in topological space. Which have many rich consequences concern to usual quotient and bi, triquotient maps. Here we have given example and counter examples for respective results.

PRELIMINARIES
Throughout this paper L, M, N, R and S represent the topological spaces on which no separation axioms are assumed unless otherwise mentioned. Map here mean function and for a subset F of topological space M, the M\F denotes the complement of F in M. We recall the following definitions.
Definition 2.1 [9] A subset F of a space M is said to be Weakly closed (briefly, wclosed) if cl(F) U whenever F U and U is semiopen in M. Respectively called wopen set, if M F is wclosed set in M. We denote the set of all w open sets in M by wO(M).
Definition 2.2 A map h: M N is said to be continuous map, if p(F) is closed set of M, for every closed set F of N.
Definition 2.3 A map h: M N is said to be irresolute map, if p(F) is closed set of M, for every closed set F of N.
Definition 2.4 A bijection h: M N is called – homeomorphism, if both h and p are continuous.
Definition 2.5 (Consider) A topological space M is called
wspace, if every closed set is closed set.
Theorem 2.6 Every irresolute maps are continuous.

QUOTIENT MAP
We introduce here some class of maps quotient map, strongly quotient map, *quotient map in topological space. Investigate some relations between them with usual quotient maps. Also we characterize few notions.
Definition 3.1 Let M and N be two topological spaces then a surjective map h: M N is said to be quotient map if h is
continuous and p(V) is open in M implies V is open set in N.
Example 3.2 Let h: ( , u) ( , u) and u be usual topology on , the map h is defined by h(x) = 5x is obviously (See 3.3) quotient map.
Theorem 3.3 Every quotient map is quotient map.
Proof: Let h: M N be any quotient map, by definition h is surjective. It is known that every continuous map is – continuous map, hence h is continuous. Since h is a quotient map, p(V) is open in M, implies V is open in N. As every open set is open set, implies V is open set in N. Therefore h is quotient map.
Theorem 3.4 [5; Â§ 22] If h: M N is continuous and k: N M is continuous, such that h k: N N is identity then h is quotient map.
Proof: Since h k = Id implies h is bijective. h is – continuous by hypothesis. For any V N with p(V) be open in M , continuity of k gives the k1(p(V)) = (h k)1(V) = Id1(V) = V is open in N, implies V is – open set in N. Therefore h is quotient map.
Theorem 3.5 h become quotient map, whenever h: M N
is surjective, continuous and open map.
Proof: By theorem 3.3, h is quotient map, because every h: M N is surjective, continuous and open maps are quotient map.
Theorem 3.6 h become quotient map, whenever h: M N
is surjective, continuous and closed map.
Theorem 3.7 h become quotient map, whenever h: M N
is surjective, continuous and open map.
Theorem 3.8 h become quotient map, whenever h: M N
is surjective, continuous and closed map.
Proof: Two conditions are obvious by the hypothesis. For last condition, any V N with p(V) be open in M, implies M p(V) is closed set in M. Since h is closed map implies h(M p(V)) = N V is closed in N. Therefore V is – open set in N, h is quotient map.

STRONGLY QUOTIENT AND QUOTIENT MAP
Definition 4.1 Let M and N be two topological spaces, a surjective map h: M N is said to be strongly quotient map provided V N is open in N if and only if p(V) is – open in M.
Definition 4.2 Let M and N be two topological spaces, a surjective map h: M N is said to be *quotient map if h is
irresolute and p(V) is open in M implies V is open set in N.
Theorem 4.3 Every injective *quotient map is *open map.
Proof: Let h: M N be any injective *quotient map, For every open set V in M, injective gives p(h(V)) = V is
open set in M. Since h is *quotient map, implies h(V) is open set as well open in N.
Theorem 4.4 Every injective *quotient map is *closed map.
Proof: Let h: M N be injective *quotient map, For every
closed set F in M , implies M F is open set in M . Obvious h(M F) = N h(F) is open set in N. Hence h(F) is closed set in N.
Theorem 4.5 Every strongly quotient map is quotient map.
Proof: Let h: M N be strongly quotient map, obviously the first two conditions hold. For V N with p(V) be an open set in M, also that become open in M. Since h is strongly quotient map, implies V is open set in N, therefore V is open set in N.
Theorem 4.6 Every *quotient map is strongly quotient map.
Proof: Let h: M N be strongly *quotient map, two conditions are obvious. Because V is any open set in N is also
open set in N. Since h is irresolute implies p(V) is – open set in M. For W N with p(W) be an open set in M, implies p(W) is open in M. Since h is *quotient map, implies W is open set in N.
Theorem 4.7 Every *quotiet map is quotient map. Proof: It followed by theorem 4.5 and 4.6

CONSEQUENCES ON COMPOSITIONS Theorem 5.1 Composition of two quotient maps is – quotient map.
Proof: We know composition of two quotient maps is quotient map [5; 3.29]. Hence by theorem 3.3 which is – quotient map.
Remark 5.2 Composition of quotient map with quotient map need not be quotient map.
Remark 5.3 Composition of quotient map with quotient map need not be quotient map.
Remark 5.4 Composition of two quotient maps need not be quotient map.
Theorem 5.5 If N is w topological space, h: M N is – quotient map and k: N R is quotient map then k h is – quotient map.
Proof: Obviously k h is surjective and for every open set U R, the (k h)1(U) = p(k1(U)) which is open set in M, implies k h is continuous. For every U R with (k h)1(U) = p(k1(U)) is open in M, implies k1(U) is
open set in N, by the hypothesis k is quotient map. Hence
U is open set as well open set in R.
Theorem 5.6 If N is w topological space, h: M N is quotient map and k: N R is quotient map then k h is – quotient map.
Proof: Similar arguments with essential changes in 5.5 can works.
Corollary 5.7 If N is w topological space, h: M N is – quotient map and k: N R is quotient map then k h is – quotient map.
Proof: It fallows by combining the theorems 5.5 and 5.6 and (Converse need not hold).
Theorem 5.8 If h: M N is a strong quotient map and k: N R is a quotient map then koh is strong quotient map.
Proof: Here surjective of k and h gives koh is surjective and koh is continuous map due to composition of continuous and – continuous. Lastly if p(k1(V)) is open in M. Since h is strong quotient map and quotient of k implies V is open in R. Therefore koh is strong quotient map.
Theorem 5.9 If h: M N is open surjective, irresolute and
k: N R is quotient map then k h is quotient map. Proof: Obviously k h surjective. For every open set U R, the k is continuous and h is irresolute gives (k h)1(U) = p(k1(U)) is open set in M. Now for every W R with (k h)1(W) = p(k1(W)) be open in M.
Since h is open map h (p(k1(W))) = k1(W) is open in
N, given k is quotient map implies W is open set in R. Hence k h is quotient map.
Theorem 5.10 If h: M N is *open surjective and – irresolute and k: N R is strongly quotient map then k h is strongly quotient map.
Proof: Obviously k h surjective and continuous. For every U R with (k h)1(U) = p(k1(U)) be open in M , since h is *open map implies h(p(k1(U)) ) = k1(U) is open in N. Since k is strongly quotient map implies U is open set in R. Hence k h is strongly quotient map.
Theorem 5.11 If h: M N is *open, surjective and – irresolute and k: N R is *quotient map then k h is * quotient map.
Proof: Arguments in 5.9 and 5.10 yield the proof.
Theorem 5.12 If h: M N and k: N R are *quotient maps then k h is *quotient map.
Proof: Obviously k h surjective and irresolute. For every U R with (k h)1(U) = p(k1(U)) be open in M , since h is *quotient map implies k1(U) is open and – open in N. Since k is *quotient map implies U is open set in R. Hence k h is *quotient map.

STANDARD COMPARISONS AND
APPLICATIONS
Theorem 6.1 If h: M N is any map, where M and N are w
topological spaces then following are equivalent.

h is *quotient map

h is strongly quotient map

h is quotient map
Proof: (i) (ii) Surjective is obvious and since every – irresolute map is continuous map. Third condition is trivial by the definition of *quotient map.

(iii) Obvious by the similar arguments in above.

(i) Surjective is obvious and h is irresolute, because every continuous map is irresolute because N is w. Let p(V) be open set in M, implies p(V) is open set in M. The quotient map of h implies V is open set and open set in N.
Theorem 6.2 If h: (M, ) (N, ) is surjective, continuous map then following are equivalent.

h is strongly quotient map.

For any k: (N, ) (R, ) then k is continous if and only if k h is continuous.

For fixed topology on M then is the maximal topology for h to be continuous.

Proof: (i) (ii) For every open set U R , the (k h)1(U) = p(k1(U)) is open set in (M, ) because of k is continuous and h is continuous. Therefore k h is continuous. Conversely, for every open set U of (R, ), the (k h)1(U) = p(k1(U)) is open set in (M, ) since h is strongly quotient map gives k1(U) is open in (N, ). Therefore k is continuous.

(iii) On contrary, with fixed toplogy on M, there exists another topology such that h: (M, ) (N, ) is
continuous. Obviously we see identity map id: (N, ) (N, ) become not continuous, because . But id h = h: (M, ) (N, ) become continuous. Hence id h is – continuous which contradicts to the hypothesis in (ii). Therefore is the maximal topology for h is continuous.

(i) Surjective and continuous of h are obvious. For last condition, on contrary, there exist a V0 N with p(V0) is open set in (M, ), but V0 is not an open set in (N, ). Let = {V0} , which induces topology on N , which contains V0 , also . But h: (M, ) (N, ) also – continuous. Which contradicts to (iii), therefore h is strongly
– quotient map.
Theorem 6.3 [5; Â§ 22] If h: M N is continuous and k: N M is continuous, such that h k: N N is identity with N is w topological space then h is *quotient map. Proof: Arguments in theorem 3.6 and N is wspace can give the proof.
Theorem 6.4 [5; Â§ 22] If h: M N is a strong quotient map and k: M R is a map that is constant on each set p({y}) for y N, then

k induces a map l: N R such that loh = k.

The induced map l is continuous iff k is continuous.

The induced map l is quotient iff k strong quotient map.
Proof: i) Since k is constant on p({y}) for y N, the set
k(p({y})) is a one point set in R . By considering l(y)
denote this point, then which is clear that l is welldefined on
N and can see as each x M , l(h(x)) = k(x).

If l is continuous and h is continuous implies loh = k is continuous. On other hand let U be any open set in R then k1(U) is an open set due to k is continuous. But k1(U) = p(l1(U)) is open in M. Since h is a strong
quotient map, l1(U) is a open set. Hence l is continuous.

If l is quotient map and h is quotient map by theorem 5.11, loh = k is strong quotient map. On other hand, since loh = k surjective implies l is surjective and l is continuous by above result (ii). If l1(U) is open in N and – continuity of h implies p(l1(U)) = k1(U) is open in
M. Since k is strong quotient map implies U is open in R. Hence l is quotient map.
The following theorems 6.5 to 6.13 followed obviously from the results of [4] i.e. every biquotient map is quotient map and from [4,9] implies that every tri quotient maps are quotient maps Hence by theorem 3.3 both class of maps become h as quotient maps.
Theorem 6.5 Arbitrary product map of bi quotient maps are
quotient.
Theorem 6.6 If N is Hausdorff space and any map h: M N is surjective continuous then h and h Ã— IdR are quotient maps for every space R.
Theorem 6.7 If N is Regular space , map h: M N is surjective continuous map and h Ã— k is quotient maps for every quotient maps k then h quotient maps.
Theorem 6.8 If maps h: M N and k: R S are quotient maps and M and N Ã— S are Hausdorff kspaces then h Ã— k is
quotient map.
Theorem 6.9 Any surjective contiguous map h from M to a hausdorff space N is quotient map whenever h is compact covering, and N is locally compact.
Theorem 6.10 The h: M N is continous surjective map become quotient map whenever either h is perfect or h is compactcovering and Y is locally compact and Hausdorff.
Theorem 6.11 If M regular sievecomplete space, N is paracompact space then every inductively perfect map h: M N is quotient.
Theorem 6.12 If M completely metrizable, N is paracompact space then following gives h: M N is quotient.

Either N is metrizable or N is completely metrizable.

Y is a countably bikspace.
Theorem 6.13 Product map h Ã— k: M Ã— R N Ã— S is – quotient map whenever h: M N and K: R S are tri quotient.
Theorem 6.14 Suppose h: M N and k: N R are continuous maps then

If h and k are triquotient, or bi quotient, or quotient then is koh is quotient map.

If koh is triquotient, or bi quotient, or quotient, or quotient, or strong quotient map then is k is quotient map.
Proof: i) Composition of two triquotients, or bi quotients, or quotients are respectively triquotients, or bi quotients, or quotients. Hence by Theorem 3.3 koh is quotient map.
ii) Refer [3;Theorem 7.1 and Theorem 3.6] or Arguments are easy.
Theorem 6.15 A maph: M N is harmonious then h is – quotient map.
Proof: Arguments in [8; Proposition 3.8] says harmonious implies tri quotient and [3,8] gives the proof.
Construction 6.16 Let M be a topological space and N be a set. Let h: M N be any surjective map construct a set Qw = { V N  p(V) is w open set in M } then obviously the collection Qw is not nessasarly topology on N (See basic union intersection properties of two open sets need obey axioms of topology) but some time (If M with topology w then clear that Qw become topology on N) this become topology. With this topology on N , h: M N become quotient map and quotient map. This topology Qw we are calling quotient topology and (N, Qw) is called quotient topological space.
With which we can see weak sense of gluing or identifying or joining in standard constructions like Cone, cylinder, Sphere, Mobius strip, Torus, Klein bottle and suspension etc. [1].
For standard example If ~ is any equivalence relations on M
with w then cannanical projection : M M~ by, (x) =

is clear quotient map, M~ is quotient topological
space under quotient topology Qw .
Theorem 6.17 If M with topology w , h: M N is quotient map and M = {p({y}) y N} then N is – homeomorphic to M.
Proof. M is Qw topological space From theorem 3.58. define the map k: M N , by k([x]) = h(x) became – homeomorphism.
Application 6.18 The quotient map and quotient space are finding applications in gluing in some weak sense. Discussed map and space are weak sense of gluing or identifications and weakly glued space. As seen every gluing is gluing but not converse. Anyone can see the characterization notion that, If M is w given any space N
and map from M to N then the map is quotient map if and
only if it is quotient map. Hence gluing and weak gluing are same when M (involved space) is a w space.
ACKNOWLEDGMENT
The research work of the first author is supported by the Council of Scientific and Industrial Research, India under grant award no: 09/1284(0001)2019EMRI with JRF exam roll no 400528.
REFERENCES

A. Hetcher, Algebraic Topology, Cambridge University press (2002).

Chidanand Badiger, T.Venkatesh and Basayya B. Mathad, Regular weakly quotient map and space, Malaya Journal of Matematik, Vol. S, No. 1, 115120, 2020.

E. Michel, Complete Spaces And TriQuotient Maps, University Of Washington Seattle, Washington, (1976), 716733.

E. Michel, Biquotient maps and Cartesian products of quotient maps, Annales de l institute Fourier, tome, 18,2 (1968), 287302.

J. R. Munkres, Topology, Prentice Hall India Learn. Priv. Ltd; Second edition, (2002).

J. M. Lee, Introduction to Topological Manifolds, springer, (2000).

L. Thivagar, A Note on quotient mappings, Bull, Malaysian math.Sci.(Second series,, 14(1991), 2130.

M. Pillot, Triquotient maps become inductively perfect with the aid of consonance and continuous selections, Topology and its Applications, 104(2000), 237253.

M.Sheik John, On wclosed sets in topology, ActaCienciaIndica,, 4(2000), 389392.

N. Balamani and A.Parvati, On topological quotient

mappings, Int. J. of Math. Trends and Tech, 48(3)(2017), 209213.