3 votos

Subconjunto abierto del cubo de Hilbert

En un ejercicio me pidieron que demostrara que dado $y=(y_n)\in H^\infty,N\in\mathbb{N},$ y $\epsilon>0$ el conjunto $A=\{x=(x_n)\in H^\infty:|x_k-y_k|<\epsilon,k=1,\dots,N\}$ está abierto en $H^\infty$ .

El conjunto $H^\infty$ llamado cubo de Hilbert es el conjunto de todas las secuencias reales $(x_n)$ para lo cual $|x_n|\leq1$ para $n=1,2,\dots$

En mi intento fijé un $x\in A$ de manera que si existe un $\delta>0$ de modo que para cualquier secuencia $(z_n)\in B_\delta(x)$ , $z$ sería en $A$ . Habría probado la afirmación. Trabajo con la norma $||\cdot||_1$ .

Así que probé lo siguiente: \begin{align} |z_i-y_i|&\leq\sum\limits_{i=1}^N|z_i-y_i|\\ &\leq\sum\limits_{i=1}^N|z_i-x_i|+\sum\limits_{i=1}^N|y_i-x_i| \\ &\leq\delta+N\epsilon \\ \end{align} Esto daría $\delta=\epsilon(1-N)\leq0$ pero necesitamos $\delta>0$ Así que mi límite superior era demasiado grande, ¿alguna idea sobre cómo proceder en este problema?

2voto

J Dijkstra Puntos 44

Toma $\delta=\max\limits_{1\leq i\leq N}\{|x_i-y_i|\}<\varepsilon$ entonces para $z\in B_{\varepsilon - \delta}(x)$ y $i=1,\dots,N$ : \begin{align} |z_i-y_i|&\leq |z_i-x_i| + |y_i-x_i| \\ &\leq ||z-x||_\infty + \delta \\ &< \varepsilon - \delta + \delta \\ &=\varepsilon .\end{align} Así que $z\in A$ . He utilizado la norma infinita $||\cdot||_\infty$ aquí en su lugar.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X