Spazio di Baire
In matematica uno spazio di Baire è uno spazio topologico "sufficientemente ricco" di punti da poter permettere, intuitivamente parlando, particolari processi al limite. Deve il suo nome al matematico René-Louis Baire che per primo introdusse il concetto.
Motivazione
modificaIn uno spazio topologico, ogni insieme chiuso con parte interna vuota può essere pensato come punto dello spazio. Il concetto di spazio di Baire cattura l'idea di "ampiezza", da questo punto di vista, di un insieme, nel senso che uno spazio di Baire non può essere generato come unione numerabile di suoi punti. Un esempio è dato da una arbitraria famiglia numerabile di rette in un piano: nessuna di tali famiglie è in grado di ricoprire il piano.
Definizione
modificaLa definizione rigorosa di spazio di Baire è stata più volte modificata nel tempo, adattandola, di volta in volta, ai nuovi punti di vista proposti dal pensiero matematico. In primo luogo, vedremo la definizione moderna, per poi esaminare una definizione differente e più vicina a quella originariamente introdotta da Baire.
Definizione moderna
modificaUno spazio topologico si dice spazio di Baire se l'unione numerabile di ogni famiglia di insiemi chiusi con interno vuoto ha interno vuoto.
Tale definizione è equivalente ad ognuna delle seguenti proposizioni:
- Ogni intersezione numerabile di insiemi aperti e densi è densa.
- L'interno di ogni unione numerabile di insiemi densi in nessun luogo è vuoto.
- Se l'unione di una famiglia numerabile di sottoinsiemi chiusi di ammette punto interno, allora uno degli elementi di tale famiglia ammette un punto interno.
Definizione classica
modificaNella sua definizione originaria, Baire introdusse la nozione di categoria (da non confondere con la teoria delle categorie) nei seguenti termini:
Un sottoinsieme di uno spazio topologico si dice:
- mai denso in se l'interno della sua chiusura è vuoto
- di prima categoria o magro in se lo si può ottenere come unione di una famiglia numerabile di insiemi mai densi
- di seconda categoria in se non è di prima categoria in
La definizione di spazio di Baire può allora essere enunciata come segue: uno spazio topologico è uno spazio di Baire se ogni insieme aperto non vuoto è di seconda categoria in . Tale definizione è equivalente a quella moderna. Un sottoinsieme di si dice comagro se il suo complementare è magro.
Esempi
modifica- L'insieme dei numeri reali, con la topologia usuale, è uno spazio di Baire e, quindi, è di seconda categoria in sé stesso. L'insieme dei numeri razionali è di prima categoria in mentre l'insieme dei numeri irrazionali è di seconda categoria in .
- L'insieme di Cantor è uno spazio di Baire e, quindi, è di seconda categoria in sé stesso. È invece di prima categoria nell'intervallo [0, 1] con la topologia usuale.
- Il seguente insieme, avente misura di Lebesgue nulla, è di seconda categoria in .
- ove è una successione di conteggio dei numeri razionali.
- L'insieme dei numeri razionali con la topologia usuale relativa, non è uno spazio di Baire, poiché è unione numerabile di insiemi chiusi con interno vuoto, i suoi stessi singoletti.
Teorema della categoria di Baire
modificaIl teorema della categoria di Baire fornisce delle condizioni sufficienti affinché uno spazio topologico sia uno spazio di Baire ed è uno dei teoremi fondamentali della topologia e dell'analisi funzionale.
- TCB1 Ogni spazio spazio metrico completo è uno spazio di Baire. Più in generale, ogni spazio topologico omeomorfo ad un sottoinsieme aperto di uno spazio pseudometrico completo è uno spazio di Baire. In particolare, ogni spazio topologicamente completo è uno spazio di Baire.
- TCB2 Ogni spazio di Hausdorff localmente compatto è uno spazio di Baire.
TCB1 implica che ciascuno dei seguenti insiemi sia uno spazio di Baire:
- L'insieme dei numeri reali
- L'insieme dei numeri irrazionali
- L'insieme di Cantor
- Ogni varietà
- Ogni spazio topologico omeomorfo ad uno spazio di Baire
Proprietà
modifica- Ogni spazio di Baire non vuoto è di seconda categoria in sé stesso, e ogni intersezione numerabile di sottoinsiemi aperti e densi di è non vuota. L'unione disgiunta dell'insieme dei numeri razionali con l'intervallo unitario mostra che le due implicazioni inverse sono entrambe false.
- Ogni sottospazio aperto di uno spazio di Baire è uno spazio di Baire.
Bibliografia
modifica- (EN) Munkres, James, Topology, 2nd edition, Prentice Hall, 2000.
- (EN) Baire, René-Louis (1899), Sur les fonctions de variables réelles, Annali di Mat. Ser. 3 3, 1--123.
Voci correlate
modificaCollegamenti esterni
modifica- (EN) P.S. Aleksandrov, Baire space, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.