01RMF:Kapitola2: Porovnání verzí

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
Řádka 38: Řádka 38:
 
\begin{proof}
 
\begin{proof}
 
Tvrzení dokážeme sporem. Pro ten předpokládejme, že $\exists  x_0$ takové, že $f(x_0)\neq g(x_0)$. Pak víme, že $\int_\R \left( f(x)-g(x) \right)\phi \dd x = 0$.  
 
Tvrzení dokážeme sporem. Pro ten předpokládejme, že $\exists  x_0$ takové, že $f(x_0)\neq g(x_0)$. Pak víme, že $\int_\R \left( f(x)-g(x) \right)\phi \dd x = 0$.  
Ze spojitosti funkcí $f$ a $g$ plyne existence okolí $U_{x_0}$ takového, že $\forall x \in U_{x_0}$ je BÚNO $\f(x) > g(x)$.  
+
Ze spojitosti funkcí $f$ a $g$ plyne existence okolí $U_{x_0}$ takového, že $\forall x \in U_{x_0}$ je BÚNO $f(x) > g(x)$. Pak předpokládejme, že existuje jistá
 +
$\phi^\textasteriskcenred \in \D(\R^1)$ taková, že $\nf \phi^\textasteriskcenred \subset U_{x_0}$.  
 
\end{proof}
 
\end{proof}
  
 
\end{theorem}
 
\end{theorem}

Verze z 4. 10. 2016, 18:02

PDF [ znovu generovat, výstup z překladu ] Kompletní WikiSkriptum včetně všech podkapitol.
PDF Této kapitoly [ znovu generovat, výstup z překladu ] Přeložení pouze této kaptioly.
ZIPKompletní zdrojový kód včetně obrázků.

Součásti dokumentu 01RMF

součástakcepopisposlední editacesoubor
Hlavní dokument editovatHlavní stránka dokumentu 01RMFMazacja2 16. 12. 201618:29
Řídící stránka editovatDefiniční stránka dokumentu a vložených obrázkůMazacja2 28. 12. 201613:12
Header editovatHlavičkový souborMazacja2 18. 12. 201621:10 header.tex
Kapitola0 editovatPředmluvaMazacja2 9. 11. 201620:51 predmluva.tex
Kapitola1 editovatMotivaceJohndavi 8. 4. 201916:34 motivace.tex
Kapitola2 editovatZobecněné funkceLomicond 7. 12. 201916:51 zobecnene_funkce.tex
Kapitola3 editovatIntegrální transformaceLomicond 25. 12. 201915:58 integralni_transformace.tex
Kapitola4 editovatŘešení dif. rovnicJohndavi 9. 4. 201915:15 reseni.tex
Kapitola5 editovatIntegrální rovniceJohndavi 8. 4. 201916:25 Kapitola5.tex
Kapitola6 editovatSturm-Liouvilleova teorieJohndavi 8. 4. 201915:35 Kapitola6.tex

Zdrojový kód

%\wikiskriptum{01RMF}
\chapter{Testovací funkce}
 
\begin{define}
{\bf Nosičem funkce $\phi$} rozumíme množinu $\overline{\{ x \in \R^n \ | \ \phi(x) \neq 0 \} }$. Označujeme jej $\nf \phi$. 
\end{define}
 
\begin{define}
Množinu $\D (\R^n) = \{ \phi \in \Ci (\R^n) \ | \ \nf \phi \mbox{ je omezený} \}$ nazvěme {\bf množinu testovacích funkcí}. Tzn. {\bf testovací funkce} jsou funkce třídy $\Ci (\R^n)$ s kompaktním nosičem. 
Buď nyní $G = G^o$ otevřená podmnožina $\R^n$. Pak definujeme $\D (G) = \{ \phi \in \D (\R^n) \ | \ \nf \phi \subset G \}$ 
\end{define}
 
\begin{remark}
Je zřejmé, že pokud $\phi \in \D (\R^n)$, pak $\alpha \phi \in \D (\R^n)$ pro $\alpha \in \R$.
Buď nyní $f$ hladká funkce. Pak rovněž $f\phi \in \D (\R^n)$ 
\end{remark}
 
Abychom získali jistou intuici a vhled do dané problematiky, předběžně definujme zobecněné funkce $\D' (\R^1)$. Tuhle definici později zpřesníme a zobecníme. 
\begin{define}
Nechť $f$ je reálná, resp. komplexní funkce reálné proměnné. Nechť dále 
$$\exists \displaystyle \int_{\left[a,b \right]}f(x)\phi(x)\dd x < +\infty , \: \forall \left[a,b \right] , \: \forall \phi \in \D(\R^1).$$
Pak nazvěme $f$ {\bf zobecněnou funkcí}. 
 
\noindent {\bf Akcí testovací funkce $\phi$ na $f$} rozumíme 
$$\left(f,\phi\right) := \displaystyle \int_\R f(x)\phi(x)\dd x , \: \forall \phi \in \D(\R^1)$$. 
\end{define}
 
\begin{remark}
Zkuste najít množinu funkcí $f$ tak, aby definice zobecněných funkce (výše) byla rozumná. 
\end{remark}
 
\begin{theorem}[ilustrativní, jednoduchá]
Nechť $f, \ g$ jsou spojité reálné funkce reálné proměnné a nechť dále akce libovolné testovací funkce $\phi$ na $f$ a $g$ jsou shodné, tj. 
$\displaystyle \int_\R f(x)\phi(x)\dd x = \displaystyle \int_\R g(x)\phi(x)\dd x$. Pak $f=g$. 
\begin{remark}
Tahle věta nám má ukázat, že dává smysl testovat funkce pomocí testovacích funkcí.
\end{remark}
\begin{proof}
Tvrzení dokážeme sporem. Pro ten předpokládejme, že $\exists  x_0$ takové, že $f(x_0)\neq g(x_0)$. Pak víme, že $\int_\R \left( f(x)-g(x) \right)\phi \dd x = 0$. 
Ze spojitosti funkcí $f$ a $g$ plyne existence okolí $U_{x_0}$ takového, že $\forall x \in U_{x_0}$ je BÚNO $f(x) > g(x)$. Pak předpokládejme, že existuje jistá 
$\phi^\textasteriskcenred \in \D(\R^1)$ taková, že $\nf \phi^\textasteriskcenred \subset U_{x_0}$. 
\end{proof}
 
\end{theorem}