Next Article in Journal
Simple Solutions of Lattice Sums for Electric Fields Due to Infinitely Many Parallel Line Charges
Previous Article in Journal
An Optimal Fourth Order Derivative-Free Numerical Algorithm for Multiple Roots
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Analysis of Homotopy Decomposition Varieties in Quotient Topological Spaces

Department of Aerospace and Software Engineering (Informatics), Gyeongsang National University, Jinju 660701, Korea
Symmetry 2020, 12(6), 1039; https://doi.org/10.3390/sym12061039
Submission received: 31 May 2020 / Revised: 18 June 2020 / Accepted: 19 June 2020 / Published: 21 June 2020

Abstract

:
The fundamental groups and homotopy decompositions of algebraic topology have applications in systems involving symmetry breaking with topological excitations. The main aim of this paper is to analyze the properties of homotopy decompositions in quotient topological spaces depending on the connectedness of the space and the fundamental groups. This paper presents constructions and analysis of two varieties of homotopy decompositions depending on the variations in topological connectedness of decomposed subspaces. The proposed homotopy decomposition considers connected fundamental groups, where the homotopy equivalences are relaxed and the homeomorphisms between the fundamental groups are maintained. It is considered that one fundamental group is strictly homotopy equivalent to a set of 1-spheres on a plane and as a result it is homotopy rigid. The other fundamental group is topologically homeomorphic to the first one within the connected space and it is not homotopy rigid. The homotopy decompositions are analyzed in quotient topological spaces, where the base space and the quotient space are separable topological spaces. In specific cases, the decomposed quotient space symmetrically extends Sierpinski space with respect to origin. The connectedness of fundamental groups in the topological space is maintained by open curve embeddings without enforcing the conditions of homotopy classes on it. The extended decomposed quotient topological space preserves the trivial group structure of Sierpinski space.
MSC:
54E15; 55Q05; 55Q52; 55MXX

1. Introduction

The symmetry breaking in any system involves a wide variety of topological excitations and it contains the associated topological constraints. The preparations of homotopy groups and related decompositions provide meaningful insights into the phases of a system after the symmetry is broken [1]. The homotopy decomposition in the classifying space is constructed considering that the space contains torsion-free groups [2]. The special homotopy classes in a category of based spaces are proposed allowing the decomposition of stable homotopy. The formulation is based on positive filtration of the space and the Toda bracket [3]. The decomposition and related decomposed homotopy types for metrizable L C n spaces are formulated in [4]. Interestingly, often the homotopy type of original space and the decomposed space are very similar in L C n spaces. Moreover, the cellular decomposition G of S n (n-sphere) in higher dimension ( n 5 ) results in the formation of n-manifold denoted by S n / G , which is also homeomorphic to S n . If X , Y are metric continua with the absolute neighbourhood retract then there is a isomorphic functional continua f n between the fundamental groups π n ( X ) and π n ( Y ) . It indicates that if X is compact as well as connected space and G is an upper semicontinuous decomposition of X into the corresponding compact quotient space X / G , then X and X / G have same homotopy type. However, this observation holds if and only if the quotient space X / G is finite dimensional in nature.
There are varieties of fundamental groups based on the nature of topological spaces. It is known that in a connected and compact metric space, the fundamental groups can be finitely generated [5]. In the loop based topological space X , the quasitopological fundamental group π 1 q t o p ( X , x 0 ) is a fundamental group variety with inherited quotient topology [6]. Interestingly, if a topological space X does not have any universal cover then the fundamental groups are non-discrete. Moreover, the quasitopological fundamental group is homotopy invariant in nature. It is illustrated that a locally path connected metric space X is π 1 -shape injective if the fundamental groups given by π 1 q t o p ( X , x 0 ) are separated. Hence, a locally path connected space is homotopically path-Hausdorff if the fundamental group π 1 q t o p ( X , x 0 ) follows separation axioms in T 1 topological space. The Peano continuity is defined in the compact metric space, which is a connected space (including the locally connectedness property). There exists homeomorphism between a fundamental group in one-dimensional Peano continuum and another fundamental group in the Peano continuum on a plane if the map is continuous [7]. Moreover, a set of homotopy fixed points derived from a planar Peano continuum coincides with a point set representing a space, which is not a (locally) simply connected space. In one-dimensional wild space with Peano continuum, the fundamental group determines the respective homeomorphism type. Note that the loops of fundamental groups in a planar space (set) are homotopy rigid [7].
In this paper, the two different varieties of homotopy decompositions are proposed in a connected topological space. The aim is to analyze the variations in algebraic and topological properties of homotopy decompositions in quotient topological spaces depending on the connectedness of decomposed subspaces as well as fundamental groups. The main difference between the proposed decomposition varieties is the variations of connectedness of the decomposed subspaces. However, every variety of homotopy decomposition considers connected fundamental groups having different base points. The analysis of decomposed homotopy within quotient topological space is presented maintaining Hausdorff property. The decomposed quotient topological space extends Sierpinski space symmetrically with respect to origin in specific case. In the following subsections (Section 1.1 and Section 1.2), brief descriptions about the concepts of homotopy decomposition and motivation for this work are presented.

1.1. Homotopy and Decomposition

The fundamental groups in a space can be formulated in various different ways. In general, the fundamental group F of a group manifold denoted by G is Abelian. It is shown that if the fundamental group of homogeneous space is solvable then it can be finitely generated [8]. If E is the exterior of a knot based at point x , then the fundamental group of knot exterior can be defined as γ K : [ 0 , 1 ] 2 ( E , x ) and in such case the homotopies fix the boundary points [9]. The Kampen fundamental group is variety of fundamental groups in a topological space, where such groups are dependent on the homeomorphism in subspaces [10]. In other words, the Kampen fundamental group needs identification of homeomorphic subsets of underlying topological space. It is important to note that, Kampen fundamental group considers separable and regular topological spaces. As the simplexes are constructed with the possibility of inclusion of deformation, hence the underlying topological space is considered to be an arc-wise connected space. Interestingly, the Kampen fundamental groups can be generated as arc-wise connected components by using countable generators. If X , Y are two one-connected spaces, then the Postnikov homotopy decomposition of f : X Y reduces space Y into a point [11]. A topological space is not separable if it is path connected and most possibly a convex space. However, this concept is further refined in hyperspace topological structures. If X is a space then the topology in hyperspace is in 2 X containing every closed subsets equipped with Vietoris topology of exponential type [12]. The compactness of Vietoris topological hyperspace and the compactness of original space X are equivalent in nature. The ordered arc maintains connectedness in a hyperspace by following the ordered set inclusion principle. As a result, the continuum in a topological hyperspace is decomposable if and only if it is a union two proper subcontinua.
The compact Lie groups form classifying spaces and the corresponding homotopy theory is developed for those classifying spaces. The homotopy decomposition of such classifying spaces are constructed considering that maximal torus T exists in such spaces [13]. The similar homotopy decomposition results were proposed by A. Borel considering the existence of normalizer N T of torus forming the Weyl group given by N T / T . It is important to note that the Lie group is a connected group supporting isomorphism and cohomology of primes. The corresponding homotopy decomposition applies the algebraic functors of category theory [13]. Specifically, the functors maintain left-adjoint property. From the geometric point of view, the groups of symplectomorphisms on symplectic manifolds are considered for generating homotopy on the topological groups [14]. This means that symplectomorphic groups of manifolds are considered as a class of topological groups. The initial results are formulated based on symplectomorphic group actions on contractible spaces. In such case, a specific condition is maintained that spaces should be compatible to almost complex symplectic manifolds. The constructions employ various aspects of homotopy pushout decomposition, canonical projections and amalgamation of topological groups [14]. Interestingly, the concept of tubular neighbourhood in a contractible space is introduced to analyze homotopy. Note that, in this case the homology commutes with sequential colimits of T 1 topological spaces with closed inclusion [14]. Moreover, the homotopy decomposition follows that the homotopy colimits maintain weak contraction and a weak equivalence relation in contractible spaces, generating a quotient space.

1.2. Motivation

The theories of homotopy and fundamental groups of algebraic topology have several applications. The properties of fundamental groups and homotopy differ depending on planarity, connectedness and retraction within a space. In general, the homotopy decomposition considers different forms of symmetries and homeomorphisms. However, an interesting question is: if such symmetry and homeomorphism is relaxed in a connected topological space, then what would be the properties of decompositions? What would be the nature of homotopy decompositions within the quotient topological spaces if the fundamental groups are connected? Moreover, if the connected fundamental groups differ in homotopic rigidity, then what would be the structural properties of connected quotient topological spaces? These questions are addressed in this paper in relative details. It is illustrated that, various homotopy decompositions with different forms of connectedness as well as homotopic rigidity give rise to different sets of properties in the decomposed quotient topological spaces. Interestingly, in specific cases, the decomposed quotient space generated from homotopy decomposition extends Sierpinski space symmetrically with respect to origin. However, the trivial group structure in Sierpinski space is preserved within the extended decomposed quotient topological space.
Rest of the paper is organized as follows. The preliminary concepts are presented in Section 2. The proposed definitions and main results are presented in Section 3 and Section 4, respectively. The discussion about interrelation between the decomposed quotient space and Sierpinski space is illustrated in Section 5. Finally, Section 6 concludes the paper.

2. Preliminary Concepts

In this section a set of basic definitions and preliminary concepts are presented to establish the notions about topological spaces and homotopy. Note that the symbol S 1 denotes 1-sphere in a complex plane by following the standard representation. Let X be a point set and τ X P ( X ) be a subset of power set of X . The structure ( X , τ X ) is called a topological space if the following axioms are satisfied by it: (I) { ϕ , X } τ X , (II) [ { A i : i Z + } τ X ] [ i Z + A i τ X ] and, (III) [ { A i , A k } τ X ] [ ( A i A k ) τ X ] . It indicates that the topological space includes indiscrete topology, countably infinite union of subspaces and finite intersection between subspaces. A function f : ( X , τ X ) ( Y , τ Y ) between two topological spaces is continuous if x X , y Y such that f ( U x ) U y , where U x , U y are open neighbourhoods of x , y respectively. Let two continuous functions be defined between two spaces X , Y as, f 1 : X Y and f 2 : X Y . The functions f 1 , f 2 are called homotopic if there exists continuous F : X × [ 0 , 1 ] Y such that, F ( x , 0 ) = f 1 ( x ) and F ( x , 1 ) = f 2 ( x ) . If we consider that { p i | p i : [ 0 , 1 ] X } is a set of continuous functions then it prepares two base points p i ( 0 ) X , p i ( 1 ) X in the space for some i Z + . If we consider two such continuous functions, p 1 : [ 0 , 1 ] X and p 2 : [ 0 , 1 ] X then F p : [ 0 , 1 ] 2 X is called a path homotopy if following properties are satisfied: (I) F p ( s [ 0 , 1 ] , 0 ) = p 1 ( s ) , (II) F p ( s [ 0 , 1 ] , 1 ) = p 2 ( s ) , (III) F p ( 0 , t [ 0 , 1 ] ) = p 1 ( 0 ) = p 2 ( 0 ) and (IV) F p ( 1 , t [ 0 , 1 ] ) = p 1 ( 1 ) = p 2 ( 1 ) .
The fundamental group in ( X , τ X ) at a base point x b X is given by π 1 ( X , x b X ) containing the homotopy class [ p ] x b and H is the homotopy product such that p i , p k [ p ] x b , p i H p k is a loop at base point x b . If { x 0 , x 1 , x 2 } X are distinct base points in path homotopies (not necessarily fundamental groups) then the homotopy product in topological space is given as: p i H p k , where p i ( 0 ) = x 0 , p i ( 1 ) = x 1 and p k ( 0 ) = x 1 , p k ( 1 ) = x 2 . Note that, the homotopy functions p i , p k may belong to different path homotopy classes, which are equivalent classes each. Moreover, the homotopy product maintains the algebraic condition given by, [ p ] H   [ q ] = [ p H   q ] , where [ p ] , [ q ] are two homotopy classes in ( X , τ X ) .
Two circle functions f c 1 : [ 0 , 2 π ] S 1 , f c 2 : [ 0 , 2 π ] S 1 are called circle homotopic if there exits a homotopy given by F c : [ 0 , 2 π ] × [ 0 , 1 ] S 1 such that the following condition is maintained: t [ 0 , 1 ] , F c ( 0 , t ) = F c ( 2 π , t ) . In the topological space ( X , τ X ) , if A X is a subspace then v : X A is a retract if and only if v ( . ) is continuous and the identity v ( a A ) = a is maintained.

3. Connected Fundamental Groups and Decomposed Homotopy

In this section, a set of definitions are formulated for topological path embeddings, homotopy decompositions, and the generation of decomposed quotient topological spaces. In this paper, sets and Z represent sets of reals and integers, respectively. Note that, we consider two separable Hausdorff topological spaces ( X , τ X ) and ( Y , τ Y ) for the constructions. The open set U x X denotes neighbourhood of x X and the similar concept also applies to ( Y , τ Y ) for some point in the corresponding topological space. If A is topologically homeomorphic to B then it is denoted by hom ( A , B ) . It is important to note that, the proposed definitions and results consider multiple connected as well as homeomorphic fundamental groups, where at least one group is circle homotopy rigid. This indicates that, if we consider π 1 ( X , x α ) as a fundamental group in ( X , τ X ) , then it is homotopy rigid with respect to a set of circle groups G S = { S 1 | i : i Z + } such that h [ f ] x α is closed and there exists a homotopy equivalence χ : S 1 | i ( A X ) with homeomorphism hom ( S 1 , A ) , where the equivalence relation is preserved as A h .

3.1. Topological Path Embedding

The topological path embedding closely follows the concept of generalized curve embeddings within topological spaces [15]. Let A be an arbitrary set and ( X , τ X ) be a Hausdorff topological space. The continuous injective function l : A X is a topological path embedding such that l ( a A ) l ( b A ) if a b . The functional composition involving such topological path embedding is employed in later sections to construct homeomorphic curve embedding and associated structures for homotopy decompositions. In particular, we are interested in arbitrary open paths (i.e., not loops) generated from the corresponding arbitrary set. This means that, the topological open path embedding does not involve any homotopy class. However, in order to generate such path embedding with homeomorphism to a given arbitrary curve represented by a function, the open paths are composed from the function with homeomorphism as defined below.

3.2. Homeomorphic Embedding of Curve

Let f : [ 0 , 1 ] A be a continuous open curve. The topological embedding ( l f ) : [ 0 , 1 ] ( X , τ X ) is a homeomorphic open path embedding if x ( l f ) , y A such that U y l 1 ( U x ) , where ( l f ) ( . ) is injective and continuous in ( X , τ X ) .
Specifically, we consider { x 0 } , { x 1 } τ X such that x 0 = ( l f ) ( 0 ) and x 1 = ( l f ) ( 1 ) are distinct points in the embedded open curve. This paper considers multiple fundamental groups in ( X , τ X ) , which are connected through such points.

3.3. Connected Fundamental Groups

Let π 1 ( X , x α ) and π 1 ( X , x β ) be two fundamental groups in ( X , τ X ) such that { A α , A β } τ X with { x α } A α and { x β } A β . The fundamental groups π 1 ( X , x α ) and π 1 ( X , x β ) are called connected in ( X , τ X ) if x 0 = x α and x 1 = x β .
It is considered that W X , V X such that W V ϕ and A α W , A β V , where A α A β = ϕ . Thus, the fundamental groups are placed within the separation of subspaces in a path-connected topological space.
Remark 1:
Evidently, there exist two path-homotopies F 0 : [ 0 , 1 ] 2 ( A 0 X , τ X ) and F 1 : [ 0 , 1 ] 2 ( A 1 X , τ X ) generating the fundamental groups π 1 ( X , x 0 ) and π 1 ( X , x 1 ) in ( X , τ X ) . The corresponding homotopy classes associated to π 1 ( X , x 0 ) and π 1 ( X , x 1 ) are denoted by [ h ] x 0 and [ h ] x 1 respectively. For the simplicity of notation, the fundamental groups in ( X , τ X ) are distinguished by indicated base points within the topological space.

3.4. Decomposed Homotopy Loop

If the homotopy loop h i Z 0 + [ h ] x 0 then the decomposition of h i is given by D h i = { E i 1 , E i 2 , { x 0 } } such that:
B ( B D h i ) = h i , E i 1 E i 2 ϕ , x 0 E i 1 E i 2 .
Remark 2:
In this paper we consider the equivalence relation h i S 1 allowing homotopy rigid. However, it is maintained that hom ( h k , S 1 ) for h k Z 0 + [ h ] x 1 if not specified otherwise in some cases. Moreover, the connected variety of decomposition is prepared in a way so that | E i 1 E i 2 | = 1 , where E i 1 , E i 2 are half-open. Note that, if the decomposition is fully disconnected then E i 1 E i 2 = ϕ and the decomposed components are open. In any case, the decomposition maintains the condition given as E i 1 S 1 , E i 2 S 1 by following homotopy rigid.
Once the decomposition of a homotopy loop is completed, the quotient topological maps can be performed to generate quotient topology under decomposition. In this case, two separable (i.e., not path connected) topological spaces are considered which are denoted by ( X , τ X ) and ( Y , τ Y ) , where X Y = ϕ .

3.5. Decomposed Quotient Topology

Let the two separable Hausdorff topological spaces be given by ( X , τ X ) and ( Y , τ Y ) . The surjective quotient map γ : D h i ( Y , τ Y ) is called a decomposed quotient map if the following conditions are satisfied:
{ A 0 , A i n } τ Y , n { 1 , 2 } , γ ( E i n ) = a i n A i n , γ ( { x 0 } ) = a 0 A 0 .
The concept of decomposed quotient map enforces surjective property of the map while generating quotient topology from the partitioned set-valued domain. It is illustrated in later sections of this paper that the generated quotient topology under decomposition can retain discrete group algebraic structures. However, first, we present a definition of the related cyclic generator and the corresponding concept of cycle number.

3.6. Cyclic Generator and Cycle Number

Let h i [ h ] x 0 be a homotopy loop in π 1 ( X , x 0 ) in ( X , τ X ) and { g } be an isolated point set. The function μ : h i { g } is defined as:
m , n , p Z + , μ ( x h i ) = g , g m a i 1 , m = 1 , 4 , , g n a i 2 , n = 2 , 5 , , g p a 0 , p = 3 , 6 ,
Hence, the element g is the cyclic generator of γ ( D h i ) within ( Y , τ Y ) preparing a cyclic group itself represented as G g = ( μ ( h i ) , ) . The cycle number r Z + denotes the repetition of cycle g 4 r in γ ( D h i ) .
Remark 3:
It is easy to verify that if r = 1 then g 4 completes a full closed cyclic sequence in γ ( D h i ) . Note that g 3 is identified with the identity element.

4. Main Results

A set of main results are presented in this section. It is important to note that the decomposed quotient map between two separable topological spaces does not inherently generate group structure. If the homotopy decomposition is a connected variety then the quotient map cannot be a uniform surjection and the co-domain cannot induce a group structure. This observation is presented in next theorem.
Theorem 1:
The decomposed quotient topology γ ( D h i ) cannot induce group structure from h i S 1 in ( X , τ X ) to ( Y , τ Y ) maintaining uniform surjection.
Proof: 
Let ( X , τ X ) and ( Y , τ Y ) be two Hausdorff topological spaces such that X Y = ϕ . Let π 1 ( X , x 0 ) be a fundamental group in subspace ( A 0 X , τ X ) associated to homotopy class [ h ] x 0 with h i S 1 , where h i [ h ] x 0 . If γ : D h i ( Y , τ Y ) is a decomposed quotient map, then B 1 E i 1 and B 2 E i 2 such that γ ( B 1 ) = a i 1 A i 1 and γ ( B 2 ) = a i 2 A i 2 , where { A i 1 , A i 2 } τ Y . Suppose, a 0 A 0 τ Y such that it maintains γ ( { x 0 } ) = a 0 in ( Y , τ Y ) . Let us assume that, G = ( γ ( D h i ) , Y ) be a group of order 3, where Y : γ 2 γ is closed in ( Y , τ Y ) . Furthermore, let us consider that in the decomposed quotient topological subspace the following group algebraic properties hold as, ( a i 1 γ ) = ( a i 2 1 γ ) and a 0 γ , ( a i n Y a 0 ) = ( a 0 Y a i n ) = a i n with n { 1 , 2 } . However, the definition of D h i indicates that x h i such that γ ( { x } ) = A x τ Y , where A x = { a i 1 , a i 2 } A i 1 A i 2 and x E i 1 E i 2 . If h i S 1 condition is maintained in π 1 ( X , x 0 ) , then γ ( . ) is not invertible and it is a multi-valued surjection. This leads to the contradiction about formation of induced G = ( γ ( D h i ) , Y ) due to decomposed quotient map, because it is not a uniform surjection. Hence, as a consequence G = ( γ ( D h i ) , Y ) is not an induced group structure in the decomposed quotient topology in ( Y , τ Y ) under uniform surjection. □
Example 1:
The following example illustrates the concept. Let S 1 be a unit circle group in the complex z-plane and h i S 1 . In G = ( S 1 , ) multiplicative group structure if x θ = e i θ in h i S 1 then x θ h i , x θ 1 h i such that x θ . x θ 1 = x θ 1 . x θ = e 2 i π S 1 . Moreover, it is true that e ± i θ S 1 , e ± i θ . e 2 i π = e 2 i π . e ± i θ = e ± i θ . Suppose, E i 1 , E i 2 are half-open in S 1 and { x 0 } = { e 2 i π } for π 1 ( X , x 0 ) . If E i 1 E i 2 = { e i π } condition is maintained in D h i by following concept of connected decomposition then it leads to e i π . e i π = e 2 i π S 1 . Moreover, in D h i , one can select x θ E i 1 \ { e i π } and x θ 1 E i 2 \ { e i π } . As a result, if we consider γ ( D h i ) = { y θ , y θ 1 , y 0 } Y such that y θ = γ ( { x θ } ) and y θ 1 = γ ( { x θ 1 } ) , then assuming G = ( h i S 1 , ) exists one can conclude that y 0 = γ ( { x 0 } ) = γ ( { x θ . x θ 1 } ) , where y 0 = γ ( { x θ } ) . γ ( { x θ 1 } ) = y θ . y θ 1 . However, this leads to contradiction because γ ( { e i π } ) = { y θ , y θ 1 } is a multi-valued surjection maintaining E i 1 E i 2 = { e i π } and y θ . y θ 1 = y 0 . Hence γ ( . ) is not a uniform surjection inducing a group structure in ( Y , τ Y ) .
However, if the homotopy decomposition is a disconnected variety then the surjection is uniform, and the decomposed quotient map induces a group structure. This property is presented as a corollary below.
Corollary 1:
If the decomposition of h i [ h ] x 0 is fully disconnected such that E i 1 E i 2 = ϕ then there is uniform quotient surjection γ ( . ) inducing a group G = ( γ ( D h i 1 ) , ) of order 3 in ( Y , τ Y ) , where D h i 1 is the disconnected decomposition.
Proof: 
Let D h i 1 be a disconnected decomposition of h i [ h ] x 0 considering fundamental group π 1 ( X , x 0 ) in the topological space ( X , τ X ) . Thus, in D h i 1 the decomposition maintains E i 1 E i 2 = ϕ , where both E i 1 , E i 2 are open sets. If the disconnected decomposition is formulated as, D h i 1 = { E i 1 , E i 2 , { x 0 , x 1 } } such that B ( B D h i 1 ) = h i and the corresponding uniform surjection is given by γ : D h i 1 ( Y , τ Y ) generating quotient topology such that γ ( E i 1 ) = a i 1 , γ ( E i 2 ) = a i 2 and γ ( { x 0 , x 1 } ) = a 0 then G = ( γ ( D h i 1 ) , ) is a group of order 3 if and only if a i 1 = a i 2 1 and a i n a 0 = a 0 a i n = a i n , where n { 1 , 2 } . □
Remark 4:
It is interesting to note that, the multi-valued surjection (i.e., non-uniform surjection) can be transformed under function composition to induce a group structure in quotient topological space. Let P ( A i ) be a power set of A i = { a i 1 , a i 2 , a 0 } and δ : P ( A i ) A i be a single valued function following the concept of axiom of choice [16,17]. If we restrict δ : P ( A i ) A i such that δ ( B P ( A i ) ) = b B if | B | = 1 and apply axiom of choice if | B | > 1 , then ( δ γ ) : D h i ( Y , τ Y ) can induce a group G = ( ( δ γ ) ( D h i ) , ) in quotient subspace in ( Y , τ Y ) .
In general, the orientations of various sets of path homotopies influence the behaviour of homotopic product ( H ) of functions in homotopy classes in the fundamental groups. For example, h i H h ¯ i = x 0 in π 1 ( X , x 0 ) , where h ¯ i is the orientation reversing. However, the orientations in decomposed homotopy paths also influence the formation of induced groups in quotient topological space. The appropriately oriented homotopy paths in decomposed homotopy loops can directly induce additive group of order 3 in the decomposed quotient topological spaces. This observation is presented in next theorem.
Theorem 2:
If s : [ 0 , 1 ] h i and q : [ 0 , 1 ] h i are two orientation reversing paths in decomposed homotopy loop in [ h ] x 0 then there exists decomposed quotient map γ : D h i ( Y , τ Y ) generating G = ( γ ( D h i ) , + ) in quotient topological space.
Proof: 
Let ( X , τ X ) and ( Y , τ Y ) be two Hausdorff topological spaces, which are not path connected. Let π 1 ( X , x 0 ) be a fundamental group in ( X , τ X ) and h i [ h ] x 0 in the homotopy class such that h i S 1 . If s : [ 0 , 1 ] h i and q : [ 0 , 1 ] h i are two orientation reversing paths in decomposed homotopy loop D h i of h i [ h ] x 0 , then one can define them as:
s ( t ) = e i π t , t [ 0 , 1 ] , q ( t ) = e i π t , t [ 0 , 1 ] .
Let us prepare the corresponding decomposition D h i as given below:
E i 1 = { s ( t ) : t ( 0 , 1 ] } , E i 2 = { q ( t ) : t ( 0 , 1 ] } , x 0 = s ( 0 ) = q ( 0 ) .
This preserves the connected decomposition condition that, E i 1 E i 2 = { s ( 1 ) } = { q ( 1 ) } . Suppose γ : D h i ( Y Z , τ Y ) is a decomposed quotient map in integer space ( Z ) such that γ ( E i 1 ) = ( i π t ) 1 ln s ( t ) and γ ( E i 2 ) = ( i π t ) 1 ln q ( t ) . Thus, it leads to γ ( E i 1 E i 2 ) = { 1 , 1 } Y and γ ( E i 1 E i 2 ) { 1 , 1 } . Moreover, suppose the decomposed quotient map maintains γ ( { x 0 } ) = 0 Y . Hence, the generated quotient topological subspace from orientation reversing paths in the decomposed homotopy loop induces a group G = ( γ ( D h i ) , + ) , where γ ( D h i ) = { 1 , 0 , 1 } in ( Y Z , τ Y ) . □
The induced group structure formation in quotient topological spaces from the decomposed homotopy loop can be further extended involving multiple fundamental groups in a connected topological space. Suppose ( X , τ X ) is a path connected topological space and two disjoint fundamental groups are presented by π 1 ( X , x 0 ) , π 1 ( X , x 1 ) within two separable subspaces (because ( X , τ X ) topological space is Hausdorff). It can be illustrated that the second quotient topological subspace can acquire a group structure from the first one if a bijective composition can be established between the two subspaces. This is explained in the next theorem.
Theorem 3:
If π 1 ( X , x 0 ) and π 1 ( X , x 1 ) are two fundamental groups in a path connected topological space ( X , τ X ) with two decomposed quotient maps γ : D h i ( Y , τ Y ) , γ : D h k ( Y , τ Y ) for the two corresponding homotopy loops h i [ h ] x 0 , h k [ h ] x 1 then there exists a bijection β : γ ( D h k ) γ ( D h i ) such that G 1 = ( ( β γ ) ( D h k ) , + ) is a group of order 3.
Proof: 
Let ( X , τ X ) and ( Y , τ Y ) be two Hausdorff separated topological spaces ( X Y = ϕ ). Let π 1 ( X , x 0 ) and π 1 ( X , x 1 ) be two fundamental groups in ( X , τ X ) , where γ : D h i ( Y , τ Y ) and γ : D h k ( Y , τ Y ) are two decomposed quotient maps from ( X , τ X ) to ( Y , τ Y ) . Suppose, the two corresponding disjoint homotopy loops are h i [ h ] x 0 and h k [ h ] x 1 . If the decompositions are denoted by D h i = { E i 1 , E i 2 , { x 0 } } and D h k = { E k 1 , E k 2 , { x 1 } } . Let there be a bijection β : γ ( D h k ) γ ( D h i ) between the quotient topological subspaces. One can formulate the bijection as:
a k n , a 1 γ ( D h k ) , n { 1 , 2 } , β ( a k n ) = β ( a i n ) , β ( a 1 ) = a 0 .
Recall that G = ( γ ( D h i ) , + ) is a group of order 3. This leads to the conclusion that:
n , n + 1 { 1 , 2 } , β ( a k n ) + β ( a k ( n + 1 ) ) = β ( a 1 ) , β ( a 1 ) + β ( a k n ) = β ( a k n ) , β ( a 1 ) + β ( a k ( n + 1 ) ) = β ( a k ( n + 1 ) ) , β ( a 1 ) + β ( a 1 ) = β ( a 1 ) .
Hence, the bijective composition structure G 1 = ( ( β γ ) ( D h k ) , + ) is also a group in ( Y Z , τ Y ) . □
Remark 5:
It is important to note that, in the above theorem we have considered that h i S 1 ; however we have not put condition that h k S 1 in [ h ] x 1 . The above theorem is valid as long as hom ( h k , S 1 ) condition is maintained.
Evidently, multiple fundamental groups in a topological space can induce distributed disjoint groups within decomposed quotient spaces. The following corollary illustrates that there exists an isomorphism between groups in decomposed quotient spaces if they have equal order.
Corollary 2:
If π 1 ( X , x 0 ) and π 1 ( X , x 1 ) are topologically homeomorphic in ( X , τ X ) then G = ( γ ( D h i ) , + ) and G 1 = ( ( β γ ) ( D h k ) , + ) are isomorphic in ( Y , τ Y ) .
Proof: 
Let ( X , τ X ) and ( Y , τ Y ) are two Hausdorff topological spaces, where π 1 ( X , x 0 ) and π 1 ( X , x 1 ) are disjoint topologically homeomorphic fundamental groups in ( X , τ X ) . Suppose homotopy loop h i [ h ] x 0 exists such that h i S 1 . If f : π 1 ( X , x 0 ) π 1 ( X , x 1 ) is a homeomorphism then f [ h ] x 0 = [ h ] x 1 . Note that G = ( γ ( D h i ) , + ) with order 3 is generated in decomposed quotient topological space of h i [ h ] x 0 . However, due to homeomorphism it is true that f ( h i ) = h k [ h ] x 1 and the structure G 1 = ( ( β γ ) ( D h k ) , + ) also has order 3 in ( Y , τ Y ) . This leads to conclusion that, G 1 G (isomorphic) in topological space ( Y , τ Y ) . □
We have so far dealt with the properties of multiple fundamental groups and associated decomposed quotient mappings within the topological spaces. However, earlier it is mentioned that we are considering connected fundamental groups and such groups are placed in a connected topological space. Moreover, the decomposed quotient spaces are generated in a separable topological space. Hence, it is interesting to analyze the inherent locality of homeomorphism of the topological spaces in this structural setting. The following theorem shows that an equivalence relation between the two path embeddings exists.
Theorem 4:
If η X : ( A X , τ X ) ( B Y , τ Y ) is a local homeomorphism in topological subspaces such that ( l f ) ( [ 0 , 1 ] ) A then there exists η Y : [ 0 , 1 ] B such that η X ( A ) | ( l f ) η Y ( [ 0 , 1 ] ) .
Proof: 
Let ( X , τ X ) and ( Y , τ Y ) be two separated Hausdorff topological spaces, where η X : A B is a local homeomorphism in topological subspaces A X , B Y . Suppose ( l f ) : [ 0 , 1 ] A is a continuous embedding such that ( l f ) ( 0 ) = x 0 and ( l f ) ( 1 ) = x 1 , where π 1 ( X , x 0 ) and π 1 ( X , x 1 ) are two fundamental groups. As η X : A B is a local homeomorphism in topological subspaces, so b η X ( . ) , a A such that U a η X 1 ( U b ) and η X ( . ) is a continuous bijection. Let η Y : [ 0 , 1 ] B be a continuous function such that η Y ( 0 ) = y 0 Y and η Y ( 1 ) = y 1 Y , where η X ( x 0 ) | ( l f ) = η Y ( 0 ) and η X ( x 1 ) | ( l f ) = η Y ( 1 ) . This leads to the conclusion that b ( l f ) ( . ) , a η Y ( . ) such that U b η X 1 ( U a ) . As a result, the equivalence relation η X ( A ) | ( l f ) η Y ( [ 0 , 1 ] ) is maintained in respective topological subspaces. □
Lemma 1:
The following observations can be made further from the above theorem: if γ ( D h i ) Y A Y , γ ( D h k ) Y B Y such that Y A Y B = ϕ then G = ( γ ( D h i ) , + ) and G 1 = ( ( β γ ) ( D h k ) , + ) are not path connected, however if U a 0 Y A , a 0 U a 0 and U a 1 Y B , a 1 U a 1 are each locally path connected open neighbourhoods, then U a 0 U a 1 is a connected subspace in ( Y , τ Y ) . As a result, U a 0 , U a 1 are locally dense sets.
Proof: 
The topological space ( Y , τ Y ) is Hausdorff and U a 0 , U i 1 , U i 2 Y A such that U a 0 ¯ U i 1 ¯ = ϕ , U a 0 ¯ U i 2 ¯ = ϕ and U i 1 ¯ U i 2 ¯ = ϕ . The similar property holds for Y B . Thus the subspaces Y A and Y B are consisting of countable dense sets if x γ ( D h i ) γ ( D h k ) the open neighbourhoods maintain U x U x = U x ¯ . Hence, the subspaces U a 0 Y A , a 0 U a 0 and U a 1 Y B , a 1 U a 1 are connected by η Y ( [ 0 , 1 ] ) . Moreover, U a 0 , U a 1 are locally dense and are also locally path connected. □
There exists a set of homotopically equivalent paths between topological spaces containing connected fundamental groups and decomposed quotient subspaces. The following theorem presents this property considering H as homotopic function product. Note that H denotes the equivalence of path homotopy between two homotopic paths in the topological space.
Theorem 5:
If f : π 1 ( X , x 0 ) π 1 ( X , x 1 ) is a homeomorphism in ( X , τ X ) with α ( l f ) ( [ 0 , 1 ] ) and β G : G G 1 is a bijection in ( Y , τ Y ) then there are oriented homotopy paths in p 0 : π 1 ( X , x 1 ) π 1 ( X , x 0 ) and p 1 : π 1 ( X , x 0 ) π 1 ( X , x 1 ) such that ( β G γ ) ( w ) = γ ( v ) , where w α H   f [ h ] x 0 H   α ¯ and v α ¯ H   [ h ] x 0 H   α .
Proof: 
Let f : π 1 ( X , x 0 ) π 1 ( X , x 1 ) be a homeomorphism in topological space ( X , τ X ) such that α ( l f ) ( [ 0 , 1 ] ) is an isomorphic path in ( X , τ X ) . Let β G : G G 1 be a bijection in ( Y , τ Y ) and γ ( . ) is a decomposed quotient map between ( X , τ X ) and ( Y , τ Y ) . Suppose one defines the oriented homotopy paths in p 0 : π 1 ( X , x 1 ) π 1 ( X , x 0 ) and p 1 : π 1 ( X , x 0 ) π 1 ( X , x 1 ) as p 0 [ h ] x 1 = ( [ α ] H   [ α ¯ ] ) H   [ h ] x 0 and p 1 [ h ] x 0 = ( [ α ¯ ] H   [ α ] ) H   [ h ] x 1 respectively. However, as f [ h ] x 0 = [ h ] x 1 thus p 1 [ h ] x 0 = ( [ α ¯ ] H [ α ] ) H f [ h ] x 0 is in ( X , τ X ) . Moreover, if the constant path is defined as e x n : [ 0 , 1 ] ( x n X ) , n { 0 , 1 } such that e x 0 ( t [ 0 , 1 ] ) = x 0 = ( [ α ] H [ α ¯ ] ) and e x 1 ( t [ 0 , 1 ] ) = x 1 = ( [ α ¯ ] H [ α ] ) then there are equivalences of path homotopies denoted by e x 1 ( [ 0 , 1 ] ) H p 0 [ h ] x 1 H [ α ] and e x 0 ( [ 0 , 1 ] ) H p 1 [ h ] x 0 H [ α ¯ ] . Thus, if one selects two homotopic paths w α H f [ h ] x 0 H α ¯ and v α ¯ H [ h ] x 0 H α , then w = x 0 and v = x 1 . This leads to the conclusion that ( β G γ ) ( w ) = γ ( v ) in ( Y , τ Y ) . □
Remark 6:
Note that in the homotopy classes the following condition is maintained: f ( [ α ¯ ] H [ h ] x 0 ) = f [ α ¯ ] H f [ h ] x 0 . However, it is easy to verify that f [ h ] x 0 = p 1 [ h ] x 0 and p 1 [ h ] x 0 = ( [ α ¯ ] H [ α ] ) H [ h ] x 1 . This leads to the condition that f [ α ¯ ] = f [ α ¯ ] H ( [ α ¯ ] H [ α ] ) . Hence, one can conclude that f [ α ¯ ] = f [ α ¯ ] H e x 1 ( [ 0 , 1 ] ) and [ α ¯ ] H [ α ] [ α ] H [ α ¯ ] . Moreover, the following commutativity is maintained: f [ α ¯ ] H e x 1 ( [ 0 , 1 ] ) = e x 1 ( [ 0 , 1 ] ) H f [ α ¯ ] .
The connectedness of fundamental groups gives rise to an interesting property. It indicates that it is possible to formulate a homotopically equivalent path involving multiple homotopy classes. This property is illustrated in next theorem.
Theorem 6:
If π 1 ( X , x 0 ) and π 1 ( X , x 1 ) are two connected fundamental groups in topological space ( X , τ X ) with h i l [ h ] x 0 , h k m [ h ] x 1 and α ( l f ) ( [ 0 , 1 ] ) then a , b such that λ : [ a , b ] ( X , τ X ) exists, where λ ( [ a , b ] ) H h i l H α H h k m for some l , m Z + .
Proof: 
Let ( X , τ X ) be a topological space and π 1 ( X , x 0 ) , π 1 ( X , x 1 ) are two connected fundamental groups. Consider α ( l f ) ( [ 0 , 1 ] ) as a path for the corresponding embedding in ( X , τ X ) . Suppose a , b , b > 1 such that there exist two disjoint path homotopies given by F i : [ a , 0 ] 2 ( X , τ X ) and F k : [ 1 , b ] 2 ( X , τ X ) . As result, one can consider l , m Z + , h i l [ h ] x 0 , h k m [ h ] x 1 to formulate the sets of homotopic functions, which is given as:
l L , m M , h i l : [ a , 0 ] ( X , τ X ) , h k m : [ 1 , b ] ( X , τ X ) , h i l ( l a ) = h i l ( 0 ) = x 0 , h k m ( m b ) = h k m ( 1 ) = x 1 .
Suppose a continuous function λ : [ a , b ] ( X , τ X ) exists such that λ ( a ) = x 0 , λ ( b ) = x 1 . Moreover, the continuous function maintains the condition, λ ( [ 0 , 1 ] ) = ( l f ) ( [ 0 , 1 ] ) in the topological space ( X , τ X ) . Furthermore, the continuous function λ : [ a , b ] ( X , τ X ) maintains the following properties:
λ ( t [ a , 0 ] ) = h i l ( l t ) , l [ 1 , L ] , λ ( t [ 1 , b ] ) = h k m ( m t ) , m [ 1 , M ] .
Let A X be a subspace and there are subspaces given by B i = { x X : x h i l [ h ] x 0 } , B k = { x X : x h k m [ h ] x 1 } such that the combined subspace is given by, A = ( l f ) ( [ 0 , 1 ] ) B i B k . Thus λ : [ a , b ] A is continuous in the corresponding topological subspace. As a result, if we consider a homotopy path h i l H α H h k m in A X then it will maintain equivalence of path homotopy as λ ( [ a , b ] ) H h i l H α H h k m .
There exists a relation between isolated point set { g } and the decomposed quotient topological space if the element of the point set is a generator of the induced group in the decomposed quotient space. This relation has an effect on the finiteness of cycle number. This observation is presented in the following theorem. □
Theorem 7:
If h i : [ 0 , 1 ] ( X , τ X ) generates a path homotopy in fundamental group π 1 ( X , x 0 ) then t [ 0 , 1 ] μ ( h i ( t ) ) induces infinite cycle number, i.e., r + in γ ( D h i ) .
Proof: 
Let h i : [ 0 , 1 ] ( X , τ X ) be a path homotopy in the fundamental group π 1 ( X , x 0 ) in the topological space ( X , τ X ) . Note that, the interval [ 0 , 1 ] + is uncountable and compact real subspace in nature. As h i ( 0 ) = h i ( 1 ) in π 1 ( X , x 0 ) , hence μ ( h i ( 0 ) ) . μ ( h i ( 1 ) ) = g 2 . Moreover, t ( 0 , 1 ) it is true that μ ( h i ( t ) ) = g by the definition. If one chose ε > 0 , ε + and the corresponding interval [ t ε , t + ε ] , then the interval is also uncountable. This leads to conclusion that, v Z + and u [ t ε , t + ε ] μ ( h i ( u ) ) = l t v + g v G g , where G g = ( μ ( h i ) , ) in ( Y , τ Y ) . However, this further leads to the equality involving the cycle number of the cyclic generator that r = l t v + ( v / 4 ) , where g m = a i 1 , g n = a i 2 , g p = a 0 and m > 1 , n > 1 , p > 1 . Hence, the product t [ 0 , 1 ] μ ( h i ( t ) ) induces cycle number r + in γ ( D h i ) . □
This indicates that a continuous homotopic path in the fundamental group generates a countable infinite cycle number of cyclic generators of the group in the decomposed quotient topological subspace.

5. Discussion: Relation to Sierpinski Space

The Krull–Schmidt property of modular decomposition states that an object decomposes in a unique way such that a set of further indecomposable objects is generated [18]. This concept is maintained in the homotopy decomposition varieties presented in this paper in the quotient topological spaces. There is a relationship between the Sierpinski space and the proposed decomposed homotopy in quotient topological space (referred to as DHQ space). The proposed decomposed quotient space generated from the decomposed homotopy loop extends the Sierpinski space [19]. If the Sierpinski set is given by S P then the one-point extension of Sierpinski set is the set S P γ = S P { 1 } supporting the additive group G = ( γ ( D h i ) , + ) within the decomposed quotient topological subspace. Note that, the group in Sierpinski space is trivial, in general. However, the induced additive group in decomposed quotient topological is not necessarily trivial in nature. The one-point extension of Sierpinski space by the proposed decomposed quotient topological space is symmetric with respect to origin. As a result, the Sierpinski topology is also extended in decomposed quotient space due to symmetric one-point extension of the basis set. The extension of topological space is given by E = { { 1 } , S P γ } , which can be included in the original Sierpinski topological space. The summary of interrelationship between Sierpinski space and its extension in the decomposed quotient space is given in Table 1.
The extension is null if the space is the original Sierpinski space. Otherwise, the basis set is symmetrically extended with respect to origin and the topological space is extended by inclusion of resulting topological subspaces. Note that both the spaces are connected in nature in . The interesting distinction between the two spaces is based on the uniqueness of non-zero sequence. In case of Sierpinski space, the non-zero sequence generates a unique cluster point and it is a constant sequence. However, in the case of extended Sierpinski space, the non-zero sequences are not unique and as a result the cluster points are also not necessarily unique.

6. Conclusions

The algebraic as well as topological properties of homotopy decomposition vary depending on the connectedness of the topological space. This paper proposes the homotopy decompositions of path connected fundamental groups into quotient topological spaces. The proposed decompositions have two varieties with respect to the connectedness of decomposed subspaces. The resulting decomposed quotient spaces in a topological space with separation from the base space containing fundamental groups give rise to the variations in algebraic and topological properties depending on the connectedness of homotopy decompositions. It is shown that, if the decomposed subspaces maintain path connectedness within the components, then the decomposed quotient topological space cannot induce an additive group structure maintaining uniform surjection. However, if the decomposition of homotopy is disconnected variety then it maintains uniform surjection and successfully induces an additive group structure within the decomposed quotient topological spaces. The proposed formulation is supported by fundamental group which is homotopy rigid with respect to a set of circle groups in a complex plane. It is illustrated that there exists bijection between multiple decomposed quotient topological spaces allowing formation of group structures under function composition. Interestingly, the proposed disconnected homotopy decomposition under quotient map extends the Sierpinski space within the decomposed quotient topological space while preserving the trivial group of Sierpinski space. The one-point extension of the Sierpinski space is symmetric with respect to origin. Furthermore, the cyclic generator of the group in the decomposed quotient topological space attains infinite cycle number when the decomposed homotopy generates locally connected open path components in homotopy class.

Author Contributions

Susmit Bagchi (Professor, Department of Aerospace and Software Engineering (Informatics), Gyeongsang National University, Jinju, ROK) is the single and sole author of this paper and this paper contains his own contributions.

Funding

This research is funded by Gyeongsang National University, Jinju, ROK.

Acknowledgments

The author would like to thank editors and anonymous reviewers for their helpful comments and suggestions.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Higashikawa, S.; Ueda, M. Influence of topological constraints and topological excitations: Decomposition formulas for calculating homotopy groups of symmetry-broken phases. Phys. Rev. B 2017, 95, 134520. [Google Scholar] [CrossRef] [Green Version]
  2. Lee, C.N. A homotopy decomposition for the classifying space of virtually torsion-free groups and applications. Math. Proc. Camb. Phil. Soc. 1996, 120, 663–686. [Google Scholar] [CrossRef]
  3. Cohen, J.M. The decomposition of stable homotopy. Ann. Math. 1968, 87, 305–320. [Google Scholar] [CrossRef] [Green Version]
  4. Armentrout, S. Homotopy properties of decomposition spaces. Trans. Am. Math. Soc. 1969, 143, 499–507. [Google Scholar] [CrossRef]
  5. Pawlikowski, J. The fundamental group of a compact metric space. Proc. Am. Math. Soc. 1998, 126, 3083–3087. [Google Scholar] [CrossRef] [Green Version]
  6. Brazas, J.; Fabel, P. On fundamental groups with the quotient topology. J. Homotopy Relat. Struct. 2015, 10, 71–91. [Google Scholar] [CrossRef] [Green Version]
  7. Conner, G.; Kent, C. Fundamental groups of locally connected subsets of the plane. Adv. Math. 2019, 347, 384–407. [Google Scholar] [CrossRef]
  8. Mostow, G.D. On the fundamental group of a homogeneous space. Ann. Math. 1957, 66, 249–255. [Google Scholar] [CrossRef]
  9. Carter, J.S. Classical Knot Theory. Symmetry 2012, 4, 225–250. [Google Scholar] [CrossRef] [Green Version]
  10. Kampen, E.R.V. On the Connection between the Fundamental Groups of Some Related Spaces. Am. J. Math. 1933, 55, 261–267. [Google Scholar]
  11. Eckmann, B.; Hilton, P.J. On the homology and homotopy decomposition of continuous maps. Proc. Natl. Acad. Sci. USA 1959, 45, 372–375. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  12. Charatonik, J.J. Recent Research in Hyperspace Theory. Extr. Math. 2003, 18, 235–262. [Google Scholar]
  13. Jackowski, S.; McClure, J. Homotopy Decomposition of Classifying Elementary Abelian Subgroups. Topology 1992, 31, 113–132. [Google Scholar] [CrossRef] [Green Version]
  14. Anjos, S.; Granja, G. Homotopy decomposition of a group of symplectomorphisms of S2 × S2. Topology 2004, 43, 599–618. [Google Scholar] [CrossRef] [Green Version]
  15. Biasi, C.; Daccach, J.; Saeki, O. A primary construction to topological embeddings and its applications. In Manuscripta Mathematica; Springer: Berlin/Heidelberg, Germany, 2001; Volume 104, pp. 97–110. [Google Scholar]
  16. Jech, T.J. About the axiom of choice. Stud. Log. Found. Math. 1977, 99, 345–370. [Google Scholar]
  17. Aguilera, J.P. Determinate logic and the axiom of choice. Ann. Pure Appl. Log. 2020, 171. [Google Scholar] [CrossRef]
  18. Gray, B. On Decompositions in Homotopy Theory. Trans. Am. Math. Soc. 2005, 358, 3305–3328. [Google Scholar] [CrossRef] [Green Version]
  19. Akiyama, S.; Dorfer, G.; Thuswaldner, J.M.; Winkler, R. On the fundamental group of the Sierpinski-gasket. Topol. Appl. 2009, 156, 1655–1672. [Google Scholar] [CrossRef] [Green Version]
Table 1. Summary of interrelationship between Sierpinski space and DHQ space.
Table 1. Summary of interrelationship between Sierpinski space and DHQ space.
Space/SetExtensionTopologyGroupConnectednessCompactSequentially Complete (Non-Zero Sequence)Non-Zero Sequence
Sierpinski { ϕ } Sierpinski topology, τ S P TrivialYesCompactibleAlwaysUnique cluster-point
Decomposed homotopy quotient E τ S P γ = τ S P E Non-trivialYesCompactibleNot alwaysNot necessarily unique cluster-point
Note that, the non-zero convergent sequences in extended Sierpinski space are constants alike original space. Interestingly, the Sierpinski space is sequentially complete in terms of non-zero sequence. However, it may not be always true in extended Sierpinski space.

Share and Cite

MDPI and ACS Style

Bagchi, S. Analysis of Homotopy Decomposition Varieties in Quotient Topological Spaces. Symmetry 2020, 12, 1039. https://doi.org/10.3390/sym12061039

AMA Style

Bagchi S. Analysis of Homotopy Decomposition Varieties in Quotient Topological Spaces. Symmetry. 2020; 12(6):1039. https://doi.org/10.3390/sym12061039

Chicago/Turabian Style

Bagchi, Susmit. 2020. "Analysis of Homotopy Decomposition Varieties in Quotient Topological Spaces" Symmetry 12, no. 6: 1039. https://doi.org/10.3390/sym12061039

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop