Topologia differenziale
In matematica, la topologia differenziale è una parte della topologia che usa gli strumenti del calcolo infinitesimale. L'oggetto principalmente studiato è la varietà differenziabile, una generalizzazione a più dimensioni delle curve e delle superfici.
La geometria differenziale è un settore contiguo ed in parte sovrapposto, che studia le varietà da un punto di vista più "rigido": in geometria differenziale si introducono e studiano concetti geometrici come quello di angolo, distanza, geodetica, curvatura, che non sono presenti in topologia.
Parallelamente, la topologia algebrica e la geometria algebrica applicano gli strumenti dell'algebra alla topologia e alla geometria. In molti casi, l'uso dell'algebra e del calcolo infinitesimale danno risultati analoghi, benché espressi con formalismi completamente diversi.
Varietà differenziabili
[modifica | modifica wikitesto]Una varietà differenziabile è uno spazio topologico che è localmente come lo spazio euclideo, e tutti questi "spazi euclidei locali" sono "incollati" fra loro tramite funzioni differenziabili (e non solamente continue). Questa richiesta tecnica permette di usare numerosi risultati di analisi per dimostrare molti teoremi. Ad esempio, permette di usare strumenti quali lo Jacobiano, il gradiente, e il teorema di invertibilità locale.
Un tipico esempio di varietà differenziabile è una curva o una superficie nello spazio tridimensionale. Per questi esempi è importante notare che, a differenza della geometria differenziale, ciò che descrive l'oggetto è soprattutto la sua forma (cioè topologia), e non altre proprietà collegate ad angoli e distanze.
Le funzioni
[modifica | modifica wikitesto]Le funzioni tra varietà differenziabili che sono maggiormente trattabili sono le funzioni differenziabili. Le funzioni differenziabili non presentano "patologie" tipiche di alcune funzioni continue, come ad esempio la curva di Peano.
Ad esempio, usando la differenziabilità si possono definire dei concetti topologicamente molto importanti, come il grado topologico. Lo stesso concetto può essere definito con tecniche completamente diverse nell'ambito della topologia algebrica.
Strutture
[modifica | modifica wikitesto]Grazie al calcolo infinitesimale, è possibile estendere alle varietà numerosi concetti dell'analisi validi per lo spazio euclideo. Si estende il concetto di tangenza, e si definiscono lo spazio tangente, i campi vettoriali, i fibrati. Tramite i fibrati vengono quindi definite le forme differenziali.
Bibliografia
[modifica | modifica wikitesto]- Guillemin, Victor and Anton Pollack, Differential Topology, Prentice-Hall (1974) - ISBN 0132126052.
- Hirsch, Morris, Differential Topology, Springer (1997) - ISBN 0387901485.
- Kirby, Robion C.; Siebenmann, Laurence C. Foundational Essays on Topological Manifolds. Smoothings, and Triangulations, Princeton University Press (1977) - ISBN 0-691-08190-5.
- Lee, John M. Introduction to Topological Manifolds, Springer-Verlag, New York (2000) - ISBN 0-387-98759-2.
- Lee, John M. Introduction to Smooth Manifolds, Springer-Verlag, New York (2003) - ISBN 0-387-95495-3.
- John Milnor, Topology from the Differentiable Viewpoint, Princeton University Press, (rev. 1997) - ISBN 0691048339.
- Michael Spivak, Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus, Harper Collins (1965) - ISBN 0805390219.
Voci correlate
[modifica | modifica wikitesto]Altri progetti
[modifica | modifica wikitesto]Wikimedia Commons contiene immagini o altri file sulla topologia differenziale
Collegamenti esterni
[modifica | modifica wikitesto]- topologia differenziale, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) differential topology, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Opere riguardanti Differential topology, su Open Library, Internet Archive.
- (EN) Eric W. Weisstein, Differential Topology, su MathWorld, Wolfram Research.
- (EN) Differential topology, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
| Controllo di autorità | Thesaurus BNCF 46907 · LCCN (EN) sh85037923 · BNF (FR) cb13163036q (data) · J9U (EN, HE) 987007552908005171 · NDL (EN, JA) 00560653 |
|---|
