Dyskretna jednolita zmienna losowa (?) Przyjmująca wszystkie wartości wymierne w zamkniętym przedziale

13

Właśnie miałem (intelektualny) atak paniki.

  • Ciągła zmienna losowa, która następuje po mundurze w zamkniętym przedziale : wygodnie znana koncepcja statystyczna. U(a,b)
  • Ciągły jednolity rv mający wsparcie nad rozszerzonymi rzeczywistymi (połową lub całością): nie odpowiedni rv, ale podstawowa koncepcja bayesowska na niewłaściwe wcześniejsze, użyteczne i możliwe do zastosowania.
  • Dyskretny mundur przyjmujący skończoną liczbę wartości: rzućmy kopułę geodezyjną, nic wielkiego.

Ale co z funkcją, która ma w swojej domenie wszystkie racjonalności, które są zawarte w zamkniętym przedziale z granicami całkowitymi (zacznij od jeśli chcesz)? Czy chcemy używać go w ramach probabilistycznych, wymagając, aby każda możliwa wartość miała takie samo prawdopodobieństwo jak wszystkie pozostałe?[0,1]

Liczba możliwych wartości jest nieskończenie liczna (co charakteryzuje wiele dyskretnych rozkładów), ale jak wyrazić prawdopodobieństwo pojedynczej wartości, biorąc pod uwagę, że chcemy, aby prawdopodobieństwa były równe?

Czy możemy powiedzieć-pokazać-udowodnić, że taki byt jest (nie jest) zmienną losową?

Jeśli nie, to czy to kolejne wcielenie (być może już dobrze znane) „niewłaściwego przeora”?

Czy jest możliwe, że ten byt jest w jakimś ściśle określonym sensie, choć szczególnym, „równoważny” ciągłemu jednorodnemu rv? Czy popełniłem właśnie grzech główny (ity)?

Wygląda na to, że fakt, że domena jest zamkniętym przedziałem, nie pozwala mi odejść. Ograniczone rzeczy są zazwyczaj możliwe do zarządzania.

Jest wiele pytań, które mają wskazywać na wewnętrzny wir - nie proszę o odpowiedź na każde z nich.

W dowolnym momencie, gdy będę mógł przedstawić jakieś spostrzeżenia, zaktualizuję.

AKTUALIZACJA: obecne pytanie nabrało tutaj konstruktywistyczną kontynuację .

Alecos Papadopoulos
źródło
2
+1 Świetne pytanie tutaj. Nie można zdefiniować równomiernego rozkładu między racjonalnymi wartościami, nawet nie ograniczonego do [0,1], ani żadnego innego licznego zbioru nieskończonego. Kiedyś napisałem o tym krótką dyskusję, zobaczę, czy uda mi się to wykopać i spojrzeć na to, ale prawdopodobnie nie dodaje nic użytecznego do twojej odpowiedzi.
Glen_b
@Glen_b Dzięki Glen. Mamy nadzieję, że opublikujesz tę małą dyskusję, o której wspomniałeś.
Alecos Papadopoulos,
Po zastanowieniu nie sądzę, żeby powiedział coś, co jeszcze nie zostało tutaj
Glen_b

Odpowiedzi:

11

Ta „losowa zmienna” jest podobna do idei posiadania płaskiego poprzedzającego na całej linii rzeczywistej (twój drugi przykład).

Aby pokazać, że nie może istnieć żadna zmienna losowa taka że P ( X = q ) = c dla wszystkich q Q[ 0 , 1 ] i stała c , używamy dodatkowej właściwości zmiennych losowych σ: zliczalna suma zdarzenia rozłączne mają prawdopodobieństwo równe (być może nieskończonej) sumie prawdopodobieństw zdarzeń. Zatem jeśli c = 0 , prawdopodobieństwo P ( X Q[ 0 , 1 ]XP(X=q)=cqQ[0,1]cσc=0 , ponieważ jest to suma policzalnie wielu zer. Jeśli c > 0 , to P ( X Q[ 0 , 1 ] ) = . Jednak właściwa zmienna losowa przyjmująca wartości w Q[ 0 , 1 ] musi być taka, że P ( X Q[ 0 , 1 ] ) = 1 , więc nie ma takiej zmiennej losowej.P(XQ[0,1])=0c>0P(XQ[0,1])=Q[0,1]P(XQ[0,1])=1

Kluczem tutaj jest, jak być może już wiesz, że jeśli przestrzeń składa się z skończonej liczby punktów, możemy użyć i nie mamy problemu z sumą, a jeśli przestrzeń ma niezliczoną liczbę punktów, możesz mieć c = 0, a integralność σ nie jest naruszana podczas całkowania w przestrzeni, ponieważ jest to stwierdzenie o rzeczach policzalnych . Masz jednak problemy, gdy chcesz równomiernego rozkładu w niezliczonej liczbie zestawów.c>0c=0σ

P(X=q)1qQ[0,1]

P. Schnell
źródło
Dzięki, wygląda to na zimny prysznic odpowiedni na tę okazję.
Alecos Papadopoulos,
9



zQzQ


z+y=y+z

μμ(z+A)=μ(A)AQzQ

μμ({z})=0zQ
(Q,μ)

μμ
μ
μ

AKTUALIZACJA: Natychmiast uzyskuje się miarę racjonalności interwału jednostkowego, która jest jednolita w tym sensie, biorąc pod uwagę miarę przesunięcia do przodu tej racjonalności, którą zbudowaliśmy, wzdłuż mapy od racjonalności do racjonalności interwału jednostkowego, która odwzorowuje każdy racjonalny do części ułamkowej.
Dlatego po złagodzeniu wymogu skończonej addytywności uzyskuje się takie środki w obu wspomnianych przypadkach.

Mathias Fuchs
źródło
2
(+1) Dziękujemy Matthias i witamy w CV. Pełne przetworzenie twojej odpowiedzi zajmie mi trochę czasu, ale jest to bardzo interesujące podejście.
Alecos Papadopoulos,