Esercizio di topologia....

menale1
Carissimi ragazzi, c'è un esercizio di topologia che vorrei condividere con voi-
Provare che l'insieme delle matrici di tipo $ mxn $ sul campo reale si struttura a spazio topologico con una topologia $ T $ .
Il problema è che non riesco a comprendere come si possa strutturare un tale spazio topologico; ho pensato di far riferimento al rango delle matrici, che ne dite? Oppure devo dare per assodato che tale spazio topologico esista? In attesa di risposte, ringrazio per la collaborazione. :smt023

Risposte
vict85
In realtà è molto semplice :) . La particolare disposizione della matrice però confonde un po’. Il modo in assoluto più semplice per definire lo spazio della matrici come spazio topologico è tramite l'associazione ‘canonica’ con \(\mathbb{R}^{m+n}\). Somma e moltiplicazione, d’altra parte, sono per componenti.

menale1
In che senso " tramite l'associazione ‘canonica’ con $ RR^(m+n) $ "?

Richard_Dedekind
Non è difficile dimostrare che lo spazio vettoriale delle matrici \(M_{m,n}(\mathbb{R}\) è canonicamente isomorfo a \(\mathbb {R}^{mn}\) (occhio alle dimensioni!) semplicemente assegnando ad ogni matrice \(A\) un vettore con tutte le sue componenti.
In effetti, se una matrice la vedi in questo modo, la topologia da metterci sopra è piuttosto evidente.

menale1
È come se linearizzassi la matrice, vero?

vict85
"Richard_Dedekind":
Non è difficile dimostrare che lo spazio vettoriale delle matrici \(M_{m,n}(\mathbb{R}\) è canonicamente isomorfo a \(\mathbb {R}^{mn}\) (occhio alle dimensioni!) semplicemente assegnando ad ogni matrice \(A\) un vettore con tutte le sue componenti.
In effetti, se una matrice la vedi in questo modo, la topologia da metterci sopra è piuttosto evidente.


:roll: Hai ragione. Ho scritto velocemente. Intendevo quello.

X Menale: Che intendi per linearizzare!? Questa associazione è il modo canonico in cui si definisce uno spazio vettoriale sullo spazio delle matrici.

menale1
Adopero la metrica euclidea a tal punto?

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.