Continuous functions of nxn invertible matrices

Click For Summary
SUMMARY

This discussion focuses on proving the continuity of functions related to nxn invertible matrices within the context of Euclidean topology. Specifically, it establishes that the inverse function f(A) -> A^(-1) is continuous and that matrix multiplication g(A,B) -> AB is also continuous. The continuity of the determinant is identified as a crucial step for proving the continuity of the inverse function, while the usual Euclidean topology is defined by treating matrices as vectors in \mathbb{R}^{n^{2}}.

PREREQUISITES
  • Understanding of Euclidean topology
  • Familiarity with nxn nonsingular matrices
  • Knowledge of determinants and Cramer's rule
  • Basic concepts of matrix operations and norms
NEXT STEPS
  • Study the continuity of the determinant function in the context of matrix analysis
  • Explore the properties of Euclidean topology applied to vector spaces
  • Learn about matrix norms and their implications for continuity
  • Investigate advanced topics in topology related to matrix functions
USEFUL FOR

This discussion is beneficial for mathematics students, particularly those studying topology and linear algebra, as well as researchers interested in the properties of continuous functions in matrix theory.

Doom of Doom
Messages
85
Reaction score
0
Ok, so this was assigned as a bonus problem in my Topology class a while ago. Nobody in the class got it, but I've still been racking my brain on it ever since.
____
For some n, consider the set of all nxn nonsingular matrices, and using the usual Euclidean topology on this space, show that:

a) the inverse is a continuous function. f(A) -> A^(-1)

b) matrix multiplication is a continuous function. g(A,B) -> AB

__________


I've thought quite a bit about this problem, but I really don't know where to go. If I can show that the determinant is continuous, then I think I can do part a, since calculating the inverse is just equivalent to calculating a bunch of determinants (Cramer's rule).

As for part b, I am lost.
 
Physics news on Phys.org
What IS the "usual Euclidean topology" on the set of n by n nonsingular matrices?
 
Treat the matrices as vectors in [tex]\mathbb{R}^{n^{2}}[/tex]

So, [tex]d(A,B)=\left\| A-B \right\| = \sqrt{\sum_{i, j}\left( a_{i, j}-b_{i, j} \right)^{2}}[/tex]
 

Similar threads

Replies
4
Views
5K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
2
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 39 ·
2
Replies
39
Views
6K