Isotrop vektor
En isotropisk vektor ( nullvektor ) är en vektor som inte är noll för ett pseudo-euklidiskt vektorrum (över fältet av reella tal ) eller ett enhetligt vektorrum (över fältet av komplexa tal ), ortogonal mot sig själv, eller, på motsvarande sätt, med noll längd i betydelsen den skalära produkten av det aktuella utrymmet. Namnet isotrop är förknippat med det fysiska begreppet isotropi .
Det finns inga sådana vektorer i euklidiska utrymmen - bara vektorer lika med noll har noll längd. I pseudo-euklidiska utrymmen finns isotropa vektorer och bildar en isotrop kon . Nämligen, en vektor av ett vektorrum över ett fält av reella eller komplexa tal med en icke-degenererad bilinjär form given som en skalär produkt med signatur är isotrop om .
![{\displaystyle \xi \neq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16e60a602d7052b3a63885bc057205f82ee74894)
![E](https://wikimedia.org/api/rest_v1/media/math/render/svg/4232c9de2ee3eec0a9c0a19b15ab92daa6223f9b)
![(p,q)](https://wikimedia.org/api/rest_v1/media/math/render/svg/9769c58523b9b639866a2d48e657d9c26911143a)
![{\displaystyle \Phi (\xi ,\xi )=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70a9bf1b0ce2e0a31f8f1f91c477b694c45d4845)
Relaterade begrepp
- En isotrop kon av ett pseudo-euklidiskt eller enhetligt vektorrum är en uppsättning som består av alla nolllängdsvektorer i det givna rummet, det vill säga alla isotropa vektorer och en nollvektor.
- Ett isotropt delrum är ett delrum av ett pseudo-euklidiskt eller enhetligt vektorrum som helt och hållet finns i den isotropiska konen av detta utrymme, det vill säga det består helt och hållet av vektorer med noll längd. Ett delrum är isotropt om och endast om två av dess vektorer är ortogonala mot varandra [1] . Den maximala dimensionen för ett isotropiskt delrum av ett pseudo-euklidiskt singaturrum överstiger inte [2] .
![(p,q)](https://wikimedia.org/api/rest_v1/media/math/render/svg/9769c58523b9b639866a2d48e657d9c26911143a)
![{\displaystyle \min(p,q)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46ac8859bba5f573d42abf0e9279483611be1e0e)
- Ett degenererat delrum är ett delrum av ett pseudo-euklidiskt eller enhetligt vektorrum till vilket den skalära produktrestriktionen är degenererad. Ett delrum är degenererat om och endast om det innehåller minst en isotrop vektor som är ortogonal mot alla andra vektorer i detta delrum [1] . Uppenbarligen är vilket isotropt delrum som helst degenererat, men det omvända är inte sant.
Exempel
- Det enklaste exemplet är isotropa vektorer och en isotrop kon i ett pseudo-euklidiskt signaturrum (2.1). Kvadraten på längden på en vektor ges av . En isotrop kon är en rät cirkulär kon . Isotropa delrum är raka linjer (generatorer) som ligger på den, degenererade delrum (andra än isotropa) är plan som tangerar en isotrop kon, det vill säga har exakt en gemensam linje med sig. Alla andra plan är antingen euklidiska (om de skär med en isotrop kon endast vid dess spets), eller pseudo-euklidiska av signatur (1,1) (om de skär med den längs två olika linjer) [3] .
![{\displaystyle \mathbb {R} _{1}^{3))](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf2bc8716918560d3b5cc467bb34b1eb36024de0)
![{\displaystyle e=(x,y,z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/947da357be2ca477d400b50f11835110f776d314)
![{\displaystyle |e|^{2}=\langle e,e\rangle =x^{2}+y^{2}-z^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7d6a519951a766c6569260244a24ca3196dc968)
![{\displaystyle x^{2}+y^{2}-z^{2}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc134db1287ee8472bd9245403648e30d2aa727b)
- Det viktigaste exemplet är isotropa vektorer och en isotrop kon i Minkowskis rymd, ett pseudo-euklidiskt signaturrum (1,3) som används som en geometrisk tolkning av den speciella relativitetsteoriens rum-tid . I detta utrymme har varje vektor e fyra koordinater: , där är ljusets hastighet , och kvadraten på dess längd ges av formeln . Den isotropiska konen i Minkowskirymden kallas ljuskonen , och de isotropiska vektorerna kallas ljus eller ljusliknande . Vektorer inuti ljuskonen ( ) kallas tidsliknande och vektorer utanför ljuskonen ( ) kallas rymdliknande .
![{\displaystyle \mathbb {R} _{1}^{4))](https://wikimedia.org/api/rest_v1/media/math/render/svg/4155c0fc907ba9e0c5b3ee75a3e964c9360570a1)
![{\displaystyle e=(ct,x,y,z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2af2c056053eeead0f21bee00e3c6c4dfd97cfad)
![c](https://wikimedia.org/api/rest_v1/media/math/render/svg/86a67b81c2de995bd608d5b2df50cd8cd7d92455)
![{\displaystyle |e|^{2}=\langle e,e\rangle =(ct)^{2}-x^{2}-y^{2}-z^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/406875715b6cfed3b998c02aca3d65331a36ab17)
![{\displaystyle |e|^{2}>0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3939875bc995eb6c726d20bb161da0c8eb9293b1)
![{\displaystyle |e|^{2}<0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a348c2845ddf79d4408dc3facdee56c6a507a419)
Anteckningar
- ↑ 1 2 Remizov A. O. On isomorphisms of pseudo-euclidean spaces , Mat. utbildning, 2018, nr 2(86), 15–39 (s. 17).
- ↑ Remizov A. O. On isomorphisms of pseudo-euclidean spaces , Mat. obrazovanie, 2018, nr 2(86), 15–39 (s. 27, Lemma 2).
- ↑ Shafarevich I. R. , Remizov A. O. Linjär algebra och geometri, - Fizmatlit, Moskva, 2009 (kap. 7, par. 7)
Litteratur
- Isotropisk vektor - artikel från Encyclopedia of Mathematics . A.B. Ivanov
- B.A. Dubrovin , S.P. Novikov , A.T. Fomenko Modern geometri: metoder och tillämpningar. - 4:e upplagan. - M. : Editorial URSS, 1998. - T. 1. Geometri av ytor, grupper av transformationer och fält. - S. 49-52. — 320 s. — ISBN 5-901006-02-X .
- Shafarevich I. R. , Remizov A. O. Linjär algebra och geometri, - Fizmatlit, Moskva, 2009 (kap. 7, par. 7).
- Remizov AO Om isomorfismer av pseudo-euklidiska utrymmen , Mat. utbildning, 2018, nr 2(86), 15–39.
Vektorer och matriser |
---|
Vektorer | Grundläggande koncept |
|
---|
Typer av vektorer |
|
---|
Operationer på vektorer |
|
---|
Utrymmestyper |
|
---|
|
---|
matriser | |
---|
Övrig |
|
---|