Finding the Normal Cone of a Closed Convex Subset in a Hilbert Space

Click For Summary

Discussion Overview

The discussion revolves around finding the normal cone of a closed convex subset in a Hilbert space, specifically focusing on the unit disc in a two-dimensional Euclidean space. Participants explore the implications of different points within the set and how they affect the normal cone.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant defines the normal cone \( N_{K}(x_{0}) \) for a closed convex subset \( K \) in a Hilbert space and poses a specific case with \( K \) as the unit disc.
  • Another participant asserts that if \( x_{0} = (0,0) \), then the normal cone \( N_{K}((0,0)) \) consists of just one point, \( (0,0) \).
  • A later reply confirms that \( x_{0} = (0,0) \) is indeed the point of interest.
  • Another participant questions the normal cone when \( x_{0} = (0,1) \) and asks for its value.
  • One participant suggests that the normal cone \( N_{K}((0,1)) \) includes all points of the form \( (0,c) \) where \( c \geq 0 \), though they express uncertainty about this claim.

Areas of Agreement / Disagreement

Participants express differing views on the normal cone at various points within the set, indicating that multiple competing interpretations exist regarding the normal cone's definition and its specific values at given points.

Contextual Notes

There is some uncertainty regarding the completeness of the arguments presented, particularly concerning the normal cone at \( x_{0} = (0,1) \) and the conditions under which these claims hold.

moh salem
Messages
21
Reaction score
0
Let \text{ } H \text{ }be \text{ }a \text{ } Hilbert \text{ } space, \text{ }K \text{ }be \text{ }a \text{ }closed\text{ }convex\text{ }subset \text{ } of \text{ }H \text{ }and \text{ }x_{0}\in K. \text{ }Then \\N_{K}(x_{0}) =\{y\in K:\langle y,x-x_{0}\rangle \leq 0,\forall x\in K\} .\text{ }Hence, \text{ }if \text{ }K=\left\{ (x,y):x^{2}+y^{2}\leq 1\right\}\\ is \text{ }closed\text{ } and\text{ }convex, \text{ }find \text{ }N_{K}((0,0))?
Thanks.
 
Physics news on Phys.org
If x0 = (0,0), then you have a two dimensional Euclidean space. K is the unit disc. Nk((0,0)) has just one point (0,0).

If you meant something else, I suggest you rewrite it.
 
\text{ }yes,\text{ } x_{0} = (0,0)
 
Yes, I mean \text{ } x_{0} = (0,0).
but, if \text{ } x_{0} = (0,1). What is equal to N_{K}((0,1))?
 
I haven't checked it throughly, but it looks like all y in K of the form (0,c) where c ≥ 0.
 
Thank u Mr. mathman.
 

Similar threads

  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 0 ·
Replies
0
Views
2K
Replies
2
Views
2K
  • · Replies 65 ·
3
Replies
65
Views
9K
  • · Replies 0 ·
Replies
0
Views
2K