Rentang linear - Riwayat revisi

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

2026-08-25T18:06:15Z

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

← Revisi sebelumnya		Revisi per 25 Agustus 2026 18.06
Baris 1:		Baris 1:
	Dalam [[aljabar linear]], '''rentang linear''' atau '''span''' dari sebarang [[Himpunan (matematika)\|himpunan]] <math>S</math> berisi [[Vektor Euklides\|vektor-vektor]] (yang berasal dari suatu ruang vektor) adalah himpunan semua [[kombinasi linear]] dari vektor-vektor di <math>S.</math> Rentang linear dari <math>S</math> umum disimbolkan dengan <math>\text{span}(S).</math> Sebagai contoh, dua vektor yang saling [[Kebebasan linear\|bebas linear]] akan merentang suatu [[Bidang (geometri)\|bidang]]. Rentang dapat dikarakterisasikan sebagai [[Irisan (teori himpunan)\|irisan]] dari semua [[Subruang vektor\|subruang (vektor)]] yang mengandung <math>S,</math> maupun sebagai subruang yang mengandung <math>S.</math> Alhasil, rentang dari himpunan vektor menghasilkan suatu ruang vektor. Rentang dapat diperumum untuk [[matroid]] dan [[Modul (matematika)\|modul]].		[[File:Basis_for_a_plane.svg\|thumb\|right\|280px\|Bidang yang direntang oleh vektor '''u''' dan '''v''' di '''R''' 3]]

			Dalam [[aljabar linear]], '''rentang linear''' atau '''span''' dari sebarang [[Himpunan (matematika)\|himpunan]] <math>S</math> berisi [[Vektor Euklides\|vektor-vektor]] (yang berasal dari suatu ruang vektor) adalah himpunan semua [[kombinasi linear]] dari vektor-vektor di <math>S.</math><ref>p. 29, § 2.7</ref> Rentang linear dari <math>S</math> umum disimbolkan dengan <math>\text{span}(S).</math><ref>pp. 29-30, §§ 2.5, 2.8</ref> Sebagai contoh, dua vektor yang saling [[Kebebasan linear\|bebas linear]] akan merentang suatu [[Bidang (geometri)\|bidang]]. Rentang dapat dikarakterisasikan sebagai [[Irisan (teori himpunan)\|irisan]] dari semua [[Subruang vektor\|subruang (vektor)]] yang mengandung <math>S,</math> maupun sebagai subruang yang mengandung <math>S.</math> Alhasil, rentang dari himpunan vektor menghasilkan suatu ruang vektor. Rentang dapat diperumum untuk [[matroid]] dan [[Modul (matematika)\|modul]].

	Untuk menyatakan bahwa suatu ruang vektor <math>V</math> adalah rentang linear dari subset <math>S,</math> beberapa pernyataan berikut umum digunakan: <math>S</math> merentang <math>V,</math> <math>S</math> adalah ''himpunan merentang'' dari <math>V,</math> <math>V</math> direntang/dibangkitkan oleh <math>S,</math> atau <math>S</math> adalah [[Pembangkit (matematika)\|pembangkit]] atau himpunan pembangkit dari <math>V.</math>		Untuk menyatakan bahwa suatu ruang vektor <math>V</math> adalah rentang linear dari subset <math>S,</math> beberapa pernyataan berikut umum digunakan: <math>S</math> merentang <math>V,</math> <math>S</math> adalah ''himpunan merentang'' dari <math>V,</math> <math>V</math> direntang/dibangkitkan oleh <math>S,</math> atau <math>S</math> adalah [[Pembangkit (matematika)\|pembangkit]] atau himpunan pembangkit dari <math>V.</math>

	== Definisi ==		== Definisi ==
	Untuk sebarang [[ruang vektor]] <math>V</math> atas [[Lapangan (matematika)\|lapangan]] <math>K,</math> rentang dari suatu himpunan <math>S</math> yang beranggotakan vektor-vektor (tidak harus berhingga) didefinisikan sebagai irisan <math>W</math> dari semua [[Subruang vektor\|subruang]] dari <math>V</math> yang mengandung <math>S.</math> Irisan <math>W</math> disebut sebagai subruang yang ''direntang oleh'' <math>S,</math> atau oleh vektor-vektor di <math>S.</math> Kebalikannya, <math>S</math> disebut ''himpunan merentang'' dari <math>W</math>, dan kita katakan <math>S</math> ''merentang <math>W.</math>''		Untuk sebarang [[ruang vektor]] <math>V</math> atas [[Lapangan (matematika)\|lapangan]] <math>K,</math> rentang dari suatu himpunan <math>S</math> yang beranggotakan vektor-vektor (tidak harus berhingga) didefinisikan sebagai irisan <math>W</math> dari semua [[Subruang vektor\|subruang]] dari <math>V</math> yang mengandung <math>S.</math> Irisan <math>W</math> disebut sebagai subruang yang ''direntang oleh'' <math>S,</math> atau oleh vektor-vektor di <math>S.</math> Kebalikannya, <math>S</math> disebut ''himpunan merentang'' dari <math>W</math>, dan kita katakan <math>S</math> ''merentang <math>W.</math>''

	Rentang dari <math>S</math> juga dapat didefinisikan sebagai himpunan dari semua [[kombinasi linear]] terhingga dari vektor-vektor di <math>S.</math> Secara matematis, ini dituliskan sebagai<math display="block"> \operatorname{span}(S) = \left \{ {\left.\sum_{i=1}^k \lambda_i \mathbf v_i \;\right\|\; k \in \N, \mathbf v_i \in S, \lambda _i \in K} \right \}.</math>Pada kasus <math>S</math> berukuran tak-hingga, syarat kombinasi linear yang tak-terhingga (yakni, keadaan ketika kombinasi menggunakan konsep penjumlahan tak-hingga, dengan mengasumsikan penjumlahan seperti itu dapat didefinisikan) tidak disertakan dalam definisi.		Rentang dari <math>S</math> juga dapat didefinisikan sebagai himpunan dari semua [[kombinasi linear]] terhingga dari vektor-vektor di <math>S.</math><ref>p. 100, ch. 2, Definition 2.13</ref><ref>pp. 29-30, §§ 2.5, 2.8</ref><ref>pp. 41-42</ref><ref>Vector Space Span.</ref> Secara matematis, ini dituliskan sebagai<math display="block"> \operatorname{span}(S) = \left \{ {\left.\sum_{i=1}^k \lambda_i \mathbf v_i \;\right\|\; k \in \N, \mathbf v_i \in S, \lambda _i \in K} \right \}.</math>Pada kasus <math>S</math> berukuran tak-hingga, syarat kombinasi linear yang tak-terhingga (yakni, keadaan ketika kombinasi menggunakan konsep penjumlahan tak-hingga, dengan mengasumsikan penjumlahan seperti itu dapat didefinisikan) tidak disertakan dalam definisi.

	== Contoh ==		== Contoh ==
Baris 18:		Baris 20:

	== Teorema ==		== Teorema ==

	=== Kesetaraan antar definisi ===		=== Kesetaraan antar definisi ===
	Untuk sebarang ruang vektor <math>V</math> atas lapangan <math>K,</math> himpunan semua kombinasi linear dari subset <math>S</math> dari <math>V,</math> adalah subruang terkecil dari <math>V</math> yang mengandung <math>S.</math>		Untuk sebarang ruang vektor <math>V</math> atas lapangan <math>K,</math> himpunan semua kombinasi linear dari subset <math>S</math> dari <math>V,</math> adalah subruang terkecil dari <math>V</math> yang mengandung <math>S.</math>
Baris 33:		Baris 34:
	: Karena <math>S</math> merentang <math>V,</math> maka <math>S \cup \{ \mathbf w_1 \}</math> juga harus merentang <math>V,</math> dan <math>\mathbf w_1</math> harus merupakan hasil kombinasi linear dari <math>S.</math> Akibatnya <math>S \cup \{ \mathbf w_1 \}</math> bergantung linear, dan kita dapat membuat satu vektor dari <math>S</math> yang dapat dinyatakan sebagai kombinasi anggota <math>S</math> lainnya. Vektor ini tidak mungkin <math>\mathbf{w}_i</math> karena <math>W</math> bebas linear. Himpunan yang dihasilkan proses ini adalah <math>\{ \mathbf w_1, \mathbf v_1, \ldots, \mathbf v_{i-1}, \mathbf v_{i+1}, \ldots, \mathbf v_m \},</math> yang merupakan himpunan merentang bagi <math>V.</math> Kita ulangi proses ini sebanyak <math>n</math> kali, yang tahap ke-<math>p</math>-nya akan menghasilkan himpunan hasil gabungan <math>\{ \mathbf w_1, \ldots, \mathbf w_p \}</math> dan <math>m-p</math> vektor dari <math>S.</math>		: Karena <math>S</math> merentang <math>V,</math> maka <math>S \cup \{ \mathbf w_1 \}</math> juga harus merentang <math>V,</math> dan <math>\mathbf w_1</math> harus merupakan hasil kombinasi linear dari <math>S.</math> Akibatnya <math>S \cup \{ \mathbf w_1 \}</math> bergantung linear, dan kita dapat membuat satu vektor dari <math>S</math> yang dapat dinyatakan sebagai kombinasi anggota <math>S</math> lainnya. Vektor ini tidak mungkin <math>\mathbf{w}_i</math> karena <math>W</math> bebas linear. Himpunan yang dihasilkan proses ini adalah <math>\{ \mathbf w_1, \mathbf v_1, \ldots, \mathbf v_{i-1}, \mathbf v_{i+1}, \ldots, \mathbf v_m \},</math> yang merupakan himpunan merentang bagi <math>V.</math> Kita ulangi proses ini sebanyak <math>n</math> kali, yang tahap ke-<math>p</math>-nya akan menghasilkan himpunan hasil gabungan <math>\{ \mathbf w_1, \ldots, \mathbf w_p \}</math> dan <math>m-p</math> vektor dari <math>S.</math>

	: Dapat dipastikan sampai tahap ke-<math>n</math> akan selalu ada suatu <math>\mathbf{v}_i</math> untuk dibuang dari <math>S</math>, akibatnya <math>\mathbf{v}_i</math> setidaknya sama banyaknya dengan <math>\mathbf{w}_i</math>; dengan kata lain, <math>m \geq n.</math> Untuk membuktikan hal ini, kita menggunakan bukti kontradiksi dengan menganggap <math>m < n.</math> Saat tahap ke-<math>m</math>, kita memiliki himpunan <math>\{ \mathbf w_1, \ldots, \mathbf w_m \}</math> dan kita dapat menambahkan vektor baru <math>\mathbf w_{m+1}.</math> Tapi karena <math>\{ \mathbf w_1, \ldots, \mathbf w_m \}</math> adalah himpunan merentang dari <math>V,</math> vektor <math>\mathbf w_{m+1}</math> adalah kombinasi linear dari <math>\{ \mathbf w_1, \ldots, \mathbf w_m \}</math>. Ini adalah kontradiksi, karena <math>W</math> bersifat bebas linear.		: Dapat dipastikan sampai tahap ke-<math>n</math> akan selalu ada suatu <math>\mathbf{v}_i</math> untuk dibuang dari <math>S</math>, akibatnya <math>\mathbf{v}_i</math> setidaknya sama banyaknya dengan <math>\mathbf{w}_i</math>; dengan kata lain, <math>m \geq n.</math> Untuk membuktikan hal ini, kita menggunakan bukti kontradiksi dengan menganggap <math>m < n.</math> Saat tahap ke-<math>m</math>, kita memiliki himpunan <math>\{ \mathbf w_1, \ldots, \mathbf w_m \}</math> dan kita dapat menambahkan vektor baru <math>\mathbf w_{m+1}.</math> Tapi karena <math>\{ \mathbf w_1, \ldots, \mathbf w_m \}</math> adalah himpunan merentang dari <math>V,</math> vektor <math>\mathbf w_{m+1}</math> adalah kombinasi linear dari <math>\{ \mathbf w_1, \ldots, \mathbf w_m \}</math>. Ini adalah kontradiksi, karena <math>W</math> bersifat bebas linear.

	=== Himpunan merentang dapat disederhanakan menjadi suatu basis ===		=== Himpunan merentang dapat disederhanakan menjadi suatu basis ===
	Misalkan <math>V</math> adalah ruang vektor dimensi terhingga. Sebarang himpunan vektor yang merentang <math>V</math> dapat disederhanakan menjadi suatu [[Basis (aljabar linear)\|basis]] bagi <math>V,</math> dengan membuang vektor dari keanggotaannya jika diperlukan (maksudnya, ketika ada vektor yang bergantung linear pada vektor-vektor lainnya). Jika [[aksioma pemilihan]] berlaku, teorema ini juga berlaku untuk kasus <math>V</math> berdimensi tak-hingga. Teorema ini juga mengartikan sebarang basis adalah himpunan merentang terkecil, ketika <math>V</math> berdimensi hingga.		Misalkan <math>V</math> adalah ruang vektor dimensi terhingga. Sebarang himpunan vektor yang merentang <math>V</math> dapat disederhanakan menjadi suatu [[Basis (aljabar linear)\|basis]] bagi <math>V,</math> dengan membuang vektor dari keanggotaannya jika diperlukan (maksudnya, ketika ada vektor yang bergantung linear pada vektor-vektor lainnya). Jika [[aksioma pemilihan]] berlaku, teorema ini juga berlaku untuk kasus <math>V</math> berdimensi tak-hingga. Teorema ini juga mengartikan sebarang basis adalah himpunan merentang terkecil, ketika <math>V</math> berdimensi hingga.

	~~== Catatan kaki ==~~


	== Daftar pustaka ==		== Daftar pustaka ==

	=== Buku ===		=== Buku ===
			*
	*		*
	*		*
	*		*
	*		*
	*
	* Lay, David C. (2021) ''Linear Algebra and Its Applications (6th Edition)''. Pearson.		* Lay, David C. (2021) ''Linear Algebra and Its Applications (6th Edition)''. Pearson.

	=== Situs web ===		=== Situs web ===
			*
	*		*
	*		*
	*

	== Pranala luar ==		== Pranala luar ==

	* [https://www.khanacademy.org/math/linear-algebra/vectors_and_spaces/linear_combinations/v/linear-combinations-and-span Linear Combinations and Span: Understanding linear combinations and spans of vectors], khanacademy.org.		* [https://www.khanacademy.org/math/linear-algebra/vectors_and_spaces/linear_combinations/v/linear-combinations-and-span Linear Combinations and Span: Understanding linear combinations and spans of vectors], khanacademy.org.
	*		*

			== Referensi ==
			<references />

			== Sumber dan atribusi ==

	== ~~Sumber~~ dan ~~atribusi ==~~		Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Rentang+linear&oldid=28457618 Wikipedia bahasa Indonesia], revisi 28457618 (2025-11-13T10:01:08Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Gambar pada artikel ini bersumber dari Wikimedia Commons dan mengikuti ketentuan lisensi masing-masing berkas. Mohon gunakan konten dan media secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

	~~Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Rentang+linear&oldid=28457618 Wikipedia bahasa Indonesia], revisi 28457618 (2025~~-11-~~13T10:01:08Z), 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 28457618; atribusi sumber disertakan.

2026-08-25T17:40:10Z

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

Halaman baru

Dalam [[aljabar linear]], '''rentang linear''' atau '''span''' dari sebarang [[Himpunan (matematika)|himpunan]] <math>S</math> berisi [[Vektor Euklides|vektor-vektor]] (yang berasal dari suatu ruang vektor) adalah himpunan semua [[kombinasi linear]] dari vektor-vektor di <math>S.</math> Rentang linear dari <math>S</math> umum disimbolkan dengan <math>\text{span}(S).</math> Sebagai contoh, dua vektor yang saling [[Kebebasan linear|bebas linear]] akan merentang suatu [[Bidang (geometri)|bidang]]. Rentang dapat dikarakterisasikan sebagai [[Irisan (teori himpunan)|irisan]] dari semua [[Subruang vektor|subruang (vektor)]] yang mengandung <math>S,</math> maupun sebagai subruang yang mengandung <math>S.</math> Alhasil, rentang dari himpunan vektor menghasilkan suatu ruang vektor. Rentang dapat diperumum untuk [[matroid]] dan [[Modul (matematika)|modul]].

Untuk menyatakan bahwa suatu ruang vektor <math>V</math> adalah rentang linear dari subset <math>S,</math> beberapa pernyataan berikut umum digunakan: <math>S</math> merentang <math>V,</math> <math>S</math> adalah ''himpunan merentang'' dari <math>V,</math> <math>V</math> direntang/dibangkitkan oleh <math>S,</math> atau <math>S</math> adalah [[Pembangkit (matematika)|pembangkit]] atau himpunan pembangkit dari <math>V.</math>

== Definisi ==
Untuk sebarang [[ruang vektor]] <math>V</math> atas [[Lapangan (matematika)|lapangan]] <math>K,</math> rentang dari suatu himpunan <math>S</math> yang beranggotakan vektor-vektor (tidak harus berhingga) didefinisikan sebagai irisan <math>W</math> dari semua [[Subruang vektor|subruang]] dari <math>V</math> yang mengandung <math>S.</math> Irisan <math>W</math> disebut sebagai subruang yang ''direntang oleh'' <math>S,</math> atau oleh vektor-vektor di <math>S.</math> Kebalikannya, <math>S</math> disebut ''himpunan merentang'' dari <math>W</math>, dan kita katakan <math>S</math> ''merentang <math>W.</math>''

Rentang dari <math>S</math> juga dapat didefinisikan sebagai himpunan dari semua [[kombinasi linear]] terhingga dari vektor-vektor di <math>S.</math> Secara matematis, ini dituliskan sebagai<math display="block"> \operatorname{span}(S) = \left \{ {\left.\sum_{i=1}^k \lambda_i \mathbf v_i \;\right|\; k \in \N, \mathbf v_i \in S, \lambda _i \in K} \right \}.</math>Pada kasus <math>S</math> berukuran tak-hingga, syarat kombinasi linear yang tak-terhingga (yakni, keadaan ketika kombinasi menggunakan konsep penjumlahan tak-hingga, dengan mengasumsikan penjumlahan seperti itu dapat didefinisikan) tidak disertakan dalam definisi.

== Contoh ==
Ruang vektor [[Bilangan riil|riil]] <math>\mathbb R^3</math> dapat direntang oleh himpunan <math>\{(-1,0,0),\,(0,1,0),\,(0,0,1)\} </math>. Himpunan ini juga merupakan suatu [[Basis (aljabar linear)|basis]] dari <math>\mathbb R^3</math>. Jika <math>(-1,0,0)</math> digantikan dengan <math>(1,0,0)</math>, himpunan tersebut merupakan [[Basis (aljabar linear)|basis standar]] dari <math>\mathbb R^3</math>. Contoh himpunan pembangkit lain dari <math>\mathbb R^3</math> adalah <math>\{(1,2,3),\, (0, 1, 2),\, (-1, \tfrac{1}{2}, 3),\, (1, 1, 1)\}</math>, tetapi himpunan ini bukan basis karena bersifat [[Kebebasan linear|bergantung linear]].

Himpunan <math>\{(1, 0, 0),\,(0, 1, 0),\,(1,1,0)\}</math> bukan himpunan merentang dari <math>\mathbb R^3</math>, karena rentangnya adalah subruang semua vektor di <math>\mathbb R^3</math> yang komponen terakhirnya bernilai <math>0.</math> Subruang tersebut juga direntang oleh himpunan <math>\{(1,0,0),\,(0,1,0)\}, </math> karena <math>(1,1,0)</math> adalah kombinasi linear dari <math>(1,0,0)</math> dan <math>(0,1,0).</math>

[[Himpunan kosong]] adalah himpunan merentang dari <math>\{(0, 0, 0)\}, </math> karena himpunan kosong adalah subset dari semua subruang vektor yang mungkin di <math>\mathbb R^3,</math> dan <math>\{(0, 0, 0)\} </math> adalah irisan dari semua subruang tersebut.

Himpunan semua [[monomial]] <math>x^n,</math> dengan <math>n</math> adalah [[bilangan bulat]] non-negatif, merentang ruang [[polinomial]].

== Teorema ==

=== Kesetaraan antar definisi ===
Untuk sebarang ruang vektor <math>V</math> atas lapangan <math>K,</math> himpunan semua kombinasi linear dari subset <math>S</math> dari <math>V,</math> adalah subruang terkecil dari <math>V</math> yang mengandung <math>S.</math>

: ''Bukti.'' Pertama kita tunjukkan bahwa <math>\text{span}(S)</math> adalah subruang dari <math>V.</math> Karena <math>S</math> adalah subset dari <math>V,</math> kita cukup membuktikan bahwa vektor <math>\mathbf 0</math> anggota dari <math>\text{span}(S), </math> bahwa <math>\text{span}(S)</math> dibawah penjumlahan, dan bahwa <math>\text{span}(S)</math> tertutup dibawah [[perkalian skalar]]. Misalkan <math>S = \{ \mathbf v_1, \mathbf v_2, \ldots, \mathbf v_n \}</math>, mudah ditunjukkan bahwa vektor nol di <math>V</math> ada di <math>\text{span}(S), </math> karena <math>\mathbf 0 = 0 \mathbf v_1 + 0 \mathbf v_2 + \cdots + 0 \mathbf v_n. </math> Menjumlahkan sebarang dua kombinasi linear dari <math>S</math> akan menghasilkan kombinasi linear dari <math>S:</math><math display="block">(\lambda_1 \mathbf v_1 + \cdots + \lambda_n \mathbf v_n) + (\mu_1 \mathbf v_1 + \cdots + \mu_n \mathbf v_n) = (\lambda_1 + \mu_1) \mathbf v_1 + \cdots + (\lambda_n + \mu_n) \mathbf v_n,</math>dengan semua <math>\lambda_i, \mu_i \in K</math>, dan mengalikan sebarang kombinasi linear dari <math>S</math> dengan sebarang skalar <math>c \in K</math> akan menghasilkan kombinasi linear dari <math>S:</math> <math display="block">c(\lambda_1 \mathbf v_1 + \cdots + \lambda_n \mathbf v_n) = c\lambda_1 \mathbf v_1 + \cdots + c\lambda_n \mathbf v_n. </math>Alhasil, <math>\text{span}(S)</math> adalah subruang dari <math>V.</math>

: Misalkan <math>W</math> adalah subruang <math>V</math> yang mengandung <math>S.</math> Perhatikan bahwa <math>S \subseteq \operatorname{span} S,</math> karena semua <math>\mathbf{v}_i</math> merupakan kombinasi linear dari <math>S</math> (secara langsung). Karena <math>W</math> tertutup dibawah penjumlahan dan perkalian skalar, maka setiap kombinasi linear <math>\lambda_1 \mathbf v_1 + \cdots + \lambda_n \mathbf v_n</math> harus berada di <math>W.</math> Akibatnya, <math>\text{span}(S)</math> terkandung di semua subruang dari <math>V</math> yang mengandung <math>S.</math> Lebih lanjut, irisan semua subruang tersebut, yakni subruang terkecil, sama dengan himpunan semua kombinasi linear dari <math>S.</math>

=== Kardinalitas himpunan merentang setidaknya sebesar himpunan bebas linear ===
Sebarang himpunan <math>S</math> yang merentang ruang vektor <math>V</math> harus memiliki anggota setidaknya sebanyak jumlah anggota pada sebarang himpunan [[bebas linear]] dari <math>V.</math>

: ''Bukti.'' Misalkan <math>S = \{ \mathbf v_1, \ldots, \mathbf v_m \}</math> adalah suatu himpunan merentang dan <math>W = \{ \mathbf w_1, \ldots, \mathbf w_n \}</math> adalah himpunan vektor-vektor yang saling bebas linear di <math>V.</math> Kita akan menunjukkan bahwa <math>m \geq n.</math>

: Karena <math>S</math> merentang <math>V,</math> maka <math>S \cup \{ \mathbf w_1 \}</math> juga harus merentang <math>V,</math> dan <math>\mathbf w_1</math> harus merupakan hasil kombinasi linear dari <math>S.</math> Akibatnya <math>S \cup \{ \mathbf w_1 \}</math> bergantung linear, dan kita dapat membuat satu vektor dari <math>S</math> yang dapat dinyatakan sebagai kombinasi anggota <math>S</math> lainnya. Vektor ini tidak mungkin <math>\mathbf{w}_i</math> karena <math>W</math> bebas linear. Himpunan yang dihasilkan proses ini adalah <math>\{ \mathbf w_1, \mathbf v_1, \ldots, \mathbf v_{i-1}, \mathbf v_{i+1}, \ldots, \mathbf v_m \},</math> yang merupakan himpunan merentang bagi <math>V.</math> Kita ulangi proses ini sebanyak <math>n</math> kali, yang tahap ke-<math>p</math>-nya akan menghasilkan himpunan hasil gabungan <math>\{ \mathbf w_1, \ldots, \mathbf w_p \}</math> dan <math>m-p</math> vektor dari <math>S.</math>

: Dapat dipastikan sampai tahap ke-<math>n</math> akan selalu ada suatu <math>\mathbf{v}_i</math> untuk dibuang dari <math>S</math>, akibatnya <math>\mathbf{v}_i</math> setidaknya sama banyaknya dengan <math>\mathbf{w}_i</math>; dengan kata lain, <math>m \geq n.</math> Untuk membuktikan hal ini, kita menggunakan bukti kontradiksi dengan menganggap <math>m < n.</math> Saat tahap ke-<math>m</math>, kita memiliki himpunan <math>\{ \mathbf w_1, \ldots, \mathbf w_m \}</math> dan kita dapat menambahkan vektor baru <math>\mathbf w_{m+1}.</math> Tapi karena <math>\{ \mathbf w_1, \ldots, \mathbf w_m \}</math> adalah himpunan merentang dari <math>V,</math> vektor <math>\mathbf w_{m+1}</math> adalah kombinasi linear dari <math>\{ \mathbf w_1, \ldots, \mathbf w_m \}</math>. Ini adalah kontradiksi, karena <math>W</math> bersifat bebas linear.

=== Himpunan merentang dapat disederhanakan menjadi suatu basis ===
Misalkan <math>V</math> adalah ruang vektor dimensi terhingga. Sebarang himpunan vektor yang merentang <math>V</math> dapat disederhanakan menjadi suatu [[Basis (aljabar linear)|basis]] bagi <math>V,</math> dengan membuang vektor dari keanggotaannya jika diperlukan (maksudnya, ketika ada vektor yang bergantung linear pada vektor-vektor lainnya). Jika [[aksioma pemilihan]] berlaku, teorema ini juga berlaku untuk kasus <math>V</math> berdimensi tak-hingga. Teorema ini juga mengartikan sebarang basis adalah himpunan merentang terkecil, ketika <math>V</math> berdimensi hingga.

== Catatan kaki ==

== Daftar pustaka ==

=== Buku ===

*
*
*
*
*
* Lay, David C. (2021) ''Linear Algebra and Its Applications (6th Edition)''. Pearson.

=== Situs web ===

*
*
*

== Pranala luar ==

* [https://www.khanacademy.org/math/linear-algebra/vectors_and_spaces/linear_combinations/v/linear-combinations-and-span Linear Combinations and Span: Understanding linear combinations and spans of vectors], khanacademy.org.
*

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Rentang+linear&oldid=28457618 Wikipedia bahasa Indonesia], revisi 28457618 (2025-11-13T10:01:08Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.