ScalingStacks

Definition 3.32 . [02LB]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 3.32.

Let E,E′E,E^{\prime} be subsets of NℝN_{\mathbb{R}} and MℝM_{\mathbb{R}} respectively, and Π,Π′\Pi,\Pi^{\prime} convex decompositions of EE and E′E^{\prime}, respectively. We say that Π\Pi and Π′\Pi^{\prime} are dual convex decompositions if there exists a bijective map Π→Π′,C↦C∗\Pi\to\Pi^{\prime},C\mapsto C^{\ast} such that

  1. (1)

    for all C,D∈ΠC,D\in\Pi we have C⊂DC\subset D if and only if C∗⊃D∗C^{\ast}\supset D^{\ast};

  2. (2)

    for all C∈ΠC\in\Pi the sets CC and C∗C^{\ast} are contained in orthogonal affine spaces of NℝN_{\mathbb{R}} and MℝM_{\mathbb{R}}, respectively.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.