Wykazać, że jeśli \(\displaystyle{ a _{n}}\) jest ciągiem o wyrazach nieujemnych zbieżnym do \(\displaystyle{ a \in R}\) to dla dowolnego \(\displaystyle{ k\in N}\) zachodzi:
\(\displaystyle{ \lim_{ n\to \infty} \sqrt[k]{a _{n} } = \sqrt[k]{a}}\)
Granica ciągu
- Janusz Tracz
- Użytkownik
- Posty: 4065
- Rejestracja: 13 sie 2016, o 15:01
- Płeć: Mężczyzna
- Lokalizacja: hrubielowo
- Podziękował: 80 razy
- Pomógł: 1392 razy
Re: Granica ciągu
To wynika z ciągłości funkcji \(\displaystyle{ f(x)= \sqrt[k]{x}}\). Wtedy
\(\displaystyle{ \lim_{n \to \infty }\sqrt[k]{a_n}=\sqrt[k]{ \lim_{n \to \infty }a_n}=\sqrt[k]{a}}\)
Ciągłość \(\displaystyle{ f(x)}\) można uzasadnić rozróżnialnością \(\displaystyle{ f(x)}\) jak by było to wymagane.
\(\displaystyle{ \lim_{n \to \infty }\sqrt[k]{a_n}=\sqrt[k]{ \lim_{n \to \infty }a_n}=\sqrt[k]{a}}\)
Ciągłość \(\displaystyle{ f(x)}\) można uzasadnić rozróżnialnością \(\displaystyle{ f(x)}\) jak by było to wymagane.
-
- Użytkownik
- Posty: 8
- Rejestracja: 2 sie 2016, o 16:21
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 2 razy
Granica ciągu
A czy można to uzasadnić jakoś inaczej nie używając pojęć ciągłości i rozróżnialności, i jeśli tak to jak?
- Premislav
- Użytkownik
- Posty: 15687
- Rejestracja: 17 sie 2012, o 13:12
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 196 razy
- Pomógł: 5220 razy
Re: Granica ciągu
Chyba różniczkowalnością (mnie też denerwuje autokorekta w telefonie, czy jak się teraz mówi).
Można i tak: jeżeli \(\displaystyle{ a> 0}\), to korzystając ze znanego wzorku na różnicę k-tych potęg, mamy
\(\displaystyle{ \sqrt[k]{a_n}-\sqrt[k]{a}=(a_n-a)\left(a_n^{ \frac{k-1}{k} } +a_{n}^{\frac{k-2}{k}}a^{\frac 1 k}+\ldots+a_n^{\frac 1 k}a^{\frac{k-2}{k}}+a^{\frac{k-1}{k}}\right)^{-1}}\)
zatem:
\(\displaystyle{ \left| \sqrt[k]{a_n}-\sqrt[k]{a}\right| \le \frac{\left| a_n-a\right| }{a^{\frac{k-1}{k}}}}\)
Natomiast jeżeli \(\displaystyle{ a=0}\), to wystarcza zastosowanie twierdzenia o arytmetyce granic, czy coś w tym stylu. Albo tak: jeśli \(\displaystyle{ |a_n|<\epsilon^k}\), to \(\displaystyle{ \left| \sqrt[k]{a_n} \right|<\epsilon}\) i z definicji granicy…
Można i tak: jeżeli \(\displaystyle{ a> 0}\), to korzystając ze znanego wzorku na różnicę k-tych potęg, mamy
\(\displaystyle{ \sqrt[k]{a_n}-\sqrt[k]{a}=(a_n-a)\left(a_n^{ \frac{k-1}{k} } +a_{n}^{\frac{k-2}{k}}a^{\frac 1 k}+\ldots+a_n^{\frac 1 k}a^{\frac{k-2}{k}}+a^{\frac{k-1}{k}}\right)^{-1}}\)
zatem:
\(\displaystyle{ \left| \sqrt[k]{a_n}-\sqrt[k]{a}\right| \le \frac{\left| a_n-a\right| }{a^{\frac{k-1}{k}}}}\)
Natomiast jeżeli \(\displaystyle{ a=0}\), to wystarcza zastosowanie twierdzenia o arytmetyce granic, czy coś w tym stylu. Albo tak: jeśli \(\displaystyle{ |a_n|<\epsilon^k}\), to \(\displaystyle{ \left| \sqrt[k]{a_n} \right|<\epsilon}\) i z definicji granicy…