Teoremi e insiemi in R2
Come per l'insieme dei numeri reali, per quel che riguarda i teoremi, anche R2 gode di alcuni dei medesimi teoremi. Valgono in R2:
- Teorema dell'unicità del limite;
- Teorema del confronto;
- Teorema sulle operazioni con i limiti (addizioni e moltiplicazioni).
Particolare attenzione va data al teorema sul limite di funzioni composte.
Data f e g, la funzione composta è g(f(x, y)), con (x, y) ∈ A ⊆ R2. L'insieme A è definito così: A = {(x, y) ∈ X | f(x, y) ∈ Y}. Sia (x0, y0) un punto di accumulazione per A e definiamo z0 = f(x0, y0). Se:
∃ lim(x, y) → (x0, y0) f(x, y) = z0, ∃ limz → z0 g(z) = lim(x, y) → (x0, y0) g(f(x, y)) = g(z0).
Funzione continua in un punto
Anche la continuità nell'insieme di R2 merita attenzione, essendo una particolare proprietà. Una funzione f: X ⊆ R2 → R, dato un punto (x0, y0) con X ⊆ DX (ossia l'insieme dei punti di accumulazione), si dice che la funzione è continua in quel determinato punto se e solo se:
∀ ε > 0, ∃ δ > 0: se (x, y) ∈ X e |(x, y) - (x0, y0)| < δ, allora |f(x, y) - f(x0, y0)| < ε.
Se (x0, y0) ∈ X - DX (quindi il punto è isolato per X [non appartiene all'insieme dei punti di accumulazione]), allora si assume che la funzione sia continua in quel determinato punto senza limite.
Vale inoltre il teorema della permanenza del segno (per le funzioni regolari). Date due funzioni f(x, y) [definita in X] e g(x, y) [definita in Y], la somma delle due funzioni è definita in X ∩ Y. La composizione di due funzioni continue è essa stessa una funzione continua.
Vale il teorema di Weierstrass per le funzioni continue, ossia se la funzione è compresa in un sottoinsieme compatto di R2, allora essa ammette massimo e minimo assoluti, cioè:
∃ (x1, y1), (x2, y2) ∈ X tali che f(x1, y1) ≤ f(x, y) ≤ f(x2, y2).
Vale anche il teorema dei valori intermedi, ossia: data una funzione continua f e un intervallo di valori... (continua)