9 votos

La Reinvención De La Rueda - Parte 1: La Integral De Riemann

Prefacio

El núcleo de cualquier noción de integral es una especie de suma ponderada: $$\sum b\mu(A)$$

Dependiendo de si el dominio o el rango se descompone estos dividido en Riemann y Lebesgue del tipo: $$\{A_i\}_{I \in I}: b_i\in fA_i$$ $$\{b_i\}_{I \in I}:A_i=f^{-1}\{b_i\}$$

Con el fin de manejar los tipos de infinito sumas uno puede introducir una noción de convergencia: $$\lim_{\leq}$$ El ingrediente crucial para la unicidad es la dirigida pedido, junto con un espacio de Hausdorff: $$\leq\text{ dirigida}\\ \mathcal{T}\text{ Hausdorff}$$ (Para más detalles, véase la Hausdorffness vs Singularidad.)

(Además, estos dos hechos, a saber, la suma y la convergencia, son los que la debilidad de los conceptos de integral de explotar.)

Para Lebesgue tipo natural noción de convergencia falla; es la simple suma da: $$f:[0,1]\to\mathbb{R}:f(x):=x:\quad\{\sum_{b\in B}b\mu(f^{-1}\{b\})\}_{\# B_0<\infty}=0\qquad B_0\leq B_0':\iff B_0\subseteq B_0'$$ Para Riemann tipo esta sutileza no se plantea, ya que nuestros pies sobre las colecciones de conjuntos en lugar de los elementos. Ese será el punto de partida de este artículo!

La Estrategia Y El Objetivo

La estrategia básica de este artículo es el estudio de la noción de integral de Riemann, de tipo bajo una adecuada noción de convergencia con:

  • Topológico de Hausdorff espacio vectorial: $V$
  • Medir el espacio de posibles infinito tamaño: $\mu(\Omega)\leq\infty$
  • Integral de Riemann tipo: $I(f)=\lim_{\leq}\sum_{A\in\mathcal{A}}f(b)\mu(A)$

El objetivo principal será que implican funciones con los postes y las oscilaciones, mientras que la retención uniformemente continua functionsof la siguiente forma:

  • Uniformemente continua: $I(f)\text{ exists}$
  • Polos: $f:(0,1]\to\mathbb{R}: f(x):=x^{\alpha>-1}$
  • Oscilación: $g:[1,\infty)\to\mathbb{R}: g(x):=\frac{1}{x}\sin(x)$

Definición

Considere la posibilidad de un sigma-finito completa medir el espacio y un espacio de Banach así como el espacio de Banach de las funciones con valores: $$(\Omega,\Sigma,\mu)\text{ and }(E,\|\cdot\|) \text{ and }(\mathcal{F},\ldots)$$

Definir la integral, si es que existe: $$\int f\mathrm{d}\mu:=\lim_{(\Sigma_0,\leq)}\left\{\sum_{(A,a)\in\Sigma_0}\mu(A)f(a)\right\}_{\Sigma_0}$$ con el finito colecciones de distintos subconjuntos medibles de tamaño finito: $$\Sigma_0\subseteq\Sigma: \qquad \#\Sigma_0<\infty\text{ as well as }\mu(A)<\infty\text{ and }A\cap B=\varnothing\text{ for }A\neq B,A,B\in\Sigma_0$$ ser ordenado por el refinamiento y expansión: $$\Sigma_0\leq\Sigma_0':\iff\Sigma_0\dashv\Sigma_0',\Sigma_0\prec\Sigma_0'$$ donde el refinamiento y la expansión se define como: $$\Sigma_0\dashv\Sigma_0':\iff\forall A\in\Sigma_0\exists A'\in\Sigma_0':A\supseteq A'$$ $$\Sigma_0\prec\Sigma_0':\iff\cup_{A\in\Sigma_0}A\subseteq\cup_{A'\in\Sigma_0'}A'$$

De hecho, estos son considerados como etiquetado de las colecciones, pero para una mejor lectura de este es enmascarado: $(A,a)\in\Sigma_0$
Tenga en cuenta también que las colecciones no son necesarios para cubrir la medida del espacio: $\cup_{A\in\Sigma_0}A\subseteq\Omega$
La ordenación de las colecciones es el elegido para dar el resultado correcto: $\int s\mathrm{d}\mu=\sum_{e\in \mathrm{im}s}\mu(s^{-1}\{e\})e$

Interpretación:

Esto puede ser interpretado como la red de funciones simples: $$s_{\Sigma_0}:=\sum_{(A,a)\in\Sigma_0}f(a)\chi_A$$

Lo anteriormente expuesto se lee: $$\int s_{\Sigma_0}\mathrm{d}\mu\to\int f\mathrm{d}\mu$$

Por otra parte para integrar las funciones de la red de simples funciones converge pointwise (prueba?): $$\left(\int s_{\Sigma_0}\mathrm{d}\mu \to \int f\mathrm{d}\mu\right) \Rightarrow \left(s_{\Sigma_0}(\omega)\to f(\omega)\right)$$ (Tenga en cuenta que es reclamado pointwise convergencia en todas partes , más que en casi todas partes.)

Así, surge la pregunta de cómo este tipo de Riemann integral se relaciona con el tipo de Lebesgue la integral por Bochner.
(La diferencia crucial es que este enfoque considera que la red de simples funciones relacionadas con la función bajo consideración, mientras que el enfoque por Bochner considera que algunos de secuencia de funciones simples no necesariamente relacionados con la función bajo consideración.)

Discusión:

Resulta que esta noción de integrabilidad es muy restrictiva.

Una condición necesaria sobre integrabilidad es: $$\exists\mu(N)=0: \|f(\Omega\setminus N)\|<\infty$$

Así, aunque la primera crítica ejemplo no ser disuelto por este concepto: $$f:(0,1]\to\mathbb{R}:x\mapsto \frac{1}{\sqrt{x}}$$ el segundo se disuelve sin embargo: $$g:[1,\infty)\to\mathbb{R}:x\mapsto\frac{1}{x}\sin(x)$$

Especialmente no Lebesgue tipo de integrabilidad implica este tipo de Riemann integrabilidad.

Sin embargo, un resultado positivo se logra en la medida finita espacios.

Una condición suficiente sobre integrabilidad es: $$\ldots$$

Absoluta integrabilidad no implica integrabilidad (ejemplo?).

Con respecto a la convergencia teoremas de la convergencia uniforme teorema sostiene (la prueba?) pero el dominado, monotono y Fatou teorema de convergencia fallar (por ejemplo?).

Resumen:

$$\ldots$$

0voto

Freeze_S Puntos 5098

Intento:

Asumir cada punto admite un subconjunto finito de medida (sigma-finito medir los espacios de hacerlo) que es cada punto entra en consideración final: $\forall\omega\in\Omega\exists\Sigma_0: \omega\in A\in\Sigma_0$

Fijar el punto y considerar dos casos.

Todos los subconjuntos medibles que contiene el punto de delimitada tamaño: $\mu(A_{\omega})\geq C>0$
Deje $\epsilon>0$. Elija $\delta=C\epsilon$. Encontrar $\Sigma_\delta$. Suponga que w.l.o.g. $\omega\in A\in\Sigma_\delta$. Respecto a $\Sigma_a\geq\Sigma_\delta$. Volver a etiquetar $\Sigma_\omega=\Sigma_a$.
Por lo que sigue: $$\|f(a)-f(\omega)\|<\frac{\delta}{\mu(A_\omega)}\leq\frac{C\epsilon}{C}=\epsilon$$

Algunos subconjuntos medibles que contiene el punto tienden a cero tamaño: $\mu(A_n)\to 0$
Desde la intersección tiene cero medir el singleton es medible por la exhaustividad con tamaño finito: $\mu(\omega)<\infty$
Por lo tanto se tiene: $$s_{\Sigma_0}(\omega)=f(\omega)\text{ for all }\Sigma_0\geq\{(\{\omega\},\omega)\}$$

0voto

Freeze_S Puntos 5098

En realidad, el orden da: $$f:[0,1]\to\mathbb{R}:f(x):=x:\quad\text{ not integrable}$$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X