Semicontinuity Under Negation and Characterization of Continuity
lemmaAnalysisTopologylem:semicontinuity-negation-continuity-2026aLet be a metric space, let , let be the set of real numbers with the addition and the order of its ordered field structure, let , and let . Let be the function whose value at is the additive inverse of . Regard as a metric space through the metric of The Absolute Value Metric on the Real Line. Then the following hold.
1. (Negation) is lower semicontinuous at relative to if and only if is upper semicontinuous at relative to .
2. (Continuity) is continuous at relative to , as a map from into the metric space , if and only if is both upper semicontinuous at relative to and lower semicontinuous at relative to .
Consequently, is continuous on if and only if is both upper semicontinuous on and lower semicontinuous on .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.