The superlevel sets of a real function defined on a subset of a metric space, and the condition that each of them be closed in the ambient space.
In the setting of The Real Numbers: Standing Notation and Background, let be a metric space, whose open sets form the topology of The Open Subsets of a Metric Space Form a Topology, let , and let .
1. (Superlevel sets) For , the superlevel set of at height is the subset
of .
2. (Closed superlevel sets) The function has closed superlevel sets in if for every the set is closed in .
This is a condition on the function together with the pair : the superlevel sets are subsets of , but they are required to be closed in the ambient space , so the condition constrains the behaviour of near points of that do not lie in .
Loading…
No relations recorded yet.