# Full text of "Smarandache Multi-Space Theory(IV)--Application to theoretical physics"

## See other formats

Smarandache Multi-Space Theory(IV) \Q ', -Applications to theoretical physics O O (N 5-h ■ Linfan Mao •^ . Academy of Mathematics and System Sciences £N) , Chinese Academy of Sciences, Beijing 100080 maolinfan@163.com Abstract. A Smarandache multi-space is a union of n different spaces : ' equipped with some different structures for an integer n > 2, which can be both used for discrete or connected spaces, particularly for geometries and spacetimes in theoretical physics. This monograph concentrates on character- izing various multi-spaces including three parts altogether. The first part is on algebraic multi-spaces with structures, such as those of multi-groups, multi- ^- ' rings, multi-vector spaces, multi-metric spaces, multi-operation systems and multi-manifolds, also multi-voltage graphs, multi-embedding of a graph in an ra-manifold,- • -, etc.. The second discusses Smarandache geometries, including ^T , those of map geometries, planar map geometries and pseudo-plane geometries, \^ | in which the Finsler geometry, particularly the Riemann geometry appears as a special case of these Smarandache geometries. The third part of this book ^£3 ' considers the applications of multi-spaces to theoretical physics, including the relativity theory, the M-theory and the cosmology. Multi-space models for p-branes and cosmos are constructed and some questions in cosmology are clarified by multi-spaces. The first two parts are relative independence for reading and in each part open problems are included for further research of s_i ■ interested readers. Key words: multi-space, relativity theory, M-theory, p-brane, multi-space model of cosmos. Classification: AMS(2000) 03C05,05C15,51D20,51H20,51P05,83C05, 83E50 Contents 6. Applications to theoretical physics 3 §6.1 Pseudo-Faces of Spaces 3 §6.2 Relativity Theory 7 §6.3 A Multi-Space Model for Cosmoses 11 6.3.1 What is M-theory 11 6.3.2 A pseudo-face model for p-branes 14 6.3.2 A multi-space model of cosmos 18 References 21 6. Applications to theoretical physics Whether are there finite, or infinite cosmoses? Is there just one? What is the dimension of our cosmos? Those simpler but more puzzling problems have confused the eyes of human beings thousands years and one does not know the answer even until today. The dimension of the cosmos in the eyes of the ancient Greeks is 3, but Einstein's is 4. In recent decades, 10 or 11 is the dimension of our cosmos in superstring theory or M-theory. All these assumptions acknowledge that there is just one cosmos. Which one is the correct and whether can human beings realize the cosmos or cosmoses? By applying results gotten in Chapters 3-5, we tentatively answer those problems and explain the Einstein's or Hawking's model for cosmos in this chapter. §6.1 Pseudo-Faces of Spaces Throughout this chapter, R ra denotes an Euclid space of dimensional n. In this section, we consider a problem related to how to represent an Euclid space in another. First, we introduce the conception of pseudo- faces of Euclid spaces in the following. Definition 6.1.1 Let R m and (R n , a;) be an Euclid space and a pseudo-metric space. If there is a continuous mapping p : R m — » (R u ,uj), then the pseudo-metric space (R n , dj(p(R m ))) is called a pseudo-face ofH m in (R",cj). Notice that these pseudo-faces of R 3 in R 2 have been considered in Chapter 5. For the existence of a pseudo- face of an Euclid space R m in R™, we have a result as in the following. Theorem 6.1.1 Let R m and (R n ,cj) be an Euclid space and a pseudo-metric space. Then there exists a pseudo-face of R m in (R n ,u) if and only if for any number e > 0, there exists a number 5 > such that for Vu,v G R m with \\u — v\\ < 5, IKp(u)) -uj(p(v))\\ < e, where \\u\\ denotes the norm of a vector u in the Euclid space. Proof We only need to prove that there exists a continuous mapping p : R m — > (R n , a;) if and only if all of these conditions in this theorem hold. By the definition of a pseudo-space (R ra , w), since u is continuous, we know that for any number e > 0, \\w(x) — u}(y)\\ < e for Vx, y G R n if and only if there exists a number Si > such that \\x — y)\\ < Si. By definition, a mapping q : R m — > R n is continuous between Euclid spaces if and only if for any number Si > 0, there exists a number ^ > such that \\q(x) — q(y)\\ < Si for \/u,v G R m with ||u — v)\\ < S 2 . Combining these assertions, we know that p : R m — ► (R™, a;) is continuous if and only if for any number e > 0, there is number S = min{<5i, £2} such that \\uj(p(u)) -w(p(v))\\ < e for VU, v G R m with \\u — v)\\<5. \\ Corollary 6.1.1 If m > n + 1, let 00 : R n — > R m ~ n fre a continuous mapping, then (R n ,u;(j)(R m ))) zs a pseudo-face of TV 71 in (R n ,a;) with Pv 1' 2' ' *^ra> •kji+lj • , X m ) UJyXi, X2, , X n ). Particularly, if m = 3,n = 2 and cj is an ano/e function, then (R n , w(jo(R m ))) is a pseudo-face with p(xi,x 2 ,X3) — cu(xi,x 2 ). There is a simple relation for a continuous mapping between Euclid spaces and that of between pseudo-faces established in the next result. Theorem 6.1.2 Let g : R m — > R m and p : R m — > (R n , a;) fre continuous mappings. Then pgp^ 1 : (H n ,uj) — »■ (R n ,w) zs a/so a continuous mapping. Proof Because a composition of continuous mappings is a continuous mapping, we know that pgp~ x is continuous. Now for \/uj{xi, X2, • • • , x n ) G (R n , a;), assume that p(yi, y 2 , • • • , y m ) = u(xi, x 2 , •••,x n ), g(yi,y2,---,ym) = (zi, z 2 , ■ ■ ■ , z m ) and p(z u z 2 , ■ ■ -,z m ) = u(h,t 2 , ■ ■ -,t n ). Then calculation shows that pgp (uj(xi,x 2 ,---,x n )) = pg(yi,y 2 ,---,ym) = p(zi, z 2 ,---, z m ) = u>(ti, t 2 , ■ ■ ■ , t n ) G (R n , u). Whence, pgp^ 1 is a continuous mapping and pgp -1 : (R ra ,c<j) — > (R ra ,c<j). t| Corollary 6.1.2 Let C(R m ) and C(R u ,uj) be sets of continuous mapping on an Euclid space R m and an pseudo-metric space (R ra , a;). If there is a pseudo-space for R m in (R n ,uj). Then there is a bisection between C(R m ) and C(R n ,uj). For a body B in an Euclid space R m , its shape in a pseudo-face (R",u;(p(R m ))) of R m in (R n , 00) is called a pseudo-shape of £>. We get results for pseudo-shapes of a ball in the following. Theorem 6.1.3 Let B be an (n+ l)-ball of radius R in a space R n+1 ; i.e., x\ + x\ + • • • + x 2 n + t 2 < R 2 . Define a continuous mapping uo : R" — > R™ by u(x 1 ,x 2 , • • • , x n ) = tf (xi, x 2 , • • • , x„) /or a rea/ number q and a continuous mapping p : R™ +1 — »■ R™ fry p(xi, x 2 , • • • , x n , t) = u;(xi, x 2 , • • • , z„). T/ien £/ie pseudo-shape of B in (R n ,a;) is a ball of radius t -t for any parameter t, —R <t<R. Particularly, for the case ofn = 2 and q — \, it is a circle of radius V-R 2 — t 2 for parameter t and an elliptic ball in R 3 as shown in Fig. 6.1. (0, 0, 2R) (0,0, -2R) Fig,. 6.1 Proof For any parameter t, an (n + l)-ball x\ + x\ + • • • + x\ + t 2 < R 2 can be transferred to an n-ball 2 , 2 4 < R2 ~ t2 of radius y/R 2 — t 2 . Whence, if we define a continuous mapping on R n by u(x 1 ,x 2 , ■ ■ ■ , x n ) = qt(x 1 ,x 2 , • • ■ , x n ) and p(x 1 ,x 2 , ••■,x n ,t)= to(x 1 ,x 2 , ■■■,x n ), then we get an n-ball xj + x\ + • • • + x 2 t < R 2 -t 2 qH 2 ' of B under p for any parameter t, which is the pseudo-face of B for a parameter t by definition. For the case of n = 2 and q — |, since its pseudo-face is a circle in an Euclid plane and —R < t < R, we get an elliptic ball as shown in Fig.6.1. \\ Similarly, if we define u(x\, x 2 , • ■ • , x n ) = 2l(UP, Ot) for a point P = {x\, X2, • • • , x n ,t), i.e., an angle function, then we can also get a result like Theorem 6.1.2 for these pseudo-shapes of an (n + l)-ball. Theorem 6.1.4 Let B be an (n + l)-ball of radius R in a space R n+1 , i.e., x\ + x\ H h x^ + i 2 < i? 2 . Define a continuous mapping uj : R n — > R™ 6y a;(xi, x 2 , •••,£„) = 2Z(OP, Ot) /or a point P on B and a continuous mapping p : R n+1 — ► R n by p(xi, X 2 ,---, Xn, t) = U)(X!, X 2 , ■ ■ ■ , X n ). Then the pseudo-shape ofB in (R n , a;) is a ball of radius \JR 2 — t 2 for any parameter t, —R <t<R. Particularly, for the case of n = 2, it is a circle of radius V-R 2 — t 2 for parameter t and a body in R 3 with equations f arctan(— ) = 2ir and j> arctan(— ) = 27r for curves of its intersection with planes XOT and YOT . Proof The proof is similar to the proof of Theorem 6.1.3. For these equations <p arctan(— ) = 2n or j> arctan(-) = 2ir of curves on planes XOT or YOT in the case of n = 2, they are implied by the geometrical meaning of an angle function. \\ For an Euclid space R n , we can get a subspace sequence Ro D Ri D • • • D R n -i 3 R n , where the dimensional of R« is n — i for 1 < i < n and R ra is just a point. But we can not get a sequence reversing the order, i.e., a sequence Ro c Ri c • ■ ■ c Rn-i c R n in classical space theory. By applying Smarandache multi-spaces, we can really find this kind of sequence by the next result, which can be used to explain a well-known model for our cosmos in M-theory. Theorem 6.1.5 Let P = (x±,x 2 , • • • , x n ) be a point of'TU 1 . Then there are subspaces of dimensional s in P for any integer s, 1 < s < n. Proof Notice that in an Euclid space R™, there is a basis e± = (1, 0, 0, • • • , 0), e 2 = (0, 1, 0, • • • , 0), • • •, ti = (0, • • • , 0, 1, 0, • • • , 0) (every entry is unless the i-th entry is 1), • • •, e n — (0, 0, • • • , 0, 1) such that (xi, x 2 , ■ ■ ■ , x n ) = xid + x 2 e 2 H h x n e n for any point (xi, x 2 , ■ ■ ■ , x n ) of R™. Now we consider a linear space R _ = (V, + new , o n , on a field F = {oj, 6j, q, • • • , df, i > 1}, where V = {xi,x 2 ,--->^n}- Not loss of generality, we assume that x±,x 2 , • ■ • ,x s are independent, i.e., if there exist scalars a±, a 2 , ■ ■ • , a s such that Ol °neu -^1 Tnetu ^2 °ne«) ^2 ~Tnew ' ' ' ~Tnew &S '-'new X s U, then ai — a 2 — • • ■ — new and there are scalars bi, ci,- ■ ■ ,di with 1 < i < s in R such that Xs+l "l °neti) X\ ~\~ new "2 '-'new X 2 \~new ' ' ' 'new "s '-'new X s , Xs+2 Cl °nero X\ ~Tnew ^2 '-'new %2 ~Tnew ' ' ' ~Tnew Cs '-'new X SJ Xn "\ '-'new -^1 ~Tnew a 2 °neui X 2 ~vnew ' ' ' ~T~new O-s '-'new •£«■ Therefore, we get a subspace of dimensional s in a point P of R n . \\ Corollary 6.1.3 Let P be a point of an Euclid space R n . Then there is a subspace sequence R c R : c ■ ■ • c R~_! c R~ such that R~ = {P} and the dimensional of the subspace R^ is n — i, where 1 < i <n. Proof Applying Theorem 6.1.5 repeatedly, we get the desired sequence. \ §6.2. Relativity Theory In theoretical physics, these spacetimes are used to describe various states of particles dependent on the time parameter in an Euclid space R 3 . There are two kinds of spacetimes. An absolute spacetime is an Euclid space R 3 with an independent time, denoted by (xi,x 2 ,x 3 \t) and a relative spacetime is an Euclid space R 4 , where time is the t-axis, seeing also in [30] — [31] for details. A point in a spacetime is called an event, i.e., represented by (xi,x 2 ,x 3 ) G R 3 and t G R + in an absolute spacetime in the Newton's mechanics and (x 1 ,x 2 ,x 3 ,t) G R 4 with time parameter t in a relative space-time used in the Einstein's relativity theory. For two events A\ = (xi,x 2 ,x 3 \ti) and A 2 = (2/1,2/2, 2/3^2), the time interval At is defined by At = ti — t 2 and the space interval A(Ai, A 2 ) by A(A 1: A 2 ) = ^ Xl - yi y + ( X2 -y 2 y + ( x ,- y ,y. Similarly, for two events B\ = (xi,x 2 ,x 3 ,ti) and B 2 = (2/1,2/2,2/35^2), the space- time interval As is defined by A 2 s = -c 2 At 2 + A 2 (B 1 , B 2 ), where c is the speed of the light in vacuum. In Fig. 6. 2, a spacetime only with two parameters x, y and the time parameter t is shown. Fig, 6. 2 The Einstein's spacetime is an uniform linear space. By the assumption of lin- earity of a spacetime and invariance of the light speed, it can be shown that the invariance of the space-time intervals, i.e., For two reference systems Si and S 2 with a homogenous relative velocity, there must be As 2 = As' 2 . We can also get the Lorentz transformation of spacetimes or velocities by this assumption. For two parallel reference systems Si and S2, if the velocity of S2 relative to Si is v along rr-axis such as shown in Fig.6.3, Fig,. 6. 3 then we know the Lorentz transformation of spacetimes x 2 xi—vti V TZ W V2 = V\ Z2 = Zl l>2 V^W 2 and the transformation of velocities J X2 < V V2 ''iJl V^W 2 i ""^1 In the relative spacetime, the general interval is defined by where g^ u = g^ v (x a ,t) is a metric dependent on the space and time. We can also introduce the invariance of general intervals, i.e., ds 2 = g iiv dx >x dx v = g' dz'^dx'" . Then the Einstein's equivalence principle says that There are no difference for physical effects of the inertial force and the gravitation in a field small enough. An immediately consequence of the Einstein's equivalence principle is the idea of the geometrization of gravitation, i.e., considering the curvature at each point in a spacetime to be all effect of gravitation([18]), which is called a gravitational factor at this point. 9 Combining these discussions in Section 6.1 with the Einstein's idea of the ge- ometrization of gravitation, we get a result for spacetimes in the theoretical physics. Theorem 6.2.1 Every spacetime is a pseudo-face in an Euclid pseudo-space, espe- cially, the Einstein's space-time is R n in (R 4 ,uj) for an integer n,n > 4. By the uniformity of a spacetime, we get an equation by equilibrium of vectors in a cosmos. Theorem 6.2.2 By the assumption of uniformity for a spacetime in (R 4 ,uj), there exists an anti-vector Uq of u>o along any orientation O in R 4 such that ^o + ^q = 0. Proof Since R 4 is uniformity, By the principle of equilibrium in a uniform space, along any orientation O in R 4 , there must exists an anti- vector Uq of ujq such that uj + uJq = 0. \ Theorem 6.2.2 has many useful applications. For example, let then we know that Ufiv — Rfiu — -RQhv + ^9pvi ^jiv — SttGT^. in a gravitational field. Whence, we get the Einstein's equation of gravitational field R^u — -^Rg^ + ^9tw — StvGT^ 1 2' by the equation in Theorem 6.2.2 which is widely used for our cosmos by physicists. In fact, there are two assumptions for our cosmos in the following. One is partially adopted from the Einstein's, another is just suggested by ours. Postulate 6.2.1 At the beginning our cosmos is homogenous. Postulate 6.2.2 Human beings can only survey pseudo-faces of our cosmos by observations and experiments. Applying these postulates, the Einstein's equation of gravitational field and the cosmological principle, i.e., there are no difference at different points and different orientations at a point of a cosmos on the metric 10 4 l.y., we can get a standard model of cosmos, also called the Friedmann cosmos, seeing [18], [26], [28], [30] — [31], [79] and [95] for details. In this model, its line element ds is 1 — Kr l 10 and cosmoses are classified into three types: Static Cosmos: da/dt = 0; Contracting Cosmos: da/dt < 0; Expanding Cosmos: da/dt > 0. By the Einstein's view, our living cosmos is the static cosmos. That is why he added a cosmological constant A in his equation of gravitational field. But un- fortunately, our cosmos is an expanding cosmos found by Hubble in 1929. As a by-product, the shape of our cosmos described by S. Hawking in [30] — [32] is coin- cide with these results gotten in Section 6.1. §6.3 A Multi-Space Model for Cosmoses 6.3.1. What is M-theory Today, we have know that all matter are made of atoms and sub-atomic particles, held together by four fundamental forces: gravity, electro-magnetism, strong nuclear force and weak force. Their features are partially explained by the quantum theory and the relativity theory. The former is a theory for the microcosm but the later is for the macrocosm. However, these two theories do not resemble each other in any way. The quantum theory reduces forces to the exchange of discrete packet of quanta, while the relativity theory explains the cosmic forces by postulating the smooth deformation of the fabric spacetime. As we known, there are two string theories : the E% x E% heterotic string, the SO(32) heterotic string and three superstring theories: the SO (32) Type I string, the Type II A and Type II B in superstring theories. Two physical theories are dual to each other if they have identical physics after a certain mathematical transformation. There are T-duality and S-duality in superstring theories defined in the following table 6.1Q15]). fundamental string dual string T — duality Radius <-> 1 / '{radius) Kaluza — Klein <->■ Winding charge <-» 1/ (charge) Electric <->■ Magnet S — duality charge <-» l/(charge) Electric <-> Magnetic Radius *-* 1/ (Radius) Kaluza — Klein <-► Winding table 6.1 We already know some profound properties for these spring or superspring the- ories, such as: (i) Type II A and II B are related by T-duality, as are the two heterotic theories. 11 (ii) Type I and heterotic SO(32) are related by S-duality and Type I IB is also S-dual with itself. (Hi) Type II theories have two supersymmetries in the 10- dimensional sense, but the rest just one. (iv) Type I theory is special in that it is based on unoriented open and closed strings, but the other four are based on oriented closed strings. (v) The II A theory is special because it is non-chiral(parity conserving) , but the other four are chiral(parity violating). (vi) In each of these cases there is an 11th dimension that becomes large at strong coupling. For substance, in the II A case the 11th dimension is a circle and in IIB case it is a line interval, which makes 11- dimensional spacetime display two 10- dimensional boundaries. (vii) The strong coupling limit of either theory produces an 11- dimensional space- time. (viii) ■ ■ •, etc.. The M-theory was established by Witten in 1995 for the unity of those two string theories and three superstring theories, which postulates that all matter and energy can be reduced to branes of energy vibrating in an 11 dimensional space. This theory gives us a compelling explanation of the origin of our cosmos and combines all of existed string theories by showing those are just special cases of M-theory such as shown in table 6.2. M — theory E$ x E 8 heterotic string SO (32) heterotic string SO (32) Type I string Type II A Type IIB. Table 6.2 See Fig. 6. 4 for the M-theory planet in which we can find a relation of M-theory with these two strings or three superstring theories. 12 Fig, 6. 4 As it is widely accepted that our cosmos is in accelerating expansion, i.e., our cosmos is most possible an accelerating cosmos of expansion, it should satisfies the following condition d 2 a He- >a The Kasner type metric ds 2 = -dt 2 + a(t) 2 d 2 R , + b(t) 2 ds 2 (T m ) solves the 4 + m dimensional vacuum Einstein equations if a(t) = t M and b(t) = tv with 13 3 ± ^3m(m + 2) 3 =f ^3m(m + 2) 3(m + 3) 3(m + 3) These solutions in general do not give an accelerating expansion of spacetime of dimension 4. However, by using the time-shift symmetry * -»• i+oo - t, a(t) = (t +00 - ty, we see that yields a really accelerating expansion since da(t) n , d 2 a(t) — ^- > and — -i- 1 > 0. dt dt 2 According to M-theory, our cosmos started as a perfect 11 dimensional space with nothing in it. However, this 11 dimensional space was unstable. The original 11 dimensional spacetime finally cracked into two pieces, a 4 and a 7 dimensional cosmos. The cosmos made the 7 of the 11 dimensions curled into a tiny ball, allowing the remaining 4 dimensional cosmos to inflate at enormous rates. This origin of our cosmos implies a multi-space result for our cosmos verified by Theorem 6.1.5. Theorem 6.3.1 The spacetime of M-theory is a multi-space with a warping R 7 at each point of R 4 . Applying Theorem 6.3.1, an example for an accelerating expansion cosmos of 4- dimensional cosmos from supergravity compactification on hyperbolic spaces is the Towns end- Wohlfarth type in which the solution is ds 2 = e - m ^\-S 6 dt 2 + S 2 dxl) + r 2 c e 2 ^ds 2 H , where and <j>{t) = 7(hi^(£) - 3A t), S 2 = K^e~^ Xot K(t) A,,U; (m-l)sin[AoC|t + *i|] with £ = w3 + 6/ra. This solution is obtainable from space-like brane solution and if the proper time q is defined by dq = S 3 (t)dt, then the conditions for expansion and acceleration are jf > and ^-f > 0. For example, the expansion factor is 3.04 if m — 7, i.e., a really expanding cosmos. 6.3.2. A pseudo-face model for p-branes In fact, M-theory contains much more than just strings, which is also implied in Fig. 6. 4. It contains both higher and lower dimensional objects, called branes. A 14 brane is an object or subspace which can have various spatial dimensions. For any integer p > 0, a p-brane has length in p dimensions, for example, a 0-brane is just a point; a 1-brane is a string and a 2-brane is a surface or membrane • • •. Two branes and their motion have been shown in Fig. 6. 5 where (a) is a 1-brane and (b) is a 2-brane. Fig. 6. 5 Combining these ideas in the pseudo-spaces theory and in M-theory, a model for R m is constructed in the below. Model 6.3.1 For each m-brane B of a space R m ; let (m(B), 712(B), • • • , n p (B)) be its unit vibrating normal vector along these p directions and q : R m — > R 4 a continuous mapping. Now for\/P G B ; define u(q(P)) = (n 1 (P),n 2 (P),---,n p (P)). Then (R 4 , uo) is a pseudo-face ofH m , particularly, if m = 11, it is a pseudo-face for the M-theory. For the case of p — 4, interesting results are obtained by applying results in Chapters 5. Theorem 6.3.2 For a sphere-like cosmos B 2 , there is a continuous mapping q : B 2 — > R 2 such that its spacetime is a pseudo-plane. Proof According to the classical geometry, we know that there is a projection q : B 2 — > R 2 from a 2-ball B 2 to an Euclid plane R 2 , as shown in Fig.6.6. 15 Fig. 6. 6 Now for any point «gB 2 with an unit vibrating normal vector (x(u),y(u), z(u)), define ^(?( M )) = (z(u),t), where t is the time parameter. Then (R 2 ,u;) is a pseudo-face of (B 2 ,£). \ Generally, we can also find pseudo-surfaces as a pseudo-face of sphere-like cos- moses. Theorem 6.3.3 For a sphere-like cosmos B 2 and a surface S , there is a continuous mapping q : B 2 — > S such that its spacetime is a pseudo-surface on S . Proof According to the classification theorem of surfaces, an surface S can be combinatorially represented by a 2n-polygon for an integer n, n > 1 . If we assume that each edge of this polygon is at an infinite place, then the projection in Fig. 6. 6 also enables us to get a continuous mapping q : B 2 — *■ S. Thereby we get a pseudo- face on S for the cosmos B 2 . \ Furthermore, we can construct a combinatorial model for our cosmos by applying materials in Section 2.5. Model 6.3.2 For each m-brane B of a space R m ; let (m(B), 712(B), • • be its unit vibrating normal vector along these p directions and q : R m continuous mapping. Now construct a graph phase (Q,u,A) by V(Q) = {p — branes q(B)}, E{G) = {(g(Bi), q(B2))\there is an action between Bi and B 2 }, ■MB)) -> R 4 a w(g(B)) = (n 1 (B),n 2 (B),...,n p (B)), and 16 A(g(Bi), g(B 2 )) = forces between Bi and B 2 . Then we get a graph phase (Q, uj, A) in R 4 . Similarly, if m — 11, it is a graph phase for the M-theory. If there are only finite p-branes in our cosmos, then Theorems 6.3.2 and 6.3.3 can be restated as follows. Theorem 6.3.4 For a sphere-like cosmos B 2 with finite p-branes and a surface S, its spacetime is a map geometry on S . Now we consider the transport of a graph phase (Q,co,A) in R m by applying results in Sections 2.3 and 2.5. Theorem 6.3.5 A graph phase (Gi,(^i, Ai) of space R m is transformable to a graph phase (<? 2 ,w 2 , A 2 ) of space R™ if and only if Qi is embeddable in R™ and there is a continuous mapping r such that uj 2 = t(u±) and A 2 = t(Ai). Proof By the definition of transformations, if (Qi,coi,Ai) is transformable to (G 2 ,u> 2 ,A 2 ), then there must be Q\ is embeddable in R n and there is a continuous mapping r such that uj 2 = t(ui) and A 2 = t(A 1 ). Now if Q\ is embeddable in R™ and there is a continuous mapping r such that uj 2 = t(ui), A 2 = r(Ai), let q : Q\ — > Q 2 be a continuous mapping from £?i to £7 2 , then (q, r) is continuous and (<T,t) : (0i,a;i,Ai) -»■ (^2,W2,A 2 ). Therefore (^i,u;i, A x ) is transformable to (£ 2 ,u; 2 , A 2 ). t| Theorem 6.3.5 has many interesting consequences as by-products. Corollary 6.3.1 A graph phase (Qi,Ui,Ai) in R m is transformable to a planar graph phase (<? 2 ,u; 2 , A 2 ) if and only if G2 is a planar embedding of Qi and there is a continuous mapping r such that cj 2 = t(ui), A 2 = t(Ai) and vice via, a planar graph phase (Q2, ^2, A 2 ) is transformable to a graph phase (Gi, Wi, A x ) in R m i/ and only if Q\ is an embedding of Q 2 in R m and there is a continuous mapping r _1 such that uji = t- 1 (uj 2 ), Ai = r _1 (A 2 ). Corollary 6.3.2 For a continuous mapping t, a graph phase (Gi,oui,Ai) in R m is transformable to a graph phase (Q 2 ,t(uji),t(Ai)) in R™ with m,n>3. Proof This result follows immediately from Theorems 2.3.2 and 6.3.5. tj This theorem can be also used to explain the problems of travelling between cosmoses or getting into the heaven or hell for a person. For example, water will go from a liquid phase to a steam phase by heating and then will go to a liquid phase by cooling because its phase is transformable between the steam phase and the liquid phase. For a person on the earth, he can only get into the heaven or hell 17 after death because the dimension of the heaven is more than 4 and that of the hell is less than 4 and there does not exist a transformation for an alive person from our cosmos to the heaven or hell by the biological structure of his body. Whence, if black holes are really these tunnels between different cosmoses, the destiny for a cosmonaut unfortunately fell into a black hole is only the death ([30] [32]). Perhaps, there are really other kind of beings in cosmoses or mankind in the further who can freely change from one phase in a space R m to another in R n with m ^ n, then the travelling between cosmoses is possible for those beings or mankind in that time. 6.3.3. A multi-space model of cosmos Until today, many problems in cosmology are puzzling one's eyes. Comparing with these vast cosmoses, human beings are very tiny. In spite of this depressed fact, we can still investigate cosmoses by our deeply thinking. Motivated by this belief, a multi-space model for cosmoses is constructed in the following. Model 6.3.3 A mathematical cosmos is constructed by a triple (Q,A,T), where n = |J iu, a = (J o t and T = {tf, i > 0} are respectively called the cosmos, the operation or the time set with the following conditions hold. (1) (fl, A) is a Smarandache multi-space dependent on T, i.e., the cosmos (Qi, Oj) is dependent on the time parameter t t for any integer i, % > 0. (2) For any integer i,i > 0, there is a sub-cosmos sequence (S) : QiD ■■■Dtt il D Q i0 in the cosmos (Qi,Oi) and for two sub-cosmoses (Qij,Oi) and (£lu,Oi), ifQij D fin, then there is a homomorphism pcii-,n u '■ {Qij,Oi) — ► (Qn,Oi) such that (i) for^(Q il ,Oi),(Qi2,Oi)(Qi 3 ,Oi) e (S), if Via D Vt i2 D fi i3 , then Pa n ,a i3 = PciiuCiu ° Pn i2 ,n i3 , where o denotes the composition operation on homomorphisms. (ii) for\/g, h e Qi, if for any integer i, pn^Ad) = Pn,n,(h), then g = h. (in) for Wi, if there is an f\ G fi, with Pcii,Slif\Slj\Ji) = Pcij^if^CljUj) for integers i,j,Qif]Qj ^ 0, then there exists an f G Vt such that pn,ni(f) — fi for any integer i. Notice that this model is a multi-cosmos model. In the Newton's mechanics, the Einstein's relativity theory or the M-theory, there is just one cosmos Q and these sub-cosmos sequences are R 3 d R 2 D R 1 D R° = {P}, R 4 D R 3 D R 2 D R 1 d R° = {P} and R 4 D R 3 D R 2 D R 1 D R° = {P} D Rf D • • • D R^ D R^ = {Q}. These conditions in (2) are used to ensure that a mathematical cosmos posses a general structure sheaf of a topological space, for instance if we equip each multi- space (f2j,Oj) with an abelian group Gi for an integer %,% > 0, then we get a structure sheaf on a mathematical cosmos. For general sheaf theory, one can see in the reference [29] for details. This structure enables that a being in a cosmos of higher dimension can supervises those in lower dimension. Motivated by this multi-space model of cosmos, we present a number of conjec- tures on cosmoses in the following. The first is on the number of cosmoses and their dimension. Conjecture 6.3.1 There are infinite many cosmoses and all dimensions of cosmoses make up an integer interval [1, +00] . A famous proverbs in Chinese says that seeing is believing but hearing is un- believing, which is also a dogma in the pragmatism. Today, this view should be abandoned by a mathematician if he wish to investigate the 21st mathematics. On the first, we present a conjecture on the problem of travelling between cosmoses. Conjecture 6.3.2 There must exists a kind of beings who can get from one cosmos into another. There must exists a kind of being who can goes from a space of higher dimension into its subspace of lower dimension, especially, on the earth. Although nearly every physicist acknowledges the existence of black holes, those holes are really found by mathematical calculation. On the opposite, we present the next conjecture. Conjecture 6.3.3 Contrary to black holes, there are also white holes at where no matters can arrive including the light in our cosmos. Conjecture 6.3.4 Every black hole is also a white hole in a cosmos. Our cosmonauts is good luck if Conjecture 6.3.4 is true since they do not need to worry about attracted by these black holes in our cosmos. Today, a very important 19 task in theoretical and experimental physics is looking for dark matters. However, we do not think this would be success by the multi-model of cosmoses. This is included in the following conjecture. Conjecture 6.3.5 One can not find dark matters by experiments since they are in spatial can not be found by human beings. Few consideration is on the relation of the dark energy with dark matters. But we believe there exists a relation between the dark energy and dark matters such as stated in the next conjecture. Conjecture 6.3.6 Dark energy is just the effect of dark matters. 20 References [1] A.D.Aleksandrov and V.A.Zalgaller, Intrinsic Geometry of Surfaces, American Mathematical Society, Providence, Rhode Island, 1976. [2] I.Antoniadis, Physics with large extra dimensions: String theory under experi- mental test, Current Science, Vol.81, No.12, 25(2001), 1609-1613 [3] V.L.Arnold, Ordinary differential Equations, Massachusetts Institute of Technol- ogy, 1973. [4] P.Bedrossian, G.Chen, R.Schelp, A generalization of Fan's condition for homil- tonicity, pancyclicity and hamiltonian connectedness, Discrete Math., Vol.115, 1993,39-50. [5] J.C.Bermond, Hamiltonian graphs, Selected Topics in Graph Theory , Academic Press, London (1978). [5] N.L. Biggs and A.T.White, Permutation Groups and Combinatoric Structure, Cambridge University Press, 1979. [6] G.Birkhoff and S.Mac Lane, A Survey of Modern Algebra, Macmillan Publishing Co., Inc, 1977. [7] B.Bollobds, Random Graphs, Academic Press Inc. (London) Ltd, 1985. [8] J.A.Bondy and V.Chvdtal, A method in graph theory, Discrete Math. 15(1976), 111-136. [9] J.A.Bondy and U.S.R.Murty, Graph Theory with Applications, The Macmillan Press Ltd, 1976. [10] M.Capobianco and J.C.Molluzzo, Examples and Counterexamples in Graph The- ory, Elsevier North-Holland Inc, 1978. [11] G.Chartrand and L.Lesniak, Graphs & Digraphs, Wadsworth, Inc., California, 1986. [12] W.K.Chen, Applied Graph Theory-Graphs and Electrical Theory, North-Holland Publishing Company, New York, 1976. [13] S.S.Chern and W.H.Chern, Lectures in Differential Geometry (in Chinese), Peking University Press, 2001. [14] D.Deleanu, A Dictionary of Smarandache Mathematics, Buxton University Press, London & New York, 2 [15] M. J.Duff, A layman's guide to M-theory, arXiv: |hep-th/9805Tff| v3, 2 July(1998). [16] J.Edmonds, A combinatorial representation for polyhedral surfaces, Notices Amer. Math. Soc, 7(1960). References 22 [17] G.H.Fan, New sufficient conditions for cycle in graphs, J. Combinat. Theory, Ser.B(37), 1984, 221- 227. [18] B.J.Fei, relativity theory and Non-Euclid Geometries, Science Publisher Press, Beijing, 2005. [19] C.Frenk, Where is the missing matter? http://hom.nash. net~csmithO/missing.htm [20] M.Gleiser, Where does matter come from? http://hom.nash. net~csmithO /matter, htm [21] C.Godsil and G.Royle, Algebraic Graph Theory, Springer- Verlag New York,Inc, 2001. [22] J. E. Graver and M.E.Watkins, Combinatorics with Emphasis on the Theory of Graphs, Springer- Verlag, New York Inc,1977. [23] J. L. Gross and T.W.Tucker, Topological Graph Theory, John Wiley & Sons, 1987. [24] B.Griimbaum, Convex Polytopes, London Interscience Publishers, 1967. [25] B.Griimbaum, Polytopes, graphs and complexes,Bull.Amer.Math.Soc, 76(1970), 1131-1201. [26] B.Griimbaum, Polytopal graphs, Studies in Mathematics (Mathematical Associ- ation Of America) ,vol. 12(1975), 201-224. [27] A.Guth, An eternity of bubbles, http://hom.nash. net~csmithO /bubbles, htm [28]] J.Hartle, Theories of everything and Hawking's wave function of the universe, in Gibbones, Shellard and Rankin eds: The Future of Theoretical Physics and Cosmology, Cambridge University Press, 2003. [29] R.Hartshorne, Algebraic Geometry, Springer- Verlag New York, Inc., 1977. [30] S. Hawking, A Brief History of Times, A Bantam Books/ November, 1996. [31] S. Hawking, The Universe in a Nutshell, A Bantam Books/ November, 2001. [32] S. Hawking, Sixty years in a nutshell, in Gibbones, Shellard and Rankin eds:The Future of Theoretical Physics and Cosmology, Cambridge University Press, 2003. [33] K.Hoffman and R.Kunze, Linear Algebra (Second Edition), Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1971. [34] L.G.Hua, Introduction to Number Theory (in Chinese), Science Publish Press, Beijing ,1979. [35] H.Iseri, Smarandache Manifolds, American Research Press, Rehoboth, NM,2002. [36] H.Iseri, Partially Paradoxist Smarandache Geometries, http://www.gallup.unm edu/smarandache/Howard-Iseri-paper.htm. [77] M.Kaku, Hyperspace: A Scientific Odyssey through Parallel Universe, Time Warps and 10th Dimension, Oxford Univ. Press. [38] L.Kuciuk and M.Antholy, An Introduction to Smarandache Geometries, Mathe- matics Magazine, Aurora, Canada, Vol. 12 (2003), and online: http://www.mathematicsmagazine.pom/l-2004/Sm_Geom_l_2004.htm; also at New Zealand Mathematics Colloquium, Massey University, Palmerston North, New Zealand, December 3-6,2001 http://atlas-conferenceg.eom/c/a/h/f/09.htm; References 23 also at the International Congress of Mathematicians (ICM2002), Beijing, China, 20-28, August, 2002, http://www.icm2002.org.en/B/Schedule.Section04.htm. [39] J.M.Lee, Riemannian Manifolds, Springer- Verlag New York, Inc., 1997. [40] E.V.Linder, Seeing darkness: the new cosmology, arXiv: astro-ph/0511197 vl, (7) Nov. 2005. [41] S.D.Liu et.al, Chaos and Fractals in Natural Sciences (in Chinese), Peking Uni- versity Press, 2003. [42] Y.P.Liu, Embeddability in Graphs, Kluwer Academic Publishers, Dordrecht/ Boston/ London, 1995. [43] Y.P.Liu, Enumerative Theory of Maps, Kluwer Academic Publishers, Dordrecht/ Boston/ London, 1999. [44] Y.P.Liu, Advances in Combinatorial Maps (in Chinese), Northern Jiaotong Uni- versity Publisher, Beijing, 2003. [45] A.Malnic, Group act ion, coverings and lifts of automorphisms, Discrete Math, 182(1998),203-218. [46] A.Malinic,R.Nedela and M.Skoviera, Lifting graph automorphisms by voltage assignment, Europ. J. Combinatorics, 21 (2000), 927-947. [47] L.F.Mao, The maximum size of self-centered graphs with a given radius (in Chinese), J. Xidan University, Vol. 23(supp), 6-10, 1996. [48] L.F.Mao, Hamiltonian graphs with constraints on the vertices degree in a sub- graphs pair, J. Institute of Taiyuan Machinery, Vol.l5(Supp.), 1994,79-90. [49] L.F.Mao, A localization of Dirac's theorem for hamiltonian graphs, J. Math. Res. & Exp., Vol.18, 2(1998), 188-190. [50] L.F.Mao, An extension of localized Fan's condition (in Chinese), J.Qufu Normal University, Vol.26, 3(2000), 25-28. [51] L.F.Mao, On the panfactorial property of Cayley graphs, J. Math. Res. & Exp., Vol 22,No.3(2002),383-390. [52] L.F.Mao, Localized neighborhood unions condition for hamiltonian graphs, J.Henan Normal University(Na.tmal Science), Vol.30, 1(2002), 16-22. [53] L.F.Mao, A census of maps on surface with given underlying graphs, A doctor thesis in Northern Jiaotong University, Beijing, 2002. [54] L.F.Mao, Parallel bundles in planar map geometries, Scientia Magna, Vol. 1(2005), No.2, 120-133. [55] L.F.Mao, On Automorphisms groups of Maps, Surfaces and Smarandache ge- ometries, A post-doctoral report at the Chinese Academy of Sciences(2005), also appearing in Sientia Magna, Vol. 1(2005), No.2, 55-73. [56] L.F.Mao, Automorphism Groups of Maps, Surfaces and Smarandache Geome- tries, American Research Press, 2005. [57] L.F.Mao, A new view of combinatorial maps by Smarandache's notion, arXiv: |math.GM/0506232| [58] L.F.Mao, On algebraic multi-group spaces, arVramath.GM/05010427. [59] L.F.Mao, On algebraic multi-ring spaces, arXiv: math. GM/050 1047 B. References 24 [60] L.F.Mao, On algebraic multi-vector spaces, orXwmath.GM/05010473. [61] L.F.Mao, On multi-metric spaces, ar.Xmmath.GM/0501048D. [62] L.F.Mao, An introduction to Smarandache geometries on maps, Reported at the 2005 International Conference on Graphs and Combinatorics, Zhejiang, P.R.China, Scientia Magna(accepted) . [63] L.F.Mao and F.Liu, New localized condition with d(x, y) > 2 for hamilto- nian graphs (in Chinese), J.Henan Normal University^ atural Science), Vol.31, 1(2003), 17-21. [64] L.F.Mao and Y.P.Liu, On the eccentricity value sequence of a simple graph, J.Henan Normal University^ atural Science), Vol.29, 4(2001), 13-18. [65] L.F.Mao and Y.P.Liu, New localized condition for hamiltonian graphs (in Chi- nese), J.Qufu Normal University, Vol. 27, 2(2001), 18-22. [66] L.F.Mao and Y.P.Liu, Group action approach for enumerating maps on sur- faces, J. App lied Math. & Computing, vol.13, No. 1-2,201-215. [67] L.F.Mao, Y.P.Liu, E.L.Wei, The semi-arc automorphism group of a graph with application to map enumeration, Graphs and Combinatorics(m pressing). [68] W.S.Massey, Algebraic topology: an introduction, Springer- Verlag, New York, etc., 1977. [69] B.Mohar and C.Thomassen, Graphs on Surfaces, The Johns Hopkins University Press, London, 2001. [70] G.W.Moore, What is a brane? Notices of the AMS, Vol.52, No.2(2005), 214-215. [71] R.Nedela and M S'koviera, Regular embeddings of canonical double coverings of graphs, J. combinatorial Theory,Ser.B 67, 249-277(1996). [72] R.Nedela and M.Skoviera, Regular maps from voltage assignments and exponent groups, Europ. J. Combinatorics, 18(1997), 807-823. [73] L.Z.Nie and S.S.Ding, Introduction to Algebra (in Chinese), Higher Education Publishing Press, 1994. [74] J.A.Nieto, Matroids and p-branes, Adv. Theor. Math. Phys., 8(2004), 177-188. [75] V.V.Nikulin and I.R.Shafarevlch, Geometries and Groups, Springer- Verlag Berlin Heidelberg, 1987. [76] R.Penrose, The problem of spacetime singularities :implication for quantum grav- ity, in Gibbones, Shellard and Rankin eds: The Future of Theoretical Physics and Cosmology, Cambridge University Press, 2003. [77] PlanetMath, Smarandache Geometries, http://planetmath.org/encyclopedia/ Smaran- dacheGeometries.html. [78] K.Polthier and M.Schmies, Straightest geodesies on polyhedral surfaces, in Math- ematical Visualization (ed. by H.C.Hege and K.Polthier), Springer- Verlag, Berlin, 1998. [79] M.Rees, Our complex cosmos and its future, in Gibbones, Shellard and Rankin eds: The Future of Theoretical Physics and Cosmology, Cambridge University Press, 2003. [80] D.Reinhard, Graph Theory, Springer- Verlag New York, Inc., 2000. [81] G.Ringel, Map Color Theorem, Springer- Verlag, Berlin, 1974. References 25 [82] D.J. S.Robinson, A Course in the Theory of Groups, Springer- Verlag, New York Inc., 1982. [83] H.J.Ryser, Combinatorial Mathematics, The Mathematical Association of Amer- ica, 1963. [84] R.H.Shi, 2-neighborhood and hamiltonian conditions, J. Graph Theory, Vol.16, 1992,267-271. [85] F.Smarandache, A Unifying Field in Logics. Neutrosopy: Neturosophic Proba- bility, Set, and Logic, American research Press, Rehoboth, 1999. [86] F.Smarandache, Mixed noneuclidean geometries, eprint arXiv: math/0010119, 10/2000. F.Smarandache, Neutrosophy, a new Branch of Philosophy, Multi-Valued Logic, Vol.8, No. 3 (2002) (special issue on Neutrosophy and Neutrosophic Logic), 297- 384. F.Smarandache, A Unifying Field in Logic: Neutrosophic Field, Multi-Valued Logic, Vol.8, No. 3(2002) (special issue on Neutrosophy and Neutrosophic Logic), 385-438. [89] F.Smarandache, There is no speed barrier for a wave phase nor for entangle particles, Progress in Physics, Vol.1, April(2005), 85-86. [90] L.Smolin, What is the future of cosmology? http://hom.nash. net~csmith0 /future, htm [91] S.Stahl, Generalized embedding schemes, J. Graph Theory, No. 2,41-52, 1978. [92] J.Stillwell, Classical topology and combinatorial group theory, Springer- Verlag New York Inc., 1980. [93] R.Thomas and X.X.Yu, 4-connected projective graphs are hamiltonian, J. Combin. Theory Ser.B, 62(1994), 114-132. [94] CThomassen, infinite graphs, in Selected Topics in Graph Theory(edited by Low- ell W.Beineke and Robin J. Wilson), Academic Press Inc. (London) LTD, 1983. [95] K.Thone, Warping spacetime, in Gibbones, Shellard and Rankin eds: The Future of Theoretical Physics and Cosmology, Cambridge University Press, 2003. [96] W.Thurston, On the geometry and dynamic of diffeomorphisms of surfaces, Bull. Amer. Math. Soc, 19(1988), 417-431. [97] W.T.Tutte, A theorem on planar graphs, Trans, Amer. Math. Soc, 82(1956), 99-116. [98] W.T.Tutte, What is a maps? in New Directions in the Theory of Graphs (ed.by F.Harary), Academic Press, 1973, 309-325. [99] W.T.Tutte, Bridges and hamiltonian circuits in planar graphs. Aequationes Mathematicae, 15(1977), 1-33. [100] W.T.Tutte, Graph Theory, Combridge University Press, 2001. [101]] W.B.Vasantha Kandasamy, Bialgebraic structures and Smarandache bialgebraic structures, American Research Press, 2003. [102] W.B.Vasantha Kandasamy and F.Smarandache, Basic Neutrosophic Algebraic Structures and Their Applications to Fuzzy and Neutrosophic Models, Hexis, Church Rock, 2004. References 26 [103] W.B.Vasantha Kandasamy and F.Smarandache, N-Algebraic Structures and S- N-Algebraic Structures, HEXIS, Phoenix, Arizona, 2005. [104] H.Walther, Ten Applications of Graph Theory, D.Reidel Publishing Company, Dordrecht/Boston/Lancaster, 1984. [105] CV.Westenholz, Differential Forms in Mathematical Physics, North-Holland Publishing Company. New York, 1981. [106] A.T.White, Graphs of Group on Surfaces- interactions and models, Elsevier Sci- ence B.V. 2001. [107] Q.Y.Xong, Ring Theory (in Chinese), Wuhan University Press, 1993. [108] M.Y.Xu, Introduction to Group Theory (in Chinese) (I) (II), Science Publish Press, Beijing ,1999. [109] Y.C.Yang and L.F.Mao, On the cyclic structure of self-centered graphs with r(G) = 3 (in Chinese), Pure and Applied Mathematics, Vol. 10 (Special Issue), 88-98, 1994. [110] H.P.Yap, Some Topics in Graph Theory, Cambridge University Press, 1986.