.. _sec_random_variables: Biến ngẫu nhiên =============== Trong :numref:`sec_prob`, chúng ta đã thấy những điều cơ bản về cách làm việc với các biến ngẫu nhiên rời rạc, trong trường hợp của chúng ta đề cập đến những biến ngẫu nhiên đó lấy một tập hợp hữu hạn các giá trị có thể hoặc các số nguyên. Trong phần này, chúng ta phát triển lý thuyết về biến ngẫu nhiên *liên tục*, là các biến ngẫu nhiên có thể mang theo bất kỳ giá trị thực nào. Biến ngẫu nhiên liên tục ------------------------ Biến ngẫu nhiên liên tục là một chủ đề tinh tế hơn đáng kể so với các biến ngẫu nhiên rời rạc. Một sự tương tự công bằng để thực hiện là bước nhảy kỹ thuật có thể so sánh với bước nhảy giữa việc thêm danh sách các số và các chức năng tích hợp. Như vậy, chúng ta sẽ cần phải mất một thời gian để phát triển lý thuyết. Từ rời rạc đến liên tục ~~~~~~~~~~~~~~~~~~~~~~~ Để hiểu những thách thức kỹ thuật bổ sung gặp phải khi làm việc với các biến ngẫu nhiên liên tục, chúng ta hãy thực hiện một thử nghiệm tư tưởng. Giả sử rằng chúng ta đang ném một phi tiêu vào bảng phi tiêu, và chúng tôi muốn biết xác suất rằng nó chạm chính xác :math:`2 \text{cm}` từ trung tâm của bảng. Để bắt đầu, chúng tôi tưởng tượng việc đo một chữ số chính xác duy nhất, nghĩa là với các thùng cho :math:`0 \text{cm}`, :math:`1 \text{cm}`, :math:`2 \text{cm}`, v.v. Chúng tôi ném nói :math:`100` phi tiêu vào bảng phi tiêu, và nếu :math:`20` trong số họ rơi vào thùng cho :math:`2\text{cm}`, chúng tôi kết luận rằng :math:`20\%` of the darts we throw hit the board :math:`2\ văn bản {cm}` cách trung tâm. Tuy nhiên, khi chúng ta nhìn kỹ hơn, điều này không phù hợp với câu hỏi của chúng tôi! Chúng tôi muốn bình đẳng chính xác, trong khi những thùng chứa tất cả những gì rơi vào giữa :math:`1.5\text{cm}` và :math:`2.5\text{cm}`. Không ngăn cản, chúng tôi tiếp tục xa hơn. Chúng tôi đo thậm chí chính xác hơn, nói :math:`1.9\text{cm}`, :math:`2.0\text{cm}`, :math:`2.1\text{cm}`, và bây giờ thấy rằng có lẽ :math:`3` của phi tiêu :math:`100` đánh vào bảng trong xô :math:`2.0\text{cm}`. Vì vậy, chúng tôi kết luận xác suất là :math:`3\%`. Tuy nhiên, điều này không giải quyết được bất cứ điều gì! Chúng tôi vừa đẩy vấn đề xuống một chữ số xa hơn. Hãy để chúng tôi trừu tượng một chút. Hãy tưởng tượng chúng ta biết xác suất :math:`k` chữ số đầu tiên khớp với :math:`2.00000\ldots` và chúng tôi muốn biết xác suất nó khớp với :math:`k+1` chữ số đầu tiên. Khá hợp lý khi giả định rằng chữ số :math:`{k+1}^{\mathrm{th}}` về cơ bản là một lựa chọn ngẫu nhiên từ bộ :math:`\{0, 1, 2, \ldots, 9\}`. Ít nhất, chúng ta không thể hình thành một quá trình có ý nghĩa về thể chất, điều này sẽ buộc số lượng micromet tạo thành trung tâm thích kết thúc trong một :math:`7` so với :math:`3`. Điều này có nghĩa là về bản chất mỗi chữ số bổ sung độ chính xác mà chúng ta yêu cầu sẽ giảm xác suất khớp theo hệ số :math:`10`. Hoặc đặt một cách khác, chúng tôi sẽ mong đợi rằng .. math:: P(\text{distance is}\; 2.00\ldots, \;\text{to}\; k \;\text{digits} ) \approx p\cdot10^{-k}. Giá trị :math:`p` về cơ bản mã hóa những gì xảy ra với vài chữ số đầu tiên và :math:`10^{-k}` xử lý phần còn lại. Lưu ý rằng nếu chúng ta biết vị trí chính xác đến :math:`k=4` chữ số sau thập phân. Điều đó có nghĩa là chúng ta biết giá trị nằm trong khoảng thời gian nói :math:`[(1.99995,2.00005]` đó là một khoảng thời gian dài :math:`2.00005-1.99995 = 10^{-4}`. Do đó, nếu chúng ta gọi độ dài của khoảng thời gian này :math:`\epsilon`, chúng ta có thể nói .. math:: P(\text{distance is in an}\; \epsilon\text{-sized interval around}\; 2 ) \approx \epsilon \cdot p. Hãy để chúng tôi thực hiện một bước cuối cùng này hơn nữa. Chúng tôi đã suy nghĩ về điểm :math:`2` toàn bộ thời gian, nhưng không bao giờ nghĩ về những điểm khác. Không có gì khác nhau ở đó về cơ bản, nhưng đó là trường hợp giá trị :math:`p` có thể sẽ khác nhau. Ít nhất chúng tôi hy vọng rằng một người ném phi tiêu có nhiều khả năng đạt một điểm gần trung tâm, như :math:`2\text{cm}` hơn là :math:`20\text{cm}`. Do đó, giá trị :math:`p` không cố định, mà phải phụ thuộc vào điểm :math:`x`. Điều này cho chúng ta biết rằng chúng ta nên mong đợi .. math:: P(\text{distance is in an}\; \epsilon \text{-sized interval around}\; x ) \approx \epsilon \cdot p(x). :label: eq_pdf_deriv Thật vậy, :eq:`eq_pdf_deriv` xác định chính xác hàm mật độ *xác suất*. Nó là một chức năng :math:`p(x)` mã hóa xác suất tương đối của đánh gần một điểm so với điểm khác. Hãy để chúng tôi hình dung những gì một chức năng như vậy có thể trông như thế nào. .. raw:: html
mxnetpytorchtensorflow
.. raw:: html
.. code:: python %matplotlib inline from IPython import display from mxnet import np, npx from d2l import mxnet as d2l npx.set_np() # Plot the probability density function for some random variable x = np.arange(-5, 5, 0.01) p = 0.2*np.exp(-(x - 3)**2 / 2)/np.sqrt(2 * np.pi) + \ 0.8*np.exp(-(x + 1)**2 / 2)/np.sqrt(2 * np.pi) d2l.plot(x, p, 'x', 'Density') .. figure:: output_random-variables_886f4c_3_0.svg .. raw:: html
.. raw:: html
.. code:: python %matplotlib inline import torch from IPython import display from d2l import torch as d2l torch.pi = torch.acos(torch.zeros(1)).item() * 2 # Define pi in torch # Plot the probability density function for some random variable x = torch.arange(-5, 5, 0.01) p = 0.2*torch.exp(-(x - 3)**2 / 2)/torch.sqrt(2 * torch.tensor(torch.pi)) + \ 0.8*torch.exp(-(x + 1)**2 / 2)/torch.sqrt(2 * torch.tensor(torch.pi)) d2l.plot(x, p, 'x', 'Density') .. figure:: output_random-variables_886f4c_6_0.svg .. raw:: html
.. raw:: html
.. code:: python %matplotlib inline import tensorflow as tf from IPython import display from d2l import tensorflow as d2l tf.pi = tf.acos(tf.zeros(1)).numpy() * 2 # Define pi in TensorFlow # Plot the probability density function for some random variable x = tf.range(-5, 5, 0.01) p = 0.2*tf.exp(-(x - 3)**2 / 2)/tf.sqrt(2 * tf.constant(tf.pi)) + \ 0.8*tf.exp(-(x + 1)**2 / 2)/tf.sqrt(2 * tf.constant(tf.pi)) d2l.plot(x, p, 'x', 'Density') .. figure:: output_random-variables_886f4c_9_0.svg .. raw:: html
.. raw:: html
Các vị trí có giá trị hàm lớn cho biết các vùng mà chúng ta có nhiều khả năng tìm thấy giá trị ngẫu nhiên hơn. Các phần thấp là những khu vực mà chúng ta không có khả năng tìm thấy giá trị ngẫu nhiên. Hàm mật độ xác suất ~~~~~~~~~~~~~~~~~~~ Bây giờ chúng ta hãy điều tra điều này thêm. Chúng ta đã thấy hàm mật độ xác suất là gì một cách trực giác cho một biến ngẫu nhiên :math:`X`, cụ thể là hàm mật độ là một hàm :math:`p(x)` sao cho .. math:: P(X \; \text{is in an}\; \epsilon \text{-sized interval around}\; x ) \approx \epsilon \cdot p(x). :label: eq_pdf_def Nhưng điều này ngụ ý những gì đối với các thuộc tính của :math:`p(x)`? Đầu tiên, xác suất không bao giờ tiêu cực, do đó chúng ta nên mong đợi rằng :math:`p(x) \ge 0` là tốt. Thứ hai, chúng ta hãy tưởng tượng rằng chúng ta cắt :math:`\mathbb{R}` thành một số lượng vô hạn các lát rộng :math:`\epsilon`, nói với lát :math:`(\epsilon\cdot i, \epsilon \cdot (i+1)]`. Đối với mỗi trong số này, chúng tôi biết từ :eq:`eq_pdf_def` xác suất là xấp xỉ .. math:: P(X \; \text{is in an}\; \epsilon\text{-sized interval around}\; x ) \approx \epsilon \cdot p(\epsilon \cdot i), vì vậy tóm tắt tất cả trong số họ nó nên được .. math:: P(X\in\mathbb{R}) \approx \sum_i \epsilon \cdot p(\epsilon\cdot i). Đây không gì khác hơn là xấp xỉ của một tích phân được thảo luận trong :numref:`sec_integral_calculus`, do đó chúng ta có thể nói rằng .. math:: P(X\in\mathbb{R}) = \int_{-\infty}^{\infty} p(x) \; dx. Chúng ta biết rằng :math:`P(X\in\mathbb{R}) = 1`, vì biến ngẫu nhiên phải đảm nhận số \* some\*, chúng ta có thể kết luận rằng đối với bất kỳ mật độ nào .. math:: \int_{-\infty}^{\infty} p(x) \; dx = 1. Thật vậy, đào sâu vào điều này cho thấy rằng đối với bất kỳ :math:`a` và :math:`b`, chúng ta thấy rằng .. math:: P(X\in(a, b]) = \int _ {a}^{b} p(x) \; dx. Chúng ta có thể xấp xỉ điều này trong mã bằng cách sử dụng các phương thức xấp xỉ rời rạc giống như trước. Trong trường hợp này, chúng ta có thể xấp xỉ xác suất rơi vào vùng màu xanh. .. raw:: html
mxnetpytorchtensorflow
.. raw:: html
.. code:: python # Approximate probability using numerical integration epsilon = 0.01 x = np.arange(-5, 5, 0.01) p = 0.2*np.exp(-(x - 3)**2 / 2) / np.sqrt(2 * np.pi) + \ 0.8*np.exp(-(x + 1)**2 / 2) / np.sqrt(2 * np.pi) d2l.set_figsize() d2l.plt.plot(x, p, color='black') d2l.plt.fill_between(x.tolist()[300:800], p.tolist()[300:800]) d2l.plt.show() f'approximate Probability: {np.sum(epsilon*p[300:800])}' .. figure:: output_random-variables_886f4c_15_0.svg .. parsed-literal:: :class: output 'approximate Probability: 0.7736172080039978' .. raw:: html
.. raw:: html
.. code:: python # Approximate probability using numerical integration epsilon = 0.01 x = torch.arange(-5, 5, 0.01) p = 0.2*torch.exp(-(x - 3)**2 / 2) / torch.sqrt(2 * torch.tensor(torch.pi)) +\ 0.8*torch.exp(-(x + 1)**2 / 2) / torch.sqrt(2 * torch.tensor(torch.pi)) d2l.set_figsize() d2l.plt.plot(x, p, color='black') d2l.plt.fill_between(x.tolist()[300:800], p.tolist()[300:800]) d2l.plt.show() f'approximate Probability: {torch.sum(epsilon*p[300:800])}' .. figure:: output_random-variables_886f4c_18_0.svg .. parsed-literal:: :class: output 'approximate Probability: 0.773617148399353' .. raw:: html
.. raw:: html
.. code:: python # Approximate probability using numerical integration epsilon = 0.01 x = tf.range(-5, 5, 0.01) p = 0.2*tf.exp(-(x - 3)**2 / 2) / tf.sqrt(2 * tf.constant(tf.pi)) +\ 0.8*tf.exp(-(x + 1)**2 / 2) / tf.sqrt(2 * tf.constant(tf.pi)) d2l.set_figsize() d2l.plt.plot(x, p, color='black') d2l.plt.fill_between(x.numpy().tolist()[300:800], p.numpy().tolist()[300:800]) d2l.plt.show() f'approximate Probability: {tf.reduce_sum(epsilon*p[300:800])}' .. figure:: output_random-variables_886f4c_21_0.svg .. parsed-literal:: :class: output 'approximate Probability: 0.7736151814460754' .. raw:: html
.. raw:: html
Nó chỉ ra rằng hai thuộc tính này mô tả chính xác không gian của các hàm mật độ xác suất có thể (hoặc *p.d.f.* cho chữ viết tắt thường gặp). Chúng là các chức năng không tiêu cực :math:`p(x) \ge 0` sao cho .. math:: \int_{-\infty}^{\infty} p(x) \; dx = 1. :label: eq_pdf_int_one Chúng ta diễn giải hàm này bằng cách sử dụng tích hợp để có được xác suất biến ngẫu nhiên của chúng ta nằm trong một khoảng thời gian cụ thể: .. math:: P(X\in(a, b]) = \int _ {a}^{b} p(x) \; dx. :label: eq_pdf_int_int Trong :numref:`sec_distributions`, chúng ta sẽ thấy một số bản phân phối phổ biến, nhưng chúng ta hãy tiếp tục làm việc trong bản tóm tắt. Hàm phân phối tích lũy ~~~~~~~~~~~~~~~~~~~~~~ Trong phần trước, chúng ta đã thấy khái niệm p.d.f Trong thực tế, đây là một phương pháp thường gặp để thảo luận về các biến ngẫu nhiên liên tục, nhưng nó có một cạm bẫy đáng kể: rằng các giá trị của p.d.f. không phải là xác suất, mà là một hàm mà chúng ta phải tích hợp để mang lại xác suất. Không có gì sai với mật độ lớn hơn :math:`10`, miễn là nó không lớn hơn :math:`10` trong hơn một khoảng thời gian dài :math:`1/10`. Điều này có thể phản trực quan, vì vậy mọi người thường nghĩ về hàm phân phối tích luỹ\* hoặc c.d.f., mà \* là\* một xác suất. Đặc biệt, bằng cách sử dụng :eq:`eq_pdf_int_int`, ta định nghĩa c.d.f. cho một biến ngẫu nhiên :math:`X` với mật độ :math:`p(x)` bởi .. math:: F(x) = \int _ {-\infty}^{x} p(x) \; dx = P(X \le x). Hãy để chúng tôi quan sát một vài tài sản. - :math:`F(x) \rightarrow 0` như :math:`x\rightarrow -\infty`. - :math:`F(x) \rightarrow 1` như :math:`x\rightarrow \infty`. - :math:`F(x)` không giảm (:math:`y > x \implies F(y) \ge F(x)`). - :math:`F(x)` là liên tục (không có nhảy) nếu :math:`X` là một biến ngẫu nhiên liên tục. Với dấu đầu dòng thứ tư, lưu ý rằng điều này sẽ không đúng nếu :math:`X` rời rạc, giả sử lấy các giá trị :math:`0` và :math:`1` cả hai với xác suất :math:`1/2`. Trong trường hợp đó .. math:: F(x) = \begin{cases} 0 & x < 0, \\ \frac{1}{2} & x < 1, \\ 1 & x \ge 1. \end{cases} Trong ví dụ này, chúng ta thấy một trong những lợi ích của việc làm việc với c.d.f., khả năng đối phó với các biến ngẫu nhiên liên tục hoặc rời rạc trong cùng một khuôn khổ, hoặc thực sự hỗn hợp của hai (lật một đồng xu: nếu đầu trả lại cuộn chết, nếu đuôi trả lại khoảng cách ném phi tiêu từ trung tâm của một phi tiêu bảng). Phương tiện ~~~~~~~~~~~ Giả sử rằng chúng ta đang đối phó với một biến ngẫu nhiên :math:`X`. Bản thân phân phối có thể khó giải thích. Nó thường hữu ích để có thể tóm tắt hành vi của một biến ngẫu nhiên một cách chính xác. Các số giúp chúng ta nắm bắt hành vi của một biến ngẫu nhiên được gọi là *thống kê tóm lượng*. Những cái thường gặp nhất là *mean*, *variance*, và \* độ lệch chuẩn\*. *mean* mã hóa giá trị trung bình của một biến ngẫu nhiên. Nếu chúng ta có một biến ngẫu nhiên rời rạc :math:`X`, lấy các giá trị :math:`x_i` với xác suất :math:`p_i`, thì trung bình được đưa ra bởi trung bình có trọng số: tổng các giá trị lần xác suất biến ngẫu nhiên có giá trị đó: .. math:: \mu_X = E[X] = \sum_i x_i p_i. :label: eq_exp_def Cách chúng ta nên giải thích trung bình (mặc dù thận trọng) là nó cho chúng ta biết về cơ bản nơi biến ngẫu nhiên có xu hướng được đặt. Như một ví dụ tối giản mà chúng ta sẽ kiểm tra trong suốt phần này, chúng ta hãy lấy :math:`X` là biến ngẫu nhiên lấy giá trị :math:`a-2` với xác suất :math:`p`, :math:`a+2` với xác suất :math:`p` và :math:`a` với xác suất :math:`1-2p`. Chúng ta có thể tính toán bằng cách sử dụng :eq:`eq_exp_def` rằng, cho bất kỳ lựa chọn nào có thể là :math:`a` và :math:`p`, trung bình là .. math:: \mu_X = E[X] = \sum_i x_i p_i = (a-2)p + a(1-2p) + (a+2)p = a. Vì vậy, chúng ta thấy rằng trung bình là :math:`a`. Điều này phù hợp với trực giác kể từ :math:`a` là vị trí xung quanh mà chúng tôi tập trung biến ngẫu nhiên của chúng tôi. Bởi vì chúng rất hữu ích, chúng ta hãy tóm tắt một vài thuộc tính. - Đối với bất kỳ biến ngẫu nhiên :math:`X` và số :math:`a` và :math:`b`, chúng tôi có :math:`\mu_{aX+b} = a\mu_X + b`. - Nếu chúng ta có hai biến ngẫu nhiên :math:`X` và :math:`Y`, chúng ta có :math:`\mu_{X+Y} = \mu_X+\mu_Y`. Phương tiện rất hữu ích để hiểu hành vi trung bình của một biến ngẫu nhiên, tuy nhiên trung bình là không đủ để thậm chí có một sự hiểu biết trực quan đầy đủ. Kiếm lợi nhuận $$10 pm \ :math:`1` mỗi lần bán rất khác so với việc tạo ra $$10 pm \ :math:`15` mỗi lần bán mặc dù có cùng giá trị trung bình. Cái thứ hai có mức độ dao động lớn hơn nhiều, và do đó đại diện cho rủi ro lớn hơn nhiều. Do đó, để hiểu được hành vi của một biến ngẫu nhiên, chúng ta sẽ cần tối thiểu thêm một thước đo nữa: một số thước đo về cách biến ngẫu nhiên dao động rộng rãi. Phương sai ~~~~~~~~~~ Điều này dẫn chúng ta xem xét *variance* của một biến ngẫu nhiên. Đây là một thước đo định lượng về cách xa một biến ngẫu nhiên lệch khỏi trung bình. Hãy xem xét biểu thức :math:`X - \mu_X`. Đây là độ lệch của biến ngẫu nhiên so với trung bình của nó. Giá trị này có thể là dương hoặc âm, vì vậy chúng ta cần phải làm một cái gì đó để làm cho nó tích cực để chúng ta đo độ lớn của độ lệch. Một điều hợp lý để thử là nhìn vào :math:`\left|X-\mu_X\right|`, và thực sự điều này dẫn đến một đại lượng hữu ích gọi là độ lệch tuyệt đối \* trung bình, tuy nhiên do kết nối với các lĩnh vực toán học và thống kê khác, người ta thường sử dụng một giải pháp khác. Đặc biệt, họ nhìn vào :math:`(X-\mu_X)^2.` Nếu chúng ta nhìn vào kích thước điển hình của số lượng này bằng cách lấy trung bình, chúng tôi đến phương sai .. math:: \sigma_X^2 = \mathrm{Var}(X) = E\left[(X-\mu_X)^2\right] = E[X^2] - \mu_X^2. :label: eq_var_def Sự bình đẳng cuối cùng trong :eq:`eq_var_def` nắm giữ bằng cách mở rộng định nghĩa ở giữa và áp dụng các thuộc tính của kỳ vọng. Chúng ta hãy nhìn vào ví dụ của chúng tôi nơi :math:`X` là biến ngẫu nhiên mà lấy giá trị :math:`a-2` với xác suất :math:`p`, :math:`a+2` với xác suất :math:`p` và :math:`a` với xác suất :math:`1-2p`. Trong trường hợp này :math:`\mu_X = a`, vì vậy tất cả chúng ta cần phải tính toán là :math:`E\left[X^2\right]`. Điều này có thể dễ dàng được thực hiện: .. math:: E\left[X^2\right] = (a-2)^2p + a^2(1-2p) + (a+2)^2p = a^2 + 8p. Do đó, chúng ta thấy rằng bởi :eq:`eq_var_def` phương sai của chúng tôi là .. math:: \sigma_X^2 = \mathrm{Var}(X) = E[X^2] - \mu_X^2 = a^2 + 8p - a^2 = 8p. Kết quả này một lần nữa có ý nghĩa. :math:`p` lớn nhất có thể là :math:`1/2` tương ứng với việc chọn :math:`a-2` hoặc :math:`a+2` với lật đồng xu. Phương sai của việc này là :math:`4` tương ứng với thực tế là cả :math:`a-2` và :math:`a+2` đều là :math:`2` đơn vị cách xa trung bình và :math:`2^2 = 4`. Ở đầu kia của quang phổ, nếu :math:`p=0`, biến ngẫu nhiên này luôn lấy giá trị :math:`0` và do đó nó không có phương sai nào cả. Chúng tôi sẽ liệt kê một vài thuộc tính của phương sai dưới đây: - Đối với bất kỳ biến ngẫu nhiên :math:`X`, :math:`\mathrm{Var}(X) \ge 0`, với :math:`\mathrm{Var}(X) = 0` nếu và chỉ khi :math:`X` là một hằng số. - Đối với bất kỳ biến ngẫu nhiên :math:`X` và số :math:`a` và :math:`b`, chúng tôi có :math:`\mathrm{Var}(aX+b) = a^2\mathrm{Var}(X)`. - Nếu chúng ta có hai biến ngẫu nhiên \* độc lập\* :math:`X` và :math:`Y`, chúng ta có :math:`\mathrm{Var}(X+Y) = \mathrm{Var}(X) + \mathrm{Var}(Y)`. Khi giải thích các giá trị này, có thể có một chút nấc cục. Đặc biệt, chúng ta hãy thử tưởng tượng điều gì sẽ xảy ra nếu chúng ta theo dõi các đơn vị thông qua tính toán này. Giả sử rằng chúng tôi đang làm việc với xếp hạng sao được gán cho một sản phẩm trên trang web. Sau đó, :math:`a`, :math:`a-2`, và :math:`a+2` đều được đo bằng đơn vị sao. Tương tự, trung bình :math:`\mu_X` sau đó cũng được đo bằng sao (là trung bình có trọng số). Tuy nhiên, nếu chúng ta đi đến phương sai, chúng ta ngay lập tức gặp phải một vấn đề, đó là chúng ta muốn xem xét :math:`(X-\mu_X)^2`, đó là đơn vị của \* bình phương sao\*. Điều này có nghĩa là bản thân phương sai không thể so sánh với các phép đo ban đầu. Để làm cho nó có thể hiểu được, chúng ta sẽ cần phải trở lại các đơn vị ban đầu của chúng tôi. Độ lệch chuẩn ~~~~~~~~~~~~~ Thống kê tóm tắt này luôn có thể được suy ra từ phương sai bằng cách lấy căn bậc hai! Do đó chúng tôi xác định độ lệch tiêu chuẩn\* là .. math:: \sigma_X = \sqrt{\mathrm{Var}(X)}. Trong ví dụ của chúng tôi, điều này có nghĩa là bây giờ chúng ta có độ lệch chuẩn là :math:`\sigma_X = 2\sqrt{2p}`. Nếu chúng ta đang đối phó với các đơn vị sao cho ví dụ đánh giá của chúng tôi, :math:`\sigma_X` một lần nữa trong các đơn vị sao. Các thuộc tính chúng tôi có cho phương sai có thể được đặt lại cho độ lệch chuẩn. - Đối với bất kỳ biến ngẫu nhiên :math:`X`, :math:`\sigma_{X} \ge 0`. - Đối với bất kỳ biến ngẫu nhiên :math:`X` và số :math:`a` và :math:`b`, chúng tôi có :math:`\sigma_{aX+b} = |a|\sigma_{X}` - Nếu chúng ta có hai biến ngẫu nhiên \* độc lập\* :math:`X` và :math:`Y`, chúng ta có :math:`\sigma_{X+Y} = \sqrt{\sigma_{X}^2 + \sigma_{Y}^2}`. Nó là tự nhiên tại thời điểm này để hỏi, “Nếu độ lệch chuẩn nằm trong các đơn vị của biến ngẫu nhiên ban đầu của chúng ta, nó có đại diện cho một cái gì đó chúng ta có thể vẽ liên quan đến biến ngẫu nhiên đó?” Câu trả lời là một có vang dội! Thật vậy giống như trung bình nói với chúng ta vị trí điển hình của biến ngẫu nhiên của chúng ta, độ lệch chuẩn cho phạm vi điển hình của biến thể của biến ngẫu nhiên đó. Chúng ta có thể làm cho điều này nghiêm ngặt với cái được gọi là bất bình đẳng của Chebyshev: .. math:: P\left(X \not\in [\mu_X - \alpha\sigma_X, \mu_X + \alpha\sigma_X]\right) \le \frac{1}{\alpha^2}. :label: eq_chebyshev Or to state it verbally in the case of :math:`\alpha=10`, :math:`99\%` of the samples from any random variable fall within :math:`10` standard deviations of the mean. This gives an immediate interpretation to our standard summary statistics. Để xem cách tuyên bố này là khá tinh tế, chúng ta hãy xem xét ví dụ chạy của chúng tôi một lần nữa nơi :math:`X` là biến ngẫu nhiên mà lấy giá trị :math:`a-2` với xác suất :math:`p`, :math:`a+2` với xác suất :math:`p` và :math:`a` với xác suất :math:`1-2p`. Chúng tôi thấy rằng trung bình là :math:`a` và độ lệch chuẩn là :math:`2\sqrt{2p}`. Điều này có nghĩa là, nếu chúng ta lấy sự bất bình đẳng của Chebyshev :eq:`eq_chebyshev` với :math:`\alpha = 2`, chúng ta thấy rằng biểu thức là .. math:: P\left(X \not\in [a - 4\sqrt{2p}, a + 4\sqrt{2p}]\right) \le \frac{1}{4}. This means that :math:`75\%` of the time, this random variable will fall within this interval for any value of :math:`p`. Now, notice that as :math:`p \rightarrow 0`, this interval also converges to the single point :math:`a`. But we know that our random variable takes the values :math:`a-2, a`, and :math:`a+2` only so eventually we can be certain :math:`a-2` and :math:`a+2` will fall outside the interval! The question is, at what :math:`p` does that happen. So we want to solve: for what :math:`p` does :math:`a+4\sqrt{2p} = a+2`, which is solved when :math:`p=1/8`, which is *exactly* the first :math:`p` where it could possibly happen without violating our claim that no more than :math:`1/4` of samples from the distribution would fall outside the interval (:math:`1/8` to the left, and :math:`1/8` to the right). Hãy để chúng tôi hình dung điều này. Chúng tôi sẽ hiển thị xác suất nhận được ba giá trị dưới dạng ba thanh dọc với chiều cao tỷ lệ thuận với xác suất. Khoảng thời gian sẽ được vẽ dưới dạng một đường ngang ở giữa. Cốt truyện đầu tiên cho thấy những gì xảy ra cho :math:`p > 1/8` trong đó khoảng thời gian an toàn chứa tất cả các điểm. .. raw:: html
mxnetpytorchtensorflow
.. raw:: html
.. code:: python # Define a helper to plot these figures def plot_chebyshev(a, p): d2l.set_figsize() d2l.plt.stem([a-2, a, a+2], [p, 1-2*p, p], use_line_collection=True) d2l.plt.xlim([-4, 4]) d2l.plt.xlabel('x') d2l.plt.ylabel('p.m.f.') d2l.plt.hlines(0.5, a - 4 * np.sqrt(2 * p), a + 4 * np.sqrt(2 * p), 'black', lw=4) d2l.plt.vlines(a - 4 * np.sqrt(2 * p), 0.53, 0.47, 'black', lw=1) d2l.plt.vlines(a + 4 * np.sqrt(2 * p), 0.53, 0.47, 'black', lw=1) d2l.plt.title(f'p = {p:.3f}') d2l.plt.show() # Plot interval when p > 1/8 plot_chebyshev(0.0, 0.2) .. figure:: output_random-variables_886f4c_27_0.svg .. raw:: html
.. raw:: html
.. code:: python # Define a helper to plot these figures def plot_chebyshev(a, p): d2l.set_figsize() d2l.plt.stem([a-2, a, a+2], [p, 1-2*p, p], use_line_collection=True) d2l.plt.xlim([-4, 4]) d2l.plt.xlabel('x') d2l.plt.ylabel('p.m.f.') d2l.plt.hlines(0.5, a - 4 * torch.sqrt(2 * p), a + 4 * torch.sqrt(2 * p), 'black', lw=4) d2l.plt.vlines(a - 4 * torch.sqrt(2 * p), 0.53, 0.47, 'black', lw=1) d2l.plt.vlines(a + 4 * torch.sqrt(2 * p), 0.53, 0.47, 'black', lw=1) d2l.plt.title(f'p = {p:.3f}') d2l.plt.show() # Plot interval when p > 1/8 plot_chebyshev(0.0, torch.tensor(0.2)) .. figure:: output_random-variables_886f4c_30_0.svg .. raw:: html
.. raw:: html
.. code:: python # Define a helper to plot these figures def plot_chebyshev(a, p): d2l.set_figsize() d2l.plt.stem([a-2, a, a+2], [p, 1-2*p, p], use_line_collection=True) d2l.plt.xlim([-4, 4]) d2l.plt.xlabel('x') d2l.plt.ylabel('p.m.f.') d2l.plt.hlines(0.5, a - 4 * tf.sqrt(2 * p), a + 4 * tf.sqrt(2 * p), 'black', lw=4) d2l.plt.vlines(a - 4 * tf.sqrt(2 * p), 0.53, 0.47, 'black', lw=1) d2l.plt.vlines(a + 4 * tf.sqrt(2 * p), 0.53, 0.47, 'black', lw=1) d2l.plt.title(f'p = {p:.3f}') d2l.plt.show() # Plot interval when p > 1/8 plot_chebyshev(0.0, tf.constant(0.2)) .. figure:: output_random-variables_886f4c_33_0.svg .. raw:: html
.. raw:: html
Thứ hai cho thấy ở :math:`p = 1/8`, khoảng thời gian chính xác chạm vào hai điểm. Điều này cho thấy bất đẳng thức là \* sharp\*, vì không có khoảng thời gian nhỏ hơn có thể được thực hiện trong khi vẫn giữ sự bất bình đẳng đúng. .. raw:: html
mxnetpytorchtensorflow
.. raw:: html
.. code:: python # Plot interval when p = 1/8 plot_chebyshev(0.0, 0.125) .. figure:: output_random-variables_886f4c_39_0.svg .. raw:: html
.. raw:: html
.. code:: python # Plot interval when p = 1/8 plot_chebyshev(0.0, torch.tensor(0.125)) .. figure:: output_random-variables_886f4c_42_0.svg .. raw:: html
.. raw:: html
.. code:: python # Plot interval when p = 1/8 plot_chebyshev(0.0, tf.constant(0.125)) .. figure:: output_random-variables_886f4c_45_0.svg .. raw:: html
.. raw:: html
Thứ ba cho thấy rằng đối với :math:`p < 1/8` khoảng thời gian chỉ chứa trung tâm. Điều này không làm mất hiệu lực bất bình đẳng vì chúng ta chỉ cần đảm bảo rằng không quá :math:`1/4` xác suất nằm ngoài khoảng thời gian, có nghĩa là một lần :math:`p < 1/8`, hai điểm ở :math:`a-2` và :math:`a+2` có thể bị loại bỏ. .. raw:: html
mxnetpytorchtensorflow
.. raw:: html
.. code:: python # Plot interval when p < 1/8 plot_chebyshev(0.0, 0.05) .. figure:: output_random-variables_886f4c_51_0.svg .. raw:: html
.. raw:: html
.. code:: python # Plot interval when p < 1/8 plot_chebyshev(0.0, torch.tensor(0.05)) .. figure:: output_random-variables_886f4c_54_0.svg .. raw:: html
.. raw:: html
.. code:: python # Plot interval when p < 1/8 plot_chebyshev(0.0, tf.constant(0.05)) .. figure:: output_random-variables_886f4c_57_0.svg .. raw:: html
.. raw:: html
Phương tiện và phương sai trong liên tục ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Điều này đã được tất cả về các biến ngẫu nhiên rời rạc, nhưng trường hợp của các biến ngẫu nhiên liên tục là tương tự nhau. Để hiểu trực giác điều này hoạt động như thế nào, hãy tưởng tượng rằng chúng ta chia dòng số thực thành các khoảng thời gian :math:`\epsilon` được đưa ra bởi :math:`(\epsilon i, \epsilon (i+1)]`. Khi chúng tôi làm điều này, biến ngẫu nhiên liên tục của chúng tôi đã được thực hiện rời rạc và chúng tôi có thể sử dụng :eq:`eq_exp_def` nói rằng .. math:: \begin{aligned} \mu_X & \approx \sum_{i} (\epsilon i)P(X \in (\epsilon i, \epsilon (i+1)]) \\ & \approx \sum_{i} (\epsilon i)p_X(\epsilon i)\epsilon, \\ \end{aligned} trong đó :math:`p_X` là mật độ :math:`X`. Đây là một xấp xỉ với tích phân của :math:`xp_X(x)`, vì vậy chúng ta có thể kết luận rằng .. math:: \mu_X = \int_{-\infty}^\infty xp_X(x) \; dx. Tương tự, sử dụng :eq:`eq_var_def` phương sai có thể được viết là .. math:: \sigma^2_X = E[X^2] - \mu_X^2 = \int_{-\infty}^\infty x^2p_X(x) \; dx - \left(\int_{-\infty}^\infty xp_X(x) \; dx\right)^2. Tất cả mọi thứ đã nêu ở trên về trung bình, phương sai và độ lệch chuẩn vẫn được áp dụng trong trường hợp này. Ví dụ, nếu chúng ta xem xét biến ngẫu nhiên với mật độ .. math:: p(x) = \begin{cases} 1 & x \in [0,1], \\ 0 & \text{otherwise}. \end{cases} we can compute tính toán .. math:: \mu_X = \int_{-\infty}^\infty xp(x) \; dx = \int_0^1 x \; dx = \frac{1}{2}. và .. math:: \sigma_X^2 = \int_{-\infty}^\infty x^2p(x) \; dx - \left(\frac{1}{2}\right)^2 = \frac{1}{3} - \frac{1}{4} = \frac{1}{12}. Như một cảnh báo, chúng ta hãy xem xét thêm một ví dụ, được gọi là bản phân phối *Cauchy*. Đây là bản phân phối với p.d.f. được đưa ra bởi .. math:: p(x) = \frac{1}{1+x^2}. .. raw:: html
mxnetpytorchtensorflow
.. raw:: html
.. code:: python # Plot the Cauchy distribution p.d.f. x = np.arange(-5, 5, 0.01) p = 1 / (1 + x**2) d2l.plot(x, p, 'x', 'p.d.f.') .. figure:: output_random-variables_886f4c_63_0.svg .. raw:: html
.. raw:: html
.. code:: python # Plot the Cauchy distribution p.d.f. x = torch.arange(-5, 5, 0.01) p = 1 / (1 + x**2) d2l.plot(x, p, 'x', 'p.d.f.') .. figure:: output_random-variables_886f4c_66_0.svg .. raw:: html
.. raw:: html
.. code:: python # Plot the Cauchy distribution p.d.f. x = tf.range(-5, 5, 0.01) p = 1 / (1 + x**2) d2l.plot(x, p, 'x', 'p.d.f.') .. figure:: output_random-variables_886f4c_69_0.svg .. raw:: html
.. raw:: html
Hàm này trông vô tội, và thực sự tham khảo một bảng tích phân sẽ cho thấy nó có diện tích một bên dưới nó, và do đó nó định nghĩa một biến ngẫu nhiên liên tục. Để xem những gì đi lạc lối, chúng ta hãy cố gắng tính toán phương sai của điều này. Điều này sẽ liên quan đến việc sử dụng máy tính :eq:`eq_var_def` .. math:: \int_{-\infty}^\infty \frac{x^2}{1+x^2}\; dx. Chức năng ở bên trong trông như thế này: .. raw:: html
mxnetpytorchtensorflow
.. raw:: html
.. code:: python # Plot the integrand needed to compute the variance x = np.arange(-20, 20, 0.01) p = x**2 / (1 + x**2) d2l.plot(x, p, 'x', 'integrand') .. figure:: output_random-variables_886f4c_75_0.svg .. raw:: html
.. raw:: html
.. code:: python # Plot the integrand needed to compute the variance x = torch.arange(-20, 20, 0.01) p = x**2 / (1 + x**2) d2l.plot(x, p, 'x', 'integrand') .. figure:: output_random-variables_886f4c_78_0.svg .. raw:: html
.. raw:: html
.. code:: python # Plot the integrand needed to compute the variance x = tf.range(-20, 20, 0.01) p = x**2 / (1 + x**2) d2l.plot(x, p, 'x', 'integrand') .. figure:: output_random-variables_886f4c_81_0.svg .. raw:: html
.. raw:: html
Chức năng này rõ ràng có diện tích vô hạn dưới nó vì về cơ bản nó là hằng số với một cú nhúng nhỏ gần 0, và thực sự chúng ta có thể chỉ ra rằng .. math:: \int_{-\infty}^\infty \frac{x^2}{1+x^2}\; dx = \infty. Điều này có nghĩa là nó không có phương sai hữu hạn được xác định rõ. Tuy nhiên, nhìn sâu hơn cho thấy một kết quả thậm chí còn đáng lo ngại hơn. Hãy để chúng tôi cố gắng tính toán trung bình bằng cách sử dụng :eq:`eq_exp_def`. Sử dụng sự thay đổi của công thức biến, chúng ta thấy .. math:: \mu_X = \int_{-\infty}^{\infty} \frac{x}{1+x^2} \; dx = \frac{1}{2}\int_1^\infty \frac{1}{u} \; du. Tích phân bên trong là định nghĩa của logarit, vì vậy điều này là về bản chất :math:`\log(\infty) = \infty`, do đó không có giá trị trung bình được xác định rõ cả! Các nhà khoa học máy học xác định mô hình của họ để chúng ta thường không cần phải đối phó với những vấn đề này và trong phần lớn các trường hợp sẽ đối phó với các biến ngẫu nhiên với các phương tiện và phương sai được xác định rõ ràng. Tuy nhiên, mọi biến ngẫu nhiên thường có \* đuôi nặng\* (đó là những biến ngẫu nhiên trong đó xác suất nhận được các giá trị lớn đủ lớn để làm cho những thứ như trung bình hoặc phương sai không xác định) rất hữu ích trong việc mô hình hóa các hệ thống vật lý, do đó đáng để biết rằng chúng tồn tại. Chức năng mật độ khớp ~~~~~~~~~~~~~~~~~~~~~ Công việc trên tất cả giả định chúng ta đang làm việc với một biến ngẫu nhiên có giá trị thực duy nhất. Nhưng điều gì sẽ xảy ra nếu chúng ta đang đối phó với hai hoặc nhiều biến ngẫu nhiên có khả năng tương quan cao? Hoàn cảnh này là chuẩn mực trong học máy: tưởng tượng các biến ngẫu nhiên như :math:`R_{i, j}` mã hóa giá trị màu đỏ của pixel tại tọa độ :math:`(i, j)` trong một hình ảnh, hoặc :math:`P_t` là một biến ngẫu nhiên được đưa ra bởi giá cổ phiếu tại thời điểm :math:`t`. Các pixel gần đó có xu hướng có màu tương tự và thời gian gần đó có xu hướng có giá tương tự. Chúng ta không thể coi chúng như các biến ngẫu nhiên riêng biệt và mong đợi tạo ra một mô hình thành công (chúng ta sẽ thấy trong :numref:`sec_naive_bayes` một mô hình hoạt động kém do giả định như vậy). Chúng ta cần phát triển ngôn ngữ toán học để xử lý các biến ngẫu nhiên liên tục tương quan này. Rất may, với nhiều tích phân trong :numref:`sec_integral_calculus`, chúng ta có thể phát triển một ngôn ngữ như vậy. Giả sử rằng chúng ta có, để đơn giản, hai biến ngẫu nhiên :math:`X, Y` có thể tương quan. Sau đó, tương tự như trường hợp của một biến duy nhất, chúng ta có thể đặt câu hỏi: .. math:: P(X \;\text{is in an}\; \epsilon \text{-sized interval around}\; x \; \text{and} \;Y \;\text{is in an}\; \epsilon \text{-sized interval around}\; y ). Lý luận tương tự như trường hợp biến duy nhất cho thấy điều này nên xấp xỉ .. math:: P(X \;\text{is in an}\; \epsilon \text{-sized interval around}\; x \; \text{and} \;Y \;\text{is in an}\; \epsilon \text{-sized interval around}\; y ) \approx \epsilon^{2}p(x, y), cho một số chức năng :math:`p(x, y)`. Đây được gọi là mật độ khớp của :math:`X` và :math:`Y`. Các thuộc tính tương tự đúng với điều này như chúng ta đã thấy trong trường hợp biến duy nhất. Cụ thể là: - :math:`p(x, y) \ge 0`; - :math:`\int _ {\mathbb{R}^2} p(x, y) \;dx \;dy = 1`; - :math:`P((X, Y) \in \mathcal{D}) = \int _ {\mathcal{D}} p(x, y) \;dx \;dy`. Bằng cách này, chúng ta có thể đối phó với nhiều biến ngẫu nhiên có khả năng tương quan. Nếu chúng ta muốn làm việc với nhiều hơn hai biến ngẫu nhiên, chúng ta có thể mở rộng mật độ đa biến đến nhiều tọa độ như mong muốn bằng cách xem xét :math:`p(\mathbf{x}) = p(x_1, \ldots, x_n)`. Các tính chất tương tự là không âm, và có tổng tích phân của một vẫn giữ. Phân phối biên Khi xử lý nhiều biến, chúng ta thường muốn có thể bỏ qua các mối quan hệ và hỏi, “biến này được phân phối như thế nào?” Phân phối như vậy được gọi là phân phối cận biên \*. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Để được cụ thể, chúng ta hãy giả sử rằng chúng ta có hai biến ngẫu nhiên :math:`X, Y` với mật độ khớp được đưa ra bởi :math:`p _ {X, Y}(x, y)`. Chúng ta sẽ sử dụng chỉ số dưới để chỉ ra các biến ngẫu nhiên mà mật độ dùng để làm gì. Câu hỏi tìm ra sự phân bố cận biên là dùng chức năng này, và sử dụng nó để tìm :math:`p _ X(x)`. Như với hầu hết mọi thứ, tốt nhất là quay lại hình ảnh trực quan để tìm ra những gì nên đúng. Nhớ lại rằng mật độ là chức năng :math:`p _ X` để .. math:: P(X \in [x, x+\epsilon]) \approx \epsilon \cdot p _ X(x). Không có đề cập đến :math:`Y`, nhưng nếu tất cả chúng ta được đưa ra là :math:`p _{X, Y}`, chúng ta cần bao gồm :math:`Y` bằng cách nào đó. Trước tiên chúng ta có thể quan sát rằng điều này giống như .. math:: P(X \in [x, x+\epsilon] \text{, and } Y \in \mathbb{R}) \approx \epsilon \cdot p _ X(x). Mật độ của chúng tôi không trực tiếp cho chúng tôi biết về những gì xảy ra trong trường hợp này, chúng ta cần phải chia thành các khoảng nhỏ trong :math:`y` là tốt, vì vậy chúng tôi có thể viết điều này như .. math:: \begin{aligned} \epsilon \cdot p _ X(x) & \approx \sum _ {i} P(X \in [x, x+\epsilon] \text{, and } Y \in [\epsilon \cdot i, \epsilon \cdot (i+1)]) \\ & \approx \sum _ {i} \epsilon^{2} p _ {X, Y}(x, \epsilon\cdot i). \end{aligned} .. _fig_marginal: .. figure:: ../img/marginal.svg By summing along the columns of our array of probabilities, we are able to obtain the marginal distribution for just the random variable represented along the :math:`x`-axis. Điều này cho chúng ta biết thêm giá trị của mật độ dọc theo một loạt các ô vuông trong một đường như được thể hiện trong :numref:`fig_marginal`. Thật vậy, sau khi hủy bỏ một yếu tố epsilon từ cả hai phía, và nhận ra tổng ở bên phải là tích phân trên :math:`y`, chúng ta có thể kết luận rằng .. math:: \begin{aligned} p _ X(x) & \approx \sum _ {i} \epsilon p _ {X, Y}(x, \epsilon\cdot i) \\ & \approx \int_{-\infty}^\infty p_{X, Y}(x, y) \; dy. \end{aligned} Vì vậy chúng ta thấy .. math:: p _ X(x) = \int_{-\infty}^\infty p_{X, Y}(x, y) \; dy. Điều này cho chúng ta biết rằng để có được một phân phối biên, chúng tôi tích hợp trên các biến mà chúng tôi không quan tâm. Quá trình này thường được gọi là *tích hợp out* hoặc *marginalized out* các biến không cần thiết. Hiệp phương sai ~~~~~~~~~~~~~~~ Khi xử lý nhiều biến ngẫu nhiên, có một thống kê tóm tắt bổ sung rất hữu ích để biết: \* covariance\*. Điều này đo mức độ mà hai biến ngẫu nhiên dao động với nhau. Giả sử rằng chúng ta có hai biến ngẫu nhiên :math:`X` và :math:`Y`, để bắt đầu, chúng ta hãy giả sử chúng rời rạc, lấy giá trị :math:`(x_i, y_j)` với xác suất :math:`p_{ij}`. Trong trường hợp này, phương sai được định nghĩa là .. math:: \sigma_{XY} = \mathrm{Cov}(X, Y) = \sum_{i, j} (x_i - \mu_X) (y_j-\mu_Y) p_{ij}. = E[XY] - E[X]E[Y]. :label: eq_cov_def Để suy nghĩ về điều này một cách trực giác: hãy xem xét cặp biến ngẫu nhiên sau đây. Giả sử rằng :math:`X` lấy các giá trị :math:`1` và :math:`3`, và :math:`Y` lấy các giá trị :math:`-1` và :math:`3`. Giả sử rằng chúng ta có xác suất sau .. math:: \begin{aligned} P(X = 1 \; \text{and} \; Y = -1) & = \frac{p}{2}, \\ P(X = 1 \; \text{and} \; Y = 3) & = \frac{1-p}{2}, \\ P(X = 3 \; \text{and} \; Y = -1) & = \frac{1-p}{2}, \\ P(X = 3 \; \text{and} \; Y = 3) & = \frac{p}{2}, \end{aligned} trong đó :math:`p` là một tham số trong :math:`[0,1]` chúng tôi nhận được để chọn. Lưu ý rằng nếu :math:`p=1` thì cả hai đều luôn là giá trị tối thiểu hoặc tối đa của chúng cùng một lúc và nếu :math:`p=0`, chúng được đảm bảo lấy giá trị lật của chúng đồng thời (một giá trị lớn khi giá kia nhỏ và ngược lại). Nếu :math:`p=1/2`, thì bốn khả năng đều có khả năng như nhau và không nên liên quan. Let us computetính toán the covariance đồng phương sai. Đầu tiên, lưu ý :math:`\mu_X = 2` và :math:`\mu_Y = 1`, vì vậy chúng tôi có thể tính toán bằng :eq:`eq_cov_def`: .. math:: \begin{aligned} \mathrm{Cov}(X, Y) & = \sum_{i, j} (x_i - \mu_X) (y_j-\mu_Y) p_{ij} \\ & = (1-2)(-1-1)\frac{p}{2} + (1-2)(3-1)\frac{1-p}{2} + (3-2)(-1-1)\frac{1-p}{2} + (3-2)(3-1)\frac{p}{2} \\ & = 4p-2. \end{aligned} Khi :math:`p=1` (trường hợp cả hai đều dương tính tối đa hoặc tiêu cực cùng một lúc) có sự đồng phương sai là :math:`2`. Khi :math:`p=0` (trường hợp chúng bị lật) thì đồng phương sai là :math:`-2`. Cuối cùng, khi :math:`p=1/2` (trường hợp chúng không liên quan), phương sai là :math:`0`. Do đó chúng ta thấy rằng sự đồng phương sai đo lường cách thức hai biến ngẫu nhiên này có liên quan. Một lưu ý nhanh về sự đồng phương sai là nó chỉ đo các mối quan hệ tuyến tính này. Các mối quan hệ phức tạp hơn như :math:`X = Y^2` trong đó :math:`Y` được chọn ngẫu nhiên từ :math:`\{-2, -1, 0, 1, 2\}` với xác suất bằng nhau có thể bị bỏ qua. Thật vậy một tính toán nhanh chóng cho thấy các biến ngẫu nhiên này có sự đồng phương sai 0, mặc dù một là một hàm xác định của cái kia. Đối với các biến ngẫu nhiên liên tục, nhiều câu chuyện tương tự giữ. Tại thời điểm này, chúng tôi khá thoải mái khi thực hiện quá trình chuyển đổi giữa rời rạc và liên tục, vì vậy chúng tôi sẽ cung cấp tương tự liên tục của :eq:`eq_cov_def` mà không có bất kỳ nguồn gốc nào. .. math:: \sigma_{XY} = \int_{\mathbb{R}^2} (x-\mu_X)(y-\mu_Y)p(x, y) \;dx \;dy. Để trực quan hóa, chúng ta hãy xem một tập hợp các biến ngẫu nhiên với phương sai có thể điều chỉnh. .. raw:: html
mxnetpytorchtensorflow
.. raw:: html
.. code:: python # Plot a few random variables adjustable covariance covs = [-0.9, 0.0, 1.2] d2l.plt.figure(figsize=(12, 3)) for i in range(3): X = np.random.normal(0, 1, 500) Y = covs[i]*X + np.random.normal(0, 1, (500)) d2l.plt.subplot(1, 4, i+1) d2l.plt.scatter(X.asnumpy(), Y.asnumpy()) d2l.plt.xlabel('X') d2l.plt.ylabel('Y') d2l.plt.title(f'cov = {covs[i]}') d2l.plt.show() .. figure:: output_random-variables_886f4c_87_0.svg .. raw:: html
.. raw:: html
.. code:: python # Plot a few random variables adjustable covariance covs = [-0.9, 0.0, 1.2] d2l.plt.figure(figsize=(12, 3)) for i in range(3): X = torch.randn(500) Y = covs[i]*X + torch.randn(500) d2l.plt.subplot(1, 4, i+1) d2l.plt.scatter(X.numpy(), Y.numpy()) d2l.plt.xlabel('X') d2l.plt.ylabel('Y') d2l.plt.title(f'cov = {covs[i]}') d2l.plt.show() .. figure:: output_random-variables_886f4c_90_0.svg .. raw:: html
.. raw:: html
.. code:: python # Plot a few random variables adjustable covariance covs = [-0.9, 0.0, 1.2] d2l.plt.figure(figsize=(12, 3)) for i in range(3): X = tf.random.normal((500, )) Y = covs[i]*X + tf.random.normal((500, )) d2l.plt.subplot(1, 4, i+1) d2l.plt.scatter(X.numpy(), Y.numpy()) d2l.plt.xlabel('X') d2l.plt.ylabel('Y') d2l.plt.title(f'cov = {covs[i]}') d2l.plt.show() .. figure:: output_random-variables_886f4c_93_0.svg .. raw:: html
.. raw:: html
Hãy để chúng tôi xem một số tính chất của đồng phương sai: - Đối với bất kỳ biến ngẫu nhiên :math:`X`, :math:`\mathrm{Cov}(X, X) = \mathrm{Var}(X)`. - Đối với bất kỳ biến ngẫu nhiên :math:`X, Y` và số :math:`a` và :math:`b`, :math:`\mathrm{Cov}(aX+b, Y) = \mathrm{Cov}(X, aY+b) = a\mathrm{Cov}(X, Y)`. - Nếu :math:`X` và :math:`Y` độc lập thì :math:`\mathrm{Cov}(X, Y) = 0`. Ngoài ra, chúng ta có thể sử dụng phương sai để mở rộng mối quan hệ mà chúng ta đã thấy trước đây. Nhớ lại đó là :math:`X` và :math:`Y` là hai biến ngẫu nhiên độc lập sau đó .. math:: \mathrm{Var}(X+Y) = \mathrm{Var}(X) + \mathrm{Var}(Y). Với kiến thức về đồng phương sai, chúng ta có thể mở rộng mối quan hệ này. Indeedthật vậy, some algebrađại số can showchỉ that in generalchung, .. math:: \mathrm{Var}(X+Y) = \mathrm{Var}(X) + \mathrm{Var}(Y) + 2\mathrm{Cov}(X, Y). Điều này cho phép chúng ta khái quát hóa quy tắc tổng hợp phương sai cho các biến ngẫu nhiên tương quan. Tương quan ~~~~~~~~~~ As we did in the case of means and variances, let us now consider units. If :math:`X` is measured in one unit (say inches), and :math:`Y` is measured in another (say dollars), the covariance is measured in the product of these two units :math:`\text{inches} \times \text{dollars}`. These units can be hard to interpret. What we will often want in this case is a unit-less measurement of relatedness. Indeed, often we do not care about exact quantitative correlation, but rather ask if the correlation is in the same direction, and how strong the relationship is. To see what makes sense, let us perform a thought experiment. Suppose that we convert our random variables in inches and dollars to be in inches and cents. In this case the random variable :math:`Y` is multiplied by :math:`100`. If we work through the definition, this means that :math:`\mathrm{Cov}(X, Y)` will be multiplied by :math:`100`. Thus we see that in this case a change of units change the covariance by a factor of :math:`100`. Thus, to find our unit-invariant measure of correlation, we will need to divide by something else that also gets scaled by :math:`100`. Indeed we have a clear candidate, the standard deviation! Indeed if we define the *correlation coefficient* to be we see that this is a unit-less value. A little mathematics can show that this number is between :math:`-1` and :math:`1` with :math:`1` meaning maximally positively correlated, whereas :math:`-1` means maximally negatively correlated. Returning to our explicit discrete example above, we can see that :math:`\sigma_X = 1` and :math:`\sigma_Y = 2`, so we can compute the correlation between the two random variables using :eq:`eq_cor_def` to see that .. math:: \rho(X, Y) = \frac{4p-2}{1\cdot 2} = 2p-1. This now ranges between :math:`-1` and :math:`1` with the expected behavior of :math:`1` meaning most correlated, and :math:`-1` meaning minimally correlated. As another example, consider :math:`X` as any random variable, and :math:`Y=aX+b` as any linear deterministic function of :math:`X`. Then, one can compute that .. math:: \sigma_{Y} = \sigma_{aX+b} = |a|\sigma_{X}, .. math:: \mathrm{Cov}(X, Y) = \mathrm{Cov}(X, aX+b) = a\mathrm{Cov}(X, X) = a\mathrm{Var}(X), and thus by :eq:`eq_cor_def` that .. math:: \rho(X, Y) = \frac{a\mathrm{Var}(X)}{|a|\sigma_{X}^2} = \frac{a}{|a|} = \mathrm{sign}(a). Thus we see that the correlation is :math:`+1` for any :math:`a > 0`, and :math:`-1` for any :math:`a < 0` illustrating that correlation measures the degree and directionality the two random variables are related, not the scale that the variation takes. Let us again plot a collection of random variables with tunable correlation. .. raw:: html
mxnetpytorchtensorflow
.. raw:: html
.. code:: python # Plot a few random variables adjustable correlations cors = [-0.9, 0.0, 1.0] d2l.plt.figure(figsize=(12, 3)) for i in range(3): X = np.random.normal(0, 1, 500) Y = cors[i] * X + np.sqrt(1 - cors[i]**2) * np.random.normal(0, 1, 500) d2l.plt.subplot(1, 4, i + 1) d2l.plt.scatter(X.asnumpy(), Y.asnumpy()) d2l.plt.xlabel('X') d2l.plt.ylabel('Y') d2l.plt.title(f'cor = {cors[i]}') d2l.plt.show() .. figure:: output_random-variables_886f4c_99_0.svg .. raw:: html
.. raw:: html
.. code:: python # Plot a few random variables adjustable correlations cors = [-0.9, 0.0, 1.0] d2l.plt.figure(figsize=(12, 3)) for i in range(3): X = torch.randn(500) Y = cors[i] * X + torch.sqrt(torch.tensor(1) - cors[i]**2) * torch.randn(500) d2l.plt.subplot(1, 4, i + 1) d2l.plt.scatter(X.numpy(), Y.numpy()) d2l.plt.xlabel('X') d2l.plt.ylabel('Y') d2l.plt.title(f'cor = {cors[i]}') d2l.plt.show() .. figure:: output_random-variables_886f4c_102_0.svg .. raw:: html
.. raw:: html
.. code:: python # Plot a few random variables adjustable correlations cors = [-0.9, 0.0, 1.0] d2l.plt.figure(figsize=(12, 3)) for i in range(3): X = tf.random.normal((500, )) Y = cors[i] * X + tf.sqrt(tf.constant(1.) - cors[i]**2) * tf.random.normal((500, )) d2l.plt.subplot(1, 4, i + 1) d2l.plt.scatter(X.numpy(), Y.numpy()) d2l.plt.xlabel('X') d2l.plt.ylabel('Y') d2l.plt.title(f'cor = {cors[i]}') d2l.plt.show() .. figure:: output_random-variables_886f4c_105_0.svg .. raw:: html
.. raw:: html
Let us list a few properties of the correlation below. - For any random variable :math:`X`, :math:`\rho(X, X) = 1`. - For any random variables :math:`X, Y` and numbers :math:`a` and :math:`b`, :math:`\rho(aX+b, Y) = \rho(X, aY+b) = \rho(X, Y)`. - If :math:`X` and :math:`Y` are independent with non-zero variance then :math:`\rho(X, Y) = 0`. As a final note, you may feel like some of these formulae are familiar. Indeed, if we expand everything out assuming that :math:`\mu_X = \mu_Y = 0`, we see that this is .. math:: \rho(X, Y) = \frac{\sum_{i, j} x_iy_ip_{ij}}{\sqrt{\sum_{i, j}x_i^2 p_{ij}}\sqrt{\sum_{i, j}y_j^2 p_{ij}}}. This looks like a sum of a product of terms divided by the square root of sums of terms. This is exactly the formula for the cosine of the angle between two vectors :math:`\mathbf{v}, \mathbf{w}` with the different coordinates weighted by :math:`p_{ij}`: .. math:: \cos(\theta) = \frac{\mathbf{v}\cdot \mathbf{w}}{\|\mathbf{v}\|\|\mathbf{w}\|} = \frac{\sum_{i} v_iw_i}{\sqrt{\sum_{i}v_i^2}\sqrt{\sum_{i}w_i^2}}. Thật vậy, nếu chúng ta nghĩ về các định mức là liên quan đến độ lệch chuẩn, và tương quan như là cosin của các góc, phần lớn trực giác chúng ta có từ hình học có thể được áp dụng để suy nghĩ về các biến ngẫu nhiên. Tóm lượng\* Biến ngẫu nhiên liên tục là các biến ngẫu nhiên có thể thực hiện một liên tục của các giá trị. Chúng có một số khó khăn kỹ thuật khiến chúng trở nên khó khăn hơn khi làm việc so với các biến ngẫu nhiên rời rạc \* Hàm mật độ xác suất cho phép chúng ta làm việc với các biến ngẫu nhiên liên tục bằng cách đưa ra một hàm trong đó khu vực dưới đường cong trên một khoảng thời gian cho xác suất tìm thấy một điểm mẫu trong khoảng thời gian đó\* Hàm phân phối tích lũy là xác suất quan sát biến ngẫu nhiên nhỏ hơn một ngưỡng nhất định. Nó có thể cung cấp một quan điểm thay thế hữu ích thống nhất các biến rời rạc và liên tục.\* trung bình là giá trị trung bình của một biến ngẫu nhiên. \* phương sai là bình phương dự kiến của sự khác biệt giữa biến ngẫu nhiên và trung bình của nó.\* Độ lệch chuẩn là căn bậc hai của phương sai. Nó có thể được coi là đo phạm vi các giá trị mà biến ngẫu nhiên có thể mất. \* Bất đẳng thức của Chebyshev cho phép chúng ta làm cho trực giác này nghiêm ngặt bằng cách đưa ra một khoảng rõ ràng chứa biến ngẫu nhiên hầu hết thời gian\* Mật độ chung cho phép chúng ta làm việc với các biến ngẫu nhiên tương quan. Chúng ta có thể lề mật độ chung bằng cách tích hợp các biến ngẫu nhiên không mong muốn để có được sự phân bố của biến ngẫu nhiên mong muốn\* hệ số đồng phương sai và hệ số tương quan cung cấp một cách để đo bất kỳ mối quan hệ tuyến tính nào giữa hai biến ngẫu nhiên tương quan. ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Exercises --------- 1. Suppose that we have the random variable with density given by :math:`p(x) = \frac{1}{x^2}` for :math:`x \ge 1` and :math:`p(x) = 0` otherwise. What is :math:`P(X > 2)`? 2. The Laplace distribution is a random variable whose density is given by :math:`p(x = \frac{1}{2}e^{-|x|}`. What is the mean and the standard deviation of this function? As a hint, :math:`\int_0^\infty xe^{-x} \; dx = 1` and :math:`\int_0^\infty x^2e^{-x} \; dx = 2`. 3. I walk up to you on the street and say "I have a random variable with mean :math:`1`, standard deviation :math:`2`, and I observed :math:`25\%` of my samples taking a value larger than :math:`9`." Do you believe me? Why or why not? 4. Suppose that you have two random variables :math:`X, Y`, with joint density given by :math:`p_{XY}(x, y) = 4xy` for :math:`x, y \in [0,1]` and :math:`p_{XY}(x, y) = 0` otherwise. What is the covariance of :math:`X` and :math:`Y`? .. raw:: html
mxnetpytorchtensorflow
.. raw:: html
`Discussions `__ .. raw:: html
.. raw:: html
`Discussions `__ .. raw:: html
.. raw:: html
`Discussions `__ .. raw:: html
.. raw:: html