Jirovektör uzay

Vikipedi, özgür ansiklopedi
Şuraya atla: kullan, ara

Bir jirovektör uzay, Öklid geometrisi kullanılan vektör uzayları'na benzer şekilde hiperbolik geometri eğitimi için Abraham A. Ungar'e tarafından önerilen matematiksel bir kavramdır.[1] Ungarın jirogruplar yerine jirovektörler kavramını tanıttığı grupların tabanına ek var. Ungar hızlarının bileşimlerini temsil etmek için Lorentz dönüşümleri kullanımına alternatif olarak özel görelilik formülasyonu için bir araç olarak kavramını geliştirdi boostlar denilen "boostlar"ın göreli hızlarının yönleri vardır, ve "öteleme" ile birleştirme olmamalıdır,ayrıca boostlar denir). Bu "jiro operatörlerin" tanıtılması ile elde edilir, iki 3d hız vektörleri 3d hızı üzerinde etkili bir operatör, oluşturmak için kullanılır.

Lorentz dönüşümleri (Lorentz grubu ve Poincaré grubu'na bakınız), matematiksel olarak daha basit olan ve dolayısıyla genel rölativistik fizik tercih edilen bir grubu oluşturmaktadır.

Giriş[değiştir | kaynağı değiştir]

Bir 'jirovektör uzay hiperbolik geometri eğitimi için Abraham A. Ungar tarafından önerilen ve Öklid geometri'de kullanilan vektör uzayına benzer bir kavramdır.[1] Gruplarına taban eklenen vektörlerin yerine jirogrup tabanlı eki olan jirovektörler kavramınin tanıtimidir

İsim[değiştir | kaynağı değiştir]

Jirogrupların zayıf-ilişkisel-grupsu yapısı vardır.Ungarın önerdiği jirogrup terimi komutatif-gruplar ile karşı gurupların benzerliği içinde jirokomutatif olmayan durum için jirogrup terimi ile ona bir jirokomutatif-jirogrup yeri ayrılmış olmasıdır.jirogruplar bir Bol döngüsü türüdür.jirokomutatif jirogruplar K-döngülere eşdeğerdir[2] Bruck döngüsü terimi,farkli tanimlanmis olmasina ragmen[3] terimleri ve dyadic symset[4] ayrıca kullanılıyor.

Jirovektör uzayının matematiği[değiştir | kaynağı değiştir]

Jirogruplar[değiştir | kaynağı değiştir]

Aksiyomlar[değiştir | kaynağı değiştir]

Bir grupoid (G, ) bir jirogrup tur, Eğer ikili işlem aşağıdaki aksiyomlar uygunsa:

  1. G içinde burada en az bir öge 0 bir soldaki özdeşlik ile tüm a ∈ G için 0a = adır
  2. Her a ∈ G için burada bir G içindeki a ögesi aa = 0 ın bir sol tersi denir .
  3. Herhangi G içindeki a, b, c için burada bir tek öge gyr[ab]c var.G öyleki sol jiroilişkisel kurala uygun ikili işlemi : a(bc) = (ab)gyr[ab]c
  4. c → gyr[ab]c ile verilen gyr[ab]:GG haritası groupoid (G, )in bir otomorfizmasıdır.Bu gyr[ab] dir ve Aut(G, )nın bir üyesidir ve otomorfizma Gnin gyr[ab] G içinde ab tarafından üretilmiş G nin jirootomorfizması denir.Bu işleme gyr:G × G → Aut(G) Gnin jiratörü denir.
  5. jirotomorfizmada gyr[ab] sol döngü özelligi var. gyr[ab] = gyr[abb]

aksiyomların ilk çifti grup aksiyomları gibidir.Son iki mevcut jiratör aksiyomları ve orta aksiyom bağlantıları iki çifttir.

Böylece bir jirogrubun tersi ve ona özdeş onu niteleyen bir yalancıgrup ve bir döngüsü var.

jirogruplar grupların bir genellemesidir. Her grup bir jirogrupun bir örneğidir özdeş haritada gyr olarak tanımlanır .

jirogrupların bir örneği için not.[5]

Özdeşlikler[değiştir | kaynağı değiştir]

Herhangi jirogrup (G,) içinde tutulan bazı özdeşlikler:

  1. (jirasyon)
  2. (sol ilişkisellik)
  3. (sağ ilişkisellik).[6] kaynağın 50 sh bazı özellikler verilmiştir

Beltrami–Klein disk/top modeli ve Einstein toplamı[değiştir | kaynağı değiştir]

Hiperbolik geometri ve hız artımı formülü ile verilebilen Beltrami–Klein modelinde bu gibi göreli hiz vektörlerinin toplamı noktalar olarak düşünülebilir.3'den büyük boyutun hiperbolik uzay içinde vektör artımıni genelleştirmek için formülde sırayla, nokta çarpımın favorisi içinde çapraz çarpımın kullanımını önleyen bir formu içinde yazılması gerekir .

Genel durum içinde, ve ' hızlarının Einstein hız artımı bağımlı-koordinatlar içinde verilen formu :

olarak veriliyor.

burada gamma çarpanı denklemi ile veriliyor.

alınan koordinatlar ile kullanımı:

burada .

Einstein hız ekleme değişmeli ve birleşimli yalnızca ve ise paraleldir. Aslında

ve

burada "gyr" Thomas presesyonun içine matematiksel soyutlama içinde adlandırılan bir işlemci Thomas jirasyon ve ile veriliyor.

tüm w için. Thomas presesyondas negatif hiperbolik üçgen eksikliği olarak hiperbolik geometri içinde bir yorumlana var .

Lorentz dönüşüm düzenlemesi[değiştir | kaynağı değiştir]

Eğer 3-koordinatlara uygulanan dönmenin 3 × 3 matris formu gyr[u,v] ile veriliyor, ise applied to 4-koordinatlara 4 × 4 matrise uygulanan dönme aşağıdaki ile veriliyor:

.[7]

Düzenlenen hızlarının iki Lorentz boostları B(u) ve B(v) u ve v ile veriliyor:[7][8]

Bu aslında ya B(uv) veya B(vu) ve siz dönme öncesi veya hız düzenleme paradoksu açılımı sonrası bağlı olup olmadığını yazarak kullanabilirsiniz .

iki Lorentz dönüşümünün düzenlemesi L(u,U) ve L(v,V)'nin bu U ve V içerik dönmeleri ile veriliyor:[9]

Yukarıdaki içinde, bir boost bir 4 × 4 matris olarak gösterilebilir.Boost matris B(v) boost B anlamında vnin bu bileşenleri kullanılıyor ,yani. matrisin girişi içinde v1, v2, v3, veya bu gösterimin bileşenleri yerine içinde v/c nin is Lorentz transformation#Matris formları bölümü içinde kullanılıyor.v 3-hızının bileşenleri üzerinde bağlı giriş matrisleri , ve bunlar bu B(v) gösteriminin anlamıdır.4-hızın girişinin 3'ü 4 hızın bileşenleri üzerinde bağlı bu girişler savunulabilir olarak 3-hızın girişleri olarak aynıdır, ama 3-hızın yardımıyla boost ölçeklemesinin kullanılabilirliği ile bu sonuç boostu siz 3-hızın kullanılan bileşenlerinin iki boost'unun düzenlenmesinden 4 × 4 matrix B(uv) içinde uvdüzenlenmesinden alıyor . Ama sonuç boost ayrıca bir dönme matrisi ile çarpmaya gerek olur çünkü boost düzeni(yani iki 4 × 4 matrislerinin çarpımı) bir saf boost içinde sonuçlar değil ama bir boost ve bir dönme,yani alınan B(u)B(v)'ye Gyr[u,v] dönmeye karşılık bir 4 × 4 matristir. B(u)B(v) = B(uv)Gyr[u,v] = Gyr[u,v]B(vu).

Einstein jirovektör uzayı[değiştir | kaynağı değiştir]

Diyelimki s herhangi pozitif sabit olsun, diyelimki (V,+,.) ve herhangi gerçek iç çarpım uzayı diyelimki Vs={v  ∈  V :|v|<s} olsun.Bir Einstein jirovektör uzayı (Vs) bir Einstein jirogruptur (Vs) ve skaler çarpım ile veriliyor rv = s tanh(r tanh−1(|v|/s))v/|v| burada r herhangi bir gerçek sayı, v  ∈ Vs, v ≠ 0 ve r  0 = 0 ile gösteriliyor v  r = r  v.

Einstein skaler çarpımı Einstein artımı üzerinde dağılımı olmayan jirovektorler hariç eşdoğrusaldır (tekdağılımlı), ama bunda diğer vektör uzayının özellikleri de vardı:Herhangi pozitif tamsayı n ve tüm gerçek sayılar için r,r1,r2 ve v  ∈ Vs':

n  v = v  ...  v n terimler
(r1 + r2 v = r1  v  r2  v Skaler dağılım kanunu
(r1r2 v = r1  (r2  v) Skaler birleşim kanunu
r (r1  a  r2  a) = r (r1  a r (r2  a) Tekli dağılmalı kanun

Poincaré disk/top modeli ve Möbius artımı[değiştir | kaynağı değiştir]

karmaşık düzlem içinde açık birim diskin Möbius dönüşümü kutupsal bozunma ile veriliyor

bunun olarak yazılabilen bu tanımı Möbius artımı olur.

Karmaşık sayılar düzlemi R^2 vektörler olarak kabul edilir, ve Möbius ilave olarak vektör formunda yeniden yazılarak bu daha yüksek boyutlara genelleştirilerek:

Bu karmaşık birim s=1 disk için şimdi herhangi bir s>0 olur hiperbolik geometrinin Poincaré topu modelinde noktaların vektör artımını verir.

Izomorfizmler[değiştir | kaynağı değiştir]

Bir jirovektör uzay izomorfizmi jirogrup toplama ve skaler çarpma ve iç çarpımı korur.

Üç ayri jirovektör alanda Möbius, Einstein ve Uygun hız izomorfiktir.

M, E and U sırasıyla Mobius, Einstein ve Uygun Hız jirovektör uzayları ile vm, ve vevu ögeleri ise verilen izomorfizmler ile:

EU by
UE by
EM by
ME by
MU by
UM by

ve arasındaki ilişki bu tablodan denklemleri ile veriliyor:

Bu Möbius dönüşümleri ve Lorentz dönüşümleri arasında bağlantıyla ilişkilidir.

Notlar ve kaynaklar[değiştir | kaynağı değiştir]

  1. ^ a b Abraham A. Ungar (2005), "Analytic Hyperbolic Geometry: Mathematical Foundations and Applications", Published by World Scientific, ISBN 981-256-457-8, ISBN 978-981-256-457-3
  2. ^ Hubert Kiechle (2002), "Theory of K-loops",Published by Springer,ISBN 3-540-43262-0, ISBN 978-3-540-43262-3
  3. ^ Larissa Sbitneva (2001), Nonassociative Geometry of Special Relativity, International Journal of Theoretical Physics, Springer, Vol.40, No.1 / Jan 2001
  4. ^ J lawson Y Lim (2004), Means on dyadic symmetrie sets and polar decompositions, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, Springer, Vol.74, No.1 / Dec 2004
  5. ^ Hyperbolic trigonometry in the Einstein relativistic velocity model of hyperbolic geometry, AA Ungar – Computers & Mathematics with Applications, 2000 – Elsevier, Page 5, Postscript version
  6. ^ Analytic hyperbolic geometry and Albert Einstein's special theory of relativity, Abraham A. Ungar, World Scientific, 2008, ISBN 978-981-277-229-9
  7. ^ a b Ungar, A. A: The relativistic velocity composition paradox and the Thomas rotation. Found. Phys. 19, 1385–1396 (1989)
  8. ^ Ungar, A. A. (2000). "The relativistic composite-velocity reciprocity principle". Foundations of Physics (Springer). Şablon:Citeseerx. 
  9. ^ eq. (55),Lorentz dönüşüm grupunun Thomas dönmesi ve ölçeklemesi, AA Ungar – Foundations of Physics Letters, 1988

İleri okuma[değiştir | kaynağı değiştir]

Dış bağlantılar[değiştir | kaynağı değiştir]