Upper Semicontinuous Function on a Subset of a Metric Space
definitionAnalysisTopologydef:upper-semicontinuous-function-metric-2026aLet be a metric space, let , let be the set of real numbers with the addition and the order of its ordered field structure, where means that and , let , and let .
We say that is upper semicontinuous at relative to if for every with there exists with such that every satisfying satisfies
We say that is upper semicontinuous on if is upper semicontinuous at relative to for every .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.