, Volume 17, Issue 3, pp 287-306

Inclusion-exclusion complexes for pseudodisk collections

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


Let B be a finite pseudodisk collection in the plane. By the principle of inclusion-exclusion, the area or any other measure of the union is $$\mu \left( { \cup B} \right) = \sum\limits_{\sigma \in 2^B - \left\{ {\not 0} \right\}} {( - 1)^{card \sigma - 1} \mu \left( { \cap \sigma } \right)} .$$ .

We show the existence of a two-dimensional abstract simplicial complex, χ ⊆ 2 B , so the above relation holds even if χ is substituted for 2B. In addition, χ can be embedded in ℝ2 so its underlying space is homotopy equivalent to int ⋃ B, and the frontier of χ is isomorphic to the nerve of the set of boundary contributions.

This work was supported by the National Science Foundation, under Grant ASC-9200301 and the Alan T. Waterman Award CCR-9118874. Any opinions, findings, conclusions, or recommendations expressed in this publication are those of the authors and do not necessarily reflect the view of the National Science Foundation.