# Função contínua
## História

"... $f(x)$ será chamado de função contínua, se ... os valores numéricos da diferença $f(x+\alpha )-f(x)$ diminuem arbitrariamente, conforme $\alpha$ varie ... "
Cauchy (1821) introduziu o conceito de função contínua, onde pequenas variações em x produzem pequenas variações em $y=f(x)$. Weierstrass (1874) reformulou a definição de Cauchy, onde a diferença $f(x)-f(x_{0})$ será arbitrariamente pequena, se a diferença $x-x_{0}$ for suficientemente pequena.
Posteriormente, com um tratamento mais rigoroso da matemática e a consequente evolução do pensamento matemático, as funções contínuas foram abstraídas para outros campos além da análise: álgebra linear, álgebra abstrata, física matemática, etc.

## Definições de continuidade

Em matemática, uma função é contínua quando, intuitivamente, as pequenas variações nos objetos correspondem a pequenas variações nas imagens. Nos pontos onde a função não é contínua, diz-se que a função é descontínua, ou que se trata de um ponto de descontinuidade.

### Espaço topológico

Diz-se que uma função $f:X\rightarrow Y$ entre espaços topológicos é contínua se a imagem recíproca de qualquer aberto de $Y$ é um aberto de $X$.

#### Exemplos

Estes exemplos usam propriedades da imagem recíproca, ou seja, dada uma função $f:X\rightarrow Y$ e um conjunto $A\subset Y,$ o conjunto $f^{-1}(A)=\{x\in X|f(x)\in A\}.$
* Seja $X$ um conjunto com a topologia discreta $\tau _{X}=P(X),$ $Y$ com qualquer topologia, então qualquer função $f:X\rightarrow Y$ é contínua.
Basta ver que, $\forall A\in Y$ aberto temos que, $f^{-1}(A)\in P(X),$ e portanto é aberto, o que mostra que $f$ é uma função contínua.
* Seja $Y$ um conjunto com a topologia grosseira $\tau _{Y}=\{\varnothing ,Y\},$ $X$ com qualquer topologia, então qualquer função $f:X\rightarrow Y$ é contínua.
De fato, pois, como os dois únicos abertos de $\tau _{Y}$ são $\varnothing$ e $Y,$ basta verificar se suas imagens inversas são abertos. Mas $f^{-1}(\varnothing )=\varnothing$ e $f^{-1}(Y)=X,$ e, por definição, $\varnothing$ e $X$ são abertos em qualquer topologia em $X.$
* Sejam $f:X\rightarrow Y$ e $g:Y\rightarrow Z$ funções contínuas. Então $g\circ f:X\rightarrow Z$ também é uma função contínua.
Fato pois: qualquer que seja $A\subset Z$ aberto, pela continuidade de $g,$ temos que $g^{-1}(A)$ é um aberto em $Y.$ Portanto, pela continuidade de $f,$ $f^{-1}(g^{-1}(A))$ é um aberto em $X.$ Mas $f^{-1}(g^{-1}(A))=(g\circ f)^{-1}(A),$ o que prova a continuidade de $g\circ f.$ em espaço métrico.
Diz-se que uma função $f$ é contínua no ponto $x=a$ se $a$ é um ponto isolado do domínio ou, caso seja ponto de acumulação de $X,$ se existir o limite de $f(x)$ com $x$ tendendo a $a$ e esse limite for igual a $f(a).$
OBS.: Não faz sentido calcular limites em pontos que não são de acumulação. Caso insistíssemos teríamos que qualquer valor seria limite de $f(x)$ com $x$ tendendo a $a$
Em análise real, essa definição é escrita na forma tradicional Epsilon-Delta, ou seja, diz-se que uma função $f$ é contínua num ponto $a$ do seu domínio se, dado $\epsilon >0,\exists \delta >0$ tal que $\forall x\in X,a-\delta <x<a+\delta$ então $f(a)-\epsilon <f(x)<f(a)+\epsilon .$
Esta definição, com uma pequena adaptação, pode ser usada para uma função de um espaço métrico $E$ em outro espaço métrico $F:$ a função $f$ é contínua em $a\in E$ quando dado $\epsilon >0,\exists \delta >0$ tal que $\forall x\in E,d_{E}(x,a)<\delta \rightarrow d_{F}(f(x),f(a))<\epsilon .$
Em termos de bolas, dados dois espaços métricos $M,N$ dizemos que a aplicação $f:M\longrightarrow N$ é contínua em $a\in M$ se, dada uma bola aberta $B'=B(f(a),\epsilon )$ de centro $f(a)$ e raio $\epsilon$ pode-se encontrar uma bola $B=B(a,\delta ),$ de centro $a$ e raio $\delta$ tal que $f(B)\subset B'.$
Diz-se que f é contínua em seu domínio, ou simplesmente contínua, se ela for contínua em todos os pontos desse domínio.

#### Exemplo

* Seja $f:X\longrightarrow Y,$ $X$ e $Y$ espaços métricos não vazios. Se $\forall x,y\in X$ tivermos que $d(f(x),f(y))\leq c\cdot d(x,y),$ então a aplicação $f$ é contínua e a constante $c$ é chamada de constante de Lipschitz. Na reta Real toda aplicação Lipschitiziana é uniformemente contínua.

### Equivalência das definições

Se $E$ e $F$ são espaços métricos, e $\tau _{E}{\mbox{ e }}\tau _{F}$ as topologias geradas pelas métricas em $E$ e $F,$ então uma função $f:E\rightarrow F$ é contínua pela definição topológica se, e somente se, ela é contínua pela definição métrica.

### Em termos de limites

Uma função $f(x)$ é dita ser contínua em um ponto $a$ de seu domínio se: $\lim _{x\to a}f(x)=f(a)$ Observa-se que esta definição exige que o limite à esquerda exista assim como o limite da direita e que a função esteja definida no ponto com o mesmo valor de limite para o ponto.

## Função sequencialmente contínua

Uma função $f:E\rightarrow F,$ em que $E$ e $F$ são espaços topológicos, é sequencialmente contínua em um ponto $a\in E$ quanto ela comuta com o limite de sequências, ou seja, quando para toda sequência $x_{i}\in E$ cujo limite (em $E$) seja $a,$ temos que o limite (em $F$) de $f(x_{i})$ é $f(a).$ Uma forma elegante de escrever isso é $\lim _{i\rightarrow \infty }f(x_{i})=f(\lim _{i\rightarrow \infty }x_{i}).$

## Propriedades

* Função Composta: Se $f:E\to F$ e $g:F\to G$ são funções contínuas, então é imediato (pela definição topológica) que a função composta $g\circ f:E\to G$ é contínua.
* Se $f:X\rightarrow Y$ é uma bijeção contínua de um espaço topológico compacto $X$ em um espaço topológico de Hausdorff $Y,$ então $f$ é um homeomorfismo.
* O conjunto dos zeros de uma aplicação contínua entre um espaço topológico $X$ e a reta real $\mathbb {R} ,$ com a topologia usual, é um conjunto fechado. Em particular, o conjunto das matrizes singulares é fechado em $\mathbb {R} ^{n\times n},$ pois o determinante define uma aplicação contínua nesse espaço.
* Sejam $X$ e $Y$ dois espaços topológicos, $U\subset X$ e $f:X\rightarrow Y$ uma aplicação contínua. Então $f$ restrita a $U$ ainda é uma aplicação contínua.

## Funções contínuas e suas relações
### Álgebra linear

Considere um conjunto $X\neq \emptyset$ e o conjunto definido por todas as funções reais $f,g:X\rightarrow \mathbb {R}$. Temos que, $F(X,\mathbb {R} )$ assume a estrutura de espaço vetorial a partir das operações de soma e produto por escalar usuais de funções reais, a saber, $(f+g)(x):=f(x)+g(x)\quad e\quad (\alpha f)(x):=\alpha .f(x),$ onde $(f,g)\in F(X,\mathbb {R} )\times F(X,\mathbb {R} )$ e $\alpha \in \mathbb {R}$. Seja $X=\mathbb {R}$ e defina então o conjunto $C^{\circ }(\mathbb {R} )\subset F(\mathbb {R} ,\mathbb {R} )$das funções contínuas reais. Ora, visto que $0_{F(\mathbb {R} ,\mathbb {R} )}\in C^{\circ }(\mathbb {R} )$, a soma de funções contínuas é função contínua e que o produto por escalar é função contínua, temos que $C^{\circ }(\mathbb {R} )$ é subespaço vetorial de $F(\mathbb {R} ,\mathbb {R} )$.

### Teorema da esfera cabeluda

O conceito de continuidade permite ser também para campos vetoriais, tendo então campos vetoriais contínuos. Com isso, temos uma aplicação belíssima do conceito de continuidade em um teorema chamado de Esfera Cabeluda. Eis sua interpretação, informalmente:
"... muitos dos leitores confrontam-se todas as manhãs com o teorema da bola cabeluda, ao tentarem pentear o seu cabelo e verificando que há um redemoinho persistente no topo das suas cabeças. De um modo simplificado, o teorema afirma que não é possível “pentear-se” uma superfície esférica coberta de “cabelo” sem se formarem “redemoinhos” de algum tipo."
Isto pelo fato da superfície esférica admite um campo vetorial contínuo. Também, o teorema da esfera cabeluda é uma consequência de um teorema de Poincaré sobre superfícies contínuas.

### Gravação digital

As funções contínuas são muito úteis em gravações digitais, como por exemplo, em mídias de CD e DVD. Suponhamos que você esteja querendo gravar com seu celular uma aula de uma determinada disciplina. Como isso funciona? O(A) professor(a) emite uma onda sonora que é uma função contínua, porém como funções contínuas exigiriam uma capacidade de memória muito grande do seu celular (pois são infinitas), o que ele faz na verdade é gravar pedaços da onda sonora a cada segundo (isto é, com uma alta frequência), discretizando a função contínua. Com isso, seu celular tem informações suficientes para reproduzir o som como se fosse seu(sua) professor(a).

### Administração e economia

A maioria das funções que modelam os fenômenos econômicos são de natureza discreta e possuem descontinuidades finitas, do tipo função escada. As funções preço e custo são discretas, devido à natureza da mercadoria, ou possuem descontinuidade pois o custo e preço decrescem (crescem) instantaneamente. As funções oferta e demanda também são comumente discretas e apresentam descontinuidades.