Persamaan untuk AI: Satu Prediksi Dapat Cocok dengan Banyak Pasangan Parameter

Sebuah model prediksi mainan mengembalikan

$$\hat y=2w+b,$$

dengan bobot $w$ dan bias $b$ sebagai bilangan riil. Untuk satu contoh yang diamati, targetnya adalah $5$. Menyamakan prediksi dengan target itu menetapkan kendala

$$2w+b=5.$$

Pasangan $(w,b)=(1,3)$ berhasil karena $2(1)+3=5$. Begitu pula $(0,5)$, $(2,1)$, dan $(-1,7)$. Satu target tidak mengungkap satu pengaturan parameter yang istimewa. Target itu memilih seluruh himpunan solusi pasangan parameter

$$S=\left\{(w,b)\in\mathbb R^2\mid 2w+b=5\right\} =\left\{(t,5-2t)\mid t\in\mathbb R\right\}.$$

Himpunan itu adalah sebuah garis pada bidang $(w,b)$: setiap titik di atasnya membuat model memprediksi tepat $5$, sedangkan setiap titik di luarnya meleset dari target. Di akhir pelajaran ini, Anda akan mampu membedakan ekspresi, persamaan, kendala, dan identitas; menjelaskan semua nilai yang menyelesaikan sebuah persamaan; serta mengenali kapan jalan pintas aljabar mengubah himpunan solusi.

Capaian pembelajaran: Perlakukan persamaan sebagai kendala dan jelaskan semua nilai yang memenuhinya.

Pelajaran ini menggunakan disiplin domain dari Pelajaran 3: Domain, Kodomain, dan Input Model yang Valid: solusi persamaan tidak dapat dinyatakan sebelum nilai-nilai yang diizinkan diketahui. Situs pendamping resmi Mathematics for Machine Learning mengorganisasi fondasi matematika sebagai alat untuk memahami model dan pembelajaran. Bab 1 dan Bagian 2.1 memotivasi jalur dari parameter model menuju himpunan solusi dan kemudian sistem persamaan linear. Jembatan persamaan tunggal di bawah ini adalah materi orisinal; pembahasannya berhenti sebelum sistem persamaan, eliminasi Gauss, peringkat, atau optimisasi.

Tanda sama dengan mengubah perhitungan menjadi pengujian benar atau salah

Simbol $2w+b$ membentuk sebuah ekspresi. Setelah $w$ dan $b$ diberi nilai, ekspresi itu memiliki nilai numerik. Ekspresi tersebut tidak menyatakan bahwa nilainya adalah bilangan tertentu.

Simbol $2w+b=5$ membentuk sebuah persamaan. Simbol itu membuat klaim yang dapat benar atau salah untuk suatu penetapan nilai. Dengan $(w,b)=(1,3)$ klaimnya benar; dengan $(1,2)$ klaimnya salah karena $2(1)+2=4$.

Istilah-istilah yang berkaitan ini memiliki fungsi berbeda:

Istilah	Contoh pada bilangan riil	Yang diberitahukannya
Ekspresi	$2w+b$	Besaran untuk dievaluasi; tidak memiliki tanda sama dengan dan tidak memiliki nilai benar-salah
Persamaan	$2w+b=5$	Klaim yang kebenarannya bergantung pada $w$ dan $b$
Kendala	Wajibkan $2w+b=5$	Hanya penetapan yang memenuhi persamaan yang layak
Identitas	$2(w+1)=2w+2$	Benar untuk setiap $w\in\mathbb R$
Solusi	$(w,b)=(1,3)$	Satu penetapan yang membuat persamaan benar
Himpunan solusi	$\{(t,5-2t)\mid t\in\mathbb R\}$	Setiap penetapan yang memenuhi, bukan hanya satu contoh

Perbedaan antara “persamaan” dan “kendala” terletak pada perannya. Rangkaian simbol yang sama, $2w+b=5$, adalah persamaan sebagai sintaks matematika dan menjadi kendala ketika menyaring parameter kandidat. “Identitas” lebih kuat: $2(w+1)=2w+2$ sama sekali tidak menyaring $w$ riil mana pun.

Satu variabel tidak menjamin satu jawaban

Pertimbangkan persamaan

$$3x-7=11, \qquad x\in\mathbb R.$$

Tambahkan $7$ ke kedua ruas, lalu bagi kedua ruas dengan bilangan tak nol $3$ sehingga diperoleh

$$3x-7=11 \iff 3x=18 \iff x=6.$$

Panah ganda $\iff$ berarti “jika dan hanya jika”. Setiap langkah dapat dibalik, sehingga himpunan solusi riilnya adalah $S=\{6\}$. Substitusi ke persamaan awal memeriksa jawaban: $3(6)-7=18-7=11$.

Jumlah variabel yang tertulis tidak menentukan jumlah solusi:

Persamaan dan domain	Himpunan solusi	Alasan
$3x-7=11$, $x\in\mathbb R$	$\{6\}$	Tepat satu nilai riil lolos pengujian benar-salah
$x+1=x+2$, $x\in\mathbb R$	$\varnothing$	Mengurangkan $x+1$ menghasilkan pernyataan salah $0=1$
$2(x+1)=2x+2$, $x\in\mathbb R$	$\mathbb R$	Kedua ruas sama untuk setiap $x$ riil
$x^2=2$, $x\in\mathbb R$	$\{-\sqrt2,\sqrt2\}$	Dua nilai riil memiliki kuadrat $2$
$x^2=2$, $x\in\mathbb Q$	$\varnothing$	Tidak satu pun solusi riilnya rasional

Di sini $\varnothing$ adalah himpunan kosong, $\mathbb R$ adalah himpunan bilangan riil, dan $\mathbb Q$ adalah himpunan bilangan rasional. Dua baris terakhir menggunakan persamaan yang sama tetapi domain yang berbeda, sehingga menjawab pertanyaan yang berbeda.

Satu target menyisakan keluarga parameter

Kembali ke $2w+b=5$ dengan $(w,b)\in\mathbb R^2$. Notasi $\mathbb R^2$ berarti pasangan berurutan bilangan riil. Isolasikan $b$:

$$2w+b=5 \iff b=5-2w.$$

Langkah itu tidak menetapkan nilai $w$. Nyatakan sembarang pilihan nilai riil sebagai $t$; kemudian $b$ harus bernilai $5-2t$. Ini menghasilkan semua solusi:

$$(w,b)=(t,5-2t), \qquad t\in\mathbb R.$$

Mengapa deskripsi ini lengkap? Untuk setiap $t$ riil, substitusi memberikan $2t+(5-2t)=5$, sehingga setiap pasangan yang tercantum adalah solusi. Sebaliknya, setiap pasangan yang memenuhi $2w+b=5$ harus memenuhi $b=5-2w$; dengan menetapkan $t=w$, pasangan itu masuk ke dalam keluarga yang tercantum. Kedua arah tersebut menetapkan kesamaan himpunan.

Bergerak sepanjang himpunan solusi eksak

Pilih bobot w

Tombol panah mengubah w sebesar 0.25; bias yang diperlukan diperbarui otomatis.

1

Pilih bias b

Tombol panah mengubah b sebesar 0.5; bobot yang diperlukan diperbarui otomatis.

3

Opsi penunjuk: seret penanda lingkaran-dengan-silang sepanjang garis. Kedua penggeser menyediakan kendali papan ketik yang setara.

Solusi terpilih: w = 1, b = 3, dan 2w + b = 5.

Semua solusi eksak×Solusi tertaut yang dipilih◆Kandidat independen

Uji pasangan kandidat apa pun

Atur kedua nilai secara independen. Putusan menggunakan aritmetika langkah seperempat yang eksak, bukan toleransi.

Bobot kandidat w

1

Bias kandidat b

2

≠Bukan solusi: (1, 2) memprediksi 4, dengan residual -1. Pada bobot ini, bias yang diperlukan adalah 3.

Solusi terpilih: w = 1, b = 3, dan 2w + b = 5. Bukan solusi: (1, 2) memprediksi 4, dengan residual -1. Pada bobot ini, bias yang diperlukan adalah 3.

Pasangan parameter saat ini dan referensi, beserta perhitungannya

Pasangan	Bobot w	Bias b	2w + b	Residual	Putusan kendala
Pasangan tertaut yang dipilih	1	3	5	0	✓ Solusi
Kandidat independen	1	2	4	-1	≠ Bukan solusi
Pasangan referensi A	0	5	5	0	✓ Solusi
Pasangan referensi B	2	1	5	0	✓ Solusi

Garis kontinu, lingkaran-dengan-silang yang dipilih, wajik kandidat, putusan tertulis, dan tabel menyampaikan kesimpulan yang sama tanpa bergantung pada warna. Menggerakkan kendali tertaut mengubah pasangan parameter tetapi tidak pernah mengubah prediksi: kenaikan $0.25$ pada $w$ memerlukan penurunan $0.5$ pada $b$. Menggerakkan kandidat keluar dari garis menghasilkan residual tak nol. Jadi, satu observasi menetapkan kelayakan—menunjukkan pasangan mana yang cocok—bukan pasangan cocok mana yang harus dipilih.

Langkah yang dapat dibalik mempertahankan setiap solusi

Manipulasi aljabar aman ketika menghasilkan persamaan yang ekuivalen, bukan sekadar persamaan yang kebetulan dipenuhi setiap solusi lama. Perbedaannya terletak pada arah sebaliknya.

Misalkan $L(x)$ dan $R(x)$ terdefinisi untuk $x\in D$. Untuk ekspresi apa pun $c(x)$ yang terdefinisi pada domain yang sama,

$$L(x)=R(x) \iff L(x)+c(x)=R(x)+c(x).$$

Langkah maju menambahkan nilai yang sama ke kedua ruas. Langkah balik mengurangkan nilai yang sama itu dan memulihkan persamaan awal. Karena kedua implikasi berlaku untuk setiap $x\in D$, kedua persamaan tersebut memiliki himpunan solusi yang persis sama.

Demikian pula, untuk bilangan tetap tak nol $k$,

$$L(x)=R(x) \iff kL(x)=kR(x).$$

Perkalian dengan $k$ dapat dibalik karena pembagian dengan $k$ terdefinisi. Syarat $k\ne0$ adalah bagian dari argumen, bukan catatan kaki teknis.

Untuk contoh satu variabel, jalur yang dapat dibalik dapat dibaca dalam kedua arah:

$$3x-7=11 \xleftrightarrow[\text{subtract }7]{\text{add }7} 3x=18 \xleftrightarrow[\text{multiply by }3]{\text{divide by }3} x=6.$$

Label di bawah dan di atas setiap panah menamai operasi yang saling invers. Audit yang berguna itu sederhana: nyatakan domainnya dan tanyakan bagaimana setiap langkah dapat dibatalkan untuk setiap kandidat dalam domain tersebut.

Empat jalan pintas dapat mengubah pertanyaan

Suatu operasi dapat membawa solusi ke depan tanpa membawa semua kandidat kembali. Menulis $\Rightarrow$ alih-alih $\iff$ menjaga hubungan satu arah itu tetap jujur.

Mengalikan dengan nol menghapus informasi

Mulai dari $x=1$ lalu kalikan kedua ruas dengan nol:

$$x=1\Rightarrow 0x=0\cdot1\Rightarrow 0=0.$$

Himpunan solusi awal adalah $\{1\}$; identitas terakhir benar untuk setiap $x$ riil. Tidak ada pembagian dengan nol yang dapat memulihkan pembatasan awal.

Membagi dengan variabel dapat membuang kasus nolnya

Tulis ulang dan faktorkan $x^2=x$ menjadi $x^2-x=0$, lalu $x(x-1)=0$. Solusi riil awalnya adalah $x=0$ dan $x=1$. Membagi persamaan awal dengan $x$ secara diam-diam mengasumsikan $x\ne0$:

$$x^2=x \quad\xRightarrow[\text{assumes }x\ne0]{\text{divide by }x}\quad x=1.$$

Pembagian itu tidak membuktikan bahwa nol tidak valid; pembagian itu menghapus nol dari domain langkah yang ditransformasikan. Pisahkan kasus $x=0$ sebelum membagi dengan ekspresi yang mungkin bernilai nol.

Menguadratkan dapat menambahkan kandidat ekstra

Persamaan $x=2$ memiliki himpunan solusi $\{2\}$. Menguadratkan kedua ruas menghasilkan $x^2=4$, yang himpunan solusi riilnya adalah $\{-2,2\}$. Kesamaan kedua ruas persamaan pertama menjamin kuadratnya sama, tetapi kuadrat yang sama tidak menjamin tanda awalnya sama. Setiap kandidat yang muncul setelah penguadratan harus diperiksa pada persamaan awal.

Akar kuadrat utama dapat menyembunyikan solusi negatif

Dari $x^2=4$, menulis $x=\sqrt4=2$ kehilangan $x=-2$. Pada bilangan riil,

$$\sqrt{x^2}=|x|,$$

bukan $x$ untuk setiap $x$. Langkah lengkapnya adalah $|x|=2$, sehingga $x=\pm2$. Menguadratkan dan mengambil akar utama bukan operasi invers pada semua bilangan riil; kondisi tanda dan domain menentukan arah mana yang valid.

Toleransi NumPy adalah kebijakan numerik, bukan kesamaan simbolik

Dalam aljabar, sebuah pasangan termasuk $S$ hanya ketika $2w+b=5$ tepat. Perangkat lunak sering mengevaluasi pendekatan desimal, sehingga implementasi dapat menerapkan kebijakan penerimaan terpisah. Dokumentasi resmi NumPy untuk isclose mendefinisikan pengujian toleransi per elemen. Dengan target sebagai referensi dan toleransi relatif disetel ke nol, pelajaran ini menanyakan apakah

$$|\hat y-5|\le10^{-12}.$$

Contoh yang telah dijalankan berikut memperlihatkan kedua pertanyaan itu:

import numpy as np

np.set_printoptions(precision=13)

candidates = np.array([
    [0.0, 5.0],
    [0.0, 5.0000000000005],
    [1.0, 2.999],
    [2.0, 1.0],
])
target = 5.0
predictions = 2.0 * candidates[:, 0] + candidates[:, 1]
residuals = predictions - target

print(predictions)
print(residuals)
print(predictions == target)
print(np.isclose(predictions, target, rtol=0.0, atol=1e-12))

[5.              5.0000000000005 4.999           5.             ]
[ 0.0000000000000e+00  5.0004445029117e-13 -9.9999999999945e-04
  0.0000000000000e+00]
[ True False False  True]
[ True  True False  True]

Pasangan tersimpan pertama dan keempat menghasilkan prediksi tersimpan yang sama dengan target tersimpan. Pasangan kedua tidak demikian, meskipun residualnya berada dalam toleransi rekayasa $10^{-12}$ yang dipilih. Pasangan ketiga meleset sekitar $10^{-3}$ dan gagal pada kedua pengujian.

Tak satu pun larik Boolean membuktikan pernyataan simbolik yang eksak. == membandingkan nilai titik-mengambang yang tersimpan, sedangkan isclose menerapkan pertidaksamaan yang sengaja dipilih. NumPy juga mendokumentasikan bahwa rumus toleransi relatif umumnya memperlakukan argumen kedua sebagai acuan, dan bahwa toleransi absolut bawaan dapat tidak sesuai untuk nilai acuan yang sangat kecil. Menyebutkan toleransi membuat aturan implementasi mudah ditinjau; mensubstitusikan kandidat kembali ke persamaan simbolik awal tetap merupakan pemeriksaan matematis.

Satu observasi memberi tahu apa yang cocok, bukan apa yang harus dipilih

Garis parameter menunjukkan batas praktis sebelum algoritma pelatihan apa pun muncul. Satu observasi “koefisien input $2$, target $5$” memasok satu pembatasan untuk dua parameter riil. Observasi itu dapat menolak $(1,2)$, tetapi tidak dapat memilih antara $(1,3)$ dan $(2,1)$ karena kedua prediksi tepat $5$.

Observasi tambahan dapat menetapkan kendala tambahan, dan pelajaran berikutnya akan membahas bagaimana kendala saling berinteraksi. Titik berhenti pelajaran ini lebih awal dan lebih mendasar: tulis domainnya, perlakukan persamaan sebagai kondisi benar, jelaskan seluruh himpunan yang memenuhi, dan pastikan setiap transformasi memiliki invers atau pemeriksaan kandidat yang eksplisit. Kebiasaan itu menjadi dasar untuk membaca penurunan di pelajaran berikutnya baris demi baris.

Periksa pemahaman Anda

Pertanyaan 1

Klasifikasikan setiap item sebagai ekspresi, persamaan kondisional, identitas, solusi, atau himpunan solusi: 3q + 1; 3q + 1 = 7; 2(q + 4) = 2q + 8; q = 2; dan {2}. Gunakan domain q ∈ ℝ.

Tampilkan solusi langkah demi langkah

• $3q+1$ adalah sebuah ekspresi: nilainya tersedia setelah $q$ diberikan, tetapi tidak membuat klaim kesamaan.
• $3q+1=7$ adalah persamaan kondisional: benar untuk sebagian nilai riil dan salah untuk yang lain. Saat digunakan untuk menyaring $q$, persamaan ini juga merupakan kendala.
• $2(q+4)=2q+8$ adalah identitas pada $\mathbb R$. Mengembangkan ruas kiri menghasilkan $2q+8$ untuk setiap $q$ riil.
• $q=2$ menyatakan solusi setelah persamaan kondisional diselesaikan: $3(2)+1=7$.
• $\{2\}$ adalah himpunan solusi. Kurung kurawal menjelaskan kumpulan semua solusi riil, meskipun kumpulan itu hanya memiliki satu anggota.

Domain penting untuk pernyataan identitas dan himpunan solusi; setiap klasifikasi di atas dibuat pada $q\in\mathbb R$.

Pertanyaan 2

Selesaikan 5x + 2 = 17 pada bilangan riil, tunjukkan langkah yang dapat dibalik, dan nyatakan himpunan solusinya.

Tampilkan solusi langkah demi langkah

Kurangkan $2$ dari kedua ruas:

$$5x+2=17\iff5x=15.$$

Ini dapat dibalik karena menambahkan $2$ memulihkan persamaan pertama. Bagi kedua ruas dengan bilangan tak nol $5$:

$$5x=15\iff x=3.$$

Mengalikan dengan $5$ membalik langkah itu. Periksa kandidat pada persamaan awal:

$$5(3)+2=15+2=17.$$

Jadi himpunan solusi riilnya adalah $S=\{3\}$.

Pertanyaan 3

Jelaskan setiap pasangan riil (u, v) yang memenuhi 3u + v = 7, lalu verifikasi pasangan yang diperoleh pada u = −1, 0, dan 2.

Tampilkan solusi langkah demi langkah

Isolasikan $v$ dengan mengurangkan $3u$ dari kedua ruas:

$$3u+v=7\iff v=7-3u.$$

Biarkan $t$ mewakili pilihan riil apa pun untuk $u$. Himpunan solusi lengkapnya adalah

$$S=\{(t,7-3t)\mid t\in\mathbb R\}.$$

Sekarang substitusikan tiga nilai yang diminta:

$u$	$v=7-3u$	Pemeriksaan
$-1$	$10$	$3(-1)+10=-3+10=7$
$0$	$7$	$3(0)+7=7$
$2$	$1$	$3(2)+1=6+1=7$

Setiap baris memenuhi persamaan, tetapi parameter $t$ menjangkau semua bilangan riil, sehingga ketiga baris itu adalah contoh, bukan seluruh himpunan.

Pertanyaan 4

Sebuah penurunan mengubah 4(x − 3) = 20 menjadi x − 3 = 5 lalu x = 8. Jelaskan mengapa kedua langkah mempertahankan himpunan solusi riil, dan periksa hasilnya.

Tampilkan solusi langkah demi langkah

Pertama bagi kedua ruas dengan $4$:

$$4(x-3)=20\iff x-3=5.$$

Karena $4\ne0$, perkalian dengan $4$ membalik langkah ini. Berikutnya tambahkan $3$ ke kedua ruas:

$$x-3=5\iff x=8.$$

Mengurangkan $3$ membalik langkah kedua. Jadi kedua panah berlaku di kedua arah untuk setiap kandidat riil. Substitusi memeriksa hasilnya:

$$4(8-3)=4(5)=20.$$

Himpunan solusi riilnya adalah $\{8\}$.

Pertanyaan 5

Temukan semua solusi riil z² = 3z. Kemudian jelaskan solusi mana yang hilang jika kedua ruas langsung dibagi dengan z.

Tampilkan solusi langkah demi langkah

Pindahkan semua suku ke satu ruas dan faktorkan:

$$z^2=3z \iff z^2-3z=0 \iff z(z-3)=0.$$

Hasil kali bilangan riil bernilai nol ketika setidaknya satu faktornya nol, sehingga

$$z=0\quad\text{or}\quad z-3=0,$$

yang menghasilkan $z=0$ atau $z=3$. Keduanya cocok pada persamaan awal: $0^2=3(0)=0$ dan $3^2=3(3)=9$. Jadi $S=\{0,3\}$.

Membagi $z^2=3z$ dengan $z$ mengasumsikan $z\ne0$ dan menyisakan $z=3$. Langkah itu kehilangan solusi valid $z=0$ karena pembagian dengan nol tidak terdefinisi. Kasus nol harus dipisahkan sebelum pembagian.

Pertanyaan 6

Selesaikan √(x + 5) = x − 1 pada bilangan riil. Tunjukkan bagaimana penguadratan menghasilkan kandidat yang harus ditolak.

Tampilkan solusi langkah demi langkah

Akar kuadrat mensyaratkan $x+5\ge0$. Nilainya tidak negatif, sehingga kesamaan juga mensyaratkan $x-1\ge0$, atau $x\ge1$. Kuadratkan kedua ruas untuk menghasilkan kandidat:

$$x+5=(x-1)^2=x^2-2x+1.$$

Pindahkan semua suku ke satu ruas dan faktorkan:

$$0=x^2-3x-4=(x-4)(x+1).$$

Persamaan yang dikuadratkan memberi $x=4$ atau $x=-1$. Kandidat kedua melanggar syarat $x\ge1$ dan juga gagal pada persamaan awal: $\sqrt{-1+5}=2$, sedangkan $-1-1=-2$. Kandidat pertama cocok:

$$\sqrt{4+5}=\sqrt9=3=4-1.$$

Karena itu himpunan solusi riil persamaan awal adalah $S=\{4\}$. Penguadratan mempertahankan solusi yang benar tetapi memasukkan $-1$, sehingga pemeriksaan pada persamaan awal sangat penting.

Pertanyaan 7

Untuk 2w + b = 5, perangkat lunak menghitung prediksi kandidat sebesar 5 + 4 × 10⁻¹³. Apakah pasangan itu solusi simbolik eksak? Apakah np.isclose(prediction, 5, rtol=0, atol=10⁻¹²) akan menerimanya? Jelaskan kedua jawaban.

Tampilkan solusi langkah demi langkah

Residual eksak yang dinyatakan dalam pertanyaan adalah

$$(5+4\times10^{-13})-5=4\times10^{-13},$$

yang tidak sama dengan nol. Oleh karena itu, pasangan tersebut bukan solusi eksak dari persamaan simbolik sebagaimana dinyatakan.

Untuk kebijakan NumPy, bandingkan residual absolut dengan toleransi absolut karena rtol=0:

$$4\times10^{-13}\le10^{-12}.$$

Pertidaksamaan itu benar, sehingga np.isclose mengembalikan True. Hasil tersebut berarti “diterima berdasarkan toleransi ini”, bukan “terbukti sama secara simbolik”. Jika aplikasi membutuhkan kebijakan yang lebih ketat atau bergantung pada skala, toleransinya harus dipilih dan didokumentasikan.

Sumber

1. Mathematics for Machine Learning companion website
2. Mathematics for Machine Learning book PDF
3. NumPy documentation: numpy.isclose