Integral de Daniell

De Viquipèdia

Una de les principals dificultats que té la definició de la [integral de Lebesgue]] és que, abans de que es pugui obtenir cap resultat útil amb la integral, cal haver desenvolupat tota una teoria de la mesura. Ara bé, hi ha disponible un enfocament alternatiu, desenvolupat per en Percy J. Daniell en el seu article de 1918 "A general form of integral" ("una formulació general de la integral") (Ann. de Math, 19, 279) que no pateix aquesta deficiència, i té alguns avantatges significatius sobre la formulació tradicional, especialment quant la integral es generalitza a espais de més dimensions i altres generalitzacions com ara la integral de Stieltjes. La idea bàsica implica la axiomatització de la integral.

Taula de continguts

1 Els axiomes de Daniell
2 Definició de la integral de Daniell
3 Propietats
4 Mesures a partir de la integral de Daniell
5 Avantatges sobre la formulació tradicional
6 Vegeu també
7 Referències

[edita] Els axiomes de Daniell

Per axiomatitzar la integral, es comença per triar una família $H$ de funcions reals afitades (anomenades funcions elementals) definides sobre algun conjunt $X$ , que satisfà aquest dos axiomes:

1. $H$ és un espai lineal amb les operacions usuals de suma i producte per un escalar.

2. Si una funció $h (x)$ pertany a $H$ , també hi pertany el seu valor absolut $| h (x) |$ .

Addicionalment, a cada funció h de H se li assigna un nombre real $I h$ , que es diu la integral elemental de h, i que ha de satisfer aquest tres axiomes:

1. Linealitat. Si h i k pertanyen les dues a H, i $α$ i $β$ són dos nombres reals, llavors $I (α h + β k) = α I h + β I k$ .

2. No negativitat. Si $h(x) \ge 0$ , llavors $Ih \ge 0$ .

3. Continuïtat. Si $h n (x)$ és una successió no creixent (és a dir $h_1 \ge \cdots \ge h_k \ge \cdots$ ) de funcions de $H$ que convergeix a 0 per a tot $x$ de $X$ , llavors $Ih_n \to 0$ .

(Nota: No confondre aquestes funcions elementals (en el sentit de que són els elements a partir dels quals es construeix la integral) amb les que normalment es diu funcions elementals que designen aquelles funcions que es poden construir a partir de exponencials, logaritmes, constants, arrels i funcions trigonomètriques, combinades entre elles amb la composició de funcions i les operacions de suma i multiplicació)

Això és, es defineix un funcional lineal continu definit positiu $I$ sobre l'espai de les funcions elementals.

Aquestes funcions elementals i les seves integrals elementals, poden ser qualsevol conjunt de funcions i definicions d'integrals sobre aquestes funcions, que satisfacin aquests axiomes. La família de les funcions esglaonades evidentment satisfà els axiomes de funcions elementals. Definint la integral elemental de la família de funcions esglaonades com l'àrea (amb signe) davall de la funció esglaonada, evidentment es satisfan els axiomes d'integral elemental. Llavors si s'aplica la construcció de la integral de Daniell tal com es descriurà més avall s'obté una definició de la integral que és equivalent a la integral de Lebesgue. També es possible fer servir la família de totes les funcions contínues com a funcions elementals i la integral de Riemann tradicional com a integral elemental, ara bé, això porta a una integral que també és equivalent a la definició de Lebesgue. Si es fa el mateix, però emprant la integral de Riemann-Stieltjes, conjuntament amb una funció adequada de variació afitada, s'obté una definició de la integral equivalent a la integral de Lebesgue-Stieltjes.

Es poden definir conjunts de mesura zero en termes de funcions elementals tal com segueix. Un conjunt $Z$ que és un subconjunt de $X$ és un conjunt de mesura zero si per qualsevol $ε > 0$ , existeix una successió no decreixent de funcions elementals no negatives $h p (x)$ de H tal que $I h p < ε$ i $\sup_p h_p(x) \ge 1$ en $Z$ .

Es diu que un conjunt A és de mesura completa si el seu complementari, respecte de $X$ , és un conjunt de mesura zero. Es diu que si una propietat es compleix a tots els punts d'un conjunt de mesura completa (o el que és el mateix excepte en un conjunt de mesura nul•la), llavors es diu que la propietat es compleix quasi per a tot.

[edita] Definició de la integral de Daniell

A partir d'aquí es pot passar a definir una classe més ampla de funcions, basada en les funcions elementals que s'han triat, la classe $L +$ , que és la família de totes les funcions que són el límit de successions no decreixents $h n$ de funcions elementals quasi per a tot, de forma que el conjunt d'integrals $I h n$ és afitat. La integral d'una funció $f$ de $L +$ es defineix com:

$If = \lim_{n \to \infty} Ih_n$

Es pot demostrar que aquesta definició de la integral és ben definida, es a dir no depèn de la tria de la successió $h n$ .

Ara bé, la classe $L +$ en general no és tancada sota la subtracció i la multiplicació escalar per nombres negatius, però després es pot estendre a base de definir una classe més ampla de funcions $L$ tals que cada funció $φ(x)$ es pot representar en un conjunt de mesura completa com la diferència $φ = f - g$ , per unes funcions $f$ i $g$ triades adequadament, de la classe $L +$ . Llavors la integral d'una funció $φ(x)$ es pot definir com:

$\int_X \phi(x) dx = If - Ig\,$

Altre cop, es pot demostrar que la integral està ben definida, es a dir, no depèn de la descomposició de $φ$ en $f$ i $g$ . Aquesta és la construcció definitiva de la integral de Daniell.

[edita] Propietats

Pràcticament tos els teoremes importants de la teoria tradicional de la integral de Lebesgue, com ara el teorema de la convergència dominant de Lebesgue, el teorema de Riesz-Fischer, el lemma de Fatou, i el teorema de Fubini també es poden demostrar emprant aquesta construcció. Les seves propietats són idèntiques a les de la integral de Lebesgue tradicional.

[edita] Mesures a partir de la integral de Daniell

Degut a la correspondència natural entre conjunts i funcions, és possible utilitzar la integral de Daniell per a construir una teoria de la mesura. Si s'agafa la funció característica $χ(x)$ d'un conjunt donat, llavors la seva integral es pot agafar com la mesura del conjunt. Es pot demostrar que aquesta definició de la mesura basada en la integral de Daniell és equivalent a la tradicional mesura de Lebesgue.

[edita] Avantatges sobre la formulació tradicional

Aquest mètode de construir la integral general, té uns quants avantatges sobre el mètode tradicional de Lebesgue, en particular en el camp de l'anàlisi funcional. Les integrals de Lebesgue i de Daniell són equivalents, tal com s'ha senyalat més amunt, si es fan servir com a funcions elementals funcions esglaonades ordinàries amb valors finits. Ara bé, quant es prova d'estendre la definició d'integral a dominis més complexes (per exemple en intentar definir la integral d'un funcional lineal)), es cau en dificultats pràctiques al emprar la definició de Lebesgue que queden alleujades amb l'enfocament de Daniell.

[edita] Vegeu també

[edita] Referències

Daniell, Percy John, 1918, "A general form of integral," Annals of Mathematics 19: 279–94.
———, 1919, "Integrals in an infinite number of dimensions," Annals of Mathematics 20: 281–88.
———, 1919, "Functions of limited variation in an infinite number of dimensions," Annals of Mathematics 21: 30–38.
———, 1920, "Further properties of the general integral," Annals of Mathematics 21: 203–20.
———, 1921, "Integral products and probability," American Journal of Mathematics 43: 143–62.
Royden, H. L., 1988. Real Analysis, 3rd. ed. Prentice Hall. ISBN 978-0-02-946620-9.
Shilov, G. E., and Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, trans. Dover Publications. ISBN 0-486-63519-8.

Integració

Càlcul de primitives
$\int_a^b f(x)\,dx$ Integració simbòlica · Integral de Gauß · Integral no elemental · Constant d’integració · Algorisme de Risch · Funcions elementals · Teorema de Fubini · Mètode d'exhaustió
De fraccions racionals · Per canvi de variable · Per parts · Per substitució trigonomètrica · Per sèries · Integral de la secant al cub
Taules d'integrals
Integrals de funcions racionals · Integrals de funcions irracionals · Integrals de funcions exponencials · Integrals de funcions logarítmiques · Integrals de funcions trigonomètriques · Integrals inverses de funcions trigonomètriques · Integrals de funcions hiperbòliques · Integrals de funcions inverses de les funcions hiperbòliques
Definicions d'integració
Integral de Bochner · Integral de Darboux · Integral de Henstock-Kurzwe · Integral de Lebesgue · Integral de Lebesgue-Stieltjes · Sumatori de Riemann · Integral de Riemann · Integral de Riemann-Stieltjes
Extensions de la integral
Integral impròpia · Integral múltiple · Integral multiplicativa · Integral de superfície · Integral curvilínia · Teorema de Fubini
Integració numèrica
Mètode de Simpson · Mètode trapezial · Mètode rectangular · Mètode de Romberg · Integració de Montecarlo · Fórmules de Newton-Cotes · Sumatori de Riemann · Quadratura de Gauss · Quadratura adaptativa