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

Click For Summary
SUMMARY

The discussion focuses on finding the normal cone \( N_{K}(x_{0}) \) of a closed convex subset \( K \) in a Hilbert space \( H \). Specifically, when \( K \) is defined as the unit disc \( \{ (x,y): x^{2}+y^{2}\leq 1 \} \) and \( x_{0} = (0,0) \), the normal cone is determined to be the single point \( (0,0) \). Additionally, when \( x_{0} = (0,1) \), the normal cone consists of all points \( (0,c) \) where \( c \geq 0 \). These findings illustrate the geometric properties of normal cones in convex analysis.

PREREQUISITES
  • Understanding of Hilbert spaces and their properties
  • Knowledge of convex sets and their characteristics
  • Familiarity with the concept of normal cones in convex analysis
  • Basic proficiency in mathematical notation and operations
NEXT STEPS
  • Study the properties of normal cones in convex analysis
  • Learn about the geometric interpretation of closed convex sets in Hilbert spaces
  • Explore the implications of the separation theorem in convex geometry
  • Investigate applications of normal cones in optimization problems
USEFUL FOR

Mathematicians, researchers in functional analysis, and students studying convex geometry will benefit from this discussion, particularly those interested in the properties of normal cones in Hilbert spaces.

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 4 ·
Replies
4
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
Replies
2
Views
1K
  • · Replies 65 ·
3
Replies
65
Views
8K
  • · Replies 0 ·
Replies
0
Views
1K
Replies
8
Views
2K