TheoremBase

Semicontinuity via Sublevel and Superlevel Sets

Statement

Let (X,d)(X,d) be a metric space, let A⊆XA\subseteq X, and let dAd_A be the restriction of dd to AA, a metric on AA by claim 1 of The Restriction of a Metric to a Subset Induces the Subspace Topology. Equip AA with the collection of its subsets that are open in (A,dA)(A,d_A), which is a topology by Metric Open Sets Form a Topology. Let R\mathbb{R} be the set of real numbers with the addition and the order ≤\le of its ordered field structure, where s<ts<t means that s≤ts\le t and s≠ts\ne t, and let u:A→Ru:A\to\mathbb{R}. For c∈Rc\in\mathbb{R} set

Au<c={y∈A:u(y)<c},Ac≤u={y∈A:c≤u(y)},A_{u<c}=\{y\in A: u(y)<c\},\qquad A_{c\le u}=\{y\in A: c\le u(y)\}, Ac<u={y∈A:c<u(y)},Au≤c={y∈A:u(y)≤c}.A_{c<u}=\{y\in A: c<u(y)\},\qquad A_{u\le c}=\{y\in A: u(y)\le c\}.

Then the following hold.

1. uu is upper semicontinuous on AA if and only if Au<cA_{u<c} is open in (A,dA)(A,d_A) for every c∈Rc\in\mathbb{R}.

2. uu is lower semicontinuous on AA if and only if Ac<uA_{c<u} is open in (A,dA)(A,d_A) for every c∈Rc\in\mathbb{R}.

3. If uu is upper semicontinuous on AA, then Ac≤uA_{c\le u} is closed in the topological space AA for every c∈Rc\in\mathbb{R}; if uu is lower semicontinuous on AA, then Au≤cA_{u\le c} is closed in the topological space AA for every c∈Rc\in\mathbb{R}.

Proofs

Log in to submit a proof.

Loading...

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…