Manuscript XXII-B@1 · XXII-B.tex · section · 9d5c569c

Cone interface and hypothesis-ledger syntax

Cone interface and hypothesis-ledger syntax · lines 548–562

For a finite-dimensional real vector space $V$ , a cone is proper here if it is closed, convex, pointed, and has nonempty interior in $V$ . The conical hull of a set $G$ means the set of all finite nonnegative linear combinations of elements of $G$ , including zero. For $m \geq 3$ , set

L_{m} = {(t, x) \in R \times R^{m - 1} : t \geq ∥ x ∥_{2}} .

These are the closed-cone conventions of XXII-A CheungXXIIA.

Displayed formulas in this passage

unlabeled · line 555
$L_{m} = {(t, x) \in R \times R^{m - 1} : t \geq ∥ x ∥_{2}} .$

Nearby in this section

definition: Definition: Faithful generated representation obligation
section: Cone interface and hypothesis-ledger syntax
definition: Definition: Ledger entry and status
section: Cone interface and hypothesis-ledger syntax
assumption: Model specification: Finite ledger template
section: Cone interface and hypothesis-ledger syntax