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
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
dimensional Minkowski space equipped with
t-topology (
) is not completely Euclidean in nature [
4]. The topological space on
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
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
,
and
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
is a closed and compact manifold maintaining Hausdorff topological property, then the function space
containing functions
without interchanging the ends in
is a contractible space [
6]. In view of algebraic topology, the structure
represents a monoid of homotopy self-equivalences of
—
spheres denoted by
[
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
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
is a Lorentzian manifold under tensor
with
immersion function, then
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
into a Euclidean space with normal vector field
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
dimensional manifold in a
dimensional Euclidean space is given by
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
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
space [
16]. One of the interesting aspects of multidimensional topological
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
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 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 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
and
be two vectors in a
dimensional vector space represented as
. The
Lorentzian inner product between
is given as
. The real vector space in
endowed with symmetric Lorentzian inner product with non-degenerate bi-linear form is called a
dimensional Minkowski space . In the Minkowski space, the linear operator
preserves
because it maintains the condition represented as
generating a
Lorentz group structure. The Euclidean
topology in
is formulated by the topological basis elements given as a set of neighborhoods
. Note that
topology on
is strictly finer than the
topology. Moreover, in the Minkowski space
, the geometry of the space cone in the Euclidean topology maintains
criteria [
3].
The
Steenrod formulation of fiber bundles is represented as an algebraic structure
, where
is the bundle space,
is a topological base space,
is a projection function,
is a topological space called fiber, and
is a bundle group [
15]. In the formulation, the elements
are coordinate neighborhoods and the corresponding coordinate functions, respectively. The coordinate functions must satisfy a condition which is given by
. 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 space is formulated. A point in the quasinormed topological space is represented as , and the origin of is denoted as , where is the Gauss origin. The corresponding topological projections are given by and on the real subspace and complex subspace, respectively. For the simplicity of algebraic representation is used to denote a sectional subspace within the topological fiber space, where is an interval (either open or closed). In this paper, and represent the interior and closure of an arbitrary set such that . Moreover, if is homeomorphic to then it is denoted as . First, we define the projective base of a fiber space in the topological space.
3.1. Projective Base in Tangent Space
Let
be an open cylindrical subspace in the topological
space
such that
, where
and
is open. Suppose we determine
maintaining the ordering relation given by
. The projection of corresponding tangent subspace onto topological base space at
is defined as:
Note that the projection is surjective in nature onto the dense base space , where the condition is maintained for every . Moreover, it preserves the standard notion of projection in the tangent space of a topological manifold . Next, the definition of fiber bundles in the tangent space considering a base space is formulated.
3.2. Topological Fiber Bundle in Space
As stated earlier, let
be a subspace in the topological
space for
. The topological fiber bundle in the corresponding tangent space
is given by:
A fiber where is called a compact fiber, if and only if and . Otherwise, it is a result of non-compact fibration in the topological space.
Remark 1. The topological fiber bundleinspace is more rigid as compared to the fiber bundle inbecausepreserves thesections within the fiber bundles in the corresponding tangentspace, where the topological base space is a dense set. Thesections in the topological manifoldmay not be preserved in every case within the fiber bundle of. The reason is that a set ofsections ofis constructed separately independent of projections onto topological base space.
3.3. Fiber Space
The fiber space in a topological
space
is formulated based on the sets of fiber bundles in the dense subspaces. Let us consider
be a dense subspace in topological
space for
. The corresponding fiber space
in
considering
is defined as:
In the above definition
is a local fiber bundle of corresponding topological subspace
in
. The entire fiber space of topological
space can be generated from the sets of local fiber bundles as given below:
Note that at in the topological subspace, the subspace is also a fiber at . Earlier it is mentioned that there are two varieties of fibrations, which can be admitted into the topological space. However, it is interesting to observe that in any case, the fiber space in is not compact, which is presented in the following proposition.
Proposition 1. Every fiber spaceinis not compact.
Proof. Let be a topological space and be a topological fiber bundle in the topological subspace . The topological projection prepares a real subspace in . We will prove the proposition by considering two separate cases. In the first case, suppose such that preparing a compact fibration in the topological space. However, recall that as , thus, the projection is an open subspace. Otherwise, if in then the fibration is a non-compact variety. As a result, the projective subspace is an open set. Hence, in every case is not compact and as a result is also not compact in . □
Remark 2. The above proposition further indicates that the fiber spaceinis 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
between two complex manifolds
and
, 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
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
be a fiber subspace in the topological
space
. The topological translation of a fiber subspace in
is defined as:
Remark 3. Note that, the translationis continuous inunder projectionwithin 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:and.
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. Ifis dense and the topological projection on subspaceis not compact, thenis a continuous and finite fiber space translation.
Proof. Let be two fiber subspaces in such that the translation is given as . Note that in the topological space and as a result is continuous in all monotone classes of projective subspaces in . If the topological projection is not compact, then the corresponding fibration is a non-compact variety resulting in the generation of fiber . Suppose fibration is non-compact everywhere in the topological space . Thus is maintained in the subspaces such that and , where and . If is dense, then is a compact subspace of fibers. As a result, it is true that considering the inclusion of translation invariant fiber, which is given by . Hence, the continuous translation of fiber subspace in is finite if is dense and the topological projection on real subspace is not compact. □
The proposed fibration in a topological 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
be two fiber subspaces in the topological
space
. A fiber
is defined to be in the contact fiber category if the following conditions are maintained by it:
Note that the restriction for a contact fiber to be maintained is given as, . 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
be a continuous function in the topological
space. The function
is defined to have positively oriented singularity in the space if the following conditions are maintained by it on a fiber.
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: It is important to note that a planar and symmetric function with multiple oriented singularities in the fiber space of topological 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
space are presented. First, we show that the fiber space
is an associative magma under the algebraic composite operation
as given below:
The above representation indicates that 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 constructs an associative magma in the topological space if and only if the translation is invariant to first-order and the fibration is non-compact type.
Theorem 1. The non-compact fiber spaceis an associative magma if and only ifis linear and.
Proof. Let
be a fiber space associated with the algebraic operation in the topological space
. If
is linear and the fibration is non-compact type, then a
section preserves the following condition involving corresponding topological base space,
. Moreover, due to the linearity of translation of fibers in the space it can be verified that
, where
. Recall that
condition is maintained in the corresponding fiber space. Thus we can derive the following equations considering the algebraic operation
:
This indicates that the fiber space is associative if in . Moreover, if then and it is closed in . Hence, the fiber space is an associative magma under the non-compact fibration in the topological space. □
Corollary 1. It is important to note that the fiber spaceis 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 ofso thatthen also the algebraic structureis not transformed into a monoid, whereis Gauss origin. The main reason is that the algebraic operationis not commutative in nature.
Interestingly, although the fiber space is an associative magma under non-commutative algebraic operation ; however, an additional linear translation of the magma of fiber space is a commutative space. This observation is presented in Theorem 2.
Theorem 2. Inassociative magma of fiber space, the translationadmits commutativity in magma under.
Proof. Let
be a subset of fibers in associative magma
. According to the principle of commutativity, the following equations can be derived in the magma of fiber space:
Thus, further translation in the associative magma of fiber space leads to the following conclusions considering
.
However, the algebraic structure
is commutative in nature, indicating that
. This leads to the following algebraic identity:
Hence, the function admits commutativity within the associative magma of fiber space in . □
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 space, then the algebraic structure in the respective fiber space attains a group structure as presented in the next theorem.
Theorem 3. The structureis a fiber group inif and only ifthe fibration maintains.
Proof. Let
be a fiber space in the topological
space
. Suppose we consider a subspace
such that the projection on base space is
and the corresponding topological projection maintains
. This leads to the following result maintaining commutativity under non-compact fibration.
Moreover, at the origin of the fiber is an identity fiber (i.e., original fiber) because, . Furthermore, if we consider fibers such that maintaining then is the inverse of . Hence, the algebraic structure is a fiber group if the fibration is a non-compact variety. □
Lemma 1. In the topologicalspace, the algebraic structureis a group, if and only if.
Proof. The proof is relatively straightforward. Suppose we select an arbitrary to prepare a topological base space for projection. In this case, the condition is satisfied within the projective space of fibers. This leads to the conclusion that if and in addition the following condition is maintained, . Thus, the algebraic structure is not a group because indicating that the additive identity element does not exist in if . Hence, the algebraic structure is a group, if and only if . □
Remark 5. Ifis a function in fiber space such thatwith, then it can be observed that, if and only if. Hence, the functionis arotation of a fiber maintaining symmetry property. Moreover, it preserves the identity in asection asdue to symmetry.
Theorem 4. In the fiber space, there is no deformation retract, where.
Proof. Let be a fiber space in the topological space . If we consider then is an open subspace in . Note that in the corresponding subspace condition is maintained. According to the deformation retraction theorem, there can be no retraction from convex to maintaining continuity of retraction function within the topological space. As a result, there can be no deformation retract function admissible within . □
Remark 6. Althoughoutward deformation retract is not admissible in; however, the inward deformation retract given bycan be admitted, if and only ifand.
5. Expansion and Singularity
The fiber space
in a quasinormed topological
space
supports the continuous and uniform expansion of a subspace
under the translation function
. First, we define the uniformity of
in
as given below, considering the Euler representation of a point
:
If we equip the fiber subspace
with uniform
then the algebraic structure
admits continuous and uniform expansion in
, within the monotone class of fiber space. In other words, the fiber subspace
admits continuous and uniform expansion within the fiber space if it maintains the following properties:
Note that it indicates is dense in because within . 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 within , where is open.
The contact category fiber in admits multiple singularities of a function . In this case, the function is piecewise continuous in . Let be two fiber subspaces such that is a fiber in the contact fiber category. Suppose such that and for some . Consider that fibration is a non-compact variety, and as a result the condition is maintained under projection. If and conditions are maintained by the function, then 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 equivalence relation is maintained by the limiting values of the function, then is a strictly positively oriented singularity of the function on the respective contact fiber in .
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
—bundles of a three-manifold
[
7,
8]. The Seifert fiber space admits local compactness along with the fundamental group
. The fundamental group
includes a unique normal subgroup structure. However, the fiber space of topological
space is a set of elements given by
. As a result, the fiber space in topological
space admits oriented singularity and two respective varieties of fibrations. Moreover, unlike Seifert space, the topological
space is a quasinormed space with non-uniform scaling of points in space. The fiber space of topological
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
space.
The generalization of singular fibration considers that the topological space
is connected in nature [
19]. Specifically, if
then the singular fibration in
maintains the condition that
. Moreover, the function
is a homeomorphism, and for each component,
, the projection map is given by
for a fiber bundle, where the base space is
[
19]. The similarity of singularities between the topological
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
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
and
maintain compactness [
19]. On the contrary, the compactness in a topological
space is not always preserved. For example, in the topological
space,
is compactible but
is not compactible in nature.
The fibration and fiber bundles in Minkowski space consider four-manifold (
) 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
. The fibration in topological
space considers similar topological properties (i.e., space is connected
space). However, the fibration in Minkowski space is
four-dimensional, whereas the fibration in topological
space is three dimensional in nature. Furthermore, the topological
space contains a complex subspace under projection, and the Minkowski
is a completely real manifold. Note that the Minkowski space and topological
space both support the formation of sub-bundles within the respective fiber spaces. The fiber space of topological
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
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 space is a non-uniformly scaled quasinormed space admitting a topological group under composite algebraic operations. The fibrations in multidimensional topological 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 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 space have different dimensions and partial similarities. The comparative analysis of fiber spaces of multidimensional topological 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).