Mostra la font per a Funció contínua

{{Falten referències}}
{{redirecció|Continuïtat|Continuïtat (desambiguació)}}
'''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 <math>I</math> un interval de <math>\mathbb R</math>, <math>f</math> una [[Funció matemàtica|aplicació]] de <math>I</math> a <math>\mathbb R</math>, i <math>x_0</math> un punt de <math>I</math>.
# Si <math>x_0 \in I</math> i <math>x_0</math> és un [[punt d'acumulació]] de <math>I</math>, direm que <math>f</math> és contínua en el punt <math>x_0</math> si <math>\lim_{x\rightarrow x_0}{f(x)}=f(x_0)</math>.
# Si <math>x_0 \in I</math> i <math>x_0</math> no és un [[punt d'acumulació]] de <math>I</math>, direm que <math>f</math> és contínua per definició.
La definició anterior també es pot formular en termes de distàncies, diem que '''<math>f</math> és contínua en el punt <math>x_0</math>''' del seu domini [[si i només si]]:
: <center><math>\forall \varepsilon >0,\exists \delta>0,\,x\in\,]x_0-\delta,x_0+\delta[\,\cap I\Longrightarrow |f(x)-f(x_0)|\le \varepsilon\,</math></center>

És a dir, una funció és contínua quan per qualsevol punt <math>x</math> 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 <math>f(x)</math>.

Finalment, en termes de successions tenim la següent propietat: La funció <math>f</math> és contínua en el punt <math>x_0 \in I</math> si i només si per qualsevol successió <math >\{x_n\} \subset I</math> <math display="block">\{ x_n \} \rightarrow x_0 \Longrightarrow \{ f(x_n) \} \rightarrow f(x_0).</math>Aquesta propietat s'anomena ''continuïtat seqüencial'' de <math>f</math> en el punt <math>x_0</math>.

=== Continuïtat per la dreta i per l'esquerra ===
Suposem que la funció <math>f</math> està definida en l'interval tancat <math>[a,b]</math> i sigui <math>x_0\in [a,b[</math>. Es diu que el nombre <math>\ell</math> '''és el límit per la dreta de''' <math>f</math> en <math>x_0</math> si <math>\forall \varepsilon>0, \exists \delta>0</math> tal que si <math>x\in ]a,b[</math> compleix que <math>0<x-x_0<\delta</math> (és dir, <math>x</math> està a la dreta de <math>x_0</math>), aleshores <math>\vert f(x)-\ell\vert <\varepsilon</math>; en aquest cas, s'escriu <math>\ell=f(x_0^+)</math> i s'utilitza la notació <math display="block">\lim_{x\to x_0^+}{f(x)}=f(x_0^+) \quad \text{o} \ \ \lim_{x\downarrow x_0}{f(x)}=f(x_0^+).</math>Es diu que <math>f</math> '''és continua per la dreta en el punt''' <math>x_0</math> si <math>f(x_0^+)=f(x_0)</math> .

De manera anàloga, per a <math>x_0\in ]a,b]</math> es defineix el '''límit per l'esquerra de <math>f</math> en el punt''' <math>x_0</math> i s'escriu

<math display="block">\lim_{x\to x_0^-}{f(x)}=f(x_0^-) \quad \text{o} \ \ \lim_{x\uparrow x_0}{f(x)}=f(x_0^-).</math>



Es diu que <math>f</math> '''és continua per l'esquerra en el punt''' <math>x_0</math> si <math>f(x_0^-)=f(x_0)</math>.

'''Propietat.''' Sigui <math>x_0\in ]a,b[</math>. Aleshores <math>f</math> és contínua en el punt <math>x_0</math> si i només si <math>f(x_0)=f(x_0^+)=f(x_0^-)</math>.

Vegeu més avall la [[#Discontinuïtat de salt |secció discontinuïtats de salt]] per un exemple de funció on el límit per la dreta i per l'esquerra en un punt no coincideixen.

=== Continuïtat en un interval ===
Sigui <math>[a,b]</math> un [[subconjunt]] del domini d'una funció <math>f</math>. Es diu que <math>f</math> és '''contínua en <math>[a,b]</math>''' (en llenguatge matemàtic, <math>f \in {\mathcal{C}}^{0} [a,b]</math>) si és contínua en tots el punts d'aquest interval.

És a dir:
: <center><math>\forall x\in[a,b],\,\forall \varepsilon >0,\exists \delta>0,\,y\in\,]x-\delta,x+\delta[\,\cap I\Longrightarrow |f(x)-f(y)|\le \varepsilon\,</math></center>
que equival a què:
* <math>f</math> és contínua a <math>(a,b)</math> (en llenguatge matemàtic, <math>f \in {\mathcal{C}}^{0}(a,b)</math>).
* En els extrems de l'interval es compleix <math>f(a)=f(a^+)</math> i <math>f(b)=f(b^-)</math>
Evidentment, en la definició el número <math>\delta</math> depèn de <math>\epsilon</math>, ja que si <math>\epsilon</math> es fa més petit, pot ser que hàgim de buscar un <math>\delta</math> més petit. Però en aquest apartat cal aclarir que el número <math>\delta</math> també depèn del punt <math>x</math>, és a dir, per un mateix valor de <math>\epsilon</math>, un valor de <math>\delta</math> que serveix per algun punt en concret pot no servir per un altre punt. En general, donat un valor de <math>\epsilon</math> no existeix un valor de <math>\delta</math> que serveixi per a tots els punts <math>x\in [a,b]</math>, tot i així, quan aquest valor existeix parlem de [[continuïtat uniforme]].

=== Derivabilitat i continuïtat ===
Qualsevol funció [[derivada|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ó <math>f(x)=|x|</math> ([[valor absolut]] de <math>x</math> és una funció contínua a <math>\mathbb R</math>, en canvi, no és derivable en el punt <math>x=0</math>.

=== 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 ===
<blockquote>"<math>f</math> contínua en un {{subratllat|[[Espai compacte|compacte]]}} <math>K \Longrightarrow f(K)</math> és compacte."</blockquote>Efectivament, per demostrar que <math>f(K)</math> és un compacte necessitem veure que, sigui <math>y_a=f(x_a), \forall x_a\in K</math>, la successió <math>\{y_a\}</math> té alguna [[successió parcial]] convergent <math>\{ y_{a_i} \}</math>.

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

=== Teorema del màxim i el mínim ===
<blockquote>"<math>f</math> contínua en un {{subratllat|compacte}} <math>K \Longrightarrow f(K)</math> té màxim i mínim."</blockquote>Efectivament, pel teorema dels compactes si <math>f</math> és contínua en el compacte <math>K</math>, <math>f(K)</math> és compacte. Com que qualsevol compacte és [[Conjunt fitat|fitat]], existiran un [[suprem]] (<math>s</math>) i un ínfim (<math>i</math>). Demostrem ara que <math>s,i \in K</math>. En efecte, podem trobar valors tan a prop de <math>s</math> com vulguem (si no fos així, podríem trobar una [[fita superior]] més petita que <math>s</math>, arribant a una contradicció), per tant podem construir una successió <math>\{ s_n \}</math> que convergeixi a <math>s</math>. Com que <math>f(K)</math> és un compacte <math>f(K)</math> és [[Conjunt tancat|tancat]] i per tant, <math>s\in f(K)</math>. Sent <math>s</math> el màxim del compacte <math>f(K)</math>.<math>f(c)<0</math>

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

=== Teorema de Bolzano ===
<blockquote>"<math>f \in {\mathcal{C}}^{0} [a,b]</math> amb <math>f(a)\cdot f(b)<0</math> (és a dir, no nuls i de signe oposat) <math>\Longrightarrow \exists c\in (a,b) </math> on <math>f(c)=0</math>."</blockquote>Efectivament, anomenem <math>I_0=[a,b]</math>, sigui <math>c_0</math> el punt central d'aquest interval. Si <math>f(c_0)=0</math> el teorema queda demostrat. Si <math>f(c_0)\neq0</math>, aleshores partim l'interval <math>I_0</math> en els intervals <math>[a,c_0]</math> i <math>[c_0,b]</math>. Com que <math>f(a)</math> i <math>f(b)</math> tenen signes oposats, <math>f(c_0)</math> tindrà el mateix signe que un dels dos i tindrà signe oposat que l'altre. Anomenem <math>I_1</math> a l'interval en que <math>f</math> tingui signes oposats en els extrems, i definim <math>c_1</math> com el punt central de <math>I_1</math>. De nou repetim el mateix procés, si <math>f(c_1)=0</math> hem acabat, si no, definim <math>I_2, I_3, ...</math> Si per algun interval <math>I_i</math> es compleix que <math>f(c_i)=0</math> hem acabat, si no tenim definits infinits intervals en els quals <math>f</math> pren valors oposats en els extrems.

Notem que es compleix sempre que <math>I_0 \supset I_1 \supset I_2 \supset ...</math> i la longitud de cada interval és: <math>L_0=b-a, L_1=\frac{b-a}{2}, L_2=\frac{b-a}{4}, ..., L_n=\frac{b-a}{2^n}</math>.

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

=== Teorema del valor intermedi de Bolzano ===
{{Article principal|Teorema del valor intermedi}}
<blockquote>"<math>f \in {\mathcal{C}}^{0} [a,b]</math>, amb <math>f(a)\neq f(b)</math>, i <math>u</math> està entre <math>f(a)</math> i <math>f(b) \Longrightarrow \exists c\in (a,b)</math> on <math>f(c)=u</math>."</blockquote>Efectivament si <math>u</math> està entre <math>f(a)</math> i <math>f(b)</math>, aleshores <math>f(a)-u</math> i <math>f(b)-u</math> tenen signes oposats. Definim aleshores la funció <math>g(x)=f(x)-u</math>, com que <math>f</math> és contínua en l'interval <math>[a,b]</math>, <math>g
</math> és contínua en el mateix interval. Hem dit que <math>g(a)=f(a)-u</math> i <math>g(b)=f(b)-u</math> tenen signes oposats, per tant, pel teorema de Bolzano, existeix un punt <math>c\in (a,b)</math> que compleix que <math>g(c)=f(c)-u=0 \Longrightarrow f(c)=u</math>.

=== Teorema de la continuïtat de la funció inversa ===
{{Article principal|Teorema de la funció inversa}}<blockquote>"<math>f</math> contínua i {{subratllat|invertible}} en un interval <math>I \Longrightarrow f</math> és estrictament creixent o decreixent a <math>I</math> i <math>f^{-1}</math> és contínua a <math>f(I)</math>."</blockquote>Efectivament, si <math>f</math> és invertible <math>f</math> ha de ser [[Funció injectiva|injectiva]]. Per tant, si per a dos punts <math>a,b\in I,</math><math>a\neq b\Longrightarrow f(a)\neq f(b).</math> Suposem que <math>f(a)>f(b)</math>, aleshores, <math>\forall x\in (a,b), f(a)>f(x)>f(b)</math>, ja que, si <math>f(x)>f(a)>f(b)</math>, pel teorema del valor intermedi de Bolzano, existeix algun punt entre <math>c\in(x,b)</math> que compleix que <math>f(c)=f(a)</math>, però això no pot ser perquè <math>f</math> és injectiva. Pel mateix argument no es pot donar el cas que <math>f(a)>f(b)>f(x)</math>, ja que existiria algun punt <math>c</math> que compleix que <math>f(c)=f(b)</math>. Per tant, tenim que <math>f(x)</math> està entre <math>f(a)</math> i <math>f(b)</math>.

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

Sigui <math>y_i=f(x_i)\in f(I)</math>, hem de demostrar que <math>\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</math>.

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

Per tant, per a qualsevol <math>\epsilon</math> podem trobar un <math>\delta<\epsilon</math> tal que <math>[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]).</math>

Si <math>d(f(x),f(x_i))<\delta</math>, aleshores <math>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</math>

Quedant demostrat que la funció <math>f^{-1}</math> és contínua.

== Tipus de discontinuïtats de funcions d'una variable real ==
=== Discontinuïtat asimptòtica ===
En contextos informals, com ara els estudis de batxillerat, es diu que una funció ''<math>f(x)</math>'' de domini <math>D \varsubsetneq \mathbb R</math> presenta una discontinuïtat asimptòtica en un punt d'acumulació <math>a \not\in D</math> quan un o tots dos límits laterals de la funció en aquest punt són de tipus infinit. Es pot donar un dels quatre casos diferents:

 (1) <math>\scriptstyle{\lim_{x \to a}{f(x)= \infty}}</math> (2) <math>\scriptstyle{\lim_{x \to a}{f(x)= -\infty}}</math> (3) <math>\scriptstyle{\lim_{x \to a^-}{f(x)= +\infty}}</math> i <math>\scriptstyle{\lim_{x \to a^+}{f(x)= -\infty}}</math> (4) <math>\scriptstyle{\lim_{x \to a^-}{f(x)= -\infty}}</math> i <math>\scriptstyle{\lim_{x \to a^+}{f(x)= +\infty}}</math>

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

És molt important esmentar que, formalment i matemàtica, '''no té sentit parlar d'una discontinuïtat en un punt que no pertany al domini de la funció'''. El concepte de discontinuïtat asimptòtica neix del tractament poc rigorós que es fa del concepte de continuïtat a partir de límits, per no haver d'abordar la definició formal vista anteriorment.

'''Exemple:'''
[[Fitxer:DiscuntinuaAsimp.png|center|400px|Discontinuïtat asimptòtica]]

=== Discontinuïtat de salt ===
Una funció ''<math>f(x)</math>'' de domini <math>D \subseteq \mathbb R</math> presenta una discontinuïtat de salt en un punt <math>a \in D</math> quan els límits laterals en aquest punt no són iguals:
 <math>\lim_{x \to a^-}{f(x)}\neq \lim_{x \to a^+}{f(x)}</math>

'''Exemple:'''
[[Fitxer:DiscuntinuaSalt.png|center|Discontinuïtat de salt]]

=== Discontinuïtat evitable ===
Una funció ''<math>f(x)</math>'' de domini <math>D \subseteq \mathbb R</math> presenta una discontinuïtat evitable en un punt <math>a \in D</math> quan la funció té límit en aquest punt però no coincideix amb el valor de la funció: <math>\lim_{x \to a^-}{f(x)} = \lim_{x \to a^+}{f(x)} = \lim_{x \to a}{f(x)}\neq {f(a)}</math>

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


En contextos informals, com ara els estudis de batxillerat, es parla també de discontinuïtats evitables en punts <math>a \not\in D</math> quan <math>\lim_{x \to a^-}{f(x)} = \lim_{x \to a^+}{f(x)}</math>. Altra vegada és molt important esmentar que, formalment i matemàtica, '''no té sentit parlar d'una discontinuïtat en un punt que no pertany al domini de la funció'''.

'''Exemple en un context informal (punt fora del domini):'''
[[Fitxer:DiscuntinuaEvitable.png|center|Discontinuïtat evitable]]

== Àlgebra de les funcions contínues i composició de funcions contínues ==
Per definició:
:<center><math>f</math> contínua a <math>a \Leftrightarrow \lim_{x \to a}f(x) = f(a)</math>.

Dels teoremes sobre els [[límit]]s resulta:

=== Àlgebra de les funcions contínues ===
Siguin <math>f</math> i <math>g</math> dues funcions contínues en un mateix interval <math>I</math>. Llavors:
* <math>\alpha f + \beta g \quad \forall (\alpha, \beta) \in \R^2</math> ([[combinació lineal]])
* <math>f\cdot g</math> (producte)
* <math>\frac{f}{g}\quad (g \ne 0)</math> (quocient)

són '''funcions contínues''' a <math>I</math>.

=== Composició de funcions contínues ===
Si <math>f</math> és contínua a <math>I</math> i <math>g</math> és contínua a <math>f(I)</math> llavors <math> g \circ f </math> és contínua a <math>I</math>.

== Funcions contínues entre espais topològics ==
La definició esmentada de funció contínua es pot expressar de forma més general a les funcions entre dos [[espai topològic|espais topològics]]; donada una funció <math>f:A\longrightarrow B</math> entre dos espais topològics, aquesta és contínua si i només si per a tot [[conjunt obert|obert]] <math>O\subseteq B</math> es dona que <math>f^{-1}\left[O\right]</math> és un obert de <math>A</math>.

== Vegeu també ==
* [[Mètodes infinitesimals]]
{{Glossari de la geopolítica}}
{{Commonscat}}
{{Autoritat}}

{{ORDENA:Funcio Continua}}
[[Categoria:Funcions|continua]]