Avanzado-Práctica 11 - Continuidad

Tema: Continuidad

Tue-01-10-2024 11:26 profe: Mauro status: tags: Continuidad


Ejercicio 1

Consideremos el espacio métrico (X,d1)(X,d_{1}) con X=C([0,1])X = C([0,1]), y x0[0,1]x_{0}\in[0,1]. Decidir si E:XR(ff(x0))\mathcal{E}:X\to \mathbb{R}\:|\:(f\mapsto f(x_{0})) es continua .En caso de serlo, demostrarlo. En caso de no serlo, dar un ejemplo.

En dd_{\infty} resulta continua, veremos que en d1d_{1} no lo es.

Dem:Dem: Fijemos x0,x_{0}, para ver que no es continua basta encontrar un gg tq E\mathcal{E} no es continua.

h:[0,1][0,1]r{osirQ1cc\begin{array}{c} h:[0,1]\to[0,1] \\ r\mapsto \begin{cases} o & si\:r\in \mathbb{Q} \\ 1 & cc \end{cases} \end{array}

Recordar y practicar de memoria: Que E\mathcal{E} sea continua en ff significa que dado T>0\mathcal{T}>0, δ>0\:\exists\:\delta>0\:|\: si d1(f,g)<δ    E(f)E(g)<Td_{1}(f,g)<\delta \implies |\mathcal{E}(f)-\mathcal{E}(g)|<\mathcal{T}

Queremos negar la continuidad:

δ>0:gXd1(f,g)<δE(f)E(g)1\delta>0:g \in X\:|\: d_{1}(f,g)<\delta\land |\mathcal{E}(f)-\mathcal{E}(g)|\geq 1

fijemos δ>0\delta>0,

g:[0,1]Rg(x)={f(x)+2+23δ(xx0)x0δ3x<x0f(x0)+2x=x0f(x)+223δ(xx0)x0<xx0+δ3f(x)cc\begin{array}{c} g:[0,1]\to \mathbb{R}\:|\: \\ g(x)= \begin{cases} f(x)+2+2 \frac{3}{\delta}(x-x_{0}) & x_{0}- \frac{\delta}{3}\leq x< x_{0} \\ f(x_{0})+2 & x=x_{0} \\ f(x)+2-2 \frac{3}{\delta}(x-x_{0}) & x_{0}< x\leq x_{0} + \frac{\delta}{3} \\ f(x) & cc \end{cases}\\ \end{array}

-->23:00

Notemos que es continua a trozos y que se pega bien. Con lo cual gXg \in X

Siempre chequear que el elemento que creo esté en el espacio correspondiente.

d1(f,g)=01f(x)g(x)dx=[0,1][x0δ3,x0]f(x)(f(x)+2+2.3δ(xx0)).dx++[0,1][x0δ3,x0]22.3δ(xx0))x0δ3x02+2.3δ.(xx0)dx+x0x0+δ322.3δ.(xx0)dx=2x+3δ(xx0)2x0δ3x0+2x3δ(xx0)2x0x0+δ3=2.δ3<δ\begin{array}{c} \\ d_{1}(f,g)=\int_{0}^1 |f(x)-g(x)| \, dx =\int_{[0,1]\cap\left[ x_{0}- \frac{\delta}{3},x_{0} \right]} |f(x)-\left( f(x)+2+2. \frac{3}{\delta}(x-x_{0}) \right)| .dx+\dots\\ \dots+\int_{[0,1]\cap\left[ x_{0}- \frac{\delta}{3},x_{0} \right]} |2-2. \frac{3}{\delta}(x-x_{0}) )| \\ \leq \int_{x_{0}- \frac{\delta}{3}}^{x_{0}} 2+2. \frac{3}{\delta}.(x-x_{0}) \, dx +\int_{x_{0}}^{x_{0}+ \frac{\delta}{3}} 2-2. \frac{3}{\delta}.(x-x_{0}) \, dx \\ =2x+ \frac{3}{\delta}(x-x_{0})^{2}|_{x_{0}- \frac{\delta}{3}}^{x_{0}}+ 2x- \frac{3}{\delta}(x-x_{0})^{2}|_{x_{0}}^{x_{0}+ \frac{\delta}{3}}=\frac{2.\delta}{3}<\delta \end{array} d1(f,g)<δ\therefore\: d_{1}(f,g)<\delta

En la integral pude sacar el modulo pues 2+2.3δ.(xx0)2+2. \frac{3}{\delta}.(x-x_{0}) es no negativo en el intervalo tomado.

Pero E(f)E(g)=21|\mathcal{E}(f)-\mathcal{E}(g)|=2\geq1 como queríamos.

-->51:30 explicación del triángulo de areas.


Prop. :{\color{Orange} \text{Prop. :} }

Consideremos espacio métrico (X,d),(Y,d)(X,d),(Y,d'). Luego, f:XYf:X\to Y es continua en xx si y solo si (E>0)(δ>0)f(B(x,δ))B(f(x),E)(\forall\mathcal{E}>0)(\:\exists\:\delta>0)\:|\:f(B(x,\delta))\subseteq B(f(x),\mathcal{E})


Ejercicio 2

Con una ff así probar:

  1. Si xXx \in X es punto aislado entonces ff es continua en xx.
  2. Si f(x)Yf(x)\in Y es punto aislado entonces es continua en x    fx \iff f es constante en un entorno de xx.

Retomemos los ejercicios que quedaron pendientes:

  1. Si xXx \in X es punto aislado entonces ff es continua en xx

Sea E>0\mathcal{E}>0. r>0B(x,r)X={x}\:\exists\:r>0\:|\:B(x,r)\bigcap X=\{ x \}. Pues xx es punto aislado. Tomo δ=r\delta=r. Luego para todo yB(x,δ)    d(f(x),f(y))=0<Ey \in B(x,\delta)\implies d(f(x),f(y))=0<\mathcal{E}

Un video de la teo pandemia también tiene la reso de este ejercicio


  1. Si f(x)Yf(x)\in Y es punto aislado entonces : ff es continua en x    fx \iff f es constante en un entorno de xx.

)\Rightarrow) Sea f(x)f(x) punto aislado, tengo que

r>0B(f(x),r)Y={f(x)}\:\exists\:r>0\:|\: B(f(x),r)\bigcap Y=\{ f(x) \}

Además, como ff continua en xx:

E>0,δ>0f(B(x,δ))B(f(x),E)\forall \mathcal{E}>0,\:\exists\:\delta>0\:|\: f(B(x,\delta))\subseteq B(f(x),\mathcal{E})

Para E=r\mathcal{E}=r, debe existir un tal δ\delta tal que

f(B(x,δ)){f(x)}f(B(x,\delta))\subseteq \{ f(x) \}

xB(x,δ)\forall x'\in B(x,\delta) debe ser que f(x)=f(x)f(x)=f(x')     f\implies f es constante en un entorno de xx.

)\Leftarrow) ff es constante en un entorno de x    δxB(x,δ):f(x)=f(x)    f(B(x,δ))={f(x)}x \implies \:\exists\:\delta\:|\:\forall x'\in B(x,\delta):f(x')=f(x) \implies f(B(x,\delta))=\{ f(x) \} Luego Ef(x)B(f(x),E)    δ>0f(B(x,δ))={f(x)}B(f(x),E)    f\forall\mathcal{E}\quad f(x)\in B(f(x),\mathcal{E})\implies \:\exists\:\delta>0\:|\: f(B(x,\delta))=\{ f(x) \}\subseteq B(f(x),\mathcal{E})\implies f continua en xx.

\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \square

Citas y Comentarios

  • Dia 15 cambio de aula
  • Dia parcial es :

Temas relacionados