La matematica potrebbe sembrare una serie di regole rigide, ma nella sua essenza si tratta di schemi. Prendi lo spazio metrico. Sembra astratto. È. Ma è anche la base per comprendere come misuriamo la “vicinanza” in ogni ambito, dalle app di navigazione all’analisi complessa.
In termini semplici, uno spazio metrico è semplicemente un insieme di punti abbinati a una regola per misurare la distanza. Questa regola è chiamata metrica. Deve seguire tre leggi rigorose. Innanzitutto, se la distanza tra due punti è zero, quei punti sono identici. Non è possibile avere una distanza zero tra oggetti distinti. In secondo luogo, la distanza è simmetrica. Il divario da A a B è lo stesso che da B ad A. La terza, e questa è la più importante, è la disuguaglianza triangolare. Il percorso diretto dal punto A al punto C non è mai più lungo di un terzo punto B. Sulla carta questo sembra ovvio. È sorprendentemente potente quando lasci la pagina.
Maurice Fréchet, un matematico francese, iniziò ad esplorare questi concetti nel 1905. Si rese conto che la “distanza” non era solo una proprietà fisica delle linee su una griglia. Era una struttura logica. Questa struttura consente alla matematica di andare oltre la semplice geometria verso regni più complessi.
Oltre la linea retta: metriche esotiche
Siamo abituati alla distanza standard su una linea numerica o nello spazio euclideo. Questa è la distanza in linea retta “in linea d’aria”. Ma gli spazi metrici consentono altri modi di misurare.
Considera la metrica discreta. In questo scenario, due punti diversi sono esattamente ad una unità di distanza. Dal punto A al punto B? Uno. Dal punto A al punto A? Zero. È un mondo binario. Vicino o lontano. Niente in mezzo. Questo sembra banale. In realtà è utile per dimostrare i confini teorici della logica e dell’informatica.
Poi c’è la metrica del taxi. Immagina di essere in una città come Manhattan. Non puoi tagliare i blocchi in diagonale. Devi muoverti lungo le strade. La distanza dal punto (x, y ) a (z, w ) è la somma dei passi orizzontale e verticale: |x − z | + |y − w |. Questa “distanza del taxi” riflette il percorso effettivo che un taxi seguirebbe. Non si tratta della linea retta più breve. Riguarda la realtà limitata dell’ambiente.
I matematici utilizzano anche la metrica su insiemi di funzioni. Nell’analisi, potresti misurare la “distanza” tra due funzioni continue in base alla differenza dei loro valori in un intervallo. Ciò consente confronti che non hanno nulla a che fare con lo spazio fisico.
Una metrica generalizza la nozione di distanza abituale a contesti più generali.
Questa generalizzazione è la chiave. Definendo la distanza in modo astratto, possiamo applicare l’intuizione geometrica ai punti dati, alle onde sonore o persino alle tendenze del mercato azionario.
Dalla distanza alla topologia
È qui che le cose si fanno interessanti. Una metrica fa molto più che dirti semplicemente quanto sono distanti le cose. Crea una topologia.
La topologia è lo studio delle proprietà che rimangono invariate quando le forme vengono allungate o schiacciate, purché non vengano strappate. Uno spazio metrico genera naturalmente una raccolta di “insiemi aperti”. Un sottoinsieme è aperto se, per ogni punto al suo interno, puoi disegnare una piccola bolla attorno a quel punto che rimane interamente all’interno del sottoinsieme. La metrica definisce la dimensione di quella bolla.
Ciò significa che gli spazi metrici forniscono esempi concreti di spazi topologici. Senza la metrica, la topologia è solo un’idea vaga. Con esso, abbiamo un quadro rigoroso. Questa connessione è il motivo per cui gli spazi metrici sono così centrali nella matematica moderna. Colmano il divario tra calcolo e struttura.
Completezza e limiti dei numeri razionali
Non tutti gli spazi metrici sono uguali. Alcuni sono completi. Uno spazio è completo se ogni successione di Cauchy converge in un punto all’interno di quello spazio.
Cos’è una successione di Cauchy? È un elenco di punti in cui i termini alla fine si avvicinano arbitrariamente l’uno all’altro. Man mano che si procede nell’elenco, il divario tra due punti qualsiasi diventa minimo. In uno spazio completo, questa sequenza deve stabilirsi su un punto limite effettivo all’interno dell’insieme.
I numeri razionali (frazioni) non superano questo test. Considera la sequenza: 3, 3.1, 3.14, 3.141, 3.1415… Questa lista si avvicina sempre di più a π. Ma π non è un numero razionale. Non può essere scritto come una frazione. La sequenza “vuole” convergere, ma la retta dei numeri razionali ha un buco dove dovrebbe esserci π. La metrica sui numeri razionali non è completa.
I numeri reali, tuttavia, sono completi. Ogni successione di Cauchy di numeri reali converge a un numero reale. In effetti, puoi pensare ai numeri reali come al “completamento” dei numeri razionali. Abbiamo riempito i buchi.
