Funció contínua

Funció contínua és un terme utilitzat en matemàtiques i, en particular, en topologia.

Definició matemàtica per funcions de variables reals

Funció contínua en un punt

Siguin $I$$I$ un interval de $\mathbb {R}$$\mathbb {R}$, $f$$f$ una aplicació de $I$$I$ a $\mathbb {R}$$\mathbb {R}$, i $x_{0}$$x_{0}$ un punt de $I$$I$.

1. Si $x_{0}\in I$$x_{0}\in I$ i $x_{0}$$x_{0}$ és un punt d'acumulació de $I$$I$, direm que $f$$f$ és contínua en el punt $x_{0}$$x_{0}$ si $\lim _{x\rightarrow a}{f(x)}=f(a)$$\lim _{x\rightarrow a}{f(x)}=f(a)$.
2. Si $x_{0}\in I$$x_{0}\in I$ i $x_{0}$$x_{0}$ no és un punt d'acumulació de $I$$I$, direm que $f$$f$ és contínua per definició.

La definició anterior també es pot formular en termes de distàncies, diem que $f$$f$ és contínua en el punt $x_{0}$$x_{0}$ si i només si:

$\forall \varepsilon >0,\exists \delta >0,\,x\in \,]x_{0}-\delta ,x_{0}+\delta [\,\cap I\Longrightarrow |f(x)-f(x_{0})|\leq \varepsilon \,$$\forall \varepsilon >0,\exists \delta >0,\,x\in \,]x_{0}-\delta ,x_{0}+\delta [\,\cap I\Longrightarrow |f(x)-f(x_{0})|\leq \varepsilon \,$

És a dir, una funció és contínua quan per qualsevol punt $x$$x$ del seu domini podem trobar un interval tal que la seva imatge estigui continguda en un interval tan petit com vulguem al voltant de la seva imatge $f(x)$$f(x)$.

Finalment, en termes de successions la funció $f$$f$ és contínua en el punt $x_{0}\in I$$x_{0}\in I$ si, sigui $x_{n}\in I$$x_{n}\in I$

$\{x_{n}\}\rightarrow x_{0}\Longrightarrow \{f(x_{n})\}\rightarrow f(x_{0})$$\{x_{n}\}\rightarrow x_{0}\Longrightarrow \{f(x_{n})\}\rightarrow f(x_{0})$

Continuïtat i límits

Si $f$$f$ és contínua en $x_{0}$$x_{0}$, llavors $\lim _{x\to x_{0}}f(x)=f(x_{0})$$\lim _{x\to x_{0}}f(x)=f(x_{0})$.

Si això és cert únicament per a $x>x_{0}$$x>x_{0}$, es diu que $f$$f$ és contínua a la dreta de $x_{0}$$x_{0}$.

De la mateixa forma, si és contínua per a $x<x_{0}$$x<x_{0}$, $f$$f$ és contínua a l'esquerra de $x_{0}$$x_{0}$.

Dir que $f$$f$ és contínua en $x_{0}$$x_{0}$ significa que aquesta aplicació és contínua a la dreta i a l'esquerra d'aquest punt.

Continuïtat en un interval

Es diu que $f$$f$ és contínua en $[a,b]$$[a,b]$ si és contínua en tots el punts d'aquest interval.

És a dir:

$\forall x\in [a,b],\,\forall \varepsilon >0,\exists \delta >0,\,y\in \,]x-\delta ,x+\delta [\,\cap I\Longrightarrow |f(x)-f(y)|\leq \varepsilon \,$$\forall x\in [a,b],\,\forall \varepsilon >0,\exists \delta >0,\,y\in \,]x-\delta ,x+\delta [\,\cap I\Longrightarrow |f(x)-f(y)|\leq \varepsilon \,$ ,

que equival a què:

• $f$$f$ és contínua a $]a,b[$$]a,b[$.
• El límit a la dreta de $f(x)$$f(x)$ quan $x\to a$$x\to a$ val $f(a)$$f(a)$ i el límit a l'esquerra quan $x\to b$$x\to b$ val $f(b)$$f(b)$.

Evidentment, en la definició el número $\delta$$\delta$ depèn de $\epsilon$$\epsilon$, ja que si $\epsilon$$\epsilon$ es fa més petit, pot ser que hàgim de buscar un $\delta$$\delta$ més petit. Però en aquest apartat cal aclarir que el número $\delta$$\delta$ també depèn del punt $x$$x$, és a dir, per un mateix valor de $\epsilon$$\epsilon$, un valor de $\delta$$\delta$ que serveix per algun punt en concret pot no servir per un altre punt. En general, donat un valor de $\epsilon$$\epsilon$ no existeix un valor de $\delta$$\delta$ que serveixi per a tots els punts $x\in [a,b]$$x\in [a,b]$, tot i així, quan aquest valor existeix parlem de continuïtat uniforme.

Derivabilitat i continuïtat

Qualsevol funció derivable en un punt o en un interval, és igualment contínua en aquest punt o interval.

El recíproc és fals.

Per exemple, la funció $f(x)=|x|$$f(x)=|x|$ (valor absolut de $x$$x$ és una funció contínua a $\mathbb {R}$$\mathbb {R}$, en canvi, no és derivable en el punt $x=0$$x=0$.

Funcions usuals

Les funcions polinòmiques, exponencials, logarítmiques, hiperbòliques, trigonomètriques són derivables en els intervals en què estan definides, i són, doncs, igualment contínues en aquests intervals.

Teoremes sobre funcions contínues

Teorema dels compactes

"Si $f$$f$ és contínua en un compacte $K\Longrightarrow f(K)$$K\Longrightarrow f(K)$ és compacte."

Efectivament, per demostrar que $f(K)$$f(K)$ és un compacte necessitem veure que, sigui $y_{a}=f(x_{a}),\forall x_{a}\in K$$y_{a}=f(x_{a}),\forall x_{a}\in K$, la successió $\{y_{a}\}$$\{y_{a}\}$ té alguna successió parcial convergent $\{y_{a_{i}}\}$$\{y_{a_{i}}\}$.

Com que, per hipòtesi $K$$K$ és un compacte, existeix alguna successió parcial $\{x_{a_{i}}\}$$\{x_{a_{i}}\}$ convergent. Sigui $l$$l$ el límit d'aquesta successió $(\{x_{a_{i}}\}\rightarrow l)$$(\{x_{a_{i}}\}\rightarrow l)$, per la definició de continuïtat (definició per successions) tenim que $\{f(x_{a_{i}})\}\rightarrow f(l)\in f(K)$$\{f(x_{a_{i}})\}\rightarrow f(l)\in f(K)$. Però per la definició que hem fet al principi, $\{f(x_{a_{i}})\}=\{y_{a_{i}}\}\rightarrow f(l)$$\{f(x_{a_{i}})\}=\{y_{a_{i}}\}\rightarrow f(l)$ resultant així que $\{y_{a_{i}}\}$$\{y_{a_{i}}\}$ (que és una successió parcial de $\{y_{a}\}$$\{y_{a}\}$) és convergent. I $f(K)$$f(K)$ és un compacte.

Teorema del màxim i el mínim

"Si $f$$f$ és contínua en un compacte $K\Longrightarrow f(K)$$K\Longrightarrow f(K)$ té màxim i mínim."

Efectivament, pel teorema dels compactes si $f$$f$ és contínua en el compacte $K$$K$, $f(K)$$f(K)$ és compacte. Com que qualsevol compacte és fitat, existiran un suprem ($s$$s$) i un ínfim ($i$$i$). Demostrem ara que $s,i\in K$$s,i\in K$. En efecte, podem trobar valors tan a prop de $s$$s$ com vulguem (si no fos així, podríem trobar una fita superior més petita que $s$$s$, arribant a una contradicció), per tant podem construir una successió $\{s_{n}\}$$\{s_{n}\}$ que convergeixi a $s$$s$. Com que $f(K)$$f(K)$ és un compacte $f(K)$$f(K)$ és tancat i per tant, $s\in f(K)$$s\in f(K)$. Sent $s$$s$ el màxim del compacte $f(K)$$f(K)$.$f(c)<0$$f(c)<0$

De manera anàloga podem trobar valors tan a prop de $i$$i$ com vulguem (o arribem a una contradicció), per tant, podem construir una successió $\{i_{n}\}\rightarrow i$$\{i_{n}\}\rightarrow i$. I com que $f(K)$$f(K)$ és tancat $i\in f(K)$$i\in f(K)$, sent el mínim d'aquest compacte.

Teorema de Bolzano

"Si $f$$f$ és contínua en un interval tancat $[a,b]$$[a,b]$, amb $f(a)\cdot f(b)<0$$f(a)\cdot f(b)<0$ (és a dir, no nuls i de signe oposat) $\Longrightarrow \exists c\in (a,b)$$\Longrightarrow \exists c\in (a,b)$ on $f(c)=0$$f(c)=0$."

Efectivament, anomenem $I_{0}=[a,b]$$I_{0}=[a,b]$, sigui $c_{0}$$c_{0}$ el punt central d'aquest interval. Si $f(c_{0})=0$$f(c_{0})=0$ el teorema queda demostrat. Si $f(c_{0})\neq 0$$f(c_{0})\neq 0$, aleshores partim l'interval $I_{0}$$I_{0}$ en els intervals $[a,c_{0}]$$[a,c_{0}]$ i $[c_{0},b]$$[c_{0},b]$. Com que $f(a)$$f(a)$ i $f(b)$$f(b)$ tenen signes oposats, $f(c_{0})$$f(c_{0})$ tindrà el mateix signe que un dels dos i tindrà signe oposat que l'altre. Anomenem $I_{1}$$I_{1}$ a l'interval en que $f$$f$ tingui signes oposats en els extrems, i definim $c_{1}$$c_{1}$ com el punt central de $I_{1}$$I_{1}$. De nou repetim el mateix procés, si $f(c_{1})=0$$f(c_{1})=0$ hem acabat, si no, definim $I_{2},I_{3},...$$I_{2},I_{3},...$ Si per algun interval $I_{i}$$I_{i}$ es compleix que $f(c_{i})=0$$f(c_{i})=0$ hem acabat, si no tenim definits infinits intervals en els quals $f$$f$ pren valors oposats en els extrems.

Notem que es compleix sempre que $I_{0}\supset I_{1}\supset I_{2}\supset ...$$I_{0}\supset I_{1}\supset I_{2}\supset ...$ i la longitud de cada interval és: $L_{0}=b-a,L_{1}={\frac {b-a}{2}},L_{2}={\frac {b-a}{4}},...,L_{n}={\frac {b-a}{2^{n}}}$$L_{0}=b-a,L_{1}={\frac {b-a}{2}},L_{2}={\frac {b-a}{4}},...,L_{n}={\frac {b-a}{2^{n}}}$.

Construïm la successió $x_{n}\in I_{n}$$x_{n}\in I_{n}$. Sigui $I_{n_{0}}$$I_{n_{0}}$ un interval de longitud $L_{n_{0}}={\frac {b-a}{2^{n_{0}}}}$$L_{n_{0}}={\frac {b-a}{2^{n_{0}}}}$, aleshores és clar que $|x_{n}-x_{m}|\leq {\frac {b-a}{2^{n_{0}}}},\forall n,m>n_{0}$$|x_{n}-x_{m}|\leq {\frac {b-a}{2^{n_{0}}}},\forall n,m>n_{0}$ ja que $I_{n},I_{m}\subset I_{n_{0}}$$I_{n},I_{m}\subset I_{n_{0}}$. Per tant,$\forall \epsilon >0,\exists n_{0}\in \mathbb {N}$$\forall \epsilon >0,\exists n_{0}\in \mathbb {N}$ tal que $L_{n_{0}}={\frac {b-a}{2^{n_{0}}}}\leq \epsilon$$L_{n_{0}}={\frac {b-a}{2^{n_{0}}}}\leq \epsilon$ i, en conseqüència $|x_{n}-x_{m}|\leq {\frac {b-a}{2^{n_{0}}}}\leq \epsilon ,\forall m,n>n_{0}$$|x_{n}-x_{m}|\leq {\frac {b-a}{2^{n_{0}}}}\leq \epsilon ,\forall m,n>n_{0}$. Per tant, la successió $\{x_{n}\}$$\{x_{n}\}$ és una successió de Cauchy i per tant és convergent. Denotem $c=\lim\{x_{n}\}$$c=\lim\{x_{n}\}$. Suposem que $f(c)>0$$f(c)>0$, aleshores per continuïtat podem trobar un interval $I$$I$ que compleixi que $f(x)>0$$f(x)>0$ en tot l'interval. Però a partir d'algun subíndex $I_{n}\subset I$$I_{n}\subset I$ i existeix algun punt de $I_{n}$$I_{n}$ en que $f(x)<0$$f(x)<0$ (recordem que $f$$f$ pren valors de signe oposat en els seus extrems). Igualment, si $f(c)<0$$f(c)<0$ per continuïtat podem trobar un interval $I$$I$ que compleixi que $f(x)<0$$f(x)<0$. Però a partir d'algun subíndex $I_{n}\subset I$$I_{n}\subset I$ i existeix algun punt de $I_{n}$$I_{n}$ en que $f(x)>0$$f(x)>0$. Per tant l'única possibilitat és que $f(c)=0$$f(c)=0$. Quedant així demostrat el teorema.

Teorema del valor intermedi de Bolzano

"Si $f$$f$ és contínua en un interval tancat $[a,b]$$[a,b]$, amb $f(a)\neq f(b)$$f(a)\neq f(b)$, i $u$$u$ està entre $f(a)$$f(a)$ i $f(b)\Longrightarrow \exists c\in (a,b)$$f(b)\Longrightarrow \exists c\in (a,b)$ on $f(c)=u$$f(c)=u$."

Efectivament si $u$$u$ està entre $f(a)$$f(a)$ i $f(b)$$f(b)$, aleshores $f(a)-u$$f(a)-u$ i $f(b)-u$$f(b)-u$ tenen signes oposats. Definim aleshores la funció $g(x)=f(x)-u$$g(x)=f(x)-u$, com que $f$$f$ és contínua en l'interval $[a,b]$$[a,b]$, $g$$g$ és contínua en el mateix interval. Hem dit que $g(a)=f(a)-u$$g(a)=f(a)-u$ i $g(b)=f(b)-u$$g(b)=f(b)-u$ tenen signes oposats, per tant, pel teorema de Bolzano, existeix un punt $c\in (a,b)$$c\in (a,b)$ que compleix que $g(c)=f(c)-u=0\Longrightarrow f(c)=u$$g(c)=f(c)-u=0\Longrightarrow f(c)=u$.

Teorema de la continuïtat de la funció inversa

"Si $f$$f$ és contínua i invertible en un interval $I\Longrightarrow f$$I\Longrightarrow f$ és estrictament creixent o decreixent a $I$$I$ i $f^{-1}$$f^{-1}$ és contínua a $f(I)$$f(I)$."

Efectivament, si $f$$f$ és invertible $f$$f$ ha de ser injectiva. Per tant, si per a dos punts $a,b\in I,$$a,b\in I,$$a\neq b\Longrightarrow f(a)\neq f(b).$$a\neq b\Longrightarrow f(a)\neq f(b).$ Suposem que $f(a)>f(b)$$f(a)>f(b)$, aleshores, $\forall x\in (a,b),f(a)>f(x)>f(b)$$\forall x\in (a,b),f(a)>f(x)>f(b)$, ja que, si $f(x)>f(a)>f(b)$$f(x)>f(a)>f(b)$, pel teorema del valor intermedi de Bolzano, existeix algun punt entre $c\in (x,b)$$c\in (x,b)$ que compleix que $f(c)=f(a)$$f(c)=f(a)$, però això no pot ser perquè $f$$f$ és injectiva. Pel mateix argument no es pot donar el cas que $f(a)>f(b)>f(x)$$f(a)>f(b)>f(x)$, ja que existiria algun punt $c$$c$ que compleix que $f(c)=f(b)$$f(c)=f(b)$. Per tant tenim que $f(x)$$f(x)$ està entre $f(a)$$f(a)$ i $f(b)$$f(b)$.

Considerem ara un punt $y\in (x,b)$$y\in (x,b)$, és a dir, $a<x<y<b$$a<x<y<b$, pel mateix argument que a dalt podem afirmar que $f(x)>f(y)>f(b)$$f(x)>f(y)>f(b)$ (i, per tant, $f(a)>f(x)>f(y)>f(b)$$f(a)>f(x)>f(y)>f(b)$). Per tant, podem afirmar que si $x<y\Longrightarrow f(x)>f(y)$$x<y\Longrightarrow f(x)>f(y)$, és a dir, $f$$f$ és estrictament decreixent, si en comptes de suposar al principi que $f(a)>f(b)$$f(a)>f(b)$ suposem que $f(a)<f(b)$$f(a)<f(b)$ arribem a la conclusió (després de aplicar exactament el mateix raonament) que $f$$f$ és estrictament creixent. Demostrem ara que $f^{-1}$$f^{-1}$ és contínua a l'interval $f(I)$$f(I)$.

Sigui $y_{i}=f(x_{i})\in f(I)$$y_{i}=f(x_{i})\in f(I)$, hem de demostrar que $\forall \epsilon >0,\exists \delta >0|d{\big (}f(x),f(x_{i}){\big )}<\delta \Longrightarrow d{\big (}f^{-1}(f(x)),f^{-1}(f(x_{i})){\big )}=d{\big (}x,x_{i}{\big )}<\epsilon$$\forall \epsilon >0,\exists \delta >0|d{\big (}f(x),f(x_{i}){\big )}<\delta \Longrightarrow d{\big (}f^{-1}(f(x)),f^{-1}(f(x_{i})){\big )}=d{\big (}x,x_{i}{\big )}<\epsilon$.

Notem que, al ser $f$$f$ contínua i estrictament creixent (decreixent) es compleix que $f([a,b])=[f(a),f(b)]$$f([a,b])=[f(a),f(b)]$ $(=[f(b),f(a)])$$(=[f(b),f(a)])$. És a dir, que un punt pertany a l'interval $[a,b]$$[a,b]$ si i només si la seva imatge pertany a l'interval d'extrems $f(a)$$f(a)$ i $f(b)$$f(b)$.

Per tant, per a qualsevol $\epsilon$$\epsilon$ podem trobar un $\delta <\epsilon$$\delta <\epsilon$ tal que $[y_{i}-\delta ,y_{i}+\delta ]=[f(x_{i})-\delta ,f(x_{i})+\delta ]\subset [f(x_{i})-\epsilon ,f(x_{i})+\epsilon ]=f([x_{i}-\epsilon ,x_{i}+\epsilon ]).$$[y_{i}-\delta ,y_{i}+\delta ]=[f(x_{i})-\delta ,f(x_{i})+\delta ]\subset [f(x_{i})-\epsilon ,f(x_{i})+\epsilon ]=f([x_{i}-\epsilon ,x_{i}+\epsilon ]).$

Si $d(f(x),f(x_{i}))<\delta$$d(f(x),f(x_{i}))<\delta$, aleshores $f(x)\in [f(x_{i})-\delta ,f(x_{i})+\delta ]\Longrightarrow f(x)\in f([x_{i}-\epsilon ,x_{i}+\epsilon ])\Longrightarrow x\in [x_{i}-\epsilon ,x_{i}+\epsilon ]\Longrightarrow d(x,x_{i})<\epsilon$$f(x)\in [f(x_{i})-\delta ,f(x_{i})+\delta ]\Longrightarrow f(x)\in f([x_{i}-\epsilon ,x_{i}+\epsilon ])\Longrightarrow x\in [x_{i}-\epsilon ,x_{i}+\epsilon ]\Longrightarrow d(x,x_{i})<\epsilon$

Quedant demostrat que la funció $f^{-1}$$f^{-1}$ és contínua.

Tipus de discontinuïtats de funcions d'una variable real

Discontinuïtat asimptòtica

Una funció f(x) presenta una discontinuïtat asimptòtica en un punt a quan no està definida en aquest punt i el límit de la funció en aquest punt és de tipus infinit. Es pot donar un dels quatre casos diferents:

   (1)  $\scriptstyle {\lim _{x\to a}{f(x)=\infty }}$$\scriptstyle {\lim _{x\to a}{f(x)=\infty }}$        (2)  $\scriptstyle {\lim _{x\to a}{f(x)=-\infty }}$$\scriptstyle {\lim _{x\to a}{f(x)=-\infty }}$       (3)  $\scriptstyle {\lim _{x\to a^{-}}{f(x)=+\infty }}$$\scriptstyle {\lim _{x\to a^{-}}{f(x)=+\infty }}$  i $\scriptstyle {\lim _{x\to a^{+}}{f(x)=-\infty }}$$\scriptstyle {\lim _{x\to a^{+}}{f(x)=-\infty }}$       (4)  $\scriptstyle {\lim _{x\to a^{-}}{f(x)=-\infty }}$$\scriptstyle {\lim _{x\to a^{-}}{f(x)=-\infty }}$  i $\scriptstyle {\lim _{x\to a^{+}}{f(x)=+\infty }}$$\scriptstyle {\lim _{x\to a^{+}}{f(x)=+\infty }}$

La recta x=a s'anomena asímptota vertical.

Exemple:

Discontinuïtat de salt

Una funció f(x) presenta una discontinuïtat de salt en un punt a quan els límits laterals en aquest punt no són iguals:      $\lim _{x\to a^{-}}{f(x)}\neq \lim _{x\to a^{+}}{f(x)}$$\lim _{x\to a^{-}}{f(x)}\neq \lim _{x\to a^{+}}{f(x)}$

Exemple:

Discontinuïtat evitable

Una funció f(x) presenta una discontinuïtat evitable en un punt a quan la funció té límit en aquest punt però no coincideix amb el valor de la funció, bé perquè no està definida, bé perquè és diferent:      $\lim _{x\to a^{-}}{f(x)}=\lim _{x\to a^{+}}{f(x)}=\lim _{x\to a}{f(x)}\neq {f(a)}$$\lim _{x\to a^{-}}{f(x)}=\lim _{x\to a^{+}}{f(x)}=\lim _{x\to a}{f(x)}\neq {f(a)}$

Per tant, la funció f es podria fer contínua només redefinint f(a).

Exemple:

Àlgebra de les funcions contínues i composició de funcions contínues

Per definició:

$f$$f$ contínua a $a\Leftrightarrow \lim _{x\to a}f(x)=f(a)$$a\Leftrightarrow \lim _{x\to a}f(x)=f(a)$.

Dels teoremes sobre els límits resulta:

Àlgebra de les funcions contínues

Siguin $f$$f$ i $g$$g$ dues funcions contínues en un mateix interval $I$$I$. Llavors:

• $\alpha f+\beta g\quad \forall (\alpha ,\beta )\in \mathbb {R} ^{2}$$\alpha f+\beta g\quad \forall (\alpha ,\beta )\in \mathbb {R} ^{2}$ (combinació lineal)
• $f\cdot g$$f\cdot g$ (producte)
• ${\frac {f}{g}}\quad (g\neq 0)$${\frac {f}{g}}\quad (g\neq 0)$ (quocient)

són funcions contínues a $I$$I$.

Composició de funcions contínues

Si $f$$f$ és contínua a $I$$I$ i $g$$g$ és contínua a $f(I)$$f(I)$ llavors $g\circ f$$g\circ f$ és contínua a $I$$I$.

Funcions contínues entre espais topològics

La definició esmentada de funció continua es pot expressar de forma més general a les funcions entre dos espais topològics; donada una funció $f:A\longrightarrow B$$f:A\longrightarrow B$ entre dos espais topològics, aquesta és contínua si i només si per a tot obert $O\subseteq B$$O\subseteq B$ es dóna que $f^{-1}\left[O\right]$$f^{-1}\left[O\right]$ és un obert de $A$$A$.

Vegeu també

• Mètodes infinitesimals

Enllaços externs

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Funció contínua

• Plana de Josep E. Peris