Peta linear

Templat:Distinguish Dalam matematika, peta linear (disebut juga pemetaan linear, transformasi linear atau, dalam konteks tertentu, fungsi linear) adalah pemetaan Templat:Math antara dua modul (misalnya, dua ruang vektor) yang mempertahankan (artinya dijelaskan di bawah) operasi penambahan dan perkalian skalar.

Kasus khusus yang penting adalah ketika Templat:Math, di mana peta linearnya disebut endomorfisme (linear) dari Templat:Math. Terkadang istilah operator linear dipakai untuk kasus ini. Dalam kebiasaan yang lain, operator linear membolehkan Templat:Mvar dan Templat:Mvar yang berbeda, tetapi mereka harus merupakan urang vektor real. Terkadang istilah fungsi linear memiliki arti yang sama dengan peta linear, sedangkan dalam geometri analitis artinya berbeda.

Sebuah peta linear selalu memetakan subruang linear ke subruang linear (mungkin dengan dimensi yang lebih rendah); contohnya pemetaan sebuah bidang yang melalui titik nol ke sebuah bidang, garis lurus atau titik. Peta linear biasanya dilambangkan sebagai matriks, dan contoh sederhananya adalah transformasi linear rotasi dan pencerminan.

Dalam bahasa aljabar abstrak, sebuah peta linear merupakan sebuah homoformisme modul. Dalam bahasa teori kategori, sebuah peta linear merupakan sebuah morfisme dalam kategori modul pada sebuah gelanggang.

Definisi dan akibatnya

Misalkan $V$ dan $W$ adalah ruang vektor pada medan $K.$ Sebuah fungsi $f:V\to W$ disebut sebuah peta linear apabila untuk setiap dua vektor $𝐮,𝐯\in V$ dan untuk setiap skalar $c\in K$ terpenuhi dua syarat:

$f(𝐮+𝐯)=f(𝐮)+f(𝐯)$	aditifitas / operasi penambahan
$f(c𝐮)=cf(𝐮)$	homogenitas derajat 1 / operasi perkalian skalar

Oleh sebab itu, sebuah peta linear disebut mempertahankan operasi. Dengan kata lain, tidak bepengaruh apakah pemetaan linear dilakukan sebelum (sisi kanan dari contoh di atas) atau setelah (sisi kiri dari contoh di atas) operasi penambahan dan perkalian skalar.

Oleh karena sifat asosiatif dari operasi penambahan, dengan operasinya disimbolkan dengan +, untuk setiap vektor ${𝐮}_1,\dots ,{𝐮}_n\in V$ dan skalar $c_1,\dots ,c_n\in K,$ berlaku persamaan berikut:

$f(c_1{𝐮}_1+\cdots +c_n{𝐮}_n)=c_{1}f({𝐮}_1)+\cdots +c_{n}f({𝐮}_n).$

Dengan melambangkan unsur nol dari ruang vektor $V$ dan $W$ masing-masing dengan ${\mathrm{𝟎}}_V$ dan ${\mathrm{𝟎}}_W$, bisa ditemukan bahwa $f({\mathrm{𝟎}}_V)={\mathrm{𝟎}}_W.$ Misalkan $c=0$ dan $𝐯\in V$ dalam persamaan homogentias berderajat 1:

$f({\mathrm{𝟎}}_V)=f(0𝐯)=0f(𝐯)={\mathrm{𝟎}}_W.$

Terkadang, $V$ dan $W$ bisa jadi merupakan ruang vektor pada medan yang berbeda. Bila begitu, perlu dijelaskan medan yang mana yang digunakan dalam definisi "linear". Jika $V$ dan $W$ adalah ruang pada medan $K$ yang sama, maka kita akan membahas peta $K$-linear. Misalnya, sekawan dari bilangan kompleks merupakan sebuah peta $𝐑$-linear $𝐂\to 𝐂$, tapi bukan merupakanp peta $𝐂$-linear, dengan $𝐑$ dan $𝐂$ masing-masing melambangkan himpunan bilangan real dan bilangan kompleks.

Sebuah peta linear $V\to K$ dengan $K$ dipandang sebagai ruang vektor satu dimensi pada dirinya sendiri disebut fungsional linear.

Pernyataan-pernyataan tersebut digeneralisasi menjadi modul kiri ${}_{R}M$ manapun pada gelanggang $R$ tanpa perubahan, dan menjadi modul kanan manapun ketika mengembalikan perkalian skalar.

Contoh

• Contoh prototipikal yang melahirkan nama peta linear adalah fungsi Templat:Nowrap, di mana grafiknya berbentuk garis yang melalui titik nol.
• Secara umum, semua homotetik yang berpusat di titik nol ruang vektor, $𝐯\mapsto c𝐯$ dengan c melambangkan skalar, merupakan sebuah operator linear. Ini tidak berlaku untuk modul secara umum, karena petanya mungkin hanya semilinear.
• Peta nol Templat:Nowrap di antara dua modul kiri (atau dua modul kanan) atas gelanggang yang sama selalu linear.
• Peta identitas dari modul manapun merupakan sebuah operator linear.
• Untuk bilangan real, peta Templat:Nowrap tidak linear.
• Untuk bilangan real, peta Templat:Nowrap tidak linear (tapi merupakan transformasi afin; Templat:Nowrap adalah persamaan linear, menurut istilah yang digunakan geometri analisis.)
• Jika A merupakan Templat:Nowrap matriks real, maka A mendefinisikan sebuah peta linear dari Rⁿ ke R^m dengan cara mengirim vektor kolom Templat:Nowrap ke vektor kolom Templat:Nowrap. Sebaliknya pula, peta linear antara ruang vektor berdimensi hingga manapun bisa direpresentasikan dengan cara ini; lihat bagian berikutnya.
• Diferensiasi mendefinisikan sebuah peta linear dari ruang semua fungsi yang dapat diturunkan ke ruang semua fungsi. Diferensiasi juga mendefinisikan sebuah operator linear di ruang semua fungsi mulus (sebuah operator linear merupakan sebuah endomorfisme linear, artinya peta linear yang domain dan kodomainnya sama). Contohnya $\frac{d}{dx}(c_1{f}_1\left(x\right)+c_2{f}_2\left(x\right)+\cdots +c_n{f}_n\left(x\right))=c_1\frac{d{f}_1\left(x\right)}{dx}+c_2\frac{d{f}_2\left(x\right)}{dx}+\cdots +c_n\frac{d{f}_n\left(x\right)}{dx}$.
• Integral tertentu di suatu interval I merupakan peta linear dari ruang semua fungsi yang bernilai real yang dapat dintegralkan di I ke R. Contohnya,$\underset{a}{\overset{b}{\int }}[c_1{f}_1(x)+c_2{f}_2(x)+\dots +c_n{f}_n(x)]dx=c_1\underset{a}{\overset{b}{\int }}{f}_1(x)dx+c_2\underset{a}{\overset{b}{\int }}{f}_2(x)dx+\dots +c_n\underset{a}{\overset{b}{\int }}{f}_n(x)dx$.
• Integral tak tentu (atau antiturunan) dengan titik awal integrasi yang tetap mendefinisikan sebuah peta linear dari ruang semua fungsi yang bernilai real yang dapat diintegralkan di R ke ruang semua fungsi yang bernilai real yang dapat diturunkan di R. Tanpa titik awal yang ditetapkan, teori grup akan menunjukkan bahwa antiturunan tersebut akan memetakan ke ruang kuosien fungsi yang dapat diturunkan dengan relasi ekuivalensi "berselisih sebuah konstanta", yang menghasilkan sebuah kelas identitas berisi fungsi yang bernlai konstan $(\int :I(\mathrm{\Re })\to D(\mathrm{\Re })/\mathrm{\Re })$.
• Jika V dan W merupakan ruang vektor berdimensi hingga pada medan F, maka fungsi yang mengirim peta linear Templat:Nowrap ke matriks Templat:Nowrap dengan cara yang digambarkan berikutnya juga merupakan peta linear.
• Nilai harapan dari sebuah peubah acak (yang sebenarnya merupakan sebuah fungsi, dan anggota sebuah ruang vektor) bersifat linear, karena untuk variabel acak X dan Y kita punya Templat:Nowrap dan Templat:Nowrap, tapi varians dari sebuah variabel acak tidaklah linear.

• 
  Fungsi $f:{ℝ}^2\to {ℝ}^2$ dengan $f(x,y)=(2x,y)$ merupakan sebuah peta linear. Fungsi ini mengkalikan komponen $x$ dari vektor dengan faktor $2$.
• 
  Fungsi $f(x,y)=(2x,y)$ bersifat aditif: Tidak penting apakah vektornya dijumlahkan dulu lalu dipetakan atau dipetakan dulu lalu dijumlahkan: $f(a+b)=f(a)+f(b)$
• 
  Fungsi $f(x,y)=(2x,y)$ bersifat homogen: Tidak penting apakah vektornya dikalikan dulu lalu dipetakan atau dipetakan dulu lalu dikalikan: $f(\lambda a)=\lambda f(a)$

Penggunaan

Penggunaan khusus dari peta linear adalah untuk transformasi geometri, seperti yang dilakukan dalam grafik komputer, dimana translasi, rotasi dan skala dari objek 2D atau 3D dilakukan menggunakan matriks transformasi. Pemetaan linear juga digunakan sebagai mekanisme untuk menggambarkan perubahan: contohnya dalam kalkulus menggambarkan turunan; atau dalam relativitas, digunakan sebagai alat mencatat transformasi lokal dari kerangka acuan.

Penggunaan lain dari transformasi adalah dalam pengoptimuman kompilator kode nested-loop, dan dalam teknik pemaralelan kompilator.

Lihat pula

• Peta antilinear
• Bent function
• Bounded operator