poti med imenovanimi točkami ( točkami z znanimi koordinatami) na obdelovalnipovršini. Pri samih merivah so se pokazale določene zakonitosti, ki so jih kasnejevgradili v aksiome evklidske geometrije. Obstoj premic in krogov se je npr. zdeltako evidenten, da evklidska geometrija o njih ne izgublja besed, ampak jih jemljekot same ob sebi umevne. Po današnjih predstavah o prostoru premice niso takosamoumevne. Raje izhajamo iz preprostejših aksiomov. Verjamemo, da je meddvema različnima točkama vedno mogoče najti vsaj eno pot - krivuljo, ki ju povezuje.Samoumevno se nam zdi tudi, da je krivuljo vedno mogoče deliti na manjše in manjšedele. Dolžino dovolj majhnega dela še vedno določimo kot stari narodi. Primerjamojo z dolžino stadardnega materialnega objekta (metra) 10 . Celotno dolžino krivuljemed dvema točkama definiramo kot vsoto dolžin njenih delov. Da je v prostoru(vsaj na omejenem delu prostora) mogoče poimenovati točke s tremi koordinatamix, y in z tako, da se razdalja med bližnjimi točkami zapiše kot v A.6 (vsaj z omejenonatančnostjo, ki nam je danes dosegljiva) pa je že stvar netrivialne izkušnje. Na tehspoznanjih lahko zgradimo evklidsko geometrijo.Naj bo C krivulja v 3-razsežnem prostoru podana s časovno odvisnostjo kartezičnihkoordinat x i = ξ i (t) (i = 1, 2, 3 in seveda x 1 ≡ x, x 2 ≡ y in x 3 ≡ z), ki sofunkcije časa (t). Če položimo 1-formo dx na krivuljo C, dobimo po J.60 prirastekkoordinate x v času dt, to je dξ1dξ2dξ3dt. Podobno je dy[C] = dt in dz[C] = dt.dt dt dtDolžina odseka, ki ga krivulja opiše v času dt je po A.6:√ (dξ 1) 2 ( dξ2) 2 ( dξ3) 2dtds = + + (J.63)dt dt dtV jeziku 1-form lahko ta izraz, oziroma njegov kvadrat, zapišemo v takole:ds 2 = dx 1 [C] · dx 1 [C] + dx 2 [C] · dx 2 [C] + dx 3 [C] · dx 3 [C](J.64)Iz tega izraza smo v uvodnih poglavjih izpeljali ključne simetrijske lastnosti prostora,zato je razumljivo, da ga želimo zapisati v jeziku 1-form na čimbolj kompakten način.V ta namen definiramo direktni produkt dveh form z naslednjim predpisom: Najbosta a (1) in b (1) dve 1-formi. Njun direktni produkt a (1) ⊗b (1) je binarni operator, kideluje na dve krivulji tako, da je za poljubni dve krivulji C 1 in C 2 vrednost operatorjaa (1) ⊗ b (1) [C 1 ][C 2 ] enaka produktu vrednosti 1- forme a (1) položene na prvo krivuljo,pomnoženi z vrednostjo 1-forme b (1) položene na drugo krivuljo. To je:a (1) ⊗ b (1) [C 1 ][C 2 ] = ( a (1) [C 1 ] )( b (1) [C 2 ] )(J.65)10 Na tej točki se fizik močno razlikuje od matematika. Fizik namreč pristane, da je krivuljomogoče drobiti do neke najmanjše dolžine, ki je morda stvar eksperimentalne spretnosti ali pa jecelo določena z naravo snovi, to je z velikostjo atoma, jedra ali še česa. Za razliko od fizika simatematik predstavlja, da je mogoče poljubno krivuljo razpolavljati v nedogled.96
Kasneje se bomo ukvarjali še z 2-formami, 3-formami itd., ki delujejo na ploskve,prostornine itd. Tudi med temi operatorji bomo definirali direktni produkt kot binarnioperator, katerega vrednost je za vsako dvojico struktur enaka produktu vrednostiobeh operatorjev položenih na svojo stukturo.Vrnimo se k ločnemu elementu J.63! Z direktnim produktom zapišemo:ds 2 = δ ik dx i ⊗ dx k [C][C](J.66)Indeksa i in k tečeta tu od 1 do 3, v n-razsežnem evklidskem prostoru pa seveda od1 do n.Naloga J.7: Prepričaj se, da smemo v skladu z J.65 zapisati:dx ⊗ dy[C 1 ][C 2 ] = dx (1) dy (2) = dx (1)dtdy (2)dt ′ dtdt ′ , (J.67)pri čemer smo z x (1) (t), y (1) (t) in z (1) (t) označili točke na prvi krivulji (C 1 ), z x (2) (t ′ ),y (2) (t ′ ) in z (2) (t ′ ) pa točke na drugi krivulji (C 2 ). Na osnovi tega se prepričaj, da jezapis ločnega elementa J.66 ekvivalenten J.63!Enačba J.66 pove vse o medsebojnih razdaljah med točkami v prostoru in s temdoloča gibalne enačbe za proste delce v tem prostoru. Ta izjava je današnji destilatdolgoletne izkušnje, da še telesa, na katere ne deluje nobena sila, gibljejo enakomernoin premočrtno”. V bolj formalnem jeziku lahko rečemo, da je J.66 najpreprostejšarealizacija koordinat v prostoru (pravzaprav v mnogoterosti), v katerem je dinamikaprostih delcev invariantna glede na Galilejeve transformacije. Prav je, da se ob temspomnimo, da je trajalo zelo, zelo dolgo, da smo se ljudje zavedeli zveze med Galilejevoinvariantnostjo gibalnih enačb in aksiomi evklidske geometrije. Že v trinajstemstoletju je npr. Nikolaj Kuzanski razmišljal o tem, da je premočrtno enakomernogibanje videti tako iz vseh sistemov, ki se med seboj gibljejo premo in enakomerno.Vendar je Galileo Galilei šele v 17. stoletju jasno postavil zakon vztrajnosti. Gibalneenačbe za delce pa je končno formuliral Isaac Newton skoraj sto let kasneje. Formalnaslika o povezavi med geometrijo prostora in dinamiko delcev v njem, čeprav že povdarjenapri Newtonu, je nastala šele mnogo kasneje z razvojem analitične mehanike.Lahko rečemo, da je postala kompletna šele koncem prejšnjega stoletja, to je takrat,ko je tako težko pridobljena predstava o Galilejevo invariantnem prostoru začelapokati. Lorentz, Poincaré in drugi so slutili, da Galilejeva invariantnost ni natančna,vendar je bilo treba počakati Einsteina, da je jasno postavil invariantnost prostora97
- Page 2 and 3:
Kazalo1 Newtonov zakon gibanja in n
- Page 4 and 5:
UvodEinsteinova splošna teorija re
- Page 6 and 7:
Še ena pomembna lastnost enačb (A
- Page 8 and 9:
Na prvi pogled izgleda kot bi se (A
- Page 10 and 11:
inφ ′= φ − ∂ψ∂t(B.6)nata
- Page 12 and 13:
Komponente R µ ν matrike R imajo
- Page 14 and 15:
Poiskati hočemo transformacijo pot
- Page 16 and 17:
(A.6) zapišemo tudi v obliki:S NR
- Page 18 and 19:
Iz teh dveh zahtev je mogoče izpel
- Page 20 and 21:
gibalnih količin elektrona in foto
- Page 22 and 23:
Poglejmo kako je sila na delec real
- Page 24 and 25:
gostoto tega toka pa lahko formalno
- Page 26 and 27:
Če pomnožimo gornje enačbe z ẋ
- Page 28 and 29:
kot metrično teorijo, saj vpelje g
- Page 30 and 31:
Lagranževa funkcija prostega delca
- Page 32 and 33:
incot θ = |l +|l ϕsin (ϕ − ϕ
- Page 34 and 35:
=∫ τ2τ 1√Slika 2:−(η µν
- Page 37:
Naloga F.1: Pokaži, da preide (F.5
- Page 40 and 41:
Ko primerjamo s (F.1), ugotovimo, d
- Page 42 and 43:
Sedaj smo pripravljeni razmišljati
- Page 44 and 45:
azločevanje nima smisla, zato defi
- Page 46 and 47: Upoštevali smo, da je ρ, µ u µ
- Page 48 and 49: komponentah 2 . Upoštevamo, da ima
- Page 50 and 51: Krajevne komponente polja so s tem
- Page 52 and 53: Zadnji izraz je zapisan kot baromet
- Page 54 and 55: poglavju smo se zanimali za plin in
- Page 56 and 57: 7.4 Napetostni tenzor gravitacijske
- Page 58 and 59: dinamičen in so njegove lastnosti
- Page 60 and 61: v splošnem 10-4=6 neodvisnih konst
- Page 62 and 63: Naloga G.5.3: Pokaži, da sta izraz
- Page 64 and 65: je s komponentami 0i, ki v prvem pr
- Page 66 and 67: Vpeljemo celotno maso sistema M = m
- Page 68 and 69: Vrtilna količina pa ima komponente
- Page 70 and 71: Pokazalo se bo namreč, da je u 0 p
- Page 72 and 73: Razmerje ( lm) 2nadomestimo z r 0 i
- Page 74 and 75: [ ] 21−4učlenom u − u 1 0 1−
- Page 76 and 77: oziroma v: (2u0 γ 2)2 + u 0 γ 2 =
- Page 78 and 79: Opazovalec v točki ℘ 1 pa izmeri
- Page 80 and 81: Časovni interval ∆t dobimo tako,
- Page 82 and 83: saj je zakasnitev komaj večja od
- Page 84 and 85: neba, angleškemu astronomu Davidu
- Page 86 and 87: zvezni odvedljivosti funkcij f, g i
- Page 88 and 89: pa, da je mogoče v 81 dimenzionaln
- Page 90 and 91: Za β ≪ α dobimo iz gornjega:a
- Page 92 and 93: nostni faktor, to je:(αa) • (αb
- Page 94 and 95: Ena od navigacijskih naprav v podmo
- Page 98 and 99: glede na Poincaréjevo grupo kot na
- Page 100 and 101: hitrost ima komponente ( ˙ξ i (λ
- Page 102 and 103: Ker mora biti rešitev tega sistema
- Page 104 and 105: potem se v koordinatni bazi η i (x
- Page 106 and 107: 1( ∂η ∂ξ=− ∂η ∂ξ+ ∂
- Page 108 and 109: Računanja ploščine poljubno orie
- Page 110 and 111: 10.3.3 O 3-formahV 3-razsežnih mno
- Page 112 and 113: Če sta f in h r-formi, veljaP (n)
- Page 114 and 115: kot 1-forme invariantni operatorji,
- Page 116 and 117: 10.7 Transformacijske grupe, Lie-je
- Page 118 and 119: τ(P,s)σ(τ(P,s),∆t)Pw(P)w(P')P'
- Page 120 and 121: Najbolj preprosto je zapisati Lijev
- Page 122 and 123: g je gotovo bogatejša od množice
- Page 124 and 125: potem je vektorsko polje w levo inv
- Page 126 and 127: Grupa G ima enoparametrične podgru