Completitudinea lui \(\mathbb R\) este o proprietate fundamentală a numerelor reale. Ea exprimă faptul că dreapta reală nu prezintă „goluri”: orice mulțime reală nevidă și majorată are o margine superioară reală.
Această proprietate deosebește în mod profund \(\mathbb R\) de mulțimea numerelor raționale \(\mathbb Q\). Într-adevăr, în raționale există mulțimi nevide și majorate care nu au margine superioară rațională. În \(\mathbb R\), dimpotrivă, un astfel de fenomen nu se poate produce.
În această expunere vom prezenta semnificația completitudinii lui \(\mathbb R\), vom enunța axioma completitudinii prin intermediul marginii superioare și vom vedea de ce această proprietate stă la baza multor rezultate fundamentale ale analizei matematice.
Cuprins
- Idee intuitivă despre completitudinea lui \(\mathbb R\)
- De ce \(\mathbb Q\) nu este complet
- Recapitulare: majoranți, minoranți, maxim și minim
- Recapitulare: marginea superioară și marginea inferioară
- Axioma completitudinii lui \(\mathbb R\)
- Semnificația axiomei completitudinii
- Exemple de aplicare a axiomei completitudinii
- Completitudinea lui \(\mathbb R\) și șiruri
- Consecințe fundamentale ale completitudinii lui \(\mathbb R\)
- Recapitulare finală
Idee intuitivă despre completitudinea lui \(\mathbb R\)
A spune că \(\mathbb R\) este complet înseamnă, în mod intuitiv, a spune că dreapta reală nu are goluri.
Această afirmație trebuie interpretată cu atenție. Numerele raționale \(\mathbb Q\) sunt foarte dese pe dreaptă: între două raționale distincte există întotdeauna cel puțin încă un rațional. Totuși, în pofida acestei densități, \(\mathbb Q\) nu umple în întregime dreapta.
De exemplu, numărul
\[ \sqrt{2} \]
nu este rațional. Și totuși, se pot construi numere raționale din ce în ce mai apropiate de \(\sqrt{2}\), atât prin valori mai mici, cât și prin valori mai mari.
Cu alte cuvinte, în interiorul lui \(\mathbb Q\) există procese de aproximare care „indică” spre un număr ce nu aparține lui \(\mathbb Q\). Din punctul de vedere al raționalelor, acel punct este un gol.
Mulțimea \(\mathbb R\), dimpotrivă, este construită tocmai pentru a astupa aceste goluri. Orice mărime care poate fi determinată ca limită, ca margine superioară sau ca punct de separare între două clase de numere aparține dreptei reale.
Completitudinea lui \(\mathbb R\) formalizează această idee: orice mulțime reală nevidă și majorată are o margine superioară în \(\mathbb R\).
De ce \(\mathbb Q\) nu este complet
Pentru a înțelege completitudinea lui \(\mathbb R\), este util să observăm mai întâi de ce \(\mathbb Q\) nu este complet.
Să considerăm mulțimea
\[ A=\{q\in\mathbb Q:q^2<2\}. \]
Mulțimea \(A\) este formată din numerele raționale al căror pătrat este mai mic decât \(2\).
De exemplu,
\[ 1\in A, \]
deoarece
\[ 1^2=1<2. \]
În plus, \(A\) este majorată în \(\mathbb Q\). De exemplu, \(2\) este un majorant rațional al lui \(A\), deoarece orice rațional \(q\) cu \(q^2<2\) este, cu siguranță, mai mic decât \(2\).
Totuși, \(A\) nu are margine superioară în \(\mathbb Q\).
Într-adevăr, dacă raționăm în \(\mathbb R\), marginea sa superioară este
\[ \sup A=\sqrt{2}. \]
Dar
\[ \sqrt{2}\notin\mathbb Q. \]
Așadar, privind mulțimea doar în interiorul lui \(\mathbb Q\), lipsește numărul care ar trebui să reprezinte cel mai mic majorant.
Acesta este punctul esențial: \(\mathbb Q\) conține multe numere și este dens pe dreaptă, însă nu este complet. Există mulțimi raționale nevide și majorate care nu au margine superioară rațională.
Golul corespunzător lui \(\sqrt{2}\)
Mulțimea
\[ A=\{q\in\mathbb Q:q^2<2\} \]
descrie toate raționalele care se află, în mod intuitiv, la stânga lui \(\sqrt{2}\).
În \(\mathbb Q\), însă, numărul \(\sqrt{2}\) nu există. Astfel, mulțimea \(A\) se apropie nelimitat de un prag care nu aparține raționalelor.
În reale, dimpotrivă, acel prag există și este chiar \(\sqrt{2}\). Din acest motiv \(\mathbb R\) este complet, în timp ce \(\mathbb Q\) nu este.
Recapitulare: majoranți, minoranți, maxim și minim
Înainte de a enunța axioma completitudinii, să reamintim câteva definiții fundamentale.
Fie \(A\subseteq\mathbb R\) o mulțime nevidă.
Un număr \(M\in\mathbb R\) se numește majorant al lui \(A\) dacă orice element al lui \(A\) este mai mic sau egal cu \(M\). În simboluri:
\[ x\leq M \qquad \text{pentru orice } x\in A. \]
Dacă \(A\) posedă cel puțin un majorant, atunci \(A\) se numește majorată.
Analog, un număr \(m\in\mathbb R\) se numește minorant al lui \(A\) dacă orice element al lui \(A\) este mai mare sau egal cu \(m\). În simboluri:
\[ m\leq x \qquad \text{pentru orice } x\in A. \]
Dacă \(A\) posedă cel puțin un minorant, atunci \(A\) se numește minorată.
Maxim și minim
Un element \(M\in A\) se numește maxim al lui \(A\) dacă este mai mare sau egal cu orice element al lui \(A\):
\[ x\leq M \qquad \text{pentru orice } x\in A. \]
În acest caz se scrie
\[ M=\max A. \]
Un element \(m\in A\) se numește minim al lui \(A\) dacă este mai mic sau egal cu orice element al lui \(A\):
\[ m\leq x \qquad \text{pentru orice } x\in A. \]
În acest caz se scrie
\[ m=\min A. \]
Este important de observat că maximul și minimul, dacă există, trebuie să aparțină mulțimii.
De exemplu, intervalul
\[ (0,1) \]
este atât majorat, cât și minorat, dar nu are nici maxim, nici minim. Într-adevăr, \(1\) și \(0\) sunt, respectiv, marginea superioară și marginea inferioară, dar nu aparțin intervalului.
Recapitulare: marginea superioară și marginea inferioară
Noțiunile de maxim și minim nu sunt suficiente pentru a descrie toate mulțimile mărginite. Există, într-adevăr, mulțimi care nu au maxim, dar care posedă totuși un cel mai mic majorant.
Fie \(A\subseteq\mathbb R\) o mulțime nevidă și majorată. Un număr \(s\in\mathbb R\) se numește margine superioară a lui \(A\) dacă satisface două proprietăți:
- \(s\) este un majorant al lui \(A\);
- \(s\) este cel mai mic dintre toți majoranții lui \(A\).
În acest caz se scrie
\[ s=\sup A. \]
A spune că \(s=\sup A\) înseamnă, prin urmare, că
\[ x\leq s \qquad \text{pentru orice } x\in A, \]
și că orice număr mai mic decât \(s\) încetează să mai fie un majorant al lui \(A\).
În mod echivalent, \(s=\sup A\) dacă și numai dacă \(s\) este un majorant al lui \(A\) și, pentru orice \(\varepsilon>0\), există cel puțin un element \(x\in A\) astfel încât
\[ s-\varepsilon<x\leq s. \]
Această a doua caracterizare este foarte importantă: ea arată că elementele lui \(A\) se pot apropia oricât de mult de \(\sup A\) de jos.
Marginea inferioară
În mod analog, fie \(A\subseteq\mathbb R\) o mulțime nevidă și minorată. Un număr \(i\in\mathbb R\) se numește margine inferioară a lui \(A\) dacă satisface două proprietăți:
- \(i\) este un minorant al lui \(A\);
- \(i\) este cel mai mare dintre toți minoranții lui \(A\).
În acest caz se scrie
\[ i=\inf A. \]
A spune că \(i=\inf A\) înseamnă, prin urmare, că
\[ i\leq x \qquad \text{pentru orice } x\in A, \]
și că orice număr mai mare decât \(i\) încetează să mai fie un minorant al lui \(A\).
În mod echivalent, \(i=\inf A\) dacă și numai dacă \(i\) este un minorant al lui \(A\) și, pentru orice \(\varepsilon>0\), există cel puțin un element \(x\in A\) astfel încât
\[ i\leq x<i+\varepsilon. \]
Diferența dintre maxim și marginea superioară
Maximul, dacă există, este un element al mulțimii. Marginea superioară, în schimb, poate să nu aparțină mulțimii.
De exemplu, pentru intervalul
\[ A=(0,1) \]
avem
\[ \sup A=1, \qquad \inf A=0. \]
Totuși,
\[ 1\notin A \qquad \text{și} \qquad 0\notin A. \]
Prin urmare, \(A\) nu are nici maxim, nici minim.
Acest exemplu arată că marginea superioară și marginea inferioară sunt noțiuni mai generale decât maximul și minimul.
Axioma completitudinii lui \(\mathbb R\)
Putem acum să enunțăm proprietatea fundamentală a numerelor reale.
Axioma completitudinii lui \(\mathbb R\). Orice submulțime nevidă și majorată a lui \(\mathbb R\) admite margine superioară în \(\mathbb R\).
În simboluri, dacă \(A\subseteq\mathbb R\), \(A\neq\varnothing\) și \(A\) este majorată, atunci există un număr real \(s\in\mathbb R\) astfel încât
\[ s=\sup A. \]
Această axiomă afirmă că, pe dreapta reală, orice mulțime nevidă care posedă cel puțin un majorant posedă și cel mai mic dintre majoranții săi.
Completitudinea lui \(\mathbb R\) poate fi, prin urmare, exprimată spunând că în \(\mathbb R\) nu lipsesc marginile superioare ale mulțimilor nevide și majorate.
Formă echivalentă cu marginea inferioară
Axioma completitudinii poate fi formulată și prin intermediul marginii inferioare.
Orice submulțime nevidă și minorată a lui \(\mathbb R\) admite margine inferioară în \(\mathbb R\).
În simboluri, dacă \(A\subseteq\mathbb R\), \(A\neq\varnothing\) și \(A\) este minorată, atunci există un număr real \(i\in\mathbb R\) astfel încât
\[ i=\inf A. \]
Cele două formulări sunt echivalente. Într-adevăr, existența marginilor superioare permite să se obțină existența marginilor inferioare aplicând axioma mulțimii opuse
\[ -A=\{-x:x\in A\}. \]
În particular, dacă \(A\) este minorată, atunci
\[ \inf A=-\sup(-A). \]
De ce se vorbește despre o axiomă?
Se vorbește despre o axiomă deoarece completitudinea nu poate fi dedusă numai din proprietățile algebrice și de ordine pe care numerele raționale le posedă deja.
Și \(\mathbb Q\) este un corp ordonat: numerele raționale pot fi adunate, înmulțite și comparate. Totuși, \(\mathbb Q\) nu este complet.
Proprietatea care deosebește \(\mathbb R\) de \(\mathbb Q\) este tocmai existența marginii superioare pentru orice mulțime reală nevidă și majorată.
Semnificația axiomei completitudinii
Axioma completitudinii afirmă că, dacă o mulțime reală este nevidă și nu poate depăși un anumit prag, atunci există un prag minim care o cuprinde de sus.
Acest prag minim este marginea superioară.
Pentru a înțelege semnificația axiomei, să ne imaginăm o mulțime \(A\subseteq\mathbb R\) formată din puncte așezate pe dreapta reală. Dacă \(A\) este majorată, atunci toate punctele sale se află la stânga a cel puțin unui număr real.
Axioma completitudinii garantează că, dintre toți acești majoranți, există unul cel mai mic. Cu alte cuvinte, există un număr real care reprezintă exact marginea superioară a mulțimii.
Această margine poate să aparțină sau să nu aparțină mulțimii.
Dacă aparține mulțimii, coincide cu maximul. Dacă nu aparține mulțimii, este totuși prezentă pe dreapta reală ca margine superioară.
Exemplu: interval închis
Să considerăm intervalul
\[ A=[0,1]. \]
Mulțimea \(A\) este nevidă și majorată.
Marginea sa superioară este
\[ \sup A=1. \]
În acest caz \(1\in A\), așa că marginea superioară este și maxim:
\[ \max A=1. \]
Exemplu: interval deschis
Să considerăm acum intervalul
\[ A=(0,1). \]
Și această mulțime este nevidă și majorată.
Marginea sa superioară este tot
\[ \sup A=1. \]
Totuși, \(1\notin A\), așa că \(A\) nu are maxim.
Axioma completitudinii garantează totuși existența marginii superioare, chiar și atunci când aceasta nu aparține mulțimii.
Punctul esențial
Punctul esențial este următorul: completitudinea nu afirmă că orice mulțime mărginită are maxim sau minim.
Ea afirmă, în schimb, că orice mulțime nevidă și majorată are margine superioară, iar orice mulțime nevidă și minorată are margine inferioară.
Această distincție este fundamentală. Maximul trebuie să aparțină mulțimii; marginea superioară, în schimb, poate să nu îi aparțină.
Exemple de aplicare a axiomei completitudinii
Să vedem acum câteva exemple care arată cum axioma completitudinii garantează existența marginii superioare chiar și atunci când mulțimea nu posedă maxim.
Exemplul 1: un interval deschis
Să considerăm mulțimea
\[ A=(0,1). \]
Mulțimea \(A\) este nevidă și majorată. De exemplu, \(1\) este un majorant al lui \(A\), deoarece
\[ x\leq 1 \qquad \text{pentru orice } x\in A. \]
Conform axiomei completitudinii, \(A\) admite margine superioară în \(\mathbb R\). În acest caz
\[ \sup A=1. \]
Totuși, \(1\notin A\), așa că \(A\) nu are maxim.
Acest exemplu arată că axioma completitudinii nu garantează existența maximului, ci existența marginii superioare.
Exemplul 2: mulțimea pătratelor mai mici decât \(2\)
Să considerăm mulțimea
\[ A=\{x\in\mathbb R:x^2<2\}. \]
Această mulțime este nevidă, deoarece \(0\in A\). În plus, este majorată: de exemplu, \(2\) este un majorant al lui \(A\).
Conform axiomei completitudinii, există
\[ \sup A. \]
În acest caz avem
\[ \sup A=\sqrt{2}. \]
Într-adevăr, \(\sqrt{2}\) este un majorant al lui \(A\), deoarece dacă \(x^2<2\), atunci \(x<\sqrt{2}\). În plus, niciun număr mai mic decât \(\sqrt{2}\) nu poate fi un majorant, deoarece există elemente ale lui \(A\) oricât de apropiate de \(\sqrt{2}\) dinspre stânga.
Acest exemplu pune în evidență rolul esențial al numerelor reale: numărul \(\sqrt{2}\), care lipsește în \(\mathbb Q\), există în \(\mathbb R\) și poate fi recunoscut drept marginea superioară a unei mulțimi.
Exemplul 3: o mulțime fără maxim
Să considerăm mulțimea
\[ A=\left\{1-\frac{1}{n}:n\in\mathbb N,\ n\geq 1\right\}. \]
Primele elemente ale mulțimii sunt
\[ 0,\frac{1}{2},\frac{2}{3},\frac{3}{4},\ldots \]
Mulțimea este nevidă și majorată. Într-adevăr, fiecare element al său este mai mic decât \(1\).
Conform axiomei completitudinii, \(A\) posedă margine superioară. În acest caz
\[ \sup A=1. \]
Însă \(1\notin A\), deoarece nu există niciun \(n\in\mathbb N\) astfel încât
\[ 1-\frac{1}{n}=1. \]
Prin urmare, \(A\) nu are maxim.
Acest exemplu este important deoarece prezintă o mulțime discretă, formată dintr-o infinitate de puncte izolate, care se apropie nelimitat de o valoare exterioară mulțimii.
Completitudinea lui \(\mathbb R\) și șiruri
Completitudinea lui \(\mathbb R\) poate fi exprimată și prin intermediul șirurilor. Una dintre cele mai importante formulări este criteriul lui Cauchy.
Un șir \((x_n)\) de numere reale se numește șir Cauchy dacă termenii săi devin oricât de apropiați unii de alții pe măsură ce indicii cresc.
În simboluri, \((x_n)\) este șir Cauchy dacă, pentru orice \(\varepsilon>0\), există \(N\in\mathbb N\) astfel încât, pentru orice \(m,n\geq N\), avem
\[ |x_n-x_m|<\varepsilon. \]
Ideea este că un șir Cauchy nu necesită cunoașterea în prealabil a limitei sale: el descrie un șir ai cărui termeni se stabilizează tot mai mult unii în raport cu alții.
Completitudinea prin șiruri Cauchy
Completitudinea lui \(\mathbb R\) poate fi formulată astfel:
Orice șir Cauchy de numere reale converge către un număr real.
În simboluri, dacă \((x_n)\subseteq\mathbb R\) este un șir Cauchy, atunci există \(x\in\mathbb R\) astfel încât
\[ x_n\to x. \]
Această proprietate este o altă formă a completitudinii lui \(\mathbb R\). Ea arată că, dacă un șir real se comportă ca și cum ar trebui să conveargă, atunci limita sa există cu adevărat în \(\mathbb R\).
De ce \(\mathbb Q\) nu este complet din punctul de vedere al șirurilor
În raționale acest lucru nu se întâmplă. Există șiruri de numere raționale care sunt Cauchy, dar care nu converg către niciun număr rațional.
De exemplu, putem considera un șir de aproximări raționale ale lui \(\sqrt{2}\):
\[ 1,\ 1{,}4,\ 1{,}41,\ 1{,}414,\ 1{,}4142,\ldots \]
Acest șir este format din numere raționale, iar termenii săi se apropie tot mai mult unii de alții. El converge, în \(\mathbb R\), către
\[ \sqrt{2}. \]
Totuși,
\[ \sqrt{2}\notin\mathbb Q. \]
Așadar, privit ca șir în \(\mathbb Q\), el nu converge către niciun număr rațional.
Aceasta arată că \(\mathbb Q\) nu este complet: conține șiruri care ar trebui să conveargă, dar a căror limită cade în afara lui \(\mathbb Q\).
Legătura cu axioma marginii superioare
Axioma marginii superioare și completitudinea prin șiruri Cauchy sunt două formulări diferite ale aceleiași proprietăți fundamentale a numerelor reale.
Axioma marginii superioare afirmă că mulțimile reale nevide și majorate au o margine superioară reală.
Completitudinea prin șiruri Cauchy afirmă, în schimb, că orice proces de aproximare internă în reale converge către un număr real.
Ambele formulări exprimă aceeași idee: pe dreapta reală nu lipsesc punctele-limită necesare pentru a încheia procesele de aproximare.
Consecințe fundamentale ale completitudinii lui \(\mathbb R\)
Completitudinea lui \(\mathbb R\) nu este o proprietate izolată. Multe teoreme fundamentale ale analizei reale depind tocmai de faptul că dreapta reală nu are goluri.
Să vedem câteva dintre cele mai importante consecințe.
Existența marginilor superioare și inferioare
Cea mai directă consecință este existența marginilor superioare și inferioare.
Dacă \(A\subseteq\mathbb R\) este nevidă și majorată, atunci există
\[ \sup A\in\mathbb R. \]
Dacă \(A\subseteq\mathbb R\) este nevidă și minorată, atunci există
\[ \inf A\in\mathbb R. \]
Această proprietate permite să se lucreze cu mulțimi care nu posedă maxim sau minim, dar care au totuși o margine superioară sau inferioară bine definită.
Teorema intervalelor incluse
O altă consecință a completitudinii este teorema intervalelor incluse.
Dacă
\[ I_n=[a_n,b_n], \qquad n\in\mathbb N, \]
este un șir de intervale închise, mărginite și incluse unul în altul, adică
\[ I_1\supseteq I_2\supseteq I_3\supseteq \cdots, \]
atunci intersecția lor este nevidă:
\[ \bigcap_{n=1}^{+\infty} I_n\neq\varnothing. \]
Dacă, în plus, lungimea intervalelor tinde către \(0\), adică
\[ b_n-a_n\to 0, \]
atunci intersecția conține un singur punct.
Acest rezultat depinde de completitudine: într-o mulțime necompletă, un șir de intervale incluse se poate „strânge” în jurul unui punct care lipsește.
Teorema Bolzano-Weierstrass
Completitudinea stă, de asemenea, la baza teoremei Bolzano-Weierstrass.
Această teoremă afirmă că orice șir real mărginit admite un subșir convergent.
În simboluri, dacă \((x_n)\) este un șir mărginit de numere reale, atunci există un subșir \((x_{n_k})\) și un număr real \(x\in\mathbb R\) astfel încât
\[ x_{n_k}\to x. \]
Punctul esențial este că limita subșirului aparține în continuare lui \(\mathbb R\). Acest lucru este posibil deoarece \(\mathbb R\) este complet.
Criteriul de convergență al lui Cauchy
O consecință fundamentală a completitudinii este criteriul de convergență al lui Cauchy.
Un șir real converge dacă și numai dacă este un șir Cauchy.
În simboluri:
\[ (x_n) \text{ converge în } \mathbb R \quad \Longleftrightarrow \quad (x_n) \text{ este Cauchy}. \]
Implicația de la stânga la dreapta este valabilă în orice spațiu metric: orice șir convergent este Cauchy.
Implicația reciprocă, în schimb, este o proprietate de completitudine: în \(\mathbb R\), orice șir Cauchy converge către un număr real.
Teoreme de existență în analiză
Multe rezultate de existență din analiză se bazează, direct sau indirect, pe completitudinea lui \(\mathbb R\).
De exemplu, completitudinea stă la baza teoremei lui Weierstrass, a teoremei lui Bolzano, a teoremei valorilor intermediare și a mai multor rezultate privind convergența șirurilor și a seriilor.
În toate aceste cazuri, ideea de fond este aceeași: se construiește un obiect prin aproximări succesive, iar completitudinea garantează că obiectul-limită există cu adevărat în \(\mathbb R\).
Recapitulare finală
Completitudinea lui \(\mathbb R\) este proprietatea care deosebește numerele reale de numerele raționale. Ea exprimă faptul că dreapta reală nu prezintă goluri.
Cea mai clasică formulare a completitudinii este axioma marginii superioare:
orice submulțime nevidă și majorată a lui \(\mathbb R\) posedă margine superioară în \(\mathbb R\).
În simboluri, dacă \(A\subseteq\mathbb R\), \(A\neq\varnothing\) și \(A\) este majorată, atunci există
\[ \sup A\in\mathbb R. \]
În mod echivalent, orice submulțime nevidă și minorată a lui \(\mathbb R\) posedă margine inferioară în \(\mathbb R\).
Completitudinea nu afirmă că orice mulțime mărginită are maxim sau minim. Ea afirmă, în schimb, că orice mulțime nevidă și majorată are o margine superioară, chiar și atunci când această margine nu aparține mulțimii.
Mulțimea numerelor raționale \(\mathbb Q\) nu este completă: există mulțimi raționale nevide și majorate care nu au margine superioară rațională. Un exemplu fundamental este mulțimea raționalelor \(q\) cu proprietatea \(q^2<2\), a cărei margine superioară reală este \(\sqrt{2}\), care nu aparține lui \(\mathbb Q\).
Completitudinea lui \(\mathbb R\) poate fi exprimată și sub formă secvențială: orice șir Cauchy de numere reale converge către un număr real.
Această proprietate stă la baza multor rezultate fundamentale ale analizei matematice, printre care teorema intervalelor incluse, teorema Bolzano-Weierstrass, criteriul de convergență al lui Cauchy și numeroase teoreme de existență.
În concluzie, completitudinea este ceea ce face din \(\mathbb R\) cadrul natural al analizei: orice proces de aproximare bine definit își găsește limita în interiorul dreptei reale.