Timeline for Abstract definition of convex set
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 27, 2016 at 19:41 | comment | added | arsmath | You need for all $t$ that $(x:t:y) = (x:t:z)$ implies that $y = z$. | |
| Oct 27, 2016 at 19:32 | comment | added | R.. GitHub STOP HELPING ICE | In regards to your counterexample, would a requirement that $(x : t_1 : y) \neq (x : t_2 : y)$ unless $x=y$ or $t_1=t_2$, or similar, recover the hope of representation as a vector space? | |
| Oct 27, 2016 at 11:48 | vote | accept | grok | ||
| Oct 27, 2016 at 9:57 | comment | added | arsmath | There's also an nlab page: ncatlab.org/nlab/show/convex+space They attribute the characterization of barycentric algebra that can be embedded in a vector space (cancellativity) to a 1949 paper of Stone, "Postulates for the barycentric calculus". | |
| Oct 27, 2016 at 9:01 | history | edited | Ben McKay | CC BY-SA 3.0 |
clarified logic
|
| Oct 27, 2016 at 8:20 | history | answered | arsmath | CC BY-SA 3.0 |