Transformação linear limitada
Série B
Sejam $(V, \|\cdot\|_1)$ e $(W, \|\cdot\|_2)$ espaços normados.
Dizemos que um conjunto $A \subset V$ (ou $\subset W$) é limitado quando existir $B \in \mathcal{B}(\vec{0})$, tal que $A \subset B$.
Dada uma transformação linear
$$
T: V \rightarrow W,
$$
dizemos que $T$ é limitada quando a imagem de qualquer conjunto limitado for limitada.
Mostre que $T$ é contínua se, e somente se, for limitada.
- SSuerlan Silva @Suerlansilva
$\Rightarrow)$ Suponha que $T$ seja limitada. Sabemos que existe $C>0$ tal que $$||T(x)||<C||x|| $$ Logo, $$||T(x)-T(y)||=||T(x-y)|| \le C||(x-y||$$ Assim, $$||T(x)-T(y)||\le C||(x-y||$$ Portanto, T é lipschitz e assim, contínua.
$\Leftarrow)$ Suponha T contínua, tomando $\epsilon = 1$ então $||T(x)|| \le A= sup_{||x|| \le 1} ||T(x)||.$ Logo, para $x \ne 0$ tem-se $$ \frac{||T(x)||}{||x||} = ||T \left ( \frac{x}{||X||} \right )|| \le A$$
Logo é limitada.Essa foi minha ideia, estou tendo uma boa dificuldade na plataforma :(
- AAndré Caldas @andrecaldas
Puxa... vocês parecem que só estuaram com analistas... e tem essa fixação em "Lipschitz"... :-P
Se você fizer com bolas / vizinhanças, amanhã vai ficar mais fácil adaptar as coisas pro resto do curso.
Quanto a $(\Leftarrow)$, você está meio que usando a conclusão, quando usa o fato de que $A < \infty$. :-)
- SSuerlan Silva @Suerlansilva
Obrigado pelo feedback, vou tentar usar bolas agoras kkkkk
- DEm resposta aandrecaldas⬆:eduardo felipe @dadofelipe
Sejam $(V, |\cdot|_1)$ e $(W, |\cdot|_2)$ espaços normados, sabemos que uma função $| \cdot|$: $X \to \mathbb{R}$ é uma norma quando acontecer:
1.$ |x| \geq 0 , \forall , x , \in X \textit{ e } |x|=0 \longleftrightarrow x=0$
2.$|\alpha x|=|\alpha||x|$ para todo $\alpha$ escalar e $x \in X$
3.$|x+y|\leq |x|+|y| \quad \forall , x,y \in X$Agora considere o conjunto $A\subset V$ limitado, ou seja existe um $\epsilon > 0$ de modo que:
$$A \subset B_{\epsilon}(\vec{0})$$
Sabemos do exercício da $\textbf{serie B}$ Uma norma induz uma métrica. sendo a seguinte métrica:
$$d(x,y) = |y - x|$$
Desda forma podemos determinar quem é $ B_{\epsilon}(\vec{0})$. Como $A \subset V$ utilizaremos a função $|\cdot|_1$ Observe:
\begin{align*}
B_{\epsilon}(\vec{0}) &= \lbrace x \in X | d(x,0)< \epsilon \rbrace
\\
&=\lbrace x \in X / |0-x|_1< \epsilon \rbrace
\\
&=\lbrace x \in X / |-x|_1< \epsilon \rbrace
\\
&=\lbrace x \in X / |-1||x|_1< \epsilon \rbrace
\\
B_{\epsilon}(\vec{0}) &=\lbrace x \in X / |x|_1< \epsilon \rbrace
\end{align*}Vamos então mostrar que a transformação linear é continua se, e somente se a imagem de qualquer conjunto limitado pela transformação também for limitado.
Primeiramente recordemos a definição de transformação linear.
$T:V \to W$ é dita uma $\textbf{transformação linear}$ se, para quaisquer $x,y \in V$ e $\alpha \in K$( onde $K$ é o corpo de escalares de $V$.) Valem as relações:1.$T(x+y)=T(x)+T(y)$
2.$T(\alpha x)=\alpha T(x)$Começaremos coma volta $(\Leftarrow)$
Suponha $T$ limitada, Logo para $A \subset V$ limitado temos que $T(A)$ é limitado.$$T(A) \subset B_{\delta}(\vec{0})$$
Suponha que $T(A)$ é aberto, queremos mostrar que a imagem inversa de $T(A)$ é aberta, para concluirmos que $T$ é continua. Ou seja, queremos mostrar que:
$$T^{-1}(T(A)) \in \mathcal{V}(A)$$A partir de agora como continuar? Ou devo apagar tudo e recomeçar por outro lado.
- AAndré Caldas @andrecaldas
Por exemplo... pra mostrar que $T$ é contínua (em $\vec{0}$) quando é limitada...
Todas as bolas utilizada são centradas em $\vec{0}$. Então vou escrever apenas $B_\varepsilon$.
Observe que
$$
\mathcal{B}(\vec{0})
=
\{\alpha B_1: \, \alpha > 0\}.
$$
Assumindo que a transformação é contínua, existe $M > 0$ tal que
$$
M B_1 = B_M \subset T^{-1}(B_1).
$$
Seja, então, $A$ um conjunto limitado qualquer. Existe $N > 0$ tal que $A \subset NB_1(\vec{0})$. Então,
$$
\begin{align*}
T(A)
&\subset
T(NB_1)
\\
&=
\frac{N}{M}T(MB_1)
\\
&\subset
\frac{N}{M}B_1 = B_{\frac{N}{M}}.
\end{align*}
$$
Ou seja, $T(A)$ é limitado.O ponto importante é que as bolas são múltiplas umas das outras.