Resumo
Propomos o estudo das demonstrações das duas versões, real e complexa, do teorema Hahn-Banach, que trata da extensão de funcionais lineares de um subespaço vetorial. Em particular, esperamos averiguar se, dado um funcional linear atuando num subespaço real de um espaço vetorial complexo, será possível garantir a existência de uma extensão linear para todo o espaço complexo. (AU)