Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

For instance, is the topology on the set of all $2 \times 2$ real matrices basically $\mathbb{R}^4$

share|improve this question
1  
Yes, exactly... –  Berci Oct 10 '12 at 23:39
1  
The topology is something you can choose. On $\mathbb{R}^n$ you usually choose the topology induced by the norm $||.||$. On the set of $2x2$ real matrices, there are lots of different ways to define a topology. Which topology are you interested it, i.e. what do you want to do with it? –  fgp Oct 10 '12 at 23:44
    
That's one possible topology, and arguably the most natural. However there are lots of other, different, topologies you can put on your space. Edit. heh, @fgp got in a few seconds before my comment. Read that. –  Rick Decker Oct 10 '12 at 23:45

3 Answers 3

You can take any sensible topology on $\mathrm{Mat}_{m,n}(\mathbb{R})$ and you will get the usual topology of $\mathbb{R}^{mn}$. By sensible I mean topology which makes addition of matrices and multiplication by scalars continuous (this topologies are called vector topologies).

Now we recall the following fact (see Rudin's Functional Analysis, theorems 1.19-1.21). On the $k$ dimensional vector space over $\mathbb{R}$ there is only one vector topology - topology of $\mathbb{R}^k$.

And the result follows.

share|improve this answer

There are many ways to define the topology on the space of matrices.

For people studying riemannian geometry or lie groups, they usually identify $M_n(\mathbb{R})$ with $\mathbb{R}^{n\times n}$, so that they can use the Euclidean metric to introduce the metric tensor.

For operator theorists, the topology would follow from the operator norm \begin{equation}\|A\|=sup\{\|Ax\|: x\in \mathbb{R}^n, \|x\|=1\},\end{equation} because this can be easily generalized to infinite dimensional spaces.

I also vaguely remember people doing numerical analysis have their own way to define a topology that help them measure error bounds in computations.

But as Nobert pointed out, on a finite dimensional vector space, there is only one natural topology in the sense that addition and scalar multiplication are continuous, so all these approaches give the essentially unique topology. This illustrates that topology is too 'sparse' sometimes and we need more rigid structures to control things due to different applications.

share|improve this answer

Yes, exactly.

Topology can also be caught by limit of sequences*: a set is closed iff it is closed under limits. And the limit for $n\times m$ matrices is taken 'coordinatewise' just as in $\Bbb R^{nm}$

*at least, in separable metric spaces: those with a countable dense set (now $\Bbb Q^{n\times m}$ is such)

share|improve this answer
    
Not every topology can be defined that way. What you are describing are topologies induced by some metric. –  fgp Oct 10 '12 at 23:46
    
Well, you're right. –  Berci Oct 10 '12 at 23:55

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.