A Real Function with Closed Superlevel Sets on a Subset of a Metric Space
definitionAnalysisdef:closed-superlevel-sets-2026aThe 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 Metric Open Sets 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…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.