Shelling (topology): Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>BattyBot
m (fixed CS1 errors: dates & General fixes using AWB (9832))
en>David Eppstein
(unstub)
 
(One intermediate revision by one other user not shown)
Line 2: Line 2:


==Definition==
==Definition==
A ''d''-dimensional simplicial complex is called '''pure''' if its maximal simplices all have dimension ''d''. Let <math>\Delta</math> be a finite or countably infinite simplicial complex. An ordering <math>C_1,C_2,\ldots</math> of the maximal simplices of <math>\Delta</math> is a '''shelling''' if the complex <math>B_k:=\left(\bigcup_{i=1}^{k-1}C_i\right)\cap C_k</math> is pure and <math>(\dim C_k-1)</math>-dimensional for all <math>k=2,3,\ldots</math>. If <math>B_k</math> is the entire boundary of <math>C_k</math> then <math>C_k</math> is called '''spanning'''.
A ''d''-dimensional simplicial complex is called '''pure''' if its maximal simplices all have dimension ''d''. Let <math>\Delta</math> be a finite or countably infinite simplicial complex. An ordering <math>C_1,C_2,\ldots</math> of the maximal simplices of <math>\Delta</math> is a '''shelling''' if the complex <math>B_k:=\left(\bigcup_{i=1}^{k-1}C_i\right)\cap C_k</math> is pure and <math>(\dim C_k-1)</math>-dimensional for all <math>k=2,3,\ldots</math>. That is, the "new" simplex <math>C_k</math> meets the previous simplices along some union <math>B_k</math> of top-dimensional simplices of the boundary of <math>C_k</math>. If <math>B_k</math> is the entire boundary of <math>C_k</math> then <math>C_k</math> is called '''spanning'''.


For <math>\Delta</math> not necessarily countable, one can define a shelling as a well-ordering of the maximal simplices of <math>\Delta</math> having analogous properties.
For <math>\Delta</math> not necessarily countable, one can define a shelling as a well-ordering of the maximal simplices of <math>\Delta</math> having analogous properties.
Line 34: Line 34:
| journal = Bull. Am. Math. Soc.
| journal = Bull. Am. Math. Soc.
| date = 1958-02-14
| date = 1958-02-14
| doi=10.1090/s0002-9904-1958-10168-8
}}</ref>
}}</ref>


Line 39: Line 40:
* {{cite book |author=Dmitry Kozlov |title=Combinatorial Algebraic Topology |publisher=Springer |location=Berlin |year=2008 |isbn=978-3-540-71961-8 |oclc= |doi=}}
* {{cite book |author=Dmitry Kozlov |title=Combinatorial Algebraic Topology |publisher=Springer |location=Berlin |year=2008 |isbn=978-3-540-71961-8 |oclc= |doi=}}
{{reflist}}
{{reflist}}
\


[[Category:Topology]]
[[Category:Topology]]
[[Category:Algebraic topology]]
[[Category:Algebraic topology]]
{{topology-stub}}

Latest revision as of 05:47, 7 June 2014

In mathematics, a shelling of a simplicial complex is a way of gluing it together from its maximal simplices (simplices that are not a face of another simplex) in a well-behaved way. A complex admitting a shelling is called shellable.

Definition

A d-dimensional simplicial complex is called pure if its maximal simplices all have dimension d. Let be a finite or countably infinite simplicial complex. An ordering of the maximal simplices of is a shelling if the complex is pure and -dimensional for all . That is, the "new" simplex meets the previous simplices along some union of top-dimensional simplices of the boundary of . If is the entire boundary of then is called spanning.

For not necessarily countable, one can define a shelling as a well-ordering of the maximal simplices of having analogous properties.

Properties

  • A shellable complex is homotopy equivalent to a wedge sum of spheres, one for each spanning simplex and of corresponding dimension.
  • A shellable complex may admit many different shellings, but the number of spanning simplices, and their dimensions, do not depend on the choice of shelling. This follows from the previous property.

Examples

References

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

  1. {{#invoke:Citation/CS1|citation |CitationClass=journal }}
  2. {{#invoke:Citation/CS1|citation |CitationClass=journal }}