Định lý Nyquist, còn được gọi là định lý lấy mẫu, là một nguyên tắc mà các kỹ sư tuân theo trong quá trình số hóa các tín hiệu tương tự. Để chuyển đổi tương tự sang kỹ thuật số (ADC) nhằm tạo ra tín hiệu tái tạo trung thực, các lát cắt, được gọi là mẫu, của dạng sóng tương tự phải được thực hiện thường xuyên.