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.

44 II <strong>Simplicial</strong> Complexes<br />

(0, 1)<br />

(1, 0, 0)<br />

(0, 0, 1)<br />

(1, 0)<br />

(0, 1, 0)<br />

Fig. II.1<br />

Fig. II.2<br />

S1 If s ∈ K, then every face of s is <strong>in</strong> K.<br />

S2 If s1 and s2 are simplexes of K with nondisjo<strong>in</strong>t <strong>in</strong>teriors ˚s1 ∩ ˚s2 �= /0, then<br />

s1 = s2.<br />

The dimension of K is the maximal dimension of its simplexes. 1 Figure II.3 repre-<br />

Fig. II.3<br />

sents a two-dimensional simplicial complex of R 2 ;Fig. II.4 is a set of simplexes,<br />

which is not a simplicial complex.<br />

1 It is possible to def<strong>in</strong>e Euclidean complexes with <strong>in</strong>f<strong>in</strong>itely many simplexes, provided we add the<br />

local f<strong>in</strong>iteness property that is to say, we ask that each po<strong>in</strong>t of a simplex has a neighborhood,<br />

which <strong>in</strong>tersects only f<strong>in</strong>itely many simplexes of K. We do this so that the topology of the (<strong>in</strong>f<strong>in</strong>ite)<br />

Euclidean complex K co<strong>in</strong>cides with the topology of the geometric realization | �K| (we are referr<strong>in</strong>g<br />

to the topology def<strong>in</strong>ed by Remark (II.2.13)) of the abstract simplicial complex | �K| associated <strong>in</strong> a<br />

natural fashion to K (we shall give the def<strong>in</strong>ition of abstract simplicial complex <strong>in</strong> a short while).

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

Saved successfully!

Ooh no, something went wrong!