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

Example: The orthant already satisfies homogeneity

Cone interface and hypothesis-ledger syntax › The conditional classification route · lines 747–758

XXII-B@1#ex:orthant

Back to manuscript

For , is proper and homogeneous: for , the diagonal map

is an automorphism and sends to . It fails strict convexity because are non-proportional elements of , while . Thus H-homogeneity alone does not exclude the orthant countermodel.

Displayed formulas in this passage

  • unlabeled · line 751

Nearby in this section