Topologia compacto-aberto

Predefinição:Sem fontes Em topologia, a topologia compacto-aberto é uma topologia definida num espaço de funções.

Definição

Se F é um conjunto de aplicações contínuas de X em Y, a topologia compacto-aberto em F é a topologia para a qual uma base de vizinhanças de um elemento $f\in F$ é dada pela intersecção de um número finito de conjuntos da forma $\{g\in F:gK\subset U\}$, para todo o $K\subset X$ compacto e $U\subset Y$ aberto tais que $fK\subset U$.