ScalingStacks

Definition 3.1 . [02KC]

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.1.

Let CC be a convex set. A convex subset F⊂CF\subset C is called a face of CC if, for every closed line segment u1​u2¯⊂C{\overline{u_{1}u_{2}}}\subset C such that ri⁡(u1​u2¯)∩F≠∅\operatorname{ri}({\overline{u_{1}u_{2}}})\cap F\not=\emptyset, the inclusion u1​u2¯⊂F{\overline{u_{1}u_{2}}}\subset F holds. A face of CC of codimension 1 is called a facet. A non-empty subset F⊂CF\subset C is called an exposed face of CC if there exists x∈Mℝx\in M_{\mathbb{R}} such that

F={u∈C∣⟨x,u⟩≤⟨x,v⟩,∀v∈C}.F=\{u\in C\mid\langle x,u\rangle\leq\langle x,v\rangle,\,\forall v\in C\}.

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