Wartość oczekiwana, wariancja i kowariancja: gdzie leży rozkład, jak jest szeroki i co z czym się wiąże
Wartość oczekiwana jako środek ciężkości, liniowość, wariancja i odchylenie standardowe, nierówność Czebyszewa, kowariancja i korelacja — i dlaczego zerowa kowariancja nie oznacza jeszcze niezależności.
Seria Podstawy AI Część 16 z 52
- Mapa sztucznej inteligencji: co jest czym i jak to do siebie pasuje
- Krótka historia sztucznej inteligencji: od Turinga do modeli językowych
- Dane, model, trening, inferencja: podstawowe pojęcia na jednym przykładzie
- Jak czytać zapis matematyczny: symbole, indeksy, sumy i kwantyfikatory
- Zbiory i relacje: klocki, z których składają się definicje w AI
- Funkcje i odwzorowania: dlaczego każdy model AI jest funkcją
- Logika i dowody: reguły, według których rozumuje AI
- Grafy i drzewa: struktura, na której opierają się przeszukiwanie i sieci neuronowe
- Algebra liniowa dla uczenia maszynowego: wektory, macierze i dlaczego AI głównie mnoży
- Pochodne, gradient i reguła łańcuchowa: jak model ustala, w którą stronę się uczyć
- Spadek gradientu: jak uczy się model
- Czym jest prawdopodobieństwo: od rzutu kostką do aksjomatów Kołmogorowa
- Prawdopodobieństwo warunkowe i twierdzenie Bayesa: jak zmienić ocenę, gdy dowiesz się czegoś nowego
- Zmienna losowa i dystrybuanta: jedna funkcja, która mówi o rozkładzie wszystko
- Funkcja gęstości i funkcja prawdopodobieństwa: dlaczego zmienna ciągła ma w punkcie prawdopodobieństwo zero
- Wartość oczekiwana, wariancja i kowariancja: gdzie leży rozkład, jak jest szeroki i co z czym się wiąże
- Przegląd rozkładów prawdopodobieństwa: Bernoulliego, dwumianowy, Poissona, jednostajny, normalny i wykładniczy
- Prawo wielkich liczb i centralne twierdzenie graniczne: dlaczego średnie zachowują się tak przewidywalnie
- Statystyka i estymacja parametrów: największa wiarygodność, MAP i przedziały ufności
- Teoria informacji: entropia, entropia krzyżowa i dywergencja KL — skąd się biorą funkcje straty
- Przeszukiwanie przestrzeni stanów: BFS, DFS, UCS i A* z animacjami
- Gry i przeciwnik: minimax, przycinanie alfa-beta i Monte Carlo tree search
- Spełnianie ograniczeń: backtracking, propagacja ograniczeń i AC-3 na sudoku i mapie czeskich krajów
- Logika i systemy z bazą wiedzy: wnioskowanie w przód i wstecz, rezolucja i systemy ekspertowe
- Planowanie: STRIPS, świat klocków, heurystyki z relaksacji i planowanie w agentach AI
- Przeszukiwanie lokalne i symulowane wyżarzanie: komiwojażer przez czeskie miasta wojewódzkie
- Algorytmy genetyczne: populacja, krzyżowanie, mutacja i selekcja na plecaku na wycieczkę
- Strategie ewolucyjne i programowanie genetyczne: od reguły jednej piątej do prawa Keplera
- Optymalizacja kolonią mrówek: jak ślad feromonowy znajduje krótką drogę
- Optymalizacja rojem cząstek: bezwładność, własne doświadczenie i doświadczenie roju
- Neuroewolucja: ewolucja wag i kształtu sieci neuronowych oraz algorytm NEAT
- Zbiory rozmyte i funkcje przynależności: jak zapisać „trochę ciepło”
- Logika rozmyta a prawdopodobieństwo: dlaczego „trochę ciepło” nie znaczy „prawdopodobnie ciepło”
- Logika rozmyta: t-normy, implikacje i reguły JEŻELI–TO
- Sterowanie rozmyte: Mamdani i Sugeno od wentylatora po wahadło na wózku
- Klasteryzacja rozmyta: algorytm fuzzy c-means i punkty między skupieniami
- Systemy neuro-rozmyte (ANFIS): reguły rozmyte, które uczą się z danych
- Łańcuchy Markowa: macierz przejścia, rozkład stacjonarny i PageRank
- Ukryte modele Markowa: algorytm Viterbiego i nieuczciwe kasyno
- Sieci bayesowskie: dlaczego trawa jest mokra i co z tego wynika dla zraszacza
- Filtr Kalmana: jak z niedokładnych pomiarów oszacować, gdzie jest samochód i jak szybko jedzie
- Rodzaje uczenia maszynowego: nadzorowane, nienadzorowane, półnadzorowane i inne
- Prompty, kontekst i RAG: jak dać modelowi właściwe informacje
- Wariacyjne autoenkodery (VAE): nowe obrazki z ciągłej przestrzeni latentnej
- Generatywne sieci przeciwstawne (GAN): fałszerz kontra detektyw
- Modele dyfuzyjne: jak z czystego szumu powstaje obraz
- Procesy decyzyjne Markowa: stany, akcje, nagrody i równania Bellmana
- Q-learning i DQN: uczenie się wartości akcji od tabeli po sieć neuronową
- Policy gradient i PPO: uczenie się bezpośrednio polityki
- Jak działa agent AI: model językowy w pętli z narzędziami
- Programowanie z agentami AI: zadanie, testy i kontrola
- Ocena i bezpieczeństwo systemów AI: jak mierzyć i jak pilnować
Pełny program serii Gotowe: 52 z 83 tematów
- Czym jest wartość oczekiwana, dlaczego to środek ciężkości rozkładu i dlaczego wartości oczekiwane zawsze się sumują.
- Co mierzą wariancja i odchylenie standardowe, kiedy wariancje się sumują i co gwarantuje nierówność Czebyszewa.
- Czym są kowariancja i korelacja, jak widać je w danych i dlaczego zerowa kowariancja nie oznacza niezależności.
Warto wiedzieć wcześniej: Funkcja gęstości i funkcja prawdopodobieństwa: dlaczego zmienna ciągła ma w punkcie prawdopodobieństwo zero
Rozkład zmiennej losowej mówi wszystko — ale „wszystko” to często za dużo. Jeśli chcesz szybko porównać dwa rozkłady, wystarczy kilka liczb: gdzie rozkład leży, jak jest szeroki i czy dwie zmienne rosną razem, czy idą w przeciwne strony. Te liczby to wartość oczekiwana, wariancja i kowariancja, a spotkasz je w każdym modelu uczenia maszynowego — od funkcji straty po optymalizator Adam.
Ta część nawiązuje do części Zmienna losowa i Funkcja gęstości.
1. Wartość oczekiwana
Definicja — wartość oczekiwana zmiennej dyskretnej
Jeśli zmienna dyskretna X przyjmuje wartości x1, x2, … z funkcją prawdopodobieństwa p, to jej wartość oczekiwana wynosi
E[X] = ∑i xi · p(xi),
o ile szereg jest zbieżny bezwzględnie. Oznacza się ją także μ.
Średnia ważona możliwych wartości, gdzie wagą jest prawdopodobieństwo. Dla jednej kostki (1 + 2 + … + 6) / 6 = 3,5. Wartość oczekiwana nie musi przy tym być wartością, która może wypaść — 3,5 na kostce nie wypadnie nigdy. To „średnia, do której dochodzisz na dłuższą metę”.
Fizycznie wartość oczekiwana to środek ciężkości. Postaw prawdopodobieństwa jako odważniki na dźwigni: podpora utrzyma ją w poziomie tylko w wartości oczekiwanej. Na rysunku jest większa z dwóch liczb wyrzuconych na kostkach — maksimum. Duże liczby są częstsze (szóstka jest maksimum w 11 z 36 przypadków, jedynka tylko w jednym), więc środek ciężkości leży na prawo od środka: E[max] = 161/36 ≈ 4,47.
Definicja — wartość oczekiwana zmiennej ciągłej
Jeśli X ma gęstość f, to E[X] = ∫−∞∞ x · f(x) dx, o ile całka jest zbieżna bezwzględnie.
To samo, tylko zamiast sumować po punktach, całkujemy po polu pod gęstością. Dla czekania na e-mail z poprzedniej części (gęstość 0,5 · e−0,5x) wychodzi E[X] = 2 minuty — dokładnie ta średnia, którą włożyliśmy do przykładu.
2. Liniowość wartości oczekiwanej
Twierdzenie — liniowość wartości oczekiwanej
Dla zmiennych losowych X, Y o skończonej wartości oczekiwanej i liczb a, b zachodzi
E[aX + b] = a · E[X] + b, E[X + Y] = E[X] + E[Y],
i to nawet wtedy, gdy X i Y nie są niezależne.
Średnia sumy to suma średnich. Suma oczek na dwóch kostkach ma wartość oczekiwaną 3,5 + 3,5 = 7 — bez żadnej tabeli. A gdy rzucisz tylko raz i podwoisz wynik, też wyjdzie 2 · 3,5 = 7. Liniowość to najbardziej użyteczna własność w całym rachunku prawdopodobieństwa: skomplikowane zmienne rozkładasz na proste kawałki i sumujesz ich średnie.
3. Wariancja i odchylenie standardowe
Definicja — wariancja
Dla zmiennej X o wartości oczekiwanej μ wariancja to
Var(X) = E[(X − μ)²].
Średnia kwadratowa odległość od średniej. Gdy wartości wypadają blisko wartości oczekiwanej, wariancja jest mała; gdy rozrzucają się daleko — duża. Kwadrat sprawia, że odchylenia w górę i w dół się nie znoszą, a duże odchylenia karze mocniej niż małe.
Twierdzenie — wzór obliczeniowy na wariancję
Var(X) = E[X²] − (E[X])².
„Średnia kwadratów minus kwadrat średniej.” Dla jednej kostki E[X²] = (1 + 4 + 9 + 16 + 25 + 36) / 6 = 91/6, więc Var(X) = 91/6 − 3,5² = 35/12 ≈ 2,92. Wynika to z liniowości: wystarczy wymnożyć (X − μ)².
Definicja — odchylenie standardowe
Odchylenie standardowe to σ = √Var(X).
Wariancja ma dziwne jednostki — przy czekaniu w minutach wychodzi w minutach do kwadratu. Pierwiastek to odwraca: σ to „typowa odległość od średniej” w tych samych jednostkach co dane. Dla jednej kostki σ ≈ 1,71, dla czekania na e-mail wariancja wynosi 4, a σ = 2 minuty.
4. Wariancja sumy: dlaczego opłaca się rzucić dwa razy
Twierdzenie — wariancja funkcji liniowej i sumy
Var(aX + b) = a² · Var(X). Jeśli X i Y są niezależne, to Var(X + Y) = Var(X) + Var(Y).
Przesunięcie o b nie zmienia szerokości; rozciągnięcie a razy zwiększa ją a² razy. A wariancje zmiennych niezależnych się sumują — w przeciwieństwie do odchyleń standardowych.
Porównajmy dwie gry o tej samej wartości oczekiwanej 7. W pierwszej rzucasz dwiema kostkami i sumujesz wyniki: Var = 35/12 + 35/12 = 35/6 ≈ 5,83, σ ≈ 2,42. W drugiej rzucasz raz i podwajasz wynik: Var = 2² · 35/12 = 35/3 ≈ 11,67, σ ≈ 3,42. Średnia jest ta sama, ale druga gra jest znacznie bardziej nieprzewidywalna — przy dwóch kostkach pecha na jednej często równoważy szczęście na drugiej.
Na tej samej zasadzie opiera się dywersyfikacja inwestycji i to, że średnia z wielu pomiarów waha się mniej niż pojedynczy pomiar. O ile dokładnie mniej, pokaże następna część o prawie wielkich liczb.
5. Nierówność Czebyszewa
Twierdzenie — nierówność Czebyszewa
Jeśli X ma wartość oczekiwaną μ i skończone odchylenie standardowe σ > 0, to dla każdego k > 0
P(|X − μ| ≥ kσ) ≤ 1 / k².
Daleko od średniej nie może być dużo prawdopodobieństwa — i dotyczy to każdego rozkładu. Dalej niż dwa odchylenia standardowe od średniej wypada co najwyżej ćwierć wartości, dalej niż trzy — co najwyżej jedna dziewiąta. Dla sumy dwóch kostek 2σ ≈ 4,83, a tak daleko od siódemki są tylko sumy 2 i 12: w rzeczywistości 2/36 ≈ 0,056, daleko poniżej gwarantowanej granicy 0,25.
6. Kowariancja i korelacja
Definicja — kowariancja
Dla zmiennych X, Y o wartościach oczekiwanych μX, μY kowariancja to
Cov(X, Y) = E[(X − μX)(Y − μY)].
Gdy X jest powyżej swojej średniej, czy Y też zwykle jest powyżej swojej? Wtedy iloczyn odchyleń jest przeważnie dodatni i kowariancja jest dodatnia. Gdy idą w przeciwne strony, jest ujemna. Na rysunku każdy iloczyn to prostokąt od przecięcia średnich do punktu: zielone dodatnie, pomarańczowe ujemne. Kowariancja to ich średnie pole ze znakiem.
Definicja — współczynnik korelacji
Korelacja zmiennych o dodatnich odchyleniach standardowych to ρ(X, Y) = Cov(X, Y) / (σX σY). Zawsze −1 ≤ ρ ≤ 1.
Kowariancja zależy od jednostek — w centymetrach wychodzi 10 000 razy większa niż w metrach. Korelacja dzieli ją przez oba odchylenia standardowe i daje liczbę bez jednostek: 1 oznacza, że punkty leżą na rosnącej prostej, −1 na malejącej, 0 brak liniowego związku.
Pierwsza kostka i suma rosną razem: Cov = 35/12 ≈ 2,92 i ρ ≈ 0,71. Pierwsza i druga kostka są niezależne, a prostokąty dokładnie się znoszą: Cov = 0. A im więcej wypadnie na pierwszej kostce, tym mniejsza jest różnica „druga minus pierwsza”: Cov ≈ −2,92, ρ ≈ −0,71.
Twierdzenie — wariancja sumy w ogólnym przypadku
Var(X + Y) = Var(X) + Var(Y) + 2 · Cov(X, Y). Jeśli X i Y są niezależne, to Cov(X, Y) = 0.
Zmienne, które rosną razem, zwiększają wariancję sumy; zmienne, które idą w przeciwne strony, ją zmniejszają — dokładnie to robi zabezpieczanie (hedging) w inwestycjach. Dla zmiennych niezależnych składnik z kowariancją znika i zostaje reguła z poprzedniego rozdziału.
Uwaga, w drugą stronę to nie działa: zerowa kowariancja nie oznacza niezależności. Różnica kostek D = pierwsza − druga i ich suma S mają kowariancję Var(pierwsza) − Var(druga) = 0. Mimo to są zależne: gdy suma wynosi 12, różnica musi być 0. Kowariancja mierzy tylko związek liniowy.
7. Wartość oczekiwana i wariancja w sztucznej inteligencji
- Funkcja straty. Błąd średniokwadratowy (MSE) to wartość oczekiwana kwadratu błędu, E[(Y − ŷ)²]. Najlepsza stała prognoza to właśnie wartość oczekiwana Y, a błąd, który zostaje, to wariancja.
- Standaryzacja danych wejściowych. Zanim dane trafią do sieci, przekształca się je na z = (x − μ) / σ — wartość oczekiwana 0, odchylenie standardowe 1. Uczenie przebiega wtedy szybciej i stabilniej; to samo wewnątrz sieci robi batch normalization.
- Macierz kowariancji i PCA. Kowariancje wszystkich par cech tworzą macierz, a jej wektory własne (zob. część o algebrze liniowej) wskazują kierunki, w których dane wahają się najbardziej.
- Optymalizator Adam (z części o spadku gradientowym) na bieżąco szacuje wartość oczekiwaną gradientu i wartość oczekiwaną jego kwadratu — i dzieli krok przez pierwiastek z tej drugiej. Tam, gdzie gradient mocno się waha, robi ostrożniejsze kroki.
- Obciążenie i wariancja modelu. Błąd modelu można rozłożyć na błąd systematyczny (obciążenie) i wahania między zbiorami treningowymi (wariancję). Proste modele mają duże obciążenie, złożone dużą wariancję.
8. Podsumowanie
- Wartość oczekiwana to średnia ważona — środek ciężkości rozkładu. Jest liniowa, także dla zmiennych zależnych.
- Wariancja to średnie kwadratowe odchylenie od średniej, odchylenie standardowe to jej pierwiastek w tych samych jednostkach co dane.
- Wariancje zmiennych niezależnych się sumują; dlatego suma dwóch kostek waha się mniej niż jedna kostka × 2.
- Nierówność Czebyszewa: dalej niż kσ od średniej leży co najwyżej 1/k² prawdopodobieństwa.
- Kowariancja i korelacja mierzą liniowy związek dwóch zmiennych; zerowa kowariancja nie oznacza jeszcze niezależności.
Masz inne zdanie? Napisz na support@coden-app.com.