Otwórz menu główne

Twierdzenie Stone’a-Weierstrassa

Twierdzenie Weierstrassa – twierdzenie mówiące, że każdą funkcję ciągłą o wartościach rzeczywistych na przedziale domkniętym można przybliżyć jednostajnie z dowolną dokładnością wielomianami. Twierdzenie to zostało znacznie uogólnione przez amerykańskiego matematyka Stone’a i w tej ogólnej postaci jest ono dzisiaj znane jako twierdzenie Stone’a-Weierstrassa.

HistoriaEdytuj

W 1885, niemiecki matematyk Karl Weierstraß udowodnił że każda funkcja ciągła z odcinka domkniętego w liczby rzeczywiste   jest granicą jednostajną wielomianów o współczynnikach rzeczywistych[1]. Nie znaczy to jednak, że wielomianami można przybliżyć dowolną funkcję na całej jej dziedzinie. Poza odcinkiem na którym przybliżenie będzie całkiem niezłe, wielomian może zachowywać się katastrofalnie, niezależnie od stopnia. Np. funkcji trygonometrycznych, funkcji wykładniczej, logarytmu itd., nie da się sensownie przybliżyć (na całej dziedzinie) wielomianami niezależnie od stopnia.

W 1937, amerykański matematyk Marshall Harvey Stone uogólnił to twierdzenie[2] a dziesięć lat później znacznie uprościł on dowód[3]. Współcześnie, ogólna forma tego twierdzenia (udowodniona przez Stone’a) jest znana jako twierdzenie Stone’a-Weierstrassa.

DefinicjeEdytuj

Niech   będzie przestrzenią topologiczną.

  •   jest zbiorem wszystkich funkcji ciągłych z   w  . Zbiór ten jest wyposażony w strukturę pierścienia przez określenie operacji   tak, że   i   (dla   i  ).
  • Powiemy, że rodzina funkcji   rozdziela punkty jeśli dla każdych dwoćh różnych punktów   można znaleźć funkcję   taką, że  .
  • Topologia zbieżności jednostajnej na   jest zadana przez metrykę   taką, że
 .

TwierdzenieEdytuj

Jeżeli:

(a)   jest przestrzenią zwartą,
(b)   jest podpierścieniem zawierającym wszystkie funkcje stałe,
(c) zbiór   jest domknięty w topologii zbieżności jednostajnej,
(d)   rozdziela punkty.

Wówczas  .

Tak więc, przy warunkach (a) i (b) sformułowanych powyżej,

  jest gęstym podzbiorem   (w topologii zbieżności jednostajnej) wtedy i tylko wtedy, gdy   rozdziela punkty.

Zobacz teżEdytuj

PrzypisyEdytuj

  1. Karl Weierstraß. Über die analytische Darstellbarkeit sogenannter willkürlicher Functionen einer reellen Veränderlichen. Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin, 1885 (II), 633–639, 789–805
  2. Marshall Harvey Stone. Applications of the theory of Boolean rings to general topology. Transactions of the American Mathematical Society 41 (1937), no. 3, 375-481.
  3. Marshall Harvey Stone. The generalized Weierstrass approximation theorem. Math. Mag. 21, (1948). 167-184, 237-254.