Karakterisasi (matematika)

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  mengkarakterkan objek " sama dengan mengatakan bahwa  tidak hanya memiliki sifat , namun  merupakan satu-satunya objek yang memiliki sifat  (atau dengan kata lain,  merupakan sifat yang mendefinisikan ). Demikian pula, sekumpulan sifat  dikatakan mengkarakterkan , ketika sifat-sifat ini membedakan  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  melalui sifat  diantaranya " merupakan syarat perlu dan cukup untuk " dan " berlaku jika dan hanya jika ".

 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  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  sedemikian sehingga  dan  untuk , sifat cembung logaritmik mengkarakterkan fungsi gamma." Hal ini berarti dari semua fungsi-fungsi tersebut, hanya fungsi gamma yang bersifat cembung logaritmik.Suatu fungsi  adalah fungsi cembung logaritmik jika dan hanya jika  merupakan fungsi cembung. Bilangan pokok dari logaritmanya tidak menjadi masalah, asalkan nilainya lebih dari 1, tetapi matematikawan secara umum menggunakan  untuk menyatakan logaritma alami, logaritma dengan bilangan pokok .
 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)

 Referensi 

Kategori:Istilah matematika
Kategori:Ekuivalensi (matematika)