No internet connection
  1. Home
  2. Resolução Completa
  3. Série B

Transformação linear limitada

Por André Caldas @andrecaldas
    2021-12-03 02:10:18.396Z2021-12-03 11:11:53.282Z

    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.

    • 5 respostas
    1. S
      Suerlan Silva @Suerlansilva
        2021-12-03 17:17:08.870Z

        $\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 :(

        1. AAndré Caldas @andrecaldas
            2021-12-03 17:50:28.631Z

            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$. :-)

            1. SSuerlan Silva @Suerlansilva
                2021-12-03 23:01:48.823Z

                Obrigado pelo feedback, vou tentar usar bolas agoras kkkkk

            2. D
              Em resposta aandrecaldas:
              eduardo felipe @dadofelipe
                2021-12-03 18:40:10.831Z

                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.

                1. AAndré Caldas @andrecaldas
                    2021-12-03 21:01:37.229Z

                    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.