15.01.2013 Views

Simplicial Structures in Topology

Simplicial Structures in Topology

Simplicial Structures in Topology

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

100 III Homology of Polyhedra<br />

(the vertices xi k and y j k are not necessarily different). As a consequence, the<br />

projections<br />

pr1 : X ×Y → X , pr2 : X ×Y → Y<br />

are morphisms between simplicial complexes determ<strong>in</strong><strong>in</strong>g therefore a map<br />

φ = |pr1|×|pr2|: |K × L|→|K|×|L| .<br />

We wish to prove that φ is a homeomorphism.<br />

Let p ∈|K| and q ∈|L| be given by<br />

and<br />

We def<strong>in</strong>e<br />

and<br />

p =<br />

q =<br />

m<br />

∑ αixi , αi > 0 ,<br />

i=0<br />

n<br />

∑<br />

j=0<br />

β jy j , β j > 0 ,<br />

as =<br />

bt =<br />

s<br />

∑<br />

i=0<br />

t<br />

∑<br />

j=0<br />

m<br />

∑ αi = 1 , x0 < ···< xm<br />

i=0<br />

n<br />

∑<br />

j=0<br />

β j = 1 , y0 < ···< yn .<br />

αi , s = 0,1,...,m<br />

β j , t = 0,1,...,n ;<br />

we then take the set {0,a0,...,am−1,b0,...,bn = 1}, rename and reorder its<br />

m + n + 2 elements so to obta<strong>in</strong> the ordered set {c−1,c0,...,cm+n} such that<br />

0 = c−1 < c0 < c1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!