Sebelumnya didefinisikan terlebih dahulu separasi pada dan ditulis dikatakan separasi pada  jika

, pasangan himpunan terbuka dan , . Separasi

dikatakan trivial jika salah satu dari himpunan terbuka ( , sebaliknya dikatakan non trivial jika

merupakan himpunan Kosong , dan keduanya tidak

separasi pada

kosong, dan keduanya terbuka sekaligus tertutup.

dikatakan terhubung jika tidak terdapat

separasi non trivial pada . untuk selanjutnya separasi non trivial ditulis separasi saja. Teorema. Garis bilangan real Bukti: andaikan terhubung . selanjutnya diambil . Jadi
  dan

mengurangi perumuman diasumsikan dibentuk himpunan ,

separasi pada

, tanpa . selanjutnya

interval tertutup di

Perhatikan bahwa kompak maka kontinu dengan maka dan

dan

merupakan himpunan bagian tertutup dari juga Kompak, oleh karena itu
dan

, karena

kompak. Didefinisikan fungsi

untuk setiap

. Oleh karena

kompak

tertutup dan terbatas sehingga mempunyai batas bawah terbesar, katakan merupakan batas bawah terbesar . Dipilih
diperoleh :

. Berarti terdapat

dan

sehingga

Dan

Sehingga

tidak berada di dalam

maupun , kontradiksi dengan terhubung.

 

separasi pada , jadi

yang benar tidak terdapat separasi pada , dengan kata lain Akibat. Setiap interval terbuka Teorema. Jika terhubung dan terhubung. dengan

maka E terhubung.

Bukti: Ambil sebarang U|V separasi pada E, maka

merupakan separasi pada C.

karena C terhubung maka salah satu dari keduanya haruslah kosong, tanpa mengurangi perumuman katakan Perhatikan bahwa terhubung. Definisi 1. Diberikan f
 

, maka

sehingga

. Dari yang diketahui diperoleh

dengan kata lain U|V trivial, E



, f dikatakan kontinu darboux jika untuk setiap setiap



dengan

sehingga

dan .

di

antara

dan

ada

Definisi kontinu darboux ini ekuivalen dengan definisi sifat nilai tengah (intermediate value property) yang berlaku pada semua fungsi kontinu, oleh karena itu setiap fungsi yang kontinu selalu kontinu Darboux, akan tetapi tidak berlaku sebaliknya. Fungsi yang kontinu Darboux belum tentu kontinu. Contoh 2. Diberikan fungsi
  yang didefinisikan sebagai berikut:  


Fungsi f jelas fungsi kontinu Darboux tetapi fungsi f tidak kontinu di 0. Selanjutnya akan ditunjukkan beberapa kondisi yang ekuivalen berkaitan dengan fungsi kontinu Darboux. Teorema 3. Diberikan i. f kontinu Darboux iii. untuk setiap sub interval tertutup Ambil sebarang  ii. untuk setiap himpunan terhubung terhubung
 terhubung dan 

Tiga pernyataan berikut ini ekuivalen:

Bukti :


dalam
 

, karena f kontinu darboux maka untuk setiap  sehingga . Oleh karena itu

 katakan

ujung f(p) dan f(q), jadi f(C) interval. f(C) terhubung. terhubung. Jelas  Ambil sebarang interval tertutup terhubung.

 memuat interval tertutup dengan titik

di antara

berarti

terdapat

karena

interval berarti

karena

Ambil sebarang

f kontinu Darboux.

terhubung berarti 





dan ambil sebarang c diantara . berarti terdapat 



sehingga

dan 

dan 

Teorema 4. Diberikan f dan

   kontinu Darboux. 

kontinu Darboux, maka:

 ).

, Diberikan

  di mana C terhubung

i. ii.

kontinu Darboux ( untuk setiap k

 kontinu Darboux.. 

iii. untuk Bukti :



i. Ambil sebarang s di antara setiap

 

di antara

dan dan

dan

s di antara

sehingga

, oleh karena


, katakan

) dan sebarang

kontinu darboux berarti terdapat sehingga kontinu darboux maka untuk

dan

. Karena

ii. Ambil sebarang  katakan berarti terdapat iii. Ambil sebarang  katakan kontinu Darboux.

sehingga

dengan


ini terdapat ,

dengan sehingga  maka 

dan setiap

 kontinu Darboux. dan 

 di antara

. Jadi untuk ada

 di antara

dan . Jadi 

Darboux berarti terdapat

kontinu Darboux.

dengan

maka

dan 

, di peroleh

, karena f kontinu Darboux

di antara

sehingga

, di peroleh
  

, karena

dan 

kontinu

. Jadi

terhubung maka f kontinu Darboux. dan ada c di antara dan

Teorema 5. Diberikan 

dan himpunan

, jika ( katakan

Bukti: Andaikan f tidak kontinu Darboux, berarti terdapat sehingga untuk setiap

Didefinisikan himpunan sebagai berikut:

berakibat

tidak kosong. Jadi 

Perhatikan bahwa himpunan A dan B keduanya terbuka,

tidak terhubung. Kontradiksi, Jadi yang benar f kontinu Darboux.

dan 

Teorema 6. Setiap fungsi Bukti : Diberikan

 dan

 merupakan jumlahan dari dua fungsi kontinu Darboux.  

fungsi yang memenuhi sebagai berikut :

  
selanjutnya 

untuk setiap

interval I. Didefinisikan fungsi

dibentuk fungsi

himpunan



didefinisikan





 

Dan


merupakan jumlahan dari 2 fungsi kontinu Darboux.

perhatikan bahwa



dan

merupakan fungsi Kontinu darboux dan

. Jadi