Tue-01-10-2024 11:26
profe: Mauro
status:
tags: Continuidad
Ejercicio 1
Consideremos el espacio métrico ( X , d 1 ) (X,d_{1}) ( X , d 1 ) con X = C ( [ 0 , 1 ] ) X = C([0,1]) X = C ([ 0 , 1 ]) , y x 0 ∈ [ 0 , 1 ] x_{0}\in[0,1] x 0 ∈ [ 0 , 1 ] . Decidir si E : X → R ∣ ( f ↦ f ( x 0 ) ) \mathcal{E}:X\to \mathbb{R}\:|\:(f\mapsto f(x_{0})) E : X → R ∣ ( f ↦ f ( x 0 )) es continua .En caso de serlo, demostrarlo.
En caso de no serlo, dar un ejemplo.
En d ∞ d_{\infty} d ∞ resulta continua, veremos que en d 1 d_{1} d 1 no lo es.
D e m : Dem: D e m :
Fijemos x 0 , x_{0}, x 0 , para ver que no es continua basta encontrar un g g g tq E \mathcal{E} E no es continua.
h : [ 0 , 1 ] → [ 0 , 1 ] r ↦ { o s i r ∈ Q 1 c c \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} h : [ 0 , 1 ] → [ 0 , 1 ] r ↦ { o 1 s i r ∈ Q cc
Recordar y practicar de memoria:
Que E \mathcal{E} E sea continua en f f f significa que dado T > 0 \mathcal{T}>0 T > 0 , ∃ δ > 0 ∣ \:\exists\:\delta>0\:|\: ∃ δ > 0 ∣ si d 1 ( f , g ) < δ ⟹ ∣ E ( f ) − E ( g ) ∣ < T d_{1}(f,g)<\delta \implies |\mathcal{E}(f)-\mathcal{E}(g)|<\mathcal{T} d 1 ( f , g ) < δ ⟹ ∣ E ( f ) − E ( g ) ∣ < T
Queremos negar la continuidad:
δ > 0 : g ∈ X ∣ d 1 ( 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 δ > 0 : g ∈ X ∣ d 1 ( f , g ) < δ ∧ ∣ E ( f ) − E ( g ) ∣ ≥ 1
fijemos δ > 0 \delta>0 δ > 0 ,
g : [ 0 , 1 ] → R ∣ g ( x ) = { f ( x ) + 2 + 2 3 δ ( x − x 0 ) x 0 − δ 3 ≤ x < x 0 f ( x 0 ) + 2 x = x 0 f ( x ) + 2 − 2 3 δ ( x − x 0 ) x 0 < x ≤ x 0 + δ 3 f ( x ) c c \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} g : [ 0 , 1 ] → R ∣ g ( x ) = ⎩ ⎨ ⎧ f ( x ) + 2 + 2 δ 3 ( x − x 0 ) f ( x 0 ) + 2 f ( x ) + 2 − 2 δ 3 ( x − x 0 ) f ( x ) x 0 − 3 δ ≤ x < x 0 x = x 0 x 0 < x ≤ x 0 + 3 δ cc
-->23:00
Notemos que es continua a trozos y que se pega bien. Con lo cual g ∈ X g \in X g ∈ X
Siempre chequear que el elemento que creo esté en el espacio correspondiente.
d 1 ( f , g ) = ∫ 0 1 ∣ f ( x ) − g ( x ) ∣ d x = ∫ [ 0 , 1 ] ∩ [ x 0 − δ 3 , x 0 ] ∣ f ( x ) − ( f ( x ) + 2 + 2. 3 δ ( x − x 0 ) ) ∣ . d x + … ⋯ + ∫ [ 0 , 1 ] ∩ [ x 0 − δ 3 , x 0 ] ∣ 2 − 2. 3 δ ( x − x 0 ) ) ∣ ≤ ∫ x 0 − δ 3 x 0 2 + 2. 3 δ . ( x − x 0 ) d x + ∫ x 0 x 0 + δ 3 2 − 2. 3 δ . ( x − x 0 ) d x = 2 x + 3 δ ( x − x 0 ) 2 ∣ x 0 − δ 3 x 0 + 2 x − 3 δ ( x − x 0 ) 2 ∣ x 0 x 0 + δ 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} d 1 ( f , g ) = ∫ 0 1 ∣ f ( x ) − g ( x ) ∣ d x = ∫ [ 0 , 1 ] ∩ [ x 0 − 3 δ , x 0 ] ∣ f ( x ) − ( f ( x ) + 2 + 2. δ 3 ( x − x 0 ) ) ∣. d x + … ⋯ + ∫ [ 0 , 1 ] ∩ [ x 0 − 3 δ , x 0 ] ∣2 − 2. δ 3 ( x − x 0 )) ∣ ≤ ∫ x 0 − 3 δ x 0 2 + 2. δ 3 . ( x − x 0 ) d x + ∫ x 0 x 0 + 3 δ 2 − 2. δ 3 . ( x − x 0 ) d x = 2 x + δ 3 ( x − x 0 ) 2 ∣ x 0 − 3 δ x 0 + 2 x − δ 3 ( x − x 0 ) 2 ∣ x 0 x 0 + 3 δ = 3 2. δ < δ
∴ d 1 ( f , g ) < δ \therefore\: d_{1}(f,g)<\delta ∴ d 1 ( f , g ) < δ
En la integral pude sacar el modulo pues 2 + 2. 3 δ . ( x − x 0 ) 2+2. \frac{3}{\delta}.(x-x_{0}) 2 + 2. δ 3 . ( x − x 0 ) es no negativo en el intervalo tomado.
Pero ∣ E ( f ) − E ( g ) ∣ = 2 ≥ 1 |\mathcal{E}(f)-\mathcal{E}(g)|=2\geq1 ∣ E ( f ) − E ( g ) ∣ = 2 ≥ 1 como queríamos.
-->51:30 explicación del triángulo de areas.
Prop. : {\color{Orange} \text{Prop. :} } Prop. :
Consideremos espacio métrico ( X , d ) , ( Y , d ′ ) (X,d),(Y,d') ( X , d ) , ( Y , d ′ ) . Luego, f : X → Y f:X\to Y f : X → Y es continua en x x x 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}) ( ∀ E > 0 ) ( ∃ δ > 0 ) ∣ f ( B ( x , δ )) ⊆ B ( f ( x ) , E )
Ejercicio 2
Con una f f f así probar:
Si x ∈ X x \in X x ∈ X es punto aislado entonces f f f es continua en x x x .
Si f ( x ) ∈ Y f(x)\in Y f ( x ) ∈ Y es punto aislado entonces es continua en x ⟺ f x \iff f x ⟺ f es constante en un entorno de x x x .
Retomemos los ejercicios que quedaron pendientes:
Si x ∈ X x \in X x ∈ X es punto aislado entonces f f f es continua en x x x
Sea E > 0 \mathcal{E}>0 E > 0 . ∃ r > 0 ∣ B ( x , r ) ⋂ X = { x } \:\exists\:r>0\:|\:B(x,r)\bigcap X=\{ x \} ∃ r > 0 ∣ B ( x , r ) ⋂ X = { x } . Pues x x x es punto aislado.
Tomo δ = r \delta=r δ = r . Luego para todo y ∈ B ( x , δ ) ⟹ d ( f ( x ) , f ( y ) ) = 0 < E y \in B(x,\delta)\implies d(f(x),f(y))=0<\mathcal{E} y ∈ B ( x , δ ) ⟹ d ( f ( x ) , f ( y )) = 0 < E
Un video de la teo pandemia también tiene la reso de este ejercicio
Si f ( x ) ∈ Y f(x)\in Y f ( x ) ∈ Y es punto aislado entonces : f f f es continua en x ⟺ f x \iff f x ⟺ f es constante en un entorno de x x x .
⇒ ) \Rightarrow) ⇒ )
Sea f ( x ) f(x) f ( x ) punto aislado, tengo que
∃ r > 0 ∣ B ( f ( x ) , r ) ⋂ Y = { f ( x ) } \:\exists\:r>0\:|\: B(f(x),r)\bigcap Y=\{ f(x) \} ∃ r > 0 ∣ B ( f ( x ) , r ) ⋂ Y = { f ( x )}
Además, como f f f continua en x x x :
∀ 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}) ∀ E > 0 , ∃ δ > 0 ∣ f ( B ( x , δ )) ⊆ B ( f ( x ) , E )
Para E = r \mathcal{E}=r E = r , debe existir un tal δ \delta δ tal que
f ( B ( x , δ ) ) ⊆ { f ( x ) } f(B(x,\delta))\subseteq \{ f(x) \} f ( B ( x , δ )) ⊆ { f ( x )}
∀ x ′ ∈ B ( x , δ ) \forall x'\in B(x,\delta) ∀ x ′ ∈ B ( x , δ ) debe ser que f ( x ) = f ( x ′ ) f(x)=f(x') f ( x ) = f ( x ′ )
⟹ f \implies f ⟹ f es constante en un entorno de x x x .
⇐ ) \Leftarrow) ⇐ )
f f f es constante en un entorno de x ⟹ ∃ δ ∣ ∀ x ′ ∈ B ( 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) \} x ⟹ ∃ δ ∣ ∀ x ′ ∈ B ( x , δ ) : f ( x ′ ) = f ( x ) ⟹ f ( B ( x , δ )) = { f ( x )}
Luego ∀ E f ( x ) ∈ B ( f ( x ) , E ) ⟹ ∃ δ > 0 ∣ f ( 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 ∀ E f ( x ) ∈ B ( f ( x ) , E ) ⟹ ∃ δ > 0 ∣ f ( B ( x , δ )) = { f ( x )} ⊆ B ( f ( x ) , E ) ⟹ f continua en x x x .
□ \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 :