Probleme propuse pentru GM 2021 - Cristi Săvescu

Problema 1 - Clasa a 11-a - Analiză

Enunţ
√
Fie f : [0, 1] → R o funcţie strict crescătoare pe mulţimea A = {{n 2}|n ∈ Z}.
(a) Exemplificaţi o astfel de funcţie care nu este monotonă pe niciun interval I ⊂ [0, 1].
(b) Arătaţi că dacă f este continuă, atunci este strict crescătoare.
(c) Arătaţi că dacă f are proprietatea lui Darboux, atunci este continuă.
Soluţie:
(a) De exemplu f (x) √ = x, ∀x √
∈ A şi f (x) = 1, ∀x
√ ∈ [0, 1] − A. Evident că f este strict crescătoare pe
A. Mulţimea A = {n 2 − [n 2]|n ∈ Z} ⊂ {m 2 + n|m, n ∈ Z} este densă ı̂n R conform teoremei
lui Kronecker, deci ı̂n orice interval I există a, b ∈ I ∩ A, a < b, iar cum A este numărabilă, există
c ∈ (a, b) astfel ı̂ncât c ∈
/ A. Atunci f (a) = a < 1 = f (c) > b = f (b), deci f nu este monotonă pe I.
(b) Fie a, b ∈ [0, 1], a < b şi c ∈ (a, b) ∩ A. Din teorema lui Kronecker de denistate a mulţimii A ı̂n
R rezultă că putem alege şirul strict descrescător (an )n≥1 cu a1 = c convergent la a şi şirul strict
crescător (bn )n≥1 cu b1 = c convergent la b, ambele şiruri cu toţi termenii din A. Atunci:

f (a) = f ( lim an ) = lim f (an ) < f (a1 ) = f (c) = f (b1 ) < lim f (bn ) = f ( lim bn ) = f (b).
n→∞ n→∞ n→∞ n→∞

(c) Dacă funcţia este strict monotonă, având proprietatea lui Darboux, este continuă.
Altfel, există x < y < z cu f (x) < f (y) > f (z) sau f (x) > f (y) < f (z). Cum f are proprietatea lui
Darboux, ı̂n ambele cazuri există a < b astfel ı̂ncât f (a) = f (b). Fie α ∈ (a, b) ∩ A cu f (α) 6= f (a).
Tratăm cazul f (α) > f (a), celălalt fiind analog. Evident că b ∈/ A, altfel f (b) > f (α) > f (a).
Fie şirul strict crescător (αn )n≥1 cu elemente din A, cu α1 = α şi convergent la b (acesta există
conform teoremei lui Kronecker). Atunci, pentru că f are P.D., avem (f (a), f (αi )) ⊂ f ((αi , b)), ∀i,
iar cum f (αi ) > f (α), avem (f (a), f (α)) ⊂ (f (a), f (αi )) ⊂ f ((αi , b)), ∀i. Atunci
\ \
(f (a), f (α)) ⊂ f ((αi , b)) = f ( (αi , b)) = f (∅),
i≥1 i≥1

ı̂ntrucât αi < b, ∀i şi lim αn = b, absurd.

n→∞