Twierdzenie Stone’a-Weierstrassa – Wikipedia, wolna encyklopedia

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[1]. 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.

Historia

[edytuj | edytuj kod]

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[2]. 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[3] a dziesięć lat później znacznie uprościł on dowód[4]. Później ogólna forma tego twierdzenia (udowodniona przez Stone’a) stała się znana jako twierdzenie Stone’a-Weierstrassa.

Definicje

[edytuj | edytuj kod]

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 dwóch różnych punktów można znaleźć funkcję taką, że
  • Topologia zbieżności jednostajnej na jest zadana przez metrykę taką, że

Twierdzenie

[edytuj | edytuj kod]

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 | edytuj kod]

Przypisy

[edytuj | edytuj kod]
  1. Stone’a–Weierstrassa twierdzenie, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2022-02-18].
  2. 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), s. 633–639, 789–805.
  3. Marshall Harvey Stone. Applications of the theory of Boolean rings to general topology. Transactions of the American Mathematical Society 41 (1937), no. 3, s. 375–481.
  4. Marshall Harvey Stone. The generalized Weierstrass approximation theorem. Math. Mag. 21, (1948), s. 167–184, 237–254.

Linki zewnętrzne

[edytuj | edytuj kod]