Jump to content

Talk:Polar set

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]