Skip to main content

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 

5-h ■ Linfan Mao 

•^ . Academy of Mathematics and System Sciences 

£N) , Chinese Academy of Sciences, Beijing 100080 

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, 


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 ) 


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 

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 



V2 = V\ 

Z2 = Zl 


V^W 2 

and the transformation of velocities 

J X2 

< V V2 


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. 


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^ 



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 

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. 


(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- 

(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. 


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 


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 , 



<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 


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. 


Fig. 6. 6 

Now for any point «gB 2 with an unit vibrating normal vector (x(u),y(u), z(u)), 

^(?( 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- 

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 }, 

-> R 4 a 

w(g(B)) = (n 1 (B),n 2 (B),...,n p (B)), 



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 


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} 


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 

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 


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. 



[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, 
[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), 

[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, 

[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- 

[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, 

[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), 

[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, 

[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: 
also at New Zealand Mathematics Colloquium, Massey University, Palmerston 
North, New Zealand, December 3-6,2001 

References 23 

also at the International Congress of Mathematicians (ICM2002), Beijing, China, 
20-28, August, 2002, 

[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, 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, 

[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: 

[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, Smaran- 


[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, 

[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, 

[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, 

F.Smarandache, Neutrosophy, a new Branch of Philosophy, Multi-Valued Logic, 

Vol.8, No. 3 (2002) (special issue on Neutrosophy and Neutrosophic Logic), 297- 


F.Smarandache, A Unifying Field in Logic: Neutrosophic Field, Multi-Valued 

Logic, Vol.8, No. 3(2002) (special issue on Neutrosophy and Neutrosophic Logic), 

[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), 

[98] W.T.Tutte, What is a maps? in New Directions in the Theory of Graphs ( 

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.