Proprietatea lui Darboux

De la testwiki
Versiunea din 6 august 2023 12:21, autor: imported>Turbojet (wl)
(dif) ← Versiunea anterioară | Versiunea curentă (dif) | Versiunea următoare → (dif)
Sari la navigare Sari la căutare

În analiza matematică, o funcție definită pe un interval al mulțimii numerelor reale și cu valori în aceasta are proprietatea lui Darboux[1] atunci când nu poate trece de la o valoare la alta fără a trece prin toate valorile intermediare. O astfel de funcție se mai numește și funcție Darboux. Denumirea reprezintă un omagiu adus matematicianului francez Jean Gaston Darboux, cel care a demonstrat că există funcții cu proprietatea lui Darboux care sunt discontinue[2]. Funcțiile Darboux pot fi chiar discontinue în orice punct[3].

Definiție, rezultate fundamentale

O funcție f:I, unde I este un interval nevid, are proprietatea lui Darboux dacă pentru orice numere a,bI, cu ab, și y[min{f(a),f(b)},max{f(a),f(b)}] există (cel puțin) un număr x[a,b] astfel încât f(x)=y.

Orice funcție continuă, definită pe un interval, are proprietatea lui Darboux[4]. Rezultatul este întâlnit în literatură și sub denumirea de teorema valorii intermediare.

O funcție f:I, unde I este un interval nevid, are proprietatea lui Darboux dacă și numai dacă transformă orice subinterval JI într-un interval, f(J)[5].

O funcție are proprietatea lui Darboux dacă și numai dacă transformă orice submulțime conexă a intervalului său de definiție într-o mulțime conexă[6].

O funcție f:I, unde I este un interval nevid, care este bijectivă și are proprietatea lui Darboux este strict monotonă[7].

Dacă o funcție Darboux este discontinuă, atunci discontinuitățile sale sunt de speța a doua. Un exemplu de funcție Darboux discontinuă este dat de f:, cu formula f(x)={sin1x,x0,0,x=0, unde x.

Derivata f a unei funcții derivabile f:I, unde I este un interval nevid, are proprietatea lui Darboux[8]. Rezultatul este întâlnit în literatură și sub denumirea de teorema lui Darboux.

Dacă o funcție admite primitive, atunci ea este funcție Darboux.

Note

  1. Nicolescu et al, p. 225
  2. Darboux
  3. Bruckner, Ceder
  4. Nicolescu et al, p. 224
  5. Nicolescu et al, p. 226
  6. Nicolescu et al, p. 227
  7. Nicolescu et al, ibid.
  8. Nicolescu et al, p. 291

Bibliografie

Format:Refbegin

Format:Refend