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