Local geometry of feasible regions via smooth paths
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913667364159488 |
|---|---|
| author | Lewis, Adrian S. Nicolae, Adriana Tian, Tonghua |
| author_facet | Lewis, Adrian S. Nicolae, Adriana Tian, Tonghua |
| contents | Variational analysis presents a unified theory encompassing in particular both smoothness and convexity. In a Euclidean space, convex sets and smooth manifolds both have straightforward local geometry. However, in the most basic hybrid case of feasible regions consisting of pre-images of convex sets under maps that are once (but not necessarily twice) continuously differentiable, the geometry is less transparent. We define a new approximate convexity property, that holds both for such feasible regions and also for all prox-regular sets. This new property requires that nearby points can always be joined by smooth feasible paths that are almost straight. In particular, in the terminology of real algebraic geometry, such feasible regions are locally normally embedded in the Euclidean space. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_06984 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Local geometry of feasible regions via smooth paths Lewis, Adrian S. Nicolae, Adriana Tian, Tonghua Optimization and Control Metric Geometry 49J53, 90C31, 32C09, 51F30 Variational analysis presents a unified theory encompassing in particular both smoothness and convexity. In a Euclidean space, convex sets and smooth manifolds both have straightforward local geometry. However, in the most basic hybrid case of feasible regions consisting of pre-images of convex sets under maps that are once (but not necessarily twice) continuously differentiable, the geometry is less transparent. We define a new approximate convexity property, that holds both for such feasible regions and also for all prox-regular sets. This new property requires that nearby points can always be joined by smooth feasible paths that are almost straight. In particular, in the terminology of real algebraic geometry, such feasible regions are locally normally embedded in the Euclidean space. |
| title | Local geometry of feasible regions via smooth paths |
| topic | Optimization and Control Metric Geometry 49J53, 90C31, 32C09, 51F30 |
| url | https://arxiv.org/abs/2408.06984 |