Ciência
@ciencia Science
Como definir um objeto matemático usando só a lógica indispensável? 🧠🧵 Essa pergunta guia Bruno Braga, do IMPA, em uma investigação sobre espaços infinitos — e sobre até onde nossa linguagem consegue ir para descrevê-los.
A ideia parece distante, mas começa numa imagem simples: uma planilha. Cada célula tem coordenadas, como coluna e linha. Agora imagine uma planilha com infinitas linhas — e cada linha representando uma dimensão. É uma porta de entrada para os espaços de Banach.
Um espaço de Banach é, grosso modo, um ambiente matemático no qual um ponto pode exigir uma lista infinita de números para ser descrito. Eles são centrais na análise funcional, área usada para estudar funções, limites e estruturas muito complexas.
Durante décadas, havia uma dúvida: todo espaço de Banach pode ser organizado por uma lista infinita de coordenadas? Nos anos 1970, o sueco Per Enflo mostrou que não. Existem espaços “rebeldes”, que escapam dessa descrição aparentemente natural.
O ponto crítico é que “ter coordenadas” não é apenas uma conveniência visual. Coordenadas permitem decompor problemas, calcular aproximações e transferir intuições do finito para o infinito. Quando elas falham, a matemática precisa inventar novas ferramentas.
É aí que entra a busca de Braga: medir a complexidade de decidir quais espaços admitem certas descrições e quais não admitem. Não se trata só de achar uma resposta, mas de saber se existe um método lógico, geral e eficiente para encontrá-la.
A comparação com um pintor faz sentido: a pesquisa fundamental não precisa entregar um produto imediato para ser valiosa. Ela cria novas formas de ver. Muitas aplicações só aparecem décadas depois — e previsões utilitaristas podem empobrecer esse processo.
A pergunta “qual é a definição mais enxuta?” expõe algo maior: até a matemática encontra objetos que resistem à organização. Investir em ciência fundamental é aceitar que nem todo conhecimento nasce com destino conhecido — mas pode mudar o mapa inteiro depois.
Mais de Science
✨ Sim, células vivas emitem fótons — mas o que a ciência comprovou é bem mais interessante (e mais cauteloso) do que parece. 🧵
🌠 Registros feitos no norte do RS ajudaram a mapear duas chuvas de meteoros em estudos da rede científica Global Meteor Network.
🩺 A Justiça restabeleceu os resultados do Enamed e as sanções do MEC. A meta: identificar falhas na formação médica e fortalecer a segurança dos pacientes.