Proposición 1. Sean \(F\subseteq E\) con \(E\) y \(F\) espacios vectoriales. Si para todo \(f\in E'\) tal que \(f\) se anula en \(F\) se tiene que \(f\) se anula en \(E\), entonces \(F\) es denso en \(E\), es decir, \[\overline{F} […]
Sigue leyendoAutor: Daniel Lara
Propiedades algebraicas de la diferenciación
Ejercicio 1 (Linealidad de la derivada). Sean \(E,F\) espacios normados, \(U\subseteq E\) abierto y \(f,g\colon U \rightarrow F\) funciones dierenciables en \(u_0\in U\). Entonces, \(\alpha f+g\) es diferenciable en \(u_0\) para todo \(\alpha\in\mathbb{K}\) y \[D(\alpha f +g)(u_0) = \alpha Df(u_0) […]
Sigue leyendo
Hiperplanos en Espacios Normados
Ejercicio 1. Sea \(E\) un espacio normado, un hiperplano \(H=[f=\alpha]\) es cerrado en \(H\) si y solo si \(f\) es continua, es decir, \(f\in E^*\). Demostración. Notemos que \(\{\alpha\}\) es un conjunto cerrado en \(\mathbb{R}\) y dado que \(f\) es […]
Sigue leyendo
Lema de Farkas
Teorema 1 (Lema de Farkas). Sean \(A\in\mathbb{R}^{m\times n}\) y \(b\in\mathbb{R}^m\). Entonces, exactamente uno de los siguientes conjuntos debe ser vacío: \(A:=\left\{x\in\mathbb{R}^n\,:\, Ax=b,\, x\geq 0\right\}\); \(B:= \left\{y\in\mathbb{R}^m\,:\,A^Ty\geq 0,\, b^Ty<0\right\}\). Demostración. Sean \(A\in\mathbb{R}^{m\times n}\) y \(b\in\mathbb{R}^m\), cualesquiera. Primera etapa En una primera […]
Sigue leyendo
Espacio Cociente
A continuación se encuentra un breve repaso sobre los Espacios Cocientes y algunas propiedades de los mismos, así como algunos ejercicios al final del texto. Espacios Cocientes Introducción Sean \((V,+,\cdot,\mathbb{K})\) un espacio vectorial y \(W\) un subespacio vectorial de \(V\). […]
Sigue leyendo
Ejercicios para Introducción al Análisis en Espacios de Banach y Hilbert
A continuación encontrarás una selección de algunos ejercicios útiles para profundizar en la materia de Introducción al Análisis en Espacios de Banach y Hilbert. Estos ejercicios han sido recopilados a partir de la bibliografía recomendada para el curso. Las notaciones […]
Sigue leyendo
Teorema de Hanh-Banach — Forma Analítica-Algebráica
Teorema 1. Sea \(E\) un espacio vectorial sobre \(\mathbb{K}\), \(F\) un subespacio vectorial de \(E\) y \(g\colon F \rightarrow \mathbb{K}\) un funcional lineal tal que \[\begin{cases} g(x) \leq p(x) & \quad \forall x\in F \quad \text{ si }\quad \mathbb{K}=\mathbb{R}\\ \text{Re}(g(x)) […]
Sigue leyendo
Todo espacio prehilbertiano separable posee una familia ortonormal maximal contable
Ejercicio 1. Todo espacio prehilbertiano separable posee una familia ortonormal maximal contable. Sea \(H\) un espacio prehilbertiano. P.D. \(\exists \left\{e_n\right\}_{n\in\mathbb{N}}\) familia ortonormal en \(H\) tal que \[\overline{\mathop{\mathrm{span}}\left\{e_n\right\}_{n\in\mathbb{\mathbb{N}}}} = H.\] Como \(H\) es separable, entonces existe un conjunto numerable denso en […]
Sigue leyendo
Tipografías en LaTeX
¿Sabías que es posible usar las mismas fuentes que se usan en Word, PowerPoint o cualquier programa en LaTeX? A continuación te dejo una pequeña de guía para hacerlo utilizando LaTeX en local (instalado en tu computador) o como en […]
Sigue leyendo
LaTeX en OneNote
¿Sabías que OneNote reconoce parcialmente código \(\LaTeX{}\) al momento de escribir ecuaciones? Esto incluye símbolos como letras griegas, operadores, entre otros. Te dejamos un enlace al sitio de Microsoft con la documentación sobre el tema:
Sigue leyendo