Ad ogni passo di un processo infinito limitante, metti 10 palline in un'urna e rimuovine una a caso. Quante palle sono rimaste?


121

La domanda (leggermente modificata) è la seguente e se non l'hai mai incontrata prima puoi verificarla nell'esempio 6a, capitolo 2, di A First Course in Probability di Sheldon Ross :

Supponiamo di possedere un'urna infinitamente grande e una collezione infinita di palline etichettate con la palla numero 1, numero 2, numero 3 e così via. Considera un esperimento eseguito come segue: da 1 minuto a 12 PM, le sfere numerate da 1 a 10 vengono posizionate nell'urna e una palla rimossa a caso. (Supponi che il ritiro non richieda tempo.) A 1/2 minuto alle 12 PM, le palline numerate da 11 a 20 vengono posizionate nell'urna e un'altra palla rimossa a caso. A 1/4 minuti a 12 PM, le sfere numerate da 21 a 30 vengono posizionate nell'urna e un'altra palla rimossa a caso ... e così via. La domanda di interesse è: quante palle ci sono nell'urna alle 12:00?

Questa domanda, come viene posta, costringe praticamente tutti a sbagliare --- di solito l'intuizione è quella di dire che ci saranno un numero infinito di palline alle 12:00 La risposta fornita da Ross, tuttavia, è che con una probabilità l'urna sarà vuota alle 12 PM

Nell'insegnare la teoria della probabilità questo problema è uno di quelli per i quali è molto difficile dare una buona spiegazione intuitiva.

Da un lato, potresti provare a spiegarlo in questo modo: "pensa alla probabilità che una pallina mi trovi sull'urna alle 12 PM. Durante gli infiniti sorteggi casuali, alla fine verrà rimossa. Dato che vale per tutte le palline, nessuna alla fine possono esserci ".

Tuttavia, gli studenti discuteranno correttamente con te: "Ma sto mettendo 10 palline e ne rimuovo 1 alla volta. È impossibile che ci siano zero palline alla fine".

Qual è la migliore spiegazione che possiamo dare loro per risolvere queste intuizioni contrastanti?

Sono anche aperto all'argomento che la domanda è mal posta e che se lo formuliamo meglio il "paradosso" scompare o all'argomento che il paradosso è "puramente matematico" (ma per favore cerca di essere preciso al riguardo).


6
+1. Mi piace la versione in cui l'urna inizia con 2 palline (e una viene rimossa), quindi ne vengono aggiunte altre 4 (e una viene rimossa), quindi ne vengono aggiunte altre 8 , ecc. :-) @Neil Qual è esattamente questo argomento? Potresti disegnarlo?
whuber

16
Molte delle idee sbagliate e molta della confusione sulla probabilità derivano da problemi di limiti e infiniti. Questo è un eccellente esempio di ciò come spiega bene la risposta di @enumaris. È anche un eccellente esempio di esempio di un libro di testo che porterà solo gli studenti alla conclusione che non possono avere successo nell'argomento.
Michael Lew,

16
Mentre è chiaro che ogni particolare palla ha probabilità zero di essere nell'urna a mezzanotte, non è ovvio per me che ci sia una distribuzione di probabilità ben definita sul set di schemi di cui le palle sono lasciate a mezzanotte, o c'è un pozzo -definita distribuzione di probabilità sulla variabile "quante palle a mezzanotte?".

15
O più precisamente, lo spazio campione qui è l'infinita sequenza di scelte di quale palla viene rimossa in quel momento. Non è ovvio che ci sia una ragionevole -algebra nello spazio campione per cui "quante palle a mezzanotte?" è una funzione misurabile. σ

5
Ormai ci sono state più di 10 risposte e probabilmente più di 100 commenti in questa discussione, ma sembra che la maggior parte delle persone non si sia preoccupata di cercare nel libro di Ross (quando cerco il titolo di Google ottengo un link diretto al PDF tra i primi risultati). La presentazione è molto chiara. In particolare, Ross inizia con due variazioni non probabilistiche, che portano a palle infinite o zero a mezzanotte. Prima che ciò sia compreso, non ha senso procedere alla variante probabilistica. Ma sembra che molti contestatori qui non siano d'accordo su questi due casi preliminari .
ameba,

Risposte:


144

Ross descrive tre versioni di questo "paradosso" nell'esempio 6a del suo libro di testo . In ogni versione, 10 palline vengono aggiunte all'urna e 1 pallina viene rimossa ad ogni passo della procedura.

  1. Nella prima versione, -esimo palla viene rimosso al n passo -esimo. Ci sono infinite palle rimaste dopo mezzanotte perché tutte le palle con numeri che non finiscono in zero sono ancora lì.10nn

  2. Nella seconda versione, la -esima palla viene rimossa nella n -esima fase. Rimangono zero palline dopo mezzanotte perché ogni pallina verrà rimossa nel passaggio corrispondente.nn

  3. Nella terza versione, le palle vengono rimosse in modo uniforme a caso. Ross calcola la probabilità che ogni palla venga rimossa dal passaggio e scopre che converge a 1 come n (nota che questo non è evidente! Si deve effettivamente eseguire il calcolo). Ciò significa, per disuguaglianza di Boole , che anche la probabilità di avere zero palle alla fine è 1 .n1n1

Stai dicendo che quest'ultima conclusione non è intuitiva e difficile da spiegare; questo è meravigliosamente supportato da molte risposte e commenti confusi proprio in questo thread. Tuttavia, la conclusione della seconda versione è esattamente non intuitiva! E non ha assolutamente nulla a che fare con probabilità o statistiche. Penso che dopo aver accettato la seconda versione, non ci sia più nulla di particolarmente sorprendente nella terza versione.

Pertanto, mentre la discussione "probabilistica" deve riguardare la terza versione [vedi risposte molto approfondite di @ paw88789, @Paul e @ekvall], la discussione "filosofica" dovrebbe piuttosto concentrarsi sulla seconda versione che è molto più semplice ed è simile in spirito dell'hotel Hilbert .


La seconda versione è conosciuta come il paradosso di Ross-Littlewood . Mi collego alla pagina di Wikipedia, ma la discussione è terribilmente confusa e non consiglio di leggerlo affatto. Invece, dai un'occhiata a questo thread MathOverflow di anni fa . Ormai è chiuso ma contiene diverse risposte molto percettive. Un breve riassunto delle risposte che trovo più cruciali è il seguente.

Possiamo definire un insieme delle sfere presenti nell'urna dopo il passaggio n . Abbiamo che S 1 = { 2 , ... 10 } , S 2 = { 3 , ... 20 } , ecc. Esiste una nozione matematicamente ben definita del limite di una sequenza di insiemi e si può dimostrare rigorosamente che il limite di questa sequenza esiste ed è l'insieme vuoto . In effetti, quali palle possono essere nel limite impostato? Solo quelli che non vengono mai rimossi. Ma ogni palla viene infine rimossa. Quindi il limite è vuoto. Possiamo scrivereSnnS1={2,10}S2={3,20} .Sn

Allo stesso tempo, il numero delle palle nel set S n , noto anche come cardinalità di questo set, è uguale a 10 n - n = 9 n . La sequenza 9 n è ovviamente divergente, nel senso che la cardinalità converge alla cardinalità di N , noto anche come aleph-zero 0 . Quindi possiamo scriverlo | S n | 0 .|Sn|Sn10nn=9n9nN 0|Sn|0

Il "paradosso" ora è che queste due affermazioni sembrano contraddirsi a vicenda:

Sn|Sn|00

Ma ovviamente non esiste un vero paradosso e nessuna contraddizione. Nessuno ha detto che prendere la cardinalità sia un'operazione "continua" sui set, quindi non possiamo scambiarla con il limite: In altre parole, dal fatto che | S n | = 9 n per tutto il numero intero n N non possiamo concludere che | S ω | (il valore al primo ordinale ) è uguale a . Invece, | S ω |

lim|Sn||limSn|.
|Sn|=9nnN|Sω||Sω| deve essere calcolato direttamente e risulta essere zero.

Quindi penso che ciò che ne ricava è davvero la conclusione che assumere cardinalità è un'operazione insoddisfacente ... [@HarryAltman]

Quindi penso che questo paradosso sia solo la tendenza umana ad assumere che le operazioni "semplici" siano continue. [@NateEldredge]


Questo è più facile da capire con le funzioni anziché con i set. Considera una funzione caratteristica (aka indicatore) dell'insieme S n che è definita uguale a una sull'intervallo [ n , 10 n ] e zero altrove. Le prime dieci funzioni sembrano simili (confronta l'arte ASCII dalla risposta di @ Hurkyl):fn(x)Sn[n,10n]

L'indicatore funziona per i primi 10 passi

Tutti concorderanno sul fatto che per ogni punto , abbiamo lim f n ( a ) = 0 . Questo per definizione significa che le funzioni f n ( x ) convergono alla funzione g ( x ) = 0 . Ancora una volta, tutti saranno d'accordo. Tuttavia, osservare che gli integrali di queste funzioni 0 f ( x ) d x = 9 naRlimfn(a)=0fn(x)g(x)=00f(x)dx=9ndiventa sempre più grande e la sequenza degli integrali diverge. In altre parole,

limfn(x)dxlimfn(x)dx.

Questo è un risultato di analisi completamente standard e familiare. Ma è una riformulazione esatta del nostro paradosso!

Un buon modo per formalizzare il problema è quello di descrivere lo stato della brocca non come un insieme (un sottoinsieme di ), perché quelli sono difficili da prendere limiti, ma come la sua funzione caratteristica. Il primo "paradosso" è che i limiti puntuali non sono gli stessi dei limiti uniformi. [@ TheoJohnson-Freyd]N

Il punto cruciale è che "a mezzanotte mezzogiorno" è già passata l'intera sequenza infinita , ovvero abbiamo fatto un "salto trasfino" e siamo arrivati ​​allo stato transfinito . Il valore dell'integrale "a mezzanotte mezzogiorno" deve essere il valore dell'integrale di lim f n , non viceversa.fω=limfn(x)limfn


Si noti che alcune delle risposte in questo thread sono fuorvianti nonostante siano altamente votate.

In particolare, @cmaster calcola che è davvero infinito, ma non è questo il paradosso. Il paradosso chiede cosa succede dopo l'intera sequenza infinita di passi; questa è una costruzione transfinita e quindi abbiamo bisogno di calcolare ballCount ( S ω ) che è uguale a zero come spiegato sopra.limnballCount(Sn)ballCount(Sω)


8
La tua risposta insieme alla risposta di @ paw88789 sembra abbastanza per risolvere intuizioni contrastanti. Fondamentalmente si può dire: (i) l'intuizione fallirà perché la cardinalità non è continua; e, (ii) se l'analogia fisica ti dà fastidio, pensa alla seguente domanda: la funzione "rimozione" è suriettiva? Nella versione probabilistica, qual è la probabilità che scegliamo una mappa suriettiva? Naturalmente, c'è ancora la questione se questi oggetti possano modellare qualsiasi fenomeno reale, ma questo è un problema diverso. Nel complesso, apprezzo ancora di più l'esempio di Ross ora. f:NN
Carlos Cinelli,

11
@MichaelLew Ci sono molti risultati contro-intuitivi in ​​matematica, e questo è uno di questi. Una sequenza di insiemi S1 = {2, ... 10}, S2 = {3, ... 20}, ecc. Converge nell'insieme vuoto anche se ogni insieme successivo ha più elementi rispetto al precedente. Questo è come è. Si noti che la formulazione del paradosso chiede cosa succede dopo l' infinito numero di passi. Chiaramente una tale configurazione non ha alcuna connessione con il mondo fisico; è un'astrazione matematica e deve essere affrontata come tale. [cont.]
amoeba,

6
[cont.] Le intuizioni possono fallire quando si tratta di infiniti, quindi bisogna fare affidamento sul rigore matematico. Forse questa riformulazione ti aiuterà: considera una sequenza di funzioni in cui la n-esima funzione è zero ovunque a parte un intervallo [n + 1, 10n]. Questa sequenza converge in una funzione che è costante zero, anche se ogni funzione successiva ha un intervallo diverso da zero più lungo. Molti di noi hanno più familiarità con la convergenza di funzioni che con la convergenza di insiemi, quindi questa riformulazione potrebbe essere più facile da capire.
ameba,

6
@Martijn Le funzioni convergono in g ( x ) = ffn(x)=I([n+1,10n]) perché per ogni punto a R è vero che f n ( a ) = 0 per tutti n > a , cioèper definizione. Allo stesso tempo, la sequenza degli integralif n diverge perchég(x)=0aRfn(a)=0n>afn . Questa non è una contraddizione perché lim lim . Si possono scambiare solo quandovale lacosiddettaconvergenza uniformeche è una condizione molto più forte della semplice convergenza (puntuale). Questo è accennato inmathoverflow.net/a/7113. fn=9n1limlim
ameba,

7
Un altro modo per spiegarlo è quello di chiedere: ci sono più numeri pari o naturali? Anche se in qualsiasi intervallo finito ci sono numeri più naturali, in realtà hanno la stessa cardinalità. Successivamente, ci sono più multipli di o numeri naturali? Ancora una volta, la maggior parte delle persone concorda sul fatto di avere la stessa cardinalità. Pertanto, aggiungi un numero di palle "numeri naturali", ma rimuovi un "multiplo di 10 quantità di palle" - hanno la stessa cardinalità, quindi alla fine l'urna è vuota. (So ​​che l'analogia non regge esattamente, come mostra la prima versione di ross, ma dà un po 'di intuizione)10
Ant

28

Hurkyl (in una risposta) e Dilip Sarwate (in un commento) danno due varianti deterministiche comuni di questo puzzle. In entrambe le varianti, al passo , sfere 10 k - 9 attraverso 10 k vengono aggiunti alla pila ( k = 1 , 2 , . . . ). k10k910kk=1,2,...

Nella variazione di Hurkyl, la palla viene rimossa. In questa variante, in si può affermare definitivamente che non ci sono palle rimaste perché la palla n viene rimossa al passaggio n .knn

Nella variazione di Dilip Sarwate, la palla viene rimossa nel passaggio k , quindi in questa variante rimangono tutte le palle che non sono multipli di 10 . In questa variante, ci sono infinite palle nell'urna alla fine.10kk10

Con queste due varianti come casi limite, vediamo che possono succedere molte cose diverse durante questo processo. Ad esempio, è possibile disporre di qualsiasi set finito di palline rimanenti alla fine, facendo il processo di Hurkyl ma saltando la rimozione di alcune palline. Infatti per qualsiasi set con complemento numerabile infinito (nei numeri (positivi) naturali), puoi avere quel set di palline che rimane alla fine del processo.B

Potremmo guardare la variazione casuale del problema (data nel post originale) come selezionando una funzione con le condizioni che (i) f è uno a uno e (ii) f ( k ) 10 k per tutti k N .f:NNff(k)10kkN

L'argomentazione fornita nel libro di Sheldon Ross (a cui si fa riferimento nel post) mostra che quasi tutte (in senso probabilistico) tali funzioni sono in effetti su funzioni (suriezioni).

Vedo che ciò è in qualche modo analogo alla situazione di selezione di un numero, da una distribuzione uniforme su [ 0 , 1 ] e chiedendo qual è la probabilità che il numero si trovi nel set Cantor (sto usando il set Cantor piuttosto che dire i numeri razionali perché l'insieme Cantor non è numerabile). La probabilità è 0 anche se ci sono molti (innumerevoli molti) numeri nel set Cantor che avrebbero potuto essere scelti. Nel problema di rimozione della palla, l'insieme di sequenze in cui sono rimaste delle palle sta giocando il ruolo dell'insieme Cantor.x[0,1]0


Modifica: BenMillwood sottolinea correttamente che ci sono alcuni set finiti di palle che non possono essere il set rimanente. Per esempio, non può essere il set rimanente. Puoi avere al massimo il 90 % del primo1,2,...,1090% palline rimanenti per n = 1 , 2 , 3 , . . . .10nn=1,2,3,...


4
Non puoi avere nessun set finito di palline alla fine, ad es. Non puoi avere il set 1..10.
Ben Millwood,

1
"L'argomento dato nel libro di Sheldon Ross (a cui si fa riferimento nel post) mostra che quasi tutte (in senso probabilistico) tali funzioni sono in effetti su funzioni (suriezioni)." - (+1) questo è un modo molto interessante di vedere il problema, e in realtà potrebbe essere più facile e meno confuso presentarlo come tale che con la "storia fisica" delle palle in un'urna.
Carlos Cinelli,

5
+1. Penso che questa sia attualmente l'unica risposta che ha effettivamente ripercussioni sul problema. Sembra che tutti gli altri stiano discutendo se rimarranno o meno zero palline se sull'ennesimo gradino # n viene rimosso. In altre parole, la maggior parte della discussione che vedo in questa discussione riguarda in realtà il secondo paragrafo della tua risposta e non si spinge oltre. Cc a @CarlosCinelli.
ameba,

3
Questa è in realtà la prima risposta per farmi davvero capire qual è il ragionamento alla base di un risultato. Dimostrate come il risultato che otteniamo sia collegato alla funzione di scelta che applichiamo - questo ha perfettamente senso e aiuta ad andare oltre il semplice fatto di accettare che l'importo potrebbe essere zero a causa della cardinalità che non è contigua.
sukhmel,

(+1) Mi piace questa risposta perché la natura indeterminata di argomenti speciosi basati su forme indeterminate è meglio suggerita. Questo può essere reso molto più semplice dicendo che è una forma indeterminata e si può fare con essa. Inoltre, vedi la mia risposta di seguito che sostiene questo più direttamente. 0×
Carl,

24

La risposta di Enumaris ha perfettamente ragione sul problema dei limiti divergenti. Tuttavia, alla domanda si può effettivamente rispondere in modo inequivocabile. Quindi, la mia risposta ti mostrerà esattamente dove la soluzione Zero Ball va storta e perché la soluzione intuitiva è quella corretta.


È vero, che per ogni palla , la probabilità che si trovi nell'urna alla fine P ( n ) è zero. Per essere precisi, è solo il limite che è zero: P ( n ) = lim N P ( nnP(n) .P(n)=limNP(n,N)=0

Ora, si tenta di calcolare la somma Il calcolo interrotto passa direttamente a quella parte P ( n , N ) , dicendo che è zero nel limite, quindi la somma contiene solo termini di zero, quindi la somma è zero stessa: lim N ballCount ( N )

limNballCount(N)=limNn=1n10NP(n,N).
P(n,N)
limNballCount(N)=limNn=1n10NP(n,N)broken step here =limNn=1n10NlimNP(n,N)=limNn=1n10NP(n)=limNn=1n10N0=limN10N×0=0

Tuttavia, questo sta dividendo illegalmente il in due parti indipendenti. Non puoi semplicemente spostare il lim nella somma se i limiti della somma dipendono dal parametro del limlimlimlim . Devi risolvere il nel suo insieme.lim

Pertanto, l'unico modo valido per risolvere questo è risolvere prima la somma, usando il fatto che n 10 N n = 1 P ( n , N ) = 9 N per qualsiasi N finito . lim N limn=1n10NP(n,N)=9NN

limNballCount(N)=limNn=1n10NP(n,N)=limN9N=

La soluzione intuitiva ha fatto esattamente questo, è la soluzione "intelligente" che è fondamentalmente rotta.


9
Ciò formula sicuramente il paradosso. Ciò equivale a questo: affermare che infinitamente rimangono molte palle solleva la domanda naturale: quali palle? Puoi nominare una singola palla che ha una probabilità diversa da zero? Altrimenti, sembra che l'assioma della additività numerabile implichi che non rimangano palline, perché ci sono solo molte palline numerabili. Pertanto, affermando che la soluzione intuitiva è corretta, si sta negando implicitamente un assioma fondamentale della probabilità.
whuber

13
@whuber Non ho bisogno di nominare una palla con probabilità diversa da zero: ho infinitamente molte palle. E il limite del prodotto di due cose, con una che va a zero e l'altra all'infinito, può essere qualsiasi cosa. Può essere zero, può essere infinito, può essere qualsiasi cosa in mezzo (come 42). Dipende da come il prodotto si comporta nel suo insieme. È lo stesso tipo di "paradosso" che fa sì che qualsiasi punto all'interno di una distribuzione in R abbia probabilità zero - sono solo gli intervalli di infiniti punti che hanno probabilità diverse da zero. Non c'è davvero alcun paradosso in senso matematico.
cmaster

6
Devi fare la matematica correttamente prima di poter rivendicare nessun paradosso. Vorrei illustrare. è l'insieme dei numeri naturali. Considera la sequenza di insiemi in cui al passaggio i = 0 , 1 , 2 , ... tutti i numeri da 0 a i sono stati rimossi. Ad ogni passo rimangono infiniti numeri. Quanti numeri rimangono nel limite? Il tuo "unico modo valido", se lo interpretassi correttamente, risponderebbe "infinitamente molti" perché " lim n N={0,1,2,}i=0,1,2,0i . "Il fatto che il limite sia vuoto è una prova evidente che il tuo approccio è matematicamente sospetto.limn==
whuber

7
@Michael Sfortunatamente, è un errore di calcolo. La possibilità di ogni palla di rimanere nel limite è . 0
whuber

13
Basta commentare di nuovo qui per assicurarsi che le persone siano consapevoli che questa risposta non è corretta. @voto dovresti leggere l'argomento di Ross, la tua risposta non affronta affatto la sua derivazione.
Carlos Cinelli,

14

Questo argomento è incentrato sulla tendenza di infiniti insiemi e sequenze a comportarsi in modi unitari. Questo non è più sorprendente dell'hotel Hilbert . In tal caso, avrai effettivamente eliminato un numero infinito di palle, ma avrai inserito un numero infinito. Considera il Hilbert Hotel al contrario. Puoi rimuovere un numero infinito di ospiti dall'hotel e avere ancora un numero infinito.

Se questo è fisicamente realizzabile è un'altra domanda del tutto.

In quanto tale, lo considero non necessariamente mal formato, ma piuttosto inserito nel libro sbagliato. Questo tipo di domanda di conteggio appartiene a un corso di teoria dell'insieme, non a un corso di probabilità.


2
L'argomento fornito per supportare una risposta pari a 0 è più sofisticato del semplice "infinito meno l'infinito è zero", quindi non credo che questa risposta sia realmente indirizzata. Puoi anche rimuovere un numero infinito di ospiti dall'hotel e lasciare zero, e in un certo senso la sfida qui è capire quale hai fatto. Non è affatto ovvio che la teoria degli insiemi abbia la risposta a quella domanda e la teoria della probabilità no.
Ben Millwood,

3
@BenMillwood Quale sarebbe il motivo per cui sostengo che questo puzzle appartiene a un libro di teoria degli insiemi, piuttosto che a un libro di probabilità.
Cort Ammon,

14

Penso che aiuti a rimuovere la componente temporale superflua del problema.

La variante più semplice di questo paradosso è quella di rimuovere sempre la palla con il numero più basso. Per facilità di disegno, aggiungerò anche solo due palline ad ogni passaggio.

La procedura descrive come compilare una griglia bidimensionale infinita:

.*........
..**......
...***....  ....
....****..
.....*****

 :  :  :
 :  :  :

dove ogni riga è formata dalla precedente aggiungendo due asterischi a destra, quindi rimuovendo quello più a sinistra.

Le domande che ci poniamo sono:

Quante colonne terminano con asterischi ripetuti anziché punti ripetuti?

A mio avviso, l'idea di equiparare erroneamente questo risultato al "limite del numero di asterischi in ciascuna riga" è molto meno convincente.


2
@LucaCiti: Quali palline ci sono nell'urna? Quelle corrispondenti alle colonne che terminano con ripetuti astrischi. Quante colonne finiscono in astrischi ripetuti? Nessuna.

3
Chiedere quali palle non equivale a chiedere quante.
Sentinella

3
@LucaCiti: quante colonne finiscono in asterischi? Nessuna. Questa è la domanda specifica che Ross intende porre a questo diagramma. (in effetti, parte dell'intero punto di formulare il problema in questo modo è quello di chiarire quale domanda specifica viene posta)

5
@Hurkyl La domanda che ha applicazioni pratiche ed è IMHO più significativa è quante palle non quali. Considera una stanza con una finestra aperta. In ogni momento le molecole di ossigeno entrano ed escono dalla stanza. La probabilità che una molecola che è entrata al tempo finito sia ancora nella stanza al tempo T va a zero come T . Ciò non significa che la stanza sarà impoverita di ossigeno come T . tTTT
Luca Citi,

4
@LucaCiti: suppongo che non fosse chiaro, ma la griglia si estende all'infinito verso il basso e verso destra. Non c'è "ultimo". Sì, è quello che dice il testo nella casella gialla: la formalizzazione che do nel mio post è ciò che si intendeva con quel testo. Questo è un problema standard e l'analisi effettiva di Ross concorda con la mia formalizzazione. Puoi fare una domanda diversa , ma sarà un problema diverso .

14

Questa risposta mira a fare quattro cose:

  1. Ripassa la formulazione matematica del problema di Ross, mostrando come segue direttamente e inequivocabilmente dalla descrizione del problema.

  2. Difendi la posizione secondo cui la soluzione paradossale di Ross è matematicamente solida e pertinente per la nostra comprensione del mondo fisico, indipendentemente dal fatto che sia realizzabile fisicamente al 100%.

  3. Discutete di alcuni argomenti fallaci radicati nell'intuizione fisica e dimostrate che la soluzione "fisica" spesso dichiarata di infinite palle a mezzogiorno non è solo in contraddizione con la matematica, ma anche con la fisica.

  4. Descrivi un'implementazione fisica del problema che potrebbe rendere la soluzione di Ross più intuitiva. Inizia qui per la risposta alla domanda originale di Carlos.

1. Come descrivere matematicamente il problema

Disimballeremo la fase iniziale di "modellizzazione di processi infiniti" dell'argomento di Ross (p. 46) . Ecco l'affermazione che ci concentreremo sulla giustificazione:

Definisci come l'evento in cui la palla numero 1 è ancora nell'urna dopo che sono stati effettuati i primi n prelievi ... L'evento in cui la palla numero 1 è nell'urna alle 12 PM è solo l'evento n = 1 E n .Enn=1En

Prima di disimballare la dichiarazione di Ross, consideriamo come sia persino possibile capire il contenuto dell'urna a mezzogiorno, dopo una sequenza infinita di operazioni. Come possiamo sapere cosa c'è nell'urna? Bene, pensiamo a una palla specifica ; puoi immaginare b = 1 o 1000 o qualunque cosa tu voglia. Se la palla b è stata espulsa ad un certo punto del processo prima di mezzogiorno, certamente non sarà nell'urna a mezzogiorno. E viceversa, se una determinata palla era nell'urna in ogni singola fase del processo fino a mezzogiorno (dopo che era stata aggiunta), allora era nell'urna a mezzogiorno. Scriviamo queste dichiarazioni formalmente:bb=11000b

Una palla è nell'urna a mezzogiorno se e solo se era nel urna in ogni fase n { n b , n b + 1 , n b + 2 , . . . } prima di mezzogiorno, dove n b è lo stadio in cui la palla è stata aggiunta all'urna.bn{nb,nb+1,nb+2,...}nb

Ora scompattiamo la dichiarazione di Ross: cosa significa in un inglese semplice? Prendiamo una singola realizzazione x del processo dell'urna e parliamone:n=1En x

  • significa che la palla 1 è nell'urna dopo la fase 1 del processo.xE1
  • significa che la palla 1 è nell'urna dopo le fasi 1 e 2 del processo.xE1E2
  • significa che la palla 1 è nell'urna dopo le fasi 1, 2 e 3 del processo.xE1E2E3
  • Per ogni , x n k = 1 E k significa che la palla è nell'urna dopo le fasi da 1 a n .k{1,2,3,...}xk=1nEk1n

Chiaramente, quindi, significa che, nella realizzazione x di questo processo di urna, la sfera 1 è nell'urna dopo le fasi 1, 2, 3, eccetera : tutto fasi finite k prima di mezzogiorno. L'intersezione infinita n = 1 E n è solo un altro modo di scriverlo, quindi n = 1 E nxk{1,2,3...}Ekxkn=1Enn=1Encontiene precisamente le realizzazioni del processo in cui la sfera 1 era nell'urna in tutte le fasi prima di mezzogiorno. Un evento è solo un insieme definito di realizzazioni di un processo, quindi l'ultima frase equivale esattamente a dire che è l'evento in cui la sfera 1 era nell'urna in tutte le fasi prima di mezzogiorno, per questo processo casuale .n=1En

Ora, la battuta finale: con la nostra affermazione "se e solo se" sopra, questo è esattamente lo stesso che dire che la palla 1 era nell'urna a mezzogiorno! Quindi è l'evento in cui la palla 1 è nell'urna a mezzogiorno, proprio come aveva affermato Ross. QEDn=1En

Nella derivazione sopra, tutto ciò che abbiamo detto è ugualmente valido per entrambe le versioni deterministica e probabilistica, perché la modellistica deterministica è un caso speciale di modellistica probabilistica in cui lo spazio campione ha un elemento. Non sono stati nemmeno usati concetti teorici o di probabilità di misura, al di là delle parole "evento" e "realizzazione" (che sono solo gergo per "insieme" ed "elemento").

2. La soluzione paradossale è matematicamente solida e rilevante per la fisica

Dopo questo punto di impostazione, le varianti deterministiche e probabilistiche divergono. Nella variante deterministica (versione 2 dal post di amoeba), sappiamo che la prima palla viene eliminata sul primo gradino, quindi e ovviamente anche l'intersezione infinita è vuota. Allo stesso modo, qualsiasi altra palla b viene estratta nella fase b e non è presente a mezzogiorno. Quindi l'urna non può contenere alcuna palla numerata b a mezzogiorno e deve quindi essere vuota.E1=bbb

Nella variante probabilistica, si verifica lo stesso fenomeno, solo in un senso più "atteso". La probabilità che una determinata palla sia presente diminuisce a zero quando ci avviciniamo a mezzogiorno e al tempo limite di mezzogiorno, la palla quasi sicuramente non è presente. Poiché ogni palla è presente con probabilità zero e la somma di infinitamente molti zeri è ancora zero, quasi sicuramente non ci sono palle nell'urna a mezzogiorno. Tutto ciò è mostrato in modo completamente rigoroso da Ross; i dettagli possono essere compilati con una conoscenza della teoria delle misure a livello di laurea, come mostra la risposta di @ ekvall.

Se si accettano gli argomenti standard sugli oggetti matematici espressi come sequenze infinite, ad esempio , l'argomento qui dovrebbe essere altrettanto accettabile, in quanto si basa sugli stessi stessi principi. L'unica domanda che rimane è se la soluzione matematica si applica al mondo reale o solo al mondo platonico della matematica. Questa domanda è complessa ed è discussa ulteriormente nella sezione 4.0.999...=1

Detto questo, non c'è motivo di presupporre che il problema dell'urna infinita sia non fisico, o di respingerlo come irrilevante anche se non è fisico. Molte intuizioni fisiche sono state acquisite dallo studio di strutture e processi infiniti, ad esempio fili infiniti e reticoli di percolazione . Non tutti questi sistemi sono necessariamente fisicamente realizzabili, ma la loro teoria modella il resto della fisica. Il calcolo stesso è "non fisico" in qualche modo, perché non sappiamo se sia possibile realizzare fisicamente le distanze e i tempi arbitrariamente piccoli che sono spesso oggetto di studio. Ciò non ci impedisce di mettere il calcolo a un uso incredibilmente buono nelle scienze teoriche e applicate.

3. L'insostenibilità delle soluzioni basate sull'intuizione fisica

Per coloro che credono ancora che la matematica di Ross sia sbagliata o fisicamente inaccurata nella variante deterministica, e la vera soluzione fisica è infinitamente molte palle: indipendentemente da ciò che pensi succeda a mezzogiorno, è impossibile negare la situazione prima di mezzogiorno: ogni palla numerata aggiunto all'urna alla fine viene rimosso. Quindi, se pensi che ci siano in qualche modo ancora infinite palle nell'urna a mezzogiorno, devi ammettere che nessuna di quelle palle può essere aggiunta prima di mezzogiorno. Quindi quelle palle devono essere venute da qualche altra parte: per stai affermando che un'infinità di palle, estranee al processo originale del problema, improvvisamente spuntano all'esistenza proprio a mezzogiorno per salvare la continuità della cardinalità dalla violazione.quanto non fisica come la soluzione del "set vuoto" possa sembrare intuitivamente, questa alternativa è obiettivamente e chiaramente non fisica. Infinite raccolte di oggetti non compaiono in un istante solo per soddisfare le povere intuizioni umane sull'infinito.

L'errore comune qui sembra essere che possiamo solo guardare il numero di palline mentre il tempo si avvicina a mezzogiorno e supporre che la tendenza divergente produca infinitamente molte palline a mezzogiorno, senza considerare esattamente quali palline vengono prese dentro e fuori. C'è stato anche un tentativo di giustificare ciò con il "principio di indifferenza", che afferma che la risposta non dovrebbe dipendere dal fatto che le palline siano etichettate o meno.

In effetti, la risposta non dipende dal fatto che le palline siano etichettate o meno, ma questo è un argomento per la soluzione di Ross, non contro di essa. Dal punto di vista della fisica classica, le palle sono effettivamente etichettate indipendentemente dal fatto che tu le consideri etichettate o meno. Hanno identità distinte, permanenti, equivalenti alle etichette, e un'analisi veramente fisica deve tener conto di ciò, indipendentemente dal fatto che i numeri siano letteralmente scritti sulle palle. Le etichette stesse non influiscono direttamente sull'uscita della soluzione, ma sono necessarie per descrivere esattamente come vengono spostate le sfere. Alcune procedure lasciano le palle nell'urna per sempre, altre in modo dimostrabile rimuovono ogni palla aggiunta e sono necessarie etichette per descrivere anche la differenza tra queste procedure.Il tentativo di ignorare le etichette non è "fisico", è solo trascurare di comprendere il problema fisico con precisione sufficiente per risolverlo. (Lo stesso vale per le varianti complicate che rimescolano le etichette in ogni fase. Ciò che conta è quali palle sono nell'urna, non le etichette che qualcuno ha posizionato o sostituito su di esse. Ciò può essere determinato ignorando completamente il complicato schema di rietichettatura e semplicemente usando un unico schema di etichettatura invariato, quello del problema originale di Ross.)

L'unico modo in cui la distinguibilità non sarebbe vera è se le "sfere" fossero particelle meccaniche quantistiche. In questo caso, il principio di indifferenza fallisce in modo spettacolare. La fisica quantistica ci dice che le particelle indistinguibili si comportano in modo completamente diverso da quelle distinguibili. Ciò ha conseguenze incredibilmente fondamentali per la struttura del nostro universo, come il principio di esclusione di Pauli, che è forse il singolo principio più importante della chimica. Nessuno ha ancora tentato di analizzare una versione quantistica di questo paradosso.

4. Descrivere la soluzione fisicamente

Abbiamo visto come vaghe intuizioni "fisiche" possono portarci fuori strada su questo problema. Al contrario, si scopre che una descrizione fisicamente più precisa del problema ci aiuta a capire perché la soluzione matematica è in realtà quella che ha più senso fisico.

Considera un universo newtoniano infinito governato dalle leggi della meccanica classica. Questo universo contiene due oggetti: uno scaffale infinito e un'urna infinita, che iniziano all'origine dell'Universo e corrono l'uno accanto all'altro, a un piede di distanza, per sempre e sempre. Lo scaffale si trova sulla linea piedi, mentre l'urna si trova sulla linea y = 1 piedi. Lungo la mensola sono disposte infinite palle identiche, distanziate uniformemente a un piede di distanza, il primo è un piede dall'origine (quindi pallay=0y=1 è sulla linea x = n piedi). L'urna - che è proprio come lo scaffale, ma un po 'più ornato, chiuso e generalmente urinario - è vuota.nx=n

Una navata laterale collega la mensola e l'urna in basso, e in cima alla navata laterale, all'origine, si trova un robot Endeavour con un alimentatore infinito. A partire dalle 11:00, Endeavour si attiva e inizia a zoomare avanti e indietro nella navata laterale, trasferendo le palle tra Urna e Mensola secondo le istruzioni programmate di Ross-Littlewood:

  • Quando il programma comanda la palla da inserire nel urna, la sfera n piedi dalla originaria viene trasferito dal ripiano al urna.nn
  • Quando il programma comanda la palla da rimuovere dal urna, la sfera n piedi dalla originaria viene trasferito dal urna allo scaffale.nn

In entrambi i casi, il trasferimento viene effettuato direttamente di fronte, quindi la palla rimane piedi dall'origine. Il processo si svolge come specificato nel problema Ross-Littlewood:n

  • Alle 11:00, Endeavour trasferisce le palle 1-10 da Shelf a Urn, quindi sposta una delle palle Urn a Shelf.
  • Alle 11:30, Endeavour trasferisce le palle 11-20 da Shelf a Urn, quindi sposta una delle palle Urn a Shelf.
  • Alle 11:45, Endeavour trasferisce le palle 21-30 da Shelf a Urn, quindi sposta una delle palle Urn a Shelf.
  • eccetera ...

Man mano che il processo continua, ogni nuovo passaggio richiede viaggi più lunghi su e giù per il corridoio e solo la metà del tempo per effettuare i viaggi. Pertanto, Endeavour deve spostarsi su e giù per il corridoio in modo esponenziale più velocemente quando mezzogiorno si chiude. Ma mantiene sempre il passo con il programma, perché ha un alimentatore infinito e può muoversi il più velocemente possibile. Alla fine arriva mezzogiorno.

Cosa succede in questa versione più vividamente immaginata del paradosso? Osservato dall'alto, l'approccio verso mezzogiorno è davvero spettacolare. All'interno dell'urna, un'onda di palline sembra propagarsi verso l'esterno dall'origine. Le dimensioni e la velocità dell'onda crescono senza limiti all'avvicinarsi di mezzogiorno. Se dovessimo scattare foto immediatamente dopo ogni passaggio, come sarebbe il layout delle palline? Nel caso deterministico, apparirebbero esattamente come le funzioni di passaggio nella risposta di ameba. Le posizioni della palla (x,y) seguiranno esattamente le curve che ha tracciato. Nel caso probabilistico, sembrerebbe approssimativamente simile, ma con più barcollanti vicino all'origine.

Quando arriva mezzogiorno, facciamo il punto sull'accaduto. Nella versione deterministica, ogni palla è stata trasferita dallo Scaffale all'Urna esattamente una volta, quindi è stata spostata indietro in un secondo momento, con entrambi i trasferimenti prima di mezzogiorno. A mezzogiorno, l'Universo deve tornare al suo stato originale delle 11:00. The Wave non esiste più.Ogni palla è tornata esattamente dove è iniziata. Niente è cambiato. L'urna è vuota. Nella versione probabilistica accade la stessa cosa, tranne ora che il risultato è solo quasi sicuro piuttosto che sicuro.

In entrambi i casi, "obiezioni fisiche" e lamentele sull'infinito sembrano svanire nel nulla. Naturalmente l'urna è vuota a mezzogiorno. Come avremmo potuto immaginare diversamente?

L'unico mistero rimasto è il destino di Endeavour. Il suo spostamento dall'origine e la sua velocità divennero arbitrariamente grandi man mano che si avvicinava mezzogiorno, quindi a mezzogiorno, Endeavour non si trova da nessuna parte nel nostro infinito universo newtoniano. La perdita di Endeavour è l'unica violazione della fisica che si è verificata durante il processo.

A questo punto, si potrebbe obiettare che Endeavour non è fisicamente possibile, poiché la sua velocità cresce senza limiti e alla fine violerebbe il limite relativistico, la velocità della luce. Tuttavia, possiamo modificare leggermente lo scenario per risolvere questo problema. Invece di un singolo robot, potremmo avere infinitamente molti robot, ognuno responsabile di una singola palla. Potremmo programmarli in anticipo per garantire un coordinamento e un tempismo perfetti secondo le istruzioni di Ross.

Questa variazione è fisica al 100%? Probabilmente no, perché i robot dovrebbero operare con tempistiche arbitrariamente precise. All'avvicinarsi di mezzogiorno, la precisione richiesta alla fine scenderebbe al di sotto del tempo di Planck e creerebbe problemi meccanici quantistici. Ma alla fine, un filo infinito e un reticolo di percolazione infinito potrebbero non essere neanche così fisici. Ciò non ci impedisce di studiare sistemi e processi infiniti e determinare cosa accadrebbe se i vincoli fisici ostruttivi fossero sospesi.

4a. Perché il conteggio della monotonia è violato

Numerosi scettici di Ross si sono chiesti come sia possibile che il numero di palline nell'urna aumenti senza limite mentre ci avviciniamo a mezzogiorno, quindi è zero a mezzogiorno. Alla fine dobbiamo credere in un'analisi rigorosa sulla nostra intuizione, che è spesso sbagliata, ma c'è una variazione del paradosso che aiuta a illuminare questo mistero.

Supponiamo che invece di infinitamente molte palline, abbiamo palline N etichettate da 1, 2, 3, fino a 10 N e pubblichiamo la seguente aggiunta alle regole per il lanciatore di palline:10N10N

  • Se le istruzioni ti chiedono di muovere una palla che non esiste, ignora quell'istruzione.

Nota che il problema originale è invariato se aggiungiamo ad esso questa istruzione, poiché l'istruzione non verrà mai attivata con infinitamente molte sfere. Pertanto, possiamo pensare al problema originale e a questa nuova famiglia di problemi di far parte della stessa famiglia, con le stesse regole. Esaminare la famiglia finita , specialmente per N molto grande , può aiutarci a capire il caso "N = ".NN

In questa variazione, le palline accumulano 9 per passo come prima, ma solo fino al passo del processo. Quindi i numeri per le palline da aggiungere non corrispondono più alle palline reali e possiamo solo rispettare le istruzioni per rimuovere le palline e il processo si interrompe dopo 9 N passaggi aggiuntivi, per un totale di 10 N passaggi. Se NN9N10NN è molto grande, la fase di sola rimozione avviene molto vicino a mezzogiorno, quando i compiti vengono svolti molto rapidamente e l'urna viene svuotata molto rapidamente.

Supponiamo ora di fare questa variazione dell'esperimento per ogni valore di e di rappresentare graficamente il conteggio della palla nel tempo, f N ( t ) , dove t varia da 0 a 1 ora dopo le 11:00 (ovvero dalle 11:00 alle 12:00). Tipicamente f N ( t ) aumenta per un po ', quindi torna a zero in corrispondenza o prima di t = 1 . Nel limite quando N si avvicina all'infinito, il grafico sale sempre più in alto e la caduta è sempre più rapida. A mezzogiorno l'urna è sempre vuota: f N ( 1 ) = 0 . Nel grafico limitativo, f tNfN(t)tfN(t)t=1NfN(1)=0 , la curva si avvicina all'infinito per t < 1 ma f ( 1 ) = 0 . Questo è esattamente il risultato derivato dalla dimostrazione di Ross: il conteggio delle palle diverge all'infinito prima di mezzogiorno, ma è zero a mezzogiorno. In altre parole, la soluzione di Ross mantiene la continuità rispetto a N: il limite puntuale della palla conta come N f(t)=limNfN(t)t<1f(1)=0N corrisponde al conteggio delle palle nell'infinita custodia.

Non considero questo un argomento principale per la soluzione di Ross, ma può essere utile per coloro che sono perplessi sul motivo per cui il conteggio delle palle aumenta per sempre, che si schianta a zero a mezzogiorno. Sebbene strano, è il comportamento limitante della versione finita del problema come , e quindi non si presenta come uno "shock improvviso" nel caso infinito.N

Una riflessione finale

Perché questo problema ha dimostrato di essere un tale catrame per così tanti? La mia ipotesi è che la nostra intuizione fisica sia molto più vaga di quanto pensiamo, e spesso traggiamo conclusioni basate su concezioni mentali imprecise e incomplete. Ad esempio, se ti chiedo di pensare a un quadrato che è anche un cerchio, potresti immaginare qualcosa di quadrato e circolare, ma non sarà esattamente entrambe queste cose - sarebbe impossibile. La mente umana può facilmente unire concetti vaghi e contraddittori in un unico quadro mentale. Se i concetti sono meno familiari, come l'Infinito, possiamo convincerci che questi vaghi mashup mentali sono in realtà concezioni della Cosa Reale.

Questo è esattamente ciò che accade nel problema dell'urna. Non concepiamo veramente tutto in una volta; ne pensiamo a pezzetti, come quante palle ci sono nel tempo. Evitiamo tecnicamente apparentemente irrilevanti, come quello che succede a ogni umile pallina nel tempo, o come esattamente un'urna può contenere infinitamente molte palline. Trascuriamo di esporre con precisione tutti i dettagli, senza renderci conto che il risultato è un miscuglio di modelli mentali incoerenti e incompatibili.

La matematica è progettata per salvarci da questa condizione. Disciplina e accusa di fronte a ciò che non è familiare e all'esotico. Ci chiede di pensarci due volte sulle cose che "devono" essere vere ... giusto?Ci ricorda che non importa quanto siano strane le cose, una e una sono ancora due, una palla è in un'urna o no, e un'affermazione è vera o falsa. Se perseveriamo, questi principi alla fine porteranno chiarezza alla maggior parte dei nostri problemi.

Coloro che subordinano l'analisi matematica alle intuizioni "fisiche" o "di buon senso" lo fanno a loro rischio e pericolo. Agitare a mano sulle intuizioni è solo l'inizio della fisica. Storicamente, tutti i rami della fisica di successo si sono infine basati su una rigorosa matematica, che elimina le intuizioni fisiche errate, rafforza quelli corretti e consente lo studio rigoroso di sistemi ideali, come l'infinito filo portatore di corrente, che illumina il comportamento del mondo reale più complicato e disordinato. Ross-Littlewood è un problema fisico,tipicamente interpretato come uno di meccanica classica, e la meccanica classica ha una base matematica completamente matura e rigorosa. Dovremmo fare affidamento su modelli matematici e analisi per le nostre intuizioni sul mondo della fisica classica, non viceversa.


3
Questa è la strada da percorrere. Tuttavia, il significato completo di "questo non ha nulla a che fare con la probabilità" non è completamente chiaro, perché ci sono ipotesi necessarie sulla probabilità: senza di esse, le conclusioni cambiano. Ad esempio, se assegni probabilità zero in ogni fase alla possibilità di ritirare la palla , la palla 1 rimarrà dopo mezzanotte. 11
whuber

I commenti non sono per una discussione estesa; questa conversazione è stata spostata in chat .
whuber

12

Diversi poster sono stati preoccupati che i calcoli in Ross potrebbero non essere rigorosi. Questa risposta affronta ciò dimostrando l'esistenza di uno spazio di probabilità in cui tutte le serie di risultati considerati da Ross sono effettivamente misurabili, e quindi ripete le parti vitali dei calcoli di Ross.

Trovare uno spazio di probabilità adatto

Per concludere Ross che non ci sono palle nell'urna alle 12 PM, quasi sicuramente, rigoroso, abbiamo bisogno dell'esistenza di uno spazio di probabilità dove l'evento "nessuna palla nell'urna alle 12 PM" può essere costruito formalmente e dimostrato di essere misurabile. A tal fine, useremo il Teorema 33 [Ionescu - Tulcea] in queste note della lezione , leggermente riformulato, e una costruzione suggerita da @NateEldredge in un commento alla domanda.(Ω,F,P)

Teorema. (Ionescu - Teorema di estensione di Tulcea) Considera una sequenza di spazi misurabili . Supponiamo che per ogni n esista un kernel di probabilità κ n da ( Ξ 1 , X 1 ) × × ( Ξ n - 1 , X n - 1 ) a ( Ξ n ,X n )(Ξn,Xn),n=1,2,nκn(Ξ1,X1)××(Ξn1,Xn1)(Ξn,Xn) (prendendo come un kernel insensibile al suo primo argomento, cioè una misura di probabilità). Quindi esiste una sequenza di variabili casuali X n , n = 1 ,κ1 a valori nel corrispondente Ξ n , tale che, per ogni n , la distribuzione congiunta di ( X 1 , ... , X n ) è quello implicito i kernel κ 1 , , κ n .Xn,n=1,2,Ξnn(X1,,Xn)κ1,,κn

Lasciamo denota l'etichetta della palla rimosso al n ° di ritiro. È chiaro che il processo (infinito) X = (Xnn , se esiste, ci dice tutto ciò che dobbiamo sapere per imitare gli argomenti di Ross. Ad esempio, conoscendo X 1 , ... , X m per un numero intero m 0 equivale a conoscere il numero di palline nell'urna dopo il prelievo m : sono precisamente le palline aggiunte con etichette { 1 , 2 ,X=(X1,X2,)X1,,Xmm0m , meno le palle rimosse { X 1 , ... , X m } . Più in generale, gli eventi che descrive quali e quanti, palle sono nell'urna dopo ogni data di ritiro può essere espressa in termini di processo X .{1,2,,10m}{X1,,Xm}X

Per conformarci all'esperimento di Ross abbiamo bisogno che, per ogni , la distribuzione di X nX n - 1 , ... , X 1 sia uniforme su { 1 , 2 , ... , 10 n } X 1 , ... , X n - 1 . Abbiamo anche bisogno che la distribuzione di X 1 sia uniforme su { 1 , , 10 }n2XnXn1,,X1{1,2,,10n}X1,,Xn1X1{1,,10}. Per dimostrare l' esistenza di un processo infinito con queste distribuzioni a dimensione finita, controlliamo le condizioni del teorema di estensione Ionescu-Tulcea. Per qualsiasi numero intero n , sia I n = { 1 , 2 , , n } e definisca gli spazi misurabili ( Ξ n , X n ) = ( I 10 n , 2 I 10 n )X=(X1,X2,)nIn={1,2,,n}(Ξn,Xn)=(I10n,2I10n), Dove indica la potenza impostata dell'insieme B . Definire la misura κ 1 su ( Ξ 1 , X 1 ) sia l'uno che mette massa 1 / 10 su tutti gli elementi Ξ 1 . Per ogni n 2 , e ( x 1 , , x n - 1 ) Ξ 1 × × Ξ n - 1 definire κ2BBκ1(Ξ1,X1)1/10Ξ1n2(x1,,xn1)Ξ1××Ξn1 è il kernel di probabilità che mette uguale massa su tutti i punti in Ξ n{ x 1 , , x n - 1 } e massa zero su tutti gli altri punti, cioè sugli interi x iΞ n , i = 1 , , n - 1κn(x1,,xn1,)Ξn{x1,,xn1}xiΞn,i=1,,n1. Per costruzione, i kernel di probabilità concordano con la probabilità di rimozione uniforme specificata da Ross. Pertanto, il processo infinito e lo spazio di probabilità ( Ω , F , P ) , la cui esistenza sono dati dal teorema, ci danno un modo per portare formalmente l'argomento di Ross.X(Ω,F,P)

Sia denota l'insieme dei risultati in modo tale che la palla i sia nell'urna dopo il ritiro n . In termini del nostro processo stocastico X ciò significa che, per tutti i e n tale che i 10 n definiamo E i n th. Per i > 10 n possiamo definire chiaramente E i n = poiché la palla i non è ancora stata aggiunta al turno. Per ogni j eEininXini10n , cioè sfera io non ero rimosso in una qualsiasi delle estrazioni fino al nEin=j=1n{ω:Xj(ω)i}ini>10nEin=ij , l'insieme { ω : X j ( ω ) i } è misurabile poiché X j è una variabile casuale (misurabile). Così, E i n è misurabile come interesection finita di insiemi misurabili.i{ω:Xj(ω)i}XjEin

Siamo interessati alla serie di risultati in modo tale che non ci sono nessun palline nell'urna alle ore 12 Cioè, la serie di risultati tali che per ogni intero , palla che non è nell'urna alle 12:00 Per ogni ioi=1,2ii , permettetemi l'insieme dei risultati ( w Ohm ) tale che la palla mi è nell'urna alle 12:00 possiamo costruire E ho formalmente usando la nostra E io n come segue. Che ioEiωΩiEiEiniè nell'urna alle 12 PM equivale a essere nell'urna dopo ogni prelievo effettuato dopo che è stato aggiunto all'urna, quindi . L'insieme dei risultati E i è ora misurabile come intersezione numerabile di insiemi misurabili, per ogni i .Ei=n:i10nEinEii

I risultati per i quali esiste almeno una palla nell'urna alle 12:00 sono quelle per le quali almeno una delle Ei , ovvero . L'insieme dei risultati E è misurabile come unione numerabile di insiemi misurabili. Ora, Ω E è l'evento in cui non ci sono palle nell'urna alle 12 PM, che è effettivamente misurabile come il complemento di un set misurabile. Concludiamo che tutti i set desiderati di risultati sono misurabili e possiamo passare a calcolare le loro probabilità, come fa Ross.E=i=1EiEΩE

Calcolo della probabilità P(ΩE)

Notiamo per prima cosa poiché la famiglia di eventi è numerabile, disponiamo per sub-additività numerabile di misure cheEi,i=1,2,

Per facilità di notazione, denotiamo il numero reale P ( E i ) = a i per tutti i . Chiaramente, per mostrare che P ( E ) = 0 è sufficiente dimostrare che Σ N i

P(E)i=1P(Ei)=limNi=1NP(Ei).
P(Ei)=aiiP(E)=0per tuttiN. Ciò equivale a mostrare cheai=0per ognii, cosa che faremo ora.i=1Nai=0Nai=0i

A tal fine, nota che per tutte le tale palla i è stata aggiunta all'urna, cioè 10 n i , E i nE i ( n + i n = P ( E i n ) . Ross dimostra che un 1 nni10ni . Questo perché se la pallaiè nell'urna al passaggion+1, è anche nell'urna al passaggion. In altre parole, le serie E i n formano una sequenza decrescente per tutte lentale che10ni. Per facilità di notazione, lascia aEinEi(n+1)in+1nEinn10niun'ion=P(Eion) come n e afferma che questo può anche essere visualizzato per tutti gli altri [ 9 k / ( 9 k + 1 ) ] e lim n a i n =un'1n0n , che prenderò come vero. La prova consiste nel mostrare che a i n = n k = iioun'ion=ΠK=ion[9K/(9K+1)] per tutti i , un calcolo elementare ma lungo che non ripeterò qui. Grazie a questo risultato e al fatto che la famiglia di eventi E i n , 10 n > i è numerabile per ognii, la continuità delle misure dàlimnun'ion=0ioEion10n>io

un'io=P(n:10n>ioEion)=limnP(Eion)=limnun'ion=0.

Concludiamo che , e quindi P ( Ω E ) = 1 come rivendicato. QED.P(E)=0P(ΩE)=1


Alcuni fraintendimenti comuni:

  1. Una risposta riguarda il fatto che (nella mia notazione) . Ciò, tuttavia, non ha alcuna influenza sulla validità della soluzione poiché la quantità sul lato destro non è quella di interesse per l'argomento fornito.limNΣio=1Nlimnun'ionlimNΣio=1Nun'ioN
  2. C'è stato un certo timore che il limite non possa essere spostato all'interno della somma, o in altre parole non possa essere scambiato con la somma, nel senso che può accadere che . Come l'osservazione precedente, questo è irrilevante per la soluzione perché la quantità sul lato destro non è quella di interesse.Σio=1limnun'ionlimnΣio=1un'ion

4
@ekvall Kudos per aver inserito questo lavoro ingrato. Ciò che le persone dovrebbero generalmente capire è che, se si definiscono alcuni eventi e si eseguono operazioni di set numerabili su quegli eventi, i set risultanti sono misurabili nell'algebra sigma generata da quegli eventi. Questo è esattamente ciò che le algebre sigma sono progettate per fare: darci un universo in cui possiamo fare operazioni di set numerabili senza alcuna preoccupazione per la misurabilità.
Paul,

I commenti non sono per una discussione estesa; questa conversazione è stata spostata in chat .
whuber

10

Da un lato, potresti provare a spiegarlo in questo modo: "pensa alla probabilità che una pallina mi trovi sull'urna alle 12 PM. Durante gli infiniti sorteggi casuali, alla fine verrà rimossa. Dato che vale per tutte le palline, nessuna alla fine possono esserci ".

Non trovo questa discussione convincente. Se questo argomento funziona, allora funziona il seguente argomento: Ogni anno nascono alcune persone (diciamo una frazione costante della popolazione totale) e alcune persone muoiono (supponiamo che una frazione costante). Quindi, poiché nel limite ogni persona in particolare è quasi sicuramente morta, allora la razza umana deve estinguersi! Ora, la razza umana potrebbe estinguersi per altri motivi, ma questa discussione è spazzatura.

Non ha senso che questo problema abbia una soluzione quando le palline sono numerate e che ha una risposta totalmente diversa quando le palline sono anonime. Per simmetria, le etichette arbitrarie non dovrebbero influire sulla soluzione. Jaynes definì questo argomento il principio di indifferenza , che accetto.

In altre parole, se qualcuno ti dicesse che hanno messo dieci palline in un'urna e ne hanno rimosso ripetutamente una, e quanto è piena l'urna nel limite, la tua risposta sarebbe "Dipende dal fatto che le palline siano numerate"? Ovviamente no. Il contenuto di quell'urna diverge proprio come l'urna in questo problema.

Pertanto, penso che la soluzione risieda nel modo in cui formalizziamo il problema. Dalla solita definizione di limite teorico impostato , abbiamo

lim sup n S n =

lim infnSn=n1jnSj.
lim supnSn=n1jnSj

Lascia che sia il limite della cardinalità del set

Klimn|Sn|

e la cardinalità del -limit del set sialim inf

l|lim infn(Sn)|.

Propongo di ridefinire il limite teorico impostato in modo che:

limnSn{lim infn(Sn)Se lim infn(Sn)=lim supn(Sn),K esiste e K=lαKSe lim infn(Sn)=lim supn(Sn),K esiste e Klnon definitoaltrimenti.

Questo speciale "set anonimo" descrive cosa succede all'infinito. Proprio come rappresenta il comportamento limitante dei numeri, α rappresenta il comportamento limitante degli insiemi. Vale a dire, abbiamo i α ki e | α k | = k . Il vantaggio di questo formalismo è che ci dà continuità di cardinalità e coerenza con il principio di indifferenza .αKαioαKio|αK|=K

Per il problema dell'urna, abbiamo è l'insieme di palline nell'urna. E lim n Sn={n+1,...,10n} Pertanto, gli elementi non "cadono da una scogliera" all'infinito, il che non ha più senso di quanto abbia senso per l'umanità estinguersi semplicemente perché nessun uomo è immortale.

limnSn=α.

Allo stesso modo, supponiamo di modificare il problema in modo che ad ogni passo venga aggiunta una palla e la palla con il numero più basso venga rimossa. Quindi, quante palle ci sono nell'urna nel limite? I set anonimi danno la risposta intuitiva:

limn{n}=α1.

Riconosco che i matematici non possono essere d'accordo sulle risoluzioni a questo paradosso, ma per me questa è la risoluzione più intuitiva.


8
Chiunque sostenga che la matematica deve essere risolta deve fornire una dimostrazione molto convincente del perché. Altrimenti, la posizione predefinita deve essere che l'intuizione di una persona merita una correzione. Altrimenti, possiamo a malapena affermare di aver fatto progressi oltre Zeno negli ultimi 2500 anni.
whuber

5
Se accetti gli assiomi di probabilità regolari e se accetti ulteriormente che la probabilità che una determinata palla sia nell'urna è zero, allora per disuguaglianza di Boole sei tenuto ad accettare che la probabilità che nessuna delle palle sia nell'urna è una.
Carlos Cinelli,

5
La tua razza umana non è condannata all'estinzione perché non raggiungeremo mai un punto in cui si sono verificate infinite nascite / morti - non è mai necessario prendere il limite. Il fatto che alle 12.00 siano successe infinite cose, è praticamente la fonte chiave del problema.
Ben Millwood,

6
-1. Considera la modifica di questo paradosso quando la palla #n viene rimossa nella fase n-esima (invece di una palla casuale). È chiaro che zero palle rimarranno a mezzanotte (perché ogni palla verrà rimossa nel passaggio corrispondente) ma stiamo ancora aggiungendo 10 palle e rimuovendo solo 1 palla ad ogni passaggio, quindi direi che non è intuitivo. Tuttavia, questa modifica non ha nulla a che fare con probabilità o statistiche. Quindi non ci può essere alcun "fallimento delle statistiche moderne" qui.
ameba,

6
@NeilG Questo punto è stato esplicitamente sottolineato sul post di MathOverflow e sulla risposta di ameoba. La cardinalità non è un'operazione continua, quindi solo perché non significa | S i | 0 . Il calcolo non è rotto, ma piuttosto hai inventato una regola limite che non esiste. Si|Si|0
Mario Carneiro,

6

Il problema è o mal formato o non nella logica del primo ordine.

Causa principale: l'esecuzione dell'ultimo "passo" scriverà un numero infinito di cifre su una palla, facendo sì che quel passo impieghi un tempo infinito per essere eseguito.

La capacità di eseguire un processo infinito con un passaggio infinito implica la capacità di risolvere tutti i problemi logici del primo ordine ( Gödel è quindi falso) la seguente sequenza H (per teorema X):

Z = asymptotic_coroutine(
  FOR N = 1...∞
    FOR P = 1...N
      Convert number P to string S by characters.
      IF S is a proof for theorem X
      THEN
        OUTPUT "yes" and HALT
) + asymptotic_coroutine(
  FOR N = 1...∞
    FOR P = 1...N
      Convert number P to string S by characters.
      IF S is a proof for theorem ¬X
      THEN
        OUTPUT "no" and HALT
)
IF Z = "" 
THEN Z = "independent"
IF Z = "yesno" ∨ Z = "noyes"
THEN Z = "paradox"
OUTPUT Z

dove il passo infinito sta annullando l'output

Il programma all'interno della asymptotic_coroutine è semplicemente una ricerca esaustiva di un teorema che dimostra (o confuta) X. La conversione di P in S risulta in "aa", "ab", "ac", ... "a∨", ... dove viene generato ogni simbolo che può apparire in un teorema. Ciò si traduce nella generazione a turno di tutti i teoremi dei caratteri di log di lunghezza N. Poiché N cresce senza limiti nel circuito esterno, questo alla fine genererà tutti i teoremi.

Il lato falso non finirà mai, ma non dobbiamo preoccuparcene perché ci è permesso eseguire infiniti passaggi. In effetti dipendiamo dalla possibilità di farlo per rilevare l'indipendenza poiché entrambe le parti non finiranno mai. Tranne una cosa. Abbiamo permesso di eseguire un numero infinito di passaggi in un tempo finito con un aumento asintotico della velocità di esecuzione. Questa è la parte sorprendente. La routine asintomatica che non finisce mai e non genera mai l'output è "finita" * dopo il tempo asintotico e non ha ancora generato alcun output.

* Se posizionassimo un OUTPUT dopo FOR N = 1 ... ∞ non ​​verrebbe raggiunto ma non lo faremo.

La forte forma del teorema di incompletezza di Gödel può essere dichiarata "Per ogni sistema logico di primo ordine F c'è un'affermazione G F che è vera in F ma non può essere dimostrata vera in F." Ma il metodo di prova H non può non dimostrare tutte le affermazioni che devono essere vere in F (H).

Dilemma: ¬Gödel ∨ ¬ (sono ammessi infiniti passaggi)
Pertanto:
Dilemma: ¬Gödel ∨ ¬ (315502 è ben formato nella logica del primo ordine)


1
Buon punto (+1). Si noti che esiste una ricerca sulle macchine di Turing a tempo infinito, vedere ad esempio arxiv.org/abs/math/0212047v1 e mathoverflow.net/a/22038 . Naturalmente non è il primo ordine.
ameba,

5
Giosuè, la tua risposta presuppone la consapevolezza che la maggior parte delle persone qui non ha familiarità, quindi non saranno in grado di giudicarla. Se potessi approfondire sarebbe fantastico.
Carlos Cinelli,

Per qualsiasi numero finito, la lunghezza è finita. Per qualsiasi numbe infinito (aka transfinito), può essere scritto in forma normale Cantor, che è di lunghezza finita. Potrebbe essere chiamato "base infinito". Quindi scrivere cifre non è un limite.
Craig Hicks,

@CraigHicks: non funziona quando hai dovuto annotare anche tutti i numeri intermedi. Suggerimento: qual è il vincolo di interruzione sul loop quando passa dall'intero di base 10 all'output della forma normale di cantor.
Giosuè il

Questo è solo un vincolo per una macchina che non ha nella sua tabella dei simboli. Per analizzare a tempo finito il processo infinito +10 -1 descritto da Ross, non è necessario simulare l'intero processo. Un programma intelligente si collegherebbe a Mathematica e lo farebbe molto più velocemente.
Craig Hicks il

4

Sia x il numero di palline che sono state rimosse e y il numero di palline rimaste. Dopo ogni ciclo y = 9x. Come x> 0, y> 0. Ci saranno infinite palle nell'urna alle 12:00.

La ragione per cui le soluzioni basate sulle probabilità portano a difficoltà è che le probabilità di serie infinite sono difficili. ET Jaynes ha scritto di alcuni diversi paradossi apparenti di probabilità, come questo, nel suo libro Probability Theory: The Logic of Science . Non ho la mia copia a portata di mano, ma la prima parte del libro è disponibile online da Larry Bretthorst qui . La seguente citazione è dalla prefazione.

Tuttavia, quando tutto è detto e fatto, scopriamo, con nostra sorpresa, che rimane poco più che un semplice accordo filosofico; su molte questioni tecniche non siamo fortemente d'accordo con de Finetti. Ci sembra che il suo modo di trattare insiemi infiniti abbia aperto una scatola di Pandora di paradossi inutili e inutili; nonconglomerabilità e additività finita sono esempi discussi nel capitolo 15.

Il paradosso di insiemi infiniti è diventato un'infezione morbosa che si sta diffondendo oggi in un modo che minaccia la vita stessa della teoria della probabilità e richiede l'immediata rimozione chirurgica. Nel nostro sistema, dopo questo intervento chirurgico, tali paradossi vengono evitati automaticamente; non possono derivare dalla corretta applicazione delle nostre regole di base, poiché tali regole ammettono solo insiemi finiti e insiemi infiniti che sorgono come limiti ben definiti e ben educati di insiemi finiti. Il paradosso è stato causato dal (1) saltare direttamente in un insieme infinito senza specificare alcun processo di limitazione per definirne le proprietà; e poi (2) porre domande le cui risposte dipendono da come è stato raggiunto il limite.

Ad esempio, la domanda: "Qual è la probabilità che un numero intero sia pari?" Può avere qualsiasi risposta per favore in (0, 1), a seconda di quale processo limitante è definire "l'insieme di tutti i numeri interi" (proprio come un le serie condizionatamente convergenti possono essere convertite in qualsiasi numero per favore, a seconda dell'ordine in cui disponiamo i termini).

A nostro avviso, non si può dire che un insieme infinito possieda alcuna “esistenza” e proprietà matematiche - almeno nella teoria della probabilità - fino a quando non abbiamo specificato il processo limitante che è quello di generarlo da un insieme finito. In altre parole, navighiamo sotto lo stendardo di Gauss, Kronecker e Poincar ́e piuttosto che Cantor, Hilbert e Bourbaki. Speriamo che i lettori che ne rimangano scioccati studino l'accusa di bourbakismo da parte del matematico Morris Kline (1980), e poi sopportino con noi il tempo necessario per vedere i vantaggi del nostro approccio. Gli esempi compaiono in quasi tutti i capitoli.

L'uso dei limiti nella risposta di @enumaris (+1) fornisce un modo per aggirare la delicatezza degli infiniti nella probabilità.


5
Ti preghiamo di mostrarci quali leggi di probabilità giustificano la tua conclusione nel primo paragrafo. Senza questo, stai solo facendo un'asserzione infondata.
whuber

3
Il problema non deriva dalle leggi della probabilità, ma quando le persone non riconoscono o usano correttamente le leggi della probabilità. Non è una risoluzione di un paradosso negare gli assiomi e le tecniche che altrimenti si usano per ragionare in altre circostanze.
whuber

4
La frase "a caso" nella domanda richiede considerazione delle probabilità. Altrimenti, cosa intendi con "a caso"?
whuber

4
Le tue risposte mancano il punto. Tutto ciò che chiedo è che cosa potresti voler dire con "a caso" se non (ovviamente inteso) in modo uniforme a caso e, indipendentemente da come proponi di ragionare su un processo casuale dichiarato esplicitamente se non con una teoria della casualità?
whuber

5
Devo ancora vedere alcun valido ragionamento probabilistico nel tuo post, Michael.
whuber

4

Qual è la migliore spiegazione che possiamo dare loro per risolvere queste intuizioni contrastanti?

Ecco la risposta migliore e ha ben poco a che fare con le probabilità. Tutte le palle hanno numeri, chiamiamoli numeri di nascita. I numeri di nascita iniziano da B1, B2, B3 ... e vanno all'infinito, perché davvero non ci fermiamo mai. Ci avviciniamo alle 12:00, ma continuiamo ad aggiungere e rimuovere palline, ecco perché non c'è un numero finale di palline. Questa è una considerazione molto importante, tra l'altro.

Mettiamo le palline in una scatola in 10 lotti di palline, come il lotto # 7: B71, B72, ..., B80. Dimentichiamoli per un minuto e concentriamoci sulle palle che vengono rimosse dalla scatola. Vengono a caso ordine . Spiegherò perché la casualità è importante in seguito, ma per ora tutto ciò che significa è che qualsiasi palla con un numero di brith da B1 a B10k che è ancora nella casella al punto K può essere estratta. Indiceremo le palline che rimuoviamo dall'ordine in cui sono state rimosse, chiamiamole numeri di morte: D1, D2, D3 ... DK.

Alle 12:00 abbiamo messo un numero infinito di palline in una scatola e sicuramente non abbiamo mai finito le palline per rimuoverle. Perché? Perché prima abbiamo messo 10 palline, ALLORA SOLO rimuoverne una. Quindi, c'è sempre una palla da rimuovere. Ciò significa che abbiamo rimosso anche un numero infinito di palline entro le 12:00.

Questo significa anche che ogni pallina rimossa è stata indicizzata da 1 a infinito, cioè che potremmo accoppiare ogni pallina rimossa a una palla che è stata messa nella scatola: da B1 a D1, da B2 a D2, ecc. Ciò significa che abbiamo rimosso tante palle quante abbiamo inserito, perché ogni numero di nascita era associato a ciascun numero di morte.

Questa era la soluzione. Perché sconfigge il nostro intuito? È elementare, dottor Watson. Il motivo è perché sappiamo sicuramente che per tutte le K vale: Ecco perché dopo K passi, non dovremmo essere in grado di rimuovere tutta la palla dalla scatola, perché mettiamo 10K palle e ne rimuoviamo solo K. Giusto?

K<10K

C'è un piccolo problema Il fatto è che quando non è più vero: 10 × Ecco perché l'intuizione si interrompe.K=

10×

Ora, se le palle non sono state rimosse a caso. Due cose possono accadere come nella risposta canonica di @ amoeba. Innanzitutto, supponiamo di mettere 10 palline e di rimuovere immediatamente l'ultima. È come se stessimo inserendo solo nove palline. Questo corrisponderà al nostro intuito, e alle 12:00 ci sarà un numero infinito di palline. Come mai? Poiché non stavamo rimuovendo le palline in modo casuale, stavamo seguendo l'algoritmo in cui i numeri di nascita erano accoppiati ai numeri di morte come al momento della rimozione . Quindi, abbiamo abbinato ogni palla rimossa a una delle palle che abbiamo inserito: B 10 D 1 , B 20 D 2 , 30B10K=DK , questo significa che una tonnellata di palle non è mai stata accoppiata mai B1, B2, ..., B9, B11, ... ecc.B10D1,B20D2,B30D3,

La seconda cosa che può accadere con la rimozione della palla non casuale è anche correlata all'accoppiamento alla rimozione: correliamo BK = DK. Possiamo farlo rimuovendo una palla con BK ad ogni passo K, il che assicura che BK sia accoppiato a DK. In questo modo ogni palla rimossa viene accoppiata con ogni palla che inseriamo, cioè lo stesso risultato finale come nel sorteggio casuale di palle rimosse. Ovviamente, questo significa che non ci sono palle rimaste nella scatola dopo le 12:00.

Ho appena dimostrato che il problema ha molto poco a che fare con le probabilità di per sé. Ha tutto a che fare con i poteri di infiniti insiemi numerabili (?). L'unico vero problema che ho evitato di discutere è se i set sono davvero numerabili. Quando ti avvicini alle 12:00, la frequenza degli inserti a sfera aumenta piuttosto rapidamente, per dirla leggermente. Quindi, non è così banale immaginare se il numero di palline che mettiamo nella scatola sia effettivamente numerabile.

Svelare

Ora, svelerò questa soluzione canonica del paradosso e tornerò al nostro intuito.

Com'è possibile che mettiamo 10 palline dentro, ne rimuoviamo una e finiamo ancora tutte le palline a 12 ore? Ecco cosa sta realmente accadendo. 12 ore non sono raggiungibili .

Lasci riformulare il problema. Non dimezziamo più gli intervalli di tempo. Mettiamo e rimuoviamo le palle ogni minuto. Non è esattamente lo stesso del problema originale? Sì e no.

Sì, perché da nessuna parte nella mia esposizione precedente ho fatto esplicito riferimento al tempo, ma alla fine. Stavo contando i passaggi k. Quindi, possiamo continuare a contare i passi e le palle morte per k.

No, perché ora non ci fermeremo mai . Continueremo ad aggiungere e rimuovere le palline fino alla fine dei tempi, che non arriva mai. Mentre nel problema originale la fine è alle 12 ore.

Questo spiega come la nostra intuizione fallisce. Sebbene mettiamo le palline con un tasso di rimozione di 9 volte, poiché il tempo non finisce mai, ogni pallina che mettiamo verrà rimossa alla fine! Potrebbe richiedere un numero infinito di minuti, ma va bene, perché abbiamo un numero infinito di minuti rimanenti. Questa è la vera soluzione del problema.

In questa formulazione chiederesti "quante palle ci sono nella scatola dopo che l'infinito è finito?" No! Perché è una domanda senza senso. Ecco perché anche la domanda originale è priva di senso. O potresti chiamarlo mal posto.

Ora, se torni al problema originale, apparentemente la fine dei tempi accade. È alle 12. Il fatto che abbiamo smesso di mettere le palle significa che il tempo è appena finito e abbiamo raggiunto oltre la fine. Quindi, la vera risposta alla domanda è che le 12 non dovrebbero mai verificarsi. È irraggiungibile.


2
@MartijnWeterings, non ho fatto le probabilità perché il paradosso è stato costruito appositamente per sfruttare le basi teoriche di misura delle probabilità. Chiunque abbia creato il paradosso deve prima aver capito che si tratta del potere di infiniti insiemi numerabili. Ecco perché è presentato in tre versioni nel libro come nella risposta di ameba. La prima versione mostra come un insieme di ogni decimo numero naturale abbia la stessa potenza dell'insieme di tutti i numeri naturali, ad esempio. La seconda e la terza versione sono essenzialmente le stesse. La probabilità qui è solo il paesaggio, tutta l'azione è in serie.
Aksakal,

1
Questo ragionamento non sembra essere in grado di distinguere tra le versioni 1 e 2 dal libro di Ross (vedi la mia risposta), anche se queste versioni portano a risultati opposti: in un caso l'urna si svuota e in un altro non .
amoeba,

1
Penso che la verità sia che non puoi raggiungere 12. Questa è la vera soluzione. Considera lo stesso problema ma invece di dimezzare il tempo ad ogni passo fai passi di uguale durata nel tempo, diciamo 1 minuto. Questo andrà avanti per sempre. Non si fermerà mai. Ma la domanda sarà "quando fermi cosa c'è nella scatola?" Quindi la tua risposta sarà che è una domanda senza senso perché il tempo non finisce mai.
Aksakal,

1
No. Questo non è un tempo normale. Questo è il punto. Questo problema imposta il tempo in un modo molto diverso rispetto al tempo fisico ordinario. L'urna è infinita ed è ok
Aksakal il

1
Sei un fisico? Quale processo fisico sai che assomiglia anche a questo remoto?
Aksakal,

3

Vale la pena leggere la risposta di ameba che è semplicemente eccellente e chiarisce molto il problema. Non sono esattamente in disaccordo con la sua risposta, ma voglio sottolineare che la soluzione del problema si basa su una determinata convenzione. Ciò che è interessante è che questo tipo di problema mostra che questa convenzione, sebbene usata spesso, è discutibile.

Proprio come dice che c'è un punto tecnico nel dimostrare che per ogni palla la probabilità di rimanere nell'urna per sempre è 0. A parte questo punto, il problema non riguarda le probabilità. Un equivalente deterministico può essere dato. È molto più facile da capire. L'idea chiave è: poiché ogni palla è assente dall'urna da un certo punto nel tempo, l'urna alla fine è vuota. Se rappresenti la presenza nell'urna di ogni palla con una sequenza di zeri e di uno, ogni sequenza è 0 da un certo intervallo, quindi il suo limite è 0.

Ora il problema può essere semplificato ancora di più. Chiamo i momenti 1, 2, 3 .... per semplicità:

  • momento 1: metti la palla 1 nell'urna
  • momento 2: rimuoverlo
  • momento 3: metti la palla 2 nell'urna
  • momento 4: rimuoverlo
  • momento 5: metti la palla 3 nell'urna
  • ...

Quali palle alla fine (mezzogiorno)? Con la stessa idea, stessa risposta: nessuna.

Ma fondamentalmente, non c'è modo di saperlo, perché il problema non dice cosa succede a mezzogiorno. In realtà, è possibile che alla fine dei tempi, Pikachu arrivi improvvisamente nell'urna. O forse tutte le palle improvvisamente collassano e si fondono in una grande palla. Non significa che questo sia pensato per essere realistico, non è semplicemente specificato.

Il problema può essere risolto solo se una determinata convenzione ci dice come andare al limite: un'ipotesi di continuità. Lo stato dell'urna a mezzogiorno è il limite dei suoi stati prima. Dove dovremmo cercare un presupposto di continuità che ci aiuti a rispondere alla domanda?

Nelle leggi fisiche? Le leggi fisiche assicurano una certa continuità. Penso a un modello classico semplicistico, che non invoca la vera fisica moderna. Fondamentalmente, le leggi fisiche porterebbero esattamente le stesse domande di quelle matematiche: il modo in cui scegliamo di descrivere la continuità per le leggi fisiche si basa sul porre la domanda matematicamente: che cosa è continuo, come?

{0;1}

Ma ora modifichiamo un po 'il problema per sfidare questa topologia:

  • momento 1: metti la palla 1 nell'urna
  • momento 2: rimuoverlo
  • momento 3: metti la palla 1 nell'urna
  • momento 4: rimuoverlo
  • momento 5: metti la palla 1 nell'urna
  • ...

Per la stessa topologia, la sequenza di stati non ha limiti. È qui che inizio a vedere il paradosso come un vero paradosso. Per me questo problema modificato è essenzialmente lo stesso. Immagina di essere l'urna. Vedi le palle che vanno e vengono. Se non riesci a leggere il numero su di esso, se si tratta della stessa palla o di un'altra non cambia ciò che ti sta accadendo. Invece di vedere le palle come singoli elementi distinti, le vedi come una quantità di materia che entra e esce. La continuità potrebbe naturalmente essere definita osservando le variazioni della quantità di materia. E non c'è davvero alcun limite. In un certo senso questo problema è lo stesso del problema originale in cui si decide di ignorare l'identità della palla, portando così a una diversa metrica e una diversa nozione di convergenza. E anche se potessi vedere il numero sulle palle,

In un caso, il limite della sequenza dei tuoi stati è "vuoto", nell'altro caso il limite non è definito.

La formalizzazione del problema con la topologia del prodotto si basa fondamentalmente sulla separazione di ciò che accade a ciascuna sfera diversa e sulla creazione di una metrica che riflette la "distinzione". Solo a causa di questa separazione, è possibile definire un limite. Il fatto che questa separazione sia così fondamentale per la risposta ma non fondamentale per descrivere "cosa sta succedendo" nell'urna (un punto che è infinitamente discutibile), mi fa pensare che la soluzione sia la conseguenza di una convenzione piuttosto che una verità fondamentale.

Per me, il problema, se considerato puramente astratto, ha una soluzione fintanto che vengono fornite le informazioni mancanti: che lo stato a mezzogiorno è il limite degli stati precedenti e il limite in che senso. Tuttavia, quando si pensa a questo problema in modo intuitivo, il limite della sequenza di stati non è qualcosa che si può pensare in un unico modo. Fondamentalmente, penso che non ci sia modo di rispondere.


1
La risposta al problema originale non dipende dalla formalizzazione. Le variazioni del problema proposte non sono formalità diverse dello stesso problema, sono problemi diversi.
Paul,

1
Sono d'accordo con @Paul ma sto solo commentando qui per dire che trovo l'esempio di mettere 1 palla su passaggi dispari e portarlo su passaggi pari interessanti. Questa serie di stati dell'urna chiaramente non ha alcun limite che IMHO significa che questo " supertask " è mal definito e non può essere completato. Ciò è in contrasto con il supertask di cui stiamo discutendo qui.
Amoeba,

1
Interessante riscrivere Benoit! Questa è certamente una coppia di super-attività stimolanti. @Paul, non perdere la modifica.
amoeba,

1
Per me i numeri sulle palle fanno la differenza nel mondo nei due nuovi problemi di urna di Benoit. È la differenza tra avere un visitatore ricorrente molto persistente e guardare una fuga. È difficile dire cosa accada al visitatore ricorrente a mezzogiorno, ma con la fuga è molto facile vedere che passerà senza lasciare nulla alle spalle. È solo quando ignori il fatto critico delle distinte identità delle palline che perdi la prospettiva e tutto sembra confuso allo stesso modo. I numeri sono lì per ricordarci di quelle identità. Ignorarli non è fisico.
Paul,

1
Sì, sono d'accordo, per la versione ricorrente a palla singola. Per la fuga di palla numerata in sequenza, è facile dimostrare che nessuna palla è nell'urna a mezzogiorno.
Paul,

3

I want to make a reformulation that is as easy as possible to make the answer of 0 more intuitive, starting from the simplified example that balls are not removed randomly, but ball n is removed at the n-th step.

Consider this: I put all balls into the urn at the beginning. In step 1, I take out ball 1. In step 2, I take out ball 2, and so on. Any doubt that the urn will be empty after infinite steps?

Okay. But if I don't put all balls into the urn at first, but only some balls, how could the urn be fuller in the end?


1
+1. Bello. È come se ogni persona uno a uno si trasferisse dall'Hotel Hilbert completamente occupato ; l'hotel sarà lasciato vuoto.
Amoeba,

Dopo ogni passaggio finito n, l'urna non è vuota. Le transazioni tuttavia possono avvenire solo a passi finiti. Contraddizione.
Wilhelm,

@Wilhelm Puoi approfondire questo? Non capisco il punto.
Thern,

@Thern: una palla può essere rimossa solo a un passo finito n. Ma dopo ogni passo finito ci sono delle palle nell'urna (nell'esempio originale e nel tuo). Pertanto il limite non può essere vuoto. Altrimenti deve essere successo qualcosa tra tutti i passaggi finiti e il limite. Contraddizione.
Wilhelm,

La contraddizione è creata dalla tua convinzione nel seguente principio: "Quando i membri di una sequenza hanno una proprietà che mi piace, quella proprietà viene preservata prendendo il limite della sequenza". Questo non è un principio valido della matematica (o fisica per quella materia).
Paul,

3

Lo scopo di questo post è di discutere per l'ultima opzione dei PO che abbiamo bisogno di una formulazione migliore. O almeno, la prova di Ross non è così chiara come può sembrare all'inizio, e certamente, la prova non è così intuitiva da essere in una buona posizione per essere in un corso introduttivo per la teoria della probabilità. Richiede molte spiegazioni sia nella comprensione degli aspetti paradossali, sia una volta chiarita la spiegazione nei punti in cui la prova di Ross passa molto rapidamente, rendendo difficile vedere da quali assiomi, teoremi e interpretazioni implicite da cui dipende la prova.

In relazione a questo aspetto è molto divertente leggere le ultime parole di Teun Koetsier in "Didactiek met oneindig veel pingpongballen?"

Als we niet oppassen dan wordt het "Paradoxes a window to confusion".

Tradotto "Se non stiamo attenti allora diventa 'Paradossi una finestra di confusione'"

Di seguito è una descrizione degli argomenti "regolari" che possono passare nelle discussioni sui superattività, e più specificamente il paradosso deterministico di Ross-Littlewood. Dopo questo, quando mettiamo da parte tutta questa discussione, viene dato uno sguardo al caso speciale del paradosso probabilistico Ross-Littlewood come fornire elementi aggiuntivi , che tuttavia si perdono e confondono nell'ambiente più ampio con i super-compiti.

Tre casi deterministici e discussione sui superattività

Il paradosso di Ross-Littlewood conosce molti risultati diversi a seconda del modo in cui le palle vengono spostate dall'urna. Per indagare su questi, iniziamo usando la descrizione esatta del problema come Littlewood descrive come il quinto problema nel suo manoscritto del 1953

Versione 1 Il set di palline rimaste nell'urna è vuoto

Il paradosso di Ross-Littlewood, o paradosso di Littlewood-Ross, apparve per la prima volta come il quinto problema nel manoscritto di Littlewood del 1953 "miscellanea di un matematico"

Un paradosso infinito. Le palle numerate 1, 2, ... (o per un matematico i numeri stessi) vengono messe in una scatola come segue. A 1 minuto a mezzogiorno vengono inseriti i numeri da 1 a 10 e il numero 1 viene rimosso. A 1/2 minuto a mezzogiorno vengono inseriti i numeri da 11 a 20 e il numero 2 viene rimosso e così via. Quanti ce ne sono a mezzogiorno?

Littlewood è a corto di questo problema, ma offre una buona rappresentazione come insieme di punti:

P1+P2+...+P10-P1+P11+...+P20-P2+...

per il quale si nota facilmente che è "null".

Versione 2 Il set di palline rimaste nell'urna ha una dimensione infinita

Ross (1976) aggiunge altre due versioni a questo paradosso. Per prima cosa diamo un'occhiata alla prima aggiunta:

Supponiamo di possedere un'urna infinitamente grande e una collezione infinita di palline etichettate con la palla numero 1, numero 2, numero 3 e così via. Considera un esperimento eseguito come segue: da 1 minuto a 12 PM, le palline numerate da 1 a 10 vengono posizionate nell'urna e la pallina numero 10 viene ritirata. (Supponi che il ritiro non richieda tempo.) Dalle 12 alle 12 PM, le palline numerate da 11 a 20 vengono posizionate nell'urna e la pallina numero 20 viene ritirata. Tra le 14 e le 12, le palline numerate da 21 a 30 vengono posizionate nell'urna e la pallina numero 30 viene ritirata. Dalle 18 alle 12 e così via. La domanda di interesse è: quante palle ci sono nell'urna alle 12:00?

Ovviamente la risposta è infinito poiché questa procedura lascia tutte le palline con i numeri Xmod100 nell'urna, che sono infinitamente molti.

Prima di passare alla seconda aggiunta di Ross, che includeva le probabilità, passiamo a un altro caso.

Versione 3 L'insieme di palline rimaste nell'urna è un insieme finito di dimensioni arbitrarie

L'urna può avere un numero qualsiasi di palline alle 12 pm a seconda della procedura di spostamento delle palline. Questa variazione è stata descritta da Tymoczko e Henle (1995) come il problema delle palline da tennis.

Tom è in una grande scatola, vuota tranne se stesso. Jim è fuori dalla scatola con un numero infinito di palline da tennis (numerate 1, 2, 3, ....). Jim lancia le palle 1 e 2 nella scatola. Tom prende una palla da tennis e la lancia. Successivamente Jim lancia le palle 3 e 4. Tom prende una palla e la lancia. Successivamente Jim lancia le palle 5 e 6. Tom prende una palla e la lancia. Questo processo continua un numero infinito di volte fino a quando Jim non ha lanciato tutte le palle. Ancora una volta, ti chiediamo di accettare di compiere un numero infinito di compiti in un periodo di tempo finito. Ecco la domanda: quante palle ci sono nella scatola con Tom quando l'azione è finita?

La risposta è alquanto inquietante: dipende. Non sono state fornite informazioni sufficienti per rispondere alla domanda. Potrebbe esserci un numero infinito di palline rimaste o potrebbe non essercene nessuna.

Nell'esempio del libro di testo sostengono i due casi, infiniti o finiti (Tymoczko e Henle, lasciano il caso intermedio come esercizio), tuttavia il problema è ulteriormente approfondito in numerosi articoli di riviste in cui il problema è generalizzato in modo tale da poter ottenere qualsiasi numero a seconda della procedura seguita.

Particolarmente interessanti sono gli articoli sugli aspetti combinatori del problema (dove l'attenzione non è, tuttavia, sugli aspetti all'infinito). Ad esempio contando il numero di set possibili che possiamo avere in qualsiasi momento. Nel caso di aggiungere 2 palline e rimuovere 1 ogni passaggio i risultati sono semplici e lì il numero di set possibili nell'n-esimo passaggio è il n + 1-esimo numero catalano. Ad esempio 2 possibilità {1}, {2} nel primo passaggio, 5 possibilità {1,3} {1,4} {2,3} {2,4} e {3,4} nel secondo passaggio, 14 in il terzo, 42 nel quarto, eccetera (vedi Merlino, Sprugnoli e Verri 2002, Il problema delle palline da tennis ). Questo risultato è stato generalizzato a diversi numeri di palle di aggiunta e sottrazione, ma questo va troppo lontano per questo post ora.

Argomenti basati sul concetto di superattività

Prima di arrivare alla teoria della probabilità, molti argomenti possono già essere fatti contro i casi deterministici e la possibilità di completare il supertask. Inoltre, ci si può chiedere se il trattamento teorico impostato sia una rappresentazione valida della rappresentazione cinematica del supertask. Non desidero discutere se questi argomenti siano positivi o negativi. Li menziono per evidenziare che il caso probabilistico può essere contrastato con questi argomenti di "supertask" e può essere visto come contenente elementi aggiuntivi che non hanno nulla a che fare con i supertask. Il caso probabilistico ha un elemento unico e separato (il ragionamento con la teoria della probabilità) che non è né provato né confutato discutendo o per il caso dei supertask.

  • Argomenti di continuità : questi argomenti sono spesso più concettuali. Ad esempio, l'idea che il supertask non possa essere finito come Aksakal e Joshua discute nelle loro risposte, e una chiara dimostrazione di queste nozioni è la lampada di Thomson , che nel caso del paradosso di Ross Littlewood sarebbe come chiedere, è stata l'ultima rimossa numero pari o dispari?

  • Argomenti fisici: esistono anche argomenti che sfidano la costruzione matematica come rilevante per la realizzazione fisica del problema. Possiamo avere un rigoroso trattamento matematico di un problema, ma rimane una domanda se questo abbia davvero a che fare con un'esecuzione meccanicistica del compito (al di là delle nozioni semplicistiche come rompere alcune barriere del mondo fisico come limiti di velocità o requisiti di energia / spazio) .

    • Un argomento potrebbe essere che il limite teorico impostato è un concetto matematico che non descrive necessariamente la realtà fisica

      Ad esempio, considera il seguente problema diverso: L'urna ha una palla all'interno della quale non ci muoviamo. Ogni passaggio cancelliamo il numero precedentemente scritto sulla palla e riscriviamo un nuovo numero più basso su di esso. L'urna sarà vuota dopo infiniti passaggi? In questo caso sembra un po 'più assurdo usare il limite teorico impostato, che è l'insieme vuoto. Questo limite è utile come ragionamento matematico, ma rappresenta la natura fisica del problema? Se permettiamo alle palline di sparire dalle urne a causa di un ragionamento matematico astratto (che, forse, dovrebbe essere considerato più come un problema diverso ), allora anche noi potremmo far scomparire l'intera urna?

    • Inoltre, la differenziazione delle palle e l'assegnazione di un ordine sembrano "non fisiche" (è rilevante per il trattamento matematico delle serie, ma le sfere nell'urna si comportano come quelle serie?). Se dovessimo rimescolare le palline ad ogni passo (ad es. Ogni passo cambierebbe casualmente una palla dalla pila scartata con una palla dalla pila rimanente di palle infinite), dimenticando così la numerazione in base a quando entrano nell'urna o al numero che hanno ottenuto dall'inizio, quindi gli argomenti basati sui limiti teorici impostati non hanno più senso perché gli insiemi non convergono (non esiste una soluzione stabile una volta che una palla è stata scartata dall'urna, può tornare di nuovo).

      Dal punto di vista dell'esecuzione dei compiti fisici di riempimento e svuotamento dell'urna sembra che non dovrebbe importare se abbiamo o meno dei numeri sulle palle. Ciò rende il ragionamento teorico dell'insieme più simile a un pensiero matematico su insiemi infiniti piuttosto che al processo reale.

Ad ogni modo, se insistiamo sull'uso di questi infiniti paradossi per scopi didattici, e quindi, prima di arrivare alla teoria della probabilità, dobbiamo prima lottare per avere un'idea accettabile di (certi) super-compiti accettati dai più scettici / testardi pensatori, allora potrebbe essere interessante usare la corrispondenza tra il paradosso di Zenone e il paradosso di Ross-Littlewood descritto da Allis e Koetsier (1995) e brevemente descritto di seguito.

Nella loro analogia Achille sta cercando di raggiungere la tartaruga mentre entrambi incrociano bandiere posizionate in modo tale, a distanza

F(n)=2-10ceppon
tale che la distanza di Achille con n le bandiere sono il doppio della distanza della tartaruga con 10n bandiere, vale a dire F(n)=2F(10n). Quindi fino alle 12.pm. la differenza nelle bandiere che la tartaruga e Achille avranno passato sta crescendo . Ma alla fine alle 12:00 nessuno, tranne gli Eleatici, avrebbe sostenuto che Achille e la tartaruga hanno raggiunto lo stesso punto e (quindi) hanno zero bandiere tra di loro.

Achille e la tartaruga

Il caso probabilistico e come aggiunge nuovi aspetti al problema.

La seconda versione aggiunta da Ross (nel suo libro di testo), rimuove le palle in base alla selezione casuale

Supponiamo ora che ogni volta che una palla deve essere ritirata, quella palla sia selezionata casualmente tra quelle presenti. Cioè, supponiamo che tra 1 minuto e 12 le palline numerate da 1 a 10 siano posizionate nell'urna e che una pallina sia selezionata e ritirata casualmente, e così via. In questo caso, quante palle ci sono nell'urna alle 12:00?

La soluzione di Ross è che la probabilità è 1 per l'urna vuota. Tuttavia, mentre l'argomentazione di Ross sembra solida e rigorosa, ci si potrebbe chiedere che tipo di assiomi sono necessari per questo e quale dei teoremi usati potrebbe essere messo sotto stress da ipotesi implicite che potrebbero non essere fondate in quegli assiomi (per esempio il presupposto che gli eventi a mezzogiorno possono essere assegnati probabilità).

Il calcolo di Ross è in breve una combinazione di due elementi che divide l'evento di un'urna non vuota in numerosi sottoinsiemi / eventi e dimostra che per ciascuno di questi eventi la probabilità è zero:

  1. Per, Fio, l'evento che il numero di palla io è nell'urna alle 12 di sera, abbiamo P(F1)=0

  2. Per, P(1Fio), abbiamo la probabilità che l'urna non sia vuota alle 12 di sera

    P(1Fio)Σ1P(Fio)=0

Il caso probabilistico del paradosso di Ross-Littlewood, senza ragionare sui super-compiti

Nella forma più nuda del paradosso, togliendolo da qualsiasi problema nell'esecuzione di superattività, potremmo chiederci quale sia il problema "più semplice" di sottrarre insiemi infiniti. Ad esempio nelle tre versioni otteniamo:

Sun'dded={1,2,3,4,5,6,7,8,9,10}+{10K con KN}Sremoved,1={K con KN}Sremoved,2={10K con KN}Sremoved,3={K con KN}{un'1,un'2,un'3,... con un'ioN}

e il problema si riduce a una sottrazione definita come Sun'dded-Sremoved,1=.

Qualsiasi sequenza infinita, SRL={un'K senza ripetizioni e un'K<10K}, è una (altrettanto) possibile sequenza che descrive l'ordine in cui le palle possono essere rimosse in una realizzazione probabilistica del problema Ross-Littlewood. Consente di chiamare queste sequenze infinite Sequenze RL.

Ora, la domanda più generale, senza il paradossale ragionamento sui supertask, riguarda la densità delle sequenze RL che non contengono l'intero set N

Una visione grafica del problema.

nidificato, frattale, struttura

Prima della versione modificata di questa risposta avevo avanzato un argomento che utilizzava l'esistenza di una mappa iniettiva dalle "sequenze infinite che svuotano l'urna" alle "sequenze infinite che non contengono il numero 1".

Questo non è un argomento valido. Confronta ad esempio con la densità dell'insieme dei quadrati. Ci sono infiniti quadrati (e c'è la relazione biiettivann2 e n2n), ma l'insieme dei quadrati ha densità zero in N.

L'immagine in basso crea una visione migliore di come, con ogni ulteriore passo, la probabilità della palla 1 nell'urna diminuisca (e possiamo argomentare lo stesso per tutte le altre palle). Anche se la cardinalità del sottoinsieme di tutte le sequenze RL (le sequenze di sfere spostate) è uguale alla cardinalità di tutte le sequenze RL (l'immagine mostra una sorta di struttura frattale e l'albero contiene infinitamente molte copie di dodici).

crescita dello spazio di campionamento, numero di percorsi

L'immagine mostra tutte le possibili realizzazioni per i primi cinque passaggi, con lo schema per il problema della palla da tennis (il problema della palla da tennis, ogni passaggio: aggiungi 2 rimuovi 1, cresce meno velocemente ed è più facile da visualizzare). Le linee turchesi e viola mostrano tutti i possibili percorsi che possono svolgersi (immagina ad ogni passon lanciamo un dado di dimensioni n+1 e in base al risultato selezioniamo uno dei n+1 percorsi, ovvero in base ai risultati rimuoviamo uno dei n+1 palle nell'urna).

Il numero di possibili composizioni di urna (le caselle) aumenta come n + 1 ° numero catalano Cn+1e il numero totale di percorsi aumenta con il fattoriale (n+1)!. Nel caso delle composizioni dell'urna con la sfera numero 1 all'interno (di colore grigio scuro) e i percorsi che portano a queste caselle (viola), i numeri si svolgono esattamente allo stesso modo, tuttavia questa volta è l'ennesimo numero catalano e il fattorialen!.

densità di percorsi che lasciano la palla n dentro

Quindi, per i percorsi che portano a un'urna con dentro la palla numero 1, la densità è (n)!(n+1)! e diminuisce come ndiventa più grande. Mentre ci sono molte realizzazioni che portano a trovare il numero di pallan nel riquadro, la probabilità si avvicina allo zero (direi che questo non lo rende impossibile, ma quasi sicuramente non sta accadendo, e il trucco principale nell'argomento di Ross è che l'unione di molti eventi null numerabili è anche un evento null) .

Esempio di percorsi per i primi cinque passaggi nel problema della pallina da tennis (ogni passaggio: aggiungi 2 rimuovi 1) esempio di percorsi per i primi cinque passi nel problema delle palline da tennis

Argomentazioni di Ross per un'urna sicuramente vuota.

Ross definisce gli eventi (sottoinsiemi dello spazio campione), Eion, che una palla numerata io è nell'urna al passo n. (nel suo libro di testo in realtà lascia fuori il pediceio e sostiene la palla 1).

Prova di passaggio 1)

Ross usa la sua proposta 6.1. per aumentare o diminuire le sequenze di eventi (ad esempio, diminuire è equivalente aE1E2E3E4...).

Proposizione 6.1: If {En,n1} è quindi una sequenza crescente o decrescente di eventi, quindi

limnP(En)=P(limnEn)

Usando questa proposizione Ross afferma che la probabilità di osservare la palla io alle 12 (che è l'evento liomnEion) è uguale a

liomnP(Eion)

Allis e Koetsier sostengono che questa è una di quelle ipotesi implicite. Il supertask dodici non implica (logicamente) cosa succede alle 12 pm e le soluzioni al problema devono fare ipotesi implicite, che è in questo caso che possiamo usare il principio di continuità sul set di palline all'interno dell'urna per affermare cosa succede all'infinito. Se un (set teoria) limite all'infinito è un particolare valore, allora all'infinito ci sarà avere quel valore particolare (non può esserci salto improvviso).

Una variante interessante del paradosso di Ross-Littlewood è quando restituiamo anche casualmente palle che erano state scartate in precedenza. In questo non ci sarà convergenza (come la lampada di Thomson) e non possiamo definire facilmente il limite delle sequenzeEion (che non sta più diminuendo).

Prova di passaggio 2)

Il limite è calcolato. Questo è un semplice passo algebrico.

liomnP(Eion)=ΠK=io9K9K+1=0

Prova di passaggio 3)

Si sostiene che i passaggi 1 e 2 funzionano per tutti io con una semplice dichiarazione

"Allo stesso modo, possiamo dimostrarlo P(Fio)=0 per tutti io"

dove Fio è l'evento che palla io è stato tolto dall'urna quando abbiamo raggiunto le 12 pm

Sebbene ciò possa essere vero, potremmo chiederci l'espressione del prodotto il cui indice inferiore ora va all'infinito:

liomio(liomnP(Eion))=liomioΠK=io9K9K+1=...?

Non ho molto da dire al riguardo, tranne che spero che qualcuno possa spiegarmi se funziona.

Sarebbe anche bello ottenere migliori esempi intuitivi sull'idea che le sequenze decrescenti Eion,Eion+1,Eion+2,..., che sono richiesti per la proposizione 6.1, non tutti possono iniziare con l'indice del numero di passaggio, n, essendo uguale a 1. Questo indice dovrebbe aumentare all'infinito (che non è solo il numero di passaggi che diventano infiniti, ma anche la selezione casuale della palla da scartare diventa infinita e il numero di palle per cui osserviamo il limite diventa infinito). Mentre questo tecnicismo potrebbe essere affrontato (e forse è già stato fatto nelle altre risposte, implicitamente o esplicitamente), una spiegazione approfondita e intuitiva, potrebbe essere molto utile.

In questo passaggio 3 diventa piuttosto tecnico, mentre Ross è molto breve. Ross presuppone l'esistenza di uno spazio di probabilità (o almeno non esplicito al riguardo) in cui possiamo applicare queste operazioni all'infinito, proprio come possiamo applicare le operazioni in sottospazi finiti.

La risposta di ekvall fornisce una costruzione, usando il teorema di estensione dovuto a Ionescu-Tulcea , ottenendo uno spazio di prodotto infinitoΣK=0ΩioK=0UNio in cui possiamo esprimere gli eventi P(Eio) dall'infinito prodotto di kernel probabilistici, risultante in P=0.

Tuttavia non è spiegato in senso intuitivo. Come possiamo mostrare intuitivamente che lo spazio degli eventiEiolavori? Che il complemento sia l'insieme null (e non un numero 1 con infiniti zeri, come è la soluzione nella versione modificata del problema Ross-Littlewood di Allis e Koetsier) e che è uno spazio di probabilità?

Prova di passaggio 4)

La disuguaglianza di Boole viene utilizzata per finalizzare la prova.

P(1Fio)Σ1P(Fio)=0

La disuguaglianza è dimostrata per insiemi di eventi che sono numerabili finiti o infiniti. Questo è vero per ilFio.

Questa dimostrazione di Ross non è una dimostrazione in senso costruttivista. Invece di dimostrare che la probabilità è quasi 1 per l'urna di essere vuota alle 12 pm, sta dimostrando che la probabilità è quasi 0 per l'urna di essere riempita con qualsiasi palla con un numero finito su di essa.

Ricordo

Il paradosso deterministico di Ross-Littlewood contiene esplicitamente l'insieme vuoto (è così che è iniziato questo post). Ciò rende meno sorprendente il fatto che la versione probabilistica finisca con l'insieme vuoto e il risultato (che sia vero o no) non è tanto più paradossale delle versioni RL non probabilistiche. Un interessante esperimento mentale è la seguente versione del problema RL:

  • Immagina di iniziare con un'urna piena di infinitamente molte palline e inizia a scartare casualmente le palline da esso. Questo supertask, se finisce, deve logicamente svuotare l'urna. Da allora, se non fosse vuoto avremmo potuto continuare. (Questo esperimento mentale, tuttavia, estende la nozione di un supertask e ha una fine vagamente definita. È quando l'urna è vuota o quando arriviamo alle 12:00?)

C'è qualcosa di insoddisfacente nella tecnica della dimostrazione di Ross, o almeno una migliore intuizione e spiegazione con altri esempi potrebbero essere necessarie per poter apprezzare appieno la bellezza della dimostrazione. I 4 passaggi insieme formano un meccanismo che può essere generalizzato e possibilmente applicato per generare molti altri paradossi (anche se ho provato non ci sono riuscito).

Potremmo essere in grado di generare un teorema tale che per qualsiasi altro spazio campione adatto che aumenta di dimensioni verso l'infinito (lo spazio campione del problema RL ha cun'rd(2N)). Se riusciamo a definire un insieme numerabile di eventiEioj che sono una sequenza decrescente con un limite 0 come passaggio jaumenta, quindi la probabilità dell'evento che è l'unione di quegli eventi va a zero quando ci avviciniamo all'infinito. Se riusciamo a rendere l'unione degli eventi come l'intero spazio (nell'esempio RL il vaso vuoto non è stato incluso nell'unione la cui probabilità va a zero, quindi non si è verificato alcun grave paradosso) allora possiamo fare un paradosso più grave che sfida la coerenza degli assiomi in combinazione con la deduzione transfinita.

  • Uno di questi esempi (o un tentativo di creare) è la divisione infinita di un pane in pezzi più piccoli (al fine di soddisfare le condizioni matematiche diciamo che facciamo solo le divisioni in pezzi che hanno le dimensioni di un numero razionale positivo). Per questo esempio possiamo definire eventi (nel passaggio x abbiamo un pezzo di dimensione x), che sono sequenze decrescenti e il limite della probabilità per gli eventi va a zero (allo stesso modo del paradosso RL, le sequenze decrescenti si verificano solo ulteriormente e più avanti nel tempo, e c'è convergenza puntuale ma non uniforme e uniforme).

    Dovremmo concludere che quando finiamo questo supertask che il pane è scomparso . Possiamo andare in diverse direzioni qui. 1) Potremmo dire che la soluzione è l'insieme vuoto (sebbene questa soluzione sia molto meno piacevole rispetto al paradosso RL, perché l'insieme vuoto non fa parte dello spazio campione) 2) Potremmo dire che ci sono infiniti pezzi indefiniti ( es. la dimensione di infinitamente piccola) 3) o forse dovremmo concludere (dopo aver eseguito la prova di Ross e aver trovato vuoto) che questa non è una superattività che può essere completata? Che l'idea di finire un supertask possa essere fatta ma non necessariamente "esiste" (una sorta di paradosso di Russell).


Una citazione di Besicovitch stampata nella miscellanea di Littlewood:

"la reputazione di un matematico si basa sul numero di prove negative che ha dato".


Allis, V., Koetsier, T. (1995), On Some Paradoxes of the Infinite II , The British Journal for the Philosophy of Science , pp. 235-247

Koetsier, T. (2012), Didactiek incontrò oneindig veel pingpongballen, Nieuw Archief voor Wiskunde , 5/13 nr4, pp. 258-261 ( originale olandese , la traduzione è possibile tramite google e altri metodi)

Littlewood, JE (1953), Miscellany di un matematico , pp. 5 ( link gratuito via archive.org )

Merlin, D., Sprugnoli, R. e Verri MC (2002), The tennis ball problem , Journal of Combinatorial Theory , pp. 307-344

Ross, SM (1976), Un primo corso in probabilità , (sezione 2.7)

Tymoczko, T. and Henle, J. (1995 originale) ( riferimento alla 2a edizione del 1999 su google ), Sweet Reason: una guida sul campo alla logica moderna


I commenti non sono per una discussione estesa; questa conversazione è stata spostata in chat .
whuber

1

OK, ci riproverò.

La risposta è che il paradosso è puramente matematico. La risposta di Enumaris e di cmaster racconta cosa sta succedendo in un modo, ma questo è un altro modo per vedere il problema. Il problema è come affrontiamo le probabilità con gli infiniti, come ha scritto Jaynes (vedi la mia altra tentata risposta per i dettagli).

Una serie infinita viene generalmente trattata come se non avesse fine, ma in questo problema c'è un tempo di fine (12PM) e quindi logicamente, anche se non matematicamente, c'è un ultimo ciclo di addizione e rimozione di palline: quello che succede infinitamente prima delle 12:00. L'esistenza di un "ultimo" ciclo ci consente di esaminare le probabilità sia all'indietro che in avanti nel tempo.

Considera le ultime dieci palline aggiunte. Per ognuno di essi la probabilità di essere rimossi è zero perché sono ciascuno solo una delle palle a sfioro che potrebbero essere rimosse. Quindi la probabilità che rimangano almeno dieci palline alle 12 PM è l'unità.

QED. Un argomento probabilistico che non porta a sciocchezze.


4
Non esiste un ultimo "ciclo" nel problema in questione più di quanto non ci sia un ultimo termine nella sequenza un'n=1-1/n, n=1,2,..., che ha anche "un tempo di fine" a 1.
ekvall

@ekvall Puoi dire perché la serie infinita di cicli può terminare alle 12:00 e non avere fine? Sembra che questa sia una circostanza in cui le regole degli infiniti assunte convenzionalmente portano a risultati ridicoli (non controintuitivi, ma sbagliati).
Michael Lew,

2
@MichaelLew: considera l'atto di battere le mani. Considera che arriverà un momento in cui le tue mani sono 1/2 insieme. Quindi 1/4 insieme. Quindi 1/8 insieme. Considera che ogni volta che le tue mani dimezzano la distanza rimanente, possono sempre dimezzarle di nuovo . Questo è un ciclo che chiaramente non ha fine (che numero di passi devi fare prima che il passo successivo unisca le mani?) Ma le cui serie hanno chiaramente una fine (o non riesci ad applaudire?)
Vegard,

@Vegard Considerare di non battere le mani, perché mentre si avvicinano sempre più lentamente. A una distanza iniziale, impiega 2 secondi per raggiungere 1/2 della distanza e in generale2n più secondi da cui raggiungere 12n-1 della distanza 12ndella distanza. A proposito per Michael +1.
Carl

@Carl Perché le mie mani si avvicinano sempre più lentamente? Sarebbe un applauso triste. Supponiamo che le mie mani si muovano a una velocità costante e poi spiegano come non ho coperto una quantità infinita di trucioli di distanza in tempo finito? Le serie infinite possono convergere e le serie infinite 1/2 + 1/4 + ... 1/2^nconvergono, come immagino che chiunque abbia avuto un calcolo entry-level lo sappia? Ma questo è in risposta alla domanda su come una serie infinita possa essere attraversata a tempo finito senza che ci sia una fine effettiva della serie stessa, non una soluzione al problema della palla.
Vegard,

1

Recentemente diversi commenti di Wilhelm, Wolfgang Mückenheim, mi hanno spinto a riconsiderare alcune formulazioni nella mia risposta. Sto pubblicando questa come una nuova risposta principalmente perché il diverso approccio di questa risposta, non discutendo sull'insegnamento di questo problema, ma piuttosto sul fatto che il paradosso sia invalido.

Wilhelm discute nel suo lungo manoscritto che

Le transazioni sono possibili solo a passi finiti n (non è possibile alcuna azione "tra tutti n e ω").

Questo mi ha ricordato il termine

ΣK=1Πn=K(9n9n+1)

che deriva dal lavoro di Ross. Questo termine è indeterminato quando il percorso verso l'infinito non è definito per il seguente limite.

lim(l,m)(,)ΣK=1lΠn=Km(9n9n+1)

Questo sembra assomigliare al punto di cui Wilhelm discute e viene anche menzionato nella risposta di aksakal. I passi nel tempo diventano infinitamente piccoli, quindi saremo in grado di raggiungere le 12:00 in quel senso, ma allo stesso tempo dovremo aggiungere e rimuovere un numero infinito (non fisico) di palline. È una falsa idea allegare questo supertask a un processo come la freccia di Zenone, proprio come l'interruttore della paradossale lampada di Thompson non può avere una posizione definita alla fine di un supertask.

In termini di limite possiamo dire che il percorso fisico verso l'infinito che prendiamo è

limlΣK=1lΠn=Kl(9n9n+1)=liml9l10

quindi non zero ma infinito.


2
Cordiali saluti, Wolfgang Mückenheim ha trollato forum di matematica senza senso per decenni mathforum.org/kb/…
Paul,

Grazie per quell'informazione, e ad essere sincero non ho letto l'intero manoscritto, anche se mi piace una bella discussione finitista, e il suo argomento (troll o no) ha un senso (il che non è insolito per la trolling). Anche se personalmente direi che, se i passaggi diventano infinitamente piccoli, allora potremmo avere un processo (fisico) che può essere considerato infinito in numero di passaggi. Purtroppo, non è tanto il suo trolling, e tanto più il mobbing con i voti contro posizioni opposte (o a favore delle proprie) che rovina la discussione nel suo thread e alimenta il trolling (o altro).
Martijn Weterings,

@Martijn Weterings: è facile dimostrare chi è il troll qui intorno: l'idea di Cantor è il limite ωdopo 1, 2, 3, .... Innanzitutto ciò viola l'induzione matematica, perché primaωc'è sempre un altro numero naturale. In secondo luogo, per escludere qualsiasi rilevanza fisica della teoria degli insiemi, modellare la sequenza con una giostra in cui vengono contate le rivoluzioni. Può esserci un limite? (Il crollo dell'orbita terrestre dopo aver emesso onde gravitazionali per1015 gli anni non sono certamente il risultato della teoria degli insiemi.)
Wilhelm,

1
"In primo luogo questo viola l'induzione matematica, perché prima di ω c'è sempre un altro numero naturale." L'induzione matematica non dice nulla di ciò che dovrebbe o non dovrebbe essere "prima" ω. Gli ordinali limite non sono generati dall'induzione e l'induzione non ha nulla da dire sul fatto che esistano o meno. La tua mente è piena di false assunzioni su come dovrebbe funzionare la matematica e quando queste false assunzioni contraddicono la vera matematica, dai la colpa a quest'ultima.
Paul,

L'induzione matematica lo dice per tutti n c'è n+1e questo non cambia mai . Il limite ordinale è assunto dai matematici che non sono in grado di comprendere l'infinito. Cosa significa quantificare su tutti i numeri naturali? Significa prendere solo quei numeri naturali che hanno la proprietà caratteristica di ogni numero naturale, cioè che devono essere seguiti da infiniti numeri naturali? Quindi non li ottieni tutti perché ne rimangono sempre infinitamente molti. O prendi tutti i numeri naturali senza eccezioni?
Wilhelm,

0

Credo che questo esempio supporti "se la premessa è falsa, allora il condizionale è vero"

In questo universo, non ci sono urne infinite e nessuna raccolta infinita di palle. È impossibile dividere il tempo in pezzi arbitrariamente piccoli.

Quindi Sheldon Ross ha ragione nel dire che l'urna è vuota alle 12:00. Gli studenti che affermano che l'urna ha palle infinite alle 12:00 hanno lo stesso diritto.

Se hai risposto che l'urna ha 50 palline, allora hai anche ragione.

Non ho rigorosamente dimostrato che questo universo non contiene urne infinite e palle infinite e che il tempo non è atomico - credo solo a queste cose. Se ritieni che queste tre affermazioni siano sbagliate, allora ritieni che il problema di Ross sia empiricamente falsificabile. Sto aspettando i tuoi risultati sperimentali.


2
Stai anche aspettando risultati sperimentali che π è irrazionale per il fatto che non c'è modo di adattarsi a un numero infinito di triangoli infinitamente piccoli in un cerchio in questo universo?
user603

3
@ user603 no, ma pretendo che l'ultima cifra di pi sia 7. Puoi provare il contrario?
emory

1
anzi, è una discreta distinzione.
user603

4
-1. Il problema è ben definito matematicamente e l'impossibilità della realizzazione fisica non ha nulla a che fare con esso.
ameba,

2
Trovo anche questa domanda senza senso. Se l'urna è vuota alle 12:00, ci deve essere stato un tempo in cui l'ultima palla è stata rimossa. Ma in qualsiasi momento quando viene rimossa una palla, vengono aggiunte più palle in modo che l'ultima palla non venga rimossa. Come può non esserci un momento in cui l'ultima palla viene rimossa? D'altra parte, se alle 12:00 è cessata l'aggiunta di palline, deve esserci un momento in cui è stata aggiunta l'ultima pallina. Ma, se una palla è stata l'ultima ad essere stata aggiunta, non ci possono essere infinite palle nell'urna. Un processo non può avere un inizio, essere senza fine e tuttavia cessare.
Kevin,

0

Appoggio l'opinione secondo cui il problema non è corretto. Quando consideriamo qualcosa di transfinito, spesso dobbiamo usare un limite. Sembra che qui sia l'unico modo. Dal momento che distinguiamo diverse sfere, abbiamo un processo infinito dimensionale

(Xt,1,Xt,2,...),
dove t=-1,-1/2,-1/4,... rappresenta il tempo, Xt,j=1 se c'è la palla j al momento t+0 e Xt,j=0 altrimenti.

Ora è a discrezione di ognuno quale convergenza usare: uniforme, componente, lp, ecc. Inutile dire che la risposta dipende dalla scelta.

L'incomprensione in questo problema deriva dal trascurare il fatto che le questioni metriche sono cruciali quando consideriamo la convergenza di vettori di dimensione infinita. Senza scegliere il tipo di convergenza, non è possibile fornire una risposta corretta.

(C'è una convergenza componente per zero vettore. Mentre l1 la norma conta il numero di palline, quindi in questa norma il processo sta esplodendo.)


2
"L'urna è vuota" se e solo se alla fine fosse stata eliminata ogni palla che era stata messa dentro. Questa è la definizione di vuoto. E si traduce in convergenza dal punto di vista dei componenti.
amoeba,

2
Sono d'accordo con questa risposta. Innanzitutto, quale nozione di convergenza scegliere è totalmente indipendente dalla teoria della probabilità. Non è perché abbiamo l'abitudine di usare la convergenza puntuale / la topologia del prodotto (dove qui un punto è una palla con una certa identità) che questa nozione deve essere usata come unica opzione. Non è specificato nel problema né in una convenzione generale. E questo anche se decidiamo di concordare totalmente con la teoria delle probabilità standard.
Benoit Sanchez,

1
Questa è la matematica del culto delle merci. Si introducono problemi di metrica perché sono importanti per altri problemi, non perché sono rilevanti per questo problema.
Paul,

1
@Paul "Cargo cult math". Non ho mai pensato che esistesse un termine del genere. Ci penserò su. :)
Viktor,

2
(+1) Sono d'accordo che questo problema si pone senza una metrica. Inoltre, la risposta di zero palle è anche 1 palla contemporaneamente, quindi la risposta di zero palle non è un numero. L'infinito numerabile non è un numero. Domanda mal posta. Ci sono davvero domande così ridicole che non hanno risposte.
Carl,

-2

Più intuizione dell'istruzione formale, ma:

Se gli intervalli a mezzanotte si stanno dimezzando, non arriviamo mai a mezzanotte ... ci avviciniamo solo asintoticamente; così si potrebbe sostenere che non v'è alcuna soluzione.

In alternativa, a seconda del fraseggio:

  • poiché ci sono intervalli infiniti di +10 palline, la risposta è infinita
  • come ci sono intervalli infiniti di (+10 palle - 1) la risposta è 10 * infinito -1 * infinito = 0?
  • poiché ci sono intervalli infiniti di (+9 palle) +1 la risposta è infinita + 1

11
Sembra che tu sia d'accordo con Zenone sul fatto che Achille non possa mai catturare la tartaruga ; e peggio, nessuno dei due può nemmeno iniziare nella loro gara.
whuber

@whuber Quei problemi non sono affatto legati a questa risposta.
Più chiaro il

2
@Clearer Vorrei suggerire che sono strettamente correlati attraverso il loro ingenuo trattamento di "infinito".
whuber

5
-1 perché sono le 00:00 sul mio orologio in questo momento, quindi ho appena raggiunto la mezzanotte nonostante i restanti periodi dimezzino all'infinito durante l'ultimo minuto.
ameba,

@amoeba La discontinuità è che hai un numero infinito di palline rimosse in quel momento. Esattamente dove stai mantenendo quel numero di palline? Le palle sono anche infinitamente piccole in modo che ci sia spazio sufficiente nell'universo per noi non-palle? Intendiamoci, un numero infinito di palline infinitamente piccole potrebbe ancora occupare un volume infinito, e quando giochi con le metriche le regole non sono così ingenue come i post qui.
Carl,

-5

Riscrivi: 16 gennaio 2018

Sezione 1: Schema

I risultati fondamentali di questo post sono i seguenti:

  • La palla a metà strada ha una probabilità di circa 0.91 di rimanere nel limite durante il passaggio - questa è sia un'osservazione del mondo reale che derivata matematicamente.
    La funzione derivata ha un dominio dei razionali in(0,1]. Ad esempio, la probabilità nel limite della palla a metà strada rimanente corrisponde al valore del dominio1/2. Questa funzione può calcolare la probabilità di rimanere per qualsiasi frazione della dimensione del passo.
  • L'analisi di Ross non è sbagliata ma è incompleta perché tenta di iterare i razionali in ordine di grandezza (io,),io=1 ...
    Le razionali non possono essere ripetute in ordine di grandezza. Pertanto, l'analisi di Ross non può accedere al dominio completo e può offrire solo una visione limitata del comportamento totale.
  • L'analisi di Ross tiene comunque conto di un comportamento osservabile in particolare: nel limite non è possibile attraverso l'iterazione seriale da 1 a raggiungere il primo balletto rimanente.
  • Le sequenze limite di Ross hanno alcune proprietà convincenti che sembrano intuitivamente uniche.
    Tuttavia, mostriamo un altro set di sequenze di limiti che soddisfano le stesse belle proprietà e forniscono i valori per la nostra funzione.

La sezione 2 "Notazione e terminologia" copre la notazione e la terminologia utilizzate in questo post.

La sezione 3 "The Halfway Ballset" introduce un'osservazione del mondo reale - la convergenza nel limite della probabilità di rimanere di una palla il cui indice è a metà strada tra tutte le palle inserite. Questo valore limite è di circa il 91%. Il caso del balletto a metà strada è generalizzato a qualsiasi razionale in(0,1], che hanno tutti valori limite diversi da zero.

La sezione 4 "Risoluzione del paradosso" presenta un quadro unificato per includere sia i risultati di Ross sia i risultati di "dominio razionale" (qui descritti). Come già notato, l'analisi di Ross offre solo una visione limitata del comportamento totale. Quindi, la fonte del paradosso viene identificata e risolta.

Nell'appendice vengono discussi altri risultati meno importanti:

  • "Aspettative nel limite" calcola il numero previsto di palline rimaste fino a e compresa qualsiasi frazione della dimensione del passo.
  • Un corollario di questo risultato sta determinando l'indice della prima palla che ha un'aspettativa di rimanere maggiore di una.

Sezione 2: Notazione e terminologia

  • Etichettiamo gli indici a sfera inseriti al passaggio n come {n.1,n.2,n.3,.....n.10} e chiama questo set il nth "ballset". Ballset è una parola, creata per questo post.
    Questa terminologia purtroppo si discosta dalla terminologia di Ross, ma rende anche il testo molto più chiaro e più breve.
  • La notazione E(un',B) si riferisce all'evento che palla un'.1 nel balletto un' rimane al passo B, ignorando le altre palle nel ballset.
  • La notazione P(un',B) è un'abbreviazione di P(E(un',B)) e si riferisce alla probabilità di E(un',B).
    Nota che tutte le palleun'.io nel balletto un'hanno la stessa probabilità di rimanere.
    -- Il valore diP(E(un',B)) è ΠK=un'B9K(9K+1).
  • Il limite di Ross P(un') è la probabilità P(un',B) come Bva all'infinito:
    -Pliom1(un')=limBP(un',B)
  • Il limite razionale è definito come il limite come l'indice di entrambe le sfere un' e passo B vai all'infinito mantenendo un rapporto costante: - Pliom2(un',B)=limKP(Kun',KB)

Sezione 3: il balletto a metà strada

Ad ogni passo pari 2n, il balletto a metà strada è definito come nth ballset. Ad ogni passo pari2n, la probabilità a metà strada di rimanere è definita come P(n,2n).
Nel limite comen, la probabilità a metà di rimanere è quindi limnP(1*n,2*n).
Il teorema 1 di seguito fornisce un valore numerico per la probabilità a metà strada di rimanere.

Teorema 1 - Limite di probabilità degli elementi in una sequenza di domini che preserva il rapporto

limnP(un'*n,B*n)=(un'B)19
La dimostrazione è riportata di seguito poco prima dell'appendice.

Secondo il Teorema 1, la probabilità a metà del rimanere nel limite è (12)19 che valuta un valore decimale approssimativo di 0.925875.

Controllo di integrità Consente di eseguire un controllo di integrità per vedere se il limite numerico per la probabilità a metà strada "sembra corretto".

nP(n/2,n)=trunc val decimale1000P(500,1000)=,9257261408210000P(5000,10000)=,9258,598528 millions100000P(50000,100000)=,925,873226 millions1000000P(500000,1000000)=0.92587456limnP(n,2n)=0.925875

Le prime 4 righe sono le probabilità a metà strada di rimanere per i valori del numero di passo di 103, 104, 105, e 106, rispettivamente. L'ultima riga è il limite. Sembra che le probabilità a metà strada stiano effettivamente convergendo al limite previsto.
Questa osservazione del mondo reale, che non rientra nella struttura di Ross, deve essere spiegata.

** Sezione 4 "Risoluzione del paradosso" **

Questa sezione spiega un quadro unificato sia per l'analisi di Ross che per l'analisi del dominio razionale, osservandoli insieme il paradosso viene risolto.

Il limite razionale Pliom2(un',B) è riducibile a una funzione dalle razionali (0,1] ai reali (0,1]:

Pliom2(un',B)=liomKP(Kun',KB)=(un''B')19
dove gcd(un'',B')=1 e un''B'=un'B. Quigcd()indica il massimo comun divisore. Le dichiarazioni equivalenti sono "un'' e B' sono reciprocamente primi "e"un''B' è la frazione ridotta di un'B.

Il limite di Ross può essere scritto come il limite di una sequenza di limiti razionali:

Pliom1(un')=liomKP(un',K)=liomio,KP(Kun'/io,KB)per alcuni B=liomioPliom2(un'/io,B)=liomioPliom2(0,B)
La tupla (0,B) non è un membro dei razionali in (0,1]; appartiene a[0,0]. Pertanto il limite di Ross è isomorfo alla funzione Pliom2(un',B) sul dominio [0,0] e la sua immagine è sempre il reale unico 0.

Il limite di Ross e il limite razionale sono la stessa funzione su due domini disgiunti [0,0] e (0,1]rispettivamente. Il limite di Ross considera solo il caso di indici ballset che sono stati retrocessi infinitamente piccoli rispetto alla dimensione della scala.

L'analisi Ross-limit prevede che nel limite, accedendo ai valori Pliom1(io) in sequenza per io=1,2,... non raggiungerà mai un valore diverso da zero.
Questo è corretto e corrisponde all'osservazione del mondo reale.

L'analisi del limite razionale tiene conto delle osservazioni del mondo reale come il balletto a metà strada di cui il limite di Ross non tiene conto. La funzione è la stessaPliom2(un',B) ma il dominio lo è (0,1] invece di [0,0]

Lo schema seguente mostra sia le sequenze dei limiti di Ross sia le sequenze dei limiti razionali.

inserisci qui la descrizione dell'immagine

È probabilmente giusto affermare che l'analisi di Ross include un'ipotesi implicita che il limite di Ross e il suo dominio siano l'intero dominio di interesse. L'intuizione implicitamente alla base dell'assunto di Ross è come dovuta alle quattro condizioni seguenti, anche se non sono esplicitamente riconosciute:

Permettere Sio=P(io,n),n=1,..., essere il iola sequenza limite di Roth. PermettereS=io=(1 ...)Sio essere l'unione delle sequenze limite di Roth.

  • (1) Le sequenze Sio sono disgiunti e ogni sequenza converge.
  • (2) L'unione di elementi di tutte le sequenze S copri esattamente l'insieme di tutte le tuple (palla, passaggio) che entrano in gioco: {(io,n) | ion  io,nQ}
  • (3) Tutte le sequenze Sio sono infiniti in n, l'indice dei passaggi, in modo che non terminino "in anticipo".
  • (4) Le sequenze Sio essi stessi formano una super sequenza {Sio}ioion(1 ...). Pertanto tale super-sequenza può essere "creata" iterativamente, i, e ,, sono numerabili.

Non è immediatamente evidente che un altro sistema di sequenze di limiti potrebbe soddisfare i punti precedenti (1) - (4).

Tuttavia, discuteremo ora un altro sistema di sequenze di limiti che soddisfano effettivamente i punti precedenti (1) - (4).

Permettere Sp,q, dove gcd(p,q)=1, rappresentano la sequenza del limite razionale

Sp,q={(Kp,Kq)}K(1 ...)
Permettere D* essere le tuple reciprocamente prime di D: = D*={(p,q)Dgcd(p,q)=1}. PermettereS* essere l'unione di dette sequenze di limiti razionali: S*=dD*Sp,q

Chiaramente le sequenze Sp,q di chi è l'unione S*soddisfare le proprietà sopra (1) - (3).
Gli indici(p,q) sono esattamente le motivazioni su (0,1]. Per soddisfare la condizione (4) dobbiamo dimostrare che i razionali sono attivi(0,1] sono numerabili.

La (sequenza Farey) 2 dell'ordinen è la sequenza di frazioni completamente ridotte tra 0 e 1 che quando in termini più bassi hanno denominatori inferiori o uguali a n, disposti in ordine crescente. Ecco le prime otto sequenze di Farey:

 F1 = {0/1,                                                                                                          1/1}
 F2 = {0/1,                                                   1/2,                                                   1/1}
 F3 = {0/1,                               1/3,                1/2,                2/3,                               1/1}
 F4 = {0/1,                     1/4,      1/3,                1/2,                2/3,      3/4,                     1/1}
 F5 = {0/1,                1/5, 1/4,      1/3,      2/5,      1/2,      3/5,      2/3,      3/4, 4/5,                1/1}
 F6 = {0/1,           1/6, 1/5, 1/4,      1/3,      2/5,      1/2,      3/5,      2/3,      3/4, 4/5, 5/6,           1/1}
 F7 = {0/1,      1/7, 1/6, 1/5, 1/4, 2/7, 1/3,      2/5, 3/7, 1/2, 4/7, 3/5,      2/3, 5/7, 3/4, 4/5, 5/6, 6/7,      1/1}
 F8 = {0/1, 1/8, 1/7, 1/6, 1/5, 1/4, 2/7, 1/3, 3/8, 2/5, 3/7, 1/2, 4/7, 3/5, 5/8, 2/3, 5/7, 3/4, 4/5, 5/6, 6/7, 7/8, 1/1}

Permettere Fn* rappresenta il nla sequenza Farey senza il primo elemento 0/1.

Permettere Sn* essere l'unione di sequenze di limiti razionali che hanno almeno un elemento fino al passo compreso n:

Sn*={Sp,q | (un',B)}

Gli elementi di Fn* indice, convertito da frazioni in tuple, indicizza esattamente gli elementi di Sn*. La tabella seguente confronta il raggruppamento delle sequenze di limiti nell'analisi di Ross e l'analisi del limite razionale:

Rossrazionalenum nuovo seq per passaggio 1multiplo (generalmente)nuovo seq al passaggio nSnFn*-Fn-1*tot num seq fino al passaggio nnFn*super-seq fino al passo n{Sm}m=1nFn*

Infine, poiché esistono metodi [ 3 ], [ 4 ] per creare iterativamente la super sequenzaFn*, anche la condizione (4) è soddisfatta.

Uno di questi metodi, una variante dell'albero Stern-Brocot, è il seguente:

Il mediatore di due razionali un'/c e B/d è definito come un'+Bc+d

  • Impostato F*n=
  • Aggiungere 1/n per F*n
  • Loop per io nel 1 ...(F*n-1-1)

    • Aggiungere F*n-1[io] a F * _n $

    • Permettere X=medioun'nt(F*n-1[io],F*n-1[io+1])

    • Se denom(X)n aggiungere x a F*n
    • continua il ciclo
  • Aggiungere F*n-1[n] per F*n

Il paradosso è stato risolto.

Proof of Theorem 1 Prima nota che:

P(Eun',B)=ΠK=un'B9K(9K+1)=Γ(un'+19)Γ(B+1)Γ(un')Γ(B+109)=(un'-1)12-un'(un'-89)un'-718BB+12(B+19)-B-1118
dove l'ultima trasformazione è la trasformazione Sterling.

Quindi, sostituendo sintatticamente un'un'*n e BB*n nell'ultima equazione (forma in sterline) che otteniamo

limnP(Eun',B)=limn(un'M-1)12-un'M(un'M-89)un'M-718(BM)BM+12(BM+19)-BM-1118=(un'B)19

Appendice: altri risultati

Aspettative nel limite

Questa sezione fornisce un'espressione chiusa per il numero atteso di palline rimaste fino a e compresa qualsiasi frazione della dimensione del gradino.
Un corollario di questo risultato è un'approssimazione numerica dell'indice della prima palla che ha un'aspettativa di rimanere maggiore di una.

( Continua )


1
Si prega di non inviare due della stessa risposta a due domande diverse.
Glen_b,

@Glen_b - Ho completamente riscritto la mia risposta, cambiando in un approccio puramente matematico e statistico. Nessuna filosofia, set, conteggio o scienza computazionale. Penso che questo sia in linea con questa tavola. Forse potrei pubblicarlo come una nuova risposta? Gradirei la tua considerazione.
Craig Hicks,

1
Non sono sicuro di cosa mi stai chiedendo di fare qui. Se pensi davvero di avere una risposta diversa, puoi pubblicarla.
Glen_b,

@Glen_b Craig non può pubblicare un'altra risposta perché questa discussione è protetta e la sua reputazione (meno il bonus di associazione) è attualmente negativa. Non sono sicuro che ci sia modo di aiutarlo oltre a rimuovere temporaneamente la protezione. Craig, una soluzione migliore sarebbe quella di pubblicare alcune altre risposte in altri thread, ottenere un paio di voti e accumulare abbastanza rappresentanti per poter pubblicare qui.
ameba,

@amoeba - Ho condensato la risposta per recapitare il messaggio in meno parole. L'hai letto? Nel(io,n) > DOMINIO <spazio, ogni limite di Ross si avvicina a un io/nrapporto di zero. In confronto il rapporto preservando i limiti dilimnun'*nB*n preservare il rapporto un'/B. Capisci cosa intendo?
Craig Hicks,

-5

Modifica Modifica

Per farla breve. Il cosiddetto paradosso è un errore di forma indeterminata, un errore per principianti con un risultato simile a un errore di divisione per zero che dimostra che1=2. Tali errori, in questo caso per il conteggio dei numeri, producono naturalmente risposte che possono essere 0,n o .

A proposito, quando si aggiunge un numero infinito di probabilità infinitesimali si crea 1, una forma indeterminata e la prova di Ross non è corretta. Per ottenere una risposta corretta, utilizzare La regola di L'Hopital. l'infinito non è un numero . Trattare l'infinito come se fosse un numero porta ad errori.


5
Dai una risposta in diretta contraddizione con diverse risposte altamente votate esistenti e un libro di testo. Perché sei sorpreso dai voti negativi?
ameba

8
Per favore, mi scusi e mi permetta di chiarire. Come la maggior parte delle altre risposte errate della serie, questa risposta non mostra consapevolezza dell'argomentazione rigorosa fatta da Ross che fornisce un'argomentazione approssimativa e informale che giunge a una conclusione errata o nessuna conclusione. Come hai detto,-non ha una risposta definita, quindi evidentemente la tua analisi non è abbastanza potente da supportare o escludere qualsiasi soluzione a questo problema. In altre parole, non è una risposta.
Paul,

6
(-1) Il tuo argomento è ancora fatto a mano e giunge alla conclusione errata. Stai anche affermando quali sono le probabilità senza alcuna prova di tali affermazioni. Dovresti davvero provare a leggere l'argomento di Ross e cercare di trovare un vero difetto.
ekvall,

9
Ross è uno statista estremamente illustre che ha scritto molti libri e articoli su probabilità e statistica, e io sono un matematico di dottorato che garantisce il rigore della sua soluzione al problema. Il minimo che potresti fare è sottolineare un singolo difetto nella prova originale reale. Finora tutti i tuoi tentativi sono falliti. Questo dovrebbe darti una pausa.
Paul,

8
(-1). Le ultime due equazioni che stai impostando sono irrilevanti per il problema [ad esempio, hai frainteso le probabilità "uniformi" di rimozione], e quindi non puoi formare una base per la tua affermazione "Quindi, nel caso di Ross, la disuguaglianza di Boole è [sic ] un limite superiore di0×". Data la tua insistenza a non usare la matematica formale e il rifiuto di studiare le prove di Ross, penso che i tuoi punti sarebbero forse meglio trasmessi se
togliessi
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.