Teorema de categories de Baire

En matemàtiques, el teorema de categories de Baire (TCB)Plantilla:SfnPlantilla:SfnPlantilla:Sfn és una eina important en l'estudi d'espais complets, com els de Banach i Hilbert, que sorgeixen en topologia i anàlisi funcional. Rep el seu nom en honor del matemàtic francès René Baire.

El teorema té dues formes, cadascuna de les quals dona condicions suficients perquè un espai topològic sigui un espai de Baire (un espai topològic tal que la intersecció de conjunts oberts densos és dens).

Les versions del teorema de categories de Baire van ser provades per primera vegada de manera independent el 1897 i el 1899 per Osgood i Baire, respectivament.

L'enunciat del teorema és:Plantilla:Sfn Plantilla:Teorema

Un espai topològic és un espai de Baire si és separable i a més la unió numerable de qualsevol col·lecció de subconjunts tancats amb interior buit també té interior buit.Plantilla:Sfn

La prova del teorema usa l'axioma d'elecció.

Definició

Un espai de Baire és un espai topològic amb la propietat que per a cada col·lecció numerable de conjunts oberts densos $U_1,U_2,\dots ,$ la seva intersecció $\bigcap _{n\in \mathbb{N}}{U}_n$ és densa.

• (TCB1) Cada espai pseudomètric complet és un espai de Baire.Plantilla:Sfn Així, cada espai topològic completament metrizable és un espai de Baire. Més generalment, cada espai topològic que és homeomòrfic a un subconjunt obert d'un espai pseudomètric complet és un espai de Baire.
• (TCB2) Cada espai de Hausdorff localment compacte és un espai de Baire. La demostració és semblant a la afirmació anterior; la propietat de la intersecció finita pren el paper que juga la completesa.

Cap d'aquestes afirmacions implica directament l'altra, ja que hi ha espais mètrics complets que no són localment compactes (els nombres irracionalss amb la mètrica definida a continuació; també, qualsevol espai de Banach de dimensió infinita), i hi ha espais de Hausdorff localment compactes que no són metrizable (per exemple, qualsevol producte incomptable d'espais compactes de Hausdorff no trivials és tal; també, diversos espais de funció utilitzats en l'anàlisi funcional; l'espai de Fort incomptable).

• (TCB3) Un espai mètric complet no-buit amb interior no buit, o qualsevol dels seus subconjunts amb interior no-buit, no és la unió comptable de conjunts dens enlloc.

Aquesta formulació és equivalent a TCB1 i de vegades és més útil en aplicacions.

També, si un espai mètric complet no-buit és la unió comptable de conjunts tancats, aleshores un d'aquests conjunts tancats té l'interior no-buit.

Relació amb l'axioma d'elecció

La prova de TCB1 per a espais mètrics complets arbitraris requereix alguna forma de l'axioma d'elecció; i de fet TCB1 és equivalent sobre ZFC a l'axioma de l'elecció dependent, una forma feble de l'axioma de l'elecció.Plantilla:Sfn

Una forma restringida del teorema de la categoria de Baire, en la qual també s'assumeix que l'espai mètric complet és separable, és demostrable en ZFC sense principis d'elecció addicionals.Plantilla:Sfn Aquesta forma restringida s'aplica en particular a la línia real, l'espai de Baire ${\omega }^{\omega },$ l'espai de Cantor $2^{\omega },$ i un espai de Hilbert separable com ara l'espai $L^p-$ $L^2\left({ℝ}^n\right).$

Usos

TCB1 s'utilitza a l'anàlisi funcional per demostrar el teorema de la funció oberta, el teorema de la gràfica tancada i el principi de la fita uniforme.

TCB1 també mostra que cada espai mètric complet sense punt aïllats és no numerable. (Si $X$ és un espai mètric complet numerable sense punts aïllats, aleshores cada singletó $\{x\}$ a $X$ és dens enlloc i, per tant, $X$ és de primera categoria en si mateix.) En particular, això demostra que el conjunt de tots els nombres reals és no numerable.

TCB1 mostra que cadascun dels següents és un espai de Baire:

• L'espai $ℝ$ dels nombres realss
• Els nombres irracionalss, amb la mètrica definida per $d(x,y)=\frac{1}{n+1},$ on $n$ és el primer índex per al qual difereixen les expansions de la fracció contínua de $x$ i $y$ (aquest és un espai mètric complet).
• El conjunt de Cantor

Per TCB2, cada varietat de Hausdorff de dimensions finites és un espai de Baire, ja que és localment compacte i Hausdorff. Això és així fins i tot per a varietats no paracompactes (per tant no mesurables) com ara la recta llarga.

TCB s'utilitza per demostrar el teorema de Hartogs, un resultat fonamental en la teoria de diverses variables complexes.

TCB3 s'utilitza per demostrar que un espai de Banach no pot tenir una dimensió comptablement infinita.

Prova

La següent és una prova estàndard que un espai pseudomètric complet $X$ és un espai de Baire.

Sigui $U_1,U_2,\dots$ una col·lecció comptable de subconjunts densos oberts. Queda per demostrar que la intersecció $U_1\cap U_2\cap \dots$ és densa. Un subconjunt és dens si i només si cada subconjunt obert no buit el talla. Així, per demostrar que la intersecció és densa, n'hi ha prou de demostrar que qualsevol subconjunt obert no buit $W$ de $X$ té algun punt $x$ en comú amb tots de la $U_n$.

Com que $U_1$ és dens, $W$ talla $U_1;$ per tant, existeix un punt $x_1$ i un nombre $0<r_1<1$ tal que: $$\bar{B}(x_1,r_1)\subseteq W\cap U_1$$ on $B(x,r)$ i $\bar{B}(x,r)$ denoten una bola oberta i tancada, respectivament, centrada a $x$ amb radi $r.$ Com que cada $U_n$ és densa, aquesta construcció es pot continuar recursivament per trobar un parell de seqüències $x_n$ i $0<r_n<\frac{1}{n}$ tal que: $$\bar{B}(x_n,r_n)\subseteq B(x_{n-1},r_{n-1})\cap U_n.$$

(Aquest pas es basa en l'axioma de l'elecció i en el fet que una intersecció finita de conjunts oberts és oberta i, per tant, es pot trobar una bola oberta al seu interior centrada a $x_n$.)

La seqüència $\left(x_n\right)$ és Cauchy perquè $x_n\in B(x_m,r_m)$ sempre que $n>m,$ i, per tant, $\left(x_n\right)$ convergeix a algun límit $x$ per complet. Si $n$ és un nombre enter positiu, aleshores $x\in \bar{B}(x_n,r_n)$ (perquè aquest conjunt està tancat). Així, $x\in W$ i $x\in U_n$ per a tots els $n.$ $◼$

Hi ha una demostració alternativa de M. Baker per a la demostració del teorema mitjançant el joc de Choquet.Plantilla:Sfn

Bibliografia

• Plantilla:Ref-llibre
• Plantilla:Ref-web
• Plantilla:Ref-publicació
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-publicació
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-web

Enllaços externs

• Plantilla:Ref-web

Plantilla:Autoritat