Immersione (matematica)

In matematica, l'immersione indica la relazione tra due strutture, tali che una delle due contiene al suo interno una "copia" dell'altra, ovvero un sottoinsieme che ne conserva le medesime strutture. Questa relazione può essere vista come un'estensione del concetto insiemistico di inclusione.

Una struttura si dice immersa nella struttura se esiste una funzione iniettiva tale che l'immagine conserva tutte o parte delle strutture matematiche presenti in A, ereditandole da quelle di . La funzione prende anch'essa il nome di immersione. viene detta estensione di . Pertanto la definizione di immersione può assumere significati diversi a seconda del contesto in cui viene utilizzata e in particolare delle strutture che sono oggetto di studio; due strutture possono condividere più immersioni, anche se di norma una di queste viene considerata principale ed è detta immersione canonica; viene indicata con una freccia a uncino:

.

Nei termini della teoria delle categorie, l'immersione è un monomorfismo (funzione iniettiva che conserva la struttura); l'insieme e la sua immagine sono invece isomorfi, ovvero equivalenti dal punto di vista delle strutture interessate. Questa proprietà giustifica l'uso di identificare con la propria immagine, e la notazione semplificata .

EsempiModifica

Di seguito vengono riportati alcuni esempi significativi di immersione, con diverse strutture conservate.

InclusioneModifica

L'inclusione insiemistica   è la forma più semplice di immersione e la funzione che la realizza è l'identità (considerata sul dominio  ):

 

In questo caso non esistono strutture matematiche da conservare, per cui le notazioni   e   risultano effettivamente equivalenti; la funzione in questo caso prende anche il nome di inclusione canonica.

Numeri naturali e interiModifica

L'insieme dei numeri interi (naturali con segno)   contiene una copia dei numeri naturali  , costituita dagli interi con segno positivo; l'immersione canonica è:

 

Si dimostra facilmente che l'immersione canonica conserva anche le strutture algebriche costituite dall'addizione e dal prodotto di numeri interi, nonché le usuali strutture d'ordine:

  •  ;
  •  ;
  •  , eccetera.

Queste proprietà giustificano la notazione semplificata  , e l'identificazione del numero naturale   con il numero intero  . Con analogo ragionamento vengono realizzate le altre estensioni delle comuni strutture algebriche:

 .

Inclusione topologicaModifica

Un'applicazione continua e iniettiva   tra due spazi topologici   e   si dice inclusione topologica (ovvero inclusione continua) se è un omeomorfismo sull'immagine  , ovvero   è un omeomorfismo, con   considerato come sottospazio topologico di  , quindi dotato della topologia indotta dallo spazio ambiente  . L'applicazione   indotta da   è continua. In particolare se   è un omeomorfismo allora   è una inclusione continua[1].

L'esistenza di un'inclusione topologica è un invariante topologico per  , per cui è possibile distinguere due spazi se uno dei due ammette una data inclusione topologica e l'altro no.

Immersione tra spazi metriciModifica

Una mappa   tra due spazi metrici   e  ,   è immerso in   con la distorsione   se esiste una costante   tale che:

 .

La copia di   possiede la sua stessa distanza, a meno del fattore di distorsione.

NoteModifica

  1. ^ E. Sernesi, p. 44.

BibliografiaModifica

  • Edoardo Sernesi, Geometria 2, Torino, Bollati Boringhieri, 1994, ISBN 978-88-339-5548-3.
  • (EN) R.W. Sharpe, Differential Geometry: Cartan's Generalization of Klein's Erlangen Program, Springer-Verlag, New York, 1997, ISBN 0-387-94732-9.
  • (EN) F.W. Warner, Foundations of Differentiable Manifolds and Lie Groups, Springer-Verlag, New York, 1983, ISBN 0-387-90894-3.

Voci correlateModifica

Collegamenti esterniModifica

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