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 .

Grafik fungsi y=|x|, dengan x bilangan real.

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:

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.

	Idempoten (Nilai mutlak dari nilai mutlak adalah nilai mutlak)
	Fungsi genap (simetri terhadap pencerminan sumbu-y)
	Identity of indiscernibles (setara dengan positive-definiteness)
	Pertidaksamaan segitiga (setara dengan subadditivity)
(jika )	Berlakunya sifat permbagian (setara dengan multiplikatif)
	Reverse triangle inequality (setara dengan subadditivity)

Dua sifat lain yang berguna terkait pertidaksamaan adalah:

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

Bilangan kompleks

Nilai mutlak pada bilangan kompleks adalah jarak dari ke titik nol. Dari gambar juga terlihat bahwa konjugat kompleks juga memiliki nilai mutlak yang sama.

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 z dinyatakan dalam bentuk polar sebagai

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

Karena sebarang bilangan kompleks z 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 n complex numbers as

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 ,

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

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

Grafik dari fungsi nilai mutlak untuk bilangan real.

Composition of absolute value with a cubic function in different orders

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 x ≠ 0,

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

Lihat pula: Ruang metrik

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:

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:

	Nonnegatif
	Definit positif
	Multiplikatif
	Pertidaksamaan segitiga

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

Lihat pula: Norma (matematika)

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 , ,

	Nonnegatif
	Definit positif
	Homogenitas positif
	Pertidaksamaan segitiga

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

1. Oxford English Dictionary, Draft Revision, June 2008
2. Nahin, O'Connor and Robertson, and functions.Wolfram.com.; for the French sense, see Littré, 1877
3. Lazare Nicolas M. Carnot, Mémoire sur la relation qui existe entre les distances respectives de cinq point quelconques pris dans l'espace, p. 105 at Google Books
4. James Mill Peirce, A Text-book of Analytic Geometry at Google Books. The oldest citation in the 2nd edition of the Oxford English Dictionary is from 1907. The term "absolute value" is also used in contrast to "relative value".
5. Nicholas J. Higham, Handbook of writing for the mathematical sciences, SIAM. ISBN 0-89871-420-6, p. 25
6. Spivak, Michael (1965). Calculus on manifolds : a modern approach to classical theorems of advanced calculus. New York. ISBN 0-8053-9021-9. OCLC 187146. 
7. Munkres, James R. (1991). Analysis on manifolds. Redwood City, Calif.: Addison-Wesley Pub. Co., Advanced Book Program. ISBN 978-1-4294-8504-3. OCLC 170966279. 
8. Mendelson, p. 2.
9. Stewart, James (2001). Calculus : concepts and contexts (edisi ke-2nd ed). Pacific Grove, CA: Brooks/Cole. ISBN 0-534-37718-1. OCLC 44934410. Pemeliharaan CS1: Teks tambahan (link)
10. González, Mario O. (1992). Classical Complex Analysis. CRC Press. hlm. 19. ISBN 9780824784157. 
11. Lorenz, Falko (2006–2008). Algebra. Silvio Levy. New York: Springer. doi:10.1007/978-0-387-72488-1. ISBN 978-0-387-31608-6. MR 2371763. OCLC 209914197.  Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan)Pemeliharaan CS1: Format tanggal (link)
12. Weisstein, Eric W. Absolute Value. From MathWorld–A Wolfram Web Resource.
13. Bartel and Sherbert, p. 163
14. These axioms are not minimal; for instance, non-negativity can be derived from the other three: 0 = d(a, a) ≤ d(a, b) + d(b, a) = 2d(a, b).
15. Mac Lane, p. 264.
16. Schechter, Eric (1996-10-24). Handbook of Analysis and Its Foundations (dalam bahasa Inggris). Academic Press. hlm. 260. ISBN 978-0-08-053299-8.  Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan)
17. Schechter, Eric (1996-10-24). Handbook of Analysis and Its Foundations (dalam bahasa Inggris). Academic Press. hlm. 260–261. ISBN 978-0-08-053299-8.  Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan)

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.