Teğet Uzayları ve Vektör Alanları
Teğet uzayı, bir manifoldun her noktasına bir hız vektör uzayı atamakta olup, bir vektör alanı ise bu tür bir hızı manifold boyunca düzgün bir şekilde atayarak akışları ve sonsuz küçük simetrileri kodlamaktadır.
Tanım
Düzgün bir manifoldun bir noktasındaki teğet uzayı, o noktadan geçen eğrilerin hız vektörlerinin vektör uzayıdır (eşdeğer olarak, o noktadaki düzgün fonksiyonların türevleri); bir vektör alanı ise, her noktaya düzgün bir teğet vektör atamasıdır, yani teğet demetinin bir kesitidir.
Kapsam
Bu konu, teğet uzayını — eğrilerin hız vektörleri, türevler veya geçiş uyumlu demetler aracılığıyla eşdeğer olarak — tanımlamakta ve teğet uzaylarını teğet demeti içinde bir araya getirmektedir. Düzgün bir haritanın diferansiyelini, teğet demetinin kesitleri olarak vektör alanlarını, bunların integral eğrilerini ve akışlarını, Lie braketini ve Lie türevini ve dağılımların integrallenebilirliği üzerine Frobenius teoremini geliştirmektedir. Kotanjant uzayları ve bir-formlar, diferansiyel formlara yol açan ikili yapı olarak ortaya çıkmaktadır.
Temel sorular
- Bir teğet vektörün eşdeğer tanımları nelerdir ve bunlar neden uyumludur?
- Düzgün bir haritanın diferansiyeli teğet uzayları üzerinde nasıl etki eder?
- Vektör alanları akışları nasıl üretir ve Lie braketi iki akış hakkında neyi ölçer?
- Bir teğet dağılımları ailesi ne zaman alt manifoldlara entegre edilebilir (Frobenius teoremi)?
Anahtar kavramlar
- Teğet uzayı ve türevler olarak teğet vektörler
- Teğet demeti ve düzgün bir haritanın diferansiyeli
- Vektör alanları, integral eğrileri ve akışlar
- Lie braketi ve Lie türevi
- Dağılımlar ve Frobenius integrallenebilirlik teoremi
Klinik önem
Teğet vektörleri ve vektör alanları, hız, kuvvet ve sonsuz küçük simetriyi formüle etmektedir; bunlar, manifoldlar üzerindeki dinamik sistemler, bir Lie grubunun Lie cebiri ve Riemann geometrisinin jeodezik ve eğrilik yapıları için temel oluşturmaktadır.
Tarihçe
Teğet uzayının türevler olarak içsel, koordinattan bağımsız tanımı, 20. yüzyılın ortalarında, Lie'nin sürekli dönüşüm grupları teorisi ve Cartan'ın diferansiyel formlar hesabına dayanarak ortaya çıkmış ve diferansiyel geometriye modern fonktöriyel formülasyonunu kazandırmıştır.
Öne çıkan isimler
- Élie Cartan
- Sophus Lie
- John M. Lee
İlgili konular
Temel eserler
- lee2012
- warner1983
Sıkça sorulan sorular
- Teğet vektörleri neden türevler olarak tanımlanır?
- Türev tanımı içsel ve koordinattan bağımsızdır: bir teğet vektör, Leibniz kuralını sağlayan düzgün fonksiyonlar üzerinde doğrusal bir operatördür; bu, herhangi bir gömme referansından kaçınır ve soyut manifoldlar üzerinde çalışır.
- İki vektör alanının Lie braketi neyi ölçer?
- İki vektör alanının akışlarının değişme özelliğinin başarısızlığını ölçer; braketin sıfır olması, akışların aynı noktaya ulaşmak için herhangi bir sırada takip edilebileceği anlamına gelmektedir.