compact simplicial complex

[blunotte85]

Prove the following thm:
Let D be a compact simplicial complex. Then D consists of a finite number of simplices.

Can someone help me?

[moebius]

Perhaps is not what you mean but every complex is locally finite, that means that every bounded set of (let's say) $ ~\mathbb{R}^n $ intersects finitely many simplicies.
The claims follows from the fact that a compact subset of $ ~\mathbb{R}^n $ (the complex) is closed and bounded.

[blunotte85]

Why every complex is locally finite (has locally a finite number of simplices)?

[moebius]

By wikipedia (IT) definition...
Looking at wikipedia (EN) it's not so. But, assuming compact complexes, i think that you can show that it must be locally finite.
Infact, suppose not. Then choose a vertex shared by infinitely many simplicies.
Then I think that you can create a cover that can't be reduced to a finite one taking a little open containing the vertex and the interior part of simplecies that share that vertex.
Let me know about that.

[blunotte85]

Ok, we can also talk in Italian.. visto che stranamente la pagina di wiki italiana è più utile di quella inglese (che avevo già controllato).
Come giustamente osservavi, basta provare che sia localmente finito perché poi dato che è compatto in R^n (=>chiuso e limitato) questo implica che è globalmente finito (cioè formato da un numero finito di simpliciali).
Ora supponiamo per assurdo che non sia finito localmente, ma che localmente esistano infiniti simpliciali in D. Poi come saresti andato avanti? Non mi è chiaro il tutto..
Grazie dell'aiuto!

[moebius]

Mi verrebbe da dire "ma allora parla come mangi!", però poi ho pensato ad una sena tristissima del tipo "Mother, may I have a some bread with porchetta?".
Lasciamo perdere... sto male e si vede
Dunque... A te interessava far vedere che cpt -> numero di simplessi finito. Supponi per assurdo che siano infiniti.
Costruisci un ricoprimento aperto del complesso formato dalla parte interna dei simplessi che lo compongono e "intorni" dei bordi. Questo ricoprimento non avrà mai (spero) un sottoricoprimento finito.
A questo punto mi sembra anche ovvio che cpt -> localmente finito.