Lower Semicontinuous Function on a Subset of a Metric Space
definitionAnalysisTopologydef:lower-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 lower semicontinuous at relative to if for every with there exists with such that every satisfying satisfies
where abbreviates .
We say that is lower semicontinuous on if is lower 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.