Fungsi kontinu

Dalam matematika, **fungsi kontinu** adalah jenis fungsi yang perubahan secara kontinu (sinambung, tanpa terpotong) pada variabel fungsi mengakibatkan perubahan kontinu pada nilai keluaran fungsi. Hal ini mengartikan nilai fungsi tidak pernah mengalami perubahan yang mendadak/tiba-tiba. Gagasan intuitif kekontinuan mengilustrasikan fungsi kontinu sebagai fungsi yang grafiknya dapat digambar tanpa mengangkat kapur dari papan tulis. Secara lebih teknis, fungsi dikatakan kontinu jika perubahan kecil pada nilai fungsi dapat dipastikan cukup dengan membuat perubahan kecil pada variabelnya. Fungsi yang *tidak kontinu* dikatakan **fungsi takkontinu** atau **fungsi diskontinu**. Sampai pada abad ke-19, matematikawan sangat mengandalkan konsep kekontinuan yang intuitif. Hal ini berubah sejak definisi epsilon-delta dari limit diperkenalkan untuk memformalkan definisi kekontinuan.

Kekontinuan adalah salah satu konsep inti dalam kalkulus dan analisis matematika, yang membahas fungsi dengan keluaran maupun variabelnya dapat berupa bilangan real atau kompleks. Konsep kekontinuan juga diperumum untuk fungsi antar ruang metrik dan antar ruang topologis. Fungsi jenis terakhir adalah fungsi kontinu yang paling umum, dan definisinya menjadi dasar ilmu topologi.

Sebagai contoh, fungsi *h*(*t*) yang memerikan tinggi bunga yang sedang tumbuh pada waktu *t* dapat dianggap fungsi kontinu, sebagaimana telah menjadi pandangan dalam filsafat alam, bahwa alam tidak meloncat, segala perubahan di alam dianggap terjadi secara lambatlaun dalam ruang-waktu. Sebaliknya, jika fungsi *M*(*t*) melambangkan jumlah uang di sebuah rekening bank pada waktu *t*, nilai fungsi ini akan "melompat" ketika uang disimpan atau ditarik. Hal ini menyebabkan *M*(*t*) adalah fungsi diskontinu.

## Sejarah

Suatu bentuk definisi epsilon-delta untuk kekontinuan pertama kali diberikan oleh Bernard Bolzano pada tahun 1817. Augustin-Louis Cauchy mendefinisikan kekontinuan y=f(x) sebagai berikut: perubahan yang tak hingga kecilnya pada nilai \alpha dari variabel bebas x, akan selalu menghasilkan perubahan yang tak hingga kecilnya pada nilai f(x+\alpha)-f(x) dari variabel terikat y (lihat *[[Cours d'Analyse]]*, hal.&nbsp;34). Cauchy mendefinisikan besaran yang sangat kecil dalam bentuk besaran variabel, dan definisinya tentang kontinuitas sangat mirip dengan definisi infinitesimal yang digunakan saat ini (lihat mikrokontinuitas).

Definisi formal dan perbedaan antara kekontinuan bagian-demi-bagian (*pointwise*) dengan kekontinuan seragam pertama kali dinyatakan oleh Bolzano pada tahun 1830-an, tetapi karya tersebut tidak dipublikasikan sampai tahun 1930-an. Sama seperti Bolzano, Karl Weierstrass menolak mengganggap fungsi bersifat kontinu di suatu titik c jika nilai fungsi tersebut tidak terdefinisi di c dan di kedua sisi titik itu. Tetapi Édouard Goursat memperbolehkan fungsi untuk hanya didefinisikan di c dan di salah satu sisinya. Sedangkan Camille Jordan bertindak jauh dengan mengizinkan fungsi bersifat kontinu bahkan jika fungsi hanya terdefinisi di titik c. Ketiga definisi yang berbeda tentang kekontinuan bagian-demi-bagian itu masih digunakan saat ini. Terbitan oleh Eduard Heine pada tahun 1872 memberikan definisi pertama mengenai kekontinuan seragam, tetapi gagasan itu didasarkan pada kuliah yang diberikan oleh Peter Gustav Lejeune Dirichlet pada tahun 1854.

## Fungsi real

### Definisi

Sebuah fungsi real, yakni fungsi yang memetakan bilangan real ke bilangan real, dapat dinyatakan sebagai sebuah grafik pada bidang Kartesius. Secara informal, fungsi tersebut dikatakan kontinu jika grafik dari fungsi tersebut berupa satu kurva utuh dengan domainnya adalah seluruh garis bilangan. Definisi matematis yang lebih tegas (*rigor*) diberikan pada bagian artikel di bawah. Secara sederhana, kekontinuan fungsi real umumnya didefinisikan dalam bentuk limit. Sebuah fungsi f dengan variabel x dikatakan *kontinu di* bilangan real c, jika limit dari f(x) ketika x menuju c, akan sama dengan f(c).

Terdapat beberapa definisi berbeda mengenai kekontinuan (secara global) dari fungsi, yang bergantung dari bentuk domain fungsi tersebut. Sebuah fungsi dikatakan kontinu pada selang buka jika selang tersebut berada dalam domain fungsi, dan jika fungsi kontinu di setiap titik di selang tersebut. Fungsi yang kontinu pada selang (-\infty, +\infty) (yakni seluruh garis bilangan) umumnya cukup disebut sebagai *fungsi kontinu*; sebagian menyebut fungsi tersebut *kontinu dimanapun*. Sebagai contoh, semua fungsi polinomial kontinu di manapun. Sebuah fungsi dikatakan kontinu pada selang semi-buka atau pada selang tutup, jika selang tersebut berada dalam domain fungsi, fungsi kontinu di setiap titik dalam (interior) di selang tersebut, dan nilai fungsi pada ujung selang sama dengan nilai limit fungsi ketika variabel fungsi tersebut mendekati ujung selang dari sisi dalam selang. Sebagai contoh, fungsi f(x) = \sqrt{x} kontinu pada selang tutup-buka [0,+\infty); karena selang tersebut berada dalam domain fungsi (lebih tepatnya, selang tersebut *adalah* domain dari fungsi), fungsi kontinu di setiap titik di (0,+\infty), dan nilai f(0) sama dengan nilai \lim f(x) ketika x\to0 dari arah kanan.

Sebuah fungsi dikatakan *takkontinu* pada suatu titik, jika titik tersebut berada di ketertutupan (''closure)'' dari domainnya, dan jika titik tersebut bukan bagian domain fungsi atau fungsi tidak kontinu pada titik tersebut. Sebagai contoh, fungsi x\mapsto \frac {1}{x} dan x\mapsto \sin(\frac {1}{x}) takkontinu di x=0, dan tetap takkontinu bahkan ketika nilai fungsi di titik tersebut didefinisikan. Titik di mana fungsi takkontinu disebut titik *ketakkontinuan* atau *diskontinuitas*.

Banyak fungsi yang ditemui umumnya memiliki domain berupa seluruh bilangan real, kecuali untuk beberapa titik pencil. Contoh fungsi jenis ini adalah fungsi x \mapsto \frac {1}{x} dan x\mapsto \tan x. Ketika dibahas dalam konteks domain mereka, fungsi jenis ini dapat dikatakan kontinu, walaupun tidak kontinu di manapun. Dalam konteks lain, khususnya perilaku fungsi di sekitar titik-titik istimewa seperti x=0 untuk x \mapsto \frac {1}{x}, fungsi jenis ini termasuk fungsi takkontinu.

Menggunakan notasi matematika, ada beberapa cara untuk mendefinisikan fungsi kontinu berdasarkan tiga sudut pandang yang disebutkan di atas. Untuk itu, misalkanf : D \to \R \quadadalah fungsi yang terdefinisi pada suatu subset  D  dari himpunan bilangan real \R. Subset  D  ini adalah domain dari  f . Ketiga sudut pandang kekontinuan ada pada bentuk domain:

* D = \R , yakni  D  adalah keseluruhan himpunan bilangan real; atau untuk suatu bilangan real a dan b,
* D = [a, b] = \{x \in \R \mid a \leq x \leq b \} :  D  berupa selang tutup, atau
* D = (a, b) = \{x \in \R \mid a :  D  berupa selang buka.

Pada kasus domain D didefinisikan sebagai suatu selang buka, titik a dan b tidak berada di D, dan nilai dari f(a) dan f(b) tidak memengaruhi kekontinuan fungsi pada D.

#### Definisi menggunakan bentuk limit fungsi
Fungsi  f  dikatakan *kontinu di titik* c di domainnya, jika limit dari f(x) ketika x menuju c melalui domain f, ada nilainya dan sama dengan f(c). Dalam notasi matematika, hal ini ditulis sebagai\lim_{x \to c}{f(x)} = f(c).Definisi ini berlaku bagi ketiga sudut pandang. Secara teknis, terdapat tiga hal yang perlu dipenuhi agar fungsi bersifat kontinu. Pertama, f perlu terdefinisi di c (sudah dijamin karena c berada di domain f). Kedua, nilai limit pada sisi kiri persamaan di atas harus ada. Ketiga, nilai dari limit ini harus sama dengan f(c). Dalam definisi ini, diasumsikan bahwa domain dari  f  tidak memiliki titik-titik pencil.

#### Definisi menggunakan lingkungan
Sebuah lingkungan dari suatu titik c adalah himpunan yang berisi, setidaknya, semua titik yang jaraknya dengan c sama besar. Secara intuitif, sebuah fungsi bersifat kontinu di titik c jika semua lingkungan (yang merupakan subset dari citra f) dari c akan mengecil menjadi sebuah titik f(c), ketika lebar lingkungan dari c mengecil ke nol. Menyatakan dengan lebih rinci, sebuah fungsi f kontinu di titik c di domainnya, jika untuk sembarang lingkungan N_1(f(c)) ada suatu lingkungan N_2(c) di domain fungsi tersebut, sehingga f(x) \in N_1(f(c)) kapanpun x\in N_2(c).

Definisi ini hanya memerlukan domain dan kodomainnya merupakan ruang topologis, menjadikannya definisi yang paling umum. Dari definisi ini disimpulkan fungsi f secara otomatis bersifat kontinu di setiap titik pencil fungsi tersebut. Sebagai contoh spesifik, semua fungsi bernilai real dengan domain himpunan bilangan bulat adalah fungsi kontinu.

#### Definisi menggunakan limit barisan

Fungsi kontinu juga dapat didefinisikan dengan mengharuskan semua barisan (x_n)_{n \in \N} dari titik-titik di domain fungsi, yang konvergen ke titik c, akan menyebabkan barisan \left(f(x_n)\right)_{n\in \N} konvergen ke f(c). Dalam notasi matematika, definisi ini dapat dituliskan sebagai,\forall (x_n)_{n \in \N} \subset D:\lim_{n\to\infty} x_n = c \Rightarrow \lim_{n\to\infty} f(x_n) = f(c)\,.

#### Definisi menggunakan epsilon-delta

Dengan menyertakan secara eksplisit definisi limit fungsi ke dalam definisi kekontinuan, fungsi kontinu dapat dijelaskan tanpa perlu merujuk ke konsep limit. Dalam definisi ini, misalkan sebuah fungsi f : D \to \R yang didefinisikan pada bagian di atas, dan sebuah titik x_0 di domain D. Fungsi f dikatakan kontinu di titik x_0 jika kondisi berikut dipenuhi: Untuk setiap bilangan \varepsilon > 0, sekecil apapun itu, akan ada suatu bilangan \delta > 0 sehingga untuk semua x di D dengan x_0 - \delta  berlakuf\left(x_0\right) - \varepsilon Definisi tersebut dapat ditulis ulang: fungsi f : D \to \mathbb{R} kontinu di x_0 \in D mengartikan untuk setiap \varepsilon > 0, ada sebuah \delta > 0 sehingga untuk semua x \in D:\left|x - x_0\right| Secara intuitif, jika seseorang ingin membuat semua nilai f(x) berada di dalam suatu lingkungan kecil di sekitar f\left(x_0\right), ia cukup memilih sebuah lingkungan yang cukup kecil bagi nilai x di sekitar titik x_0. Bila proses ini dapat dilakukan seberapapun kecilnya lingkungan untuk f(x), maka f kontinu di x_0.

Weierstrass mengharuskan selang x_0 - \delta  seluruhnya berada di dalam domain D, namun Jordan menunjukkan syarat ini dapat dihilangkan.

#### Definisi menggunakan fungsi kontrol
Dalam penulisan bukti dan analisis matematika, terkadang dibutuhkan pemahaman mengenai seberapa cepat limit suatu fungsi akan konvergen. Salah satu cara mengetahuinya adalah dengan mengontrol nilai selisih. Konsep ini dapat diformalkan menjadi sebuah definisi untuk kekontinuan. Sebuah fungsi C: [0,\infty) \to [0,\infty] disebut sebagai fungsi kontrol, jika

* C adalah fungsi tak-turun
* \inf_{\delta > 0} C(\delta) = 0

Sebuah f : D \to R dikatakan kontinu-C di x_0, jika untuk setiap x di D berlaku|f(x) - f(x_0)| \leq C\left(\left|x - x_0\right|\right)Sebuah fungsi f dikatakan kontinu di x_0 jika fungsi tersebut kontinu-C untuk suatu fungsi kontrol C. Pendekatan ini memungkinkan untuk memperlengkap konsep kekontinuan dengan menyertakan himpunan fungsi kontrol yang dipenuhi f. Untuk sebuah himpunan fungsi kontrol \mathcal C, sebuah fungsi disebut kontinu-\mathcal C jika fungsi tersebut kontinu-C untuk suatu C\in \mathcal C. Sebagai contoh, fungsi Lipschitz dan fungsi kontinu Hölder dengan pangkat  dapat didefinisikan dengan menggunakan himpunan fungsi kontrol\mathcal{C}_{\mathrm{Lipschitz}} = \{C : C(\delta) = K|\delta| ,\  K > 0\}Mirip dengan itu,\mathcal{C}_{\text{Hölder}-\alpha} = \{C : C(\delta) = K |\delta|^\alpha, \ K > 0\}.

### Membangun fungsi kontinu

Proses mengecek kekontinuan suatu fungsi dapat disederhanakan dengan memeriksa syarat-syarat kekontinuan pada bagian-bagian fungsi. Dapat dibuktikan bahwa penjumlahan dua fungsi yang kontinu pada suatu domain, akan menghasilkan fungsi yang juga kontinu pada domain tersebut. Misalkanf, g \colon D \to \R, hasil *penjumlahan fungsi-fungsi kontinu*s = f + gyang didefinisikan oleh s(x) = f(x) + g(x) untuk setiap x\in D, adalah sebuah fungsi kontinu di D. Sifat yang serupa juga berlaku untuk hasil *perkalian fungsi-fungsi kontinu*,p = f \cdot gyang didefinisikan oleh p(x) = f(x) \cdot g(x) untuk setiap x \in D, adalah sebuah fungsi kontinu di D. Dengan mengombinasikan kedua sifat tersebut, dapat dibuktikan bahwa semua fungsi polinomial di \R bersifat kontinu, sebagai contoh fungsi f(x) = x^3 + x^2 - 5 x + 3, dengan menggunakan fakta fungsi konstan dan fungsi identitas I(x) = x bersifat kontinu di \R.

Dengan menggunakan cara yang sama, dapat ditunjukkan bahwa hasil *kebalikan dari sebuah fungsi kontinu*r = 1/fyang didefinisikan oleh r(x) = 1/f(x) untuk setiap x \in D yang memenuhi f(x) \neq 0, adalah fungsi yang kontinu di D\setminus \{x : f(x) = 0\}. Hal ini mengakibatkan *fungsi pecahan dari fungsi-fungsi kontinu*q = f / gyang didefinisikan oleh q(x) = f(x)/g(x) untuk setiap x \in D yang memenuhi g(x) \neq 0, bersifat kontinu kecuali di akar-akar dari g(x). Domain dari q(x) adalah D\setminus \{x:g(x) = 0\}. Sebagai contoh, fungsi (lihat gambar)y(x) = \frac{2x-1}{x+2}terdefinisi dan kontinu untuk semua bilangan real x \neq -2, menyebabkan fungsi tersebut kontinu. Diskusi mengenai kekontinuan fungsi di titik x = -2 tidak muncul, karena x = -2 bukan anggota domain dari y. Tidak ada fungsi F : \R \to \R yang kontinu dan nilainya sama dengan y(x) untuk semua x \neq -2.

Contoh lain adalah fungsi G(x) = \sin(x)/x, yang terdefinisi dan kontinu untuk bilangan real x \neq 0. Tetapi, berbeda dengan contoh sebelumnya, fungsi G(x) *dapat* diperluas menjadi sebuah fungsi kontinu pada *semua* bilangan real. Hal ini dilakukan dengan *mendefinisikan* nilai G(0) sebagai 1, yakni nilai limit dari G(x) ketika x menuju 0. Dengan kata lain,G(0) = \lim_{x\to 0} \frac{\sin x}{x} = 1.Sehingga, dengan membuat


G(x) =
\begin{cases}
\frac {\sin (x)}x & \text{ jika }x \ne 0\\
1 & \text{ jika }x = 0,
\end{cases}


fungsi G(x) bersifat kontinu pada semua bilangan real. Istilah *ketakkontinuan terhapuskan* digunakan untuk menyebut titik takkontinu yang dapat didefinisikan (ulang) agar fungsi bersifat kontinu di titik tersebut.

Konstruksi fungsi kontinu yang lebih rumit melibatkan komposisi fungsi. Misalkan dua fungsi kontinug : D_g \subseteq \R \to R_g \subseteq \R \quad \text{ dan } \quad f : D_f \subseteq \R \to R_f \subseteq D_g,fungsi komposisi keduanya, yang dituliskan sebagai c = g \circ f : D_f \to R_g dan didefinisikan oleh c(x) = g(f(x)), adalah fungsi kontinu. Konstruksi ini dapat digunakan untuk membuktikan, sebagai contoh fungsi e^{\sin(\ln x)}, bersifat kontinu untuk semua x > 0.
### Contoh fungsi takkontinu

Sebuah contoh dari fungsi takkontinu adalah fungsi tangga Heaviside H, yang didefinisikan sebagai

: H(x) = \begin{cases}
1 & \text{ jika } x \ge 0\\
0 & \text{ jika } x 

Untuk mengetahui penyebab ketakkontinuan dari fungsi, pilih, sebagai contoh, nilai \varepsilon = 1/2. Tidak ada  sekitar x = 0, dalam kata lain tidak ada selang buka (-\delta,\;\delta) dengan \delta > 0, yang membuat semua nilai H(x) berada di dalam  sekitar H(0), yaitu selang (1-\tfrac{1}{2},\;1+\tfrac{1}{2}). Secara intuitif, titik ini adalah tipe ketakkontinuan berupa "loncatan" pada nilai fungsi.

Mirip dengan contoh sebelumnya, fungsi tanda atau fungsi signum,

: 
\sgn(x) = \begin{cases}
\;\;\ 1 & \text{ jika }x > 0\\
\;\;\ 0 & \text{ jika }x = 0\\
-1 & \text{ jika }x 

takkontinu di x = 0 namun kontinu di manapun selain titik itu. Contoh lain lagi adalah fungsi

: f(x) = \begin{cases}
  \sin\left(x^{-2}\right)&\text{ jika }x \neq 0\\
   0&\text{ jika }x = 0
\end{cases}

yang juga kontinu di manapun selain titik x = 0.

Selain sejumlah bentuk kekontinuan dan ketakkontinuan di atas, terdapat fungsi dengan perilaku yang "diluar nalar", sebagai contoh adalah fungsi Thomaef(x)=\begin{cases}
1   &\text{ jika } x=0\\
\frac{1}{q}&\text{ jika } x = \frac{p}{q} \text{(dalam bentuk paling sederhana) adalah bilangan rasional}\\
  0&\text{ jika }x\text{ bilangan irasional}.
\end{cases}bersifat kontinu di semua bilangan irasional namun takkontinu di semua bilangan rasional. Contoh lain adalah fungsi Dirichlet, yakni fungsi indikator untuk himpunan bilangan rasional,D(x)=\begin{cases}
  0&\text{ jika }x\text{  irasional } (\in \R \setminus \Q)\\
  1&\text{ jika }x\text{ rasional } (\in \Q)
\end{cases}adalah fungsi takkontinu di manapun.

### Sifat-sifat

#### Sebuah lemma yang berguna
Misalkan f(x) adalah fungsi yang kontinu di suatu titik x_0, dan y_0 adalah nilai yang memenuhi y_0 \neq f\left(x_0\right). Maka akan berlaku f(x)\neq y_0 pada semua titik pada suatu lingkungan dari x_0. Hal ini dapat dibuktikan dengan menggunakan definisi dari kekontinuan: dengan memilih \varepsilon =\tfrac{2}>0 , akan ada \delta>0 sehingga\left|f(x)-f(x_0)\right| Anggap ada sebuah titik di lingkungan |x-x_0| yang memenuhi f(x)=y_0; akan didapati sebuah kontradiksi, karena mengakibatkan\left|f(x_0)-y_0\right| 

#### Teorema nilai antara
Teorema nilai antara adalah sebuah teorema keberadaan, yang didasarkan pada sifat kelengkapan (*completeness*) dari bilangan real. Teorema ini menyatakan:Jika fungsi bernilai real f kontinu pada selang tutup [a, b], dan k adalah suatu bilangan di antara f(a) dan f(b), maka ada bilangan c \in [a, b] yang memenuhi f(c) = k.Sebagai ilustrasi teorema ini, misalkan seorang anak yang bertambah tinggi dari 1&nbsp;m pada usia dua tahun menjadi 1,5&nbsp;m pada usia enam tahun. Akan ada waktu di antara tahun kedua dan tahun keenam, ketika tinggi anak tersebut sama dengan 1,25&nbsp;m.

Salah satu akibat teorema ini, jika f kontinu pada [a, b] dan f(a) dan f(b) berbeda tanda, maka ada titik c \in [a, b] sehingga f(c) bernilai nol. Dengan kata lain, fungsi f memiliki akar pada selang [a, b].

#### Teorema nilai ekstrem
Teorema nilai ekstrem menyatakan jika sebuah fungsi f terdefinisi pada suatu selang tutup [a, b] (atau sembarang himpunan tertutup dan terbatas) dan kontinu di domain itu, maka fungsi memilliki nilai maksimum. Dengan kata lain, ada nilai c \in [a, b] dengan f(c) \geq f(x) untuk setiap x \in [a, b]. Teorema yang sama juga berlaku untuk nilai minimum dari f. Teorema ini secara umum tidak berlaku untuk fungsi dengan domain (a, b) (atau sembarang himpunan yang tidak tertutup sekaligus terbatas). Sebagai contoh, fungsi kontinu f(x) = \tfrac{1}{x} yang terdefinisi pada interval buka (0,\,1) tidak memiliki nilai maksimum, karena nilai fungsi tidak terbatas dari atas.

#### Hubungan dengan kediferensialan dan keterintegralan

Dapat ditunjukkan bahwa semua fungsi terdiferensialkan f : (a, b) \to \R bersifat kontinu. Namun, kebalikannya tidak berlaku: sebagai contoh, fungsi nilai mutlakf(x)=|x| = \begin{cases}
  \;\;\ x & \text{ jika }x \geq 0\\
  -x & \text{ jika }x yang kontinu di manapun. Fungsi ini tidak terdiferensialkan di x = 0 (namun terdiferensialkan di semua titik selain ini). Fungsi Weierstrass adalah contoh dari fungsi yang kontinu di manapun tetapi takkontinu di manapun.

Turunan f'(x) dari fungsi f(x) tidak harus bersifat kontinu. Jika f'(x) kontinu, fungsi f(x) dikatakan *terdiferensialkan* [*secara*] *kontinu*. Himpunan dari fungsi-fungsi jenis ini dinyatakan dengan C^1. Secara umum, himpunan fungsi f : \Omega \to \R (dengan \Omega berupa selang buka) yang dapat diturunkan sebanyak n kali dan turunan ke-n dari f bersifat kontinu, dinotasikan dengan C^n(\Omega). Dalam bidang grafika komputer, sifat-sifat yang berkaitan (namun tidak sama) dengan C^0, C^1, C^2 terkadang disebut G^0 (kekontinuan posisi), G^1 (kekontinuan garis singgung), dan G^2 (kekontinuan kelengkungan/kurvatur).

Setiap fungsi kontinu f : [a, b] \to \R dapat diintegralkan, sebagai contoh dalam konteks integral Riemann. Kebalikannya tidak berlaku, seperti yang ditunjukkan oleh fungsi tanda; contoh fungsi terintegralkan tetapi takkontinu.
## Fungsi kontinu antar ruang metrik
Konsep fungsi bernilai real kontinu dapat perumum untuk fungsi antar ruang metrik. Ruang metrik adalah sebuah himpunan X yang dilengkapi dengan sebuah fungsi d_X (disebut metrik); fungsi ini dapat dianggap sebagai ukuran jarak antara dua elemen di X. Secara formal, metrik adalah fungsi
:d_X \colon X \times X \rightarrow \R
yang memenuhi sejumlah persyaratan, terutama pertidaksamaan segitiga. Untuk sembarang dua ruang metrik (X,\,d_X) dan (Y,\,d_Y), sebuah fungsi
:f\colon X \rightarrow Y,
dikatakan kontinu (terhadap metrik yang digunakan) di titik c\in X, jika untuk sembarang bilangan real positif \varepsilon akan terdapat bilangan real positif \delta, sehingga semua nilai x\in X yang memenuhi d_X(x,\,c)  juga akan memenuhi d_Y(f(x),\,f(c)). Seperti pada kasus fungsi real di bagian sebelumnya, definisi ini setara dengan syarat bahwa untuk setiap barisan (x_n)\in X dengan nilai limit \lim x_n=c, haruslah \lim f(x_n) = f(c). Syarat ini dapat diperlemah menjadi: fungsi f kontinu jika dan hanya jika untuk setiap barisan (x_n)\in X yang konvergen ke c (dan c berada di domainf), barisan (f(x_n)) adalah barisan Cauchy.

Himpunan titik di mana sebuah fungsi antar ruang metrik bersifat kontinu disebut dengan himpunan <math>G_{\delta}</math>, yang berasal dari definisi kekontinuan menggunakan epsilon-delta.

Salah satu contoh penggunaan konsep kekontinuan ini ada di analisis fungsional. Sebuah definisi yang penting dalam cabang matematika ini menyatakan bahwa: sebuah operator linearT : V \to Wantar ruang vektor bernorma V dan W (yakni ruang vektor yang dilengkapi suatu norma \|x\|) bersifat kontinu jika dan hanya jika operator tersebut terbatas, yakni terdapat konstanta K yang menyebabkan\|T(x)\| \leq K \|x\|untuk semua x \in V.

### Kekontinuan seragam, Hölder, dan Lipschitz

Konsep kekontinuan fungsi antar ruang metrik pada bagian sebelumnya, dapat diperkuat dengan membatasi bagaimana nilai \delta terikat pada \varepsilon dan titik c; yang dapat dilakukan dalam berbagai cara. Secara informal, fungsi f disebut kontinu seragam jika pemilihan nilai \delta tidak tergantung pada titik c. Lebih tepatnya, fungsi kontinu seragam perlu memenuhi kondisi berikut: untuk setiap bilangan real \varepsilon>0 akan ada \delta>0 sehingga untuk setiap c,b\in X yang memenuhi d_X(b,c), juga akan memenuhi d_Y(f(b),f(c)). Jadi, setiap fungsi yang kontinu seragam adalah fungsi kontinu. Kebalikannya tidak berlaku secara umum, tetapi berlaku bila domain X berupa ruang kompak. Peta kontinu seragam dapat didefinisikan dalam situasi ruang seragam yang lebih umum.

Sebuah fungsi disebut kontinu Hölder pangkat \alpha (berupa bilangan real) jika ada konstanta K sehingga untuk semua b,c\in X akan berlaku pertidaksamaan
:d_Y (f(b), f(c)) \leq K \cdot (d_X (b, c))^\alpha
Semua fungsi kontinu Hölder bersifat kontinu seragam. Kasus khusus \alpha=1 disebut sebagai kekontinuan Lipschitz. Artinya, suatu fungsi kontinu Lipschitz jika ada konstanta *<math>K</math>* sedemikian rupa sehingga pertidaksamaan
:d_Y (f(b), f(c)) \leq K \cdot d_X (b, c)
berlaku untuk sembarang b,c\in X. Kondisi Lipschitz digunakan contohnya dalam teorema Picard – Lindelöf yang membahas tentang solusi persamaan diferensial biasa.

## Konsep yang berkaitan
Jika fungsi f : S \to Y adalah suatu fungsi kontinu dari suatu subset S dari ruang topologis X maka *perluasan kontinu* dari f ke X adalah sembarang fungsi kontinu F : X \to Y dengan F(s) = f(s) untuk setiap s \in S; kondisi ini sering ditulis sebagai f = F\big\vert_S. Secara informal, itu adalah sembarang fungsi F : X \to Y yang membatasi f pada S. Konsep ini digunakan, sebagai contoh, dalam teorema perluasan Tietze dan teorema Hahn–Banach. Jika f : S \to Y tidak kontinu maka tidak mungkin fungsi tersebut memiliki perluasan kontinu. Jika Y adalah suatu ruang Hausdorff dan S adalah himpunan rapat dari X maka fungsi perluasan kontinu dari f : S \to Y ke X, jika itu ada, bersifat unik.

Banyak cabang matematika lainnya menggunakan konsep kekontinuan dalam konteks berbeda, namun memiliki makna yang mirip. Sebagai contoh, dalam teori urutan, *fungsi kekal-urutan*(*order-preserving function*) f : X \to Y antar jenis himpunan terurut parsial tertentu *<math>X</math>* dan Y, dikatakan kontinu jika untuk setiap himpunan berarah A dari *<math>X</math>*, berlaku hubungan \sup f(A) = f(\sup A). Notasi \,\sup\, tersebut masing-masing menyatakan supremum terhadap urutan dalam *<math>X</math>* dan Y. Konsep kekontinuan ini sama kekontinuan topologis ketika himpunan urutan parsial merupakan subset dari topologi Scott. 

Dalam teori kategori, sebuah fungtorF : \mathcal C \to \mathcal Dantar dua kategori dikatakan kontinu, jika fungsi tersebut komutatif dengan limit yang kecil. Secara matematis,\varprojlim_{i \in I} F(C_i) \cong F \left(\varprojlim_{i \in I} C_i \right)untuk sembarang diagram yang kecil (yaitu, yang diindeks dengan sebuah himpunan I, bukan sebuah kelas) dari objek di \mathcal C.

Sebuah ruang kekontinuan adalah perumuman dari ruang metrik dan poset, dan dapat digunakan untuk menyatukan konsep dari ruang metrik dan domain.

## Catatan

## Referensi
*