Timeline for Is a compact set of extreme points contained in a compact face?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 6, 2023 at 18:07 | comment | added | Nik Weaver | Sorry! It was a good question. | |
| Oct 6, 2023 at 3:03 | comment | added | Sean | Thanks for the very clear counterexample, Nik! I suppose I'll have to work much harder to get the result I'm aiming for then. | |
| Oct 6, 2023 at 3:01 | vote | accept | Sean | ||
| Oct 5, 2023 at 22:28 | comment | added | David Gao | Ah, you're right. Sorry, I was thinking about more general convex sets, where just showing it's in the linear span doesn't imply it belongs to a given face, but for the state space it should work. | |
| Oct 5, 2023 at 12:10 | history | edited | Nik Weaver | CC BY-SA 4.0 |
added 19 characters in body
|
| Oct 5, 2023 at 11:32 | comment | added | Nik Weaver | @DavidGao Why would that matter? If $e_n\otimes e_n$ belongs to the linear span of $C'$ then it belongs to any face (even any exposed face) that contains $C'$. | |
| Oct 5, 2023 at 5:46 | comment | added | David Gao | The linear span of $C’$ certainly contains $e_n \otimes e_n$. I’m not convinced that the convex span of $C’$ does the same though. Is there a result implying that? | |
| Oct 5, 2023 at 5:08 | history | edited | Nik Weaver | CC BY-SA 4.0 |
added 61 characters in body
|
| Oct 5, 2023 at 5:01 | history | answered | Nik Weaver | CC BY-SA 4.0 |