Problemas propuestos en la asignatura

“Graduate Problem Solving Seminar (GPSS)”

Profesor: Vitaly Bergelson, Ohio State University, 2023-2024

Traducidos y pasados a LATEX por Antonio Roberto Martı́nez Fernández1

√
√
q
1 1+ 5
»
1. Probar que 1 + 1 + 1 + . . . = 1 + 1 = .
1+ 1+ 1
2
..
.

2. Consideremos la sucesión de los primeros dı́gitos decimales de las potencias de 2:

2, 4, 8, 1, 3, 6, 1, 2, . . .

¿Qué dı́gito aparece con más frecuencia, el 7 o el 8?

3. Sea C el clásico conjunto de Cantor de los “tercios

S medios”. Es fácil ver que para cada
k ∈ N se tiene una descomposición disjunta C = · ki=1 Ai , donde cada Ai es homeomorfo a
C.
Comprobar si se cumple que para ciertos Ai :

(i) C = · ∞
S
i=1 Ai , donde cada Ai es homeomorfo a C.
(ii) C = · τ ∈I Aτ , donde I es no numerable y cada Aτ es homeomorfo a C.
S

4. Para cada matriz n × n A = (aij ) se define la traza Tr(A) como Tr(A) = ni=1 aii .
P

(i) Probar que para cualesquiera matrices n × n A y B, Tr(AB − BA) = 0.

(ii) ¿Es cierto que para toda matriz compleja n × n C con Tr(C) = 0 existen matrices
complejas n × n A y B tales que C = AB − BA?

5. Dado un conjunto infinito de puntos en el plano tales que todas sus distancias entre ellos
son números enteros, probar que todos los puntos están sobre una misma recta.

6. Probar que el único automorfismo del cuerpo R es la identidad.

7. Dar un ejemplo de un grupo abeliano infinito que no tenga infinitos subgrupos propios.

8. Probar que existe una función continua y estrictamente monótona f : [0, 1] → [0, 1] tal
que:

(i) f (0) = 0, f (1) = 1.

(ii) f ′ (x) = 0 para casi todo x ∈ [0, 1].
1
Agradezco a Saúl Rodrı́guez Martı́n que me facilitase las hojas de problemas originales. También agradezco
a José Manuel Sánchez Muñoz su ayuda con la edición de las figuras y la maquetación final del documento.

1
 9. Probar que para cada n ∈ N existen n puntos no colineales p1 , p2 , . . . , pn ∈ R2 tales que
las distancias (euclı́deas) pi pj son enteras.

10. Sea A = (aij ) una matriz real n × n que es definidaPpositiva (es decir, tal que para cada
vector no nulo x̄ = (x1 , x2 , . . . , xn ) se tiene Q(x̄) = ni,j=1 aij xi xj > 0). Probar que
Z ∞ Z ∞ n
−⟨x̄,Ax̄⟩ π2
··· e dx1 . . . dxn = √ .
−∞ −∞ det A

11. Probar que [0, 1] no puede representarse como unión disjunta finita o numerable de sub-
conjuntos cerrados propios no vacı́os.

12. Justificar que 1 − 1 + 1 − 1 + 1 − · · · = 21 .

Nota histórica: Esta fórmula aparece en el libro “Quadratura circuli et hyperbolae”, de
Guido Grandi, Pisa, 1703. La afirmación de Grandi generó mucho interés y fue apoyada
por Leibniz (1710) y Euler (1746).

13. (Pappus de Alejandrı́a, ≈ 290-350) Dados:

• ABC es un triángulo arbitrario ABC.

• ABDE y ACF G son paralelogramos arbitrarios exteriores a ABC y adyacentes a
AB y AC, respectivamente.
• Las prolongaciones de los lados DE y F G se cortan en O.
• BCHI es un paralelogramo exterior a ABC cuyos lados BI y CH son paralelos a
OA y de igual longitud que dicho segmento.

Probar que Área(ABDE) + Área(ACF G) = Área(BCHI).

2
14. Sea f : R → R y supongamos que f (x + y) = f (x) + f (y) para cada x, y ∈ R (*).

(i) Probar que si f es medible, entonces existe c ∈ R tal que f (x) = cx para cada x ∈ R.
(ii) Probar que hay “muchas” soluciones no-medibles de (*).
(iii) Probar que si f es una solución no-medible de (*), entonces el grafo

Γf = {(x, f (x)) : x ∈ R}

es denso en R2 .

15. (Descomposición de Schur ) Sea A una matriz n × n sobre C. Probar que existen una
matriz unitaria U y una matriz triangular superior T tal que A = U T U −1 .

16. Sea P (x) un polinomio de grado m sobre R. Probar que P (x) puede representarse en la
forma Ç å Ç å Ç å
x x x
P (x) = B0 + B1 + · · · + Bm−1 + Bm .
m m−1 1
Probar que P (Z) ⊆ Z si, y sólo si, B0 , B1 , . . . , Bm ∈ Z.

17. Definición: una sucesión (xn ) ⊂ R está uniformemente distribuida (u.d.) mod 1 si, para
cada 0 ≤ a < b ≤ 1, se tiene

#{1 ≤ n ≤ N : xn mod 1 ∈ (a, b)}

lı́m = b − a.
N →∞ N
(i) Probar que si (xn ) está u.d. mod 1 si, y sólo si, para toda función integrable Riemann
f : [0, 1] → R se cumple que
N Z 1
1 X
lı́m f (xn mod 1) = f (x) dx.
N →∞ N 0
n=1

(ii) Probar que para cada α ∈

/ Q, la sucesión (nα)n∈N está u.d. mod 1.
»
3
p √
18. Probar que 1 + 3 1 + 3 1 + . . . = ρ, donde ρ (la llamada constante plástica) es la única
raı́z real de x3 = x + 1.
√
19. (i) Probar que cos(36◦ ) = 1+ 5
4
.
(ii) Usar (i) para mostrar que los pentágonos regulares son constructibles con regla y
compás.

20. Un polinomio P (x) se dice con valores enteros si P (Z) ⊆ Z (véase la conexión con el
problema 16).
Supongamos que R(x) es una función racional tal que R(Z) ⊆ Z. Probar que R(x) es un
polinomio con valores enteros.

21. Consideremos las siguientes dos formas del teorema de aproximación de Weierstrass:

3
 W1 : Para cada función continua f : [0, 1] → R y cada ε > 0 existe un polinomio P (x) tal
que |f (x) − P (x)| < ε, ∀x ∈ [0, 1].
W2 : Si f (x) es una función continua periódica con P
perı́odo 2π, entonces para cada ε >
0 existe un polinomio trigonométrico T (x) = N n=0 (an cos nx + bn sen nx) tal que
|f (x) − T (x)| < ε, ∀x ∈ R.

Se pide:

(i) Deducir W2 a partir de W1 .

(ii) Deducir W1 a partir de W2 .

22. Consideremos la fórmula

∞
z 2 3 4 5 6
X
a(z) := = z + z + 2z + 3z + 5z + 8z + · · · = fn z k =: F (z),
1 − z − z2 k=0

donde fk forman la sucesión de Fibonacci: f0 = 0, f1 = 1, fk+2 = fk + fk+1 .

(i) Probar que F (z) se puede representar como a(z).

(ii) Probar que a(z) se puede representar como F (z).

23. (i) Probar que si G es un grupo abeliano finitamente generado, entonces todo subgrupo
de G es finitamente generado.
(ii) Sea G el subgrupo de GL(2, Q) generado por las matrices A = ( 20 01 ) y B = ( 10 11 ).
Sea H el subgrupo de G que consiste en las matrices de la forma ( 10 ∗1 ). Probar que
H no es finitamente generado.

24. Probar que la sucesión ln n mod 1, n = 1, 2, . . ., es densa en [0, 1], pero no está uniforme-
mente distribuida.
Nota: ln1+ε n mod 1, n = 1, 2, . . ., está uniformemente distribuida en [0, 1], ∀ε > 0.
∞
X sen nθ π−θ
25. (i) Probar que, para cada θ ∈ (0, π], = .
n=1
n 2
Z ∞ ∞
sen x X sen nh π
(ii) Probar que dx = lı́m = .
0 x h→0
n=1
n 2

26. Demostrar que si P1 P2 . . . Pn es un polı́gono regular de n lados con vértices en Z2 , entonces

n = 4.

27. Sea C∗ el grupo multiplicativo de los números complejos no nulos, y sea T = {z ∈ C :

|z| = 1}. Probar que C∗ y T son isomorfos.

28. (i) Probar que una sucesión (xn ) ⊂ R está u.d. mod 1 si, y sólo si, para cada h ∈ Z\{0}
N
1 X 2πihxn
se verifica que lı́m e = 0.
N →∞ N
n=1

4
 (ii) Probar que, para cada α ∈
/ Q, (nα)n∈N está u.d. mod 1.

29. Sea H un espacio de Hilbert con una base ortonormal (en )n∈Z . Sea U : H → H un
operador unitario definido sobre los elementos de la base mediante U en = en+1 , n ∈ Z.
Sea B = {x ∈ H : ∥x∥ ≤ 1} y sea f : B → H la aplicación definida mediante la fórmula
1
f (x) = (1 − 2∥x∥) e0 + U x.
2
Probar que: (i) f aplica B en B; (ii) f no tiene puntos fijos.

30. Sean A, B matrices n×n simétricas y definidas positivas. Probar que, para cada λ ∈ [0, 1],
se tiene
det (λA + (1 − λ)B) ≥ (det A)λ (det B)1−λ .

31. (i) Resolver el problema de Fagnano (1775): inscribir en un triángulo acutángulo dado el
triángulo de perı́metro mı́nimo. (Indicación: probar que el triángulo órtico, es decir,
el triángulo formado por los puntos base de las alturas, cumple con los requisitos.)
(ii) Probar que en un triángulo obtusángulo o rectángulo ningún triángulo inscrito al-
canza el mı́nimo perı́metro posible.

32. Demostrar que

∞
1 YÄ k
ä
= 1 + x2 , |x| < 1.
1 − x k=0

33. Supongamos
R∞ que una función real f es propiamente integrable en todo intervalo finito y
que −∞ |f (x)| dx < ∞. Probar:
Z ∞
(i) lı́m f (x) sen(nx) dx = 0.
n→∞ −∞
Z ∞
2 ∞
Z
(ii) lı́m f (x)| sen(nx)| dx = f (x) dx.
n→∞ −∞ π −∞
34. Sea A una matriz compleja n × n con columnas v1 , . . . , vn . Probar que
n
Y
| det(A)| ≤ ∥vi ∥2 .
i=1

35. Sea H un espacio de Hilbert.

(i) Probar que si H es separable, entonces la topologı́a débil de la bola unidad es me-
trizable.
(ii) Probar que si H es infinito dimensional, entonces la topologı́a débil de H no es
metrizable.

36. Probar que no existen dos grupos no isomorfos G y H tales que G sea isomorfo a un
subgrupo de H, y que H sea isomorfo a un subgrupo de G.

5
37. Probar que ninguna potencia perfecta de 2 o 3 difiere exactamente en 1, salvo (1, 2), (2, 3),
(3, 4) y (8, 9).
Nota: Este resultado fue probado en el libro de 1343 “De Numeris Harmonicis” de Gerso-
nides. Fue un antecedente de la conjetura de Catalan que establece que la única solución
en los números naturales de la ecuación xa − y b = 1 para a, b > 1, x, y > 0 es x = 3,
a = 2, y = 2, b = 3. (Mihailesku la demostró en 2002.)

38. Si f (x) es continua en [0, ∞) y para cada a > 0, se tiene que f (na) → 0 si n → ∞, ¿se
verifica que f (x) → 0 si x → ∞?

39. (Cauchy, Exercices d’analyse et physique mathématique, Vol. 2, 1841 ) Sea An una matriz
1
compleja n × n dada por aij = xi +y j
, donde xi + yj ̸= 0 para cada i, j. Probar que
Y
(xj − xi ) (yj − yi )
1≤i<j≤n
det(An ) = Y .
(xi + yj )
1≤i≤j≤n

40. Sea H un espacio de Hilbert infinito dimensional y sea µ una medida definida sobre la σ-
álgebra de Borel B de H. Supongamos que para cada A ∈ B se tiene que 0 ≤ µ(A) ≤ ∞.
Finalmente, supongamos que µ(A) = µ(A + f ), para cada f ∈ H. Probar que para
ninguna bola no vacı́a B ⊂ H se cumple que µ(B) = ∞.

41. ¿Existen dos cuerpos no isomorfos cuyos grupos aditivos sean isomorfos y cuyos grupos
multiplicativos también sean isomorfos?

42. Un punto extremo de un conjunto convexo es un punto que no puede representarse co-
mo combinación convexa de otros dos puntos del conjunto. Probar que todo conjunto
compacto convexo no vacı́o en Rn tiene al menos un punto extremo.
Nota: Para tener algo de perspectiva, el teorema de Krein-Milman (probado en 1940)
establece que todo conjunto convexo compacto de un espacio vectorial topológico local-
mente convexo y Hausdorff es igual a la clausura de la envolvente convexa de sus puntos
extremos.

43. Probar que para cualesquiera números reales a1 , . . . , an y para cualesquiera números po-
sitivos λ1 , . . . , λn , se tiene que
n
X aj ak
≥ 0.
j,k=1
λ j + λk

44. Sea C el clásico conjunto de Cantor de los “tercios medios”. Probar:

(i) C + C := {x + y : x, y ∈ C} = [0, 2].

(ii) C − C := {x − y : x, y ∈ C} = [−1, 1].

45. Probar que todo polinomio f ∈ Z[x] es suma de dos polinomios irreducibles.

6
46. Un número real irracional λ se dice de Liouville si para cada n ∈ N existen p, q ∈ Z con
q > 1 tales que
p 1
λ− < n.
q q
Demostrar:
(i) El conjunto de los números de Liouville es no numerable.
(ii) El conjunto de los números de Liouville es denso en R.
(iii) El conjunto de los números de Liouville tiene medida de Lebesgue cero.
47. (i) Dar un ejemplo de dos matrices 2 × 2 sobre C, A y B, que no conmuten pero tales
que eA+B = eA eB .
(ii) Probar que si A, B son matrices hermitianas, entonces eA+B = eA eB si, y sólo si,
AB = BA.
48. (i) Sea A ⊆ R2 un conjunto convexo cerrado. ¿Es cerrado el conjunto de los puntos
extremos de A?
(ii) Sea B ⊆ R3 un conjunto convexo cerrado. ¿Es cerrado el conjunto de los puntos
extremos de B?
49. Sea (Fn ) la sucesión de Fibonacci 1, 1, 2, 3, 5, 8, . . . Probar que
∞
X Fn
= 1.
n=1
2n+1

¿Cuál es la interpretación probabilı́stica de esta fórmula?

50. Demostrar que:
Å ã Å ã
0 −1 1 1
(i) Las matrices S = yT = generan SL(2, Z).
1 0 0 1
(ii) SL(2, Z) está generado por dos matrices de orden finito.
Å ã
1 0
(iii) SL(2, Z) está generado por T y U = .
1 1
51. Probar que existe un conjunto de Cantor K ⊂ [0, 1] (es decir, K es homeomorfo al clásico
conjunto de Cantor de los “tercios medios”) que es linealmente independiente sobre Q.
52. ¿Existe un cuerpo F tal que su grupo aditivo sea isomorfo a su grupo multiplicativo?
53. Supongamos que f : R → R es continua y que existe el lı́mite
Z A
lı́m f (x) dx.
A→∞ −A

Probar que Z ∞ Z
Å ∞ ã
1
f (x) dx = f x− dx.
−∞ −∞ x

7
54. Supongamos que un polı́gono regular tiene n lados y que todos sus vértices pertenecen a
Z3 . Demostrar que n es igual a 3, 4 o 6.