Hladký svazek
Hladký svazek je lokálně triviální svazek s funkcemi plynulého přechodu.
Definice
Nechte a buďte hladké rozvody . Epimorfismus variet se nazývá hladký svazek , pokud existují: otevřený kryt variety , varieta a rodina difeomorfismů souvisejících funkcemi hladkého přechodu k .
![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)
![PROTI](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![{\displaystyle \varphi _{i}\colon \pi ^{-1}(U_{i})\to 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)
Hladký svazek je místně triviální svazek s prostorem svazku , základnou , generickým vláknem a atlasem svazku . Uzavřený submanifold se nazývá typické vlákno hladkého svazku v bodě .
![{\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\in X](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
Příklady
Vlastnosti
- Prostor svazku je vybaven atlasem souřadnic , kde jsou souřadnice na a jsou souřadnice na , jejichž přechodové funkce na souřadnicích nezávisí .
![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)
![PROTI](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)
- Pro jakýkoli bod existuje otevřené sousedství a takové vložení , že . Toto mapování se nazývá (místní) sekce hladkého svazku.
![x\in 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\dvojtečka U\to 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)
Variace a zobecnění
Literatura
- Greub W., Halperin S., Vanstone R. Connections, curvature and cohomology, sv. I-III. - N.Y .: Academic Press, 1972-1976.
- Kobayashi Sh., Nomizu K. Základy diferenciální geometrie. - M. : Nauka, 1981. - T. 1. - 344 s.
- Sardanashvili G. A. Moderní metody teorie pole. 1. Geometrie a klasická pole. - M. : URSS, 1996. - 224 s. — ISBN 5-88417-087-4 . .
- Sardanashvily, G. , Svazky vláken, jet manifolds a Lagrangeova teorie. Přednášky pro teoretiky, arXiv: 0908.1886