Talk:Polar set

Latest comment: 1 year ago by PMajer in topic Confusion

Polar set is not defined edit

Currently, the article does not say what a polar set is. It just says that a polar set is a set in the dual space if it is a polar set of a subset of a vector space. -- Kjkolb 01:09, 7 May 2007 (UTC)Reply

I tried to clarify the article. MathMartin 16:57, 8 May 2007 (UTC)Reply

Theorem of bipolars edit

I suggest adding something like the following

``* By the theorem of bipolars   is convex weak-closure of  , that is the smallest weak-closed convex set containing   and 0.

This asks for right links to the definition of weak topology, sometimes denoted as   Matumba (talk) 01:27, 27 April 2008 (UTC)Reply

As it stands, the article statement is wrong:   is not equal to the absolutely convex envelope (take the open unit ball in the reals for example), but to the weak-closure of it. Chrystomath2 (talk) 09:03, 15 April 2016 (UTC)Reply

Confusion edit

  • The page says "There are at least three competing definitions of the polar of a set.", lists two of them, and then talk about properties. Does these properties hold for all definitions or what is intended?
  • The page says "Some authors (confusingly) call a dual cone the polar cone; we will not follow that convention in this article.", and then makes this definition in the last property: "For a closed convex cone C, the dual cone is the polar of C". — Preceding unsigned comment added by 5.57.55.92 (talk) 10:34, 24 January 2020 (UTC)Reply
  • And I would add, it is not very smart, and quite confusing, adopting the same name and notation for the polar of the polar (i.e. the bi-polar) of   and the pre-polar of the polar. Polar sends to the dual, pre-polar sends backwards to the pre-dual. The polar of a subset of   is a subset of  ; the pre-polar is just the trace of its polar on  , via the isometric embedding  . Also, the weak topology of   ( ) is just the trace on   of the weak* topology of   ( ). pma 23:41, 9 November 2022 (UTC)Reply