Next Article in Journal
Topological Structures via Interval-Valued Neutrosophic Crisp Sets
Previous Article in Journal
On Some New Jungck–Fisher–Wardowski Type Fixed Point Results
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Topological Analysis of Fibrations in Multidimensional (C, R) Space

Department of Aerospace and Software Engineering (Informatics), Gyeongsang National University, Jinju 660701, Korea
Symmetry 2020, 12(12), 2049; https://doi.org/10.3390/sym12122049
Submission received: 15 November 2020 / Revised: 6 December 2020 / Accepted: 9 December 2020 / Published: 10 December 2020

Abstract

:
A holomorphically fibred space generates locally trivial bundles with positive dimensional fibers. This paper proposes two varieties of fibrations (compact and non-compact) in the non-uniformly scalable quasinormed topological (C, R) space admitting cylindrically symmetric continuous functions. The projective base space is dense, containing a complex plane, and the corresponding surjective fiber projection on the base space can be fixed at any point on real subspace. The contact category fibers support multiple oriented singularities of piecewise continuous functions within the topological space. A composite algebraic operation comprised of continuous linear translation and arithmetic addition generates an associative magma in the non-compact fiber space. The finite translation is continuous on complex planar subspace under non-compact projection. Interestingly, the associative magma resists transforming into a monoid due to the non-commutativity of composite algebraic operation. However, an additive group algebraic structure can be admitted in the fiber space if the fibration is a non-compact variety. Moreover, the projection on base space supports additive group structure, if and only if the planar base space passes through the real origin of the topological (C, R) space. The topological analysis shows that outward deformation retraction is not admissible within the dense topological fiber space. The comparative analysis of the proposed fiber space with respect to Minkowski space and Seifert fiber space illustrates that the group algebraic structures in each fiber spaces are of different varieties. The proposed topological fiber bundles are rigid, preserving sigma-sections as compared to the fiber bundles on manifolds.
MSC:
54F65; 55R15; 55R65

1. Introduction

The Minkowski space is a four-dimensional topological vector space over reals (i.e., four-manifold admitting Poincare symmetry group of isometries) with applications in physical and mathematical sciences [1,2]. In general, the Minkowski space is not well behaved if the corresponding Euclidean topological space is considered to be a locally homogeneous space [3]. The reason is that the Minkowski topological space gets decomposed into two locally homogeneous Euclidean subspaces, where the two topological subspaces are separated in nature. Note that the finest topology in n dimensional Minkowski space is Zeeman topology, which is separable, Hausdorff, locally non-compact, and also non-Lindeloff in nature. Moreover, the Zeeman topology generates a first countable topological space. On the other hand, the n > 1 dimensional Minkowski space equipped with t-topology ( M t ) is not completely Euclidean in nature [4]. The topological space on M t is first countable, where the compactification and continuity of a function can be maintained through the Zeno sequences. In view of general topology, the 4D Minkowski space equipped with s-topology is not a normal topological space, and it is a non-compact Hausdorff space. The axial rotations of a Minkowski space generate various geometric hypersurfaces in space. For example, the three types of helicoidal hypersurfaces are generated by axial rotation of 4-dimensional Minkowski space [5].
In this paper, the construction of topological fiber space in a non-uniformly scaled quasinormed ( C , R ) space and the corresponding topological, as well as algebraic analysis of fibration varieties are presented. First, the brief descriptions about the related concepts, such as topological fiber spaces and immersion of manifolds are presented in Section 1.1 and Section 1.2, respectively. Next, the motivation for this work and contributions made in this paper are explained in Section 1.3. In this paper, the symbols R , C and Z represent sets of extended real numbers, complex numbers, and integers, respectively.

1.1. Topological Fiber Spaces

The topological fiber bundles over a sphere exhibit a set of interesting topological properties if the respective fiber space is Euclidean. It is shown that if M is a closed and compact manifold maintaining Hausdorff topological property, then the function space X containing functions m : M × R R without interchanging the ends in R is a contractible space [6]. In view of algebraic topology, the structure G n represents a monoid of homotopy self-equivalences of ( n 1 ) spheres denoted by S n 1 [6]. Note that in this case, the topological space is in the compact-open category.
However, from the viewpoint of differential geometry, the structure of a fiber space can be considered to be rigid under specific conditions, such as orientations [7,8]. Specifically, a Seifert fiber space is profinitely rigid if it is an oriented variety [8]. Otherwise, the Seifert fiber space is based on three-manifold, which is classified depending upon a set of invariants, and it incorporates rigidity of infinite π 1 with a hyperbolic two-orbifold base of fibration [9]. Similarly, the Haken orientable hyperbolic three-manifold is an irreducible variety, and it supports the rigidity of fibration [10].

1.2. Manifolds and Immersions

In view of geometric topology, the immersion of surfaces into the null submanifolds in 3D offers various interesting observations. If the structure ( M , g ) is a Lorentzian manifold under tensor h with i : N M immersion function, then ( N , h ) is a degenerative null submanifold [11]. Interestingly, the Lorentzian manifolds are not metrizable, preserving isometry in reference to the space of immersion. It is known that the immersion of a hypersurface S into a Euclidean space with normal vector field V N is self-adjoint in the presence of a suitable shape operator. In general, a Lorentz space can be finitely covered by a circle bundle if it is a compact space [12]. Note that topologically the spaces with Lorentzian geometry (such as a torus bundle) are locally Hausdorff, and the corresponding manifold is not a globally Hausdorff topological space. The immersion of a k dimensional manifold in a k + l dimensional Euclidean space is given by f i : M k E k + l induces the one-to-one map in tangent space on the manifold [13]. The immersion space is considered to be a regular topological space, and the manifold is a connected topological space with orientation.

1.3. Motivation and Contributions

The fiber bundles are geometric as well as topological objects, which can be simulated and visualized in computer models. The computer visualization of fiber bundles as geometric objects has opened up a wide array of applications in various domains of physical sciences as well as computational sciences [14]. In the topological spaces of fiber bundles, the determination of equivalence between fiber bundles is a challenging task. The fiber bundle space reduction theorem indicates that two topological fiber bundle spaces are equivalent if and only if the corresponding Ehresmann bundles have cross-sections over common base space [15]. Interestingly, if we consider subspace X 0 X in the corresponding topological base space, then the cross-sections of an automorphic bundle within the subspace form an algebraic group structure. This paper proposes the construction and analysis of fiber space in the non-uniformly scalable multidimensional topological ( C , R ) space [16]. One of the interesting aspects of multidimensional topological ( C , R ) space is that the space is quasinormed, admitting cylindrically symmetric continuous functions, and does not always preserve compactness under topological projections. Hence, the interesting and motivating questions are: what are the possible varieties of fibrations in such space, and is it possible to establish any algebraic structures within the respective fiber space? Moreover, what are the topological properties of the resulting fiber space within the quasinormed multidimensional ( C , R ) space if the holomorphic condition of complex subspace is relaxed? These questions are addressed in this paper. The presented analysis considers algebraic as well as topological standpoints as required. The elements of functional analysis are employed whenever necessary.
The main contributions made in this paper can be summarized as follows. The topological ( C , R ) space is a non-uniformly scalable and quasinormed space, where the cylindrical open sets form the topological basis. The proposed fibrations within the space can be constructed in two varieties, such as compact fibration and non-compact fibration. The fiber space is considered to be dense, and it can admit the concept of a special category of fibers called contact fibers. The fiber space is equipped with finite linear translation operation. The resulting fiber space in the topological ( C , R ) space supports the expansion and orientations of multiple singularities of a piecewise continuous function on contact fibers. It is shown that a composite algebraic operation comprised of linear translation, and arithmetic addition prepares an associative magma in the non-compact fiber space. The associative magma space is commutative under linear translation within the magma space of fibers, and it resists the formation of a monoid under composite algebraic operation. However, an additive group algebraic structure can be admitted in the fiber space and in projective base space under specific conditions. Interestingly, the proposed fiber space does not support outward deformation retraction in a dense subspace.
The rest of the paper is organized as follows. Section 2 presents a set of preliminary concepts enhancing the completeness of the paper. The definitions related to topological fiber spaces and fibrations are presented in Section 3. The algebraic and topological properties are presented in Section 4. Section 5 illustrates the concepts of expansion and singularities in the proposed topological fiber space. A detailed comparative analysis of this work with respect to other contemporary works in the domain is presented in Section 6. Finally, Section 7 concludes the paper.

2. Preliminary Concepts

Let v = ( x 0 , x 1 , x n 1 ) and w = ( y 0 , y 1 , y n 1 ) be two vectors in a n dimensional vector space represented as ( V n , + , ) . The Lorentzian inner product between v , w is given as L ( v , w ) = x 0 y 0 + i = 1 n 1 x i y i . The real vector space in R n endowed with symmetric Lorentzian inner product with non-degenerate bi-linear form is called a n dimensional Minkowski space M n . In the Minkowski space, the linear operator T : M n M n preserves L ( . , . ) because it maintains the condition represented as v M n , L ( v , v ) = L ( T ( v ) , T ( v ) ) generating a Lorentz group structure. The Euclidean e topology in M n is formulated by the topological basis elements given as a set of neighborhoods B = { N ( x , ε ) : x M n , ε > 0 } . Note that s topology on M n is strictly finer than the e topology. Moreover, in the Minkowski space M n , the geometry of the space cone in the Euclidean topology maintains σ e o p e n criteria [3].
The Steenrod formulation of fiber bundles is represented as an algebraic structure F = { B , X , p , Y , G , V j , φ j } , where B is the bundle space, X is a topological base space, p : B X is a projection function, Y is a topological space called fiber, and G is a bundle group [15]. In the formulation, the elements V j , φ j are coordinate neighborhoods and the corresponding coordinate functions, respectively. The coordinate functions must satisfy a condition which is given by φ j : V j × Y p 1 ( V j ) . Note that a four-dimensional Minkowski space is essentially a real vector space preserving Hausdorff topological property [17].

3. Topological Fiber Space and Fibrations

In this section, a set of definitions related to fibrations and the resulting generation of fiber spaces in a quasinormed topological ( C , R ) space is formulated. A point x p in the quasinormed topological ( C , R ) space ( X , τ X ) is represented as x p = ( z p , r p ) , and the origin of ( X , τ X ) is denoted as x 0 = ( z 0 , 0 ) , where z 0 is the Gauss origin. The corresponding topological projections are given by π R : X R and π C : X C on the real subspace and complex subspace, respectively. For the simplicity of algebraic representation { z p } × I ( z p , I ) is used to denote a sectional subspace within the topological fiber space, where I is an interval (either open or closed). In this paper, A o and A ¯ represent the interior and closure of an arbitrary set A such that A ¯ = A o A . Moreover, if A is homeomorphic to B then it is denoted as hom ( A , B ) . First, we define the projective base of a fiber space in the topological ( C , R ) space.

3.1. Projective Base in ( C , R ) Tangent Space

Let A m τ X be an open cylindrical subspace in the topological ( C , R ) space ( X , τ X ) such that A m = D ( z m , ε > 0 ) × I , where ( z m , r ) C × { r } and I R is open. Suppose we determine { α , ε } R + maintaining the ordering relation given by 0 < α < ε . The projection of corresponding tangent subspace onto topological base space at r R is defined as:
D ( z n , α ) D ( z m , ε ) , B n = D ( z n , α ) × I , z p D ( z n , α ) , r R , π r : B n ( D ( z n , α ) × { r } ) , π r ( ( z p , I ) ) = ( z p , r ) .
Note that the projection π r ( . ) is surjective in nature onto the dense base space D ( z n , ε ) × { r } , where the hom ( D ( z n , α ) , S 1 ) condition is maintained for every z n C . Moreover, it preserves the standard notion of projection in the tangent space of a topological manifold ( M , τ M ) . Next, the definition of fiber bundles in the tangent space considering a base space is formulated.

3.2. Topological Fiber Bundle in ( C , R ) Space

As stated earlier, let A m = D ( z m , ε ) × I be a subspace in the topological ( C , R ) space for ε > 0 . The topological fiber bundle in the corresponding tangent space B m = D ( z m , ε ) × I is given by:
F m = { ( z p , I ) : z p D ( z m , ε ) } , E p D ( z m , ε ) × { r p } , σ : E p F m , ( π r σ ) ( x p E p ) = ( z p , r ) .
A fiber ( σ π r ) ( ( z p , I ) ) = μ p × I ( z p , I ) where ( z p , I ) F m is called a compact fiber, if and only if I R \ { , + } and I = I o I . Otherwise, it is a result of non-compact fibration in the topological ( C , R ) space.
Remark 1.
The topological fiber bundle F m in ( C , R ) space is more rigid as compared to the fiber bundle in ( M , τ M ) because F m preserves the σ sections within the fiber bundles in the corresponding tangent ( C , R ) space, where the topological base space is a dense set. The σ sections in the topological manifold ( M , τ M ) may not be preserved in every case within the fiber bundle of ( M , τ M ) . The reason is that a set of σ sections of ( M , τ M ) is constructed separately independent of projections onto topological base space.

3.3. Fiber Space

The fiber space in a topological ( C , R ) space ( X , τ X ) is formulated based on the sets of fiber bundles in the dense subspaces. Let us consider A m = D ( z m , ε ) × I be a dense subspace in topological ( C , R ) space for ε > 0 . The corresponding fiber space Γ m in A m considering 0 ε < k < + is defined as:
z a D ( z m , ε ) , A a A m , Γ m = z a D ( z m , ε ) F a = ε [ 0 , k ) F m .
In the above definition F a is a local fiber bundle of corresponding topological subspace B a = D ( z a , ε ) × I in ( X , τ X ) . The entire fiber space of topological ( C , R ) space can be generated from the sets of local fiber bundles as given below:
Γ C R = z m C Γ m .
Note that at ε = 0 in the topological subspace, A m the subspace μ m × I is also a fiber at z m C . Earlier it is mentioned that there are two varieties of fibrations, which can be admitted into the topological ( C , R ) space. However, it is interesting to observe that in any case, the fiber space in ( X , τ X ) is not compact, which is presented in the following proposition.
Proposition 1. 
Every fiber space Γ m in ( X , τ X ) is not compact.
Proof. 
Let ( X , τ X ) be a topological ( C , R ) space and F a Γ m be a topological fiber bundle in the topological subspace A a A m . The topological projection π R : X R prepares a real subspace in ( X , τ X ) . We will prove the proposition by considering two separate cases. In the first case, suppose I R \ { , + } such that I = I o I preparing a compact fibration in the topological space. However, recall that as A a = D ( z a , ε > 0 ) × I , thus, the projection π C ( v A a ) C is an open subspace. Otherwise, if I = R in A a then the fibration F a Γ m is a non-compact variety. As a result, the projective subspace π R ( v A a ) = R is an open set. Hence, in every case F a Γ m is not compact and as a result Γ m = z a D ( z m , ε ) F a is also not compact in ( X , τ X ) . □
Remark 2.
The above proposition further indicates that the fiber space Γ C R in ( X , τ X ) is not a compact space.
In general, the Seifert fiber space on an oriented manifold maintains profinite rigidity [8]. However, in the case of a holomorphic map f : M N between two complex manifolds M and N , the rigidity of fibration allows sending a single fiber to another fiber, as along as the complex manifolds, are individually connected spaces [18]. In this paper, the topological ( C , R ) space is a connected space, and the associated fiber space supports finite translation of fibers within the space.

3.4. Translation in Fiber Space

Let Γ m Γ C R be a fiber subspace in the topological ( C , R ) space ( X , τ X ) . The topological translation of a fiber subspace in Γ m is defined as:
Γ p : Γ m Γ p Γ C R , T : Γ C R Γ C R , T ( μ a × I ) = μ T a × I = T ( z a , I ) , μ a × I Γ m , μ T a × I Γ p .
Remark 3.
Note that, the translation T : Γ C R Γ C R is continuous in C under projection π C : X C within the open subspaces of fibers. However, the translation can be transformed into a strictly closed and convergent variety if the following restrictions are imposed on it: Γ p = Γ p o Γ p and Γ p Γ C R .
The properties of finite translations within the topological fiber space depend on the Baire categorization of a subspace (i.e., dense or meager) and compactness of the corresponding projective subspace. The following proposition presents such observation.
Proposition 2.
If Γ p Γ C R is dense and the topological projection on subspace π R σ ( x m X ) is not compact, then T : ( Γ m Γ C R ) ( Γ p Γ C R ) is a continuous and finite fiber space translation.
Proof. 
Let Γ m , Γ p be two fiber subspaces in ( X , τ X ) such that the translation is given as T : ( Γ m Γ C R ) ( Γ p Γ C R ) . Note that Γ m o Γ p ¯ in the topological space and as a result T : Γ C R Γ C R is continuous in all monotone classes of projective subspaces π C ( Γ m ) π C ( Γ p ) in ( X , τ X ) . If the topological projection π R σ ( x m X ) is not compact, then the corresponding fibration is a non-compact variety resulting in the generation of fiber μ m × I ( z m , I = R ) . Suppose fibration is non-compact everywhere in the topological space ( X , τ X ) . Thus μ a × I Γ m , T ( μ a × I ) = μ T a × I is maintained in the subspaces such that μ T a × I Γ p and μ T a × I = T ( z a , I ) , where T ( z a ) C and T ( I = R ) = I . If Γ p Γ C R is dense, then Γ p ¯ Γ C R is a compact subspace of fibers. As a result, it is true that μ a × I Γ m , 0 | | π C ( μ T a × I ) z a | | 2 < + considering the inclusion of translation invariant fiber, which is given by μ a × I Γ m , T ( μ a × I ) = μ a × I . Hence, the continuous translation of fiber subspace T : Γ C R Γ C R in ( X , τ X ) is finite if Γ p Γ C R is dense and the topological projection π R σ ( x m X ) on real subspace is not compact. □
The proposed fibration in a topological ( C , R ) space is equipped with a special category of fiber called contact category, as defined below. A contact category fiber admits multiple oriented singularities of a function within the fibered topological space under specific conditions.

3.5. Contact Category Fiber

Let Γ m Γ C R , Γ p Γ C R be two fiber subspaces in the topological ( C , R ) space ( X , τ X ) . A fiber μ s × I is defined to be in the contact fiber category if the following conditions are maintained by it:
Γ m Γ p = { μ s × I } , r R , π R σ ( ( z s , r ) ) = R .
Note that the restriction for a contact fiber to be maintained is given as, z s C \ { , + } . This restriction is required to retain the finiteness of projection of fiber space into the topological base space of the contact fiber category. Once the contact fiber is defined, we can formulate the oriented singularities of a function in the topological space.

3.6. Oriented Singularities of Function

Let f : [ a R , b R ] ( X , τ X ) be a continuous function in the topological ( C , R ) space. The function f ( . ) is defined to have positively oriented singularity in the space if the following conditions are maintained by it on a fiber.
I R \ { , + } , μ f × I X , c ( a , b ) : x f r f ( [ a , b ] \ { c } ) , x f r = ( z f , r I ) , lim t c f ( t ) = ( z f , r ) , r + .
Remark 4.
It is straightforward to verify that the negatively oriented singularity of a continuous function can be defined by following a similar concept, as stated above, with a change in orientation. Moreover, a planar and symmetric variety of the function with multiple oriented singularities can be formulated if the following restrictions are maintained by it:
Γ m Γ p = { μ s × I } , D ( z m , ε ) D ( z p , ε ) = { z s } , r R \ { , + } , f ( [ a , c ) ) D ( z m , ε ) × { r } , f ( ( c , b ] ) D ( z p , ε ) × { r } , lim t c + f ( t ) = ( z s , r ) , r + , lim t c f ( t ) = ( z s , r ) , r .
It is important to note that a planar and symmetric function with multiple oriented singularities in the fiber space of topological ( C , R ) space is a discontinuous variety (i.e., the function is piecewise continuous). Furthermore, the fiber admitting multiple singularities of a planar as well as symmetric function is in the contact fiber category, and the corresponding fibration is non-compact type.

4. Algebraic and Topological Properties

In this section, the algebraic and topological properties of fiber space in the quasinormed topological ( C , R ) space are presented. First, we show that the fiber space Γ C R is an associative magma under the algebraic composite operation ( + T ) as given below:
μ a × I , μ b × I Γ C R , μ a × I ( + T ) μ b × I = μ ( a + T b ) × I
The above representation indicates that ( + T ) is a composite algebraic operation, which is comprised of functional translation and arithmetic addition within the topological space. Note that the linearity of translation operation is considered to be maintained for generality. It is interesting to observe that the algebraic structure ( Γ C R , ( + T ) ) constructs an associative magma in the topological space ( X , τ X ) if and only if the translation is invariant to first-order and the fibration is non-compact type.
Theorem 1.
The non-compact fiber space ( Γ C R , ( + T ) ) is an associative magma if and only if T : Γ C R Γ C R is linear and n 2 , T n = T , n Z + .
Proof. 
Let ( Γ C R , ( + T ) ) be a fiber space associated with the algebraic operation in the topological space ( X , τ X ) . If T : Γ C R Γ C R is linear and the fibration is non-compact type, then a σ section preserves the following condition involving corresponding topological base space, μ a × I Γ C R , ( π R σ ) ( x a X ) = R . Moreover, due to the linearity of translation of fibers in the space it can be verified that { k 1 , k 2 } R , T ( k 1 μ a × I + k 2 μ b × I ) = k 1 T ( μ a × I ) + k 2 T ( μ b × I ) , where { μ a × I , μ b × I } Γ C R . Recall that μ a × I Γ C R , T ( μ a × I ) = μ T a × I condition is maintained in the corresponding fiber space. Thus we can derive the following equations considering the algebraic operation ( + T ) :
{ μ a × I , μ b × I , μ c × I } Γ C R , ( μ a × I ( + T ) μ b × I ) ( + T ) μ c × I = μ ( a + T b + T c ) × I Γ C R , μ a × I ( + T ) ( μ b × I ( + T ) μ c × I ) = μ ( a + T ( b + T c ) ) × I Γ C R .
This indicates that the fiber space is associative if T 2 = T in ( Γ C R , ( + T ) ) . Moreover, if T 2 = T then n Z + , T n = T n 2 ( T 2 ) = T n 1 = = T and it is closed in ( Γ C R , ( + T ) ) . Hence, the fiber space ( Γ C R , ( + T ) ) is an associative magma under the non-compact fibration in the topological space. □
Corollary 1.
It is important to note that the fiber space ( Γ C R , ( + T ) ) is not a monoid as no fixed fiber (i.e., original fiber) can be identified within the space. This indicates that it is a relatively rigid structure because even if the invariance condition of translation is further relaxed at the origin of ( X , τ X ) so that x 0 X , T ( μ 0 × I ) = μ 0 × I = T ( z 0 , I ) then also the algebraic structure ( Γ C R , ( + T ) ) is not transformed into a monoid, where z 0 is Gauss origin. The main reason is that the algebraic operation ( + T ) is not commutative in nature.
Interestingly, although the fiber space ( Γ C R , ( + T ) ) is an associative magma under non-commutative algebraic operation ( + T ) ; however, an additional linear translation of the magma of fiber space is a commutative space. This observation is presented in Theorem 2.
Theorem 2.
In ( Γ C R , ( + T ) ) associative magma of fiber space, the translation T : ( Γ C R , ( + T ) ) ( Γ C R , ( + T ) ) admits commutativity in magma under T .
Proof. 
Let { μ a × I , μ b × I } Γ C R be a subset of fibers in associative magma ( Γ C R , ( + T ) ) . According to the principle of commutativity, the following equations can be derived in the magma of fiber space:
μ a × I ( + T ) μ b × I = μ ( a + T b ) × I , μ b × I ( + T ) μ a × I = μ ( b + T a ) × I .
Thus, further translation in the associative magma of fiber space leads to the following conclusions considering T 2 = T .
T ( μ a × I ( + T ) μ b × I ) = μ ( T a + T b ) × I , T ( μ b × I ( + T ) μ a × I ) = μ ( T b + T a ) × I .
However, the algebraic structure ( C , + ) is commutative in nature, indicating that T ( z b ) + T ( z a ) = T ( z a ) + T ( z b ) . This leads to the following algebraic identity:
T ( μ a × I ( + T ) μ b × I ) = T ( μ b × I ( + T ) μ a × I ) .
Hence, the function T : ( Γ C R , ( + T ) ) ( Γ C R , ( + T ) ) admits commutativity within the associative magma of fiber space in ( X , τ X ) . □
From the algebraic standpoint, the above theorem illustrates that the linear translation in the associative magma of fiber space admits commutativity within the space. However, the space does not support a group structure under such given conditions. On the other hand, if the fibration is a non-compact variety in topological ( C , R ) space, then the algebraic structure ( Γ C R , + ) in the respective fiber space attains a group structure as presented in the next theorem.
Theorem 3.
The structure ( Γ C R , + ) is a fiber group in ( X , τ X ) if and only if μ a × I Γ C R , r a R the fibration maintains ( π R σ ) ( x a X ) = R .
Proof. 
Let Γ C R be a fiber space in the topological ( C , R ) space ( X , τ X ) . Suppose we consider a subspace M μ = { μ a × I , μ b × I , μ c × I } Γ C R such that the projection on base space is M v = { π r ( v M μ ) } and the corresponding topological projection maintains ( π R σ ) ( y M v ) = R . This leads to the following result maintaining commutativity under non-compact fibration.
I = R , z a + z b = z a + b C , μ a × I + μ b × I = μ ( a + b ) × I = ( z a + b , I ) , ( μ a × I + μ b × I ) + μ c × I = μ a × I + ( μ b × I + μ c × I ) .
Moreover, at the origin x 0 of ( X , τ X ) the fiber μ 0 × I is an identity fiber (i.e., original fiber) because, μ a × I Γ C R , μ a × I + μ 0 × I = μ 0 × I + μ a × I = μ a × I . Furthermore, if we consider fibers such that μ a × I Γ C R , μ a × I Γ C R maintaining μ a × I + μ a × I = μ a × I + μ a × I = μ 0 × I then μ a × I is the inverse of μ a × I . Hence, the algebraic structure ( Γ C R , + ) is a fiber group if the fibration is a non-compact variety. □
Lemma 1.
In the topological ( C , R ) space ( X , τ X ) , the algebraic structure ( π r ( Γ C R ) , + ) is a group, if and only if r = 0 .
Proof. 
The proof is relatively straightforward. Suppose we select an arbitrary r R \ { 0 } to prepare a topological base space for projection. In this case, the { x 0 } π r ( Γ C R ) = ϕ condition is satisfied within the projective space of fibers. This leads to the conclusion that z a , z b ( π C π r ) ( Γ C R ) , z a + z b z a z b if z a z b z 0 and in addition the following condition is maintained, { ( π R π r ) ( v Γ C R ) } { π R ( x 0 ) } = ϕ . Thus, the algebraic structure ( π r ( Γ C R ) , + ) is not a group because x a , x b π r ( Γ C R ) , x a + x b x a x b indicating that the additive identity element does not exist in ( π r ( Γ C R ) , + ) if r 0 . Hence, the algebraic structure ( π r ( Γ C R ) , + ) is a group, if and only if r = 0 . □
Remark 5.
If ψ : Γ C R Γ C R is a function in fiber space such that ψ ( μ a × I ) = μ a × ψ ( I ) with ( π R σ ) ( x a X ) = R , then it can be observed that ψ ( μ a × I ) μ a × ψ ( I ) , if and only if μ a × ψ ( I ) μ a × I . Hence, the function ψ ( . ) is a 2 π r a d i a n rotation of a fiber maintaining symmetry property. Moreover, it preserves the identity in a σ section as ( ψ ( σ π r ) ) = ( σ π r ) due to symmetry.
Theorem 4.
In the fiber space Γ C R , there is no deformation retract η D : D ( z m , ε ) × I D ( z m , ε ) × I , where ε > 0 , ε R + .
Proof. 
Let Γ C R be a fiber space in the topological ( C , R ) space ( X , τ X ) . If we consider ε > 0 , ε R + then D ( z m , ε ) × I is an open subspace in ( X , τ X ) . Note that in the corresponding subspace hom ( D ( z m , ε ) , S 1 ) condition is maintained. According to the deformation retraction theorem, there can be no retraction from convex D ( z m , ε ) to D ( z m , ε ) maintaining continuity of retraction function within the topological space. As a result, there can be no deformation retract function η D : D ( z m , ε ) × I D ( z m , ε ) × I admissible within ( X , τ X ) . □
Remark 6.
Although η D : D ( z m , ε ) × I D ( z m , ε ) × I outward deformation retract is not admissible in ( X , τ X ) ; however, the inward deformation retract given by η E : D ( z m , ε ) × I D ( z m , α ) × I can be admitted, if and only if α < ε and α > 0 , α R + .

5. Expansion and Singularity

The fiber space Γ C R in a quasinormed topological ( C , R ) space ( X , τ X ) supports the continuous and uniform expansion of a subspace Γ m under the translation function T : Γ C R Γ C R . First, we define the uniformity of T in Γ C R as given below, considering the Euler representation of a point z m C :
z m = α m e i θ m , z m C , μ T m × I = ( α m T e i θ m , I ) .
If we equip the fiber subspace Γ m Γ C R with uniform T : Γ C R Γ C R then the algebraic structure ( Γ m , T ) admits continuous and uniform expansion in ( X , τ X ) , within the monotone class of fiber space. In other words, the fiber subspace Γ m Γ C R admits continuous and uniform expansion within the fiber space if it maintains the following properties:
Γ m Γ C R , Γ T m Γ C R , Γ m Γ T m , μ m × I Γ m , n > 1 , T n ( μ m × I ) Γ T m , T n T .
Note that it indicates Γ T m is dense in Γ C R because Γ T m Γ T m = Γ T m ¯ within ( X , τ X ) . Moreover, the continuous and uniform expansion of a fiber subspace is finite within a compact subspace. However, this restriction may not be valid in the entire fiber space Γ C R within ( X , τ X ) , where X τ X is open.
The contact category fiber in ( X , τ X ) admits multiple singularities of a function f : [ 0 , 1 ] ( X , τ X ) . In this case, the function is piecewise continuous in ( X , τ X ) . Let Γ m , Γ p Γ C R be two fiber subspaces such that Γ m Γ p = { μ s × I } is a fiber in the contact fiber category. Suppose a ( 0 , 1 ) such that x [ 0 , a ) , f ( x ) D ( z m , ε ) × I and x ( a , 1 ] , f ( x ) D ( z p , ε ) × I for some ε > 0 . Consider that fibration is a non-compact variety, and as a result the ( π R σ ) ( f ( x ) ) = R condition is maintained under projection. If lim x a + f ( x ) ( z s , + ) and lim x a f ( x ) ( z s , ) conditions are maintained by the function, then f : [ 0 , 1 ] ( Γ m Γ p ) admits multiple singularities in the fiber space. Furthermore, the proposed structure does not exclude the possibility of the existence of oriented singularity within the space under the additional requirement. If lim x a f ( x ) lim x a + f ( x ) equivalence relation is maintained by the limiting values of the function, then lim x a ± f ( x ) ( z s , + ) is a strictly positively oriented singularity of the function on the respective contact fiber in ( X , τ X ) .

6. Comparative Analysis

There are varieties in the construction of fiber bundles and associated singularities based on various parameters, such as the connectedness of topological spaces, locality of homeomorphism, and different types of projection maps. The comparison of various properties associated with different varieties of fiber spaces is summarized in Table 1.
In the case of Seifert fiber space, the fiber bundles are S 1 —bundles of a three-manifold M 3 [7,8]. The Seifert fiber space admits local compactness along with the fundamental group π 1 ( M 3 ) . The fundamental group π 1 ( M 3 ) includes a unique normal subgroup structure. However, the fiber space of topological ( C , R ) space is a set of elements given by { μ a × I : ( z a C , I R ) X } . As a result, the fiber space in topological ( C , R ) space admits oriented singularity and two respective varieties of fibrations. Moreover, unlike Seifert space, the topological ( C , R ) space is a quasinormed space with non-uniform scaling of points in space. The fiber space of topological ( C , R ) space forms an additive group algebraic structure under certain conditions. Furthermore, the composite algebraic operation comprised of arithmetic addition and functional translation forms an associative magma in the fiber space of topological ( C , R ) space.
The generalization of singular fibration considers that the topological space ( X , τ X ) is connected in nature [19]. Specifically, if A 1 A 2 = X then the singular fibration in ( X , τ X ) maintains the condition that A 1 A 2 ϕ . Moreover, the function h : ( B A 1 ) A 2 is a homeomorphism, and for each component, E A 2 \ h ( B ) , the projection map is given by h \ h 1 ( E ) for a fiber bundle, where the base space is E X [19]. The similarity of singularities between the topological ( C , R ) space and the generalized singular fibration is that in both cases, the topological space is a connected type. However, the main distinction between the two constructions is that the function of admitting multiple singularities in a topological ( C , R ) space does not require the existence of local homeomorphism within the topological space. There are varieties of constructions to preserve compactness. In the case of a generalized singular fibration, the functions f : A 1 A 2 and f 1 : A 2 A 1 maintain compactness [19]. On the contrary, the compactness in a topological ( C , R ) space is not always preserved. For example, in the topological ( C , R ) space, π C ( B X ) is compactible but π R ( B X ) is not compactible in nature.
The fibration and fiber bundles in Minkowski space consider four-manifold ( M 4 ) structure [20,21]. Interestingly the fibration in Minkowski space is possible if the space is Hausdorff and connected topological space, which is locally Euclidean on M 4 . The fibration in topological ( C , R ) space considers similar topological properties (i.e., space is connected T 2 space). However, the fibration in Minkowski space is four-dimensional, whereas the fibration in topological ( C , R ) space is three dimensional in nature. Furthermore, the topological ( C , R ) space contains a complex subspace under projection, and the Minkowski M 4 is a completely real manifold. Note that the Minkowski space and topological ( C , R ) space both support the formation of sub-bundles within the respective fiber spaces. The fiber space of topological ( C , R ) space admits two varieties of additive group algebraic structures under projections. However, the Minkowski fiber space admits a sub-bundle with Lorentz group structure [20]. Interestingly, the holomorphic and principal fiber bundle of a compact complex manifold supports a complex Lie group structure [22]. The topological decomposition indicates that Minkowski space can be completely decomposed into two components, such as 3D real Euclidean subspace and 1D real Euclidean subspace [21]. On the contrary, the topological ( C , R ) space is a quasinormed space supporting non-uniform scaling, and it can be topologically decomposed into two components, such as 2D complex subspace and 1D real subspace.

7. Conclusions

A fiber space is a topological space where it locally behaves as a product space, but globally the space has a different topological structure. The analytical properties of fibrations and resulting fiber spaces vary depending upon the constructions as well as the structures of topological spaces. The multidimensional topological ( C , R ) space is a non-uniformly scaled quasinormed space admitting a topological group under composite algebraic operations. The fibrations in multidimensional topological ( C , R ) space have two varieties in view of compactness. The non-compact fiber space forms associative magma under composite algebraic operation comprised of linear translation and addition within the complex subspace. In this case, the translation is invariant to first order. However, it resists the formation of a monoid structure under composite algebraic operation, and the magma space supports commutativity under linear translation operation within the space of fibers. The fiber space forms an additive group structure if the fibration is a non-compact variety. The projective base space admits an additive group structure if and only if the base space contains the origin of real subspace. The fiber subspace is dense, and it does not allow outward deformation retraction. The fiber space of multidimensional topological ( C , R ) space allows expansion under uniform translation and preserves multiple oriented singularities of a piecewise continuous function on contact fibers. The structures of Minkowski space and multidimensional topological ( C , R ) space have different dimensions and partial similarities. The comparative analysis of fiber spaces of multidimensional topological ( C , R ) space, Minkowski space, and Seifert fiber space illustrates that the supporting group algebraic structures are different for each space. Moreover, the topologically decomposed subspaces have different dimensions as well as properties in each space. Finally, this is to note that the proposed constructions of topological fibrations may find applications in mathematical sciences (i.e., manifold immersion and surface classifications) and in physical sciences (i.e., supersymmetry, topological string theory, cosmology, and analyzing symmetry fibration in biological networks).

Author Contributions

The author (S.B., Department of Aerospace and Software Engineering (Informatics), Gyeongsang National University, Jinju, ROK) is the sole and single author of this paper, and the paper contains his own contributions. The author has read and agreed to the published version of the manuscript.

Funding

The research is funded by Gyeongsang National University, Jinju, Korea.

Acknowledgments

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

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Vincze, C. On geometric vector fields of Minkowski spaces and their applications. Differ. Geom. Its Appl. 2006, 24, 1–20. [Google Scholar] [CrossRef] [Green Version]
  2. Cleszko, M. Application of Minkowski space to description of anisotropic pore space structure in porous materials. Suppl. Minisymp. Math. Mech. 2011, 80, 129–132. [Google Scholar] [CrossRef]
  3. Ersoy, S.; Bilgin, M.; Ince, I. Generalized open sets of Minkowski space. Math. Moravica 2015, 19, 49–56. [Google Scholar] [CrossRef] [Green Version]
  4. Agrawal, G.; Shrivastava, S. t-topology on the n-dimensional Minkowski space. J. Math. Phys. 2009, 50, 1–6. [Google Scholar] [CrossRef]
  5. Guler, E. Helical hypersurfaces in Minkowski geometry E14. Symmetry 2020, 12, 1206. [Google Scholar] [CrossRef]
  6. Wall, C.T.C. On bundles over a sphere with fiber Euclidean space. Fundam. Math. 1967, 61, 57–72. [Google Scholar] [CrossRef] [Green Version]
  7. Preaux, J.P. A survey on Seifert fiber space theorem. ISRN Geom. 2014, 2014, 694106. [Google Scholar] [CrossRef]
  8. Wilkes, G. Profinite rigidity for Seifert fiber spaces. Geom. Dedicata 2017, 188, 141–163. [Google Scholar] [CrossRef] [Green Version]
  9. Soma, T. Scott’s rigidity theorem for Seifert fibered spaces; Revisited. Trans. Am. Math. Soc. 2006, 358, 4057–4070. [Google Scholar] [CrossRef] [Green Version]
  10. Soma, T. A rigidity theorem for Haken manifolds. Math. Proc. Camb. Philos. Soc. 1995, 118, 141–160. [Google Scholar] [CrossRef]
  11. Navarro, M.; Palmas, O.; Solis, D.A. On the geometry of null hypersurfaces in Minkowski space. J. Geom. Phys. 2014, 75, 199–212. [Google Scholar] [CrossRef]
  12. Kulkarni, R.S.; Raymond, F. 3-dimensional Lorentz space-forms and Seifert fiber spaces. J. Differ. Geom. 1985, 21, 231–268. [Google Scholar] [CrossRef]
  13. Lashof, R.; Smale, S. On the immersion of manifolds in Euclidean space. Ann. Math. 1958, 68, 562–583. [Google Scholar] [CrossRef]
  14. Butler, D.M.; Pendley, M.H. A visualization model based on the mathematics of fiber bundles. Comput. Phys. 1989, 3, 45–51. [Google Scholar] [CrossRef] [Green Version]
  15. Hu, S.T. The equivalence of fiber bundles. Ann. Math. 1951, 53, 256–275. [Google Scholar] [CrossRef]
  16. Bagchi, S. On the topological structure and properties of multidimensional (C, R) space. Symmetry 2020, 12, 1542. [Google Scholar] [CrossRef]
  17. Nanda, S. Topology for Minkowski space. J. Math. Phys. 1971, 12, 394–401. [Google Scholar] [CrossRef]
  18. Bharali, G.; Biswas, I. Rigidity of holomorphic maps between fiber spaces. Int. J. Math. 2014, 25, 1–8. [Google Scholar] [CrossRef] [Green Version]
  19. Church, P.T.; Timourian, J.G. Fiber bundles with singularities. J. Math. Mech. 1968, 18, 71–90. [Google Scholar] [CrossRef]
  20. Marathe, K.B. Minkowski spaces as fiber bundles. In C.I.M.E. Bolzano Italy; Springer: Berlin, Germany, 1970; pp. 392–401. [Google Scholar] [CrossRef]
  21. Zeeman, E.C. The topology of Minkowski space. Topology 1967, 6, 161–170. [Google Scholar] [CrossRef] [Green Version]
  22. Fujimoto, H. On the automorphism group of a holomorphic fiber bundle over a complex space. Nagoya Math J. 1970, 37, 91–106. [Google Scholar] [CrossRef] [Green Version]
Table 1. Summary of comparative analysis of various spaces and fibrations.
Table 1. Summary of comparative analysis of various spaces and fibrations.
Space/FibrationGeometric PropertyTopological Decomposed SubspacesLocal CompactnessGroup Structure
Seifert fiber space three-Manifold S 1 —fiber spaceYesFundamental group with unique normal subgroup
Minkowski spacefour-Manifold3D real, 1D real spacesYesLorentz group in fiber sub-bundle
Complex fiber bundle HolomorphicnD normal complex space ( n 2 )YesLie group
(C, R) spaceQuasinormed2D complex, 1D real spacesYesTwo additive group varieties in fiber space
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Bagchi, S. Topological Analysis of Fibrations in Multidimensional (C, R) Space. Symmetry 2020, 12, 2049. https://doi.org/10.3390/sym12122049

AMA Style

Bagchi S. Topological Analysis of Fibrations in Multidimensional (C, R) Space. Symmetry. 2020; 12(12):2049. https://doi.org/10.3390/sym12122049

Chicago/Turabian Style

Bagchi, Susmit. 2020. "Topological Analysis of Fibrations in Multidimensional (C, R) Space" Symmetry 12, no. 12: 2049. https://doi.org/10.3390/sym12122049

APA Style

Bagchi, S. (2020). Topological Analysis of Fibrations in Multidimensional (C, R) Space. Symmetry, 12(12), 2049. https://doi.org/10.3390/sym12122049

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