Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x =...
Transcript of Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x =...
![Page 1: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/1.jpg)
Multiplicar por 2 y por 3
Pablo Shmerkin
Departmento de Matemática y EstadísticaUniversidad T. Di Tella y CONICET
Bahia Blanca, 21.09.2016
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 1 / 35
![Page 2: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/2.jpg)
Iterar e iterar
Sea X un espacio y T : X → X una transformación. En términos muygenerales, el área de sistemas dinámicos estudia las órbitas
{x ,T (x),T (T (x)),T (T (T (x))),T (T (T (T (x)))), . . .}
Escribimos T n = T ◦ · · · ◦ T . El interés está principalmente en elcomportamiento estadístico de la sucesión {T n(x)} cuando n→∞.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 2 / 35
![Page 3: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/3.jpg)
Iterar e iterar
Sea X un espacio y T : X → X una transformación. En términos muygenerales, el área de sistemas dinámicos estudia las órbitas
{x ,T (x),T (T (x)),T (T (T (x))),T (T (T (T (x)))), . . .}
Escribimos T n = T ◦ · · · ◦ T . El interés está principalmente en elcomportamiento estadístico de la sucesión {T n(x)} cuando n→∞.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 2 / 35
![Page 4: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/4.jpg)
Multiplicar por 3, aburridamente
Primer ejemplo: X = R, T (x) = 3x . Entonces:Si x > 0, entonces T n(x)→ +∞ cuando n→∞.Si x = 0, entonces T n(x) = 0 para todo n.Si x < 0, entonces T n(x)→ −∞ cuando n→∞.
Aburrido
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 3 / 35
![Page 5: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/5.jpg)
Multiplicar por 3, aburridamente
Primer ejemplo: X = R, T (x) = 3x . Entonces:Si x > 0, entonces T n(x)→ +∞ cuando n→∞.Si x = 0, entonces T n(x) = 0 para todo n.Si x < 0, entonces T n(x)→ −∞ cuando n→∞.
Aburrido
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 3 / 35
![Page 6: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/6.jpg)
Multiplicar por 3, aburridamente
Primer ejemplo: X = R, T (x) = 3x . Entonces:Si x > 0, entonces T n(x)→ +∞ cuando n→∞.Si x = 0, entonces T n(x) = 0 para todo n.Si x < 0, entonces T n(x)→ −∞ cuando n→∞.
Aburrido
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 3 / 35
![Page 7: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/7.jpg)
Multiplicar por 3, aburridamente
Primer ejemplo: X = R, T (x) = 3x . Entonces:Si x > 0, entonces T n(x)→ +∞ cuando n→∞.Si x = 0, entonces T n(x) = 0 para todo n.Si x < 0, entonces T n(x)→ −∞ cuando n→∞.
Aburrido
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 3 / 35
![Page 8: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/8.jpg)
Multiplicar por 3, aburridamente
Primer ejemplo: X = R, T (x) = 3x . Entonces:Si x > 0, entonces T n(x)→ +∞ cuando n→∞.Si x = 0, entonces T n(x) = 0 para todo n.Si x < 0, entonces T n(x)→ −∞ cuando n→∞.
Aburrido
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 3 / 35
![Page 9: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/9.jpg)
Multiplicar por 3, divertidamente
Segundo ejemplo: X = [0,1), T3(x) = 3x mod 1 (multiplicar por 3 enel círculo). Ahora:
1 Si x es racional, la órbita {T n3 (x)} es finita (y eventualmente
periódica). Por ej.:I {1/6,1/2,1/2, . . .}.I {1/5,3/5,4/5,2/5,1/5, . . .}.
2 Si x es irracional, la órbita {T n3 (x)} no tiene repeticiones, por lo
que es infinita.3 ¿Cuáles son los puntos de acumulación de (T n
3 (x)) cuando x esirracional? (ω-limit set).
4 Si E = E(x) es el conjunto de puntos de acumulación, entoncesT3(E) ⊂ E : E es T3-invariante (e infinito).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 4 / 35
![Page 10: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/10.jpg)
Multiplicar por 3, divertidamente
Segundo ejemplo: X = [0,1), T3(x) = 3x mod 1 (multiplicar por 3 enel círculo). Ahora:
1 Si x es racional, la órbita {T n3 (x)} es finita (y eventualmente
periódica). Por ej.:I {1/6,1/2,1/2, . . .}.I {1/5,3/5,4/5,2/5,1/5, . . .}.
2 Si x es irracional, la órbita {T n3 (x)} no tiene repeticiones, por lo
que es infinita.3 ¿Cuáles son los puntos de acumulación de (T n
3 (x)) cuando x esirracional? (ω-limit set).
4 Si E = E(x) es el conjunto de puntos de acumulación, entoncesT3(E) ⊂ E : E es T3-invariante (e infinito).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 4 / 35
![Page 11: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/11.jpg)
Multiplicar por 3, divertidamente
Segundo ejemplo: X = [0,1), T3(x) = 3x mod 1 (multiplicar por 3 enel círculo). Ahora:
1 Si x es racional, la órbita {T n3 (x)} es finita (y eventualmente
periódica). Por ej.:I {1/6,1/2,1/2, . . .}.I {1/5,3/5,4/5,2/5,1/5, . . .}.
2 Si x es irracional, la órbita {T n3 (x)} no tiene repeticiones, por lo
que es infinita.3 ¿Cuáles son los puntos de acumulación de (T n
3 (x)) cuando x esirracional? (ω-limit set).
4 Si E = E(x) es el conjunto de puntos de acumulación, entoncesT3(E) ⊂ E : E es T3-invariante (e infinito).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 4 / 35
![Page 12: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/12.jpg)
Multiplicar por 3, divertidamente
Segundo ejemplo: X = [0,1), T3(x) = 3x mod 1 (multiplicar por 3 enel círculo). Ahora:
1 Si x es racional, la órbita {T n3 (x)} es finita (y eventualmente
periódica). Por ej.:I {1/6,1/2,1/2, . . .}.I {1/5,3/5,4/5,2/5,1/5, . . .}.
2 Si x es irracional, la órbita {T n3 (x)} no tiene repeticiones, por lo
que es infinita.3 ¿Cuáles son los puntos de acumulación de (T n
3 (x)) cuando x esirracional? (ω-limit set).
4 Si E = E(x) es el conjunto de puntos de acumulación, entoncesT3(E) ⊂ E : E es T3-invariante (e infinito).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 4 / 35
![Page 13: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/13.jpg)
Multiplicar por 3, divertidamente
Segundo ejemplo: X = [0,1), T3(x) = 3x mod 1 (multiplicar por 3 enel círculo). Ahora:
1 Si x es racional, la órbita {T n3 (x)} es finita (y eventualmente
periódica). Por ej.:I {1/6,1/2,1/2, . . .}.I {1/5,3/5,4/5,2/5,1/5, . . .}.
2 Si x es irracional, la órbita {T n3 (x)} no tiene repeticiones, por lo
que es infinita.3 ¿Cuáles son los puntos de acumulación de (T n
3 (x)) cuando x esirracional? (ω-limit set).
4 Si E = E(x) es el conjunto de puntos de acumulación, entoncesT3(E) ⊂ E : E es T3-invariante (e infinito).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 4 / 35
![Page 14: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/14.jpg)
Multiplicar por 3, divertidamente
Segundo ejemplo: X = [0,1), T3(x) = 3x mod 1 (multiplicar por 3 enel círculo). Ahora:
1 Si x es racional, la órbita {T n3 (x)} es finita (y eventualmente
periódica). Por ej.:I {1/6,1/2,1/2, . . .}.I {1/5,3/5,4/5,2/5,1/5, . . .}.
2 Si x es irracional, la órbita {T n3 (x)} no tiene repeticiones, por lo
que es infinita.3 ¿Cuáles son los puntos de acumulación de (T n
3 (x)) cuando x esirracional? (ω-limit set).
4 Si E = E(x) es el conjunto de puntos de acumulación, entoncesT3(E) ⊂ E : E es T3-invariante (e infinito).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 4 / 35
![Page 15: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/15.jpg)
Multiplicar por 3, divertidamente
Segundo ejemplo: X = [0,1), T3(x) = 3x mod 1 (multiplicar por 3 enel círculo). Ahora:
1 Si x es racional, la órbita {T n3 (x)} es finita (y eventualmente
periódica). Por ej.:I {1/6,1/2,1/2, . . .}.I {1/5,3/5,4/5,2/5,1/5, . . .}.
2 Si x es irracional, la órbita {T n3 (x)} no tiene repeticiones, por lo
que es infinita.3 ¿Cuáles son los puntos de acumulación de (T n
3 (x)) cuando x esirracional? (ω-limit set).
4 Si E = E(x) es el conjunto de puntos de acumulación, entoncesT3(E) ⊂ E : E es T3-invariante (e infinito).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 4 / 35
![Page 16: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/16.jpg)
Multiplicar por 3, divertidamente
Segundo ejemplo: X = [0,1), T3(x) = 3x mod 1 (multiplicar por 3 enel círculo). Ahora:
1 Si x es racional, la órbita {T n3 (x)} es finita (y eventualmente
periódica). Por ej.:I {1/6,1/2,1/2, . . .}.I {1/5,3/5,4/5,2/5,1/5, . . .}.
2 Si x es irracional, la órbita {T n3 (x)} no tiene repeticiones, por lo
que es infinita.3 ¿Cuáles son los puntos de acumulación de (T n
3 (x)) cuando x esirracional? (ω-limit set).
4 Si E = E(x) es el conjunto de puntos de acumulación, entoncesT3(E) ⊂ E : E es T3-invariante (e infinito).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 4 / 35
![Page 17: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/17.jpg)
Multiplicar por 3, simbólicamente
Podemos entender la acción de T3 usando expansiones en base 3: si
x = 0.x1x2x3 . . . =∞∑
n=1
xn3−n, entonces
T3x = 0.x2x3x4 . . . .
Formalmente: sean X = {0,1,2}N, y T : X → X el shift. Entonces la“proyección” π : X → [0,1), dada por la expansión ternaria es unaaplicación factor:
T3π = πT .
T3 es “casi lo mismo”, pero no del todo porque π no es biyectiva (perocasi: hay numerables puntos racionales con dos expansiones).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 5 / 35
![Page 18: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/18.jpg)
Multiplicar por 3, simbólicamente
Podemos entender la acción de T3 usando expansiones en base 3: si
x = 0.x1x2x3 . . . =∞∑
n=1
xn3−n, entonces
T3x = 0.x2x3x4 . . . .
Formalmente: sean X = {0,1,2}N, y T : X → X el shift. Entonces la“proyección” π : X → [0,1), dada por la expansión ternaria es unaaplicación factor:
T3π = πT .
T3 es “casi lo mismo”, pero no del todo porque π no es biyectiva (perocasi: hay numerables puntos racionales con dos expansiones).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 5 / 35
![Page 19: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/19.jpg)
Multiplicar por 3, simbólicamente
Podemos entender la acción de T3 usando expansiones en base 3: si
x = 0.x1x2x3 . . . =∞∑
n=1
xn3−n, entonces
T3x = 0.x2x3x4 . . . .
Formalmente: sean X = {0,1,2}N, y T : X → X el shift. Entonces la“proyección” π : X → [0,1), dada por la expansión ternaria es unaaplicación factor:
T3π = πT .
T3 es “casi lo mismo”, pero no del todo porque π no es biyectiva (perocasi: hay numerables puntos racionales con dos expansiones).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 5 / 35
![Page 20: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/20.jpg)
Multiplicar por 3, densa y normalmente
1 Si x = 0,012000102101112202122000 . . ., es fácil ver que laórbita {T n
3 (x)} es densa. ¿Siempre es densa? ¿Casi siempre?2 Es fácil ver que para casi todo x ∈ [0,1), la órbita {T n
3 (x)} esdensa. Aun más: casi todo x es normal en base 3: en laexpansión ternaria de 3, cada bloque ternario (a1 . . . ak ) aparececon la frecuencia “correcta”: 3−k .
3 Si x = 0,0200022022000 . . ., entonces la órbita {T n3 (x)} no es
densa: está contenida en el ternario de Cantor C. De hecho, esdensa en C (el conjunto de Cantor C es T3-invariante).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 6 / 35
![Page 21: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/21.jpg)
Multiplicar por 3, densa y normalmente
1 Si x = 0,012000102101112202122000 . . ., es fácil ver que laórbita {T n
3 (x)} es densa. ¿Siempre es densa? ¿Casi siempre?2 Es fácil ver que para casi todo x ∈ [0,1), la órbita {T n
3 (x)} esdensa. Aun más: casi todo x es normal en base 3: en laexpansión ternaria de 3, cada bloque ternario (a1 . . . ak ) aparececon la frecuencia “correcta”: 3−k .
3 Si x = 0,0200022022000 . . ., entonces la órbita {T n3 (x)} no es
densa: está contenida en el ternario de Cantor C. De hecho, esdensa en C (el conjunto de Cantor C es T3-invariante).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 6 / 35
![Page 22: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/22.jpg)
Multiplicar por 3, densa y normalmente
1 Si x = 0,012000102101112202122000 . . ., es fácil ver que laórbita {T n
3 (x)} es densa. ¿Siempre es densa? ¿Casi siempre?2 Es fácil ver que para casi todo x ∈ [0,1), la órbita {T n
3 (x)} esdensa. Aun más: casi todo x es normal en base 3: en laexpansión ternaria de 3, cada bloque ternario (a1 . . . ak ) aparececon la frecuencia “correcta”: 3−k .
3 Si x = 0,0200022022000 . . ., entonces la órbita {T n3 (x)} no es
densa: está contenida en el ternario de Cantor C. De hecho, esdensa en C (el conjunto de Cantor C es T3-invariante).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 6 / 35
![Page 23: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/23.jpg)
Multiplicar por 3, invariantemente
Hay muchísimos y muy variados conjuntos compactos, T3-invariantes.Por ejemplo:
1 E = {x : xixi+1 = 0 para todo i}.2 E = {x : xixi+2k = 0 para todo i , k}.3 E = { número par de 0s entre dos dígitos 6= 0 }.
Hay no numerables conjuntos compactos T3-invariantes. Más aun, esimposible intentar cualquier tipo de descripción o clasificación detodos ellos.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 7 / 35
![Page 24: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/24.jpg)
Multiplicar por 3, invariantemente
Hay muchísimos y muy variados conjuntos compactos, T3-invariantes.Por ejemplo:
1 E = {x : xixi+1 = 0 para todo i}.2 E = {x : xixi+2k = 0 para todo i , k}.3 E = { número par de 0s entre dos dígitos 6= 0 }.
Hay no numerables conjuntos compactos T3-invariantes. Más aun, esimposible intentar cualquier tipo de descripción o clasificación detodos ellos.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 7 / 35
![Page 25: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/25.jpg)
Multiplicar por 3, invariantemente
Hay muchísimos y muy variados conjuntos compactos, T3-invariantes.Por ejemplo:
1 E = {x : xixi+1 = 0 para todo i}.2 E = {x : xixi+2k = 0 para todo i , k}.3 E = { número par de 0s entre dos dígitos 6= 0 }.
Hay no numerables conjuntos compactos T3-invariantes. Más aun, esimposible intentar cualquier tipo de descripción o clasificación detodos ellos.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 7 / 35
![Page 26: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/26.jpg)
Multiplicar por 3, invariantemente
Hay muchísimos y muy variados conjuntos compactos, T3-invariantes.Por ejemplo:
1 E = {x : xixi+1 = 0 para todo i}.2 E = {x : xixi+2k = 0 para todo i , k}.3 E = { número par de 0s entre dos dígitos 6= 0 }.
Hay no numerables conjuntos compactos T3-invariantes. Más aun, esimposible intentar cualquier tipo de descripción o clasificación detodos ellos.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 7 / 35
![Page 27: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/27.jpg)
Multiplicar por 3, invariantemente
Hay muchísimos y muy variados conjuntos compactos, T3-invariantes.Por ejemplo:
1 E = {x : xixi+1 = 0 para todo i}.2 E = {x : xixi+2k = 0 para todo i , k}.3 E = { número par de 0s entre dos dígitos 6= 0 }.
Hay no numerables conjuntos compactos T3-invariantes. Más aun, esimposible intentar cualquier tipo de descripción o clasificación detodos ellos.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 7 / 35
![Page 28: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/28.jpg)
Multiplicar por p
ObservaciónTodo lo dicho hasta ahora sobre T3 vale también para
Tp(x) = px mod 1,
donde p ∈ N≥2.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 8 / 35
![Page 29: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/29.jpg)
Multiplicar por 2 y por 3: el padre de la criatura
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 9 / 35
![Page 30: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/30.jpg)
Algunas de las áreas que Furstenberg inició
1 Métodos de teoría ergódica en combinatoria (demostraciónergódica del Teorema de Szemerédi,...).
2 Productos aleatorios de matrices, teoría ergódica no conmutativa(simplicidad de exponentes de Lyapunov, ...).
3 Ergodicidad única del flujo de horociclos, aplicaciones del toro, ...4 Concepto de “disjointness” de sistemas dinámicos.5 ×2,×3, rigidez de acciones algebraicas de grupos “grandes”.6 Geometría fractal ∩ teoría ergódica (CP-processes, ...).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 10 / 35
![Page 31: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/31.jpg)
Algunas de las áreas que Furstenberg inició
1 Métodos de teoría ergódica en combinatoria (demostraciónergódica del Teorema de Szemerédi,...).
2 Productos aleatorios de matrices, teoría ergódica no conmutativa(simplicidad de exponentes de Lyapunov, ...).
3 Ergodicidad única del flujo de horociclos, aplicaciones del toro, ...4 Concepto de “disjointness” de sistemas dinámicos.5 ×2,×3, rigidez de acciones algebraicas de grupos “grandes”.6 Geometría fractal ∩ teoría ergódica (CP-processes, ...).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 10 / 35
![Page 32: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/32.jpg)
Algunas de las áreas que Furstenberg inició
1 Métodos de teoría ergódica en combinatoria (demostraciónergódica del Teorema de Szemerédi,...).
2 Productos aleatorios de matrices, teoría ergódica no conmutativa(simplicidad de exponentes de Lyapunov, ...).
3 Ergodicidad única del flujo de horociclos, aplicaciones del toro, ...4 Concepto de “disjointness” de sistemas dinámicos.5 ×2,×3, rigidez de acciones algebraicas de grupos “grandes”.6 Geometría fractal ∩ teoría ergódica (CP-processes, ...).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 10 / 35
![Page 33: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/33.jpg)
Algunas de las áreas que Furstenberg inició
1 Métodos de teoría ergódica en combinatoria (demostraciónergódica del Teorema de Szemerédi,...).
2 Productos aleatorios de matrices, teoría ergódica no conmutativa(simplicidad de exponentes de Lyapunov, ...).
3 Ergodicidad única del flujo de horociclos, aplicaciones del toro, ...4 Concepto de “disjointness” de sistemas dinámicos.5 ×2,×3, rigidez de acciones algebraicas de grupos “grandes”.6 Geometría fractal ∩ teoría ergódica (CP-processes, ...).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 10 / 35
![Page 34: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/34.jpg)
Algunas de las áreas que Furstenberg inició
1 Métodos de teoría ergódica en combinatoria (demostraciónergódica del Teorema de Szemerédi,...).
2 Productos aleatorios de matrices, teoría ergódica no conmutativa(simplicidad de exponentes de Lyapunov, ...).
3 Ergodicidad única del flujo de horociclos, aplicaciones del toro, ...4 Concepto de “disjointness” de sistemas dinámicos.5 ×2,×3, rigidez de acciones algebraicas de grupos “grandes”.6 Geometría fractal ∩ teoría ergódica (CP-processes, ...).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 10 / 35
![Page 35: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/35.jpg)
Algunas de las áreas que Furstenberg inició
1 Métodos de teoría ergódica en combinatoria (demostraciónergódica del Teorema de Szemerédi,...).
2 Productos aleatorios de matrices, teoría ergódica no conmutativa(simplicidad de exponentes de Lyapunov, ...).
3 Ergodicidad única del flujo de horociclos, aplicaciones del toro, ...4 Concepto de “disjointness” de sistemas dinámicos.5 ×2,×3, rigidez de acciones algebraicas de grupos “grandes”.6 Geometría fractal ∩ teoría ergódica (CP-processes, ...).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 10 / 35
![Page 36: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/36.jpg)
Multiplicar por 2 y por 3 son cosas muy distintas
1 Multiplicar por 2 es shiftear la expansión binaria. Multiplicar por 3es shiftear la expansión ternaria. Pero es extremadamente difícilentender la relación entre las expansiones binarias y ternarias deun número dado.
2 Furstenberg propuso una serie de conjeturas que, desde distintospuntos de vista, promueven el siguiente principio heurístico :
Las expansiones en bases 2 y 3 no tienen estructura común.
3 Por ejemplo, ¿qué se puede decir de la expansión ternaria de 2n?Como 2n es muuuy especial en base 2, no debería ser nadaespecial en base 3. Pero no se sabe casi nada.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 11 / 35
![Page 37: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/37.jpg)
Multiplicar por 2 y por 3 son cosas muy distintas
1 Multiplicar por 2 es shiftear la expansión binaria. Multiplicar por 3es shiftear la expansión ternaria. Pero es extremadamente difícilentender la relación entre las expansiones binarias y ternarias deun número dado.
2 Furstenberg propuso una serie de conjeturas que, desde distintospuntos de vista, promueven el siguiente principio heurístico :
Las expansiones en bases 2 y 3 no tienen estructura común.
3 Por ejemplo, ¿qué se puede decir de la expansión ternaria de 2n?Como 2n es muuuy especial en base 2, no debería ser nadaespecial en base 3. Pero no se sabe casi nada.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 11 / 35
![Page 38: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/38.jpg)
Multiplicar por 2 y por 3 son cosas muy distintas
1 Multiplicar por 2 es shiftear la expansión binaria. Multiplicar por 3es shiftear la expansión ternaria. Pero es extremadamente difícilentender la relación entre las expansiones binarias y ternarias deun número dado.
2 Furstenberg propuso una serie de conjeturas que, desde distintospuntos de vista, promueven el siguiente principio heurístico :
Las expansiones en bases 2 y 3 no tienen estructura común.
3 Por ejemplo, ¿qué se puede decir de la expansión ternaria de 2n?Como 2n es muuuy especial en base 2, no debería ser nadaespecial en base 3. Pero no se sabe casi nada.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 11 / 35
![Page 39: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/39.jpg)
Conjuntos invariantes y estructura común
Podemos precisar el principio de “no hay estructura común” entérminos de conjuntos invariantes.El círculo entero [0,1) es invariante bajo ×p para todo p.Muchos conjuntos finitos de números racionales son invariantesbajo ×2,×3. Por ej:
{1/5,2/5,3/5,4/5}.
Si A es cerrado y T2-invariante y B es cerrado y T3-invariante,entonces A y B no deberían tener “estructura común” (exceptoque ambos sean finitos o todo el círculo)
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 12 / 35
![Page 40: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/40.jpg)
Conjuntos invariantes y estructura común
Podemos precisar el principio de “no hay estructura común” entérminos de conjuntos invariantes.El círculo entero [0,1) es invariante bajo ×p para todo p.Muchos conjuntos finitos de números racionales son invariantesbajo ×2,×3. Por ej:
{1/5,2/5,3/5,4/5}.
Si A es cerrado y T2-invariante y B es cerrado y T3-invariante,entonces A y B no deberían tener “estructura común” (exceptoque ambos sean finitos o todo el círculo)
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 12 / 35
![Page 41: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/41.jpg)
Conjuntos invariantes y estructura común
Podemos precisar el principio de “no hay estructura común” entérminos de conjuntos invariantes.El círculo entero [0,1) es invariante bajo ×p para todo p.Muchos conjuntos finitos de números racionales son invariantesbajo ×2,×3. Por ej:
{1/5,2/5,3/5,4/5}.
Si A es cerrado y T2-invariante y B es cerrado y T3-invariante,entonces A y B no deberían tener “estructura común” (exceptoque ambos sean finitos o todo el círculo)
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 12 / 35
![Page 42: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/42.jpg)
Conjuntos invariantes y estructura común
Podemos precisar el principio de “no hay estructura común” entérminos de conjuntos invariantes.El círculo entero [0,1) es invariante bajo ×p para todo p.Muchos conjuntos finitos de números racionales son invariantesbajo ×2,×3. Por ej:
{1/5,2/5,3/5,4/5}.
Si A es cerrado y T2-invariante y B es cerrado y T3-invariante,entonces A y B no deberían tener “estructura común” (exceptoque ambos sean finitos o todo el círculo)
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 12 / 35
![Page 43: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/43.jpg)
El inicio de la historia
ObservaciónSi x es racional, la órbita {T n
2 T m3 x}∞n,m=1 es finita.
Si x es irracional, la órbita {T n2 T m
3 x}∞n,m=1 es infinita (y su clausuraes invariante bajo T2 y T3).
Teorema (Furstenberg 1967)Si x es irracional, entonces la órbita {T n
2 T m3 x}∞n,m=1 es densa en [0,1).
CorolarioSi E ⊂ [0,1) es cerrado e invariante bajo T2 y T3, entonces E es obien finito, o bien todo [0,1).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 13 / 35
![Page 44: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/44.jpg)
El inicio de la historia
ObservaciónSi x es racional, la órbita {T n
2 T m3 x}∞n,m=1 es finita.
Si x es irracional, la órbita {T n2 T m
3 x}∞n,m=1 es infinita (y su clausuraes invariante bajo T2 y T3).
Teorema (Furstenberg 1967)Si x es irracional, entonces la órbita {T n
2 T m3 x}∞n,m=1 es densa en [0,1).
CorolarioSi E ⊂ [0,1) es cerrado e invariante bajo T2 y T3, entonces E es obien finito, o bien todo [0,1).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 13 / 35
![Page 45: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/45.jpg)
El inicio de la historia
ObservaciónSi x es racional, la órbita {T n
2 T m3 x}∞n,m=1 es finita.
Si x es irracional, la órbita {T n2 T m
3 x}∞n,m=1 es infinita (y su clausuraes invariante bajo T2 y T3).
Teorema (Furstenberg 1967)Si x es irracional, entonces la órbita {T n
2 T m3 x}∞n,m=1 es densa en [0,1).
CorolarioSi E ⊂ [0,1) es cerrado e invariante bajo T2 y T3, entonces E es obien finito, o bien todo [0,1).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 13 / 35
![Page 46: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/46.jpg)
El inicio de la historia
ObservaciónSi x es racional, la órbita {T n
2 T m3 x}∞n,m=1 es finita.
Si x es irracional, la órbita {T n2 T m
3 x}∞n,m=1 es infinita (y su clausuraes invariante bajo T2 y T3).
Teorema (Furstenberg 1967)Si x es irracional, entonces la órbita {T n
2 T m3 x}∞n,m=1 es densa en [0,1).
CorolarioSi E ⊂ [0,1) es cerrado e invariante bajo T2 y T3, entonces E es obien finito, o bien todo [0,1).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 13 / 35
![Page 47: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/47.jpg)
El inicio de la historia
ObservaciónSi x es racional, la órbita {T n
2 T m3 x}∞n,m=1 es finita.
Si x es irracional, la órbita {T n2 T m
3 x}∞n,m=1 es infinita (y su clausuraes invariante bajo T2 y T3).
Teorema (Furstenberg 1967)Si x es irracional, entonces la órbita {T n
2 T m3 x}∞n,m=1 es densa en [0,1).
CorolarioSi E ⊂ [0,1) es cerrado e invariante bajo T2 y T3, entonces E es obien finito, o bien todo [0,1).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 13 / 35
![Page 48: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/48.jpg)
“La” conjetura ×2,×3 de Furstenberg
DefiniciónUna medida de probabilidad Boreliana µ en [0,1) es Tp-invariante si
µ(B) = µ(T−1p B) para todos los borelianos B.
Conjetura (Furstenberg 1967)Si µ es T2 y T3-invariante, entonces µ es combinación convexa deLebesgue y una medida atómica soportada en números racionales.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 14 / 35
![Page 49: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/49.jpg)
“La” conjetura ×2,×3 de Furstenberg
DefiniciónUna medida de probabilidad Boreliana µ en [0,1) es Tp-invariante si
µ(B) = µ(T−1p B) para todos los borelianos B.
Conjetura (Furstenberg 1967)Si µ es T2 y T3-invariante, entonces µ es combinación convexa deLebesgue y una medida atómica soportada en números racionales.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 14 / 35
![Page 50: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/50.jpg)
Acciones de grupos y rigidez
Sea X un espacio, G un (semi)grupo y consideremos una accióng · x .Por ej. si G = N2 y X = [0,1), una acción es (m,n) · x = T m
2 T n3 x .
Un principio general en Teoría Ergódica dice que accionesalgebraicas de grupos “grandes” tienen solo losconjuntos/medidas invariantes “triviales” −→ rigidez.Teoremas de rigidez de este tipo subyacen a muchas aplicacionesde la Teoría Ergódica a la Teoría de Números.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 15 / 35
![Page 51: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/51.jpg)
Acciones de grupos y rigidez
Sea X un espacio, G un (semi)grupo y consideremos una accióng · x .Por ej. si G = N2 y X = [0,1), una acción es (m,n) · x = T m
2 T n3 x .
Un principio general en Teoría Ergódica dice que accionesalgebraicas de grupos “grandes” tienen solo losconjuntos/medidas invariantes “triviales” −→ rigidez.Teoremas de rigidez de este tipo subyacen a muchas aplicacionesde la Teoría Ergódica a la Teoría de Números.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 15 / 35
![Page 52: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/52.jpg)
Acciones de grupos y rigidez
Sea X un espacio, G un (semi)grupo y consideremos una accióng · x .Por ej. si G = N2 y X = [0,1), una acción es (m,n) · x = T m
2 T n3 x .
Un principio general en Teoría Ergódica dice que accionesalgebraicas de grupos “grandes” tienen solo losconjuntos/medidas invariantes “triviales” −→ rigidez.Teoremas de rigidez de este tipo subyacen a muchas aplicacionesde la Teoría Ergódica a la Teoría de Números.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 15 / 35
![Page 53: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/53.jpg)
Acciones de grupos y rigidez
Sea X un espacio, G un (semi)grupo y consideremos una accióng · x .Por ej. si G = N2 y X = [0,1), una acción es (m,n) · x = T m
2 T n3 x .
Un principio general en Teoría Ergódica dice que accionesalgebraicas de grupos “grandes” tienen solo losconjuntos/medidas invariantes “triviales” −→ rigidez.Teoremas de rigidez de este tipo subyacen a muchas aplicacionesde la Teoría Ergódica a la Teoría de Números.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 15 / 35
![Page 54: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/54.jpg)
Cómo cuantificar “estructura común”
1 El Teorema de Furstenberg dice que conjuntos no triviales T2 yT3-invariantes no tienen estructura común en el sentido máscrudo: no pueden ser iguales.
2 ¿Cómo podemos cuantificar la estructura común de forma másfina/cuantitativa? Los conjuntos que nos interesan son fractales:no numberables, de medida 0, con cierta forma deautosimilaridad.
3 La geometría ayuda a cuantificar la estructura común. Porejemplo, si dos conjuntos A,B ⊂ R no tienen estructura comúnuno espera que la suma
A + B = {a + b : a ∈ A,b ∈ B}
sea “lo más grande posible” y que las intersecciones A ∩ B andA ∩ (λB + t) sean “lo más chicas posible”.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 16 / 35
![Page 55: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/55.jpg)
Cómo cuantificar “estructura común”
1 El Teorema de Furstenberg dice que conjuntos no triviales T2 yT3-invariantes no tienen estructura común en el sentido máscrudo: no pueden ser iguales.
2 ¿Cómo podemos cuantificar la estructura común de forma másfina/cuantitativa? Los conjuntos que nos interesan son fractales:no numberables, de medida 0, con cierta forma deautosimilaridad.
3 La geometría ayuda a cuantificar la estructura común. Porejemplo, si dos conjuntos A,B ⊂ R no tienen estructura comúnuno espera que la suma
A + B = {a + b : a ∈ A,b ∈ B}
sea “lo más grande posible” y que las intersecciones A ∩ B andA ∩ (λB + t) sean “lo más chicas posible”.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 16 / 35
![Page 56: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/56.jpg)
Cómo cuantificar “estructura común”
1 El Teorema de Furstenberg dice que conjuntos no triviales T2 yT3-invariantes no tienen estructura común en el sentido máscrudo: no pueden ser iguales.
2 ¿Cómo podemos cuantificar la estructura común de forma másfina/cuantitativa? Los conjuntos que nos interesan son fractales:no numberables, de medida 0, con cierta forma deautosimilaridad.
3 La geometría ayuda a cuantificar la estructura común. Porejemplo, si dos conjuntos A,B ⊂ R no tienen estructura comúnuno espera que la suma
A + B = {a + b : a ∈ A,b ∈ B}
sea “lo más grande posible” y que las intersecciones A ∩ B andA ∩ (λB + t) sean “lo más chicas posible”.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 16 / 35
![Page 57: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/57.jpg)
Dimensión de Hausdorff
Mejor exponente para cubrimientos por bolas de radiosposiblemente diferentes.Asigna un “tamaño” a todos los conjuntos de Rd tal que:
I Varía entre 0 y d ,I Conjuntos numerables tienen dimensión 0 y conjuntos de medida
positiva dimensión d ,I Da el tamaño correcto a objetos suaves,I Es invariante bajo funciones bi-Lipschitz,I Es contablemente estable,I El ternario de Cantor tiene dimensión log 2/ log 3,I En general, si A es cerrado y Tp-invariante, entonces
dimH(A) = limn→∞
log |{bloques p-arios de longitud n en A}|n log p
.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 17 / 35
![Page 58: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/58.jpg)
Dimensión de Hausdorff
Mejor exponente para cubrimientos por bolas de radiosposiblemente diferentes.Asigna un “tamaño” a todos los conjuntos de Rd tal que:
I Varía entre 0 y d ,I Conjuntos numerables tienen dimensión 0 y conjuntos de medida
positiva dimensión d ,I Da el tamaño correcto a objetos suaves,I Es invariante bajo funciones bi-Lipschitz,I Es contablemente estable,I El ternario de Cantor tiene dimensión log 2/ log 3,I En general, si A es cerrado y Tp-invariante, entonces
dimH(A) = limn→∞
log |{bloques p-arios de longitud n en A}|n log p
.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 17 / 35
![Page 59: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/59.jpg)
Dimensión de Hausdorff
Mejor exponente para cubrimientos por bolas de radiosposiblemente diferentes.Asigna un “tamaño” a todos los conjuntos de Rd tal que:
I Varía entre 0 y d ,I Conjuntos numerables tienen dimensión 0 y conjuntos de medida
positiva dimensión d ,I Da el tamaño correcto a objetos suaves,I Es invariante bajo funciones bi-Lipschitz,I Es contablemente estable,I El ternario de Cantor tiene dimensión log 2/ log 3,I En general, si A es cerrado y Tp-invariante, entonces
dimH(A) = limn→∞
log |{bloques p-arios de longitud n en A}|n log p
.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 17 / 35
![Page 60: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/60.jpg)
Dimensión de Hausdorff
Mejor exponente para cubrimientos por bolas de radiosposiblemente diferentes.Asigna un “tamaño” a todos los conjuntos de Rd tal que:
I Varía entre 0 y d ,I Conjuntos numerables tienen dimensión 0 y conjuntos de medida
positiva dimensión d ,I Da el tamaño correcto a objetos suaves,I Es invariante bajo funciones bi-Lipschitz,I Es contablemente estable,I El ternario de Cantor tiene dimensión log 2/ log 3,I En general, si A es cerrado y Tp-invariante, entonces
dimH(A) = limn→∞
log |{bloques p-arios de longitud n en A}|n log p
.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 17 / 35
![Page 61: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/61.jpg)
Dimensión de Hausdorff
Mejor exponente para cubrimientos por bolas de radiosposiblemente diferentes.Asigna un “tamaño” a todos los conjuntos de Rd tal que:
I Varía entre 0 y d ,I Conjuntos numerables tienen dimensión 0 y conjuntos de medida
positiva dimensión d ,I Da el tamaño correcto a objetos suaves,I Es invariante bajo funciones bi-Lipschitz,I Es contablemente estable,I El ternario de Cantor tiene dimensión log 2/ log 3,I En general, si A es cerrado y Tp-invariante, entonces
dimH(A) = limn→∞
log |{bloques p-arios de longitud n en A}|n log p
.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 17 / 35
![Page 62: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/62.jpg)
Dimensión de Hausdorff
Mejor exponente para cubrimientos por bolas de radiosposiblemente diferentes.Asigna un “tamaño” a todos los conjuntos de Rd tal que:
I Varía entre 0 y d ,I Conjuntos numerables tienen dimensión 0 y conjuntos de medida
positiva dimensión d ,I Da el tamaño correcto a objetos suaves,I Es invariante bajo funciones bi-Lipschitz,I Es contablemente estable,I El ternario de Cantor tiene dimensión log 2/ log 3,I En general, si A es cerrado y Tp-invariante, entonces
dimH(A) = limn→∞
log |{bloques p-arios de longitud n en A}|n log p
.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 17 / 35
![Page 63: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/63.jpg)
Dimensión de Hausdorff
Mejor exponente para cubrimientos por bolas de radiosposiblemente diferentes.Asigna un “tamaño” a todos los conjuntos de Rd tal que:
I Varía entre 0 y d ,I Conjuntos numerables tienen dimensión 0 y conjuntos de medida
positiva dimensión d ,I Da el tamaño correcto a objetos suaves,I Es invariante bajo funciones bi-Lipschitz,I Es contablemente estable,I El ternario de Cantor tiene dimensión log 2/ log 3,I En general, si A es cerrado y Tp-invariante, entonces
dimH(A) = limn→∞
log |{bloques p-arios de longitud n en A}|n log p
.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 17 / 35
![Page 64: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/64.jpg)
Dimensión de Hausdorff
Mejor exponente para cubrimientos por bolas de radiosposiblemente diferentes.Asigna un “tamaño” a todos los conjuntos de Rd tal que:
I Varía entre 0 y d ,I Conjuntos numerables tienen dimensión 0 y conjuntos de medida
positiva dimensión d ,I Da el tamaño correcto a objetos suaves,I Es invariante bajo funciones bi-Lipschitz,I Es contablemente estable,I El ternario de Cantor tiene dimensión log 2/ log 3,I En general, si A es cerrado y Tp-invariante, entonces
dimH(A) = limn→∞
log |{bloques p-arios de longitud n en A}|n log p
.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 17 / 35
![Page 65: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/65.jpg)
Dimensión de Hausdorff
Mejor exponente para cubrimientos por bolas de radiosposiblemente diferentes.Asigna un “tamaño” a todos los conjuntos de Rd tal que:
I Varía entre 0 y d ,I Conjuntos numerables tienen dimensión 0 y conjuntos de medida
positiva dimensión d ,I Da el tamaño correcto a objetos suaves,I Es invariante bajo funciones bi-Lipschitz,I Es contablemente estable,I El ternario de Cantor tiene dimensión log 2/ log 3,I En general, si A es cerrado y Tp-invariante, entonces
dimH(A) = limn→∞
log |{bloques p-arios de longitud n en A}|n log p
.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 17 / 35
![Page 66: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/66.jpg)
Conjetura de Furstenberg 1p,q no son potencias de un mismo entero. Por ej. 2 y 3, o 6 y 12 (perono 8 y 16).
Conjetura 1Sean A,B cerrados y Tp,Tq-invariantes. Then
dimH(A + B) = max(dimH(A) + dimH(B),1).
MotivaciónLa fórmula se cumple “típicamente”. Por ejemplo, para A,Barbitrarios se cumple∗ que
dimH(A +λB) = max(dimH(A) + dimH(B),1) para casi todo λ ∈ R.
El lado derecho es siempre cota superior (trivial).Para que haya una desigualdad estricta, A y B tienen que tener“estructura común en muchas escalas”.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 18 / 35
![Page 67: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/67.jpg)
Conjetura de Furstenberg 1p,q no son potencias de un mismo entero. Por ej. 2 y 3, o 6 y 12 (perono 8 y 16).
Conjetura 1Sean A,B cerrados y Tp,Tq-invariantes. Then
dimH(A + B) = max(dimH(A) + dimH(B),1).
MotivaciónLa fórmula se cumple “típicamente”. Por ejemplo, para A,Barbitrarios se cumple∗ que
dimH(A +λB) = max(dimH(A) + dimH(B),1) para casi todo λ ∈ R.
El lado derecho es siempre cota superior (trivial).Para que haya una desigualdad estricta, A y B tienen que tener“estructura común en muchas escalas”.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 18 / 35
![Page 68: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/68.jpg)
Conjetura de Furstenberg 1p,q no son potencias de un mismo entero. Por ej. 2 y 3, o 6 y 12 (perono 8 y 16).
Conjetura 1Sean A,B cerrados y Tp,Tq-invariantes. Then
dimH(A + B) = max(dimH(A) + dimH(B),1).
MotivaciónLa fórmula se cumple “típicamente”. Por ejemplo, para A,Barbitrarios se cumple∗ que
dimH(A +λB) = max(dimH(A) + dimH(B),1) para casi todo λ ∈ R.
El lado derecho es siempre cota superior (trivial).Para que haya una desigualdad estricta, A y B tienen que tener“estructura común en muchas escalas”.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 18 / 35
![Page 69: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/69.jpg)
Conjetura de Furstenberg 1p,q no son potencias de un mismo entero. Por ej. 2 y 3, o 6 y 12 (perono 8 y 16).
Conjetura 1Sean A,B cerrados y Tp,Tq-invariantes. Then
dimH(A + B) = max(dimH(A) + dimH(B),1).
MotivaciónLa fórmula se cumple “típicamente”. Por ejemplo, para A,Barbitrarios se cumple∗ que
dimH(A +λB) = max(dimH(A) + dimH(B),1) para casi todo λ ∈ R.
El lado derecho es siempre cota superior (trivial).Para que haya una desigualdad estricta, A y B tienen que tener“estructura común en muchas escalas”.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 18 / 35
![Page 70: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/70.jpg)
Conjetura de Furstenberg 1p,q no son potencias de un mismo entero. Por ej. 2 y 3, o 6 y 12 (perono 8 y 16).
Conjetura 1Sean A,B cerrados y Tp,Tq-invariantes. Then
dimH(A + B) = max(dimH(A) + dimH(B),1).
MotivaciónLa fórmula se cumple “típicamente”. Por ejemplo, para A,Barbitrarios se cumple∗ que
dimH(A +λB) = max(dimH(A) + dimH(B),1) para casi todo λ ∈ R.
El lado derecho es siempre cota superior (trivial).Para que haya una desigualdad estricta, A y B tienen que tener“estructura común en muchas escalas”.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 18 / 35
![Page 71: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/71.jpg)
Conjetura de Furstenberg 1p,q no son potencias de un mismo entero. Por ej. 2 y 3, o 6 y 12 (perono 8 y 16).
Conjetura 1Sean A,B cerrados y Tp,Tq-invariantes. Then
dimH(A + B) = max(dimH(A) + dimH(B),1).
MotivaciónLa fórmula se cumple “típicamente”. Por ejemplo, para A,Barbitrarios se cumple∗ que
dimH(A +λB) = max(dimH(A) + dimH(B),1) para casi todo λ ∈ R.
El lado derecho es siempre cota superior (trivial).Para que haya una desigualdad estricta, A y B tienen que tener“estructura común en muchas escalas”.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 18 / 35
![Page 72: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/72.jpg)
p-Cantor sets
DefiniciónUn p-Cantor set es un conjunto A que se obtiene restringiendo losdígitos p-arios de A a un subconjunto D ⊂ {0,1, . . . ,p − 1}.
ObservaciónEl ternario de Cantor es un 3-Cantor set, con D = {0,2}.Los p-Cantor sets con cerrados y Tp-invariantes.Son los ejemplos más simples y naturales de conjuntosTp-invariantes: auto-similaridad.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 19 / 35
![Page 73: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/73.jpg)
p-Cantor sets
DefiniciónUn p-Cantor set es un conjunto A que se obtiene restringiendo losdígitos p-arios de A a un subconjunto D ⊂ {0,1, . . . ,p − 1}.
ObservaciónEl ternario de Cantor es un 3-Cantor set, con D = {0,2}.Los p-Cantor sets con cerrados y Tp-invariantes.Son los ejemplos más simples y naturales de conjuntosTp-invariantes: auto-similaridad.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 19 / 35
![Page 74: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/74.jpg)
p-Cantor sets
DefiniciónUn p-Cantor set es un conjunto A que se obtiene restringiendo losdígitos p-arios de A a un subconjunto D ⊂ {0,1, . . . ,p − 1}.
ObservaciónEl ternario de Cantor es un 3-Cantor set, con D = {0,2}.Los p-Cantor sets con cerrados y Tp-invariantes.Son los ejemplos más simples y naturales de conjuntosTp-invariantes: auto-similaridad.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 19 / 35
![Page 75: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/75.jpg)
p-Cantor sets
DefiniciónUn p-Cantor set es un conjunto A que se obtiene restringiendo losdígitos p-arios de A a un subconjunto D ⊂ {0,1, . . . ,p − 1}.
ObservaciónEl ternario de Cantor es un 3-Cantor set, con D = {0,2}.Los p-Cantor sets con cerrados y Tp-invariantes.Son los ejemplos más simples y naturales de conjuntosTp-invariantes: auto-similaridad.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 19 / 35
![Page 76: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/76.jpg)
p-Cantor sets
DefiniciónUn p-Cantor set es un conjunto A que se obtiene restringiendo losdígitos p-arios de A a un subconjunto D ⊂ {0,1, . . . ,p − 1}.
ObservaciónEl ternario de Cantor es un 3-Cantor set, con D = {0,2}.Los p-Cantor sets con cerrados y Tp-invariantes.Son los ejemplos más simples y naturales de conjuntosTp-invariantes: auto-similaridad.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 19 / 35
![Page 77: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/77.jpg)
Solución a la Conjetura de Furstenberg 1
Teorema (Y.Peres-P.S. 2009)Si A,B son un p-Cantor set y un q-Cantor set, entonces
dimH(A + λB) = min(dimH(A) + dimH(B),1) para todo λ ∈ R \ {0}.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 20 / 35
![Page 78: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/78.jpg)
Solución a la Conjetura de Furstenberg 1
Teorema (M.Hochman-P.S. 2012)Si A,B son cerrados y Tp, Tq-invariantes, entonces
dimH(A + λB) = min(dimH(A) + dimH(B),1) para todo λ ∈ R \ {0}.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 20 / 35
![Page 79: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/79.jpg)
¡Dibujos!
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 21 / 35
![Page 80: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/80.jpg)
¡Dibujos!
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 21 / 35
![Page 81: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/81.jpg)
¡Dibujos!
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 21 / 35
![Page 82: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/82.jpg)
¡Dibujos!
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 21 / 35
![Page 83: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/83.jpg)
¡Dibujos!
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 21 / 35
![Page 84: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/84.jpg)
¡Dibujos!
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 21 / 35
![Page 85: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/85.jpg)
Un corolario para subconjuntos de los enteros
DefiniciónLa densidad logarítmica de A ⊂ N es
∆(A) = limn→∞
log |A ∩ {1, . . . ,n}|log n
.
CorolarioSea A el conjunto de números naturales cuya expansión en base 4tiene solo dígitos 0,3, y sea B el conjunto de números naturales cuyaexpansión en base 10 tiene solo dígitos 1,2,7. Entonces
∆(A + B) = ∆(A) + ∆(B) =log 2log 4
+log 3
log 10.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 22 / 35
![Page 86: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/86.jpg)
Un corolario para subconjuntos de los enteros
DefiniciónLa densidad logarítmica de A ⊂ N es
∆(A) = limn→∞
log |A ∩ {1, . . . ,n}|log n
.
CorolarioSea A el conjunto de números naturales cuya expansión en base 4tiene solo dígitos 0,3, y sea B el conjunto de números naturales cuyaexpansión en base 10 tiene solo dígitos 1,2,7. Entonces
∆(A + B) = ∆(A) + ∆(B) =log 2log 4
+log 3
log 10.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 22 / 35
![Page 87: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/87.jpg)
Nociones más generales de estructura común
Vimos que si
dimH(A + B) < min(dimH(A) + dimH(B),1),
entonces A y B tienen “estructura común” en muchas escalas.¡Pero el recíproco no vale para nada! Para muchos (“casi todos”)los conjuntos A, incluso Tp-invariantes,
dimH(A + A) = min(2 dimH(A),1).
Una noción más fuerta de estructura común está dada por eltamaño de las intersecciones. Por ejemplo, A ∩ A siempre tienedimensión mayor a la “esperada” (si dimH(A) > 0).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 23 / 35
![Page 88: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/88.jpg)
Nociones más generales de estructura común
Vimos que si
dimH(A + B) < min(dimH(A) + dimH(B),1),
entonces A y B tienen “estructura común” en muchas escalas.¡Pero el recíproco no vale para nada! Para muchos (“casi todos”)los conjuntos A, incluso Tp-invariantes,
dimH(A + A) = min(2 dimH(A),1).
Una noción más fuerta de estructura común está dada por eltamaño de las intersecciones. Por ejemplo, A ∩ A siempre tienedimensión mayor a la “esperada” (si dimH(A) > 0).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 23 / 35
![Page 89: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/89.jpg)
Nociones más generales de estructura común
Vimos que si
dimH(A + B) < min(dimH(A) + dimH(B),1),
entonces A y B tienen “estructura común” en muchas escalas.¡Pero el recíproco no vale para nada! Para muchos (“casi todos”)los conjuntos A, incluso Tp-invariantes,
dimH(A + A) = min(2 dimH(A),1).
Una noción más fuerta de estructura común está dada por eltamaño de las intersecciones. Por ejemplo, A ∩ A siempre tienedimensión mayor a la “esperada” (si dimH(A) > 0).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 23 / 35
![Page 90: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/90.jpg)
Conjetura de Furstenberg 2
Conjetura 2 (Furstenberg 1969)Sean A, B cerrados e invariantes bajo Tp,Tq (vistos comosubconjuntos de R). Entonces para toda biyección afín f : R→ R,
dimH(A ∩ f (B)) ≤ max(dimH(A) + dimH(B)− 1,0).
MotivaciónSe sabe que la cota vale para casi toda biyección afín, y el ladoderecho es óptimo∗ (para conjuntos A,B arbitrarios).Se puede ver que Conjetura 2 =⇒ Conjetura 1. Heurísticamente,la A + B es “grande” si “muchas” fibras son “chicas”. La conjeturaafirma que todas las fibras son chicas.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 24 / 35
![Page 91: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/91.jpg)
Conjetura de Furstenberg 2
Conjetura 2 (Furstenberg 1969)Sean A, B cerrados e invariantes bajo Tp,Tq (vistos comosubconjuntos de R). Entonces para toda biyección afín f : R→ R,
dimH(A ∩ f (B)) ≤ max(dimH(A) + dimH(B)− 1,0).
MotivaciónSe sabe que la cota vale para casi toda biyección afín, y el ladoderecho es óptimo∗ (para conjuntos A,B arbitrarios).Se puede ver que Conjetura 2 =⇒ Conjetura 1. Heurísticamente,la A + B es “grande” si “muchas” fibras son “chicas”. La conjeturaafirma que todas las fibras son chicas.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 24 / 35
![Page 92: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/92.jpg)
Conjetura de Furstenberg 2
Conjetura 2 (Furstenberg 1969)Sean A, B cerrados e invariantes bajo Tp,Tq (vistos comosubconjuntos de R). Entonces para toda biyección afín f : R→ R,
dimH(A ∩ f (B)) ≤ max(dimH(A) + dimH(B)− 1,0).
MotivaciónSe sabe que la cota vale para casi toda biyección afín, y el ladoderecho es óptimo∗ (para conjuntos A,B arbitrarios).Se puede ver que Conjetura 2 =⇒ Conjetura 1. Heurísticamente,la A + B es “grande” si “muchas” fibras son “chicas”. La conjeturaafirma que todas las fibras son chicas.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 24 / 35
![Page 93: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/93.jpg)
Conjetura de Furstenberg 2
Conjetura 2 (Furstenberg 1969)Sean A, B cerrados e invariantes bajo Tp,Tq (vistos comosubconjuntos de R). Entonces para toda biyección afín f : R→ R,
dimH(A ∩ f (B)) ≤ max(dimH(A) + dimH(B)− 1,0).
MotivaciónSe sabe que la cota vale para casi toda biyección afín, y el ladoderecho es óptimo∗ (para conjuntos A,B arbitrarios).Se puede ver que Conjetura 2 =⇒ Conjetura 1. Heurísticamente,la A + B es “grande” si “muchas” fibras son “chicas”. La conjeturaafirma que todas las fibras son chicas.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 24 / 35
![Page 94: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/94.jpg)
Solución a la conjetura de Furstenberg 2
Teorema (P.S. 2016)La conjetura de Furstenberg 2 se cumple.
ObservaciónMeng Wu (Universidad of Oulu, Finlandia) independientementetambién demostró la conjetura. Las demostraciones soncompletamente distintas.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 25 / 35
![Page 95: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/95.jpg)
Solución a la conjetura de Furstenberg 2
Teorema (P.S. 2016)La conjetura de Furstenberg 2 se cumple.
ObservaciónMeng Wu (Universidad of Oulu, Finlandia) independientementetambién demostró la conjetura. Las demostraciones soncompletamente distintas.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 25 / 35
![Page 96: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/96.jpg)
¡Más dibujos!
Nuestro viejo amigo: A× B.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 26 / 35
![Page 97: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/97.jpg)
¡Más dibujos!
A× B ∩ diagonal = A ∩ B.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 26 / 35
![Page 98: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/98.jpg)
¡Más dibujos!
A× B ∩ cualquier recta = A ∩ imagen afín de B.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 26 / 35
![Page 99: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/99.jpg)
Un corolario para subconjuntos de los enteros
CorolarioSean A los números naturales con dígitos 0,3 en base 4, y B losnúmeros naturales con dígitos 1,2,7 en base 10. Entonces
∆(A ∩ B) = 0.
Pregunta (Relacionada con otra conjetura de Furstenberg)
Es A ∩ B finito?
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 27 / 35
![Page 100: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/100.jpg)
Un corolario para subconjuntos de los enteros
CorolarioSean A los números naturales con dígitos 0,3 en base 4, y B losnúmeros naturales con dígitos 1,2,7 en base 10. Entonces
∆(A ∩ B) = 0.
Pregunta (Relacionada con otra conjetura de Furstenberg)
Es A ∩ B finito?
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 27 / 35
![Page 101: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/101.jpg)
Algunas palabras sobre los métodos
La demostración no tiene casi nada ver con los métodos usadospara demostrar la Conjetura 1 (aunque sí usa ideas deNazarov-Peres-P.S. para demostrar una versión de la Conjetura 1para medidas).La estrategia general está inspirada en un importantísimo trabajode M. Hochman (2014) sobre medidas autosimilares. Sinembargo, Hochman trabaja con entropía mientras que yo mebaso en normas Lq: los resultados son más fuertes que los deHochman.Dos elementos novedosos respecto del trabajo de Hochman sonla aplicación de ideas y resultados de Combinatoria Aditiva yAnálisis Multifractal.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 28 / 35
![Page 102: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/102.jpg)
Algunas palabras sobre los métodos
La demostración no tiene casi nada ver con los métodos usadospara demostrar la Conjetura 1 (aunque sí usa ideas deNazarov-Peres-P.S. para demostrar una versión de la Conjetura 1para medidas).La estrategia general está inspirada en un importantísimo trabajode M. Hochman (2014) sobre medidas autosimilares. Sinembargo, Hochman trabaja con entropía mientras que yo mebaso en normas Lq: los resultados son más fuertes que los deHochman.Dos elementos novedosos respecto del trabajo de Hochman sonla aplicación de ideas y resultados de Combinatoria Aditiva yAnálisis Multifractal.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 28 / 35
![Page 103: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/103.jpg)
Algunas palabras sobre los métodos
La demostración no tiene casi nada ver con los métodos usadospara demostrar la Conjetura 1 (aunque sí usa ideas deNazarov-Peres-P.S. para demostrar una versión de la Conjetura 1para medidas).La estrategia general está inspirada en un importantísimo trabajode M. Hochman (2014) sobre medidas autosimilares. Sinembargo, Hochman trabaja con entropía mientras que yo mebaso en normas Lq: los resultados son más fuertes que los deHochman.Dos elementos novedosos respecto del trabajo de Hochman sonla aplicación de ideas y resultados de Combinatoria Aditiva yAnálisis Multifractal.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 28 / 35
![Page 104: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/104.jpg)
Combinatoria aditiva
En líneas generales, la combinatoria aditiva estudia elcomportamiento de conjuntos discretos bajo las operaciones desuma y resta (y ocasionalmente multiplicación).Por ejemplo, la combinatoria aditiva estudia qué condicionesestructurales sobre A garantizan que A contenga progresionesaritméticas (largas) (Teoremas de Roth, Szemerédi, Chang,Bourgain, Sanders,...).Otro tema predominante es la relación entre el tamaño de lasuma aritmética A + A y la estructura de A (Teoremas de Freiman,Bourgain,...).La combinatoria aditiva es una herramienta muy poderosa que seviene aplicando en áreas muy diversas, incluyendo Análisis,Teoría Ergódica, Teoría Geométrica de la Medida, TeoríaGeométrica de Grupos, etc. El líder absoluto en estasaplicaciones es J. Bourgain.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 29 / 35
![Page 105: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/105.jpg)
Combinatoria aditiva
En líneas generales, la combinatoria aditiva estudia elcomportamiento de conjuntos discretos bajo las operaciones desuma y resta (y ocasionalmente multiplicación).Por ejemplo, la combinatoria aditiva estudia qué condicionesestructurales sobre A garantizan que A contenga progresionesaritméticas (largas) (Teoremas de Roth, Szemerédi, Chang,Bourgain, Sanders,...).Otro tema predominante es la relación entre el tamaño de lasuma aritmética A + A y la estructura de A (Teoremas de Freiman,Bourgain,...).La combinatoria aditiva es una herramienta muy poderosa que seviene aplicando en áreas muy diversas, incluyendo Análisis,Teoría Ergódica, Teoría Geométrica de la Medida, TeoríaGeométrica de Grupos, etc. El líder absoluto en estasaplicaciones es J. Bourgain.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 29 / 35
![Page 106: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/106.jpg)
Combinatoria aditiva
En líneas generales, la combinatoria aditiva estudia elcomportamiento de conjuntos discretos bajo las operaciones desuma y resta (y ocasionalmente multiplicación).Por ejemplo, la combinatoria aditiva estudia qué condicionesestructurales sobre A garantizan que A contenga progresionesaritméticas (largas) (Teoremas de Roth, Szemerédi, Chang,Bourgain, Sanders,...).Otro tema predominante es la relación entre el tamaño de lasuma aritmética A + A y la estructura de A (Teoremas de Freiman,Bourgain,...).La combinatoria aditiva es una herramienta muy poderosa que seviene aplicando en áreas muy diversas, incluyendo Análisis,Teoría Ergódica, Teoría Geométrica de la Medida, TeoríaGeométrica de Grupos, etc. El líder absoluto en estasaplicaciones es J. Bourgain.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 29 / 35
![Page 107: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/107.jpg)
Combinatoria aditiva
En líneas generales, la combinatoria aditiva estudia elcomportamiento de conjuntos discretos bajo las operaciones desuma y resta (y ocasionalmente multiplicación).Por ejemplo, la combinatoria aditiva estudia qué condicionesestructurales sobre A garantizan que A contenga progresionesaritméticas (largas) (Teoremas de Roth, Szemerédi, Chang,Bourgain, Sanders,...).Otro tema predominante es la relación entre el tamaño de lasuma aritmética A + A y la estructura de A (Teoremas de Freiman,Bourgain,...).La combinatoria aditiva es una herramienta muy poderosa que seviene aplicando en áreas muy diversas, incluyendo Análisis,Teoría Ergódica, Teoría Geométrica de la Medida, TeoríaGeométrica de Grupos, etc. El líder absoluto en estasaplicaciones es J. Bourgain.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 29 / 35
![Page 108: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/108.jpg)
Energía aditiva y sumas aritméticas
DefiniciónLa Energía Aditiva de un conjunto A ⊂ Z o Z/nZ es
E(A,A) = |{(a1,a2,a3,a4) : a1 + a2 = a3 + a4}| .
|A|2 ≤ E(A,A) ≤ |A|3.Si E(A,A) ≈ |A|3, entonces hay “muchos” valores b ∈ A + A quetienen “mucha multiplicidad” (hay muchos pares a,a′ ∈ A talesque a + a′ = b). “Mucha estructura aditiva”.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 30 / 35
![Page 109: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/109.jpg)
Energía aditiva y sumas aritméticas
DefiniciónLa Energía Aditiva de un conjunto A ⊂ Z o Z/nZ es
E(A,A) = |{(a1,a2,a3,a4) : a1 + a2 = a3 + a4}| .
|A|2 ≤ E(A,A) ≤ |A|3.Si E(A,A) ≈ |A|3, entonces hay “muchos” valores b ∈ A + A quetienen “mucha multiplicidad” (hay muchos pares a,a′ ∈ A talesque a + a′ = b). “Mucha estructura aditiva”.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 30 / 35
![Page 110: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/110.jpg)
Energía aditiva y sumas aritméticas
DefiniciónLa Energía Aditiva de un conjunto A ⊂ Z o Z/nZ es
E(A,A) = |{(a1,a2,a3,a4) : a1 + a2 = a3 + a4}| .
|A|2 ≤ E(A,A) ≤ |A|3.Si E(A,A) ≈ |A|3, entonces hay “muchos” valores b ∈ A + A quetienen “mucha multiplicidad” (hay muchos pares a,a′ ∈ A talesque a + a′ = b). “Mucha estructura aditiva”.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 30 / 35
![Page 111: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/111.jpg)
Energía aditiva y tamaño de sumas
Si |A + A| ≈ |A| (lo más chico que puede ser) entonces A tambiéntiene “mucha estructura aditiva”.Cauchy-Schwartz muestra que
E(A,A) ≥ |A|4
|A + A|,
o sea que si A + A es “muy chico”, entonces E(A,A) es “muygrande”.Pero el recíproco está lejos de valer. Si A es la unión de unconjunto “estructurado” y uno “aleatorio” del mismo tamaño,entonces |A + A| ≈ |A|2 (“muy poca estructura”) peroE(A,A) ≈ |A|3 (“mucha estructura”).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 31 / 35
![Page 112: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/112.jpg)
Energía aditiva y tamaño de sumas
Si |A + A| ≈ |A| (lo más chico que puede ser) entonces A tambiéntiene “mucha estructura aditiva”.Cauchy-Schwartz muestra que
E(A,A) ≥ |A|4
|A + A|,
o sea que si A + A es “muy chico”, entonces E(A,A) es “muygrande”.Pero el recíproco está lejos de valer. Si A es la unión de unconjunto “estructurado” y uno “aleatorio” del mismo tamaño,entonces |A + A| ≈ |A|2 (“muy poca estructura”) peroE(A,A) ≈ |A|3 (“mucha estructura”).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 31 / 35
![Page 113: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/113.jpg)
Energía aditiva y tamaño de sumas
Si |A + A| ≈ |A| (lo más chico que puede ser) entonces A tambiéntiene “mucha estructura aditiva”.Cauchy-Schwartz muestra que
E(A,A) ≥ |A|4
|A + A|,
o sea que si A + A es “muy chico”, entonces E(A,A) es “muygrande”.Pero el recíproco está lejos de valer. Si A es la unión de unconjunto “estructurado” y uno “aleatorio” del mismo tamaño,entonces |A + A| ≈ |A|2 (“muy poca estructura”) peroE(A,A) ≈ |A|3 (“mucha estructura”).
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 31 / 35
![Page 114: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/114.jpg)
Una demostración
E(A,A) = |{(a1,a2,a3,a4) : a1 + a2 = a3 + a4}|
=∑
x∈A+A
|{(a1,a2,a3,a4) : a1 + a2 = a3 + a4 = x}|
=∑
x∈A+A
|{(a1,a2) : a1 + a2 = x}|2
≥C-S
(∑x∈A+A |{(a1,a2) : a1 + a2 = x}|
)2
|A + A|
=|A|4
|A + A|.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 32 / 35
![Page 115: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/115.jpg)
Teorema de Balog-Szemerédi-Gowers
ObservaciónSi E(A,A) ≈ |A|3 (o sea, la energía aditiva es casi máxima, “muchaestructura”), no podemos garantizar que A + A sea chico.
Teorema (Balog-Szemerédi-Gowers)
Si E(A,A) ≈ |A|3, entonces existe un subconjunto A′ ⊂ A tal que:1 |A′| ≈ |A| (o sea A′ es un subconjunto muy “grande” de A),2 |A′ + A′| ≈ |A′| (o sea, el conjunto suma de A′ es muy chico).
ObservaciónLa demostración es elemental, usa ideas de grafos pero muy simples.Sin embargo el teorema tiene un poder extraordinario.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 33 / 35
![Page 116: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/116.jpg)
Teorema de Balog-Szemerédi-Gowers
ObservaciónSi E(A,A) ≈ |A|3 (o sea, la energía aditiva es casi máxima, “muchaestructura”), no podemos garantizar que A + A sea chico.
Teorema (Balog-Szemerédi-Gowers)
Si E(A,A) ≈ |A|3, entonces existe un subconjunto A′ ⊂ A tal que:1 |A′| ≈ |A| (o sea A′ es un subconjunto muy “grande” de A),2 |A′ + A′| ≈ |A′| (o sea, el conjunto suma de A′ es muy chico).
ObservaciónLa demostración es elemental, usa ideas de grafos pero muy simples.Sin embargo el teorema tiene un poder extraordinario.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 33 / 35
![Page 117: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/117.jpg)
Teorema de Balog-Szemerédi-Gowers
ObservaciónSi E(A,A) ≈ |A|3 (o sea, la energía aditiva es casi máxima, “muchaestructura”), no podemos garantizar que A + A sea chico.
Teorema (Balog-Szemerédi-Gowers)
Si E(A,A) ≈ |A|3, entonces existe un subconjunto A′ ⊂ A tal que:1 |A′| ≈ |A| (o sea A′ es un subconjunto muy “grande” de A),2 |A′ + A′| ≈ |A′| (o sea, el conjunto suma de A′ es muy chico).
ObservaciónLa demostración es elemental, usa ideas de grafos pero muy simples.Sin embargo el teorema tiene un poder extraordinario.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 33 / 35
![Page 118: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/118.jpg)
Teorema de Balog-Szemerédi-Gowers
ObservaciónSi E(A,A) ≈ |A|3 (o sea, la energía aditiva es casi máxima, “muchaestructura”), no podemos garantizar que A + A sea chico.
Teorema (Balog-Szemerédi-Gowers)
Si E(A,A) ≈ |A|3, entonces existe un subconjunto A′ ⊂ A tal que:1 |A′| ≈ |A| (o sea A′ es un subconjunto muy “grande” de A),2 |A′ + A′| ≈ |A′| (o sea, el conjunto suma de A′ es muy chico).
ObservaciónLa demostración es elemental, usa ideas de grafos pero muy simples.Sin embargo el teorema tiene un poder extraordinario.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 33 / 35
![Page 119: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/119.jpg)
Teorema de Balog-Szemerédi-Gowers
ObservaciónSi E(A,A) ≈ |A|3 (o sea, la energía aditiva es casi máxima, “muchaestructura”), no podemos garantizar que A + A sea chico.
Teorema (Balog-Szemerédi-Gowers)
Si E(A,A) ≈ |A|3, entonces existe un subconjunto A′ ⊂ A tal que:1 |A′| ≈ |A| (o sea A′ es un subconjunto muy “grande” de A),2 |A′ + A′| ≈ |A′| (o sea, el conjunto suma de A′ es muy chico).
ObservaciónLa demostración es elemental, usa ideas de grafos pero muy simples.Sin embargo el teorema tiene un poder extraordinario.
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 33 / 35
![Page 120: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/120.jpg)
Lo poco que sabemos sobre multiplicar por 2 y 3
Pregunta¿Es verdad que (3/2)n mod 1 es denso en [0,1)?
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 34 / 35
![Page 121: Multiplicar por 2 y por 3 - matematica.uns.edu.arMultiplicar por 3, densa y normalmente 1 Si x = 0;012000102101112202122000:::, es fácil ver que la órbita fTn 3 (x)gesdensa. ¿Siempre](https://reader033.fdocuments.mx/reader033/viewer/2022051918/600a38d1fff4d11f1d4de61e/html5/thumbnails/121.jpg)
¡¡¡Muchas gracias!!!
P. Shmerkin (U.T. Di Tella/CONICET) ×2, ×3 Bahia Blanca, 21.09.2016 35 / 35