Definir os seguintes conceitos:
(c) base forte

Passo 1

O enunciado pede: definir o conceito de “base forte”. Não foi dado contexto adicional no enunciado. Vou assumir que se trata do sentido mais comum em espaços vetoriais / análise funcional, ou seja, distinguir a noção algébrica de base (Hamel) de bases topológicas. Não há outros dados fornecidos.

Passo 2

Antes de definir “base forte”, preciso lembrar conceitos básicos que você tem que conhecer — eu explico bem mastigado:
  • Um espaço vetorial V sobre um corpo (por exemplo \mathbb{R} ou \mathbb{C}) é um conjunto com adição e multiplicação por escalares com as propriedades usuais.
  • Uma combinação linear finita de vetores v_1,\dots,v_k\in V é um vetor da forma
a_1 v_1 + a_2 v_2 + \dots + a_k v_k,
onde cada a_i é um escalar.
  • Um conjunto S\subset V gera (ou “gera linearmente”) V se todo v\in V pode ser escrito como uma combinação linear finita de elementos de S.
  • Um conjunto S\subset V é linearmente independente se a igualdade
a_1 v_1 + \dots + a_k v_k = 0
(com v_i\in S distintos e a_i escalares) implica que todos os a_i são zero. Ou seja, nenhum elemento de S é combinação linear finita dos outros.

Passo 3

Com essas duas ideias — geração por combinações lineares finitas e independência linear — chegamos à definição algébrica de base (Hamel basis). Vou explicá-la passo a passo:
  • Uma base (no sentido algébrico) é um conjunto B\subset V que é ao mesmo tempo gerador de V (todo vetor é combinação linear finita de elementos de B) e linearmente independente.
  • A exigência “combinação linear finita” é essencial: usamos apenas somas com número finito de termos, sem séries infinitas ou limites.

Passo 4

Agora explico por que essa base algébrica às vezes é chamada de “base forte” (a terminologia que vamos adotar aqui):
  • Em análise funcional costuma-se distinguir duas noções de “base”:
    • Base forte (ou base algébrica, ou base de Hamel): cada vetor é combinação linear finita dos elementos da base.
    • Base fraca / base topológica / base de Schauder: cada vetor é limite de somas parciais (séries) infinitas convergentes da forma \sum_{n=1}^\infty a_n e_n.
  • O adjetivo “forte” vem do fato de que a representação é feita por combinações finitas (uma condição mais rígida), enquanto a representação por séries permite infinitas somas convergentes (condição mais fraca, dependente da topologia).

Passo 5

Formalizo a definição que você precisa decorar para a prova:
  • Dizemos que B\subset V é uma base forte (ou base de Hamel) de V se satisfaz duas propriedades:
    1. B é linearmente independente.
    2. Para todo v\in V existe um número natural k, vetores b_1,\dots,b_k\in B e escalares a_1,\dots,a_k tais que
    v = a_1 b_1 + a_2 b_2 + \dots + a_k b_k.Ou seja, representação única de v como combinação linear finita de elementos de B.
  • Importante: a unicidade da representação segue da independência linear; portanto, ao provar que um conjunto é base forte basta mostrar geração e independência.

Passo 6

Dou alguns exemplos e comparações para fixar a ideia (muito útil na prova):
  • Exemplo simples e familiar: em \mathbb{R}^n o conjunto canônico \{e_1,\dots,e_n\} (vetores com um 1 numa posição e zeros nas demais) é uma base forte. Todo vetor é combinação linear finita desses n vetores.
  • Em espaços infinitodimensionais:
    • O conjunto canônico \{e_1,e_2,\dots\} em \ell^2 (os vetores com 1 numa coordenada e 0 nas outras) é uma base de Schauder: todo vetor de \ell^2 é soma (infinita) convergente de escalares vezes e_n. Porém, ele NÃO é uma base forte para \ell^2: muitas combinações exigem infinitas somas, e uma base forte exige combinações finitas. Logo uma base forte para \ell^2 existe (teorema de existência usando o axioma da escolha), mas é necessariamente não enumerável e muito pouco explícita.
  • Regra prática para a prova: se a representação exige séries infinitas/convergência topológica, é base fraca/Schauder; se exige combinação linear finita e unicidade, é base forte/Hamel.

Passo 7

Como provar que um conjunto B é uma base forte (passo a passo que vale na prova):
  1. Mostrar independência linear: pegue uma combinação finita qualquer a_1 b_1+\dots+a_k b_k=0 com b_i\in B distintos e mostre que todos os a_i são zero.
  2. Mostrar geração: pegue v\in V arbitrário e construa (ou mostre existência de) uma combinação linear finita de elementos de B que seja igual a v.
  3. Concluir unicidade da escrita por independência linear.
    Esses dois itens são suficientes e necessários.

Passo 8

Observações importantes que te ajudam a entender dificuldades e armadilhas:
  • Em espaços vetoriais de dimensão finita, toda base é automaticamente uma base forte e tem número finito de elementos igual à dimensão.
  • Em espaços topológicos (por exemplo espaços normados), há duas noções distintas de base: Hamel (forte) e Schauder (topológica). Não confunda as duas — a prova geralmente exige identificar qual a que o enunciado quer.
  • A existência de base forte em espaços infinitodimensionais usa, em geral, o axioma da escolha e não é construtiva; por isso, em exercícios concretos costuma-se trabalhar com bases explícitas (como em \mathbb{R}^n ou em subespaços de sequências de suporte finito).

Resposta

Uma base forte é um subconjunto B de um espaço vetorial V tal que B é linearmente independente e gera V por combinações lineares finitas; ou seja, todo v\in V pode ser escrito de forma única como
v = a_1 b_1 + a_2 b_2 + \dots + a_k b_k
com b_i\in B, a_i escalares e k finito.

Exercícios relacionados