Disambiguazione – Se stai cercando la definizione del concetto dal punto di vista della teoria degli insiemi, vedi spazio di Baire (teoria degli insiemi).

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

modifica

In 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

modifica

La 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

modifica

Uno 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

modifica

Nella 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.

  • 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

modifica
  Lo stesso argomento in dettaglio: Teorema della categoria di Baire.

Il 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 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.
  • Si consideri una famiglia di funzioni continue   con limite  . Se   è uno spazio di Baire, allora l'insieme dei punti in cui   non è continua è magro in  , mentre l'insieme dei punti in cui   è continua è denso in  .

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

modifica

Collegamenti esterni

modifica
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica