Bolzano–Darboux-tétel

A Wikipédiából, a szabad lexikonból.

A Bolzano–Darboux-tétel az analízisben a Bolzano-tétel egyenes következménye. Azt mondja ki, hogy minden folytonos függvény Darboux-tulajdonságú. Néha a tételt Darboux-tételnek nevezik, ami félreérthető, de ezt a nevet inkább az az állítás viseli, hogy egy zárt intervallumban mindenütt differenciálható függvény deriváltja Darboux-tulajdonságú.

[szerkesztés] A tétel

Ha f:R $\mapsto$ R folytonos függvény^[1], akkor minden, az értelmezési tartományában lévő I intervallum esetén f(I) is intervallum.

A tételt úgy is megfogalmazhatjuk, hogy ha f: [a,b] $\rightarrow$ R folytonos függvény és f(a) ≠ f(b), akkor tetszőleges f(a) és f(b) közötti y értékhez létezik olyan x ∈ (a,b), hogy f(x) = y. (Az egyenértékű megfogalmazásra vonatkozóan lásd: Darboux-tulajdonság.)

[szerkesztés] Bizonyítás

Előrebocsátjuk, hogy a H ⊆ R halmaz pontosan akkor intervallum, ha minden a,b ∈ H esetén az (a,b) nyílt intervallum része H-nak. Belátjuk, hogy f(I) ilyen tulajdonságú.

Legyenek az y₁ és y₂ f(I)-beli pontok olyanok, hogy y₁ < y₂. Világos, hogy léteznek olyan I beli x₁ és x₂ pontok, hogy y₁=f(x₁) és y₂=f(x₂). Mivel f függvény és y₁ ≠ y₂, ezért x₁ ≠ x₂. Az általánosság megszorítása nélkül feltehető, hogy x₁ < x₂ (ellenkező esetben nevezzük át őket úgy, hogy teljesüljön a reláció).

A nyílt (y₁,y₂) intervallum része f(I)-nek, ugyanis legyen y ∈ (y₁,y₂) tetszőleges. Ezzel a ponttal definiáljuk a zárt intervallumon értelmezett

$f_y:[x_1,x_2];x\mapsto f(x)-y$

leképezést. Ez folytonos, f_y(x₁)=y₁-y<0 és f_y(x₂)=y₂-y>0, így a Bolzano tétele szerint létezik zérushelye, mégpedig ez csak a nyílt (x₁,x₂) intervallumban lehet. Ha viszont x ∈ (x₁,x₂), olyan, hogy f_y(x) = 0, akkor f(x)-y=0 és

$y=f(x)\,$

s mivel y tetszőleges volt, ezért az egész nyílt intervallum része f(I)-nek.

Természetesen y₁=f(x₁) és y₂=f(x₂) miatt a zárt intervallum is része f(I)-nek. QED

[szerkesztés] Általánosítás

Tetszőleges $T 1$ és $T 2$ topologikus terek esetén ha $f$ : $T 1$ $\rightarrow$ $T 2$ folytonos és $C$ ⊆ $T 1$ összefüggő, akkor $f$ ( $C$ ) is összefüggő. Figyelembe vége, hogy egy $C$ ⊆ R halmaz pontosan akkor összefüggő az euklideszi metrika szerint, ha $C$ intervallum, ez valóban a fenti tétel általánosítása.