Pachet neted
Un pachet neted este un pachet trivial local cu funcții de tranziție lină.
Definiție
Lăsați și să fie colectori netede . Un epimorfism de varietăți se numește mănunchi neted dacă există: un capac deschis al varietății , o varietate și o familie de difeomorfisme legate de funcțiile de tranziție lină la .
![Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/961d67d6b454b4df2301ac571808a3538b3a6d3f)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\displaystyle \pi \colon Y\to X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04ee51f4347ea163b3a0ca2d6ad8f8fdfd647b8a)
![{\displaystyle (U_{i})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d909141df3efbdb53be036fabc3aca571920939)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![{\displaystyle \varphi _{i}\colon \pi ^{-1}(U_{i})\la U_{i}\times V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ab302221ea948e6eb27463b89f22c2683033a12)
![{\displaystyle \rho _{ij}=\varphi _{i}\varphi _{j}^{-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42206a981b0db4b38f7889bfafecafdedeba5a39)
![{\displaystyle U_{i}\cap U_{j}\times V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2a1ee8651d9dd93ba631327f49eddf15c9b9f44)
Un pachet neted este un pachet trivial la nivel local cu spațiu de pachet , bază , fibră generică și atlas de pachet . O subvarietă închisă se numește o fibră tipică a unui fascicul neted într-un punct .
![{\displaystyle (U_{i},\;\varphi _{i},\;\rho _{ij})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9368543e8f5c618fc26e133134567bbd7f08f16)
![{\displaystyle \pi ^{-1}(x)\subset Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e95744dc18d52688f9d14bd9a53b7833503015fe)
![x\în X](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
Exemple
Proprietăți
- Spatiul pachetului este dotat cu un atlas de coordonate , unde sunt coordonatele pe si sunt coordonatele pe , ale carui functii de tranzitie nu depind de coordonate .
![Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/961d67d6b454b4df2301ac571808a3538b3a6d3f)
![{\displaystyle (x^{\mu},\;y^{a})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fdcd3540dc07740d2aaa145f13237b5dce6cebd)
![{\displaystyle (y^{a})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec96335e6a5229fd3ec2063d6027e75eaa888038)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![{\displaystyle (x^{\mu })}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70290cf191c27d4ebcf2579149c291d9b2faa10c)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\displaystyle (y^{a})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec96335e6a5229fd3ec2063d6027e75eaa888038)
- Pentru orice punct există un cartier deschis și o încorporare astfel încât . Această mapare se numește o secțiune (locală) a unui pachet neted.
![x\în X](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
![U](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![{\displaystyle s\colon U\la Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbef64b2c93072f1f3dbb5c3eb9af12275eb1e5d)
![{\displaystyle \pi \circ s=\mathrm {Id} \,(U)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9259c1cfefa1a6c5ebd919456748958bf236b5e8)
Variații și generalizări
Literatură
- Greub W., Halperin S., Vanstone R. Conexiuni, curbură și coomologie, voi. I-III. - N.Y .: Academic Press, 1972-1976.
- Kobayashi Sh., Nomizu K. Fundamentele geometriei diferenţiale. - M. : Nauka, 1981. - T. 1. - 344 p.
- Sardanashvili G. A. Metode moderne ale teoriei câmpului. 1. Geometrie și domenii clasice. - M. : URSS, 1996. - 224 p. — ISBN 5-88417-087-4 . .
- Sardanashvily, G. , fascicule de fibre, colectoare cu jet și teoria lagrangiană. Prelegeri pentru teoreticieni, arXiv: 0908.1886