Lihat sumber Matriks riil 2 × 2

Dalam matematika, [[aljabar asosiatif]] '''[[Matriks (matematika)|matriks]] [[Bilangan riil|riil]] 2 × 2''' dilambangkan dengan <math>\operatorname{M}(2,\mathbf{R})</math>. Dua matriks <math>p</math> dan <math>q</math> dalam <math>\operatorname{M}(2,\mathbf{R})</math> memiliki sebuah jumlah <math>p + q</math> diberikan oleh [[penjumlahan matriks]]. Hasil kali matriks <math>p \cdot q</math> dibentuk dari [[Produk skalar|produk dot]] dari baris dan kolom dari faktornya melalui [[perkalian matriks]]. Untuk

:<math>q = \begin{pmatrix}a&b\\c&d\end{pmatrix}</math>

misalkan

:<math>q^* = \begin{pmatrix}d&-b\\-c&a\end{pmatrix}</math>

Maka, <math>qq* = q*q = (ad-bc)I</math>, di mana <math>I</math> adalah matriks identitas 2 × 2. Bilangan real <math>ad-bc</math> disebut [[determinan]] <math>q</math>. Ketika <math>ad-bc\ne 0</math>, <math>q</math> adalah sebuah [[matriks yang dapat dibalik]], dan kemudian

:<math>q^{-1} = \frac{q*}{ad-bc}</math>.

Kumpulan dari semua seperti matriks yang dapat dibalik merupakan [[grup linear umum]] <math>\operatorname{GL}(2,\mathbf{R}) </math>. Dalam istilah [[aljabar abstrak]], <math>\operatorname{M}(2,\mathbf{R}) </math> dengan terkait operasi penjumlahan dan perkalian membentuk sebuah [[Gelanggang (matematika)|gelanggang]], dan <math>\operatorname{GL}(2,\mathbf{R}) </math> adalah [[grup satuan]] tersebut. <math>\operatorname{M}(2,\mathbf{R}) </math> juga sebuah [[ruang vektor]] empat-dimensi, jadi ini ditinjau sebagai [[aljabar asosiatif]].

'''Matriks real 2 × 2''' ada di [[korespondensi satu-satu]] dengan [[Peta linear|pemetaan linear]] dari [[Sistem koordinat Kartesius#Koordinat Kartesius dalam dua dimensi|sistem koordinat Kartesius dua dimensi]] menjadi dirinya sendiri oleh aturan

:<math>\begin{pmatrix}x \\ y\end{pmatrix} \mapsto
    \begin{pmatrix}a & b \\ c & d\end{pmatrix} \begin{pmatrix}x \\ y\end{pmatrix} =
    \begin{pmatrix}ax + by \\ cx + dy\end{pmatrix}</math>

Bagian selanjutnya memperlihatkan <math>\operatorname{M}(2,\mathbb{R}) </math> adalah sebuah [[Gabungan (teori himpunan)|gabungan]] [[Penampang lintang (geometri)|tampang lintang]] planar yang termasuk sebuah garis riil. <math>\operatorname{M}(2,\mathbb{R}) </math> adalah [[Keisomorfan gelanggang|isomorfis gelanggang]] ke [[kuaternion terbagi]], di mana ini adalah sebuah gabungan yang mirip tetapi dengan [[himpunan indeks]] yaitu hiperbolik.

== Profil ==
Dalam <math>\operatorname{M}(2,\mathbf{R}) </math>, perkalian dengan bilangan riil dari [[matriks identitas]] <math>I </math> dapat dianggap sebuah [[Garis bilangan real|garis real]]. Garis real ini adalah tempat di mana semua [[subgelanggang]] komutatif datang bersama.

Misalkan <math>P_m = \{xI + ym : x,y \in \mathbb{R}\}</math> di mana <math>m^2 \in \{-I,0,I\}</math>. Maka <math>P_m</math> adalah sebuah subgelanggang komutatif dan <math>\operatorname{M}(2,\mathbb{R})=\bigcup P_m</math> di mana gabungan pada semua <math>m</math> seperti <math>m^2 \in \{-I,0,I\}</math>.

Untuk mengidentifikasi <math>m</math>, pertama kuadratkan matriks umum:

:<math>\begin{pmatrix}aa + bc & ab + bd \\ ac + cd & bc + dd \end{pmatrix}</math>

Ketika <math>a+d=0</math>, kuadrat ini adalah sebuah [[matriks diagonal]].

Jadi salah satunya mengasumsikan <math>d = -a</math> ketika mencari untuk <math>m</math> untuk membentuk subgelanggang komutatif. Ketika <math>mm = -I</math>, maka <math>bc = -1 - aa</math>, sebuah persamaan menggambarkan sebuah [[Paraboloida|paraboloid hiperbolik]] dalam ruang parameter <math>(a,b,c)</math>. Seperti sebuah <math>m</math> berfungsi sebagai sebuah [[Unit imajiner|satuan khayal]]. Dalam kasus ini <math>P_m</math> isomorfik dengan medan [[bilangan kompleks]] (biasa).

Ketika <math>mm = +I</math>, <math>m</math> adalah sebuah [[matriks involutori]]. Maka <math>bc = + 1 - aa</math>, juga memberikan sebuah paraboloid hiperbolik. Jika sebuah matriks adalah sebuah [[matriks idempoten]], ini pasti terletak pada <math>P_m</math> dan dalam kasus ini <math>P_m</math> isomorfik dengan gelanggang [[bilangan kompleks terbagi]]

Kasus dari sebuah [[matriks nilpoten]], <math>mm = 0</math>, muncul ketika hanya salah satu dari <math>b</math> dan <math>c</math> tak nol, dan subgelanggang komutatif <math>P_m</math> kemudian sebuah salinan dari bidang bilangan dual.

Ketika <math>\operatorname{M}(2,\mathbb{R}) </math> dikonfigurasi ulang dengan sebuah [[penukaran basis]], profil ini berubah menjadi [[Kokuaternion#Profil|profil kuaternion terbagi]] di mana himpunan akar kuadrat <math>I </math> dan <math>-I</math> mengambil sebuah bentuk simetris sebagai [[hiperboloid]].

== Pemetaan ekui-areal ==
Pertama, ubah satu vektor diferensial ke yang lainnya:

:<math>\begin{pmatrix}du \\ dv \end{pmatrix} =
    \begin{pmatrix}p & r\\ q & s \end{pmatrix} \begin{pmatrix}dx \\ dy \end{pmatrix} =
    \begin{pmatrix}p\, dx + r\, dy \\  q\, dx + s\, dy\end{pmatrix}</math>

Luas-luas diukur dengan ''densitas'' <math>dx \wedge dy</math>, [[Bentuk diferensial|2 bentuk diferensial]] yang melibatkan penggunaan [[aljabar eksterior]]. Densitas yang diubah tersebut adalah

:<math>\begin{align}
  du \wedge dv &= 0 + ps\ dx \wedge dy + qr\ dy \wedge dx + 0 \\
               &= (ps - qr)\ dx \wedge dy \\
               &= \det(g)\ dx \wedge dy
\end{align}</math>

Demikian pemetaan ekui-areal diidentifikasi dengan <math>\operatorname{SL}(2,\mathbb{R})=\{g \in \operatorname{M}(2,\mathbb{R}): \det(g)=1\}</math> (lihat [[SL2(R)|SL<sub>2</sub>(R)]]), [[grup linear khusus]]. Diberikan profil di atas, setiap <math>g</math> terletak dalam sebuah subgelanggang komutatif <math>P_m</math> mewakili sebuah tipe bidang kompleks menurut kuadrat dari <math>m</math> Karena <math>g g^* = I</math>, salah satu dari tiga alternatif berikut terjadi:

* <math>mm=-I</math> dan <math>g</math> ada pada sebuah lingkaran [[Rotasi (matematika)|rotasi]] Eukildes; atau
* <math>mm=I</math> dan <math>g</math> ada pada sebuah hiperbola [[pemetaan apit]], atau
* <math>mm=0</math> dan <math>g</math> ada pada sebuah garis [[pemetaan geser]].

Menulis mengenai [[Grup afin#Grup afin planar|pemetaan afin planar]], Rafael Artzy membuat sebuah trikotomi planar yang serupa, pemetaan linear dalam bukunya ''Linear Geometry'' (1965).

== Fungsi matriks real 2 × 2 ==
Subgelanggang komutatif <math>\operatorname{M}(2,\mathbb{R})</math> menentukan teori fungsi; khususnya tiga tipe subbidang memiliki [[struktur aljabar]] kepunyaan mereka yang menetapkan nilai [[ekspresi aljabar]]. Pertimbangan fungsi [[akar kuadrat]] dan fungsi [[logaritma]] tersebut berfungsi untuk mengilustrasikan batasnya tersirat oleh sifat-sifat khusus setiap tipe subbidang <math>P_m </math> yang digambarkan di profil di atas. Konsep [[komponen identitas]] dari [[grup satuan]] <math>P_m </math> mengarah ke [[penguraian polar]] elemen dari grup satuan:

* Jika <math>mm =-I</math>, maka <math>z = \rho \exp(\theta m)</math>.
* Jika <math>mm = 0 </math>, maka <math>z = \rho \exp(sm)</math> atau <math>z = -\rho \exp(sm)</math>.
* Jika <math>mm = 1 </math>, maka <math>z = \rho \exp(am)</math> atau <math>z = -\rho \exp(am)</math> atau <math>z = m\rho\exp(am)</math> atau <math>z = -m\rho\exp(am)</math>.

Dalam kasus pertama <math>\exp(\theta m) = \cos(\theta) + m \sin(\theta)</math>. Dalam kasus bilangan dual <math>\exp(sm) = 1 + sm</math>. Terakhir, dalam kasus bilangan kompleks terbagi terdapat empat komponen dalam grup satuan. Komponen identitas berparameter oleh <math>\rho</math> dan <math>\exp(am) = \cosh(a) + m \sinh(a) </math>.

Sekarang <math>\sqrt{\rho\exp(am)} = \sqrt{\rho}\exp\left(\frac 1 2 am\right)</math> terlepas dari  subbidang <math>P_m </math>, tetapi argumen dari fungsi harus diambil dari ''komponen identitas grup satuannya''. Setengah bidang hilang dalam kasus dari struktur bilangan dual, tiga per empat dari bidang harus dikecualikan dalam kasus dari struktur bilangan kompleks terbagi.

Dengan cara yang sama, jika <math>\rho \exp(am)</math> adalah sebuah elemen dari komponen identitas dari grup satuan dari sebuah bidang yang terkait dengan matriks 2 × 2 dari <math>m </math>, maka fungsi logaritma tersebut menghasilkan sebuah nilai <math>\log \rho + am</math>. Domain dari fungsi logaritma tersebut mendapat batasan yang sama seperti halnya fungsi akar kuadrat yang digambarkan di atas, setengah atau tiga perempat <math>P_m </math> harus dikecualikan dalam kasus <math>mm=0 </math> atau <math>mm=I </math>.

Teori fungsi yang lebih lanjut dapat dilihat di artikel [[fungsi kompleks]] untuk struktur <math>C</math>, atau di artikel [[variabel motor]] untuk struktur kompleks terbagi.

== Matriks real 2 × 2 sebagai bilangan kompleks ==
Setiap matriks real 2 × 2 dapat diartikan sebagai salah satu dari tiga bilangan kompleks (yang disamaratakan): bilangan kompleks standar, bilangan dual, dan bilangan kompleks terbagi. Di atas, aljabar matriks 2 × 2 diprofilkan sebagai sebuah gabungan bilangan kompleks, semua membagi sumbu real yang sama. Bidang-bidang ini diperkenalkan sebagai subgelanggang komutatif <math>P_m </math>. Salah satunya dapat menentukan bliangan matriks yang mana sebuah matriks 2 × 2 yang diberikan milik sebagai berikut dan menggolongkan jenis bilangan kompleks yang bidang tersebut mewakili.

Anggap matriks 2 × 2

:<math>z = \begin{pmatrix} a&b\\c&d \end{pmatrix}</math>

Bilangan kompleks <math>P_m </math> yang berisi <math>z</math> ditemukan sebagai berikut.

Seperti yang disebutkan di atas, kuadrat dari matriks <math>z</math> adalah diagonal ketika <math>a+d =0</math>. Matriks <math>z</math> harus diekspresikan sebagai jumlah sebuah perkalian dari [[matriks identitas]] <math>I   </math> dan sebuah matriks dalam [[hiperbidang]] <math>a+d =0</math>. [[Projeksi (aljabar linear)|Memproyeksikan]] <math>z</math> secara alternatif ke subruang-subruang <math>\mathbb{R}^4</math> ini menghasilkan

:<math>z = xI + n ,\quad x = \frac{a + d}{2}, \quad n = z - xI</math>

Selanjutnya,

:<math>n^2 = pI</math>

di mana

:<math >p = \frac{(a - d)^2}{4} + bc</math>

Sekarang <math>z</math> merupakan salah satu dari tiga tipe bilangan kompleks:

* Jika <math>p<0</math>, maka ini adalah sebuah [[bilangan kompleks]] biasa:

Misalkan <math>q=\frac{1}{\sqrt{-p}}, \quad m=qn</math>. Maka <math>m^2=I,\quad z=xI+m\sqrt{-p}</math>.

* Jika <math>p=0</math>, maka ini adlaah [[bilangan dual]]:

:<math>z = xI+n</math>

* Jika <math>p>0</math>, maka <math>z</math> adalah sebuah [[bilangan kompleks terbagi]]:

Misalkan <math>q=\frac{1}{\sqrt{p}},\quad m=qn</math>. Maka <math>m^2=I,\quad z=xI+m\sqrt{p}</math>.

Dengan cara yang sama, sebuah matriks 2 × 2 dapat juga diekspresikan dalam [[Penguraian polar#Penguraian planar alternatif|koordinat polar]] dengan peringatan bahwa terdapat dua [[Ruang terhubung|komponen terhubung]] dari grup satuan dalam bidang bilangan dual, dan empat komponen dalam bidang bilangan kompleks terbagi.

== Grup proyektif ==
Sebuah matriks real 2 × 2 yang diberikan dengan <math>ad\ne bc</math> bertindak pada [[koordinat projektif]] <math>[x:y]</math> dari garis projektif real <math>\mathbf{P}(\mathbb{R})</math> sebagai sebuah [[transformasi pecahan linear]]:

<math display="block">[x : y] \begin{pmatrix}a & c \\ b & d \end{pmatrix} \ = \ [ax + by: \ cx + dy]</math>Ketika <math>cx + dy = 0</math>, titik gambar tersebut adalah [[titik di takhingga]], sebaliknya<math display="block">[ax + by:\ cx + dy] \ \thicksim \left[\frac{ax + by} {cx + dy} : \ 1\right]</math>

Daripada bertindak pada bidang tersebut sebagai dalam seperti di bagian atas, sebuah matriks bertindak pada garis projektif <math>\mathbf{P}(\mathbb{R})</math>, dan semua matriks sebanding bertindak dengan cara yang sama.

Misalkan <math>p=ad-bc\ne 0</math>. Maka

:<math>\begin{pmatrix}a & c \\ b & d \end{pmatrix} \times \begin{pmatrix} d & -c \\ -b & a \end{pmatrix} \ = \ \begin{pmatrix} p & 0 \\ 0 & p \end{pmatrix}</math>

Aksi dari matriks ini pada garis projektif real tersebut adlaah

<math>[x : y] \begin{pmatrix}p & 0 \\ 0 & p \end{pmatrix} \ = \ [px : py] \thicksim [x : y]</math> karena koordinat projektif, sehingga aksi tersebut adalah pemetaan identitas pada garis projektif real. Oleh karena itu <math>\begin{pmatrix} a&c\\b&d \end{pmatrix}</math> dan <math>\begin{pmatrix} d&-c\\-b&a \end{pmatrix}</math> bertindak sebagai [[invers perkalian]].

Grup projektif tersebut dimulai dengan grup satuan <math>\operatorname{GL}(2,\mathbb{R})  </math> dari <math>\operatorname{M}(2,\mathbb{R})</math>, dan kemudian menghubungkan dua elemen jika mereka sebanding, karena aksi sebanding pada <math>\mathbf{P}(\mathbb{R})</math> identik:

<math>\operatorname{PGL}(2,\R) = \frac{\operatorname{GL}(2,\R)}{\sim}</math> (lihat [[PGL(2,R)]]) di mana <math>\sim</math> menghubungkan matriks sebanding. Setiap elemen dari [[grup linear projektif]] <math>\operatorname{PGL}(2,\R)</math> adalah sebuah [[kelas kesetaraan]] dibawah <math>\sim</math> dari matriks real 2 × 2 sebanding.

== Referensi ==


* [[:en:Rafael Artzy|Rafael Artzy]] (1965) ''Linear Geometry'', Chapter 2-6 Subgroups of the Plane Affine Group over the Real Field, hlm.&nbsp;94, [[:en:Addison-Wesley|Addison-Wesley]].
* Helmut Karzel & Gunter Kist (1985) "Kinematic Algebras and their Geometries", ditemukan di
** ''Rings and Geometry'', R. Kaya, P. Plaumann, and K. Strambach editors, hlm.&nbsp;437–509, termasuk 449,50, [[:en:D. Reidel|D. Reidel]]  .
* Svetlana Katok (1992) ''Fuchsian groups'', hlm.&nbsp;113ff, [[:en:University of Chicago Press|University of Chicago Press]]  .
* Garret Sobczyk (2012). "Chapter 2: Complex and Hyperbolic Numbers". ''New Foundations in Mathematics: The Geometric Concept of Number.'' Birkhäuser. .



== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Matriks+riil+2+%C3%97+2&oldid=29525023 Wikipedia bahasa Indonesia], revisi 29525023 (2026-08-04T15:04:22Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.