Immersione (matematica)

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

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 .

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

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 interi

[modifica | modifica wikitesto]

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 topologica

[modifica | modifica wikitesto]

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 metrici

[modifica | modifica wikitesto]

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.

  1. ^ E. Sernesi, p. 44.

Voci correlate

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica