TheoremBase

A Real Function with Closed Superlevel Sets on a Subset of a Metric Space

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.

Statement

In the setting of The Real Numbers: Standing Notation and Background, let (X,d)(X,d) be a metric space, whose open sets form the topology Td\mathcal{T}_{d} of The Open Subsets of a Metric Space Form a Topology, let A⊆XA\subseteq X, and let u:A→Ru:A\to\mathbb{R}.

1. (Superlevel sets) For t∈Rt\in\mathbb{R}, the superlevel set of uu at height tt is the subset

{u≥t}={ x∈A : t≤u(x) }\{u\ge t\}=\{\,x\in A\ :\ t\le u(x)\,\}

of XX.

2. (Closed superlevel sets) The function uu has closed superlevel sets in XX if for every t∈Rt\in\mathbb{R} the set {u≥t}\{u\ge t\} is closed in (X,Td)(X,\mathcal{T}_{d}).

This is a condition on the function uu together with the pair A⊆XA\subseteq X: the superlevel sets are subsets of AA, but they are required to be closed in the ambient space XX, so the condition constrains the behaviour of uu near points of XX that do not lie in AA.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…