Jednostajna ciągłość funkcji prawie wykładniczej
-
- Użytkownik
- Posty: 29
- Rejestracja: 9 cze 2020, o 10:49
- Płeć: Mężczyzna
- wiek: 9
- Podziękował: 9 razy
- Pomógł: 4 razy
Jednostajna ciągłość funkcji prawie wykładniczej
Dostałem do rozwiązania takie zadanie
Zbadać jednostajną ciągłość funkcji \(\displaystyle{ f:\RR \rightarrow \RR,\ f(x)= e^{-2x}}\)
Moja próba rozwiązania jest następująca
Z def. wiemy że żeby f była jednostajnie ciągła musi zachodzić
\(\displaystyle{ \forall \epsilon >0 \exists \delta > 0 \forall x,y \in \RR}\) \(\displaystyle{ \left| x-y\right| \Rightarrow \left| f(x)-f(y)\right| <\epsilon}\)
Niech \(\displaystyle{ \epsilon = 1}\) oraz \(\displaystyle{ x\equiv x+2}\) i \(\displaystyle{ y\equiv x}\)
Wtedy
\(\displaystyle{ \left| f(x+2)-f(x) \right| =\left| \frac{1}{e^x+2}- \frac{1}{e^x} \right|= \frac{1}{e^x}\left| \frac{1}{e^2}- 1 \right| < \epsilon}\)
zatem dla dowolnego \(\displaystyle{ \epsilon}\) ta nierówność miałaby by zajść a to jest niemożliwe bo nadal x jest dowolne ,na przykład dla \(\displaystyle{ \epsilon =1}\) moglibyśmy tak dobrać x żeby nierówność nie wychodziła(mamy pewność że znajdziemy takie x bo zbiór wartości\(\displaystyle{ f(x)}\) to \(\displaystyle{ (0, + \infty )}\)). I tutaj moje pytanie, czy taka sprzeczność wystarcza by móc zakończyć zadanie i powiedzieć że funkcja ta nie jest jednostajnie ciągła?
Zbadać jednostajną ciągłość funkcji \(\displaystyle{ f:\RR \rightarrow \RR,\ f(x)= e^{-2x}}\)
Moja próba rozwiązania jest następująca
Z def. wiemy że żeby f była jednostajnie ciągła musi zachodzić
\(\displaystyle{ \forall \epsilon >0 \exists \delta > 0 \forall x,y \in \RR}\) \(\displaystyle{ \left| x-y\right| \Rightarrow \left| f(x)-f(y)\right| <\epsilon}\)
Niech \(\displaystyle{ \epsilon = 1}\) oraz \(\displaystyle{ x\equiv x+2}\) i \(\displaystyle{ y\equiv x}\)
Wtedy
\(\displaystyle{ \left| f(x+2)-f(x) \right| =\left| \frac{1}{e^x+2}- \frac{1}{e^x} \right|= \frac{1}{e^x}\left| \frac{1}{e^2}- 1 \right| < \epsilon}\)
zatem dla dowolnego \(\displaystyle{ \epsilon}\) ta nierówność miałaby by zajść a to jest niemożliwe bo nadal x jest dowolne ,na przykład dla \(\displaystyle{ \epsilon =1}\) moglibyśmy tak dobrać x żeby nierówność nie wychodziła(mamy pewność że znajdziemy takie x bo zbiór wartości\(\displaystyle{ f(x)}\) to \(\displaystyle{ (0, + \infty )}\)). I tutaj moje pytanie, czy taka sprzeczność wystarcza by móc zakończyć zadanie i powiedzieć że funkcja ta nie jest jednostajnie ciągła?
Ostatnio zmieniony 9 gru 2023, o 22:30 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
Powód: Poprawa wiadomości.
-
- Użytkownik
- Posty: 7921
- Rejestracja: 18 mar 2009, o 16:24
- Płeć: Mężczyzna
- Podziękował: 30 razy
- Pomógł: 1671 razy
Re: Jednostajna ciągłość funkcji prawie wykładniczej
Funkcja \(\displaystyle{ f(x) = e^{-2x} = \frac{1}{e^{2x}} }\) nie jest jednostajnie ciągła w zbiorze \(\displaystyle{ \RR.}\)
Dowód
Funkcja \(\displaystyle{ f(x) = \frac{1}{e^{2x}} }\) nie jest jednostajnie ciągła w zbiorze \(\displaystyle{ \RR, }\) wtedy i tylko wtedy, gdy
\(\displaystyle{ \bigvee_{\varepsilon >0} \bigwedge_{\delta>0} \bigvee_{x', x''\in \RR} ( |x' -x''|< \delta \vee \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}}\right| \geq \varepsilon }\)
Wystarczy dowieść, że drugi człon powyższej równoważności jest zdaniem prawdziwym.
W tym celu niech \(\displaystyle{ \varepsilon = 1, \ \ \delta }\) niech będzie dowolną liczbą dodatnią, \(\displaystyle{ x' = \ln\left(\frac{1}{2n}\right), \ \ x'' = \ln\left(\frac{1}{2n+1}\right).}\)
wtedy
\(\displaystyle{ 1) \ \ |x' - x''| = \left|\ln\left(\frac{1}{2n}\right) - \ln\left(\frac{1}{2n+1}\right)\right|= \left|\ln\left(\frac{2n+1}{2n}\right)\right| = \left|\ln\left(1 + \frac{1}{2n}\right)\right| < \delta.}\)
\(\displaystyle{ 2) \ \ \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}} \right| = \left |\frac{1}{\frac{1}{2n}} - \frac{1}{\frac{1}{2n+1}} \right| = |2n+1-2n|=1 \geq 1=\varepsilon, }\)
\(\displaystyle{ \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}} \right|\geq \varepsilon. }\)
\(\displaystyle{ \Box }\)
Dowód
Funkcja \(\displaystyle{ f(x) = \frac{1}{e^{2x}} }\) nie jest jednostajnie ciągła w zbiorze \(\displaystyle{ \RR, }\) wtedy i tylko wtedy, gdy
\(\displaystyle{ \bigvee_{\varepsilon >0} \bigwedge_{\delta>0} \bigvee_{x', x''\in \RR} ( |x' -x''|< \delta \vee \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}}\right| \geq \varepsilon }\)
Wystarczy dowieść, że drugi człon powyższej równoważności jest zdaniem prawdziwym.
W tym celu niech \(\displaystyle{ \varepsilon = 1, \ \ \delta }\) niech będzie dowolną liczbą dodatnią, \(\displaystyle{ x' = \ln\left(\frac{1}{2n}\right), \ \ x'' = \ln\left(\frac{1}{2n+1}\right).}\)
wtedy
\(\displaystyle{ 1) \ \ |x' - x''| = \left|\ln\left(\frac{1}{2n}\right) - \ln\left(\frac{1}{2n+1}\right)\right|= \left|\ln\left(\frac{2n+1}{2n}\right)\right| = \left|\ln\left(1 + \frac{1}{2n}\right)\right| < \delta.}\)
\(\displaystyle{ 2) \ \ \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}} \right| = \left |\frac{1}{\frac{1}{2n}} - \frac{1}{\frac{1}{2n+1}} \right| = |2n+1-2n|=1 \geq 1=\varepsilon, }\)
\(\displaystyle{ \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}} \right|\geq \varepsilon. }\)
\(\displaystyle{ \Box }\)
-
- Użytkownik
- Posty: 22233
- Rejestracja: 15 maja 2011, o 20:55
- Płeć: Mężczyzna
- Lokalizacja: Bydgoszcz
- Podziękował: 38 razy
- Pomógł: 3759 razy
Re: Jednostajna ciągłość funkcji prawie wykładniczej
Z tej "definicji" wynika, że funkcja stała nie jest jednostajnie ciągła, bo wystarczy, że zostanie spełniony trywialny niebieski warunek.janusz47 pisze: ↑13 gru 2023, o 16:04 Funkcja \(\displaystyle{ f(x) = e^{-2x} = \frac{1}{e^{2x}} }\) nie jest jednostajnie ciągła w zbiorze \(\displaystyle{ \RR.}\)
Dowód
Funkcja \(\displaystyle{ f(x) = \frac{1}{e^{2x}} }\) nie jest jednostajnie ciągła w zbiorze \(\displaystyle{ \RR, }\) wtedy i tylko wtedy, gdy
\(\displaystyle{ \bigvee_{\varepsilon >0}\blue{ \bigwedge_{\delta>0} \bigvee_{x', x''\in \RR} ( |x' -x''|< \delta} \vee \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}}\right| \geq \varepsilon }\)
Ostatnio zmieniony 13 gru 2023, o 17:41 przez Jan Kraszewski, łącznie zmieniany 2 razy.
Powód: Poprawa wiadomości.
Powód: Poprawa wiadomości.
-
- Administrator
- Posty: 34334
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5204 razy
Re: Jednostajna ciągłość funkcji prawie wykładniczej
No właśnie - w cytowanym przez a4karo fragmencie pomyliłeś alternatywę z koniunkcją.
JK
JK
-
- Użytkownik
- Posty: 7921
- Rejestracja: 18 mar 2009, o 16:24
- Płeć: Mężczyzna
- Podziękował: 30 razy
- Pomógł: 1671 razy
Re: Jednostajna ciągłość funkcji prawie wykładniczej
Funkcja \(\displaystyle{ f(x) = e^{-2x} = \frac{1}{e^{2x}} }\) nie jest jednostajnie ciągła w zbiorze \(\displaystyle{ \RR.}\)
Dowód
Funkcja \(\displaystyle{ f(x) = \frac{1}{e^{2x}} }\) nie jest jednostajnie ciągła w zbiorze \(\displaystyle{ \RR, }\) wtedy i tylko wtedy, gdy
\(\displaystyle{ \bigvee_{\varepsilon >0} \bigwedge_{\delta>0} \bigvee_{x', x''\in \RR} ( |x' -x''|< \delta \wedge \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}}\right| \geq \varepsilon }\)
Wystarczy dowieść, że drugi człon powyższej równoważności jest zdaniem prawdziwym.
W tym celu niech \(\displaystyle{ \varepsilon = 1, \ \ \delta }\) niech będzie dowolną liczbą dodatnią, \(\displaystyle{ x' = \ln\left(\frac{1}{2n}\right), \ \ x'' = \ln\left(\frac{1}{2n+1}\right).}\)
wtedy
\(\displaystyle{ 1) \ \ |x' - x''| = \left|\ln\left(\frac{1}{2n}\right) - \ln\left(\frac{1}{2n+1}\right)\right|= \left|\ln\left(\frac{2n+1}{2n}\right)\right| = \left|\ln\left(1 + \frac{1}{2n}\right)\right| < \delta.}\)
\(\displaystyle{ 2) \ \ \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}} \right| = \left |\frac{1}{\frac{1}{2n}} - \frac{1}{\frac{1}{2n+1}} \right| = |2n+1-2n|=1 \geq 1=\varepsilon, }\)
\(\displaystyle{ \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}} \right|\geq \varepsilon. }\)
\(\displaystyle{ \Box }\)
Dowód
Funkcja \(\displaystyle{ f(x) = \frac{1}{e^{2x}} }\) nie jest jednostajnie ciągła w zbiorze \(\displaystyle{ \RR, }\) wtedy i tylko wtedy, gdy
\(\displaystyle{ \bigvee_{\varepsilon >0} \bigwedge_{\delta>0} \bigvee_{x', x''\in \RR} ( |x' -x''|< \delta \wedge \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}}\right| \geq \varepsilon }\)
Wystarczy dowieść, że drugi człon powyższej równoważności jest zdaniem prawdziwym.
W tym celu niech \(\displaystyle{ \varepsilon = 1, \ \ \delta }\) niech będzie dowolną liczbą dodatnią, \(\displaystyle{ x' = \ln\left(\frac{1}{2n}\right), \ \ x'' = \ln\left(\frac{1}{2n+1}\right).}\)
wtedy
\(\displaystyle{ 1) \ \ |x' - x''| = \left|\ln\left(\frac{1}{2n}\right) - \ln\left(\frac{1}{2n+1}\right)\right|= \left|\ln\left(\frac{2n+1}{2n}\right)\right| = \left|\ln\left(1 + \frac{1}{2n}\right)\right| < \delta.}\)
\(\displaystyle{ 2) \ \ \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}} \right| = \left |\frac{1}{\frac{1}{2n}} - \frac{1}{\frac{1}{2n+1}} \right| = |2n+1-2n|=1 \geq 1=\varepsilon, }\)
\(\displaystyle{ \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x''}} \right|\geq \varepsilon. }\)
\(\displaystyle{ \Box }\)
-
- Administrator
- Posty: 34334
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5204 razy
Re: Jednostajna ciągłość funkcji prawie wykładniczej
A dlaczego dla dowolnej delty i nieznanego \(\displaystyle{ n}\) (co zresztą sprawia, że definicje \(\displaystyle{ x',x''}\) są do niczego) miałaby zachodzić czerwona nierówność?janusz47 pisze: ↑13 gru 2023, o 17:48 W tym celu niech \(\displaystyle{ \varepsilon = 1, \ \ \delta }\) niech będzie dowolną liczbą dodatnią, \(\displaystyle{ x' = \ln\left(\frac{1}{2n}\right), \ \ x'' = \ln\left(\frac{1}{2n+1}\right).}\)
wtedy
\(\displaystyle{ 1) \ \ |x' - x''| = \left|\ln\left(\frac{1}{2n}\right) - \ln\left(\frac{1}{2n+1}\right)\right|= \left|\ln\left(\frac{2n+1}{2n}\right)\right| =\red{ \left|\ln\left(1 + \frac{1}{2n}\right)\right| < \delta}.}\)
JK
-
- Użytkownik
- Posty: 7921
- Rejestracja: 18 mar 2009, o 16:24
- Płeć: Mężczyzna
- Podziękował: 30 razy
- Pomógł: 1671 razy
Re: Jednostajna ciągłość funkcji prawie wykładniczej
Z definicji ciągowej nieciąglości jednostajnej funkcji.
Niech \(\displaystyle{ \varepsilon = 1 }\) i \(\displaystyle{ \delta }\) niech będzie dowolną liczbą dodatnią, \(\displaystyle{ x' = \ln\left(\frac{1}{2n}\right), \ \ x'' = \ln\left(\frac{1}{2n+1}\right), }\)
\(\displaystyle{ n }\) ma być dowolną liczbą naturalną tak dużą, aby \(\displaystyle{ \left|\ln\left(1 +\frac{1}{2n}\right)\right| < \delta. }\)
Podzieliłem licznik przez mianownik w wyrażeniu \(\displaystyle{ \left|\ln\left(\frac{2n+1}{2n}\right) \right |.}\)
Niech \(\displaystyle{ \varepsilon = 1 }\) i \(\displaystyle{ \delta }\) niech będzie dowolną liczbą dodatnią, \(\displaystyle{ x' = \ln\left(\frac{1}{2n}\right), \ \ x'' = \ln\left(\frac{1}{2n+1}\right), }\)
\(\displaystyle{ n }\) ma być dowolną liczbą naturalną tak dużą, aby \(\displaystyle{ \left|\ln\left(1 +\frac{1}{2n}\right)\right| < \delta. }\)
Podzieliłem licznik przez mianownik w wyrażeniu \(\displaystyle{ \left|\ln\left(\frac{2n+1}{2n}\right) \right |.}\)
-
- Administrator
- Posty: 34334
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5204 razy
Re: Jednostajna ciągłość funkcji prawie wykładniczej
To trzeba porządnie napisać, że dobierasz odpowiednie \(\displaystyle{ n}\) do ustalonej wcześniej delty (co zupełnie nie wynika z Twojego sformułowania dowodu), a dopiero potem dowodzisz, że zachodzi stosowna nierówność. Tymczasem u Ciebie to, co jest podstawą do ustalenia \(\displaystyle{ n}\), czyli początkiem uzasadnienia, pojawia się jako wniosek, o czym świadczy słówko "Wtedy".
JK
JK
-
- Użytkownik
- Posty: 7921
- Rejestracja: 18 mar 2009, o 16:24
- Płeć: Mężczyzna
- Podziękował: 30 razy
- Pomógł: 1671 razy
Re: Jednostajna ciągłość funkcji prawie wykładniczej
Drugi sposób
Przypuśćmy, że funkcja \(\displaystyle{ f(x) = \frac{1}{e^{2x}} }\) jest jednostajnie ciągła.
Wtedy prawdziwe jest zdanie
\(\displaystyle{ \bigwedge_{\varepsilon >0} \bigvee_{\delta >0} \bigwedge_{x', x'' \in \RR} \left( |x' -x'' |< \delta \Longrightarrow \left| \frac{1}{e^{2x'}} - \frac{1}{e^{2x''}}\right|< \varepsilon\right) \ \ (*)}\)
Stąd w szczególności otrzymamy zdanie prawdziwe, gdy za \(\displaystyle{ \varepsilon }\) weżmiemy \(\displaystyle{ 1.}\)
Temu zaś wybranemu epsilonowi odpowiada jakaś liczba \(\displaystyle{ \delta >0. }\)
Nie wnikamy, ile jest takich delt. Oznaczając jedną z nich, wszystko jedno jaką przez \(\displaystyle{ \delta_{1} }\), otrzymujemy zdanie prawdziwe
\(\displaystyle{ \bigwedge_{x'. x''\in \RR} \left(|x' - x''|< \delta_{1} \Longrightarrow \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x""}} \right|< 1 \right) \ \ (**)}\)
Skoro dla wszelkich dodatnich implikacja \(\displaystyle{ (**) }\) jest prawdziwa, więc w szczególności jest prawdziwa dla
\(\displaystyle{ x' = \ln\left(\frac{1}{2n}\right) , \ \ x''= \ln \left(\frac{1}{2n+1}\right), }\) gdzie \(\displaystyle{ n }\) jest dowolną ustaloną liczbą naturalną tak dużą, aby \(\displaystyle{ \left |\ln\left(1 + \frac{1}{2n}\right) \right|< \delta_{1}.}\)
Mamy
a)
\(\displaystyle{ |x' - x''| = \left|\ln\left(\frac{1}{2n}\right) - \ln\left(\frac{1}{2n+1}\right)\right| = \left |\ln\left(\frac{2n+1}{2n}\right)\right| = \left|\ln\left(1 + \frac{1}{2n}\right)\right| < \delta_{1}.}\)
b)
\(\displaystyle{ \left| \frac{1}{e^{2x'}} - \frac{1}{e^{2x''}}\right| = \left|\frac{1}{\frac{1}{2n}} - \frac{1}{\frac{1}{2n+1}} \right|= |2n -2n+1)| = 1 }\)
Zatem następnik implikacji \(\displaystyle{ (**) }\) jest zdaniem fałszywym.
Wobec a) i b) implikacja \(\displaystyle{ (**) }\) jest zdaniem fałszywym, wbrew temu co było powiedziane wyżej.
Przypuśćmy, że funkcja \(\displaystyle{ f(x) = \frac{1}{e^{2x}} }\) jest jednostajnie ciągła.
Wtedy prawdziwe jest zdanie
\(\displaystyle{ \bigwedge_{\varepsilon >0} \bigvee_{\delta >0} \bigwedge_{x', x'' \in \RR} \left( |x' -x'' |< \delta \Longrightarrow \left| \frac{1}{e^{2x'}} - \frac{1}{e^{2x''}}\right|< \varepsilon\right) \ \ (*)}\)
Stąd w szczególności otrzymamy zdanie prawdziwe, gdy za \(\displaystyle{ \varepsilon }\) weżmiemy \(\displaystyle{ 1.}\)
Temu zaś wybranemu epsilonowi odpowiada jakaś liczba \(\displaystyle{ \delta >0. }\)
Nie wnikamy, ile jest takich delt. Oznaczając jedną z nich, wszystko jedno jaką przez \(\displaystyle{ \delta_{1} }\), otrzymujemy zdanie prawdziwe
\(\displaystyle{ \bigwedge_{x'. x''\in \RR} \left(|x' - x''|< \delta_{1} \Longrightarrow \left|\frac{1}{e^{2x'}} - \frac{1}{e^{2x""}} \right|< 1 \right) \ \ (**)}\)
Skoro dla wszelkich dodatnich implikacja \(\displaystyle{ (**) }\) jest prawdziwa, więc w szczególności jest prawdziwa dla
\(\displaystyle{ x' = \ln\left(\frac{1}{2n}\right) , \ \ x''= \ln \left(\frac{1}{2n+1}\right), }\) gdzie \(\displaystyle{ n }\) jest dowolną ustaloną liczbą naturalną tak dużą, aby \(\displaystyle{ \left |\ln\left(1 + \frac{1}{2n}\right) \right|< \delta_{1}.}\)
Mamy
a)
\(\displaystyle{ |x' - x''| = \left|\ln\left(\frac{1}{2n}\right) - \ln\left(\frac{1}{2n+1}\right)\right| = \left |\ln\left(\frac{2n+1}{2n}\right)\right| = \left|\ln\left(1 + \frac{1}{2n}\right)\right| < \delta_{1}.}\)
b)
\(\displaystyle{ \left| \frac{1}{e^{2x'}} - \frac{1}{e^{2x''}}\right| = \left|\frac{1}{\frac{1}{2n}} - \frac{1}{\frac{1}{2n+1}} \right|= |2n -2n+1)| = 1 }\)
Zatem następnik implikacji \(\displaystyle{ (**) }\) jest zdaniem fałszywym.
Wobec a) i b) implikacja \(\displaystyle{ (**) }\) jest zdaniem fałszywym, wbrew temu co było powiedziane wyżej.