Hàm bước

Ví dụ về một hàm bước (đường màu đỏ). Hàm bước này là liên tục bên phải.

Trong toán học, một hàm số trên tập số thực được gọi là hàm bước (hoặc hàm bậc thang) nếu nó có thể được viết dưới dạng một tổ hợp tuyến tính hữu hạn của các hàm chỉ thị trên một số khoảng. Nói đơn giản, một hàm bước là một hàm hằng trên hữu hạn khoảng.

Định nghĩa và hệ quả

Một hàm số $f:ℝ\to ℝ$ được gọi là một hàm bước nếu nó có thể được viết dưới dạng

$f(x)=\sum _{i=0}^n{\alpha }_i{\chi }_{A_i}(x)$ với mọi số thực Bản mẫu:Mvar

trong đó Bản mẫu:Math và Bản mẫu:Math là các số thực, Bản mẫu:Math là các khoảng còn Bản mẫu:Math là hàm chỉ thị của Bản mẫu:Mvar:

${\chi }_A(x)=\{\begin{array}{cc}1& \mathrm{n}\acute{\hat{\mathrm{e}}}\mathrm{u}x\in A,\\ 0& \mathrm{n}\acute{\hat{\mathrm{e}}}\mathrm{u}x\notin A.\end{array}$

Trong định nghĩa này, các khoảng Bản mẫu:Math có thể được giả sử là có hai tính chất sau:

1. Các khoảng rời nhau từng đôi một: Bản mẫu:Math với mọi Bản mẫu:Math
2. Hợp của những khoảng này là toàn bộ đường thẳng số thực: $\bigcup _{i=0}^n{A}_i=ℝ$.

Nói các khác, các khoảng Bản mẫu:Math là một phân hoạch của tập số thực.

Ví dụ

Hàm bước Heaviside là một hàm bước được sử dụng rộng rãi.

• Một hàm hằng là một ví dụ tầm thường của hàm bước. Chỉ có một khoảng là Bản mẫu:Math.
• Hàm signum Bản mẫu:Math bằng Bản mẫu:Math với số âm và Bản mẫu:Math với số dương, là một ví dụ đơn giản nhất về một hàm bước khác hằng.
• Hàm Heaviside Bản mẫu:Math, bằng Bản mẫu:Math cho số âm và Bản mẫu:Math cho số dương, tương đương với hàm signum nhưng được dịch lên và thu nhỏ (Bản mẫu:Math). Nó là ý nghĩa toán học đằng một số bài kiểm tra tín hiệu, ví dụ như là để xác định đáp ứng bước của một hệ thống động lực.

Hàm chữ nhật, một hàm bước đơn giản khác.

• Hàm chữ nhật, còn gọi là hàm rect, được dùng để mô tả một xung đơn vị.

Không phải ví dụ

• Hàm phần nguyên không phải là một hàm bước theo định nghĩa trên vì nó có vô hạn khoảng. Tuy nhiên, một số tác giả cũng coi hàm với số khoảng vô hạn như thế là hàm bước.

Tính chất

• Tổng và tích của hai hàm bước là một hàm bước. Tích của một hàm bước với một số cũng là một hàm bước. Do đó, các hàm bước tạo thành một đại số trên trường số thực.
• Tích phân xác định của một hàm bước là một hàm bậc nhất theo từng khoảng.
• Tích phân Lebesgue của một hàm bước $f=\sum _{i=0}^n{\alpha }_i{\chi }_{A_i}$ là

$\int f(x)dx=\sum _{i=0}^n{\alpha }_i\ell (A_i),$

trong đó $\ell (A)$ là độ dài của khoảng Bản mẫu:Mvar và các khoảng ở đây được giả sử là có độ dài hữu hạn. Thực tế, đẳng thức này (nếu xem là định nghĩa) có thể được dùng để xây dựng tích phân Lebesgue.

• Một biến ngẫu nhiên rời rạc được định nghĩa là một biến ngẫu nhiên có hàm phân phối tích lũy là hằng theo từng khoảng, tức là một hàm bước.

Xem thêm

• Hàm bước Heaviside
• Hàm lỗ châu mai
• Hàm đơn giản
• Hàm số xác định theo từng khoảng
• Hàm sigmoid