Grundlæggende gruppe
Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den
version , der blev gennemgået den 19. september 2022; verifikation kræver
1 redigering .
En fundamental gruppe er en bestemt gruppe , der er forbundet med et topologisk rum . Groft sagt måler denne gruppe antallet af "huller" i rummet. Tilstedeværelsen af et "hul" er bestemt af umuligheden af kontinuerligt at deformere en lukket kurve til et punkt.
Den grundlæggende gruppe af et rum er normalt betegnet med eller , sidstnævnte notation gælder for forbundne rum. Den grundlæggende gruppes trivialitet skrives normalt som , selvom notationen er mere passende.
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\pi _{1}(X,x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/c04f460bab6f580276cedce44809d2e466df4cbb)
![\pi _{1}(X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/c502a8f1054224532cb495be2f6b5e65f660c2aa)
![{\displaystyle \pi _{1}(X)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1de1bfc6962430267bb3b2e290459be19863f729)
![{\displaystyle \pi _{1}(X)=\{1\))](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ff65422d3988e0664b044a3181b09961a0ebd2d)
Definition
Lad være et topologisk rum med markeret punkt . Overvej sættet af løkker i fra ; det vil sige sættet af kontinuerlige afbildninger sådan, at . To sløjfer og betragtes som ækvivalente, hvis de er homotopiske med hinanden i klassen af sløjfer, det vil sige, at der er en homotopi, der forbinder dem , der opfylder egenskaben . De tilsvarende ækvivalensklasser (betegnet ) kaldes homotopiklasser . Produktet af to sløjfer er en sløjfe bestemt af deres successive passage:
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x_{0}\i X](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b79e955b57dd7aada93b8afd459996ae941d480)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![f\kolon [0,1]\til X](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a5914a281d14b962dc4dbe09be786f025cb54d2)
![f(0)=x_{0}=f(1)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c196375563ce54b7a24f1c1b5cfd55bf6e4bc87)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![g](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3556280e66fe2c0d0140df20935a6f057381d77)
![f_t](https://wikimedia.org/api/rest_v1/media/math/render/svg/874c306411e808e8191e8aeb95e3440e1c68d6e9)
![f_{t}(0)=x_{0}=f_{t}(1)](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f08c71a81a61923146ac6eb3c91abd575edbe2a)
![[f]](https://wikimedia.org/api/rest_v1/media/math/render/svg/7414a730e8157655ff770265ec3a03ec9f09dd54)
Produktet af to homotopiklasser er homotopiklassen af et produkt af sløjfer. Det kan påvises, at det ikke afhænger af valget af sløjfer i klasserne. Sættet af homotopi loop klasser med et sådant produkt bliver en gruppe . Denne gruppe kaldes den grundlæggende gruppe af det markerede punktrum og er betegnet med .
![[f]](https://wikimedia.org/api/rest_v1/media/math/render/svg/7414a730e8157655ff770265ec3a03ec9f09dd54)
![[g]](https://wikimedia.org/api/rest_v1/media/math/render/svg/6545341f409fd77429f02ba8bb88e4445bc2002a)
![[f*g]](https://wikimedia.org/api/rest_v1/media/math/render/svg/165aca6ade78ba7af3cf645de6eebf6bc67a0c95)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86f21d0e31751534cd6584264ecf864a6aa792cf)
![\pi _{1}(X,x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/c04f460bab6f580276cedce44809d2e466df4cbb)
Kommentarer
- En pro kan opfattes som et par mellemrum .
![{\displaystyle (X,\{x_{0}\})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4d3051226d600d288e965dc21319b177b328bc6)
- Enheden for gruppen er klassen af den identiske eller faste sløjfe, det omvendte element er klassen af sløjfen, der krydses i den modsatte retning.
- Hvis er et sti-forbundet rum , så, op til isomorfisme, er den grundlæggende gruppe ikke afhængig af det markerede punkt. Derfor kan man for sådanne mellemrum skrive i stedet uden frygt for at skabe forvirring. For to punkter eksisterer der dog kun en kanonisk isomorfi mellem og , hvis den grundlæggende gruppe er abelsk.
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\pi _{1}(X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/c502a8f1054224532cb495be2f6b5e65f660c2aa)
![\pi _{1}(X,x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/c04f460bab6f580276cedce44809d2e466df4cbb)
![x,y\i X](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d72f66ab332ed430aa9b34ff18c9723c4fea2a1)
![\pi_{1}(X,x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/f51cddd9d7b2d6dba06932d169d8d748bce0b4f6)
![\pi _{1}(X,y)](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2f3130e0b1080e3759eeb328406a4a006fca1c2)
Relaterede definitioner
- Hver kontinuerlig kortlægning af spidse rum inducerer en homomorfi defineret af formlen . At tage den grundlæggende gruppe sammen med den beskrevne operation danner således en funktion .
![\varphi :(X,x_{0})\til (Y,\varphi (x_{0}))](https://wikimedia.org/api/rest_v1/media/math/render/svg/b45b63d0b9c21097956f72ef8f94185f8a3020b1)
![\varphi _{*}=\pi _{1}\varphi :\pi _{1}(X,x_{0})\to \pi _{1}(Y,\varphi (x_{0}))](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd5e10b99f19a72b6b0aab664e7f0d401c13ff53)
![\pi _{1}:{\mathbf {hTop}}\to {\mathbf {Grp}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c324697616a44e181314619cfa5549b62ab93655)
Eksempler
- B har kun én homotopi loop-klasse. Derfor er grundgruppen triviel, . Det samme gælder for ethvert mellemrum - en konveks delmængde af .
![\mathbb {R} ^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![{\displaystyle \pi _{1}(\mathbb {R} ^{n})=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4f16e753447cd335a553e594345eb55a730a9ea)
![\mathbb {R} ^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
- I en cirkel består hver homotopi-klasse af løkker, der snor sig rundt om cirklen et givet antal gange, hvilket kan være positivt eller negativt afhængigt af retningen. Derfor er den grundlæggende gruppe af cirklen isomorf til den additive gruppe af heltal .
![{\mathbb S}^{1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f091cfd6707847adccde50280b0f691f78687621)
![\mathbb {Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/449494a083e0a1fda2b61c62b2f09b6bee4633dc)
- Den grundlæggende gruppe i den dimensionelle sfære er triviel for alle .
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![{\mathbb S}^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41c00c9d3635f5230e6ac11902a50f2323794ed6)
![n\geq 2](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6bf67f9d06ca3af619657f8d20ee1322da77174)
- Den grundlæggende gruppe af de otte er ikke-abelsk - det er et gratis produkt . Et mere generelt resultat er gyldigt, som følger af van Kampens sætning : hvis og er stiforbundne rum og er lokalt blot forbundet, så er grundgruppen af deres buket (limning på et udvalgt punkt) isomorf til det frie produkt af deres grundlæggende grupper:
![{\displaystyle \mathbb {Z} *\mathbb {Z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6093bb1780751aded83b72b280fc59c3caaea0f)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/961d67d6b454b4df2301ac571808a3538b3a6d3f)
![{\displaystyle \pi _{1}(X\vee Y)\cong \pi _{1}(X)*\pi _{1}(Y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8af2da25fa58c49821cc9b8d5fcf764387734808)
- Den grundlæggende gruppe af flyet med punkterede punkter er en fri gruppe med generatorer.
![\mathbb {R} ^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e150115ab9f63023215109595b76686a1ff890fd)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
- Grundgruppen af en orienteret lukket overflade af slægten kan gives af generatorer med en enkelt relation :.
![g](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3556280e66fe2c0d0140df20935a6f057381d77)
![a_{1},\dots ,a_{g},b_{1},\dots ,b_{g}](https://wikimedia.org/api/rest_v1/media/math/render/svg/814cb3a1b2f7b258d8119494090bef1224c39ff9)
![a_{1}b_{1}a_{1}^{{-1}}b_{1}^{{-1}}\dots a_{g}b_{g}a_{g}^{{-1} }b_{g}^{{-1}}=1](https://wikimedia.org/api/rest_v1/media/math/render/svg/87fc21d7cc6f35f905c2f265cb8becdcde717651)
Egenskaber
- Den grundlæggende gruppe af et rum afhænger kun af dets homotopi type .
- Hvis er en tilbagetrækning , der indeholder et markeret punkt , så er homomorfi induceret af indlejringen injektiv .
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86f21d0e31751534cd6584264ecf864a6aa792cf)
![i_{*}:\pi _{1}(A,x_{0})\til \pi _{1}(X,x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4d62eaa5cf7e09d4b45d7b695ee468cb4e87486)
![i:A\hookrightarrow X](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4b295af089dd5f8724e9b65f2c2368b1fcb726f)
- Især den grundlæggende gruppe af den sti-forbundne komponent, der indeholder det markerede punkt, er isomorf med den fundamentale gruppe af alt .
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
- Hvis er en
streng deformation tilbagetrækning , så er en isomorfisme.
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![i_{*}:\pi _{1}(A,x_{0})\til \pi _{1}(X,x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4d62eaa5cf7e09d4b45d7b695ee468cb4e87486)
bevarer produktet : for ethvert par topologiske rum med markerede punkter og der er en isomorfi
![(X,x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2e4e34222493782d38d182b5e25bccd49b9fc3a)
![(Y,y_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d5ddd57c24e692df974226e85938d4f0224ca41)
![\pi _{1}(X\ gange Y,(x_{0},y_{0}))\cong \pi _{1}(X,x_{0})\ gange \pi _{1}(Y ,y_{0}),](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff768a5845a78e547e9a088c5ae49941a70cf96d)
naturligt i og .
![(X,x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2e4e34222493782d38d182b5e25bccd49b9fc3a)
- Van Kampens sætning : Hvis er foreningen af stiforbundne åbne mængder , som hver indeholder et markeret punkt , og hvis hvert skæringspunkt er stiforbundet, så er homomorfi induceret af indlejringer surjektiv. Derudover, hvis hvert skæringspunkt er stiforbundet, så er homomorfikernen den mindste normale undergruppe , der indeholder alle elementer i formen (hvor induceret af indlejringen ), og inducerer derfor en isomorfi ( den første isomorfismesætning ). [1] Især
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![A_{\alpha}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bce019389c665fc524839b04cf9674ce661d4c3)
![x_{0}\i X](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b79e955b57dd7aada93b8afd459996ae941d480)
![A_{\alpha }\cap A_{\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe60d850a64021fd78262ce2dd87d8e48d0bb33f)
![\Phi :\ast _{\alpha }\pi _{1}(A_{\alpha })\to \pi _{1}(X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/44515c2d1311e70488003e3cce1684ace8580129)
![A_{\alpha }\hookrightarrow X](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b5d5e84c4c5e2240a658aa9c207443e9092789f)
![A_{\alpha }\cap A_{\beta}\cap A_{\gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/01bad77d6693dbdece28ab47a82c999eac8a2163)
![N](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5e3890c981ae85503089652feb48b191b57aae3)
![i_{{\alpha \beta }}(\omega )i_{{\beta \alpha }}(\omega )^{{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c022c9208148d2cc87ccaba4d7520022f8c2842c)
![i_{{\alpha\beta))](https://wikimedia.org/api/rest_v1/media/math/render/svg/71c4a524f6853f57bcd5163c24c6c06dd5946dc2)
![A_{\alpha }\cap A_{\beta }\hookrightarrow A_{\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a152822f3d5aba6eefcc90ef146e4f2db5b9e28b)
![\Phi](https://wikimedia.org/api/rest_v1/media/math/render/svg/aed80a2011a3912b028ba32a52dfa57165455f24)
![\pi _{1}(x)\cong \ast _{\alpha }\pi _{1}(A_{\alpha })/N](https://wikimedia.org/api/rest_v1/media/math/render/svg/876460ed07b0f823b033aaeb18fbce1938458660)
bevarer biprodukter : naturligt over alt .![\pi _{1}(\bigvee _{\alpha }X_{\alpha })\cong \ast _{\alpha }\pi _{1}(X_{\alpha })](https://wikimedia.org/api/rest_v1/media/math/render/svg/295dc06d98fb3e98444edb17ef5482d976ae66f4)
![X_{\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/39308414a52622ff42b2b865f1c935fc9e35204f)
- (tilfælde af to ): betingelsen for tredobbelte kryds bliver overflødig, og det viser sig, at , som er en afgrænset (stiforbundet tilfælde ) form for bevarelse af
stød .![A_{\alpha}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bce019389c665fc524839b04cf9674ce661d4c3)
![\pi _{1}(A_{1}\kop A_{2})\cong \pi _{1}(A_{1}){\mathbin {\ast _{{\pi (A_{1}\cap A_{2})}}}}\pi _{1}(A_{2})](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecedfae1b48a4dca9a70d56759bfa7865f96c95d)
![A_{1}\cap A_{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f352b4686f2c2e3730511345e245afdd4b6bb9d)
- En vilkårlig gruppe kan realiseres som den grundlæggende gruppe af et todimensionelt cellekompleks .
- En vilkårlig endelig given gruppe kan realiseres som den grundlæggende gruppe af en lukket 4-manifold.
- Den grundlæggende gruppe af et rum virker ved skift på den universelle dækning af dette rum (hvis den universelle dækning er defineret).
Variationer og generaliseringer
- Grundgruppen er den første af homotopigrupperne .
- Den fundamentale groupoid af et rum er en groupoid , hvis objekter er punkter, og hvis morfismer er homotopiske stiklasser med stisammensætning. Desuden , og hvis er sti-forbundet, så er indlejringen en ækvivalens af kategorierne .
![\Pi(X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/717ae2c27aca6381e66b38e087683887c81fe127)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\pi _{1}(X,x_{0})\cong \operatørnavn {Aut}_({\Pi (X)))x_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a636a693269374287d941923d9d4297582c9efed)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\pi _{1}(X,x_{0})\hookrightarrow \Pi (X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/550e86402d35691a2558898e55fb20157ae689d9)
Noter
- ↑ A. Hatcher , Algebraisk topologi, M.: MTsNMO, 2011.
Litteratur
- Vasiliev V. A. Introduktion til topologi. - M. : FAZIS, 1997. - 132 s. — ISBN 5-7036-0036-7 .
- Matveev SV Fundamental gruppe: Forelæsninger på kurset "Topologi". - Chelyabinsk: ChelGU, 2001. - 16 s. (der er en pdf)
- Fomenko Anatoly Timofeevich. Differentialgeometri og topologi (yderligere kapitler). - R&C dynamic, 1999. - 250 s.