Teorema caracterizării continuității în spații metrice

În analiza matematică, continuitatea unei funcții poate fi înțeleasă în mai multe moduri echivalente. Acest teorem pune în evidență legătura profundă dintre formularea intuitivă a continuității și definiția sa riguroasă prin condiția \(\varepsilon\)-\(\delta\), în cadrul general al spațiilor metrice.

Această formulare exprimă ideea esențială a continuității: modificări mici ale intrării conduc la modificări mici ale ieșirii.

Definiția de mai sus este cunoscută sub numele de definiția \(\varepsilon\)-\(\delta\) a continuității și generalizează noțiunea studiată în Analiză I la orice spațiu metric.

Observație : În cazul funcțiilor reale \(f : \mathbb{R} \to \mathbb{R}\), condiția de continuitate devine familiară: pentru orice \(\varepsilon > 0\), există un \(\delta > 0\) astfel încât, dacă \(|x - x'| < \delta\), atunci \(|f(x) - f(x')| < \varepsilon\). În acest context, distanța este cea obișnuită: $$ d_X(x, x') = |x - x'| $$ $$ d_Y(f(x), f(x')) = |f(x) - f(x')| $$ Aceasta este doar o situație particulară a definiției generale din spații metrice.

Un exemplu simplu

Să analizăm un caz concret, pentru a vedea cum funcționează aceste idei în practică.

• Domeniu: \(X = \mathbb{R}\), cu distanța uzuală \(d_X(x, x') = |x - x'|\)
• Codomeniu: \(Y = \mathbb{R}\), cu aceeași distanță \(d_Y(y, y') = |y - y'|\)

Considerăm funcția:

$$ f(x) = 2x $$

Vom arăta că această funcție este continuă folosind două puncte de vedere complementare.

1] Continuitatea în sens topologic

Într-un spațiu metric, o mulțime este deschisă dacă, în jurul fiecărui punct al său, putem construi o mică „bulă" complet inclusă în acea mulțime.

Fie \(V \subseteq Y\) o mulțime deschisă. Preimaginea sa prin \(f\) este:

$$ f^{-1}(V) = \{x \in X \mid f(x) \in V\} $$

Deoarece \(f(x) = 2x\), această mulțime devine:

$$ f^{-1}(V) = \{x \in \mathbb{R} \mid 2x \in V\} $$

Din proprietățile mulțimilor deschise rezultă că, pentru fiecare punct din această preimagine, putem găsi un interval mic în jurul său care rămâne în interiorul mulțimii. Acest lucru arată că preimaginea este deschisă.

Prin urmare, funcția \(f\) este continuă în sens topologic.

2] Continuitatea în sens \(\varepsilon\)-\(\delta\)

Luăm un punct \(x \in \mathbb{R}\) și o precizie \(\varepsilon > 0\). Dorim să controlăm cât de mult trebuie să variem \(x\) pentru ca variația lui \(f(x)\) să rămână mică.

Calculăm diferența:

$$ |f(x) - f(x')| = |2x - 2x'| = 2|x - x'| $$

Pentru ca această valoare să fie mai mică decât \(\varepsilon\), este suficient să impunem:

$$ |x - x'| < \frac{\varepsilon}{2} $$

Prin urmare, alegem:

$$ \delta = \frac{\varepsilon}{2} $$

În acest mod, condiția de continuitate este satisfăcută.

3] Concluzie

• Funcția \(f(x) = 2x\) este continuă.
• Cele două moduri de a defini continuitatea sunt echivalente.

Demonstrație

În general, continuitatea unei funcții \(f : X \to Y\) poate fi definită în două moduri echivalente:

• Definiția topologică : preimaginea oricărei mulțimi deschise din \(Y\) este deschisă în \(X\)
• Definiția prin vecinătăți : pentru orice punct \(x\) și orice mulțime deschisă \(U\) care conține \(f(x)\), există o vecinătate a lui \(x\) care este trimisă în \(U\)

1] Din definiția topologică rezultă definiția prin vecinătăți

Dacă preimaginea fiecărei mulțimi deschise este deschisă, atunci orice punct \(x\) din această preimagine este înconjurat de o vecinătate inclusă în ea. Aceasta implică faptul că valorile funcției rămân în interiorul mulțimii date.

2] Din definiția prin vecinătăți rezultă definiția topologică

Dacă în jurul fiecărui punct putem controla imaginea funcției prin vecinătăți adecvate, atunci rezultă că preimaginea oricărei mulțimi deschise este deschisă.

Astfel, cele două definiții descriu același fenomen matematic: continuitatea.