UNIVERSIDAD DE ANTIOQUIÁ

PROBLEMAS CURSO PROPEDÉUTICO

Fecha: 20 de noviembre de 2022

Nombre: Jesús Miguel Vega Martínez Identicación: 1068820373 Curso: Propedéutico

1. sean (E1 , · · · , En ) espacios normados y considere en el espacio producto E1 × · · · × En , las normas

M1 , M2 , M∞ de antes, sea a : N → (E1 × · · · × En ) una sucesión. Entonces
Demuestre sea que a :→ (x1 , · · · , xn ) en un (E1 , · · · En , M2 ) si y sólo si para cada j ∈ {1, · · · n} la
sucesión πj ◦ a : N → Ej converge a xj en (Ej , Nj )

Demostración. Sean (E1 , N1 ), . . . , (En , Nn ) espacios normados. Mostrar que, ak = (ak1 , . . . , akn )
converge a (x1 , . . . , xn ) si y solo si para cada j ∈ {1, . . . .n}, πj ◦ a = akj converge a xj , en (Ej , Nj ).
⇒ Supongamos que ak = (ak1 , . . . , akn ) converge a (x1 , . . . , xn ) y veamos que, para cada j ∈
{1, . . . .n}, πj ◦ a = akj converge a xj , en (Ej , Nj ). En efecto, sea j ∈ {1, . . . , n} dado. Para ver
que, πj ◦ a converge a xj , sea ϵ > 0 jo. Dado que,

ak = (ak1 , . . . , akn ) → (x1 , . . . , xn ),

existe N ∈ N, tal que si k ≥ N , entonces,

M2 (ak − (x1 , . . . , xn )) < ϵ.

Pero, note que,

M2 (ak − (x1 , . . . , xn ) = M2 ((ak1 , . . . , akn ) − (x1 , . . . , xn ))

= M2 ((ak1 − x1 , . . . , akn − xn ))
p q
= N1 (ak1 − x1 )2 + · · · + Nn (akn − xn )2 ≥ Nj (akj − xj )2 = Nj (akj − xj ).

Por lo tanto, si k ≥ N , entonces,

Nj (akj − xj ) < ϵ.

En consecuencia,
π j ◦ a = ak j → x j .

⇐ Supogamos que para cada j ∈ {1, . . . , n}, πj ◦a = akj converge a xj , en (Ej , Nj ) y mostremos que
ak = (ak1 , . . . , akn ) converge a (x1 , . . . , xn ) en E1 ×· · ·×En . Sea ϵ > 0 dado. Como πj ◦a = akj → xj ,
entonces existe Kj ∈ N, tal que, si k ≥ Kj , entonces
ϵ
Nj (akj − xj ) < .
2n
Considere K = máx{K1 , . . . , Kn } ∈ N y sea k ≥ K , entonces observe que,
p
M2 (ak − (x1 , . . . , xn )) = N1 (ak1 − x1 )2 + · · · + Nn (akn − xn )2
≤ N1 (ak1 − x1 ) + N2 (ak2 − x2 ) + · · · + Nn (akn − xn )
ϵ ϵ ϵ
≤ + + ··· +
2n 2n 2n
ϵ  ϵ
=n = < ϵ,
2n 2
así,
M2 (ak − (x1 , . . . , xn )) < ϵ,

y por lo tanto,
ak = (ak1 , . . . , akn ) → (x1 , . . . , xn ),

en N1 × · · · × Nn .