... m(t) khả vi và đạo hàm cấp hai 2( , )r s ts t∂∂ ∂ của hàm tự tương quan là tồn tại và liên tục. Chứng minh: Suy từ định lý 3 và sự kiện: Nếu 2( , )r s ts t∂∂ ∂ tồn tại và liên tục001lim ... X(t) là quá trình L2 - khả vi thì L2 - đạo hàm X'(t) của quátrình ấy lại là một quá trình cấp 2 mới. Từ chứng minh của các định lý trên ta suy ra các công thức tính hàm trung bình và ... phương sai (t - s),(iv) W là quá trình liên tục, tức là hầu hết các quỹ đạo của W là hàm liên tục.• Sự tồn tại của quá trình Wiener được lập luận như sau: Vì min(s, t) là hàm xác định không âm,...