$\{\alpha n\}$ denso in [0,1]

[xXStephXx]

Dimostrare che l'immagine della successione $a_n = \{\alpha n\}$ è densa in $[0,1]$ (dove con $\{x\}$ indico la parte frazionaria di $x$) se e solo se $\alpha$ è irrazionale.

A patto di riscriverlo in modo più semplice, può essere risolto senza nessuna conoscenza di analisi (quindi olimpico al 100%). Trall'altro non saprei come risolverlo per via puramente analitica xDD

[afullo]

Una specificazione: "densa" significa che la sua chiusura topologica è l'intervallo intero, ovvero che preso l'intorno di un qualsiasi punto è sempre presente un punto appartenente all'immagine (quindi ogni punto dell'intervallo è o punto interno all'immagine, o è punto di frontiera).

[enigma]

La via analitica è questa, che tra l'altro è talmente overkill da permetterti di mostrare molto di più-non solo la successione è densa ma anche equidistribuita.
Se è olimpionico al 100% perché l'hai messo in MNE-perché vuoi una soluzione non elementare?

[xXStephXx]

Woow che potenza Si, ero curioso di vedere una puramente analitica. Però magari si può ripostare in Algebra semplificando il testo volendo xD

[Caenorhabditis]

Approfitto di questo thread per chiedere se qualcuno sappia qualcosa della "discrepanza" e della "discrepanza-*" dei numeri irrazionali. Tali termini sono usati da Benoît Rittaud (La favolosa storia della radice quadrata di due), o meglio dal suo traduttore in italiano, per indicare la distanza media che tendono ad assumere i multipli di $\alpha$ modulo 1 (in particolare, il rapporto aureo è il numero irrazionale con una discrepanza maggiore, e questo ha a che fare col fatto che il suo sviluppo in frazione continua contenga tutti 1). Mi piacerebbe saperne qualcosa in più, ma non trovo questi esposti concetti da nessuna altra parte.

[enigma]

La discrepanza di una sequenza è una nozione abbastanza standard (cerca discrepancy of a sequence), anche se non so se l'uso che ne fa il tizio del libro sia quello comune. La sezione aurea è particolare nel senso che lei (e tutti i numeri a lei equivalenti tramite $SL_2(\mathbb Z)$) è mal approssimabile in termini di frazione continua e mostra che certi noti risultati sullo spettro di Lagrange sono ottimali.

[enigma]

Un accenno lo trovi qui.

[xXStephXx]

Alla fine nel problema originale mi ero reso conto che bastava prendere un'estratta con Bolzano-Weierstrass anzichè usare Pigeonhole, ma avevo dimenticato di scriverlo

[Caenorhabditis]

La discrepanza di una sequenza è una nozione abbastanza standard (cerca discrepancy of a sequence), anche se non so se l'uso che ne fa il tizio del libro sia quello comune. La sezione aurea è particolare nel senso che lei (e tutti i numeri a lei equivalenti tramite $SL_2(\mathbb Z)$) è mal approssimabile in termini di frazione continua e mostra che certi noti risultati sullo spettro di Lagrange sono ottimali.

Grazie, ci ho capito qualcosina.