Definir os seguintes conceitos:
(c) base forte
(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
sobre um corpo (por exemplo ou ) é um conjunto com adição e multiplicação por escalares com as propriedades usuais. - Uma combinação linear finita de vetores
é um vetor da forma
onde cada
é um escalar.
- Um conjunto
gera (ou “gera linearmente”) se todo pode ser escrito como uma combinação linear finita de elementos de . - Um conjunto
é linearmente independente se a igualdade
(com
distintos e
escalares) implica que todos os
são zero. Ou seja, nenhum elemento de
é 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
que é ao mesmo tempo gerador de (todo vetor é combinação linear finita de elementos de ) 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
.
- 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
é uma base forte (ou base de Hamel) de se satisfaz duas propriedades: -
é linearmente independente. - Para todo
existe um número natural , vetores e escalares tais que
Ou seja, representação única de como combinação linear finita de elementos de . -
- 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
o conjunto canônico (vetores com um 1 numa posição e zeros nas demais) é uma base forte. Todo vetor é combinação linear finita desses vetores. - Em espaços infinitodimensionais:
- O conjunto canônico
em (os vetores com 1 numa coordenada e 0 nas outras) é uma base de Schauder: todo vetor de é soma (infinita) convergente de escalares vezes . Porém, ele NÃO é uma base forte para : muitas combinações exigem infinitas somas, e uma base forte exige combinações finitas. Logo uma base forte para existe (teorema de existência usando o axioma da escolha), mas é necessariamente não enumerável e muito pouco explícita.
- O conjunto canônico
- 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
é uma base forte (passo a passo que vale na prova):
- Mostrar independência linear: pegue uma combinação finita qualquer
com distintos e mostre que todos os são zero. - Mostrar geração: pegue
arbitrário e construa (ou mostre existência de) uma combinação linear finita de elementos de que seja igual a . - 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
ou em subespaços de sequências de suporte finito).
Resposta
Uma base forte é um subconjunto
de um espaço vetorial
tal que
é linearmente independente e gera
por combinações lineares finitas; ou seja, todo
pode ser escrito de forma única como
com
,
escalares e
finito.