Weierstrass theorems on continuous functions on a closed interval

[17/18%]
Show
LaTeX

Give an example of a function f:X→Rf: X \rightarrow \mathbb {R}, continuous but not bounded on some ball, where XX is a complete metric space.

?

Let MM be a set in a complete metric space XX such that every real-valued function continuous on MM is bounded. Prove that MM is a compact.

?

Let MM be a set in a complete metric space XX such that every real-valued function continuous and bounded on MM attains its supremum and infimum. Prove that MM is a compact.

?

Prove that if the function f(x)f(x) is continuous on the interval a⩽x<+∞a\leqslant x<+\infty, and lim⁡x→+∞f(x)\lim \limits_{x\to +\infty }f(x) is finite, then this function is bounded on the given interval.

?

Give an example of a function continuous on an interval:

?
(1)

unbounded on this interval;

(2)

bounded on this interval, but attaining neither its supremum nor its infimum.

?
(1)

A function ff is defined and continuous on the closed interval [a;b][a ; b], and all its values are positive. Prove that there exists a number μ>0\mu > 0 such that f(x)⩾μf(x) \geqslant \mu for any x∈[a;b]x \in [a ; b].

(2)

Give an example of a function ff, continuous on the open interval (a;b)(a ; b), taking only positive values and such that for any μ>0\mu > 0 there is a value f(x)<μ,x∈(a;b)f(x) < \mu , x \in (a ; b).

(3)

Give an example of a function ff, defined on the closed interval [a;b][a ; b], taking only positive values and such that for any μ>0\mu > 0 there is a value of the function f(x)<μ,x∈(a;b)f(x) < \mu , x \in (a ; b).

Prove that if a function is defined and continuous on a closed interval, then its range is a closed interval.

?

The function ff is continuous on the closed interval [a;b][a ; b]. Prove that:

?
(1)

inf⁡(a;b)f=inf⁡[a;b]f\inf_{(a ; b)} f = \inf_{[a ; b]} f;

(2)

sup⁡(a;b)f=sup⁡[a,b]f\sup_{(a ; b)} f = \sup_{[a, b]} f.

The function ff is continuous on the closed interval [a;b][a ; b]. Prove that the functions m(x)m(x) and M(x)M(x) are continuous on [a;b][a ; b], if:

?
(1)

m(x)=min⁡[a;x]fm(x) = \min_{[a ; x]} f;

(2)

M(x)=max⁡[a;x]fM(x) = \max_{[a ; x]} f.

The function ff is continuous on [a;+∞)[a ;+\infty ), and lim⁡x→+∞f(x)\lim_{x \rightarrow +\infty } f(x) exists and is finite. Prove that ff is bounded on [a;+∞)[a ;+\infty ).

?

The function ff is continuous on the interval (a;b)(a ; b) (finite or infinite), and lim⁡x→a+0f(x)\lim_{x \rightarrow a+0} f(x) and lim⁡x→b−0f(x)\lim_{x \rightarrow b-0} f(x) exist and are finite. Prove that the function ff is bounded on (a;b)(a ; b).

?

Prove the stated assertion. Every continuous function f:X→Rf: X \rightarrow R defined on a compact set XX is bounded on it and attains its greatest and least values.

?

Prove Theorem 2.3.18.

Theorem 2.3.18: Let (M,d)(M,d) be a compact metric space and let f:M→Rf: M \rightarrow \mathbb {R} be continuous. Then ff is bounded and it attains its extreme values on MM.

?

Let f:R→Rf: \mathbb {R} \rightarrow \mathbb {R}, let x0∈Rx_{0} \in \mathbb {R}, and suppose that for every interval (a,b)(a, b) that contains x0x_{0}, the function ff is unbounded on ( a,ba, b ). Prove that ff is not continuous at x0x_{0}.

?

Let f:[0,∞)→Rf:[0, \infty ) \rightarrow \mathbb {R} be a continuous function such that lim⁡x→∞f(x)=L\lim_{x \rightarrow \infty } f(x)= L, and L<f(0)L<f(0). Prove that ff attains a maximum value in [0,∞)[0, \infty ).

?

Show that a non-empty set EE of real numbers is closed and bounded if and only if every continuous real-valued function on EE takes a maximum value.

?

Let the function f(z)f(z) be defined and continuous on a closed bounded set EE. Prove that:

?
(1)

the function ∣f(z)∣\left|f(z)\right| is bounded on the set EE and attains its greatest and least values;

(2)

the function f(z)f(z) is uniformly continuous on the set EE.

References

[БСШ17] Бородин П.А., Савчук А.М., Шейпак И.А. Задачи по функциональному анализу. МЦНМО, 2017.
[Dem97] Demidovich B.P. Сборник задач и упражнений по математическому анализу. 13-е изд., Издательство Московского университета / Издательство "ЧеРо", 1997.
[ККЧ+03a] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Предел. Непрерывность. Дифференцируемость. 2-е изд., ФИЗМАТЛИТ, 2003.
[ККЧ+03b] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Функции многих переменных. 2-е изд., ФИЗМАТЛИТ, 2003.
[Pet25] Petrovic J.S. Measure and Integral: Theory and Practice. CRC Press, 2025.
[RoFi23] Royden H.L., Fitzpatrick P.M. Real Analysis. 5th ed., Pearson, 2023.
[ШПК15] Шабунин М.И., Половинкин Е.С., Карлов М.И. Сборник задач по теории функций комплексного переменного. 4-е изд., БИНОМ. Лаборатория знаний, 2015.