Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
46 views

Complexity for determining whether a given metric space is hyperconvex?

Suppose I am given a finite metric space as a distance matrix. What is the complexity of determining whether this metric space is hyperconvex? Definition: A metric space is said to be hyperconvex if ...
pyridoxal_trigeminus's user avatar
1 vote
1 answer
124 views

A neighborhood $Y$ of a set $X$ such that the line segment connecting any point in $Y$ and its projection to $X$ is contained in $Y$

A direct line from a point $p$ to a set $X$ is a line segment with one endpoint at $p$ and one endpoint in $X$, which is as short as any other line segment from $p$ to $X$. Given a closed set $X$ and ...
ccriscitiello's user avatar
2 votes
1 answer
226 views

Metric projection on closed convex sets in Busemann space

I am looking for a proof of the following statement: Let $X$ be a complete Busemann space. For any point $x\in X$ and any nonempty closed convex set $A\subseteq X$, there is a unique $a\in A$ such ...
Logan Fox's user avatar
  • 267
9 votes
1 answer
2k views

Differentiability of distance to a closed convex set [closed]

Let $( \mathbb{R}^d, \| \mathbf{x}\|_2 )$ be a Euclidean Space. For any nonempty closed convex set $A\subseteq \mathbb{R}^d$, we define \begin{align} d(\mathbf{x}, A) = \inf \{ \| \mathbf{x} - \mathbf{...
Steve's user avatar
  • 1,127