Tóm tắt lý thuyết 1. Vài khái niệm. Ánh xạ \(f:D \subset R \to R\) được gọi là một hàm số thực. D: miền xác định của f. f(D): miền giá trị của f Cho hai hàm số f và g có miền xác định lần lượt là D1 và D2. Ta nói : f = g nếu \(\left\{ \begin{array}{l} {D_1} = {D_2}\\ f(x) = g(x),\forall x \in {D_1} \end{array} \right. \) Hàm số f có miền xác định là D1 và g có miền xác định là D2. i) Hàm (1 + g) và fg được định nghĩa: \(\begin{array}{l} (f + g)(x) = f(x) + g(x)\\ (fg)(x) = f(x)g(x) \end{array} \) có miền xác định là \({D_1} \cap {D_2}\) ii) Hàm \(\frac{f}{g}(x) = \frac{{f(x)}}{{g(x)}}\) có miền xác định \({D_1} \cap {D_2}\backslash {D_3}\) với \({D_3} = \left\{ {x \notin {D_2}/g(x) = 0} \right\}\) iii) Hàm \(\sqrt f :\sqrt f (x) = \sqrt {f(x)}\) có miền xác định là \({{\rm{D}}_{{\rm{1 }}}}{\rm{\backslash A}}\) với \(A = \left\{ {x \in D{}_1:f\left( x \right) < 0} \right\}\) Vài hàm lượng giác ngược: y = arcsinx có miền xác định là [-1,1] và miền giá trị \(\left[ { - \frac{\pi }{2},\frac{\pi }{2}} \right]\) y = arccosx có miền xác định là [-1,1] và miền giá trị là \(\left[ {0,\pi } \right]\) y = arctgx có miền xác định là \(\left( { - \infty , + \infty } \right) = R\) và miền giá \(\left( { - \frac{\pi }{2},\frac{\pi }{2}} \right)\) y = arccotgx có miền xác định là \(\left( { - \infty , + \infty } \right) = R\) và miền giá trị là \(\left[ {0,\pi } \right]\) 2. Giới hạn hữu hạn của hàm số: Nhắc lại: Cho \(\varepsilon > 0\). \(\left( {{x_0} - \varepsilon ,{x_0} + \varepsilon } \right) = \left\{ {x/{x_0} - \varepsilon < x < {x_0} + \varepsilon } \right\} = \left\{ {x/\left| {x - {x_0}} \right| < \varepsilon } \right\}\) được gọi là khoảng mở tâm x0 bán kính \(\varepsilon\) hay còn gọi là lân cận tâm x0 bán kính \(\varepsilon\). 2.1 Định nghĩa Cho I là khoảng mở chứa x0. Hàm số f xác định trên I (hoặc xác định trên \(I\backslash \left\{ {{x_0}} \right\}\)). Ta nói L là giới hạn của f tại x0 nệu điều kiện sau thỏa: “\(\forall \varepsilon > 0\) cho trước, luôn tồn tại \(\alpha > 0\) sao cho \(x \in I\) và \(0 < \left| {x - {x_0}} \right| < \alpha \Rightarrow \left| {f(x) - L} \right| < \varepsilon \)” Khi đó ta ký hiệu \(\mathop {\lim }\limits_{x \to {x_0}} f(x) = L\) (ta còn nói là f có giới hạn là L khi \(x \to {x_0}\)) Nhận xét: i) Định nghĩa này tương tự như định nghĩa sự hội tụ của dãy. Thay N bằng \(\alpha \), thay n > N bằng \(x \in I \cap ({x_0} - \varepsilon ,{x_0} + \varepsilon )\backslash \left\{ {{x_0}} \right\}\) ii) Ta cũng có thể định nghĩa: f có giới hạn là L khi \(x \to {x_0}\) nếu với mọi khoảng mở W tâm L bán kính \(\varepsilon\), luôn tồn tại một khoảng mở V tâm x0 bán kính \(\alpha\), sao cho \(x \in I \cap V\backslash \left\{ {{x_0}} \right\} \Rightarrow f(x) \in W\) iii) Trong định nghĩa trên \(x \to {x_0}\) nhưng \(x \ne {x_0}\) 2.2 Định nghĩa Cho I là khoảng mở chứa x0. Hàm số f xác định trên I (hoặc xác định trên I \{x0}). i) Ta nói L là giới hạn bên trái tại x0 nếu: “ \(\forall \varepsilon > 0,\exists \alpha > 0\) sao cho \(x \in I\) và \(0 < {x_0} - x < \alpha \Rightarrow \left| {f(x) - L} \right| < \varepsilon \) ta ký hiệu \(\mathop {\lim }\limits_{x \to x_{_0}^ - } f(x) = L\) ii) Ta nói L là giới hạn bên phải tại x0 nếu: “\(\forall \varepsilon > 0,\exists \alpha > 0\)sao cho \(x \in I\) và \(0 < {x_0} - x < \alpha \Rightarrow \left| {f(x) - L} \right| < \varepsilon \) ta ký hiệu \(\mathop {\lim }\limits_{x \to x_{_0}^ + } f(x) = L\) Nhận xét: \(\mathop {\lim }\limits_{x \to {x_0}} f(x) = L \Leftrightarrow \mathop {\lim }\limits_{x{ \to _{{x^ - }}}} f(x) = \mathop {\lim }\limits_{x{ \to _{{x^ + }}}} f(x) = L\) (hay nói khác đi: f có giới hạn là L tại x0 ⇔ f có giới hạn trái và phải tại x0 và hai giới hạn này cùng bằng L) (vì \(0 < \left| {x - {x_0}} \right| < \alpha \Leftrightarrow 0 < x - {x_0} < \alpha \,hay\,0 < {x_0} - x < \alpha\)) Ví dụ 1: Cho hàm số \(f(x) = \left\{ \begin{array}{l} 2x + 5\,\,\,\,\,\,\,\,\,\,\,neu\,\,\,\,x \ne 2\\ 6\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,neu\,\,\,\,x = 2 \end{array} \right. \) Chứng minh rằng \(\mathop {\lim }\limits_{x \to 2} f(x) = 9\) Giải: Ta có \(\begin{array}{l} \left| {f\left( x \right) - 9} \right| = \left| {2x + 5 - 9} \right| = \left| {2x - 4} \right| = 2\left| {x - 2} \right| < \varepsilon \\ \Leftrightarrow \left| {x - 2} \right| < \frac{\varepsilon }{2} \end{array} \) Vậy \(\forall \varepsilon > 0,\exists \alpha = \frac{\varepsilon }{2}\) sao cho \(\left| {x - 2} \right| < \alpha = \frac{\varepsilon }{2}\) \(\Rightarrow \left| {f(x) - 9} \right| < \varepsilon \Rightarrow \mathop {\lim }\limits_{x \to 2} f(x) = 9\) Ví dụ 2: Cho \(g(x) = \left\{ \begin{array}{l} {x^2}\,\,\,\,\,\,\,\,\,neu\,\,\,x \ne 4\\ 6\,\,\,\,\,\,\,\,\,\,\,neu\,\,\,x = 4 \end{array} \right.\). Chứng minh rằng \(\mathop {\lim }\limits_{x \to 4} g(x) = 16\) Giải: Ta có \(\left| {{x^2} - 16} \right| = \left| {\left( {x - 4} \right)\left( {x + 4} \right)} \right| = \left| {x + 4} \right|\left| {x - 4} \right|\) Coi khoảng mở I tâm 4 bán kính 1 (I = (3, 5)) Ta có \(\left| {g\left( x \right) - 16} \right| = \left| {x + 4} \right|\left| {x - 4} \right| < 9\left| {x - 4} \right|\left( * \right)\,\,\forall x \in I\)và \(x \ne 4\) Do đó: \(\forall \varepsilon > 0,\exists \alpha = \min \left\{ {\frac{\varepsilon }{9},1} \right\}\)sao cho \(0 < \left| {x - 4} \right| < \alpha\) \( \Rightarrow \left| {f(x) - 16} \right| < \varepsilon\) Nhận xét: Giả sử \(\frac{\varepsilon }{9} > 1\). Nếu chỉ chọn \(\alpha = \frac{\varepsilon }{9} > 1\) thì bất phương trình (*) không còn đúng (vì có thể \(0 < \left| {x - 4} \right| < \alpha\) nhưng \(x \notin I\)) 2.3 Mệnh đề Cho I là khoảng mở chứa x0. Hàm số f xác định trên I (hoặc xác định trên I \{x0}). Hai mệnh đề sau là tường đương: i) \(\mathop {\lim }\limits_{x \to {x_0}} f(x) = L\) ii) Với mọi dãy {xn} chứa trong I hội tụ về x0 và \({x_n} \ne {x_0},\forall n\) thì ta có \(\mathop {\lim }\limits_{x \to \infty } f\left( {{x_n}} \right) = L\) Chứng minh: (i) ⇒ (ii) Vì \(\mathop {\lim }\limits_{x \to x_0} f\left( {{x}} \right) = L\)nên “\(\forall \varepsilon > 0,\exists \alpha > 0\) sao cho \(x \in I\) và \(0 < \left| {x - {x_0}} \right| < \alpha \Rightarrow \left| {f(x) - L} \right| < \varepsilon\)” (1) Dãy {xn} trong I hội tụ về x0 và \({x_n} \ne {x_0},\forall n\) thì với \(\alpha\) ở trên, tồn tại N sao cho \(0 < \left| {{x_n} - {x_0}} \right| < \alpha\) với mọi n > N (2) Kết hợp (1) và (2) ta có: “\(\forall \varepsilon > 0,\exists N\) sao cho \(\left| {f({x_n}) - L} \right| < \varepsilon ,\forall n > N\)” Vậy \(\mathop {\lim }\limits_{n \to \infty } f({x_n}) = L\) (ii) ⇒ (i) Giả sử \(\mathop {\lim }\limits_{x \to {x_0}} f(x) \ne L\) ⇒ “\(\exists \varepsilon > 0\) sao cho \(\forall \alpha > 0\) thỏa \(0 < \left| {x - {x_0}} \right| < \alpha\) thì \(\left| {f(x) - L} \right| \ge \varepsilon\) \(\forall n \in {N^*}\), chọn \(\alpha = \frac{1}{n}\) thì tồn tại xn sao cho \(0 < \left| {{x_n} - {x_0}} \right| < \alpha = \frac{1}{n}\)và \(\left| {f({x_n}) - L} \right| \ge \varepsilon\) ⇒ tồn tại dãy {xn} chứa trong I hội tụ về x0 và \({x_n} \ne {x_0},\forall n\) nhưng \(\mathop {\lim }\limits_{n \to + \infty } f({x_n}) \ne L\) Ví dụ 1: Cho \(f(x) = \left\{ \begin{array}{l} \sin \frac{1}{x}\,\,neu\,x \ne 0\,\,\\ 0\,\,\,\,\,\,\,\,\,neu\,\,x = 0 \end{array} \right. \) Chứng minh rằng f không có giới hạn tại 0 (hay \(\mathop {\lim }\limits_{x \to \infty } f(x)\) không tồn tại) Chứng minh: Xét dãy \({x_n} = \frac{1}{{(2n + 1)\frac{\pi }{2}}} \to 0\). Nhưng dãy \(f\left( {{x_n}} \right) = \sin \frac{1}{{{x_n}}} = \sin (2n + 1)\frac{\pi }{2} = {( - 1)^n}\)không hội tụ. Do đó \(\mathop {\lim }\limits_{x \to 0} f(x)\) không tồn tại. Ví dụ 2: Xét hàm số f(x) = x2. Chứng minh rằng \(\mathop {\lim }\limits_{x \to 3} f(x) = 9\) Giải: Với mọi dãy {xn} → 3. Ta có: \(f({x_n}) = x_n^2 = {x_n}.{x_n} \to 3.3 = 9 \Rightarrow \mathop {\lim }\limits_{x \to 3} f\left( x \right) = 9\) 2.4 Định nghĩa i) Cho f xác định trên \(I = \left( {a, + \infty } \right) = \left\{ {x \in R/x > a} \right\}\). Ta nói f có giới hạn là L ở \( + \infty\), nếu: “\(\forall \varepsilon > 0,\exists B > 0\) sao cho \(x \in I\) và \(x > B \Rightarrow \left| {f(x) - L} \right| < \varepsilon\)” Ký hiệu \(\mathop {\lim }\limits_{x \to + \infty } f(x) = L\) ii) f xác định trên \(I = \left( { - \infty ,{\rm{ }}a} \right) = \left\{ {x \in R/x < a} \right\}\) Ta nói f có giới hạn là L ở \(- \infty\) nếu: “\(\forall \varepsilon > 0,\exists B > 0\) sao cho \(x \in I\) và \(x >- B \Rightarrow \left| {f(x) - L} \right| < \varepsilon\)” . Ký hiệu \(\mathop {\lim }\limits_{x \to - \infty } f(x) = L\) Nhận xét: Định nghĩa trên hoàn toàn tương tự với định nghĩa giới hạn của dãy số. 2.5 Mệnh đề Cho hàm số f xác định trên \(I = \left( {a, + \infty } \right)\). Khi đó, hai tính chất sau tương đương : i) \(\mathop {\lim }\limits_{x \to + \infty } f(x) = L\) ii) \(\forall \) dãy \(\left\{ {{x_n}} \right\} \to + \infty \Rightarrow \mathop {\lim }\limits_{n \to + \infty } f(x) = L\) Ghi chú: Ta có phát biểu tương tự cho trường hợp \(\mathop {\lim }\limits_{n \to - \infty } f(x) = L\) 2.6 Mệnh đề Cho I là khoảng mở chứa x0. Hàm số f xác định trên I (hoặc xác định trên I \ {x0} ). Giới hạn của f tại x0 (nếu có) là duy nhất Chứng minh : Giả sử \(\mathop {\lim }\limits_{x \to {x_0}} = {L_1}\,va\,\mathop {\lim }\limits_{x \to {x_0}} f(x) = {L_2}\) Giả sử \({L_1} < {L_2} \Rightarrow {L_2} - {L_1} > 0\) Coi \(\varepsilon = \frac{{{L_2} - {L_1}}}{2} > 0\), ta có: vì f có giới hạn là L1 và L2 tại x0 nên \(\exists {\alpha _1} > 0\) và \({\alpha _2} > 0\) sao cho: \(x \in I\,va\,0 < \left| {x - {x_0}} \right| < {\alpha _1}\) \(\Rightarrow - \frac{{{L_2} - {L_1}}}{2} < f(x) - {L_1} < \frac{{{L_2} - {L_1}}}{2}\) \(\Rightarrow f(x) < \frac{{{L_1} + {L_2}}}{2}\,\,\,\,\,(1)\) \(x \in I\) và \(0 < \left| {x - {x_0}} \right| < {\alpha _2}\) \(\Rightarrow - \frac{{{L_2} - {L_1}}}{2} < f(x) - {L_2} < \frac{{{L_2} - {L_1}}}{2}\) \(\Rightarrow f(x) > \frac{{{L_1} + {L_2}}}{2}\,\,\,\,\,(2)\) Chọn \(\alpha = \min \left\{ {{\alpha _1},{\alpha _2}} \right\}\) Ta có: khi \(x \in I\) và \(0 < \left| {x - {x_0}} \right| < \alpha\). Ta có (1) và (2) đồng thời xảy ra, suy ra vô lý. Tương tự khi L1 > L2 Vậy L1 = L2 2.7 Mệnh đề Cho I là khoảng mở chứa x0. Hàm số f xác định trên I (hoặc xác định trên I \ {x0} ). i) Nếu giới hạn của f tại x0 tồn tại hữu hạn thì tồn tại k > 0 và một khoảng mở J chứa x0 sao cho \(\left| {f(x)} \right| \le k,\forall x \in J\backslash \left\{ {{x_0}} \right\}\) ii) Giả sử \(\mathop {\lim }\limits_{x \to {x_0}} f(x) = L \ne 0\)thì tồn tại k1 > 0 và một khoảng mở J1 sao cho \(\left| {f(x)} \right| > {k_1},\forall x \in {J_1}\backslash \{ {x_0}\}\) Chứng minh: Giả sử \(\mathop {\lim }\limits_{x \to {x_0}} f(x) = A\) Coi \(\varepsilon = 1,\exists \alpha > 0\) sao cho \(x \in I\) và \(0 < \left| {x - {x_0}} \right| < \alpha\) \(\Rightarrow \left| {f(x) - A} \right| < \varepsilon = 1\) \( \Rightarrow \left| {f\left( x \right){\rm{ }}} \right| = {\rm{ }}\left| {A{\rm{ }} + {\rm{ }}f\left( x \right){\rm{ }} - {\rm{ }}A} \right|{\rm{ }} < {\rm{ }}\left| A \right|{\rm{ }} + {\rm{ }}\left| {f\left( x \right){\rm{ }} - {\rm{ }}A} \right|\) \(< \left| A \right| + 1,\forall x \in I\) và \(0 < \left| {x - {x_0}} \right| < \alpha\) Vậy \(\exists k = \left| A \right| + 1\,\,va\,\,J = I \cap ({x_0} - \alpha ,{x_0} + \alpha )\) sao cho \(\left| {f(x)} \right| \le k,\forall x \in J\backslash \left\{ {{x_0}} \right\}\) Tất cả các mệnh đề sau được suy từ các tính chất của giới hạn của dãy số, mệnh đề 3 và mệnh đề 5 của chương này. 2.8 Mệnh đề Cho I là khoảng mở chứa x0. Hàm số f xác định trên I (hoặc xác định trên I \ {x0} ). Nếu \(\left\{ \begin{array}{l} f(x) \ge 0\,\,\,\forall x \in I\backslash \left\{ {{x_0}} \right\}\\ \mathop {\lim }\limits_{x \to {x_0}} f(x) = L \end{array} \right. \) thì \(L \ge 0\) Mệnh đề trên vẫn đúng khi thay x → x0 bằng \(x \to x_0^ + ;x \to x_0^ - \,hay\,x \to \pm \infty\) Ghi chú: tương tự như dãy số, nếu thay giả thiết bởi giả thiết \(f\left( x \right){\rm{ }} > {\rm{ }}0,{\rm{ }}\forall x \in I{\rm{ \backslash }}\left\{ {{x_0}} \right\}\)ta cũng chỉ kết luận \(L \ge 0\) 2.9 Mệnh đề: (Các phép toán trên giới hạn hàm số) Cho I là khoảng mở chứa x0. Hàm số f xác định trên I (hoặc xác định trên I \{x0} ). Giả sử \(\mathop {\lim }\limits_{x \to {x_0}} f(x) = L,\mathop {\lim }\limits_{x \to {x_0}} \,g(x) = M\) Khi đó: \(\begin{array}{l} i)\,\mathop {\lim }\limits_{x \to {x_0}} \left[ {f(x) + g(x)} \right] = L + M\\ ii)\,\mathop {\lim }\limits_{x \to {x_0}} \left[ {kf(x)} \right] = kL\\ iii)\,\mathop {\lim }\limits_{x \to {x_0}} \left[ {f(x)g(x)} \right] = LM\\ iv)\,\mathop {\lim }\limits_{x \to {x_0}} \frac{{f(x)}}{{g(x)}} = \frac{L}{M}\,\,(dk\,M \ne 0)\\ v)\,\mathop {\lim }\limits_{x \to {x_0}} \sqrt {f(x)} = \sqrt L \, \end{array} \) 2.10 Mệnh đề Cho I là khoảng mở chứa x0. Hàm số f, g xác định trên I (hoặc xác định trên I \ {x0} ) và \(f(x) \ge g(x),\forall x \in I\backslash \{ {x_0}\}\) Nếu \(\left\{ \begin{array}{l} \mathop {\lim }\limits_{x \to {x_0}} f(x) = L\\ \mathop {\lim }\limits_{x \to {x_0}} g(x) = M \end{array} \right.\,\,\,thi\,L \ge M \) 2.11 Mệnh đề (định lý kẹp) Cho I là khoảng mở chứa x0. Hàm số f, g, h xác định trên I (hoặc xác định trên I \ {x0} ) và \(f\left( x \right){\rm{ }} \le {\rm{ }}g\left( x \right){\rm{ }} \le {\rm{ }}h\left( x \right),{\rm{ }}\forall x{\rm{ }} \in I\backslash {\rm{ }}\left\{ {{x_0}} \right\}\). Nếu \(\mathop {\lim }\limits_{x \to {x_0}} f(x) = \mathop {\lim }\limits_{x \to {x_0}} h(x) = L\,\,\,thi\,\,\mathop {\lim }\limits_{x \to {x_0}} g(x) = \,L\) Ví dụ: Tìm \(\mathop {\lim }\limits_{x \to 0} {x^2}\sin \frac{1}{2}\) Ta có: \(0 \le \left| {{x^2}\sin \frac{1}{x}} \right| \le {x^2},\forall x \ne 0\) Mà \(\mathop {\lim }\limits_{x \to 0} {x^2} = \mathop {\lim }\limits_{x \to 0} 0 = 0\,nen\,\mathop {\lim }\limits_{x \to 0} \left| {{x^2}\sin \frac{1}{x}} \right| = 0\) Vậy \(\mathop {\lim }\limits_{x \to 0} {x^2}\sin \frac{1}{x} = 0\) 2.12 Định nghĩa Cho hàm số I xác định trên D. Ta nói f bị chận trên trên D nếu \(\exists M{\rm{ }}:{\rm{ }}f\left( x \right){\rm{ }} \le M,{\rm{ }}\forall x{\rm{ }} \in {\rm{ }}D\) f bị chận dưới trên D nếu \(\exists M{\rm{ }}:{\rm{ }}f\left( x \right){\rm{ }} \ge M,{\rm{ }}\forall x{\rm{ }} \in {\rm{ }}D\) f bị chận trên D ⇔ f bị chận trên, bị chận dưới trên D \( \Leftrightarrow \exists M{\rm{ }}:{\rm{ }}\left| {f\left( x \right)} \right|{\rm{ }} \le {\rm{k}},{\rm{ }}\forall x{\rm{ }} \in {\rm{ }}D\) Từ mệnh đề 7, ta thấy nếu \(\mathop {\lim }\limits_{x \to {x_0}} f(x)\) tồn tại hữu hạn thì có một khoảng mở J chứa x0 để f bị chặn trên J\{x0} (f có giới hạn hữu hạn tại x0 ⇒ f bị chặn trên khoảng mở chứa x0 (có thể ngoại trừ x0)) 2.13 Hệ quả Cho I là khoảng mở chứa x0. Hàm số f xác định trên I (hoặc xác định trên I\{x0} ). Nếu \(\mathop {\lim }\limits_{x \to {x_0}} f(x) = 0\,\,va\,\,\left| {g(x)} \right| \le M,\forall x \in I\backslash \left\{ {{x_0}} \right\}\,\,thi\,\,\mathop {\lim }\limits_{x \to {x_0}} f(x)g(x) = 0\)