Jumlah langsung - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-25T23:04:25Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 25 Agustus 2026 23.04
Baris 5:		Baris 5:
	Dalam kasus dua penjumlahan, atau suatu jumlah terhingga, jumlah langsungnya sama dengan [[hasilkali langsung]]. Jika operasi aritmetika ditulis sebagai <math>+</math>, seperti biasanya di grup abelian, lalu kita pakai penjumlahan langsung. Jika operasi aritmetika ditulis sebagai × atau ⋅ atau menggunakan penjajaran (seperti dalam ekspresi <math>xy</math>) kita menggunakan hasilkali langsung.		Dalam kasus dua penjumlahan, atau suatu jumlah terhingga, jumlah langsungnya sama dengan [[hasilkali langsung]]. Jika operasi aritmetika ditulis sebagai <math>+</math>, seperti biasanya di grup abelian, lalu kita pakai penjumlahan langsung. Jika operasi aritmetika ditulis sebagai × atau ⋅ atau menggunakan penjajaran (seperti dalam ekspresi <math>xy</math>) kita menggunakan hasilkali langsung.

	Dalam kasus di mana banyak objek digabungkan, kebanyakan penulis membuat perbedaan antara jumlah langsung dan hasilkali langsung. Sebagai contoh, perhatikan jumlah langsung dan hasilkali langsung dari tak hingga. Unsur dalam hasilkali langsung adalah urutan tak hingga, seperti <math>(1,2,3,\dots)</math> tetapi dalam jumlah langsung, akan ada persyaratan bahwa semua kecuali banyak koordinat menjadi nol, sehingga urutan <math>(1,2,3,\dots)</math> akan menjadi elemen hasilkali langsung tetapi bukan dari jumlah langsung, sementara <math>(1,2,0,0,0,\dots)</math> akan menjadi elemen keduanya. Secara lebih umum, jika tanda + digunakan, semua kecuali banyak koordinat pasti harus nol, sedangkan jika beberapa bentuk perkalian digunakan, semua kecuali banyak koordinat pasti harus 1. Dalam bahasa yang lebih teknis, jika ringkasannya adalah <math>(A_i)_{i \in I}</math>, jumlah langsung <math>\bigoplus_{i \in I} A_i</math> didefinisikan sebagai himpunan tupel <math>(a_i)_{i \in I}</math> dengan <math>a_i \in A_i</math> seperti yang <math>a_i=0</math> untuk semua kecuali '' i ''. Jumlah langsung <math>\bigoplus_{i \in I} A_i</math> terkandung dalam [[produk langsung\|hasilkali langsung]] <math>\prod_{i \in I} A_i</math>, tetapi biasanya sangat lebih kecil jika [[kumpulan indeks]] <math> I </math> tidak terbatas, karena hasilkali langsung tidak memiliki batasan bahwa semua kecuali banyak koordinat harus nol.		Dalam kasus di mana banyak objek digabungkan, kebanyakan penulis membuat perbedaan antara jumlah langsung dan hasilkali langsung. Sebagai contoh, perhatikan jumlah langsung dan hasilkali langsung dari tak hingga. Unsur dalam hasilkali langsung adalah urutan tak hingga, seperti <math>(1,2,3,\dots)</math> tetapi dalam jumlah langsung, akan ada persyaratan bahwa semua kecuali banyak koordinat menjadi nol, sehingga urutan <math>(1,2,3,\dots)</math> akan menjadi elemen hasilkali langsung tetapi bukan dari jumlah langsung, sementara <math>(1,2,0,0,0,\dots)</math> akan menjadi elemen keduanya. Secara lebih umum, jika tanda + digunakan, semua kecuali banyak koordinat pasti harus nol, sedangkan jika beberapa bentuk perkalian digunakan, semua kecuali banyak koordinat pasti harus 1. Dalam bahasa yang lebih teknis, jika ringkasannya adalah <math>(A_i)_{i \in I}</math>, jumlah langsung <math>\bigoplus_{i \in I} A_i</math> didefinisikan sebagai himpunan tupel <math>(a_i)_{i \in I}</math> dengan <math>a_i \in A_i</math> seperti yang <math>a_i=0</math> untuk semua kecuali '' i ''. Jumlah langsung <math>\bigoplus_{i \in I} A_i</math> terkandung dalam [[produk langsung\|hasilkali langsung]] <math>\prod_{i \in I} A_i</math>, tetapi biasanya sangat lebih kecil jika [[kumpulan indeks]] <math> I </math> tidak terbatas, karena hasilkali langsung tidak memiliki batasan bahwa semua kecuali banyak koordinat harus nol.<ref>Thomas W. Hungerford, ''Algebra'', p.60, Springer, 1974,</ref>

	== Contoh ==		== Contoh ==
Baris 13:		Baris 13:

	=== Jumlah langsung internal dan eksternal ===		=== Jumlah langsung internal dan eksternal ===

	Perbedaan dibuat antara jumlah langsung internal dan eksternal, meskipun keduanya isomorfik. Jika faktor ditentukan terlebih dahulu, dan kemudian jumlah langsungnya ditentukan dalam faktor, kita memiliki jumlah. Misalnya, jika kita mendefinisikan bilangan real <math>\mathbf{R}</math> dan kemudian tentukan <math>\mathbf{R} \oplus \mathbf{R}</math> jumlah langsung dikatakan eksternal.		Perbedaan dibuat antara jumlah langsung internal dan eksternal, meskipun keduanya isomorfik. Jika faktor ditentukan terlebih dahulu, dan kemudian jumlah langsungnya ditentukan dalam faktor, kita memiliki jumlah. Misalnya, jika kita mendefinisikan bilangan real <math>\mathbf{R}</math> dan kemudian tentukan <math>\mathbf{R} \oplus \mathbf{R}</math> jumlah langsung dikatakan eksternal.

Baris 19:		Baris 18:

	== Homomorfisme ==		== Homomorfisme ==
			Jumlah langsung <math>\bigoplus_{i \in I} A_i</math> dilengkapi dengan '' [[Proyeksi (matematika) \| proyeksi]] '' [[homomorfisme]] <math>\pi_j \colon \, \bigoplus_{i \in I} A_i \to A_j</math> untuk setiap '' j '' dalam '' I '' dan '' coprojection '' <math>\alpha_j \colon \, A_j \to \bigoplus_{i \in I} A_i</math> untuk setiap '' j '' pada ''I''.<ref>Chris Heunen. ''Categorical Quantum Models and Logics''. Amsterdam University Press. 2009. hlm. 26. ISBN 9085550246.</ref> Diberikan struktur aljabar lain <math> B </math> (dengan struktur tambahan yang sama) dan homomorfisme <math>g_j \colon A_j \to B</math> untuk setiap '' j '' di '' I '', ada homomorfisme yang untuk <math>g \colon \, \bigoplus_{i \in I} A_i \to B</math>, disebut jumlah dari ''g''<sub>''j''</sub>, seperti <math>g \alpha_j =g_j</math> for semua '' j ''. Jadi jumlah langsungnya adalah [[produk bersama\|hasilkali bersama]] dalam [[kategori (matematika) \| kategori]] yang sesuai.
	Jumlah langsung <math>\bigoplus_{i \in I} A_i</math> dilengkapi dengan '' [[Proyeksi (matematika) \| proyeksi]] '' [[homomorfisme]] <math>\pi_j \colon \, \bigoplus_{i \in I} A_i \to A_j</math> untuk setiap '' j '' dalam '' I '' dan '' coprojection '' <math>\alpha_j \colon \, A_j \to \bigoplus_{i \in I} A_i</math> untuk setiap '' j '' pada ''I''. Diberikan struktur aljabar lain <math> B </math> (dengan struktur tambahan yang sama) dan homomorfisme <math>g_j \colon A_j \to B</math> untuk setiap '' j '' di '' I '', ada homomorfisme yang untuk <math>g \colon \, \bigoplus_{i \in I} A_i \to B</math>, disebut jumlah dari ''g''<sub>''j''</sub>, seperti <math>g \alpha_j =g_j</math> for semua '' j ''. Jadi jumlah langsungnya adalah [[produk bersama\|hasilkali bersama]] dalam [[kategori (matematika) \| kategori]] yang sesuai.

	== Lihat pula ==		== Lihat pula ==
Baris 30:		Baris 28:

	== Catatan ==		== Catatan ==


	== Referensi ==		== Referensi ==
	*		<references />



	== Sumber dan atribusi ==		== Sumber dan atribusi ==

	Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Jumlah+langsung&oldid=29300189 Wikipedia bahasa Indonesia], revisi 29300189 (2026-06-01T00:55:58Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.		Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Jumlah+langsung&oldid=29300189 Wikipedia bahasa Indonesia], revisi 29300189 (2026-06-01T00:55:58Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

			<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29300189; atribusi sumber disertakan.

2026-08-25T22:35:21Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29300189; atribusi sumber disertakan.

Halaman baru

Dalam [[aljabar abstrak]], '''jumlah langsung''' adalah salah satu operasi pada himpunan. Sebagai contoh, jumlah langsung <math> \mathbf{R} \oplus \mathbf{R} </math>, dimana <math> \mathbf{R} </math> adalah [[ruang koordinat nyata]], adalah [[bidang Kartesius]], <math> \mathbf{R} ^2 </math>. Untuk melihat bagaimana penjumlahan langsung digunakan dalam aljabar abstrak, pertimbangkan struktur yang lebih mendasar dalam aljabar abstrak, [[grup abelian]]. Jumlah langsung dari dua [[grup abelian]] <math>A</math> and <math>B</math> adalah grup abelian lainnya <math>A\oplus B</math> terdiri dari urutan pasangan <math>(a,b)</math>, dimana <math>a \in A</math> dan <math>b \in B</math>. (Secara membingungkan, [[pasangan terurut]] ini juga disebut [[Produk Cartesius|hasilkali kartesian]] dari dua grup.) Untuk menambahkan pasangan terurut, kita definisikan penjumlahan <math>(a, b) + (c, d)</math> sebagai <math>(a + c, b + d)</math>; dengan kata lain, penjumlahan didefinisikan secara koordinat. Proses serupa dapat digunakan untuk membentuk jumlah langsung dari dua [[struktur aljabar]], seperti [[gelanggang (matematika) |gelanggang]], [[modul (matematika) |modul]], dan [[ruang vektor]].

Kita juga dapat membentuk penjumlahan langsung dengan jumlah penjumlahan yang terbatas, misalnya <math>A \oplus B \oplus C</math>, diberikan <math>A, B,</math> dan <math> C </math> adalah jenis struktur aljabar yang sama (yaitu, semua grup, gelanggang, ruang vektor, dll.). Ini bergantung pada fakta bahwa penjumlahan langsungnya adalah [[asosiatif]] [[hingga]] [[isomorfisme]], <math>(A \oplus B) \oplus C \cong A \oplus (B \oplus C)</math> untuk struktur aljabar <math>A</math>, <math>B</math>, dan <math>C</math> dari jenis yang sama. Jumlah langsung juga [[komutatif]] hingga isomorfisme, yaitu <math>A \oplus B \cong B \oplus A</math>. untuk struktur aljabar apa pun <math>A</math> dan <math>B</math> dari jenis yang sama.

Dalam kasus dua penjumlahan, atau suatu jumlah terhingga, jumlah langsungnya sama dengan [[hasilkali langsung]]. Jika operasi aritmetika ditulis sebagai <math>+</math>, seperti biasanya di grup abelian, lalu kita pakai penjumlahan langsung. Jika operasi aritmetika ditulis sebagai × atau ⋅ atau menggunakan penjajaran (seperti dalam ekspresi <math>xy</math>) kita menggunakan hasilkali langsung.

Dalam kasus di mana banyak objek digabungkan, kebanyakan penulis membuat perbedaan antara jumlah langsung dan hasilkali langsung. Sebagai contoh, perhatikan jumlah langsung dan hasilkali langsung dari tak hingga. Unsur dalam hasilkali langsung adalah urutan tak hingga, seperti <math>(1,2,3,\dots)</math> tetapi dalam jumlah langsung, akan ada persyaratan bahwa semua kecuali banyak koordinat menjadi nol, sehingga urutan <math>(1,2,3,\dots)</math> akan menjadi elemen hasilkali langsung tetapi bukan dari jumlah langsung, sementara <math>(1,2,0,0,0,\dots)</math> akan menjadi elemen keduanya. Secara lebih umum, jika tanda + digunakan, semua kecuali banyak koordinat pasti harus nol, sedangkan jika beberapa bentuk perkalian digunakan, semua kecuali banyak koordinat pasti harus 1. Dalam bahasa yang lebih teknis, jika ringkasannya adalah <math>(A_i)_{i \in I}</math>, jumlah langsung <math>\bigoplus_{i \in I} A_i</math> didefinisikan sebagai himpunan tupel <math>(a_i)_{i \in I}</math> dengan <math>a_i \in A_i</math> seperti yang <math>a_i=0</math> untuk semua kecuali '' i ''. Jumlah langsung <math>\bigoplus_{i \in I} A_i</math> terkandung dalam [[produk langsung|hasilkali langsung]] <math>\prod_{i \in I} A_i</math>, tetapi biasanya sangat lebih kecil jika [[kumpulan indeks]] <math> I </math> tidak terbatas, karena hasilkali langsung tidak memiliki batasan bahwa semua kecuali banyak koordinat harus nol.

== Contoh ==
Bidang <math>xy</math>, sebuah [[ruang vektor]] dua dimensi, dapat dianggap sebagai penjumlahan langsung dari dua ruang vektor satu dimensi, yaitu sumbu '' x '' dan '' y '' . Dalam penjumlahan langsung ini, sumbu <math>x</math> dan <math>y</math> hanya berpotongan di titik asal (vektor nol). Penambahan didefinisikan secara koordinat, yaitu <math>(x_1,y_1) + (x_2,y_2) = (x_1+x_2, y_1 + y_2)</math>, yang sama dengan penjumlahan vektor.

Diberikan dua struktur <math> A </math> dan <math> B </math>, jumlah langsungnya ditulis sebagai <math>A\oplus B</math>. Diberikan [[keluarga terindeks]] struktur <math>A_i</math>, diindeks dengan <math>i \in I</math>, jumlah langsung dapat ditulis <math>A=\bigoplus_{i\in I}A_i</math>. Pada ''A<sub>i</sub>'' disebut '''penjumlahan langsung''' dari <math>A</math>. Jika kumpulan indeks terhingga, jumlah langsungnya sama dengan hasilkali langsung. Dalam kasus grup, jika operasi grup ditulis sebagai <math> + </math> frasa "jumlah langsung" digunakan, sedangkan jika operasi grup ditulis <math>*</math> frasa "hasilkali langsung" digunakan. Ketika himpunan indeks takhingga, jumlah langsung tidak sama dengan hasilkali langsung karena jumlah langsung memiliki persyaratan tambahan bahwa semuanya.

=== Jumlah langsung internal dan eksternal ===

Perbedaan dibuat antara jumlah langsung internal dan eksternal, meskipun keduanya isomorfik. Jika faktor ditentukan terlebih dahulu, dan kemudian jumlah langsungnya ditentukan dalam faktor, kita memiliki jumlah. Misalnya, jika kita mendefinisikan bilangan real <math>\mathbf{R}</math> dan kemudian tentukan <math>\mathbf{R} \oplus \mathbf{R}</math> jumlah langsung dikatakan eksternal.

Sebaliknya, jika kita mendefinisikan beberapa struktur aljabar terlebih dahulu <math>S</math> dan kemudian tulis <math> S </math> sebagai penjumlahan langsung dari dua substruktur <math> V </math> dan <math> W </math>, maka jumlah langsungnya dikatakan internal. Dalam kasus ini, setiap elemen <math> S </math> diekspresikan secara unik sebagai kombinasi aljabar dari elemen <math> V </math> dan elemen dari <math>W</math>. Untuk contoh jumlah langsung internal, pertimbangkan <math>\mathbb Z_6</math> ([[bilangan bulat]] modulo enam), yang elemennya <math>\{0, 1, 2, 3, 4, 5\}</math>. Ini diekspresikan sebagai jumlah langsung internal <math>\mathbb Z_6 = \{0, 2, 4\} \oplus \{0, 3\}</math>.

== Homomorfisme ==

Jumlah langsung <math>\bigoplus_{i \in I} A_i</math> dilengkapi dengan '' [[Proyeksi (matematika) | proyeksi]] '' [[homomorfisme]] <math>\pi_j \colon \, \bigoplus_{i \in I} A_i \to A_j</math> untuk setiap '' j '' dalam '' I '' dan '' coprojection '' <math>\alpha_j \colon \, A_j \to \bigoplus_{i \in I} A_i</math> untuk setiap '' j '' pada ''I''. Diberikan struktur aljabar lain <math> B </math> (dengan struktur tambahan yang sama) dan homomorfisme <math>g_j \colon A_j \to B</math> untuk setiap '' j '' di '' I '', ada homomorfisme yang untuk <math>g \colon \, \bigoplus_{i \in I} A_i \to B</math>, disebut jumlah dari ''g''<sub>''j''</sub>, seperti <math>g \alpha_j =g_j</math> for semua '' j ''. Jadi jumlah langsungnya adalah [[produk bersama|hasilkali bersama]] dalam [[kategori (matematika) | kategori]] yang sesuai.

== Lihat pula ==
* [[Jumlah langsung grup]]
* [[Jumlah langsung permutasi]]
* [[Jumlah langsung dari grup topologi]]
* [[Produk batasan|hasilkali batasan]]
* [[Jumlah Whitney]]

== Catatan ==

== Referensi ==
*

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Jumlah+langsung&oldid=29300189 Wikipedia bahasa Indonesia], revisi 29300189 (2026-06-01T00:55:58Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.