The Sequential and Contractible Topological Embeddings of Functional Groups

Abstract

The continuous and injective embeddings of closed curves in Hausdorff topological spaces maintain isometry in subspaces generating components. An embedding of a circle group within a topological space creates isometric subspace with rotational symmetry. This paper introduces the generalized algebraic construction of functional groups and its topological embeddings into normal spaces maintaining homeomorphism of functional groups. The proposed algebraic construction of functional groups maintains homeomorphism to rotationally symmetric circle groups. The embeddings of functional groups are constructed in a sequence in the normal topological spaces. First, the topological decomposition and associated embeddings of a generalized group algebraic structure in the lower dimensional space is presented. It is shown that the one-point compactification property of topological space containing the decomposed group embeddings can be identified. Second, the sequential topological embeddings of functional groups are formulated. The proposed sequential embeddings follow Schoenflies property within the normal topological space. The preservation of homeomorphism between disjoint functional group embeddings under Banach-type contraction is analyzed taking into consideration that the underlying topological space is Hausdorff and the embeddings are in a monotone class. It is shown that components in a monotone class of isometry are not separable, whereas the multiple disjoint monotone class of embeddings are separable. A comparative analysis of the proposed concepts and formulations with respect to the existing structures is included in the paper.

1. Introduction

The continuous and injective embeddings in topological spaces have wide varieties as well as respective applications. In general, the topological embeddings consider connected spaces, which are at least first countable in nature. In a first countable $T_2$ space, the embeddings can generate closed subspaces with paracompactness. Interestingly, in the case of elementary type embeddings, a partial ordered set can be completely embedded into the space of an inner model [1]. The various categories of topological embeddings and associated homeomorphisms give rise to a set of interesting and insightful properties. For example, the Haefliger type embeddings of topological manifolds show that there exist homotopy equivalences with commutativity, and the locally flat embedded discs are generated in a bounded manifold (i.e., manifold with boundary) [2]. The topological embeddings of decomposed groups also have a wide array of applications [3,4]. The traditional group decomposition structures are based on the existence of independent subgroups, and as a result the semidirect product-based decompositions are not unique [5]. In case of block-based direct decomposition, the identity element plays a key role in generating independent modules [6]. However, the decomposition of groups in regard to topology is an interesting approach due to the enhanced flexibility and generality in the decomposed structures. In general, the topological embeddings of decomposed structures can be placed in two categories. From the algebraic viewpoint, the embedding of algebra $G$ into algebra $G^1$ is a linear homeomorphism [7]. On the other hand, the topological embedding in a metrizable space (i.e., Hausdorff space) is an isometry, which can be supercompact with a large cardinal [1]. This paper proposes the generalized algebraic formulation of functional groups and their sequential, as well as contractible embeddings in normal topological spaces. First, a brief description of various aspects of topological embeddings is presented in order to establish elementary concepts. In addition, the research questions dealt in this paper and the motivational aspects are presented.

1.1. Topological Embeddings

There exists a hierarchy of topological spaces considering the interplay of Borel and Hausdorff properties [8]. The Borel and Hausdorff hierarchies of topological spaces are based on axiomatic set theory and they are placed in the Polish space category [9]. The property of such topological spaces is that they are homeomorphic to the complete metric spaces. Moreover, such spaces are separable, because they are composed of countable dense sets. Furthermore, the Hausdorff topological spaces can be classified based on associated closure properties in normal topological spaces. The normal topological spaces can be of two varieties, namely completely normal and fully normal [9]. Moreover, the H-closure based classification of spaces is dependent on the concept of a strongly closed graph. For example, if $\omega$ is a class of topological spaces and $\forall X\in \omega ,\exists Y\in \omega$ such that $f:X\to Y$ is a strongly closed function with weak continuity, then $(Y,{\tau }_Y)$ is a H-closed topological space [8,10]. In general, if the embeddings are compact in a topological space, then there exist closed subspaces within the respective topological space.

It is interesting to note that, topological embeddings of a continuous map in higher dimensional manifolds are not always a straight-forward approach, and there exist obstructions if the manifolds are differentiable in type [11]. The embeddings of spaces, functions, or groups within a topological space often maintain local homeomorphism within the space. Following a similar approach, the Schoenflies embeddings are often considered to be homeomorphic to $S^1$, and as a result it generates separable components [12]. In the case of the higher dimensional manifold, the continuum embeddings of a space within the manifold may generate at most two separable components [13]. The Jordan curve theorem (JCT) represents that a simple closed curve generates multiple separable components in a topological space [14,15,16]. The interesting property of JCT is that one of the components is bounded and possibly compact. However, the exterior of the closed component may not be compact if the topological space itself is not compact.

1.2. Motivation

Topological decompositions of group algebraic structures have varieties, and are an interesting topic with potential applications [3,17]. The topological decomposition of general group structures and associated embeddings in topological spaces are relatively new approaches without emphasizing the continuity criteria in group structures [18]. Alternatively, the concept of functionally generated groups attempts to incorporate continuity within the finite group structure. Interestingly, the functionally generated groups have various computational applications. For example, the groups generated by round functions form a set of cryptographic block ciphers [19]. There are various ways to form functionally generated groups with different characterizations. The circle group is a functionally generated group that has subgroups with sequential characterization [20]. The circle group on the Gauss plane is homeomorphic to $S^1$ and can be considered as a special function group, which is closed as well as embeddable in topological spaces. However, the interesting question is how to algebraically construct a generalized functional group structure and how to analyze the sequential embeddings of such structures in topological spaces. Moreover, if the topological embeddings are sequentially characterized along with contraction, then what are the properties of such an embedding sequence in a normal topological space? This paper addresses these questions in regard to general topology and analysis. First, the basic concept of topological decomposability of a general group structure is presented. Next, the algebraic construction of a generalized functional group structure and the sequence of embeddings in topological spaces are presented. The inherent properties of such a sequence of embeddings in normal topological spaces are explained as a set of theorems. The preservation of homeomorphism under contraction in a Hausdorff topological space is analyzed in regard to sequential topological embeddings inline to Schoenflies variety.

The rest of the paper is organized as follows. Section 2 presents preliminary concepts related to groups, Jordan curve theorems and morphisms. Section 3 describes concepts and definitions of generalized functional groups, decomposition structures and contractible sequential embeddings in topological spaces. The analytical properties are presented in Section 4 as main results in the form of theorems. Section 5 presents comparative analysis. Finally, Section 6 concludes the paper.

2. Preliminary Concepts

In this section, a set of basic concepts and definitions are presented to establish preliminary notions about topological embeddings, groups and related analysis. In this paper, $\overline{A}$ denotes the closure of the corresponding open set $A$, and the complement of set $A$ is given by $A^c$. Furthermore, it is considered that the normal topological space has a Hausdorff closure property, which may contain fixed points [10]. The power set of any arbitrary set $X$ is denoted by $P(X)$. The symbol $A⊲B$ denotes that, $A$ is a subgroup of $B$.

Let $X$ be a set and $(X,{\tau }_X)$ be a topological space, which is considered to be Hausdorff to avoid multiconvergence localities. In a normal and complete Hausdorff topological space, the bijection $f_B:X\to X$ contains a set of fixed points given by, $X_F=\{x\in X:f_B(x)=x\}$. Let $X$ be equipped with abstract algebraic operation $\ast :X^2\to X$ such that the operation is closed in the set. The structure $G=(X,\ast )$ is called a group if it maintains the properties [9,21], (1) $\forall a,b,c\in X,(a\ast b)\ast c=a\ast (b\ast c)$, (2) $\forall a\in X,\exists a^{-1}\in X,a\ast a^{-1}=a^{-1}\ast a=e\in X$ and, (3) $\forall a\in X,e\ast a=a\ast e=a$. The element $e\in X$ is unique and $e\ast e=e$ indicates that $e=e^{-1}$.

A group $G=(X,\ast )$ can be equipped with a topological structure. The topology on $G=(X,\ast )$ is denoted by ${\tau }_G\subseteq P(X)$, where it maintains the axioms of topology. A group action is given by $\beta :G\times S\to S$ under specific conditions, where $S$ is a set on which a group is acted on. The required properties related to group action are (i) $\beta (g,s)=g\ast s$, and (ii) $\beta (g,\beta (h,s))=\beta ((g\ast h),s)$. The second property asserts associativity of $G=(X,\ast )$ in the presence of group action. The identity function is given by $id:A\to A$ such that $id(a)=a\in A$ in any arbitrary set $A$. If $G=(X,\ast )$ is a groupoid, then the morphism is given by $\alpha :(x\in G)\to (y\in G)$ in the groupoid [22]. The morphisms ${\alpha }_1,{\alpha }_2,{\alpha }_3$ maintain associative composition law given by ${\alpha }_1\circ ({\alpha }_2\circ {\alpha }_3)=({\alpha }_1\circ {\alpha }_2)\circ {\alpha }_3$.

A topological group is a variety of groups in a topological space such that continuity of space under the closed algebraic operation within the space is maintained. The structure $(X,\ast ,{\tau }_X)$ is a topological group if it maintains the axioms [23], (a) $G=(X,\ast )$ is a group, (b) $(X,\ast ,{\tau }_X)$ is a topological space, and (c) the algebraic operation $\ast :X^2\to X$ is continuous along with the continuous existence of $a^{-1}\in X$. Furthermore, if $a,x\in X$ in $(X,\ast ,{\tau }_X)$ are two elements and $a$ is the fixed element, then the transformation $T(x)=ax$ is a homeomorphism of $(X,\ast ,{\tau }_X)$ into itself. A topological group $G=(X,\ast )$ can be compactly generated if $H⊲G$ and $\exists Y\subseteq X$ such that $H=(Y,\ast )$ is a subgroup in compact subspace [9].

The Jordan curve $\mathsf{\Gamma }$ in a topological space $(X,{\tau }_X)$ representing a plane, is a function $\gamma :C\to X^2$, where $C\subset {\mathcal{R}}^2$ is a closed curve in 2-D real such that $\gamma (.)$ is continuous and injective [14]. It is to note that $C\subset {\mathcal{R}}^2$ can be any polygon in space and $C$ homeomorphic to $S^1$ can be considered as a circle group. There can be embeddings of closed curves in surfaces leading to the Jordan curve theorem (JCT) [24]. The embedding of $C\subset {\mathcal{R}}^2$ in a surface $S_S$ is called 2-cell embedding if all the regions are 2-cells [15]. Interestingly, in group algebra, the semigroups can be embedded within the group structures, which is actually not a topological embedding. However, the formulation of embedding in a group is not a straight-forward approach. The Steinitz embedding theorem shows that every integral domain can be embedded in a field [16]. The Steinitz theorem relies on the construction of ordered pairs of elements maintaining an equivalence relation.

3. Decomposition and Functional Groups Embeddings: Concepts and Definitions

This section presents a set of definitions related to topological decomposition as well as embeddings of general groups, the concept of functional groups and the related varieties of embeddings into normal topological spaces. In this paper, if $A$ is a set, then $A^o$ will denote the interior of the open set $A$ in the corresponding topological space, where $\overline{A}$ is a closed set as mentioned earlier. For any point $x\in A$ in topological space, the open set $U_x$ denotes an open neighborhood of the corresponding point. In this paper, the subset $I\subset Z_0^{+}$ is employed as an index set and $\mathcal{R}$ represents the set of real numbers. The notation $\mathrm{hom}(A,B)$ denotes that $A$ is homeomorphic to $B$. The definitions are categorized into two sections. First, a set of definitions related to the topological decomposition of general group algebraic structure and associated decomposed group embeddings are described. Next, the definitions related to algebraic formulation of functional groups and their sequential embeddings into normal topological spaces are presented.

3.1. Embeddable Topological Decomposition of Groups

In this section, the topological decomposition and embeddings of a general group algebraic structure in the lower dimension is presented. It is important to note that the proposed construction does not assume any specific topological group structure. Essentially, a topological group is a group residing in topological spaces, where the group operations and actions are continuous in nature [23]. However, in this proposed formulation of decomposition, it is considered that a standard group can be decomposed in view of general topology and the decomposed components are embeddable in normal topological spaces. Thus, if $G=(X,\ast )$ is a group, then $(G,{\tau }_G)$ represents an embedded group structure in normal topological spaces, where ${\tau }_G\subseteq P(X)$ and $\beta :G\times S\to S$ is a group action on some arbitrary set $S$.

First, the notion of the partition of a normal topological space is established as follows. Let $(X,{\tau }_X)$ be a topological space and the partition of the space is given by ${\prod }_X=\{A_i\subset X:i\in I\}$, which is a family of subspaces [18]. It maintains the property as given below:

$$\begin{array}{l}\forall A_i,A_j\in {\prod }_X,A_i\cap A_j=\varphi ,\\ {\displaystyle \underset{\forall i\in I}{\cup }{A}_i}=X.\end{array}$$

(1)

A homogeneous set can be derived from a partitioned topological space [25]. The partitioning of the topological space based on the generation of a quotient set containing equivalence classes may not affect separability of the original space. Let $G_1=(X_1,{\ast }_1)$ and $G_2=(X_2,{\ast }_2)$ be two groups, which are embeddable in a normal topological space. The group homeomorphism is given by $h_H:G_1\to G_2$ such that $\forall x,y\in G_1,h_H(x{\ast }_{1}y)=h_H(x){\ast }_2{h}_H(y)$. Interestingly, the group homeomorphisms can be strengthened to form isotropy between group structures [26]. Let $(X,{\tau }_X)$ and $(Y,{\tau }_Y)$ be two topological spaces and $F:(A\subset X)\to Y$ be an embedding, which is continuous as well as injective in nature. There exists a Schoenflies homeomorphism $h_S:X\to Y$ such that the restriction maintains $h_S|{}_{A\subset X}=F$. The Schoenflies homeomorphism may generate multiple separable components in topological spaces if the embedded curve is a closed type [12].

Next, a set of definitions related to embeddable topological decomposition of group algebraic structure is presented [18].

3.1.1. Definition of $G-$ Partition

Let $D_G\subset {\tau }_G$ be in the normal topological space such that $i,k\in I,i\ne k$ and the following structure is maintained by it:

$$D_G=\{A_i\subset X:A_i\in {\tau }_G\wedge (A_i\cap A_k=\varphi )\}.$$

(2)

The $G-$ partition of $(G,{\tau }_G)$ is denoted by $D_G$, which generates a family of mutually disjoint open sets representing subspaces in the corresponding normal topological space.

3.1.2. Topological Decomposition and Fiber

A topological decomposition of $G=(X,\ast )$ resulting in the formation of $(G,{\tau }_G)$ is denoted by ${\prod }_G\subset D_G$ if the following axioms are satisfied considering $A\in {\tau }_G,B\in {\tau }_G$ and $A\cap B=\varphi$,

$$\begin{array}{l}X\backslash \left\{e\right\}=A\cup B,\\ \forall a\in A,\exists b\in B:a\ast b=b\ast a=e\in G,\\ {\prod }_G=\{A,B,X\backslash \overline{A\cup B}\}.\end{array}$$

(3)

The generalized decomposition structure prepares partitioned open sets within a topological subspace, where the subspace is finite. Let $f:A\to B$ be a bijection in the ${\prod }_G$. The function $f(.)$ is a ${\prod }_G-$ fiber if the following axiom is satisfied,

$$\forall a\in A,\exists b\in B:a\ast f(a)=b\ast f^{-1}(b)=e.$$

(4)

The concept of topological fiber enables relational mapping within partitioned subspaces within a topological space.

Remark 1.

Interestingly, the topological one-point compactification property can be applied to the$G-$decomposition to prepare a compact subspace. Let$(Y,{\tau }_Y)$be a normal topological space such that$X\subset Y$and${\tau }_X=\{X\cap E:E\in {\tau }_Y\}$generating$(X,{\tau }_X)$as a topological subspace. As$A\subset X,B\subset X$so$\{A,B\}\subset {\tau }_X$indicates$A\cup B$is open in$(Y,{\tau }_Y)$. Moreover, in$(X,{\tau }_X)$it is true that,$X\backslash (A\cup B)\ne \varphi$. Thus, if$\exists \left\{e\right\}\subset X$such that$X\backslash (A\cup B)=\left\{e\right\}$and$(X,{\tau }_X)$is a compact topological subspace, then$G-$decomposition induces one-point compactification of$(X,{\tau }_X)$by$\left\{e\right\}$.

The generalized Schoenflies embeddings and associated homeomorphism concepts are now applied to the decomposed group to form the decomposed embeddings in normal topological spaces, which results in the following definition.

3.1.3. Decomposed Group Embedding

Let $(X,{\tau }_X)$ be a normal topological space and $E\in {\tau }_X$ be a subspace. If $G=(Y,\ast )$ is a group, then the decomposed group embedding in $E$ is given by

$$\begin{array}{l}i,k\in Z^{+},i,k\in [1,3],\\ \exists H_i\subset E,D\in {\prod }_G,\\ e_i:D\to H_i,\\ [i\ne k]\Rightarrow [H_i\cap H_k=\varphi ].\end{array}$$

(5)

Note that, embedding $e_i:D\to H_i$ is injective in nature within a normal topological subspace. It further concludes that ${\displaystyle \underset{i\in [1,3]}{\cup }{H}_i\subset E}$ in the topological space $(X,{\tau }_X)$. Note that the strict condition of homeomorphism to $S^1$ of an embedding is not applied in this case to maintain generality. However, the condition of homeomorphism to $S^1$ of a closed curve is imposed in the case of the sequential functional group embeddings as presented in the next subsection.

3.2. Functional Groups and Topological Embeddings

In the previous section, the definitions related to topological decomposition and Schoenflies homeomorphism between two topological spaces are presented considering decomposed general group algebraic structure. In this section, the concept of functional group and the definitions related to the sequential embeddings of functional group structures in topological spaces are formulated.

Let $X\subset {\mathcal{R}}^2$ be a point set and $X_S=\{S_i:1\le i\le n\}$ be a family of finite number of point sets. Let ${\tau }_X\subseteq P(X)$ be a topology on $X$ generating a topological space denoted by $(X,{\tau }_X).$ Let $\{A_i:i\in I\}\subset {\tau }_X$ be such that $\forall i,k\in I,A_i\cap A_k=\varphi$ if $i\ne k$, where $I$ is the countable index set as stated earlier. If $S_X={\displaystyle \underset{1\le i\le n}{\cup }{S}_i}$ is the entire collection of elements, then $l:S_X\to (B\subset X)$ is an injective continuous embedding. It is considered that $\forall S_i\in X_S$ the property $\mathrm{hom}(S_i,S^1)$ is maintained indicating that embeddings are continuous closed curves in $(X,{\tau }_X)$ homeomorphic to $S^1\subset {\mathcal{R}}^2$. Moreover, the embeddings maintain the condition that $l(S_i)\cap l(S_k)=\varphi$ whenever $i\ne k$.

The homeomorphism of embedding is maintained under restriction as given in the following definition: Let $F_S:S^1\to {\mathcal{R}}^2$ be an embedding in a topological product space. There exists a Schoenflies homeomorphism $g:{\mathcal{R}}^2\to {\mathcal{R}}^2$ such that the restriction maintains $g|{}_{S^1}=F_S$.

As a natural consequence, this form of Schoenflies homeomorphism also generates separable components in topological spaces. In the following subsections, the concept of functional group structure and its sequential as well as contractible embeddings into normal topological spaces are formulated as a set of definitions.

3.2.1. Functional Group

Let $f_i:S_i\to S_i$ be a bijection. A functional group $G_i=(S_i,{\ast }_{\mathrm{i}},f_i)$ under binary and closed algebraic operation, ${\ast }_i:S_i^2\to S_i$ is defined as,

$$\begin{array}{l}\forall x,y\in S_i,x{\ast }_{i}y\in f_i(S_i),\\ \exists x\in S_i:f_i(x)=e_i\in S_i,\\ \forall y\in S_i,\exists z\in S_i,y{\ast }_{i}z=z{\ast }_{i}y=e_i,\\ \forall y\in S_i,y{\ast }_i{e}_i=y=e_i{\ast }_{i}y,\\ \forall y\in S_i,f_i(y){\ast }_i{f}_i(e_i)\ne f_i(y).\end{array}$$

(6)

It is not considered that, ${\ast }_i:S_i^2\to S_i$ is commutative to maintain generality. The embedding of such functional groups in the topological space is defined in the following subsection.

3.2.2. Functional Group Embeddings

Let $(X,{\tau }_X)$ be a topological space and ${\langle f_i\rangle }_{i=1}^n$ be a sequence of functions forming functional groups. The composition $(l\circ f_i):S_X\to A_i$ is a functional group embedding in $(X,{\tau }_X)$ if $A_i\in {\tau }_X$ and $\exists E_i\subset A_i$ such that $\forall x\in E_i$ the open subset $U_x\subset E_i$ is a neighborhood of $x$ and $\exists U_y\subset S_i$ for $y\in S_i$ such that $U_y\subseteq {(l\circ f_i)}^{-1}(U_x)$.

As a natural extension of the concept, the embedding maintains the following condition, $E_i=(l\circ f_i)(S_X)$ in $(X,{\tau }_X)$. Moreover, the embeddings form corresponding functional groups in topological subspaces in $(X,{\tau }_X)$ denoted by $(E_i,{\ast }_i)=G_i$ in $A_i\in {\tau }_X$ without imposing any notational modification of respective algebraic operation in the topological subspace. The next definition presents homeomorphisms between two embedded functional groups in the topological space $(X,{\tau }_X)$.

3.2.3. Embedded Group Homeomorphism

Let $\{A_i,A_k\}\subset {\tau }_X$ be such that $A_i\cap A_k=\varphi$ in the topological space $(X,{\tau }_X)$. If $(l\circ f_i)(S_X)$ and $(l\circ f_k)(S_X)$ are two functional group embeddings in $E_i\subset A_i$ and $E_k\subset A_k$, then $h_{ik}:E_i\to E_k$ is a functional group homeomorphism defined on $(E_i,{\ast }_i)$ and $(E_k,{\ast }_k)$ as $\forall x,y\in E_i,h_{ik}(x{\ast }_{i}y)=h_{ik}(x){\ast }_k{h}_{ik}(y)$.

Note that, the defined embedded group homeomorphism in subspaces in $(X,{\tau }_X)$ is a direct adaptation of standard group homeomorphism. The other interesting observation is that topological $\mathrm{hom}(E_i,S^1)$ and $\mathrm{hom}(E_k,S^1)$ conditions are still valid in the space $(X,{\tau }_X)$ and the monotone class property is not imposed while constructing this definition. The multiple embeddings in $(X,{\tau }_X)$ with the condition $E_i\cap E_k=\varphi$ would result in the formation of Jordan curve components as defined below.

3.2.4. Jordan Curve Components

The Jordan curve components are defined by following Jordan curve theorem [14]. Let $(l\circ f_i):(S_i\subset S_X)\to A_i$ be an embedding in topological space $(X,{\tau }_X)$. If $\exists C_i\subset A_i$ such that $\partial C_i=(l\circ f_i)(S_i)$ and the component is given by $C_i=C_i^o\cup \partial C_i$, then $C_i$ is a generated closed component by embedding in $(X,{\tau }_X)$.

Hence, if one considers ${\langle f_i\rangle }_{i=1}^n$ as a finite sequence of functions along with the composition, then a sequence of embeddings would be generated in $(X,{\tau }_X)$ topological space. The definition of sequential embeddings is presented below.

3.2.5. Sequential Embeddings

Let ${\langle S_i\rangle }_{i=1}^n$ be a sequence of closed curves and $M_i=\{B_{\alpha }\subset A_i:A_i\in {\tau }_X,i,\alpha \in I\}$ be a monotone class. The sequence of embeddings by ${\langle (l\circ f_i)\rangle }_{i=1}^n$ embeds a sequence of functional groups through each $(l\circ f_{\alpha }):(S_{\alpha }\subset S_X)\to B_{\alpha }$ in the topological space $(X,{\tau }_X)$.

The sequence of embeddings in a topological space generates multiple components and respective component boundaries. The following definition presents component boundaries due to sequential embeddings, where the $\mathrm{hom}((l\circ f_i)(S_{\alpha }),S^1)$ condition is maintained.

3.2.6. Component Boundary Embeddings

Let $C^{\otimes }={\langle C_i\rangle }_{i=1}^n$ be a sequence of components embedded in topological space $(X,{\tau }_X)$ generated by ${\langle (l\circ f_i)\rangle }_{i=1}^n$. In the topological space $\forall C_i,C_{i+1}\in C^{\otimes }$ the boundary is given by,

$$\begin{array}{l}{S}_{i+1}\subset S_X,A_i\in {\tau }_X,\\ C_i\subset A_i,B_{\alpha }\subset C_i,C_{i+1}\subset B_{\alpha },\\ \partial C_{i+1}=(l\circ f_{i+1})(S_{i+1}).\end{array}$$

(7)

Evidently, the set $B_{\alpha }$ is open in $(X,{\tau }_X)$ for $\alpha \in I$ and $\partial C_i\cap \partial C_{i+1}=\varphi$. The boundaries form partitions between components in the topological space. If the topological space is considered to be Hausdorff, then a uniform contraction can be defined as given below.

3.2.7. Uniform Contraction

In $(X,{\tau }_X)$ topological space, if $\partial C_i\ne \varphi$ and $\partial C_{i+k}\ne \varphi$, where $k\in N,k>0,$ then $\nabla :\partial C_i\to \partial C_{i+k}$ is called a Banach-type uniform contraction if $\forall x\in \partial C_{i+k},\exists N_x\subset \partial C_{i+k},\exists A_{\alpha }\subset \partial C_i$ such that $N_x$ is an open neighborhood of $x$ and $\forall y\in A_{\alpha },\nabla (y)\in N_x$, where $A_{\alpha }$ is also open in $X$. Thus, one can view $\nabla$ as a surjective map maintaining $\mathrm{hom}(\partial C_{i+k},S^1)$ in $(X,{\tau }_X)$.

The uniform contraction is generalized in nature, indicating that the contraction can be performed for any value of $k$. The only restriction is that the contraction cannot be made into $X^c=\varphi$ with respect to topological space $(X,{\tau }_X)$.

4. Main Results

This section presents the main results as a set of theorems derived from the proposed concepts, definitions and structures. The properties of functional group embeddings in normal topological spaces are formulated considering that the embeddings are homeomorphic to $S^1$ (i.e., they are complete with one-point compactification). Moreover, the embeddings of functional groups into a normal topological space are sequential in nature. In a stricter sense, the condition of formation of a monotone class is considered as a special case.

In the beginning, it is shown that, the sequences of embeddings are mutually disjoint within the normal topological space.

Theorem 1.

In$C^{\otimes }={\langle C_i\rangle }_{i=1}^n$of a$(X,{\tau }_X)$normal topological space, if$\partial C_k\ne \varphi$and$\partial C_{k+1}\ne \varphi$, then$\exists S_k,S_{k+1}\in {\langle f_i(S_i)\rangle }_{i=1}^n$such that$(l\circ f_k)(S_k)\cap (l\circ f_{k+1})(S_{k+1})=\varphi$.

Proof. 

Let $(X,{\tau }_X)$ be a topological space and $S^{\otimes }={\langle f_i(S_i)\rangle }_{i=1}^n$ be a finite sequence of functional groups. Let $(l\circ f_k):S_k\to A_k$ be the embedding in corresponding open set $A_k\in {\tau }_X$, where $S_k\in S^{\otimes }$. If ${\langle (l\circ f_k)\rangle }_{k=1}^n$ is a finite sequence of embeddings in $(X,{\tau }_X)$, then the $C^{\otimes }={\langle C_i\rangle }_{i=1}^n$ sequence of components will be generated in $(X,{\tau }_X)$. Let us consider that $\forall C_k,C_{k+1}\in C^{\otimes }$, $\partial C_k\ne \varphi$ and $\partial C_{k+1}\ne \varphi$ in $(X,{\tau }_X)$. This indicates that if $(l\circ f_{k+1}):S_{k+1}\to A_{k+1}$ is an embedding with $C_{k+1}\subset C_k$, then $A_{k+1}\subset A_k$, where $A_{k+1}$ is open in $(X,{\tau }_X)$ such that $\partial C_{k+1}\subset A_{k+1}$. Thus, considering that $(X,{\tau }_X)$ is a normal topological space, if $\overline{B}\subset X$ is such that $\forall k\in [1,n]\subset I,A_k\subset \overline{B}$, then $M_{\overline{B}}=\{A_{i+k}:i\in Z_{{}^0}^{+}\}$ is a monotone class in $\overline{B}$ if and only if $A_{k+i}\subset A_{k+j}$ whenever $i>j$. Hence, in $A_k\in {\tau }_X$ open subspace, it is true that $(l\circ f_{k+1})(S_{k+1}\in S^{\otimes })=\partial C_{k+1}$ and $\partial C_{k+1}\subset A_{k+1}$ in $\overline{B}\subset X$. Moreover, as $f_k(S_k)$ and $f_{k+1}(S_{k+1})$ are two functional groups, so $f_k(S_k)\cap f_{k+1}(S_{k+1})=\varphi$ as they are distinct and separated. Hence, in the normal $(X,{\tau }_X)$ topological space $(l\circ f_k)(S_k)\subset A_k$ and $(l\circ f_{k+1})(S_{k+1})\subset A_{k+1}$, where $(l\circ f_k)(S_k)\cap (l\circ f_{k+1})(S_{k+1})=\varphi$. □

If one considers that a monotone class of group embeddings in a topological space is mutually disjoint, then there exists a sequence of fixed points in the set of generated components. If the embedding space is finite, then the sequence is also finite.

Theorem 2.

If${\langle (l\circ f_i)\rangle }_{i=1}^n$is a sequence of disjoint functional group embeddings in finite normal topological space$(X,{\tau }_X)$, then${\langle x_i\rangle }_{i=1}^n$is a finite sequence of fixed points in$C^{\otimes }$.

Proof. 

Let $(X,{\tau }_X)$ be a normal topological space having Hausdorff property. If $(X,{\tau }_X)$ is finite, then $\exists \{A_i:i\in I\}\subset {\tau }_X$ such that $A_i$ is open and finite indicating that $A_i{}^c$ is also finite (but not necessarily compact). Let ${\langle (l\circ f_i)\rangle }_{i=1}^n$ be a sequence of functional group embeddings in respective $A_i$ such that $(l\circ f_i)(S_X)\cap (l\circ f_k)(S_X)=\varphi$ whenever $i\ne k$ and $n<+\infty$. Let $C^{\otimes }$ be a sequence of Jordan components generated by ${\langle (l\circ f_i)\rangle }_{i=1}^n$ in the corresponding $A_i\in {\tau }_X$. If ${\langle (l\circ f_i)\rangle }_{i=1}^n$ is a monotone class such that $\forall i\le n,\partial C_i\subset A_i$, then ${\displaystyle \underset{1\le i\le n}{\cup }{C}_i}\subset {\displaystyle \underset{1\le i\le n}{\cup }{A}_i}$ in the topological space $(X,{\tau }_X)$, where $C_i\cap C_k\ne \varphi$ if $i\le n,k\le n$ and $i\ne k$. Let $g:B_i\to B_i$ be a pair-wise continuous function in ${\displaystyle \underset{1\le i\le n}{\cup }{A}_i}\subset X$ such that $B_i=C_i\backslash C_{i+1}^o$, where $\forall i\le n,\partial C_i\subset C_i$. As $(\partial C_i\cup \partial C_{i+1})\subset B_i$, so $B_i{}^c$ is open in $(X,{\tau }_X)$ indicating that the function $g(.)$ is bounded in every $B_i\subset X$. Thus, $\forall C_i\subset A_i,\exists x_i\in B_i$ such that $g(x_i)=x_i$. Hence, the ${\langle x_i\rangle }_{i=1}^n$ is a sequence of fixed points in normal $(X,{\tau }_X)$ topological space under disjoint functional group embeddings. □

Lemma 1.

If$(X,{\tau }_X)$is compact, then${\langle x_i\rangle }_{i=1}^{+\infty }$is convergent, where$x_l\in C_l$ is a limit.

Proof. 

Let $(X,{\tau }_X)$ be a compact topological space and ${\langle (l\circ f_i)\rangle }_{i=1}^{+\infty }$ be a sequence of embeddings of functional groups in $S_X$ into open subspace $A\in {\tau }_X$. If $(l\circ f_i)(S_X)$ and $(l\circ f_k)(S_X)$ generate two closed components in $A\in {\tau }_X$, then $C_i=C_i{}^o\cup E_i$ and $C_k=C_k{}^o\cup E_k$ respectively, where $(l\circ f_i)(S_i\subset S_X)=E_i$ and $(l\circ f_k)(S_k\subset S_X)=E_k$. However, as $S_i\cap S_k=\varphi$ in $S_X$ because the functional groups are mutually disjoint, so $E_i\cap E_k=\varphi$ in $A\in {\tau }_X$. Moreover, $\exists B_i,B_k\subset X$ open sets in normal topological space such that $C_i\subset B_i,C_k\subset B_k$ and $B_k\subset B_i$ whenever $k>i$. Thus, sequence of embeddings ${\langle (l\circ f_i)\rangle }_{i=1}^{+\infty }$ generates $C^{\otimes }$ in $A\in {\tau }_X$. Again, if $(X,{\tau }_X)$ is compact, then $A^c$ is compact, where $\partial A\subset A^c$ in $(X,{\tau }_X)$. Thus, in the normal and closed topological subspace, ${\displaystyle \underset{1\le i\le +\infty }{\cup }{E}_i}\subset \overline{A}$, where $\overline{A}=A\cup \partial A$. Hence, if ${\langle x_i\rangle }_{i=1}^{+\infty }$ is a sequence of fixed-points in compact $\overline{A}$, then $(l\circ f_i)\to C_l$ and $\exists x_l\in \partial C_l$ such that $x_i\to x_l$ in $(X,{\tau }_X)$. Furthermore, as $\partial C_l\subset C_l$ so $x_l\in C_l$ in $\overline{A}$. □

It is noted earlier that the embeddings of functional groups are homeomorphic to $S^1$ in $(X,{\tau }_X)$ topological space. The neighborhood system of fixed points of the convergent sequence in embedding subspace characterizes the nature of embeddings. It also reaffirms the condition that the underlying topological space is normal.

Theorem 3.

If$E_i$and$E_k$are functional group embeddings in normal topological space$(X,{\tau }_X)$, then the fixed points$x_{\alpha }\in C_i$and$x_{\beta }\in C_k$have neighborhoods such that$U_{\alpha }\cap U_{\beta }=\varphi$, where$U_{\alpha }\subset E_i$and$U_{\beta }\subset E_k$.

Proof. 

Let $G_i=(S_i,{\ast }_i,f_i)$ and $G_k=(S_k,{\ast }_k,f_k)$ be two functional groups such that $S_i\cap S_k=\varphi$. Let the two corresponding embeddings be $\mathrm{hom}(E_i,S^1)$ and $\mathrm{hom}(E_k,S^1)$ in the normal topological space $(X,{\tau }_X)$. If ${\langle x_i\rangle }_{i=1}^{+\infty }$ is a convergent sequence in $A\in {\tau }_X$ and $(E_i\cup E_k)\subset A$, then $\exists C_i,C_k\in C^{\otimes }$ such that $x_{\alpha },x_{\beta }\in {\langle x_i\rangle }_{i=1}^{+\infty }$, where $x_{\alpha }\in C_i$ and $x_{\beta }\in C_k$ are fixed points in the respective closed components in $(X,{\tau }_X)$. However, $[i<k]\Rightarrow [\partial C_k\subset C_i]$ implication is maintained in open subspace $A\in {\tau }_X$ and as $S_i\cap S_k=\varphi$, so $\partial C_i\cap \partial C_k=\varphi$ maintaining disjoint embedding condition. Moreover, the embeddings are homeomorphic to $S^1$ and generate closed components in $A\in {\tau }_X$. Thus, it is indeed true that, $x_{\alpha }\in \partial C_i$, $x_{\beta }\in \partial C_k$ and $(\partial C_i\cup \partial C_k)\subset A$ in the topological space $(X,{\tau }_X)$. As the topological space is normal as well as Hausdorff, hence $\exists U_{\alpha }\subset E_i,x_{\alpha }\in U_{\alpha }$ and $\exists U_{\beta }\subset E_k,x_{\beta }\in U_{\beta }$ such that $U_{\alpha }\cap U_{\beta }=\varphi$, where $(U_{\alpha }\cup U_{\beta })\subset \overline{A}$ in normal $(X,{\tau }_X)$. □

Remark 2.

The extension of the above property indicates that normal topological space allows normal embedded subspaces. As the topological space$(X,{\tau }_X)$is normal, thus$\exists A_{\alpha },A_{\beta }\subset X$such that$U_{\alpha }\subset \overline{A_{\alpha }}$and$U_{\beta }\subset \overline{A_{\beta }}$. Moreover, the normal subspace containing the monotone class embeddings maintains the condition given as$\partial C_i\subset A_{\alpha }$, $\partial C_k\subset A_{\beta }$and$A_{\alpha }\cap A_{\beta }\ne \varphi$in$(X,{\tau }_X)$.

Interestingly, the mutual disjoint embedding of functional groups is independent of order relation in embedding sequence. This property is maintained as long as a monotone class is formed within a topological subspace. It is important to note that, when a converging sequence of fixed points are considered within a compact subspace containing embeddings, the order of embeddings is considered to be fixed according to the sequence.

Theorem 4.

In the normal topological space$(X,{\tau }_X)$, if$C_i,C_k\in C^{\otimes }$such that$|k-i|\ge 1$, then the components are not separable independent of embedding sequence.

Proof. 

Let $(X,{\tau }_X)$ be a normal topological space and $\exists C_i,C_k\in C^{\otimes }$ be in the subspace $A\in {\tau }_X$, where the subspace is open and $|k-i|\ge 1$. Suppose, the components are separable in $(X,{\tau }_X)$ independent of embeddings sequence in $C^{\otimes }$. Thus, if $(C_i\backslash \partial C_i)\cap C_k=C_i\cap (C_k\backslash \partial C_k)=\varphi$ in $(X,{\tau }_X)$, then $\exists W,V\subset X$ open subspaces such that $C_i\subset W,C_k\subset V$ and $W\cap V=\varphi$. Thus, $W$ and $V$ are separations in $(X,{\tau }_X)$. However, in this case, either $C_i\in X\backslash C^{\otimes }$ or $C_k\in X\backslash C^{\otimes }$, which is a contradiction. Thus, if $C_i,C_k\in C^{\otimes }$ is in the embedding subspace $A\in {\tau }_X$, then $(W\cup V)\subset A$ and $W\cap V\ne \varphi$, where $|k-i|\ge 1$. Hence, the closure $\overline{A}$ is not a separable subspace and as a result the components are not separable or independent of embedding sequence. □

Corollary 1.

The uniform contraction has a role in determining separation in topological spaces. In the normal topological space$(X,{\tau }_X)$, if$C_i,C_k\in C^{\otimes }$such that$k>i$and$\partial C_k=\nabla (\partial C_i)$then$\partial C_i\cap \partial C_k=\varphi$. This is a relatively straight conclusion from the above-mentioned theorem.

The continuous contraction in normal topological spaces homeomorphic to $S^1$ invites the requirement of surjectivity in a sequence of embeddings. However, such a sequence should form a monotone class in a normal topological subspace.

Theorem 5.

In a normal topological space$(X,{\tau }_X)$, the uniform contraction$\nabla :\partial C_i\to \partial C_k$is a surjection in$C^{\otimes }$, where$k>i$.

Proof. 

Let $(X,{\tau }_X)$ be a normal topological space and $\exists A\in {\tau }_X$ such that $C_i,C_k\subset A$, where $\{C_i,C_k\}\subset C^{\otimes }$. Let $\nabla :\partial C_i\to \partial C_k$ be a uniform contraction and $k>i$. Now, the components $C_i^o\subset A$ and $C_k^o\subset A$ are dense because $C_i=C_i^o\cup E_i$ and $C_k=C_k^o\cup E_k$ in $A\in {\tau }_X$, where $E_i,E_k$ are functional group embeddings in topological subspace. Moreover, as $\overline{A}=A\cup \partial A$ is not separable and $C_i\cup C_k\subset A$, thus $\{C_i,C_k\}\subset C^{\otimes }$ are not separable. Again $C_k^o\subset C_i^o$ as $k>i$ in the sequence of embeddings $C^{\otimes }$ in the normal subspace $A\in {\tau }_X$. Moreover, the sequence of embeddings maintains the homeomorphism as, $\forall C_i\in C^{\otimes },\mathrm{hom}(\partial C_i,S^1)$ in $A\in {\tau }_X$. Thus, if $\nabla :\partial C_i\to \partial C_k$ is a continuous contraction, then $\forall x\in \partial C_k,\exists y\in \partial C_i$ such that $\nabla (N_y\subset \partial C_i)\subset (N_x\subset \partial C_k)$, where $N_x,N_y$ are open neighborhoods of $x,y$ respectively. Hence, the uniform contraction $\nabla :\partial C_i\to \partial C_k$ is a surjection in $C^{\otimes }$, where the topological space is normal in nature. □

The surjective contraction supports the monotone class of components generated by a sequence of functional group embeddings in a normal topological subspace. The existence of Kakutani fixed points in a converging sequence in such a subspace containing embedded components invites the semicontinuity of finite set valued function within the normal subspace containing embeddings sequence. This property is presented in the next theorem.

Theorem 6.

If$\alpha \in \partial C_k$and$\beta \in \partial C_i$with$i>k$are two Kakutani fixed points on embeddings in a normal topological space, then there is a semicontinuous set-valued function$\gamma :\partial C_i\to \partial C_k$such that$\gamma (\beta )\cap U_{\alpha }\ne \varphi$, where$\alpha \in U_{\alpha }$and$U_{\alpha }$is an open set.

Proof. 

Let $(X,{\tau }_X)$ be a normal topological space having embedded sequence of functional groups forming a monotone class structure generated by $C^{\otimes }$. Let $\{C_i,C_k\}\subset C^{\otimes }$ be such that there are two Kakutani fixed points $\alpha \in \partial C_k$ and $\beta \in \partial C_i$ with $i>k$ in $A\in {\tau }_X$. If $\gamma :\partial C_i\to \partial C_k$ is a set-valued function, then $\exists w\in \gamma (x),\exists v\in \gamma (y)$ such that $U_w\cap U_v\ne \varphi$, where $w\in U_w,v\in U_v$ are open sets in $A\in {\tau }_X$. However, if $\gamma (.)$ is semicontinuous, then $\forall x,y\in \partial C_i,\gamma (x)\cap \gamma (y)=\varphi$ indicates that the mapping is unique. Moreover, in the normal subspace of embedding, ${\displaystyle \underset{i\in I}{\cup }{C}_i\subset \overline{A}}$ and the sequence of fixed points ${\langle x_i\rangle }_{i=1}^{+\infty }$ in $\overline{A}$ is a converging sequence, where $\{\alpha ,\beta \}\subset {\langle x_i\rangle }_{i=1}^{+\infty }$. Thus, $\exists B\subset \partial C_k$ open set such that $\gamma (\beta )\subset B$. If $\alpha \in B$ then it leads to the conclusion that, $U_{\alpha }\subseteq \gamma (\beta )$. Otherwise, if $\alpha \notin B$ then $\exists D\subset \partial C_k$ such that $B\cap D\ne \varphi$, where $\alpha \in D$. Hence, in any case, $\exists U_{\alpha }\subset X$ such that $\gamma (\beta )\cap U_{\alpha }\ne \varphi$ in $(X,{\tau }_X)$. □

Generally, Schoenflies homeomorphism is defined in between two separable topological spaces containing embeddings. Thus, the Schoenflies homeomorphism can exist within multiple subspaces in a normal topological space. Suppose multiple functional group embeddings are distributed within the subspaces of a normal topological space. If the functional groups are disjoint and homeomorphic, then there can be interplay between embedded group homeomorphism and Schoenflies homeomorphism. This interaction is presented as a theorem next.

Theorem 7.

Let$(X,{\tau }_X)$be a normal topological space and$\{A_k,A_i\}\subset {\tau }_X$be such that$A_k\cap A_i=\varphi$. If Schoenflies homeomorphism exists as$g_S:A_k\to A_i$, then there is a group homeomorphism between embedded functional groups$G_k=(S_k,{\ast }_k,f_k)$and$G_i=(S_i,{\ast }_i,f_i)$in$A_k$and$A_i$, respectively.

Proof. 

Let $(X,{\tau }_X)$ be a normal topological space and the two disjoint subspaces are, $\{A_k,A_i\}\subset {\tau }_X$. Let $G_k=(S_k,{\ast }_k,f_k)$ and $G_i=(S_i,{\ast }_i,f_i)$ be two functional groups such that $S_i\cap S_k=\varphi$ and $(S_i\cup S_k)\subset S_X$. Thus, there can be two functional group embeddings in normal $(X,{\tau }_X)$ given as, $(l\circ f_k):S_X\to A_k$ and $(l\circ f_i):S_X\to A_i$ in the respective subspaces, which are normal category of topological spaces. If the Schoenflies homeomorphism $g_S:A_k\to A_i$ exists in $(X,{\tau }_X)$, then $g_S|{}_{E_k}=(l\circ f_i)(S_X)$. Thus, $\forall x,y\in (l\circ f_k)(S_X)$ in $A_k$, $\exists z\in (l\circ f_i)(S_X)$ such that $g_S(x{\ast }_{k}y)=z$ in $A_i$. Moreover, as $G_k=(S_k,{\ast }_k,f_k)$ is a functional group, hence $(l\circ f_k)(x{\ast }_{k}y)\in A_k$ is maintained due to closure property of the embedded functional group. Let $h_{ki}:(E_k\subset A_k)\to (E_i\subset A_i)$ be a bijection in $(X,{\tau }_X)$. If one considers that $h_{ki}(x){\ast }_i{h}_{ki}(y)=z\in E_i$ by following existing Schoenflies homeomorphism, then $\exists w\in E_k$ such that $h_{ki}(w)=z$ in the embedded subspace, where $x{\ast }_{k}y=w\in E_k$. Hence, $h_{ki}(.)$ is an embedded functional group homeomorphism preserved by $g_S|{}_{E_k}=(l\circ f_i)(S_X)$. □

Remark 3.

From the above theorem, it can be further concluded that$\mathrm{hom}(E_k,S^1)\Rightarrow \mathrm{hom}(E_i,S^1)$in the normal topological space$(X,{\tau }_X)$and the embeddings are not contractible in nature. As a result, the sequences of homeomorphic functional group embeddings are not in a monotone class.

The above observation can be extended under uniform contraction between two homeomorphic embedding spaces, which are separable. The group homeomorphism exists under uniform contraction if and only if the embedding spaces maintain Schoenflies homeomorphism in separable subspaces as given in the next theorem.

Theorem 8.

Let$(X,{\tau }_X)$be a normal topological space and$\{A_k,A_i\}\subset {\tau }_X$be such that$A_k\cap A_i=\varphi$, If$\{(l\circ f_a)(S_X),(l\circ f_b)(S_X)\}\subset A_i$and$\{(l\circ f_c)(S_X),(l\circ f_d)(S_X)\}\subset A_k$are embeddings in respective subspaces, such that$h_{ac}:E_a\to E_c$and$h_{bd}:E_b\to E_d$are group homeomorphisms, then there are uniform contractions$\nabla :\partial C_a\to \partial C_b$and$\nabla :\partial C_c\to \partial C_d$if Schoenflies homeomorphism exists as,$g_S:A_i\to A_k$.

Proof. 

Let $(X,{\tau }_X)$ be a normal topological space and $\{A_k,A_i\}\subset {\tau }_X$ be such that $A_k\cap A_i=\varphi$ and ${\Lambda }=\{G_a,G_b,G_c,G_d\}$ be a set of disjoint functional groups. Let $\{(l\circ f_a)(S_X),(l\circ f_b)(S_X)\}\subset A_i$ and $\{(l\circ f_c)(S_X),(l\circ f_d)(S_X)\}\subset A_k$ be the respective embeddings in corresponding subspaces such that $E_a\cap E_b=\varphi$ and $E_c\cap E_d=\varphi$ in $(X,{\tau }_X)$. Let $g_S:A_i\to A_k$ be a Schoenflies homeomorphism such that $g_S|{}_{E_a}=(l\circ f_c)(S_X)$ and $g_S|{}_{E_b}=(l\circ f_d)(S_X)$. Thus, the functional group embeddings and Schoenflies homeomorphism will generate components in subspaces as $C_a,C_b\subset A_i$ and $C_c,C_d\subset A_k$. If $\nabla :\partial C_a\to \partial C_b$ is a uniform contraction, then $\forall x,y\in \partial C_b,\exists U_x,U_y\subset \partial C_a$ such that $\nabla ({\alpha }_x\in U_x)=x$ and $\nabla ({\beta }_y\in U_y)=y$. Suppose $h_{ac}:(E_a\subset A_i)\to (E_c\subset A_k)$ and $h_{bd}:(E_b\subset A_i)\to (E_d\subset A_k)$ are embedded functional groups’ homeomorphisms in normal topological space, $(X,{\tau }_X)$. Thus, within the homeomorphic group embedding subspace, $h_{bd}(x{\ast }_{b}y)\in E_d$ and $h_{bd}(x{\ast }_{b}y)=h_{bd}(x){\ast }_d{h}_{bd}(y)$, where $G_b=(S_b,{\ast }_b,f_b),G_d=(S_d,{\ast }_d,f_d)$ are respective functional groups. Similarly, $h_{ac}(u{\ast }_{a}v)\in E_c$ and $h_{ac}(u{\ast }_{a}v)=h_{ac}(u){\ast }_c{h}_{ac}(v)$, where $G_a=(S_a,{\ast }_a,f_a),G_c=(S_c,{\ast }_c,f_c)$ are respective functional groups and $\{u,v\}\subset (l\circ f_a)(S_a\subset S_X)$. Hence, there exists a uniform contraction, $\nabla :\partial C_c\to \partial C_d$ in $A_k$ such that $\forall m,n,\in \partial C_d,\exists U_m,U_n\subset \partial C_c$ such that $\nabla ({\alpha }_m\in U_m)=m$ and $\nabla ({\beta }_n\in U_n)=n$, where $h_{ac}(U_u)\subset U_m$ and $h_{ac}(U_v)\subset U_n$. □

This indicates that there is a strong isometry between two separable normal topological subspaces containing functional group embeddings if the disjoint embedded functional groups are homeomorphic to each other. Moreover, in this case, the Schoenflies homeomorphism exists between the subspaces.

5. Comparative Analysis

This section presents the detailed comparative analysis of different constructions of group structures, decompositions and associated varieties of topological embeddings. Traditionally, the general group algebraic structures are discrete and do not impose the continuity as well as finiteness criteria. The concept of continuity in a group structure as well as algebraic operation is incorporated in topological groups, which are in a special category. The similarity between topological groups and the proposed algebraic construction of functional groups is that both structures incorporate continuity within the generated group structures. However, the distinctions of the proposed algebraic construction of functional groups are that: (1) the algebraic construction is generalized in nature; (2) they are compactly generated; and (3) they are sequentially embeddable with isometry within the normal topological space. The sequential embeddings of functional groups within a topological space generate a monotone class of components. Interestingly, the embeddings of topologically decomposed generalized group structures do not allow contraction. However, the proposed sequential embeddings of functional groups homeomorphic to $S^1$ support Banach-type contractive embeddings within the normal spaces. The similarity between the embeddings of the decomposed generalized group structure and the sequential embeddings of the functional group structure is that both varieties are complete with one-point compactification within a topological space. The parametric comparison between the two categories of structures is presented in

Table 1. Comparison between decomposable general group and functional group structures.

Group Structures	Homeomorphism	Topological Decomposability	Sequentially Embeddable	Contraction	One-point Compactification
$G_i=(S_i,{\ast }_i,f_i)$	$S^1$	Yes	Yes	Yes	Possible
$G_X=(X,{\ast }_X)$	$G_Y=(Y,{\ast }_Y)$	Yes	No	No	Possible

.

Traditionally, there are two broad categories of decomposable group constructions, namely direct product groups and semidirect product groups. Although the traditional decompositions of generalized group algebraic structures are based on the existence of Cartesian products of corresponding subgroups, in the case of topological decomposition of general group structures, this condition for the existence of independent subgroups is relaxed. The uniqueness property of decompositions of generalized group structures varies between semidirect product and direct product. However, the topological decomposition relaxes this requirement further. The topological decomposition of general group algebraic structures and the sequentially embeddable functional group structures are unique in nature. The comparison of properties related to group decompositions and embeddings related to varieties of groups is summarized in

Table 2. Comparison between various group decomposition and embedding structures.

Decomposition/Embeddings	Uniqueness	Global Continuity	Local Continuity	Identity	Separability
Semidirect product	No	Yes	Yes	Shared	No
Direct product	Yes	No	Yes	Distinct	Yes
Topological decomposition	Yes	No	Yes	Distinct	Yes
Functional group embeddings	Yes	No	Yes	Distinct	Monotone class components: No, otherwise: Yes

.

It is interesting to note that the local continuity property is maintained by every decomposition and topological embedding types. However, the global continuity property is maintained by the semidirect product. This results in the categorization of decomposition with respect to the separability property in regard to the generated components. The semidirect product is globally continuous having a shared identity, hence the decomposed components are not topologically separable in nature. However, the topological decomposition of general group structures can be locally continuous in nature and separable. Furthermore, the sequential embeddings of functional groups in a normal topological space are component wise separable if and only if they are not in a monotone class of isometry in the embedded subspaces.

6. Conclusions

The embeddable topological decompositions of general group algebraic structures and the functional group embeddings maintain the property of one-point compactification. The proposed algebraic constructions of functional groups are generalized in nature generating compact groups. The constructed functional groups are homeomorphic to circle groups and are embeddable within a normal topological space in a sequence. The embeddings support Banach-type contraction in underlying Hausdorff space. The contraction generates a monotone class of sequential embeddings following the Schoenflies variety. The functional group homeomorphism between two spaces is successfully preserved within the respective monotone classes under uniform contraction. Moreover, there exists a compact subspace within the normal topological space containing the sequential embeddings of functional groups. Interestingly, the sequential embeddings of functional groups in-line with Schoenflies variety may not generate multiple compact and separable components if it forms a monotone class within the normal topological space. Otherwise, the two sequential topological embeddings in disjoint subspaces are separable. The proposed topological embeddings of functional groups support inclusion of Kakutani fixed points and the embedding subspace is sequentially complete in nature.