Semua buku

Profesional

Aplikasi Tentang Pelatih Masuk Mulai membaca

Matematika · Glosarium

Apa itu Bentuk fundamental pertama?

Definisi 19.12 Matematika Universitas — Tahun 2 · Bab 19 — Permukaan

Misalkan σ ⁣:U→R3\sigma \colon U \to \R^3 permukaan C1\mathcal{C}^1 yang regular. Adapun bentuk fundamental pertamanya di (u,v)(u,v) adalah bentuk kuadratik definit positif pada R2\R^2

I(h,k)=∥h σu+k σv∥2=E h2+2F hk+G k2,I(h, k) = \norm{h\,\sigma_u + k\,\sigma_v}^2 = E\,h^2 + 2F\,hk + G\,k^2,

dengan

E=∥σu∥2,F=⟨σu,σv⟩,G=∥σv∥2.E = \norm{\sigma_u}^2, \qquad F = \langle \sigma_u, \sigma_v\rangle, \qquad G = \norm{\sigma_v}^2 .

Contoh

Contoh 19.14 (Sudut antar kurva koordinat)

Bentuk fundamental pertamanya juga mengukur sudut: sebab kurva koordinat u↦σ(u,v0)u \mapsto \sigma(u, v_0) dan v↦σ(u0,v)v \mapsto \sigma(u_0, v) bertemu pada sudut θ\theta dengan

cos⁡θ=⟨σu,σv⟩∥σu∥ ∥σv∥=FEG:\cos\theta = \frac{\langle\sigma_u, \sigma_v\rangle}{\norm{\sigma_u}\,\norm{\sigma_v}} = \frac{F}{\sqrt{EG}} :

jadi satu koefisien FF belaka yang memutuskan keortogonalan jaring parameternya. Untuk bagan bola dan helikoidnya, F=0F = 0: sehingga meridiannya memotong paralelnya, dan heliksnya memotong garis pembangun mendatarnya, secara siku-siku — dan itulah sebabnya integran luasnya runtuh menjadi EG\sqrt{EG}. Sedangkan untuk bagan grafik, F=fxfyF = f_xf_y hanya lenyap di tempat sebuah turunan parsialnya lenyap: jadi jaring koordinat sebuah grafik yang miring tak ortogonal, walaupun jaring (x,y)(x, y) di bawahnya ortogonal. Jadi ketika perhitungan pada sebuah permukaan tampak berat, langkah pertamanya adalah mencari bagan dengan F=0F = 0.

Contoh 19.17 (Mengapa pesawat terbang melintasi kutub)

Dua bandara terletak pada lintang φ0\varphi_0 dan bujur yang berlawanan: A=σ(0,φ0)A = \sigma(0, \varphi_0) dan B=σ(π,φ0)B = \sigma(\pi, \varphi_0) pada bola berjari-jari RR. Sepanjang paralelnya (dengan φ≡φ0\varphi \equiv \varphi_0), panjangnya adalah ∫0πRcos⁡φ0  ⁣dθ=πRcos⁡φ0\int_0^\pi R\cos\varphi_0\,\dd\theta = \pi R\cos\varphi_0. Sedangkan sepanjang rute lewat kutubnya (naik di meridian θ=0\theta = 0, lalu turun di meridian θ=π\theta = \pi), panjangnya 2R(π2−φ0)2R(\frac\pi2 - \varphi_0). Pada lintang φ0=π3\varphi_0 = \frac\pi3 (yakni enam puluh derajat): rute paralelnya πR/2≈1.571 R\pi R/2 \approx 1.571\,R, sedangkan rute kutubnya πR/3≈1.047 R\pi R/3 \approx 1.047\,R — jadi sepertiga lebih pendek. Bahkan πcos⁡φ0≥π−2φ0\pi\cos\varphi_0 \geq \pi - 2\varphi_0 pada [0, π/2]\intcc0{\pi/2} (sebab fungsi πcos⁡φ−π+2φ\pi\cos\varphi - \pi + 2\varphi lenyap di kedua ujungnya dan turunannya 2−πsin⁡φ2 - \pi\sin\varphi berganti tanda sekali, jadi ia mula-mula naik lalu turun, sehingga taknegatif): jadi rute kutubnya tak pernah kalah. Bentuk fundamental pertamanya mengubah pertanyaan navigasi menjadi dua integral satu baris; dan Latihan 19.6 mendorong gagasannya sampai ke bukti keminimalan yang sejati bagi meridiannya.

Contoh 19.22 (Dua grafik berbeda, satu luas)

Di atas cakram satuannya, bandingkanlah mangkuk z=12(x2+y2)z = \frac12(x^2 + y^2) dan pelana z=xyz = xy. Adapun integran luasnya (Latihan 19.5) adalah

1+x2+y2dan1+y2+x2:\sqrt{1 + x^2 + y^2} \qquad\text{dan}\qquad \sqrt{1 + y^2 + x^2} :

yang identik. Jadi kedua permukaannya — yang satu melengkung ke arah yang sama di segala arah, yang lain berbentuk pelana — berluas persis sama di atas setiap daerahnya, yakni 2π3(22−1)\frac{2\pi}3(2\sqrt2 - 1) di atas cakram satuannya. Sebab unsur luasnya hanya melihat panjang gradiennya, bukan penataan pembengkokannya; jadi membedakan mangkuknya dari pelananya menuntut data orde dua (yakni struktur tanda yang dipamerkan pada Gambar 19.1), yang tak terdeteksi oleh pengukuran luas seberapa pun banyaknya. Jadi bentuk fundamental pertama itu metrik dan buta terhadap bentuknya; sedangkan bentuk kedua yang melihat bentuknya adalah milik Tahun ke-3.

Baca dalam konteks →