Analiza rzeczywista

Analiza rzeczywista – podstawowy dział analizy matematycznej badający funkcje rzeczywiste, zwłaszcza te zmiennej rzeczywistej. Operuje między innymi pojęciami z rachunku różniczkowego i całkowego jak różniczkowalność i całkowalność różnego rodzaju, definiując je ściśle, przez granice funkcji. Analiza rzeczywista bada tym narzędziem także ciągłość oraz jak te typowo analityczne własności wiążą się z innymi, zdefiniowanymi algebraicznie lub przez porządek jak okresowość, ograniczenie, monotoniczność czy własność Darboux. Jest to fundament innych działów analizy jak analiza wektorowa, równania różniczkowe, analiza harmoniczna czy zespolona. Wypracowane przez nią pojęcie ciągłości stało się centralne dla topologii, a miara określiła zakres badań probabilistyki.

Dla analizy rzeczywistej istotne bywają założenia teorii mnogości jak pewnik wyboru, a pewnej perspektywy na funkcje rzeczywiste dostarcza też analiza funkcjonalna.

Pojęcia

Wśród funkcji rzeczywistych wyróżnia się dziesiątki klas określonych własnościami jak: Szablon:Układ wielokolumnowy Niektóre z tych rodzin funkcji tworzą struktury algebraiczne jak przestrzenie liniowe lub pierścienie, czasem jednocześnie – są wtedy algebrami nad ciałem. Te przestrzenie funkcyjne bywają wyposażane w dodatkowe struktury jak topologia, przez co mogą tworzyć przestrzenie liniowo-topologiczne – przedmiot badań analizy funkcjonalnej.

Twierdzenia

Szablon:Związana kategoria Poniższa lista obejmuje ponad 60 twierdzeń pogrupowanych tematycznie; większość z nich jest spotykana w standardowych kursach analizy rzeczywistej.

Ciągi rzeczywiste

• z twierdzenia Cantora wynika, że nie istnieje suriektywny ciąg rzeczywisty;
• jednoznaczność granicy ciągu – wynika to z topologicznych własności prostej rzeczywistej;
• ciągi zbieżne są zamknięte na działania dodawania, odejmowania i mnożenia; innymi słowy są algebrą nad ciałem liczb rzeczywistych;
• arytmetyka granic – granica jest homomorfizmem pewnych działań na ciągach jak te podstawowe arytmetyczne (dodawanie, odejmowanie, mnożenie, dzielenie i potęgowanie);
• istnieją symbole nieoznaczone, tzn. pewne granice ciągów nie determinują granic wyników pewnych działań na tych ciągach ani czy te wynikowe ciągi są w ogóle zbieżne;
• twierdzenie o dwóch ciągach i o trzech ciągach;
• każdy rzeczywisty ciąg Cauchy’ego jest zbieżny – innymi słowy prosta rzeczywista jest zupełna;
• twierdzenie Stolza o zbieżności pewnych ilorazów ciągów;
• lemat Bolzana-Weierstrassa – mówi on o zwartości ciągowej odcinków na prostej rzeczywistej, przez co jest szczególnym przypadkiem twierdzenia Heinego-Borela;
• asymptotyczna równość silni i przybliżającego ją wzoru Stirlinga;
• kryteria zbieżności szeregów jak te Leibniza, d’Alemberta i Cauchy’ego;

• twierdzenie Riemanna o szeregach warunkowo zbieżnych;
• pewne wyniki sumowania szeregów jak rozwiązanie problemu bazylejskiego przez Eulera i bardziej ogólne obliczenie wartości funkcji dzeta (ζ) dla argumentów parzystych dodatnich;
• nierówność Cauchy’ego-Schwarza dla szeregów.

Ciągłość funkcji

Wykres funkcji $f(x):=\sin (1/x).$ Ma ona własność Darboux, jednak niezależnie od przypisania jej wartości w zerze $(x=0)$ nie będzie tam ciągła, ponieważ nie ma w tym punkcie granicy.

• trzy definicje ciągłości – Cauchy’ego, Heinego i topologiczna – są równoważneSzablon:Fakt;
• liczba funkcji ciągłych na ustalonym podzbiorze prostej wynosi continuumSzablon:Odn;
• funkcje ciągłe są zamknięte ze względu na dodawanie, odejmowanie i mnożenie; innymi słowy tworzą pierścień przemienny z jedynką. Jest to również algebra nad ciałem liczb rzeczywistych; nie jest to jednak dziedzina całkowitości, tzn. istnieją tam dzielniki zera;
• funkcja może nie być ciągła w żadnym punkcie – przykładem jest funkcja Dirichleta;
• zbiór nieciągłości może być jednocześnie gęsty i przeliczalny – własność tę ma funkcja Riemanna;
• zbiór nieciągłości jest przeliczalną sumą zbiorów domkniętych.
• funkcja monotoniczna ma przeliczalną liczbę nieciągłości i wszystkie są skończenie skokowe (nieusuwalne I rodzaju)Szablon:Fakt;
• twierdzenie Darboux: z ciągłości wynika własność Darboux. Twierdzenie odwrotne nie zachodzi, a funkcja Darboux nie musi mieć nawet granicy w żadnym punkcie – por. Szablon:Link-interwiki;
• funkcja wypukła lub wklęsła na zbiorze otwartym jest ciągłaSzablon:Fakt;
• jeśli funkcja addytywna jest ciągła, monotoniczna lub ograniczona, to jest liniowa;
• jeśli funkcja okresowa jest ciągła, to jest stała lub ma okres podstawowy (zasadniczy)Szablon:Odn;
• twierdzenie Weierstrassa o kresach funkcji ciągłej;
• twierdzenie Heinego-Cantora: z ciągłości na zbiorze zwartym wynika ciągłość jednostajna;
• twierdzenie Szarkowskiego o iteracjach ciągłych funkcji rzeczywistych;
• funkcje lipschitzowskie oraz hölderowskie są ciągłe jednostajnieSzablon:Fakt;
• twierdzenie Banacha o kontrakcji zachodzi m.in. dla funkcji rzeczywistych;
• ciąg funkcji ciągłych może zbiegać punktowo do funkcji nieciągłejSzablon:Fakt.

Różniczkowanie

Wykres funkcji Weierstrassa – ciągłej, ale nieróżniczkowalnej w żadnym punkcie

Wykres funkcji $f(x):=x^2\sin (1/x),$ $f(0):=0.$ Jest ona różniczkowalna, ale jej pochodna jest nieciągła w zerze, bo nie ma tam w ogóle granicy.

Funkcja Cantora, czasem zwana diabelskimi schodami – rosnąca mimo stacjonarności prawie wszędzie.

Wykres funkcji $f(x):=\exp (-1/x),$ $x>0,$ $f(x):=0,$ $x⩽0.$ W zerze, tj. dla $x=0,$ jest gładka (klasy $C^{\mathrm{\infty }}$), jednak nie jest tam analityczna (klasy $C^{\omega }$), ponieważ jej wszystkie pochodne znikają.

• funkcja różniczkowalna musi być ciągła, ale nie odwrotnie;
• suma, różnica i iloczyn funkcji różniczkowalnych są różniczkowalne. Innymi słowy funkcje różniczkowalne są algebrą nad ciałem liczb rzeczywistych, jednak – tak jak wśród funkcji ciągłych – występują właściwe dzielniki zera;
• podstawowe własności algebraiczne pochodnej jak wzory na pochodną sumy, różnicy i przeskalowania funkcji można wyrazić krótko: pochodna to przekształcenie liniowe;
• wzory na pochodną iloczynu, złożenia (reguła łańcuchowa) i funkcji odwrotnej;
• pochodna funkcji musi mieć własność DarbouxSzablon:Fakt, ale nie musi być ciągła;
• pochodna funkcji ma przeliczalną liczbę nieciągłości skokowychSzablon:Odn;
• twierdzenie Fermata: jeśli funkcja jest różniczkowalna w swoim ekstremum, to jest ono punktem stacjonarnym. Twierdzenie odwrotne nie zachodzi – punkt stacjonarny może być siodłowy;
• mimo to funkcja stacjonarna prawie wszędzie (poza zbiorem miary zero) może być ściśle monotoniczna – przykłady to funkcja Cantora i inne funkcje osobliwe;
• twierdzenie Rolle’a, wynikające z twierdzeń Weierstrassa i Fermata;
• twierdzenia o wartości średniej: Lagrange’a i Cauchy’ego;
• reguła de l’Hospitala;
• wzór Taylora,
• funkcja gładka nie musi być analityczna;
• funkcje analityczne są dziedziną całkowitości – iloczyn dwóch niezerowych funkcji tego typu zawsze jest niezerowySzablon:Fakt.

Całkowanie

• definicje całki Riemanna i Darboux są równoważne;
• warunkiem równoważnym całkowalności w tym sensie jest ciągłość prawie wszędzie – poza zbiorem zaniedbywalnym;
• każda funkcja monotoniczna jest całkowalna; wynika to z powyższego twierdzenia i jednego z wcześniejszych;
• całka jest addytywna i jednorodna; w języku algebry liniowej: całka to funkcjonał liniowy;
• zasadnicze twierdzenie analizy (Newtona-Leibniza);
• całkowe twierdzenia o wartości średniej;
• nierówności całkowe jak ta Buniakowskiego i jej uogólnienie – szczególna nierówność Höldera;

• twierdzenie Bohra-Mollerupa o funkcji gamma (Γ) Eulera;
• niektóre wyniki całkowania są nietrywialne; przykładem jest całka Gaussa.

Inne

Oprócz tego do analizy rzeczywistej można zaliczyć twierdzenia analizy wielowymiarowej:

• twierdzenie Schwarza – warunek wystarczający przemienności (komutacji) pochodnych cząstkowych;
• twierdzenie Leibniza o pewnych całkach wielowymiarowych;
• twierdzenie Fubiniego o całkach wielokrotnych;
• twierdzenie Greena, twierdzenie Stokesa i twierdzenie Gaussa-Ostrogradskiego uogólniające twierdzenie Newtona-Leibniza.

Twierdzenia analizy rzeczywistej miewają konsekwencje dla algebry:

• z ciągłości wielomianów rzeczywistych i twierdzenia Darboux wynika, że każdy wielomian stopnia nieparzystego ma pierwiastek (miejsce zerowe);
• twierdzenia Rolle’a używa się w dowodzie reguły znaków Kartezjusza.

W 2023 roku niektóre problemy w tej dziedzinie czekają na rozstrzygnięcie; przykładem może być zbieżność szeregu Flint Hills:

$\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^3{\sin }^{2}n}.$

Rozwój

Niektóre twierdzenia analizy rzeczywistej noszą nazwiska uczonych z XVII i XVIII wieku jak Pierre de Fermat, Michel Rolle, Guillaume de l’Hospital i Joseph Louis Lagrange, jednak nie udowodnili oni tych wyników, nie mając jeszcze do tego odpowiednich narzędziSzablon:Fakt.

Za początek tej dziedziny uznaje się XIX wiek, kiedy Bernard Bolzano, Augustin Louis Cauchy oraz Karl Weierstraß podali ścisłe definicje granicy ciągu oraz funkcji, co pozwoliło też na formalne zdefiniowanie pochodnej. Inni matematycy przysłużeni tej nauce to m.in.:

• Heinrich Eduard Heine, który podał alternatywną definicję granicy funkcji;
• Bernhard Riemann, który podał pierwszą ścisłą definicję całki oznaczonej;
• Jean Gaston Darboux, który udowodnił kilka twierdzeń, m.in. o funkcjach nazwanych od jego nazwiska.

Richard Dedekind i Georg Cantor sformułowali teriomnogościowe podstawy analizy rzeczywistej jak aksjomaty i konstrukcje liczb rzeczywistych. W XX wieku Henri Lebesgue uogólnił całkę Riemanna, otwierając teorię miary. W latach 20. XXI wieku dziedzina ta jest dalej rozwijana; poświęcono jej m.in. publikowany w USA półrocznik „Real Analysis Exchange” oraz osobne katedry.

Rozwinięciem analizy rzeczywistej są:

• analiza zespolona, którą także zapoczątkował Cauchy;
• analiza niestandardowa oparta na liczbach hiperrzeczywistych, którą zapoczątkował w XX wieku Abraham Robinson.

Analiza rzeczywista w Polsce

W Polsce analizą rzeczywistą zajmowali się między innymi:

• Wacław Sierpiński (1882–1969),
• Stefan Banach (1892–1945),
• Stanisław Saks (1897–1942),
• Antoni Zygmund (1900–1992),
• Józef Marcinkiewicz (1910–1940),
• Zygmunt Zahorski (1914–1998),
• Wiesław Pleśniak (1944–),
• Władysław Wilczyński (1946–).

Bibliografia

• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę

Literatura

Polskojęzyczna

• Stanisław Łojasiewicz, Wstęp do teorii funkcji rzeczywistych, seria „Biblioteka Matematyczna”, tom 46.
• Roman Sikorski, Funkcje rzeczywiste, tom I i II, seria „Monografie Matematyczne” (1957 i 1959).
• Walter Rudin, Analiza rzeczywista i zespolona, Wydawnictwo Naukowe PWN, Warszawa 2009, Szablon:ISBN.
• Szablon:Otwarty dostęp Marian Gewert i Zbigniew Skoczylas, Przykłady i kontrprzykłady z analizy matematycznej, Oficyna Wydawnicza GiS, Wrocław 2021, Szablon:ISBN; gis.wroc.pl [dostęp 2023-10-26].

Anglojęzyczna

• Bernard R. Gelbaum, John M.H. Olmsted, Counterexamples in Analysis, Dover Publications, 2003, Szablon:ISBN.

Linki zewnętrzne

• Szablon:MathWorld [dostęp 2023-02-06].