Karakterisasi (matematika)

Templat:Short description Dalam matematika, karakterisasi atau pengkarakteran dari suatu objek adalah sekumpulan kondisi yang, walau mungkin berbeda dengan definisi dari objek tersebut, secara logika ekuivalen dengan definisi objeknya. Untuk mengatakan bahwa "Sifat $S$ mengkarakterkan objek $O$" sama dengan mengatakan bahwa $O$ tidak hanya memiliki sifat $S$, namun $O$ merupakan satu-satunya objek yang memiliki sifat $S$ (atau dengan kata lain, $S$ merupakan sifat yang mendefinisikan $O$). Demikian pula, sekumpulan sifat $S$ dikatakan mengkarakterkan $O$, ketika sifat-sifat ini membedakan $O$ dari semua objek-objek lainnya. Meskipun suatu pengkarakteran dapat mengidentifikasi suatu objek dengan cara yang tunggal, beberapa pengkarakteran berbeda dapat ada untuk satu objek yang sama. Ekspresi matematis yang umum untuk pengkarakteran $O$ melalui sifat $P$ diantaranya "$P$ merupakan syarat perlu dan cukup untuk $O$" dan "$O$ berlaku jika dan hanya jika $P$".

Contoh

• Suatu bilangan rasional, yang secara umum didefinisikan sebagai rasio dari dua bilangan bulat, dapat dikarakterkan sebagai bilangan dengan representasi desimal berhingga atau berulang.
• Jajar genjang merupakan segi empat yang setiap sisi yang berhadapan saling sejajar. Salah satu pengkarakteran dari jajar genjang ialah kedua diagonalnya saling membagi dua. Ini artinya kedua diagonal dari semua jajar genjang saling membagi dua, dan sebaliknya, setiap segi empat yang diagonalnya saling membagi dua pasti merupakan bangun jajar genjang.
• "Dari seluruh distribusi peluang pada selang $[0,\mathrm{\infty })$ dari garis bilangan, sifat tanpa memori mengkarakterkan distribusi eksponensial." Arti dari pernyataan ini adalah distribusi eksponensial merupakan satu-satunya distribusi peluang kontinu dengan sifat tanpa memori (lihat karakterisasi distribusi peluang).
• "Menurut teorema Bohr–Mollerup, dari seluruh fungsi $f$ sedemikian sehingga $f(1)=1$ dan $f(x+1)=xf\left(x\right)$ untuk $x>0$, sifat cembung logaritmik mengkarakterkan fungsi gamma." Hal ini berarti dari semua fungsi-fungsi tersebut, hanya fungsi gamma yang bersifat cembung logaritmik.
• Lingkaran dikarakterkan sebagai manifold yang berdimensi satu, kompak, dan terhubung

Lihat juga

• Fondasi aksiomatik ruang topologis
• Karakterisasi fungsi eksponensial
• Karakteristik (aljabar)
• Karakteristik Euler
• Karakter (matematika)