Matrices as topological spaces

  • Thread starter mathshelp
  • Start date
12
0
I've come across this question during revision and don't really know what you would say? Any help?

Regard a 2 x 2 matrix A as a topological space by considering 2x2 matrices as vectors (a,b,c,d) as a member of R4. Let GL2(R) c R4 be the subset of the 2x2 matrices A which are invertible, i.e. such that ad does not equal bc.

Consider the following, giving reasons:

(i) Is GL2(R) c R4 an open subspace?

(ii) Is GL2(R) compact?

(iii) Is GL2(R) connected?
 
424
3
[itex]\det : GL_2(\mathbb{R}) \to \mathbb{R}[/itex] is continuous. If you don't know this fact you can see it by writing it in terms of continuous functions:
[tex]\det(M) = \pi_4(M) \times \pi_1(M) - \pi_2(M) \times \pi_3(M)[/tex]
where:
[tex]\pi_i\left(\begin{array}{cc} x_1 & x_2 \\ x_3 & x_4 \end{array}\right) = x_i[/tex]
which are projections and therefore continuous.

i) [itex]GL_2(\mathbb{R})[/itex] is connected if every invertible matrix is an interior point, i.e. every matrix M has a neighborhood contained in [itex]GL_2(\mathbb{R})[/itex].

For some invertible matrix M consider the open interval [itex]I = (0,2\det(M))[/itex], then [itex]\det^{-1}(I)[/itex] is open, contains M and is a subset of [itex]GL_2(\mathbb{R})[/itex]. Remember that a subspace is open if and only if every set is an interior point.

EDIT: Actually it's much easier to note that [itex](-\infty,0) \cup (0,\infty) = \mathbb{R}\setminus\{0\}[/itex] is open, so,
[tex]\det^{-1}\left(\mathbb{R}\setminus\{0\}\right) = GL_2(\mathbb{R})[/tex]
is open.

ii) Can an open subset be compact?

iii) If it's connected then [itex]\det(GL_2(\mathbb{R})) = \mathbb{R} \setminus \{0\}[/itex] is connected since continuous functions take connected spaces to connected spaces.
 
Last edited:
709
0
the determinant answer is right and works for nxn matrices not only 2x2.

the determinant is a polynomial in the entries of the matrix and so is continuous in any dimension.

moreover, a polynomial is differentiable. What are the critical values of the determinant?
Answering this question will give you a picture of the general linear group and some of its subgroups as geometric objects.

If the general linear group were compact then the range of values of the determinant would be bounded - which it is not.

On the other hand the inverse image of a single number - e.g. all matrices of determinant equal to 1 - is compact. Why is that?
 

Related Threads for: Matrices as topological spaces

Replies
7
Views
948
  • Posted
Replies
4
Views
3K
  • Posted
Replies
6
Views
2K
  • Posted
Replies
9
Views
4K
  • Posted
Replies
4
Views
3K
  • Posted
Replies
8
Views
4K
  • Posted
2
Replies
33
Views
7K
  • Posted
Replies
14
Views
6K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top