Nilai absolut

Dalam matematika, nilai absolut (juga dikenal dengan nilai mutlak atau modulus) dari suatu bilangan real , ditulis sebagai , adalah nilai dari  tanpa disertai tanda. Dengan kata lain,  jika  adalah bilangan positif atau nol dan  jika  adalah bilangan negatif (sehingga  bernilai positif). Sebagai contoh, nilai mutlak dari  adalah , dan nilai mutlak dari  juga adalah . Nilai mutlak dapat dibayangkan sebagai jarak suatu bilangan dari bilangan .

Perumuman dari nilai mutlak pada bilangan real muncul pada banyak objek matematika. Sebagai contoh, nilai mutlak juga didefinisikan pada bilangan kompleks, kuartenion, gelanggang terurut, lapangan, dan ruang vektor. Nilai mutlak juga berhubungan erat dengan definisi besaran, jarak, dan norma dalam banyak konteks di fisika dan matematika.

Terminologi dan penulisan 

Pada tahun 1806, Jean-Robert Argand memperkenalkan istilah module, yang berarti satuan pengukuran dalam bahasa Prancis, khususnya untuk nilai mutlak bilangan kompleks, dan kata itu akhirnya diserap dalam bahasa Inggris pada tahun 1866 sebagai modulus. Istilah "nilai mutlak" sudah digunakan dalam konteks ini sejak 1806 di Prancis dan 1857 di Inggris. Penulisan , dengan simbol garis vertikal di kedua sisi, diperkenalkan oleh Karl Weierstrass tahun 1841.

Penulisan garis vertikal juga muncul dalam banyak konteks matematika lainnya: sebagai contoh, jika digunakan pada himpunan, itu menandakan kardinalitasnya; jika digunakan pada matriks, itu menandakan determinannya. Garis vertikal menandakan nilai mutlak hanya pada objek aljabar yang memiliki definisi nilai mutlak, seperti bilangan real, bilangan kompleks, atau kuaternion. Penulisan yang mirip namun berbeda makna adalah penggunaan garis vertikal untuk norma Euklidean atau sup norm di , walau penulisan garis vertikal ganda ( dan ) lebih umum dan tidak ambigu.

Definisi dan sifat

Bilangan real 
Untuk setiap bilangan real , nilai mutlak dinyatakan dengan  ( diapit oleh garis vertikal) dan didefinisikan sebagai:

Dari definisi tersebut, nilai mutlak  akan selalu bernilai positif atau nol, tetapi tidak pernah negatif. Jika  bernilai negatif () maka nilai mutlaknya pasti positif ().

Dari sudut pandang geometri analitik, nilai mutlak dari sebuah bilangan real adalah jarak bilangan tersebut dari bilangan 0 pada garis bilangan real. Lebih umum lagi, nilai mutlak dari selisih dua bilangan real adalah jarak antara dua bilangan tersebut. Definisi fungsi jarak dalam matematika dapat dianggap sebagai perumuman dari nilai mutlak (lihat "Jarak" dibawah).

Definisi lain dari nilai mutlak adalah

karena akar kuadrat dari sebuah bilangan positif bernilai tunggal.

Nilai mutlak memiliki empat sifat dasar berikut (dengan a dan b adalah bilangan real), yang digunakan dalam perumuman definisi ini ke objek-objek lain:

{|
|-
| style="width: 250px" |
| Non-negatif
|-
|
|Positive-definiteness
|-
|
|Multiplikatif
|-
|
| Subadditivity, khususnya pertidaksamaan segitiga
|}

Sifat nonnegatif, definit positif, dan multiplikatif terlihat jelas dari definisi. Untuk membuktikan sifat pertidaksamaan segitiga berlaku, perhatikan bahwa   bernilai benar untuk  atau . Namun, karena  dan , mengakibatkan apapun nilai  yang dipilih, akan berlaku  untuk setiap bilangan real . Akibatnya, , sesuai dengan yang diharapkan. (Untuk perumuman bukti ini di bilangan kompleks, lihat "Bukti pertidaksamaan segitiga untuk bilangan kompleks" dibawah.)

Berikut adalah beberapa sifat nilai mutlak lainnya yang berguna. Sifat-sifat berikut adalah konsekuensi langsung dari definisi atau tersirat dari empat sifat dasar diatas.
Dua sifat lain yang berguna terkait pertidaksamaan adalah:

 atau 

Hubungan ini dapat digunakan untuk menyelesaikan pertidaksamaan yang melibatkan nilai mutlak. Sebagai contoh:

{|
|-
|
|
|-
|
|
|}

Bilangan kompleks

Karena bilangan kompleks tidak terurut, definisi yang digunakan pada bilangan real tidak dapat digunakan secara langsung pada bilangan kompleks. Namun, intepretasi geometris nilai mutlak real sebagai jarak bilangan dari bilangan 0 dapat diperumum. Nilai mutlak dari bilangan kompleks didefinisikan sebagai jarak Euklidean bilangan tersebut dengan titik asal di bidang kompleks. Hal ini dapat dihitung menggunakan teorema Pythagoras: untuk setiap bilangan kompleks

dengan  dan  adalah bilangan real, nilai mutlak atau modulus dari  yang diwakili sebagai , didefinisikan sebagai

dengan  dan  masing-masing menyatakan bagian real dan imajiner dari . Ketika bagian imajiner bernilai nol, definisi ini sama dengan definisi nilai mutlak untuk bilangan real .

Ketika bilangan kompleks  dinyatakan dalam bentuk polar sebagai

dengan  dan  adalah argumen (atau fase) dari , nilai mutlaknya adalah

.

Karena sebarang bilangan kompleks  dan konjugat kompleksnya  memiliki nilai mutlak yang sama, dan berupa bilangan real non-negatif , nilai mutlak dari bilangan kompleks  juga dapat dinyatakan sebagai akar kuadrat dari  yakni:

Definisi ini memperumum definisi alternatif pada bilangan real: 

Nilai mutlak bilangan kompleks juga memenuhi empat sifat dasar dari nilai mutlak bilangan real diatas.

Dalam bahasa teori grup, sifat multiplikatif dapat dinyatakan sebagai berikut: nilai mutlak adalah sebuah homomorfisme grup dari grup multiplikatif bilangan kompleks ke suatu grup atas perkalian bilangan real.

Hal yang penting adalah sifat subadditivy ("pertidaksamaan segitiga") dapat diperumum ke n bilangan kompleks sebagai

Importantly, the property of subadditivity ("triangle inequality") extends to any finite collection of  complex

Bukti pertidaksamaan segitiga untuk bilangan kompleks 
Sifat pertidaksamaan segitiga, yang dituliskan dalam persamaan , dapat ditunjukkan dengan menggunakan tiga sifat dasar dari bilangan kompleks: yakni, untuk setiap bilangan kompleks ,
(i): Terdapat  dengan  dan ; 
(ii): .

Dan, untuk himpunan bilangan kompleks , berlaku .  Secara khusus,

(iii):  Jika , maka .

Bukti untuk : Pilih  dengan  dan  (penjumlahan untuk ).  pertidaksamaan dapat ditunjukkan dengan: 
.

Dari bukti tersebut terlihat bahwa kesamaan pada pertidaksamaan  berlaku jika semua  adalah bilangan real non-negatif; yang selanjutnya berlaku jika semua  yang bukan nol, memiliki argumen yang sama, maksudnya,  untuk suatu konstanta kompleks  dan bilangan real  untuk .

Fungsi nilai mutlak

Fungsi nilai mutlak bilangan real bersifat kontinu dimanapun. Fungsi ini juga terturunkan dimanapun kecuali di . Fungsi ini monoton turun pada selang , dan monoton naik pada selang . Karena bilangan real dan lawannya memiliki nilai mutlak yang sama, fungsi ini juga merupakan fungsi genap sehingga tidak memiliki invers.  Fungsi nilai mutlak adalah fungsi konveks dan fungsi linear bagian-demi-bagian.

Fungsi nilai mutlak untuk bilangan real dan kompleks bersifat idempoten.

Hubungan dengan fungsi tanda
Nilai dari fungsi nilai mutlak tidak bergantung pada tanda bilangan, sedangkan fungsi tanda menghasilkan tanda dari bilangan dan tidak bergantung pada nilai bilangan tersebut. Hubungan antara kedua fungsi ini adalah:

atau

dan untuk ,

Turunan
Fungsi nilai mutlak memiliki turunan pada  dan tidak dapat diturunkan pada . Turunannya untuk  adalah fungsi tangga yang didefinisikan sebagai berikut:

Fungsi nilai mutlak adalah contoh fungsi kontinu yang memiliki titik minimum global, namun tidak memiliki turunan pada titik tersebut.

Fungsi nilai mutlak bilangan kompleks kontinu dimanapun, tetapi tidak terturunkan secara kompleks dimanapun, karena tidak memenuhi persamaan Cauchy–Riemann.

Turunan kedua dari  terhadap  bernilai 0 dimanapun kecuali di  (karena tidak memiliki turunan).

Antiturunan
Antiturunan (integral tak tentu) dari fungsi nilai mutlak real adalah

dengan  adalah sebarang konstanta integrasi. Akan tetapi, fungsi ini bukanlah integral kompleks tak tentu dari fungsi nilai mutlak, karena integral kompleks hanya terdefinisi untuk fungsi yang terturunkan secara kompleks (fungsi holomorfis); yang tidak dipenuhi oleh fungsi nilai mutlak kompleks.

Jarak

Nilai mutlak berhubungan erat dengan konsep jarak. Seperti yang disampaikan di atas, nilai mutlak dari bilangan real maupun kompleks adalah jarak dari bilangan tersebut ke titik nol; pada garis bilangan real untuk bilangan real, dan pada bidang kompleks  untuk bilangan kompleks. Secara lebih umum, nilai mutlak dari selisih dua bilangan real atau kompleks adalah jarak antara dua bilangan tersebut. Jarak Euklides antara titik  dan titik  dalam ruang Euklides dimensi-n didefinisikan sebagai:

Hal ini dapat dianggap sebagai perumuman, karena untuk bilangan real  dan (yakni di ruang dimensi-1), menurut definisi alternatif dari nilai mutlak berlaku

dan untuk bilangan kompleks  dan  (yakni di ruang dimensi-2):
 
{|
|-
|
|
|-
|
|
|-
|
|
|}

Keadaan di atas menunjukkan jarak "nilai mutlak", untuk bilangan real dan kompleks, sesuai dengan definisi jarak Euklides standar; yang mereka "warisi" ketika mengganggap mereka sebagai ruang Euklides dimensi satu dan dimensi dua.

Sifat dari nilai mutlak dari selisih dua bilangan: non-negatif, identity of indiscernibles, simetri, dan pertidaksamaan segitiga pada bahasan sebelumnya, digunakan untuk mendefinisikan fungsi jarak yang lebih umum:

Fungsi bernilai real  pada himpunan  disebut sebuah metrik (atau fungsi jarak) pada , jika fungsi tersebut memenuhi empat aksioma berikut:
{|
|-
|style="width:250px" | 
|Non-negatif
|-
|
|Identity of indiscernibles
|-
|
|Simetri
|-
|
|pertidaksamaan segitiga
|}

Perumuman

Gelanggang terurut
Definisi nilai mutlak untuk suatu bilangan real dapat diperumum untuk sebarang gelanggang terurut. Dengan demikian, jika  adalah elemen dari gelanggang terurut , maka nilai mutlak dari , yang ditulis sebagai , didefinisikan sebagai:

dengan  adalah invers penjumlahan dari , 0 adalah identitas penjumlahan, dan  dan  memiliki sifat yang sesuai dengan pengurutan yang ada di gelanggang tersebut.

Lapangan
Keempat sifat dasar dari nilai mutlak untuk bilangan real dapat digeneralisasikan untuk mendefinisikan konsep nilai mutlak pada sembarang lapangan.

Misalkan  lapangan. Suatu fungsi  dikatakan nilai mutlak (disebut juga modulus, nilai, atau valuasi)  jika memenuhi keempat aksioma berikut:

Di sini  menyatakan elemen identitas penjumlahan lapangan . Aksioma positif definit dan sifat multiplikatif mengakibatkan , dengan  adalah elemen identitas perkalian lapangan .  Nilai mutlak pada bilangan real dan bilangan kompleks yang didefinisikan di atas merupakan contoh dari nilai mutlak pada sembarang lapangan.

Jika  adalah nilai mutlak pada lapangan , fungsi  yang didefinisikan sebagai  merupakan metrik dan berikut merupakan pernyataan-pernyataan yang ekuivalen mengenai fungsi  dan :

  memenuhi pertidaksamaan ultrametrik  untuk setiap .
  adalah subhimpunan terbatas dari .
  untuk sembarang bilangan asli .
  untuk sembarang .
  untuk setiap 

Nilai mutlak yang memenuhi salah satu kondisi di atas, yang berarti juga memenuhi semua kondisi lain di atas, disebut sebagai nilai mutlak nonArchimedes. Sebaliknya, nilai mutlak yang tidak memenuhi salah satu kondisi di atas disebut sebagai nilai mutlak Archimedes.

Ruang Vektor 
Sifat-sifat nilai mutlak untuk bilangan real dapat dikembangkan dengan sedikit modifikasi untuk mendefinisikan konsep nilai mutlak pada sembarang ruang vektor.

Fungsi bernilai real pada ruang vektor  atas lapangan , dituliskan sebagai , disebut nilai mutlak, atau lebih umum disebut norma, jika memenuhi aksioma-aksioma berikut:

Untuk setiap , ,

Norma vektor juga disebut panjang vektor.

Dalam kasus Ruang Euklides , fungsi yang didefinisikan sebagai

merupakan norma yang disebut norma Euklides. Jika himpunan bilangan real  dipandang sebagai ruang vektor berdimensi satu , nilai mutllak dapat dipandang sebagai norma. Tidak hanya itu, nilai mutlak dapat dipandang sebagai norma "unik" pada ruang vektor  , dalam artian sembarang norma pada  pada  dapat dilihat sebagai .

Nilai mutlak pada bilangan kompleks merupakan salah satu contoh norma pada ruang hasil kali dalam, yang identik dengan norma Euklides dengan meninjau bidang kompleks sebagai bidang Euklides

Aljabar komposisi 
Setiap aljabar komposisi  memiliki involusi , dengan  adalah konjugasi dari . Hasil kali di dalam aljabar komposisi  dari elemen  dengan konjugatnya  dituliskan sebagai  dan disebut norma dari .

Himpunan bilangan real , bilangan kompleks , dan kuarternion  adalah aljabar komposisi dengan norma yang diberikan bentuk definit kuadratik. Nilai mutlak di semua aljabar pembagian ini adalah akar kuadrat dari norma di aljabar komposisi.

Secara umum, norma dari aljabar komposisi dapat berupa bentuk kuadrat yang bukan definit dan memiliki vektor null. Akan tetapi, sebagaimana umumnya pada aljabar pembagian, jika elemen   memiliki norm tidak nol, maka  memiliki elemen invers terhadap perkalian, yaitu .

Referensi

Daftar pustaka 
 Bartle; Sherbert; Introduction to real analysis (4th ed.), John Wiley & Sons, 2011 ISBN 978-0-471-43331-6.
 Nahin, Paul J.; An Imaginary Tale; Princeton University Press; (hardcover, 1998). ISBN 0-691-02795-1.
 Mac Lane, Saunders, Garrett Birkhoff, Algebra, American Mathematical Soc., 1999. ISBN 978-0-8218-1646-2.
 Mendelson, Elliott, Schaum's Outline of Beginning Calculus, McGraw-Hill Professional, 2008. ISBN 978-0-07-148754-2.
 O'Connor, J.J. and Robertson, E.F.; "Jean Robert Argand".
 Schechter, Eric; Handbook of Analysis and Its Foundations, pp 259–263, "Absolute Values", Academic Press (1997) ISBN 0-12-622760-8.

Matematika