covariant
Istilah covariant merupakan istilah teknis yang digunakan hampir secara eksklusif dalam bidang matematika, fisika, dan ilmu komputer (khususnya dalam pemrograman berorientasi objek). Dalam bahasa Indonesia, kata ini diserap menjadi kovarian. Makna utamanya berkaitan dengan bagaimana suatu objek berubah atau bertransformasi ketika sistem koordinat atau basis yang mendasarinya juga berubah.
Dalam konteks matematika dan fisika, covariant merujuk pada besaran yang berubah searah dengan perubahan basis. Hal ini sangat berbeda dengan contravariant (kontravarian), di mana besaran tersebut berubah secara berlawanan dengan perubahan basis. Bagi pembelajar bahasa Inggris, penting untuk memahami bahwa kata ini bukan sekadar kata sifat umum, melainkan istilah spesifik yang mendefinisikan hubungan transformasi antar variabel.
Nuansa Penggunaan dalam Pemrograman
Dalam ilmu komputer, khususnya terkait dengan tipe data (generics), covariant merujuk pada kemampuan sebuah tipe data untuk menerima subtipe dari tipe data aslinya. Misalnya, jika List<String> dianggap sebagai subtipe dari List<Object>, maka List tersebut bersifat kovarian.
Benar: Menggunakan covariant saat membahas transformasi tensor atau hubungan subtipe dalam pemrograman.
Salah: Menggunakan covariant untuk menggambarkan dua hal yang sekadar "berubah bersamaan" dalam percakapan sehari-hari; untuk konteks umum, gunakanlah kata correlated (berkorelasi).
Perbedaan dengan Istilah Serupa
Sering terjadi kekeliruan antara covariant dengan correlated. Meskipun keduanya melibatkan perubahan dua variabel, correlated digunakan dalam statistik untuk menunjukkan hubungan linear antara dua variabel, sedangkan covariant digunakan dalam geometri atau aljabar untuk menunjukkan sifat transformasi objek terhadap sistem koordinat.
Secara tata bahasa, covariant berfungsi sebagai kata sifat (adjective) yang menerangkan objek matematika atau tipe data tertentu. Dalam bahasa Inggris, kata ini jarang muncul dalam bentuk jamak atau memiliki variasi infleksi karena sifatnya yang sangat teknis.
Countable when referring to a specific mathematical entity (a covariant). Uncountable when used as a property of a variable or tensor (the system is covariant).
Meanings
Berubah secara konsisten relatif terhadap variabel lain ketika sistem koordinat ditransformasikan
"The tensor is covariant with respect to the coordinate transformation."
Tensor tersebut bersifat kovarian terhadap transformasi koordinat.
Objek matematika yang bertransformasi sesuai dengan aturan tertentu di bawah perubahan basis
"The covariant was calculated using the metric tensor."
Kovarian tersebut dihitung menggunakan tensor metrik.