Sums and Nonnegative Multiples of Semicontinuous Functions
lemmaAnalysisTopologylem:sum-semicontinuous-2026aLet be a metric space, let , let be the set of real numbers with the addition and multiplication and the order of its ordered field structure, let , let satisfy , and let . Let and be the functions given by and for . Then the following hold.
1. If and are upper semicontinuous at relative to , then is upper semicontinuous at relative to .
2. If is upper semicontinuous at relative to , then is upper semicontinuous at relative to .
3. If and are lower semicontinuous at relative to , then is lower semicontinuous at relative to ; and if is lower semicontinuous at relative to , then is lower semicontinuous at relative to .
In particular, if the hypotheses of one of the three claims hold at every point of , then the corresponding conclusion holds at every point of .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.