Apakah Forma Sama dengan Fungsional?

Kalimat yang disorot berbunyi:

Dalam matematika, forma adalah objek aljabar yang menerima vektor sebagai masukan dan menghasilkan bilangan.

Kalimat ini benar sebagai gambaran awal, tetapi masih sengaja disederhanakan. Ia menangkap inti penting: forma bukan “bentuk fisik”, melainkan alat aljabar untuk mengukur vektor secara terarah dan mengubah informasi vektor menjadi bilangan. Namun untuk menjawab pertanyaan “apakah forma sama dengan fungsional?”, kita perlu membedakan beberapa tingkat ketelitian.

Jawaban singkatnya adalah: 1-forma sama dengan fungsional linear pada ruang vektor, tetapi \(k\)-forma untuk \(k>1\) bukan sekadar fungsional linear pada satu vektor. Ia adalah fungsi multilinear antisimetri yang menerima \(k\) vektor sekaligus. Secara lebih abstrak, \(k\)-forma memang dapat dipandang sebagai fungsional linear pada objek yang disebut \(k\)-vektor atau elemen aljabar eksterior. Jadi hubungan antara “forma” dan “fungsional” ada, tetapi tidak selalu identik dalam arti paling sederhana.

Dari fungsional linear ke 1-forma

Dalam aljabar linear, sebuah fungsional linear pada ruang vektor \(V\) adalah pemetaan

\[ \alpha : V \to \mathbb{R} \]

yang memenuhi sifat linear:

\[ \alpha(av+bw)=a\alpha(v)+b\alpha(w), \]

untuk semua vektor \(v,w\in V\) dan skalar \(a,b\in \mathbb{R}\).

Objek seperti ini juga disebut kovektor. Himpunan semua fungsional linear pada \(V\) disebut ruang dual, ditulis

\[ V^\ast. \]

Dalam bahasa forma diferensial, sebuah 1-forma pada satu titik adalah persis elemen dari ruang dual \(V^\ast\). Jadi jika kita sedang berbicara tentang ruang vektor biasa, atau tentang ruang tangen \(T_pM\) pada titik \(p\) di sebuah manifold \(M\), maka 1-forma adalah fungsional linear pada vektor-vektor di ruang itu [Lee 2013].

Contoh yang dipakai dalam dokumen induk adalah \(dx\). Di \(\mathbb{R}^2\), jika

\[ v = 3e_x + 2e_y, \]

maka

\[ dx(v)=3. \]

Di sini \(dx\) menerima satu vektor dan menghasilkan satu bilangan, yaitu komponen \(x\)-nya. Dalam arti ini, \(dx\) adalah fungsional linear. Begitu pula \(dy(v)=2\). Maka untuk 1-forma, jawaban “forma sama dengan fungsional” dapat diterima, asalkan yang dimaksud adalah fungsional linear.

Namun istilah “fungsional” kadang dipakai lebih luas dalam analisis, misalnya sebagai fungsi dari ruang fungsi ke bilangan. Contohnya,

\[ J(f)=\int_0^1 f(x)^2\,dx \]

adalah fungsional pada ruang fungsi, tetapi bukan 1-forma dalam arti aljabar diferensial. Jadi istilah “fungsional” lebih umum; 1-forma adalah salah satu jenis fungsional linear tertentu, yaitu fungsional linear pada ruang vektor atau ruang tangen.

Mengapa \(k\)-forma bukan hanya fungsional pada satu vektor?

Dokumen induk segera memberi contoh bahwa forma dapat menerima beberapa vektor sekaligus. Ini penting, karena kalimat “menerima vektor sebagai masukan” sebaiknya dibaca secara luas: sebuah \(k\)-forma menerima \(k\) buah vektor sebagai masukan.

Secara aljabar, sebuah \(k\)-forma pada ruang vektor \(V\) adalah pemetaan

\[ \omega : \underbrace{V \times \cdots \times V}_{k\ \text{kali}} \to \mathbb{R} \]

yang memiliki dua sifat utama.

Pertama, ia multilinear, artinya linear terhadap setiap argumen jika argumen lain ditahan tetap. Misalnya untuk 2-forma \(\omega\),

\[ \omega(av_1+bv_2,w) = a\omega(v_1,w)+b\omega(v_2,w). \]

Kedua, ia antisimetri, artinya menukar dua argumen membalik tanda. Untuk 2-forma,

\[ \omega(v,w)=-\omega(w,v). \]

Akibatnya,

\[ \omega(v,v)=0. \]

Sifat ini cocok dengan gagasan luas berarah: dua vektor yang sama atau sejajar tidak membentuk luas dua-dimensi.

Contoh utama dalam dokumen induk adalah

\[ dx\wedge dy. \]

Ini adalah 2-forma. Ia bukan menerima satu vektor, melainkan dua vektor. Jika

\[ u = a e_x + b e_y, \qquad v = c e_x + d e_y, \]

maka

\[ (dx\wedge dy)(u,v) = \begin{vmatrix} a & c \\ b & d \end{vmatrix} = ad-bc. \]

Hasilnya adalah bilangan, yaitu luas berarah jajar genjang yang dibentuk oleh \(u\) dan \(v\). Jika urutannya ditukar,

\[ (dx\wedge dy)(v,u)=-(ad-bc). \]

Jadi 2-forma masih “menghasilkan bilangan”, tetapi masukannya bukan satu vektor, melainkan pasangan vektor terurut. Karena itu, menyebut 2-forma sebagai “fungsional pada vektor” tanpa penjelasan bisa menyesatkan.

Tetapi \(k\)-forma bisa dilihat sebagai fungsional pada \(k\)-vektor

Ada cara yang lebih abstrak untuk menghubungkan kembali \(k\)-forma dengan gagasan fungsional linear.

Dokumen induk menyebut dua sisi wedge:

\[ u\wedge v \]

pada sisi vektor, dan

\[ dx\wedge dy \]

pada sisi forma. Objek \(u\wedge v\) disebut bivector, yaitu elemen luas berarah. Secara umum, wedge dari \(k\) vektor,

\[ v_1\wedge \cdots \wedge v_k, \]

adalah sebuah \(k\)-vektor, yaitu elemen dari ruang eksterior

\[ \Lambda^k V. \]

Dalam kerangka ini, sebuah \(k\)-forma dapat dipandang sebagai elemen dari ruang dual

\[ (\Lambda^k V)^\ast. \]

Artinya, \(k\)-forma dapat dilihat sebagai fungsional linear pada \(k\)-vektor. Evaluasinya dapat ditulis secara konseptual sebagai

\[ \omega(v_1\wedge \cdots \wedge v_k). \]

Namun dalam praktik, terutama pada tahap awal belajar, kita sering menulisnya sebagai

\[ \omega(v_1,\ldots,v_k). \]

Kedua cara ini saling berhubungan. Penulisan pertama menekankan bahwa \(\omega\) adalah fungsional linear pada elemen berarah berdimensi \(k\). Penulisan kedua menekankan bahwa \(\omega\) menerima \(k\) vektor sekaligus. Inilah alasan mengapa pertanyaan “apakah forma sama dengan fungsional?” punya jawaban bertingkat: untuk 1-forma, ya secara langsung; untuk \(k\)-forma, ya jika kita melihatnya sebagai fungsional pada \(\Lambda^k V\), bukan pada \(V\) biasa.

Pembahasan seperti ini adalah bagian standar dari hubungan antara aljabar eksterior vektor dan aljabar eksterior kovektor [Spivak 1965; Lee 2013].

Forma diferensial: fungsional yang berubah dari titik ke titik

Ada satu lapisan lagi. Dalam geometri diferensial, kita tidak hanya berbicara tentang forma pada satu ruang vektor tetap. Kita berbicara tentang forma diferensial pada sebuah ruang geometris, misalnya permukaan atau manifold.

Pada manifold \(M\), setiap titik \(p\in M\) memiliki ruang tangen sendiri, yaitu

\[ T_pM. \]

Sebuah 1-forma diferensial \(\alpha\) memberikan, pada setiap titik \(p\), sebuah fungsional linear

\[ \alpha_p : T_pM \to \mathbb{R}. \]

Jadi \(\alpha\) bukan satu fungsional saja. Ia adalah medan kovektor: pilihan fungsional linear pada setiap titik, yang berubah secara mulus dari titik ke titik.

Demikian pula, sebuah \(k\)-forma diferensial \(\omega\) memberikan pada setiap titik \(p\) sebuah \(k\)-forma aljabar

\[ \omega_p : T_pM \times \cdots \times T_pM \to \mathbb{R}. \]

Dengan kata lain, pada setiap titik, \(\omega_p\) menerima \(k\) vektor tangen dan menghasilkan bilangan. Syarat “diferensial” atau “mulus” berarti cara \(\omega_p\) berubah terhadap \(p\) cukup teratur agar kalkulus dapat dilakukan [Lee 2013].

Ini menjelaskan mengapa kalimat dalam dokumen induk berbunyi “objek aljabar”: pada setiap titik, forma memang objek aljabar multilinear. Tetapi dalam geometri diferensial, kumpulan objek aljabar itu disusun secara mulus di seluruh ruang.

Membaca kalimat yang disorot secara tepat

Dengan semua pembedaan tadi, kalimat yang disorot dapat diperhalus menjadi:

Dalam konteks forma diferensial, sebuah 1-forma adalah fungsional linear yang menerima satu vektor dan menghasilkan bilangan. Lebih umum, sebuah \(k\)-forma menerima \(k\) vektor, bersifat multilinear dan antisimetri, lalu menghasilkan bilangan.

Versi ini lebih tepat daripada kalimat awal, tetapi kalimat awal masih berguna sebagai intuisi pertama. Ia sedang menekankan bahwa “forma” bukan bentuk benda, melainkan alat pengukuran aljabar terhadap arah. Untuk pembaca pemula, itu adalah langkah awal yang wajar.

Namun ketika buku mulai membahas wedge, orientasi, dan determinan, ketelitian tambahan menjadi perlu. Sebab \(dx\) dan \(dx\wedge dy\) tidak menerima jenis masukan yang sama:

\[ dx(v) \]

menerima satu vektor, sedangkan

\[ (dx\wedge dy)(u,v) \]

menerima dua vektor. Keduanya menghasilkan bilangan, tetapi keduanya mengukur hal yang berbeda. Yang pertama mengukur komponen berarah satu-dimensi; yang kedua mengukur luas berarah dua-dimensi.

Jadi jawaban paling aman adalah: forma berkaitan erat dengan fungsional, tetapi tidak semua forma adalah fungsional pada satu vektor. 1-forma adalah fungsional linear pada vektor; \(k\)-forma adalah fungsional multilinear antisimetri pada \(k\) vektor, atau secara ekuivalen fungsional linear pada \(k\)-vektor.

References

Flanders, H. (1989). Differential Forms with Applications to the Physical Sciences. Dover Publications.

Lee, J. M. (2013). Introduction to Smooth Manifolds (2nd ed.). Springer.

Spivak, M. (1965). Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus. W. A. Benjamin.