1. Dê, explicitamente, o significado de cada uma das seguintes afirmações. Em suas explicações, você está proibido de usar qualquer das palavras destacadas abaixo:
(e) X nāo é limitado.

Passo 1

O enunciado pede: dar, de forma explícita, o significado da afirmação do item (e) sobre o conjunto X.
Informações relevantes fornecidas:
  • Há um conjunto X (assumir que X pertence a um espaço vetorial normado ou a \mathbb{R}^n).
  • A afirmação em foco trata da ausência de uma cota para as normas dos elementos de X.
  • Objetivo: escrever essa ideia de modo formal e explicar o que cada símbolo e quantificador representam.

Passo 2

Definir primeiro a propriedade contrária (para ficar claro o que estamos negando).
Definição (conjunto com cota superior para a norma): diz-se que um conjunto X possui uma cota superior para as normas dos seus elementos quando existe um número real M>0 tal que, para todo x\in X, vale \|x\|\le M.
Explicação dos símbolos nessa definição:
  • M representa um número real positivo que funciona como limite comum para as normas.
  • x\in X indica um elemento qualquer do conjunto X.
  • \|x\| significa a norma de x, isto é, uma medida do tamanho de x (por exemplo, em \mathbb{R}^n pode ser a norma euclidiana \sqrt{x_1^2+\dots+x_n^2}).
  • A expressão \|x\|\le M diz que cada elemento do conjunto tem norma menor ou igual a M.

Passo 3

Escrever a negação formal dessa propriedade (essa negação corresponde à afirmação que o enunciado quer que expliquemos).
Negação da frase "existe M>0 tal que, para todo x\in X, \|x\|\le M" possui forma lógica padrão: "para todo M>0 existe x\in X tal que \|x\|>M".
Em notação:
\forall M>0\;\; \exists x\in X\;\; \text{com}\;\; \|x\|>M.
Interpretação passo a passo dos quantificadores:
  • O quantificador \forall M>0 significa “para cada número real positivo M que você escolher”.
  • O quantificador \exists x\in X significa "existe pelo menos um elemento x dentro de X".
  • A condição \|x\|>M afirma que a norma desse x supera o número M escolhido.

Passo 4

Intuição prática e como apresentar essa ideia numa prova (passo a passo que você pode reproduzir na hora da avaliação).
  • Mensagem intuitiva: qualquer limite que se tente impor ao tamanho dos elementos de X pode ser ultrapassado por algum elemento de X. Ou seja, existem elementos de X com norma arbitrariamente grande.
  • Estrutura de prova direta (modo típico): comece com “seja M>0 arbitrário”. Em seguida, mostre como construir um elemento x_M\in X que satisfaça \|x_M\|>M. Ao conseguir isso para um M arbitrário, conclui-se que a condição da expressão da Passo 3 vale para todo M>0.
  • Outro método comum: construir uma sequência (x_n)_{n\in\mathbb{N}}\subset X tal que \|x_n\|\to\infty quando n\to\infty. A existência de tal sequência implica a expressão da Passo 3.

Passo 5

Exemplos concretos para fixar a ideia (mostre o raciocínio completo, como na prova).
  • Exemplo 1 (conjunto habitual): tome X=\{n\mid n\in\mathbb{N}\}\subset\mathbb{R} com norma absoluta. Dados M>0, escolha n\in\mathbb{N} com n>M (isso sempre pode ser feito pelo princípio arquimediano). Então |n|=n>M, logo \exists x\in X com \|x\|>M. Assim X satisfaz a fórmula da Passo 3.
  • Exemplo 2 (contraste): se X for o intervalo [-2,3]\subset\mathbb{R}, existe M=3 tal que, para todo x\in X, |x|\le 3. Nesse caso a fórmula da Passo 3 falha, porque não se consegue, para M=3, encontrar x\in X com |x|>3. Esse contraste ajuda a entender a diferença entre os dois tipos de comportamento.

Passo 6

Resumo didático e dica final de redação para a prova: quando pedir que se mostre que um conjunto possui a propriedade em foco, escreva exatamente a fórmula quantificada da Passo 3 e proceda por construção de um elemento dependente de M ou por exibição de uma sequência cuja norma diverge. Isso deixa a resposta clara e completa.

Resposta

\forall M>0\;\; \exists x\in X\;\; \text{tal que}\;\; \|x\|>M

Exercícios relacionados