Tekst źródłowy strony Przestrzeń Eilenberga-MacLane’a

W [[Matematyka|matematyce]], dokładniej w [[Topologia algebraiczna|topologii algebraicznej]] '''przestrzenią Eilenberga-MacLane’a''' (typu <math>K(G,n)</math>) nazywamy każdą łukowo spójną [[Przestrzeń topologiczna|przestrzeń topologiczną]] mającą tylko jedną nietrywialną, [[Izomorfizm grup|izomorficzną]] z <math>G\neq \{e\}</math> [[Grupa homotopii|grupę homotopii]] wymiaru <math>n\in\mathbb N^+</math><ref name="Spanier">{{Cytuj książkę |nazwisko = Spanier |imię = Edwin H. |autor link = |tytuł = Topologia algebraiczna |wydawca = PWN |miejsce = Warszawa |rok = 1972 |strony = 478–479 |isbn =}}</ref>.

== Przykłady ==
* [[Sfera]] 1-wymiarowa <math>\mathbb S^1</math> jest przestrzenią Eilenberga-MacLane’a typu <math>K(\mathbb Z,1).</math>
* Nieskończenie wymiarowa rzeczywista [[przestrzeń rzutowa]] <math>\mathbb{RP}^\infty</math> jest przestrzenią Eilenberga-MacLane’a typu <math>K(\mathbb Z_2,1).</math>
* Nieskończenie wymiarowa zespolona [[przestrzeń rzutowa]] <math>\mathbb{CP}^\infty</math> jest przestrzenią Eilenberga-MacLane’a typu <math>K(\mathbb Z,2)</math><ref name="Spanier" />.

== Zobacz też ==
* [[przestrzeń Moore’a (topologia algebraiczna)]]

== Przypisy ==
{{Przypisy}}

[[Kategoria:Topologia algebraiczna]]