Peta linear

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

Kasus khusus yang penting adalah ketika , di mana peta linearnya disebut **[[endomorfisme]]** (linear) dari . Terkadang istilah **operator linear** dipakai untuk kasus ini. Dalam kebiasaan yang lain, *operator linear* membolehkan  dan  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 \mathbf{u}, \mathbf{v} \in V dan untuk setiap skalar c \in K terpenuhi dua syarat:

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 \mathbf{u}_1, \ldots, \mathbf{u}_n \in V dan skalar c_1, \ldots, c_n \in K, berlaku persamaan berikut:

: f(c_1 \mathbf{u}_1 + \cdots + c_n \mathbf{u}_n) = c_1 f(\mathbf{u}_1) + \cdots + c_n f(\mathbf{u}_n).

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

:f(\mathbf{0}_V) = f(0\mathbf{v}) = 0f(\mathbf{v}) = \mathbf{0}_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 \mathbf{R}-linear \mathbf{C} \to \mathbf{C}, tetapi bukan merupakanp peta \mathbf{C}-linear, dengan \mathbf{R} dan \mathbf{C} 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 , di mana grafiknya berbentuk garis yang melalui titik nol.
* Secara umum, semua homotetik yang berpusat di titik nol ruang vektor, \mathbf{v} \mapsto c\mathbf{v} dengan *c* melambangkan skalar, merupakan sebuah operator linear. Ini tidak berlaku untuk modul secara umum, karena petanya mungkin hanya semilinear.
* Peta nol  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  *tidak* linear.
* Untuk bilangan real, peta  tidak linear (tetapi merupakan transformasi afin;  adalah persamaan linear, menurut istilah yang digunakan geometri analisis.)
* Jika *A* merupakan  matriks real, maka *A* mendefinisikan sebuah peta linear dari **R***n* ke **R***m* dengan cara mengirim vektor kolom  ke vektor kolom . 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}\left( \left( x \right)+\left( x \right)+\cdots +\left( x \right) \right)=\frac{d\left( x \right)}{dx}+\frac{d\left( x \right)}{dx}+\cdots +\frac{d\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,\int_{a}^{b}{[(x)+(x)+\ldots +(x)]dx}=\int_{a}^{b}(x)dx}+\int_{a}^{b}(x)dx}+\ldots +\int_{a}^{b}(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 \left(\,\int\!:\  I(\Re) \ \to\  D(\Re)/\Re\,\right).
* Jika *V* dan *W* merupakan ruang vektor berdimensi hingga pada medan *F*, maka fungsi yang mengirim peta linear  ke matriks  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  dan , tetapi varians dari sebuah variabel acak tidaklah linear.


File:Streckung eines Vektors.gif|Fungsi f:\R^2 \to \R^2 dengan f(x, y) = (2x, y) merupakan sebuah peta linear. Fungsi ini mengkalikan komponen x dari vektor dengan faktor 2.
File:Streckung der Summe zweier Vektoren.gif|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)
File:Streckung homogenitaet Version 3.gif|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, di mana 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

## Catatan kaki