Ruang Tangen dan Medan Vektor

Ruang tangen melekatkan ruang vektor kecepatan pada setiap titik manifold, dan medan vektor menetapkan kecepatan tersebut secara mulus di seluruh manifold, mengkodekan aliran dan simetri infinitesimal.

Definition

Ruang tangen pada suatu titik manifold mulus adalah ruang vektor dari vektor kecepatan kurva yang melewati titik tersebut (secara ekuivalen, derivasi fungsi mulus pada titik tersebut); medan vektor adalah penugasan mulus dari vektor tangen ke setiap titik, yaitu bagian dari berkas tangen.

Scope

Topik ini mendefinisikan ruang tangen — secara ekuivalen melalui vektor kecepatan kurva, derivasi, atau tupel yang kompatibel dengan transisi — dan menyusun ruang tangen menjadi berkas tangen. Ini mengembangkan diferensial dari peta mulus, medan vektor sebagai bagian dari berkas tangen, kurva integral dan alirannya, kurung Lie dan turunan Lie, serta teorema Frobenius tentang integrabilitas distribusi. Ruang kotangen dan bentuk-satu muncul sebagai struktur dual yang mengarah pada bentuk diferensial.

Core questions

• Apa definisi ekuivalen dari vektor tangen, dan mengapa definisi tersebut saling sesuai?
• Bagaimana diferensial dari peta mulus bekerja pada ruang tangen?
• Bagaimana medan vektor menghasilkan aliran, dan apa yang diukur oleh kurung Lie tentang dua aliran?
• Kapan suatu keluarga distribusi tangen dapat diintegrasikan ke dalam submanifold (teorema Frobenius)?

Key concepts

• Ruang tangen dan vektor tangen sebagai derivasi
• Berkas tangen dan diferensial dari peta mulus
• Medan vektor, kurva integral, dan aliran
• Kurung Lie dan turunan Lie
• Distribusi dan teorema integrabilitas Frobenius

Clinical relevance

Vektor tangen dan medan vektor memformalkan kecepatan, gaya, dan simetri infinitesimal; keduanya merupakan substrat untuk sistem dinamis pada manifold, aljabar Lie dari grup Lie, dan konstruksi geodesik dan kelengkungan geometri Riemannian.

History

Definisi intrinsik, bebas koordinat dari ruang tangen sebagai derivasi muncul pada pertengahan abad ke-20, dibangun di atas teori grup transformasi kontinu Lie dan kalkulus bentuk diferensial Cartan, memberikan formulasi fungsional modern pada geometri diferensial.

Key figures

• Élie Cartan
• Sophus Lie
• John M. Lee

Seminal works

• lee2012
• warner1983

Frequently asked questions

Mengapa vektor tangen didefinisikan sebagai derivasi?

Definisi derivasi bersifat intrinsik dan bebas koordinat: vektor tangen adalah operator linear pada fungsi mulus yang memenuhi aturan Leibniz, yang menghindari referensi ke sembarang embedding dan bekerja pada manifold abstrak.

Apa yang diukur oleh kurung Lie dari dua medan vektor?

Ini mengukur kegagalan aliran dari dua medan vektor untuk saling komutatif; hilangnya kurung berarti aliran dapat diikuti dalam urutan apa pun untuk mencapai titik yang sama.