Limits and Continuity · ⁨Giới hạn và Tính liên tục⁩

Giải tích là toán học của sự biến đổi và sự tích lũy. Nó trả lời hai câu hỏi lớn: một thứ gì đó đang thay đổi nhanh thế nào ngay lúc này, và cho đến nay đã tích lũy được bao nhiêu? Đơn vị 1 xây dựng công cụ duy nhất mà cả hai câu hỏi đều dựa vào – giới hạn.

Hãy bắt đầu với một bài đố. Đồng hồ đo tốc độ của xe hiển thị $60$ km/h. Điều đó có nghĩa là gì tại một thời điểm duy nhất? Tốc độ là khoảng cách chia cho thời gian. Nhưng tại một thời điểm, không có thời gian trôi qua và không có khoảng cách nào được đi qua, nên phân số trông giống như $\tfrac{0}{0}$ – không xác định.

• Tốc độ biến đổi trung bình sử dụng một khoảng toàn bộ: sự thay đổi của một đại lượng chia cho sự thay đổi của đại lượng khác. Nó bị chia cho 0, do đó không xác định, khi sự thay đổi của đầu vào sẽ bằng 0.
• Tốc độ biến đổi tức thời là những gì chúng ta muốn tại một điểm. Đó là giá trị mà tốc độ trung bình tiến tới khi khoảng thu hẹp lại về độ dài bằng 0.

Mẹo thông minh không phải là thay 0 vào (không xác định), mà là quan sát xem tốc độ trung bình tiến tới cái gì khi khoảng trở nên nhỏ dần. Giá trị tiến tới đó là một giới hạn. Do đó, giải tích cho phép chúng ta mô tả sự biến đổi tại một thời điểm – dưới dạng giới hạn của các tốc độ trung bình trên các khoảng càng ngày càng ngắn hơn. Ý tưởng duy nhất này làm nền tảng cho đạo hàm (Đơn vị 2) và, chạy ngược lại, tích phân (Đơn vị 6). Mọi thứ khác trong đơn vị này đều định nghĩa giới hạn một cách cẩn thận và tính toán chúng một cách đáng tin cậy.

Cho hàm số $f$, giới hạn của $f(x)$ khi $x$ tiến tới $c$ là một số thực $R$ nếu $f(x)$ có thể được làm bất kỳ gần với $R$ nào bằng cách lấy $x$ đủ gần với $c$ – nhưng không bằng $c$. Chúng ta viết

Hai từ cuối cùng chính là cốt lõi của giới hạn: nó mô tả hành vi của $f$ gần $c$, chứ không phải giá trị tại $c$. Hàm số có thể không xác định tại $c$, hoặc xác định nhưng bằng một giá trị khác – giới hạn thì không quan tâm.

Một giới hạn có thể được biểu diễn theo ba cách: trực quan, số học (bảng), và phân tích (algebra). Việc học cách chuyển đổi giữa các biểu diễn này là một kỹ năng cốt lõi.

(Lưu ý: định nghĩa epsilon-delta của giới hạn không được kiểm tra trong Bài thi AP, vì vậy tài liệu này không sử dụng nó.)

Đồ thị thường là cách nhanh nhất để đọc một giới hạn. Để tìm $\displaystyle \lim_{x \to c} f(x)$, hãy di chuyển ngón tay dọc theo đường cong hướng tới $x = c$ từ mỗi bên và hỏi: độ cao mà đường cong đang tiến tới là gì?

• Vẽ từ phía trái (các đầu vào nhỏ hơn $c$): điều này cho giới hạn trái, $\displaystyle \lim_{x \to c^-} f(x)$.
• Vẽ từ phía phải (các đầu vào lớn hơn $c$): điều này cho giới hạn phải, $\displaystyle \lim_{x \to c^+} f(x)$.
• Đây là các giới hạn một phía. Nếu cả hai đều tiến tới cùng một độ cao $R$, thì giới hạn hai phía tồn tại và $\displaystyle \lim_{x \to c} f(x) = R$.

Điều quan trọng, bỏ qua điểm chính. Đồ thị đánh dấu sự khác biệt giữa giới hạn và giá trị:

• Một vòng tròn mở đánh dấu độ cao mà đường cong tiến tới nhưng không chạm tới – một "lỗ hổng".
• Một vòng tròn đóng đánh dấu giá trị thực tế $f(c)$.

Vì vậy, một đường cong có thể tiến tới $R = 3$ từ cả hai bên (giới hạn là $3$) trong khi một chấm đầy nằm ở độ cao $5$ (giá trị $f(c) = 5$). Giới hạn là $3$; hai giá trị này không cần phải khớp nhau.

Một giới hạn không tồn tại (thường viết là DNE) khi hai bên không thống nhất (một cú nhảy), khi hàm số không bị chặn (phát triển vô hạn), hoặc khi nó dao động mãi mãi gần $c$. Ví dụ:

Quan sát thang tỷ lệ của đồ thị: một hình ảnh phóng xa có thể che giấu hành vi quan trọng gần một điểm, vì vậy hãy xác nhận bằng algebra khi bạn có thể.

Khi bạn có dữ liệu hoặc công thức nhưng không có hình ảnh, một bảng giá trị ước tính giới hạn theo số học. Hãy chọn các đầu vào len lỏi tiến tới $c$ từ cả hai bên và theo dõi các đầu ra.

Ví dụ, để ước tính $\displaystyle \lim_{x \to 2} \frac{x^2 - 4}{x - 2}$ (đó là $\tfrac{0}{0}$ tại $x=2$):

Cả hai bên đều tiến tới $4$, vì vậy chúng ta ước tính giới hạn là $4$. Một bảng chỉ gợi ý một giá trị – đó là ước tính số học, không phải là chứng minh.

Hầu hết các giới hạn được tìm thấy phân tích bằng các định lý giới hạn. Nếu $\lim_{x\to c} f(x)$ và $\lim_{x\to c} g(x)$ đều tồn tại, giới hạn của một tổ hợp sẽ là tổ hợp tương tự của các giới hạn:

• Tổng / hiệu: $\displaystyle \lim_{x\to c}\big[f(x)\pm g(x)\big] = \lim_{x\to c}f(x) \pm \lim_{x\to c}g(x)$
• Tích: $\displaystyle \lim_{x\to c}\big[f(x)\,g(x)\big] = \lim_{x\to c}f(x)\cdot\lim_{x\to c}g(x)$
• Thương: $\displaystyle \lim_{x\to c}\frac{f(x)}{g(x)} = \frac{\lim_{x\to c}f(x)}{\lim_{x\to c}g(x)}$, miễn là giới hạn mẫu số không phải là $0$.
• Hàm hợp: nếu $g$ liên tục tại $\lim_{x\to c} f(x)$, thì $\displaystyle \lim_{x\to c} g\big(f(x)\big) = g\!\left(\lim_{x\to c} f(x)\right)$.

Quy tắc thực tiễn: đối với một hàm số được xây dựng từ đa thức, căn thức và tương tự, trước tiên hãy thử thay trực tiếp – đặt $x = c$ vào. Nếu bạn nhận được một số thực, đó chính là giới hạn. Các giới hạn một phía tuân theo các định lý tương tự, nhưng chỉ đọc từ một hướng.

Thay thế trực tiếp đôi khi dẫn đến dạng vô định $\tfrac{0}{0}$. Điều này không có nghĩa là giới hạn không tồn tại – mà nghĩa là bạn phải viết lại hàm số thành một dạng tương đương loại bỏ sự bất ổn, sau đó thay thế. Ba thao tác chuẩn:

• Phân tích nhân tử và rút gọn một hàm hữu tỉ. Ví dụ: $\displaystyle \lim_{x\to 2}\frac{x^2-4}{x-2} = \lim_{x\to 2}\frac{(x-2)(x+2)}{x-2} = \lim_{x\to 2}(x+2) = 4$.
• Nhân với lập phương conjugate để đơn giản hóa căn thức. Ví dụ: $\displaystyle \lim_{x\to 0}\frac{\sqrt{x+1}-1}{x} = \lim_{x\to 0}\frac{x}{x\big(\sqrt{x+1}+1\big)} = \frac{1}{2}$.
• Sử dụng các dạng thay thế của hàm lượng giác (đồng nhất thức) để đơn giản hóa.

Nhân tử bị rút gọn chính là lý do đồ thị ban đầu có một lỗ hổng: hai hàm số trùng khớp nhau ở mọi nơi ngoại trừ tại $x=c$, vì vậy chúng cùng có một giới hạn tại điểm đó.

Đây là chủ đề kỹ năng, không phải nội dung mới: hãy chọn công cụ phù hợp cho giới hạn đang đặt trước mặt bạn.

1. Hãy thử thay thế trực tiếp trước. Nếu ra kết quả thực thì bạn đã hoàn thành.
2. Nhận được $\tfrac{0}{0}$? Viết lại – phân tích nhân tử và rút gọn, hoặc dùng lập phương conjugate, hoặc dùng đồng nhất thức lượng giác – sau đó thay thế.
3. Một số khác 0 chia cho $0$ (như $\tfrac{5}{0}$)? Giới hạn sẽ vô cực hoặc không tồn tại (DNE) – hãy kiểm tra dấu từ mỗi phía (xem tiệm cận đứng bên dưới).
4. Khi $x\to\pm\infty$? So sánh các thuật ngữ chủ đạo (xem giới hạn tại vô cực).
5. Bị kẹp giữa hai hàm số? Định lý kẹp có thể áp dụng.

Định lý kẹp (còn gọi là định lý bánh mì sandwich) tìm giới hạn bằng cách kẹp hàm số giữa hai hàm khác. Nếu $g(x) \le f(x) \le h(x)$ gần $c$, và

Hai kết quả nổi tiếng được chứng minh theo cách này, đều được sử dụng rộng rãi trong giải tích, là:

Một chủ đề kỹ năng khác: cùng một giới hạn hiện diện trong đồ thị, bảng số liệu và dạng đại số, và bạn nên có khả năng chuyển đổi giữa chúng. Đồ thị cho thấy hình dáng và bất kỳ lỗ hổng hay bước nhảy nào; bảng số liệu cung cấp bằng chứng số học; đại số đưa ra giá trị chính xác và lý do. Các câu trả lời tốt sử dụng một biểu diễn để xác nhận biểu diễn khác.

Một hàm số gián đoạn tại $c$ khi đồ thị của nó "bị đứt" tại đó. Có ba loại:

• Điểm gián đoạn có thể loại bỏ được – một lỗ hổng đơn lẻ. Giới hạn hai phía tồn tại, nhưng điểm đó bị thiếu hoặc đặt sai vị trí.
• Điểm gián đoạn bước nhảy – hai giới hạn một phía tồn tại nhưng không bằng nhau, khiến đường cong bị bước nhảy.
• Điểm gián đoạn vô cực – hàm số tăng vọt lên $\pm\infty$ tại một tiệm cận đứng.

Tính liên tục được xác định qua bài kiểm tra ba phần. Một hàm $f$ là liên tục tại $x=c$ chính xác khi cả ba điều kiện đều thỏa mãn:

Nói bằng lời nói: điểm đó tồn tại, giới hạn tồn tại, và hai giá trị này trùng khớp. Nếu bất kỳ điều kiện nào không thỏa mãn, $f$ sẽ không liên tục tại $c$. Bài kiểm tra này là nền tảng của hầu hết mọi câu hỏi về tính liên tục, vì vậy hãy học nó như một danh sách kiểm tra.

Một hàm số là liên tục trên một khoảng nếu nó liên tục tại mọi điểm của khoảng đó. Bạn hiếm khi kiểm tra từng điểm một, vì các họ hàm lớn thường liên tục trên toàn miền xác định của chúng:

Các hàm đa thức, hữu tỉ, lũy thừa, mũ, logarit và lượng giác đều liên tục tại mọi điểm thuộc miền xác định của chúng.

Vì vậy, một hàm hữu tỉ liên tục ở mọi nơi ngoại trừ nơi mẫu số bằng 0; $\ln x$ liên tục đối với $x>0$; v.v. Việc nắm rõ điều này giúp bạn khẳng định tính liên tục nhanh chóng và chính xác.

Nếu giới hạn tồn tại tại một lỗ hổng, điểm gián đoạn đó là có thể loại bỏ được: xác định lại hàm số tại điểm đó bằng giá trị giới hạn, và đồ thị sẽ được sửa chữa. Về mặt hình thức, hãy đặt giá trị bị thiếu bằng $\displaystyle \lim_{x\to c} f(x)$.

Đối với một hàm xác định theo mảnh, tính liên tục tại biên $x=c$ đòi hỏi hai mảnh phải gặp nhau: giá trị của mảnh bên trái, giá trị của mảnh bên phải, và $f(c)$ phải bằng nhau. Đây là cấu trúc đề thi phổ biến – bạn giải để tìm một tham số (hằng số chưa biết) làm cho các mảnh khớp nhau:

Khái niệm giới hạn mở rộng sang giới hạn vô cực. Khi một hàm số tăng không giới hạn gần $x=c$, ta viết $\lim_{x\to c} f(x) = \pm\infty$. Điều này mô tả một tiệm cận đứng tại $x=c$: đồ thị ôm sát đường thẳng đứng $x=c$ và phóng ra xa về phía $\pm\infty$.

Điều này xảy ra khi một số khác 0 bị chia cho một đại lượng tiến tới $0$, chẳng hạn như tại nghiệm của mẫu số không triệt tiêu. Luôn kiểm tra từng vế riêng biệt – hai vế có thể tiến theo hướng ngược nhau (một bên tiến tới $+\infty$, một bên tiến tới $-\infty$).

Chúng ta cũng có thể để biến đầu vào tăng: giới hạn vô cực mô tả hành vi cuối cùng của hàm số khi $x\to\pm\infty$. Nếu các giá trị đầu ra ổn định về phía một giá trị hữu hạn $L$, thì $y=L$ là một tiệm cận ngang.

Đối với hàm hữu tỉ, hãy so sánh bậc của tử số và mẫu số:

• bậc tử số < bậc mẫu số $\Rightarrow$ giới hạn là $0$ (tiệm cận $y=0$);
• bậc tử số = bậc mẫu số $\Rightarrow$ giới hạn là tỷ lệ các hệ số đầu;
• bậc tử số > bậc mẫu số $\Rightarrow$ hàm không bị chặn (không có tiệm cận ngang).

Nói chung hơn, chúng ta so sánh kích thước tương đối (tốc độ tăng trưởng tương đối) của các hàm: ở xa vô cùng, hàm mũ lớn hơn bất kỳ đa thức nào, và đa thức lớn hơn bất kỳ logarit nào. Trong bài thi, câu hỏi "khi $t\to\infty$, đại lượng nào lớn hơn/với tốc độ ổn định ở đâu?" được trả lời bằng giới hạn tại vô cùng.

Định lý Giá trị Trung gian là một định lý tồn tại – nó đảm bảo một giá trị tồn tại mà không cho biết vị trí cụ thể của nó:

Nếu $f$ liên tục trên khoảng đóng $[a,b]$, và $d$ là bất kỳ số nào nằm giữa $f(a)$ và $f(b)$, thì tồn tại ít nhất một số $c$ trong $(a,b)$ sao cho $f(c)=d$.

Một đường cong liền mạch không thể bỏ qua độ cao nào đó giữa hai đầu mút – nó phải đi qua mọi độ cao.

Kỹ năng làm bài thi – cách lập luận dựa vào IVT. Các câu hỏi này xuất hiện gần như mỗi năm (ví dụ: "Liệu có bắt buộc tồn tại giá trị $c$ sao cho $R(c)=155$?" hoặc "Có thời điểm nào mà $r'(t)=-6$?"). Một lời giải thích đạt điểm tối đa cần ba bước:

1. Phát biểu tính liên tục. Nêu rằng hàm số liên tục trên $[a,b]$ (thường vì nó khả vi, hoặc đề bài đã cho là liên tục).
2. Chứng minh $d$ nằm kẹp. Tính hai giá trị tại đầu mút và chỉ ra rằng giá trị mục tiêu $d$ nằm giữa chúng, ví dụ: $f(a) < d < f(b)$.
3. Kết luận bằng tên gọi. "Theo Định lý Giá trị Trung gian, tồn tại một $c$ trong $(a,b)$ sao cho $f(c)=d$."

Bỏ qua phát biểu về tính liên tục, hoặc không chứng minh $d$ nằm giữa hai đầu mút sẽ mất điểm – định lý yêu cầu cả hai điều kiện.

Ví dụ đã giải. Tính $\lim_{x\to\infty}\dfrac{3x^2-5}{2x^2+x}$. Chia cả tử và mẫu cho lũy thừa cao nhất, $x^2$: $\dfrac{3-5/x^2}{2+1/x}\to\dfrac{3-0}{2+0}=\dfrac{3}{2}$. Vì giới hạn là một số hữu hạn, đường thẳng $y=\tfrac{3}{2}$ là tiệm cận ngang của đồ thị.

• Một giới hạn mô tả cái gì đó $f(x)$ đang tiến tới, điều này không nhất thiết phải bằng $f(a)$ — giới hạn hai phía chỉ tồn tại nếu cả hai phía đều đồng ý.
• Hãy thử thay thế trực tiếp trước; với dạng $\tfrac00$, hãy phân tích nhân tử và rút gọn hoặc khử căn trước khi thay thế.
• Một hàm số liên tục tại $a$ khi giới hạn tồn tại, $f(a)$ được xác định, và chúng bằng nhau.
• Sử dụng Định lý Giá trị Trung gian để đảm bảo tồn tại nghiệm: một hàm liên tục đổi dấu trên $[a,b]$ sẽ nhận mọi giá trị nằm giữa.
• Đọc tiệm cận ngang từ hành vi cuối (giới hạn tại $\pm\infty$) và tiệm cận dọc nơi mẫu số (không phải tử số) bằng không.