Lớp 11

Hàm số liên tục

Một hàm số liên tục tại một điểm khi đồ thị của nó đi qua điểm đó mà không có lỗ hổng, bước nhảy hay đứt gãy: theo ngôn ngữ chính xác, $\lim_{x \to x_0} f(x) = f(x_0)$ . Tính liên tục đảm bảo hai kết quả hữu ích bậc nhất trong giải tích — Định lý giá trị trung gian (hàm liên tục nhận mọi giá trị nằm giữa $f(a)$ và $f(b)$ , nền tảng của thuật toán chia đôi tìm nghiệm) và Định lý giá trị lớn nhất – nhỏ nhất (hàm liên tục trên một đoạn luôn đạt giá trị lớn nhất và nhỏ nhất).

Trực giácVẽ một đường cong mà không nhấc bút

Cầm một cây bút chì và vẽ đồ thị $y=f(x)$ từ trái sang phải. Nếu bạn không bao giờ phải nhấc bút khỏi trang giấy — không có lỗ hổng, không có bước nhảy đột ngột, không có tiệm cận đứng vọt lên vô cực — thì hàm số liên tục trên đoạn đó. Ngay khi phải nhấc bút, hàm số có một điểm gián đoạn tại đó. Hình ảnh này chỉ mang tính trực giác, nhưng nó dẫn thẳng tới định nghĩa chính xác bên dưới: một hàm số liên tục tại $x_0$ chính xác khi giá trị $f(x_0)$ và hành vi giới hạn khi $x\to x_0$ khớp với nhau.

f(x) = x^3 - 3x + 1

. Đường cong này không bao giờ phải nhấc bút: nó liên tục trên toàn trục số. Vì

f(0) = 1 > 0

và

f(1) = -1 < 0

, đường cong buộc phải cắt trục

x

ở đâu đó giữa

x=0

và

x=1

— đây chính là Định lý giá trị trung gian đang hoạt động, và đây cũng là hàm bậc ba được dùng xuyên suốt trang này.

Phổ thôngLiên tục tại một điểm

Định nghĩa: Liên tục tại một điểm

Cho $f$ xác định trên một khoảng mở chứa $x_0$ . Ta nói $f$ **liên tục tại $x_0$ ** khi cả ba điều kiện sau đều đúng: (1) $f(x_0)$ xác định; (2) giới hạn $\lim_{x \to x_0} f(x)$ tồn tại; (3) giới hạn đó bằng $f(x_0)$ . Gộp cả ba điều kiện lại thành một đẳng thức duy nhất, $\lim_{x \to x_0} f(x) = f(x_0)$ . Một hàm số liên tục trên khoảng $(a;b)$ nếu nó liên tục tại mọi điểm của khoảng đó, và liên tục trên đoạn $[a;b]$ nếu thêm vào đó các giới hạn một phía tại hai đầu mút khớp với giá trị của hàm tại đó.

\lim_{x \to x_0} f(x) = f(x_0)

Mọi đa thức, và mọi hàm số dựng từ đa thức, $\sin$ , $\cos$ , hàm mũ và căn thức bằng phép cộng, nhân, chia (ngoài các nghiệm của mẫu số) và hợp hàm, đều liên tục tại mọi điểm thuộc tập xác định của nó — đây là lý do tính liên tục "tự động" đúng với hầu hết mọi công thức ta viết ra trong toán phổ thông. Các điểm gián đoạn chỉ xuất hiện tại những điểm ngoại lệ cô lập: chia cho không, một định nghĩa từng khúc không khớp nhau, hay một cấu trúc thực sự kỳ dị.

\lim_{x \to x_0^-} f(x) \neq \lim_{x \to x_0^+} f(x)

Ba cách tính liên tục có thể bị phá vỡ tại $x_0$
Loại	Điều kiện	Ví dụ tại $x_0$
Có thể khử được	$\lim_{x \to x_0} f(x)$ tồn tại nhưng $\lim_{x \to x_0} f(x) \neq f(x_0)$ , hoặc $f(x_0)$ không xác định.	$f(x) = \dfrac{x^2-1}{x-1}$ tại $x_0=1$ : giới hạn bằng $2$ nhưng $f(1)$ không xác định.
Bước nhảy	Cả hai giới hạn một phía đều hữu hạn nhưng $\lim_{x \to x_0^-} f(x) \neq \lim_{x \to x_0^+} f(x)$ .	$f(x) = \lfloor x \rfloor$ tại $x_0=1$ : giới hạn trái là $0$ , giới hạn phải là $1$ .
Vô cực	Ít nhất một giới hạn một phía bằng $\pm\infty$ , nên $\lim_{x \to x_0} f(x) = \pm\infty$ (không tồn tại giới hạn hữu hạn).	$f(x) = \dfrac{1}{x}$ tại $x_0=0$ : cả hai giới hạn một phía đều là vô cực.

Đại họcHai trụ cột của hàm liên tục trên một đoạn

Định lý: Định lý giá trị trung gian (Bolzano–Cauchy)

Nếu $f$ liên tục trên $[a,b]$ và $k$ nằm giữa $f(a)$ và $f(b)$ , thì $\exists\, c \in (a,b)$ sao cho $f(c)=k$ . Đặc biệt, nếu $f(a)$ và $f(b)$ trái dấu thì $f(a)\cdot f(b) < 0 \ \Rightarrow\ \exists\, c \in (a,b): f(c) = 0$ .

Vì sao đúng?

Hãy hình dung $f$ ghi lại độ cao của bạn khi đi bộ liên tục từ thị trấn $a$ (độ cao $f(a)$ ) đến thị trấn $b$ (độ cao $f(b)$ ) theo một con đường mòn, không có chuyện dịch chuyển tức thời. Bạn không thể bỏ qua bất kỳ độ cao nào nằm chặt giữa độ cao của hai thị trấn — tại một thời điểm nào đó bạn phải từng ở đúng mỗi độ cao trung gian. Một hàm số gián đoạn có thể bỏ qua giá trị (hãy nghĩ tới một bước nhảy), đó chính là lý do tính liên tục là giả thiết thiết yếu.

Chứng minh

Không mất tính tổng quát, xét trường hợp tổng quát $f(a) < k < f(b)$ (trường hợp $f(a) > k > f(b)$ hoàn toàn đối xứng), và đặt $g(x) = f(x) - k$ , khi đó $g$ liên tục, $g(a) < 0 < g(b)$ , và ta cần tìm $c$ với $g(c)=0$ . Đặt $a_0=a$ , $b_0=b$ .

Lặp lại bước chia đôi sau với $n=0,1,2,\dots$ : tính trung điểm $m = \dfrac{a+b}{2}$ của $[a_n,b_n]$ . Nếu $g(m)=0$ , dừng lại — tìm được $c=m$ . Ngược lại $g(m)$ có dấu xác định; giữ lại nửa của $[a_n,b_n]$ có hai đầu mút trái dấu, tức đặt $[a_{n+1},b_{n+1}] = [a_n,m]$ nếu $g(a_n)g(m)<0$ , hoặc $[a_{n+1},b_{n+1}]=[m,b_n]$ nếu $g(m)g(b_n)<0$ . Trong mọi trường hợp, $g(a_{n+1})$ và $g(b_{n+1})$ vẫn trái dấu, tức $f(a_n)\cdot f(b_n) \le 0$ (với $a_n,b_n$ nay đóng vai trò của $g$ ), và độ dài đoạn giảm một nửa: $b_n - a_n = \dfrac{b-a}{2^n}$ .

Dãy $(a_n)$ tăng và bị chặn trên bởi $b$ , còn $(b_n)$ giảm và bị chặn dưới bởi $a$ , nên cả hai đều hội tụ; vì $b_n-a_n\to 0$ , chúng hội tụ về cùng một giới hạn, $a_n \to c,\quad b_n \to c$ , với $c\in[a,b]$ .

Vì $g$ liên tục, $g(a_n)\to g(c)$ và $g(b_n)\to g(c)$ . Vì $g(a_n)$ và $g(b_n)$ trái dấu (hoặc một trong hai bằng đúng $0$ ) ở mọi bước, tích của chúng thỏa $g(a_n)g(b_n)\le 0$ với mọi $n$ ; lấy giới hạn hai vế cho $g(c)^2\le 0$ , tức $f(c)^2 \le 0 \ \Rightarrow\ f(c) = 0$ (áp dụng cho $g$ ). Do đó $f(c) = g(c)+k = k$ , và $c\in(a,b)$ vì $a_n<c<b_n$ chặt ngay khi phép chia đôi đã chạy ít nhất một bước mà không rơi đúng vào một đầu mút (và nếu rơi đúng vào $m$ ở một bước nào đó, thì $m$ chính là $c$ cần tìm).

Định lý: Định lý giá trị lớn nhất – nhỏ nhất (Weierstrass)

Nếu $f$ liên tục trên đoạn đóng, bị chặn $[a,b]$ , thì $\exists\, c, d \in [a,b]:\ f(c) \le f(x) \le f(d)\ \ \forall x \in [a,b]$ : nghĩa là $f$ đạt giá trị lớn nhất $f(d)$ và giá trị nhỏ nhất $f(c)$ tại đâu đó trên $[a,b]$ .

Vì sao đúng?

Một hàm liên tục trên một đoạn không thể "trốn" ra vô cực (đoạn bị chặn và đóng nên không có chỗ nào để thoát), và cũng không thể tiến gần tới một giá trị cao nhất mà không bao giờ đạt được nó — một khoảng mở như $(0,1)$ cho phép $f(x)=x$ tiến gần tùy ý tới $1$ mà không bao giờ đạt được, nhưng việc thêm đầu mút $x=1$ vào $[0,1]$ đã bịt kín kẽ hở đó. Cả tính bị chặn của đoạn lẫn tính đóng của nó (bao gồm hai đầu mút) đều thiết yếu.

Chứng minh

**Bước 1 — $f$ bị chặn trên trên $[a,b]$ .** Giả sử ngược lại: với mọi $n\in\mathbb{N}$ tồn tại $x_n\in[a,b]$ với $f(x_n) > n$ . Dãy $(x_n)$ nằm trong đoạn bị chặn $[a,b]$ , nên theo định lý Bolzano–Weierstrass nó có một dãy con $x_{n_k}\to c\in[a,b]$ . Tính liên tục của $f$ cho $f(x_{n_k})\to f(c)$ , một số hữu hạn duy nhất, mâu thuẫn với $f(x_{n_k}) > n_k \to \infty$ . Vậy $f$ bị chặn trên; lập luận đối xứng (áp dụng cho $-f$ ) cho thấy $f$ bị chặn dưới.

Bước 2 — cận trên đúng đạt được. Theo Bước 1, $M=\sup_{[a,b]} f$ là một số hữu hạn. Theo định nghĩa cận trên đúng, với mọi $n$ tồn tại $y_n\in[a,b]$ với $M-\tfrac1n < f(y_n) \le M$ . Lại theo Bolzano–Weierstrass, $(y_n)$ có dãy con $y_{n_k}\to d\in[a,b]$ . Kẹp $M-\tfrac{1}{n_k} < f(y_{n_k}) \le M$ khi $k\to\infty$ cho $f(y_{n_k})\to M$ ; nhưng tính liên tục cũng cho $f(y_{n_k})\to f(d)$ , nên $f(d)=M$ . Vậy giá trị lớn nhất $M$ đạt được tại $x=d$ .

Bước 3 — giá trị nhỏ nhất đạt được. Áp dụng Bước 1–2 cho $-f$ (cũng liên tục trên $[a,b]$ ): $-f$ đạt giá trị lớn nhất tại một điểm $c\in[a,b]$ nào đó, nghĩa là $f$ đạt giá trị nhỏ nhất tại chính điểm $c$ đó. Điều này cho cả $c$ và $d$ như yêu cầu.

Đại họcỨng dụng thực tiễn và Ví dụ minh họa

Định lý giá trị trung gian không chỉ là một khẳng định về sự tồn tại — nó là xương sống toán học của phương pháp chia đôi, một trong những thuật toán số tìm nghiệm gần đúng lâu đời và đáng tin cậy nhất trong kỹ thuật và khoa học máy tính: cho $f(a)$ và $f(b)$ trái dấu, việc lặp lại chia đôi đoạn (đúng như trong chứng minh ở trên) sẽ kẹp một nghiệm với độ chính xác tùy ý, và mỗi bước đều chắc chắn thành công vì $f$ không bao giờ "nhảy qua" số không. Cùng định lý đó cũng biện minh cho các lập luận cân bằng trong vật lý: bất cứ khi nào một đại lượng liên tục (nhiệt độ, áp suất, nồng độ) được so sánh giữa hai trạng thái hay hai vị trí, IVT đảm bảo tồn tại một trạng thái hay vị trí trung gian nơi hai bên cân bằng chính xác.

Ví dụ: Định vị nghiệm bằng phương pháp chia đôi

Chứng minh $f(x) = x^3 - 3x + 1$ có nghiệm trong $(0,1)$ , sau đó dùng phương pháp chia đôi để định vị nghiệm đó chính xác tới hai chữ số thập phân.

Lời giải

Vì $f$ là đa thức nên liên tục trên toàn trục số, và $f(0) = 1 > 0$ trong khi $f(1) = -1 < 0$ , nên $f(0)f(1)<0$ ; theo IVT tồn tại nghiệm $c\in(0,1)$ .

Chia đôi: $m=0.5$ , $f(0.5)=0.125-1.5+1=-0.375<0$ . Vì $f(0)>0>f(0.5)$ , nghiệm nằm trong $(0, 0.5)$ .

Chia đôi tiếp: $m=0.25$ , $f(0.25)=0.015625-0.75+1=0.265625>0$ . Vì $f(0.25)>0>f(0.5)$ , nghiệm nằm trong $(0.25, 0.5)$ .

Tiếp tục — $m=0.375$ cho $f(0.375)\approx -0.072<0$ (nghiệm trong $(0.25,0.375)$ ), rồi $m=0.3125$ cho $f(0.3125)\approx 0.093>0$ (nghiệm trong $(0.3125,0.375)$ ), rồi $m=0.34375$ cho $f(0.34375)\approx 0.009>0$ (nghiệm trong $(0.34375,0.375)$ ) — đoạn đã co lại còn độ dài dưới $0.031$ và cả hai đầu mút làm tròn về $0.34$ – $0.38$ ; thêm một bước nữa xác nhận nghiệm làm tròn thành $c \approx 0{,}35$ , khớp với điểm cắt được đánh dấu trong widget gần $x\approx 0.35$ .

Ví dụ: Hai điểm đối xứng qua tâm có cùng nhiệt độ

Trên một đường chạy hình tròn có chu vi $2\pi$ , nhiệt độ mặt đất $T(\theta)$ (theo góc $\theta$ ) biến thiên liên tục. Chứng minh rằng tại một thời điểm nào đó, tồn tại hai điểm đối xứng nhau qua tâm trên đường chạy có nhiệt độ hoàn toàn bằng nhau.

Lời giải

Đặt $g(x) = T(x) - T(x+\pi)$ với $x\in[0,\pi]$ , so sánh nhiệt độ tại góc $x$ với nhiệt độ tại góc đối xứng qua tâm $x+\pi$ . Vì $T$ liên tục nên $g$ liên tục trên $[0,\pi]$ .

Tính tại hai đầu mút: $g(0) = T(0)-T(\pi)$ , và $g(\pi) = T(\pi) - T(2\pi) = T(\pi) - T(0) = -g(0)$ — tức $g(\pi) = -g(0)$ .

Nếu $g(0)=0$ , thì đã có $T(0)=T(\pi)$ , và $x=0,\pi$ chính là hai điểm đối xứng cần tìm. Ngược lại $g(0)$ và $g(\pi)=-g(0)$ trái dấu hẳn, nên $g(0)g(\pi)<0$ ; theo Định lý giá trị trung gian tồn tại $c\in(0,\pi)$ với $g(c)=0$ , tức $T(c) = T(c+\pi)$ . Trong cả hai trường hợp, các điểm tại góc $c$ và $c+\pi$ có nhiệt độ giống hệt nhau — đây chính là hương vị "cân bằng nhiệt" của định lý: tính liên tục buộc hai số đo đối lập phải cắt nhau.

Lỗi hay gặp. Hai sai lầm kinh điển về tính liên tục. (1) Áp dụng IVT/EVT mà không kiểm tra tính liên tục trước. Với

f(x)=\dfrac1x

trên

[-1,1]

f(-1)=-1<0<1=f(1)

, nên dễ kết luận vội rằng tồn tại nghiệm trong

(-1,1)

— nhưng

f

không xác định (do đó không liên tục) tại

x=0

, và thực tế

f

không có nghiệm nào cả. (2) Nhầm lẫn giữa "tồn tại nghiệm" với "nghiệm là duy nhất." IVT chỉ đảm bảo sự tồn tại:

f(x) = x^3 - 3x + 1

thực ra có ba nghiệm trong

(-2,2)

(gần

-1.88

0.35

, và

1.53

), không phải một — việc kiểm tra

f(a)f(b)<0

trên một đoạn con chỉ chứng thực rằng ít nhất một nghiệm nằm ở đó.

Nghiên cứuTính liên tục ở biên giới nghiên cứu hiện đại

Hiện trạng nghiên cứu tính đến năm 2026

Tính đến năm 2026, hai hướng nghiên cứu đang mở rộng tính liên tục và các lập luận tồn tại kiểu chia đôi vượt xa việc tính tay. (1) Tính toán số có chứng thực. Số học khoảng theo dõi một khoảng bao đảm bảo cho mỗi phép tính trung gian thay vì một số dấu phẩy động đơn lẻ, nhờ đó máy tính có thể xuất ra một chứng minh chặt chẽ về mặt toán học, được máy kiểm chứng, rằng một nghiệm tồn tại trong một khoảng cực nhỏ — kỹ thuật này là nền tảng của các chứng minh có sự hỗ trợ của máy tính như lời giải cho giả thuyết bong bóng đôi và một phần chứng minh giả thuyết Kepler. (2) Tổng quát hóa lên chiều cao hơn. Lập luận "hai điểm đối xứng" trên đường tròn ở trên là hình chiếu một chiều của định lý Borsuk–Ulam (với mọi ánh xạ liên tục từ một mặt cầu vào $\mathbb{R}^n$ , tồn tại một cặp điểm đối xứng qua tâm có cùng ảnh), một trụ cột của tô pô đại số với các ứng dụng hiện đại trải từ thuật toán chia công bằng (chia đều một chiếc bánh sandwich hay một khu vực bầu cử) tới tổ hợp và khoa học máy tính lý thuyết.

Cho $f(x) = \dfrac{x^2-9}{x-3}$ với $x\neq 3$ và $f(3)=5$ . Hỏi $f$ có liên tục tại $x_0=3$ không?

$f(x) = \lfloor x \rfloor$ có, tại mọi số nguyên $x_0$ , một điểm gián đoạn thuộc loại nào?

$f(x) = x^3 - 3x + 1$ có nghiệm nào trong khoảng $(1,2)$ không?

Áp dụng phương pháp chia đôi cho $f(x) = x^3 - 3x + 1$ bắt đầu từ $[0,1]$ , đoạn kẹp nghiệm mới sau bước đầu tiên là gì?

Tài liệu tham khảo

James Stewart (2015). Calculus: Early Transcendentals
Walter Rudin (1976). Principles of Mathematical Analysis
Francis Edward Su (1997). A Borsuk-Ulam Equivalent that Directly Implies the Sperner Lemma