Talk:Polar body

"If $K$ is a convex set containing the zero element in its interior then $K^\circ$ ... is again a convex neighbourhood of the origin." — Really? Even if $K$ is the whole space $V$? Boris Tsirelson (talk) 22:59, 23 October 2017 (CEST)

...bounded...bounded... Thank you. Richard Pinch (talk) 08:29, 24 October 2017 (CEST)

Another doubt. Indeed, $K^\circ$ is closed and bounded; but "compact"? Do you implicitly assume finite dimension? In fact, if $V$ is complete, then $K^\circ$ is weakly compact. Boris Tsirelson (talk) 10:01, 24 October 2017 (CEST)

Yes, I do. Richard Pinch (talk) 19:13, 26 October 2017 (CEST)

Hm. So, what now? Will you make this assumption explicit? Boris Tsirelson (talk) 20:59, 26 October 2017 (CEST)