Semicontinuous Functions
[6/33%]Let the function be defined on . Prove that the following properties of the function are equivalent (compare with Problem 1.2):
-
the function is lower semicontinuous;
-
the set is open for every ;
-
the set is closed for every ;
-
if , then ;
-
for every point and every number there exists a neighborhood of the point such that for .
Let be an arbitrary interval. A function , defined on and possibly taking the value (), is called lower (upper) semicontinuous if for every point
Prove that
the characteristic function of a set is lower semicontinuous if and only if the set is open;
the function , defined by the equality
is upper semicontinuous.
Prove that if a function is lower semicontinuous on the segment and takes only finite values, then it attains its least value on (and hence is bounded below). Is it true that it is bounded above?
Let be an arbitrary function defined on an interval . Prove that the function is lower semicontinuous.
Let be a family of lower semicontinuous functions defined on an interval and for every . Prove that the function is lower semicontinuous. Is this true for the function ? Will the function be lower semicontinuous if the family is finite? countable?
Prove that the function is lower semicontinuous if and only if