Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Crea sito
INDEX
BACK TO HOMEPAGE
GLI IPERSPAZI IN GENERALE
Il metodo astratto in matematica
La geometria a più di tre dimensioni. Lo spazio a più di tre dimensioni. Punto
dello spazio a più di tre dimensioni.
Dimensioni e sottospazi
Generalizzazione del concetto di distanza euclidea
Generalizzazione del concetto di sfera
Generalizzazione del concetto di cubo
Generalizzazione del concetto di piano
IPERSPAZI NON EUCLIDEI
Spazi euclidei e spazi non euclidei
Lo spazio delle fasi di una bicicletta
Gli spazi astratti della matematica moderna
Spazi di Hilbert
Lo spazio delle posizioni di un’asta rigida su un piano
Lo spazio che rappresenta il moto di un punto
Lo spazio delle posizioni di una zolletta di zucchero su un tavolo
Lo spazio delle fasi del pendolo
Il cronotopo di Minkowski
Lo spazio delle variabili di un sistema economico
Le coordinate lagrangiane
IPERSUPERFICI E VARIETÀ (MANIFOLDS)
Generalizzazione del concetto di superficie
Le varietà (manifolds)
Le varietà differenziabili
Le varietà e i tensori
LA TOPOLOGIA
Le varietà e la topologia
Giochi topologici
Usi degli iperspazi: il problema di re Oscar di Svezia
GLI SPAZI CURVI
La distanza nei manifold e negli iperspazi
Proprietà di forma, metriche, topologiche di una superficie
Gli spazi curvi bidimensionali
Gli spazi curvi tridimensionali
Lo spazio incurvato dalla gravità: la relatività generale di Einstein
I cambiamenti di coordinate e la formula di distanza
www.learningsources.altervista.org/Iperspazi.htm? 1/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 2/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
Si vede da tale figura che le coordinate del punto P, che avendo come
riferimento gli assi cartesiani ortogonali x,y sono cx e cy, prendendo
come riferimento il sistema di riferimento affine x′ e y′ diventano cx′ e
cy′.
ax + by + cz = 0
diviene:
www.learningsources.altervista.org/Iperspazi.htm? 5/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
a1x1 + … + anxn
a scrivere:
aixi
Dimensioni e sottospazi
back to index
www.learningsources.altervista.org/Iperspazi.htm? 6/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
Semispazio è una delle due parti in cui un iperpiano divide uno spazio,
insieme all’iperpiano stesso
www.learningsources.altervista.org/Iperspazi.htm? 7/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
dove i valori:
www.learningsources.altervista.org/Iperspazi.htm? 8/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 9/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 10/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
[0705210652] ax + by + cz = 0
ax + by + cz = d
www.learningsources.altervista.org/Iperspazi.htm? 11/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 12/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 13/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
▸ u + (v + w) = (u + v) + w
▸ u+v=v+u
▸ 1⋅v=v
▸ h ⋅ (k ⋅ v) = (h ⋅ k) ⋅ v
▸ k ⋅ (v + w ) = k ⋅ v + k ⋅ w
www.learningsources.altervista.org/Iperspazi.htm? 14/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
Spazi di Hilbert
back to index
www.learningsources.altervista.org/Iperspazi.htm? 17/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
Il cronotopo di Minkowski
back to index
[0705280722] x4 = – i ⋅ c ⋅ t
Grazie alla forma matematica data alla coordinata x4, dove i è l’unità
immaginaria dei numeri complessi, un fronte d’onda luminosa che si
espande ha equazione
www.learningsources.altervista.org/Iperspazi.htm? 18/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 19/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
Le coordinate lagrangiane
back to index
www.learningsources.altervista.org/Iperspazi.htm? 20/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
y = x2 + kt
e cioè:
–x2 –kt + y = 0
www.learningsources.altervista.org/Iperspazi.htm? 21/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
x = x(q1,…,qn)
y = y(q1,…,qn)
x = x(q1)
y = y(q1)
e cioè:
[0708091855] x = q1
[0708091855] y = q12 + kt
www.learningsources.altervista.org/Iperspazi.htm? 22/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
x = x(q1 , t)
y = y(q1 , t)
[0708061900]
[0708091906]
www.learningsources.altervista.org/Iperspazi.htm? 23/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
F(x1,x2,…,xn)
Il luogo dei punti che soddisfa una singola equazione algebrica in cui
compaiano tutte le coordinate, cioè un polinomio
F(x,y,z) = 0
[0705191645] F(x1,x2,…,xn) = 0
www.learningsources.altervista.org/Iperspazi.htm? 25/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
x = f1(u,v)
y = f2(u,v)
z = f3(u,v)
x = r sen u cos v
y = r sen u sen v
z = r cos u
x1 = f1(u,v)
x2 = f2(u,v)
.................
www.learningsources.altervista.org/Iperspazi.htm? 26/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
xn = fn(u,v)
Le varietà (manifolds)
back to index
(p – r)2 + (q – s)2 = d2
www.learningsources.altervista.org/Iperspazi.htm? 27/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 28/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 29/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
In tal modo si ottiene un atlante composto da 4 carte: C1, C2, C3, C4.
Le singole carte dell’atlante sono interallacciate: una descrizione
completa della varietà deve riportare anche il modo in cui, nelle
regioni in cui esse si sovrappongono, le coordinate di una carta si
trasformano in quelle dell’altra carta relative al medesimo punto.
Che cosa differenzia le varietà dagli iperspazi in cui sono immerse?
Assolutamente nulla: entrambi hanno una dimensione e dei punti – e
le varietà normalmente hanno un numero infinito di punti esattamente
come gli iperspazi. Entrambi sono dotati di una topologia. Entrambi
possono avere una metrica. Anche le varietà possono essere studiate
come oggetti a sé stanti, senza riferimento allo spazio che le contiene:
tanto è vero che una varietà che può essere immersa in uno spazio
tridimensionale può essere immersa altrettanto bene in uno spazio di
dimensione superiore.
Non a caso alcuni autori usano i termini manifold, variety, hyperspace
come sinonimi.
Le varietà differenziabili
back to index
y1 = f1(x1,…,xn)
………………..
ym = fm(x1,…,xn)
www.learningsources.altervista.org/Iperspazi.htm? 31/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
Le varietà e i tensori
back to index
Uno strumento molto potente per lo studio delle varietà, che permette
di svincolarlo dal sistema di coordinate particolare con cui si ha a che
fare, è il calcolo tensoriale, sviluppato alla fine dell’Ottocento dai
matematici italiani Ricci-Curbastro e Levi-Civita e impiegato da
Einstein, insieme alla geometria riemanniana, nella teoria della
relatività generale. Esso si basa sul concetto di tensore, che è una
generalizzazione del familiare concetto di vettore. Le leggi fisiche o
matematiche, espresse in forma tensoriale, acquistano una
straordinaria eleganza e semplicità.
LA TOPOLOGIA
www.learningsources.altervista.org/Iperspazi.htm? 32/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
Le varietà e la topologia
back to index
www.learningsources.altervista.org/Iperspazi.htm? 33/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 34/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
Giochi topologici
back to index
www.learningsources.altervista.org/Iperspazi.htm? 35/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 36/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 37/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 38/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 39/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
▸ d(p , q) ≥ 0
▸ d(p , q) = 0 ⇒ p = q
▸ d(p , q) = d(q , p)
▸ d(p , r) ≤ d(p , q) + d(q , r)
In altre parole, la distanza può essere qualsiasi cosa, purché abbia tre
caratteristiche: a) la distanza di un punto da se stesso è zero; b) la
distanza tra due punti è sempre positiva; c) la distanza tra il punto p e
il punto q è eguale alla distanza tra il punto q e il punto p; d) la somma
della distanza tra p e q e della distanza tra q ed r deve essere non
superiore alla distanza tra p ed r.
La metrologia, ad esempio, definisce la distanza di un metro come
quella tra due tacche sul metro campione di Parigi, in corrispondenza
del punto di partenza e del punto di arrivo di un raggio di luce che ha
viaggiato nel vuoto, rasente alla superficie, per il tempo di un
trecentomillesimo di secondo, cioè per il tempo che impiega la luce
emessa da un atomo di cesio cui sia stata fornita una ben determinata
energia addizionale ad oscillare 9.192.631.770 volte nel vuoto.
Possiamo pensare di misurare le distanze disponendo di una fibra
ottica monodimensionale (nei libri di fantascienza appaiono fibre
monomolecolari, che ne sono un buon sostituto) e perfettamente
trasparente, di disporla lungo la superficie in modo che segua la via
più breve tra due punti, sincronizzare gli orologi e poi segnare il tempo
di partenza e quello di arrivo (Einstein avrebbe qualcosa da ridire).
Questo ci permette di calcolare la distanza su superfici curve.
Le distanze che possono essere definite sono le più varie; la metrica
euclidea, in cui la distanza viene calcolata, come si è visto, con il
teorema di Pitagora, è solo un caso particolare di una metrica più
generale, detta metrica riemanniana, che viene definita punto per
punto, in modo che, per esprimerci in termini intuitivi, le distanze in
un intorno infinitamente piccolo del punto sono date dalla formula
generale:
www.learningsources.altervista.org/Iperspazi.htm? 40/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
[0705280555] ds2 = g11 ⋅ dx1 ⋅ dx1 + g12 ⋅ dx1 ⋅ dx2 + g21 ⋅ dx2 ⋅ dx1 + g22
⋅ dx2 ⋅ dx2
www.learningsources.altervista.org/Iperspazi.htm? 41/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
f(x,y,z) = 0
Quanto detto sul concetto di distanza vale anche per gli iperspazi che
contengono le varietà. Pochi anni dopo la scoperta delle geometrie non
euclidee ad opera di Bolyai e Lobacevskji, Bernhard
Riemann(0612081856) si rese conto che ogni geometria dipende dalla
metrica che si definisce su una superficie.
Immaginiamo una “formica puntiforme”, cioè un animaletto costituito
da un unico punto geometrico. Se la formica è costretta a vivere entro
una linea curva senza poterne uscire allora diciamo che vive in uno
spazio monodimensionale curvo.
Una formica che vive sulla superficie di una sfera o di un iperboloide o
di un’altra superficie curva vive in uno spazio bidimensionale curvo. Se
la formica vive in un piano essa vive in uno spazio bidimensionale
euclideo.
Come può la formica rendersi conto se il suo spazio è uno spazio
euclideo o uno spazio curvo? Un metodo sarebbe quello di andare in
www.learningsources.altervista.org/Iperspazi.htm? 44/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 45/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 46/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 47/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
back to index
www.learningsources.altervista.org/Iperspazi.htm? 50/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 51/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
gli orologi posti in prossimità della sorgente del campo, e cioè posti in
un punto in cui il potenziale gravitazionale è minore.
Cerchiamo ora di dare una espressione matematica precisa a questi
rilievi. Per semplificare l’analisi supponiamo che il le formule valide
per il nostro caso siano quelle newtoniane, senza alcun effetto dovuto
alla relatività speciale.
In questo modo possiamo considerare l’esistenza di un unico tempo
per i due orologi, e non dobbiamo fare i conti con l’effetto relativistico
della contrazione delle lunghezze nel verso del moto.
Supponiamo di avere una terna di assi cartesiani, con il razzo che si
muove lungo l’asse z; Le posizioni di Bill e George saranno quindi
punti dell’asse z dipendenti dal tempo. Chiameremo zB(t) la posizione
di Bill e zG(t) la posizione di George. Se al tempo zero George occupa
la posizione z = 0 e la distanza verticale tra George e Bill è pari ad h,
allora si avrà:
[0711111953]
[0711111954]
www.learningsources.altervista.org/Iperspazi.htm? 52/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
[0711112005]
[0711112006]
[0711112010 ]
e cioè:
[0711120202 ]
e cioè:
[0711120205 ]
[0711120150]
[0711120208]
www.learningsources.altervista.org/Iperspazi.htm? 53/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
[0711120209 ]
[0711120209 ]
Considerato che è:
[0711120230 ]
[0711120231 ]
[0711120232 ]
la [0711120209] equivale a:
[0711120233 ]
[0711112025 ]
www.learningsources.altervista.org/Iperspazi.htm? 54/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
Dato che è:
[0711120234 ]
e, trascurando il termine è:
[0711120235]
e cioè:
[0711120236]
possiamo scrivere:
[0711120235]
[0711120237]
[0711120238]
www.learningsources.altervista.org/Iperspazi.htm? 55/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
[0711120754]
www.learningsources.altervista.org/Iperspazi.htm? 56/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
e cioè:
www.learningsources.altervista.org/Iperspazi.htm? 57/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 58/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
da cui:
www.learningsources.altervista.org/Iperspazi.htm? 59/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 60/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
d = √x2 + y2
e cioè:
d2 = 1 ⋅ x ⋅ x + 0 ⋅ x ⋅ y + 1 ⋅ y ⋅ y
d2 = (2x)2 + y2
www.learningsources.altervista.org/Iperspazi.htm? 61/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
d2 = ∑jk gjk ⋅ xj ⋅ xk
www.learningsources.altervista.org/Iperspazi.htm? 62/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
ax = k
ovvero, in un linguaggio più omogeneo:
ax1 = k
▸ Nello spazio bidimensionale del piano l’iperpiano è la linea;
l’equazione che ne individua le coordinate è del tipo:
ax + by = k
ovvero, in linguaggio più omogeneo:
ax1 + a2x2 = b
▸ Nello spazio tridimensionale l’iperpiano è una superficie.
L’equazione che ne individua le coordinate è del tipo:
ax + by + cz = k
ovvero, in linguaggio più omogeneo:
a1x1 + a2x2 + a3x3 = b
▸ Nello spazio quadridimensionale l’iperpiano è uno spazio
tridimensionale. L’equazione che ne individua le coordinate è del
tipo:
a1x1+ a2x2 + a3x3 + a4x4 = b
Sia il punto, che la retta, che il piano hanno la caratteristica comune di
dividere lo spazio in cui sono immersi (rispettivamente retta, piano,
spazio tridimensionale) in due parti.
Dalle equazioni degli iperpiani si può notare che, fissate n-1 variabili,
la n-esima risulta univocamente determinata; pertanto ogni punto di
un iperpiano è individuato da (n-1) coordinate.
Gli iperpiani sono quindi i sottospazi (n-1)-dimensionali di uno spazio
n-dimensionale.
Per definire i politopi partiamo dallo spazio bidimensionale (piano). In
geometria piana si definisce poligono convesso una figura formata da
una linea spezzata chiusa semplice (cioè senza lati non consecutivi
intersecantesi) e dalla parte finita di piano da essa delimitata.
Un poligono convesso giace tutto da una stessa parte rispetto a
ciascuna delle rette a cui appartengono i suoi lati. Un poligono non
convesso, o poligono concavo, è invece diviso in due parti da almeno
una retta cui appartiene uno dei suoi lati.
Un caso particolare di poligono è il poligono regolare un poligono che
ha tutti i lati e tutti gli angoli congruenti (equiangolo ed equilatero).
Esistono poligono regolari convessi e poligoni regolari non convessi.
L’analogo del poligono nello spazio tridimensionale è il poliedro. Un
poliedro convesso è una figura solida delimitata da un numero finito di
poligoni convessi, situati su piani diversi e tali che ognuno dei lati sia
www.learningsources.altervista.org/Iperspazi.htm? 63/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
comune a due di essi e il piano di ciascuno lasci gli altri da una stessa
parte.
Un poliedro regolare ha le facce costituite sono poligoni regolari
congruenti e i suoi angoloidi sono congruenti tra loro.
Nello spazio tridimensionale ci sono, come ben sapevano gli antichi
studiosi greci di geometria, solo cinque poliedri regolari: il tetraedro
(con quattro facce costituite da triangoli equilateri), il cubo (sei facce
costituite da quadrati), l’ottaedro (8 facce costituite da triangoli
equilateri), il dodecaedro (12 facce costituite da pentagoni regolari) e
l’icosaedro (20 facce costituite da triangoli equilateri).
D’ora in avanti, quando si parlerà di “poligono”, “poliedro” ecc. si
intenderà sempre “poligono convesso”, “poliedro convesso” ecc.
Siamo ora pronti a definire l’equivalente di un poligono o di un
poliedro in dimensioni più alte o più basse. Consideriamo a tale scopo
la seguente successione:
▸ punto
▸ segmento
▸ poligono
▸ poliedro
……………
www.learningsources.altervista.org/Iperspazi.htm? 64/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 65/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
tabella 0705241722
www.learningsources.altervista.org/Iperspazi.htm? 66/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
[1] P = 12x + 8y
[2] 4x + 4y ≤ 1400
[3] 6x + 3y ≤ 1800
[3] 2x + 6y ≤ 1800
[4] x≥0
[4] y≥0
4x + 4y ≤ 1400
www.learningsources.altervista.org/Iperspazi.htm? 67/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
6x + 3y ≤ 1800
2x + 6y ≤ 1800
-x≤0
-y≤0
www.learningsources.altervista.org/Iperspazi.htm? 68/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
6x + 3y = 1800
4x + 4y = 1400
tabella 0705242154
Colore Quantità occorrente per sciarpa
Quantità
della Sciarpa
Sciarpa B Sciarpa C disponibile
lana A
Rosso 4 kg 4 kg 4 kg 1200 kg
Verde 12 kg 6 kg 6 kg 2400 kg
4x + 4y + 4z ≤ 1200
12x + 6y + 6z ≤ 2400
-x≤0
-y≤0
-z≤0
www.learningsources.altervista.org/Iperspazi.htm? 70/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 71/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 72/73
8/7/2020 www.learningsources.altervista.org/Iperspazi.htm?
www.learningsources.altervista.org/Iperspazi.htm? 73/73