15.01.2013 Views

Simplicial Structures in Topology

Simplicial Structures in Topology

Simplicial Structures in Topology

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

118 III Homology of Polyhedra<br />

l<strong>in</strong>ear transformation γU : U → U. Then γ <strong>in</strong>duces a unique l<strong>in</strong>ear transformation<br />

γW : W → W such that γW β = βγ, and therefore<br />

Tr (γ)=Tr (γU)+Tr (γW ).<br />

Proof. Let us consider a basis {�u1,...,�ur} of U and the vectors �vi = α(�ui) ∈ V,<br />

i = 1,...,r. The latter are l<strong>in</strong>early <strong>in</strong>dependent <strong>in</strong> V and may, therefore, be completed<br />

so that we have a basis {�v1,...,�vn} of V. Note that the vectors �wr+1 =<br />

β (�vr+1),...,wn = β(�vn) constitute a basis for W. The matrix (aij), with i, j =<br />

1,...,n, obta<strong>in</strong>ed by the equalities<br />

γ(�vi)=<br />

n<br />

∑<br />

j=1<br />

a ji�v j , i = 1,...,n<br />

represents γ. Transformations γU and γW are def<strong>in</strong>ed by the rules<br />

and<br />

γU(�ui)=<br />

γW (�wi)=<br />

r<br />

∑<br />

j=1<br />

a ji�u j , for every i = 1,...,r<br />

n<br />

∑ a ji�w j , for every j = r + 1,...,n. �<br />

j=r+1<br />

We now concern ourselves with geometry. Our proofs will take place <strong>in</strong> the realm<br />

of rational homology, that is to say, homology with coefficients <strong>in</strong> Q. We briefly<br />

recall that, for every polyhedron |K|, Hn(|K|;Q) is a rational vector space of dimension<br />

β (n). On the other hand, a map f : |K|→|K| produces a l<strong>in</strong>ear transformation<br />

Hn( f ,Q): Hn(|K|;Q) → Hn(|K|;Q)<br />

for each <strong>in</strong>teger n ∈{0,...,dimK}. By def<strong>in</strong>ition, the Lefschetz Number of a map<br />

f : |K|→|K| is the rational number<br />

dimK<br />

Λ( f )= ∑ (−1)<br />

n=0<br />

n Tr Hn( f ,Q) .<br />

We consider a simplicial approximation g: K (r) → K to f (see Theorem (III.2.4))<br />

that produces a cha<strong>in</strong> morphism<br />

and therefore, a homomorphism<br />

C(g): C(K (r) ) → C(K)<br />

Cn(g) ⊗ 1Q : C(K (r) ,Q) → C(K,Q) ;

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

Saved successfully!

Ooh no, something went wrong!