✨Hàm bước
thumb|Ví dụ về một hàm bước (đường màu đỏ). Hàm bước này là [[Hàm liên tục|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ố được gọi là một hàm bước nếu nó có thể được viết dưới dạng : với mọi số thực
trong đó và là các số thực, là các khoảng còn là hàm chỉ thị của : :
Trong định nghĩa này, các khoảng có thể được giả sử là có hai tính chất sau:
Các khoảng rời nhau từng đôi một: với mọi
Hợp của những khoảng này là toàn bộ đường thẳng số thực: .
Nói các khác, các khoảng là một phân hoạch của tập số thực.
Ví dụ
thumb|[[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à .
- Hàm signum bằng với số âm và 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ằng cho số âm và cho số dương, tương đương với hàm signum nhưng được dịch lên và thu nhỏ (). 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. thumb|[[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 là : trong đó là độ dài của khoảng 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.