Lemat Poincarégo

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Lemat Poincarégo – jedno z najważniejszych twierdzeń teorii form różniczkowych, zwyczajowo zwane lematem. Twierdzenie zostało sformułowane przez Henri Poincarégo.

Twierdzenie[edytuj]

Niech oznacza -tą przestrzeń kohomologii de Rhama zbioru . Jeśli jest obszarem ściągalnym do punktu, to dla każdego .

Inne sformułowanie[edytuj]

Każda zupełna forma różniczkowa na zbiorze otwartym i gwiaździstym jest dokładna.