Skip to content

Conversation

schillic
Copy link
Member

The implementation added in #3672 was not correct.
The distance to an empty set is the infimum over the empty set, which is Inf.

The standard distance is zero if the sets intersect and otherwise the ``p``-norm
of the shortest line segment between any pair of points. Formally,
```math
\\inf_{x ∈ H_1, y ∈ H_2} \\{ d(x, y) \\}.
```

@schillic schillic force-pushed the schillic/distance_emptyset branch from e5cda82 to 2261a64 Compare December 30, 2024 08:46
@schillic schillic marked this pull request as ready for review December 30, 2024 09:16
@schillic schillic merged commit 361690e into master Dec 30, 2024
7 checks passed
@schillic schillic deleted the schillic/distance_emptyset branch December 30, 2024 09:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant