Đường số thực mở rộng

Bản mẫu:Short description Trong toán học, hệ thống số thực mở rộng affine được tạo từ tập số thực $ℝ$ và hai phần tử vô cực: $+\mathrm{\infty }$ và $-\mathrm{\infty },$Bản mẫu:Efn trong đó các cực được coi như số. Nó hữu dụng trong việc mô tả đại số trên các cực cũng như nhiều hành vi của giới hạn trong vi tích phân và giải tích toán học, đặc biệt là trong lý thuyết độ đo và tích phân. Hệ thống số thực mở rộng affine được ký hiệu là $\overline{ℝ}$ hoặc $[-\mathrm{\infty },+\mathrm{\infty }]$ hoặc là Bản mẫu:Nowrap

Khi đã rõ ngữ cảnh thì ký hiệu $+\mathrm{\infty }$ có thể viết ngắn gọn thành Bản mẫu:Nowrap

Lý do thúc đẩy

Giới hạn hàm số

Thường thì để thuận lợi, ta thường hay mô tả hành vi của hàm $f$ khi tham số $x$ hoặc kết quả hàm $f$ trở nên "lớn vô cùng" bằng một số phương pháp hoặc hình học. Để lấy ví dụ, xét hàm $f$ được định nghĩa bởi

$f(x)=\frac{1}{x^2}.$

Đồ thị của hàm số này có tiệm cận ngang tại $y=0.$ Nhìn theo hình học thì, khi ta càng di chuyển về bên phải theo trục $x$, giá trị của $1/x^2$ càng gần đến Bản mẫu:Math. Hành vi giới hạn này giống với giới hạn của hàm số $\underset{x\to x_0}{\lim }f(x)$ trong đó số thực $x$ tiến dần đến $x_0,$.

Việc thêm $+\mathrm{\infty }$ và $-\mathrm{\infty }$ trong tập $ℝ$ cho phép ta lập "giới hạn tại vô cực", với các tính chất tô pô tương tự như tập $ℝ.$

Định nghĩa dãy Cauchy của $ℝ$ cho phép định nghĩa $+\mathrm{\infty }$ là tập các dãy $\left\{a_n\right\}$ của số hữu tỷ thỏa mãn với mọi $M\in ℝ$ được đi kèm tương ứng $N\in \mathbb{N}$ sao cho $a_n>M$ với mọi $n>N.$ Định nghĩa cho $-\mathrm{\infty }$ có thể được định nghĩa tương tự.

Độ đo và tích phân

Trong lý thuyết độ đo, thường để thuận lợi ta cho phép các tập có độ đo vô cực và tích phân có thể có giá trị truyền vào vô cực.

Đọc thêm

• Bản mẫu:Citation
• Bản mẫu:MathWorld