Proving Invertibility of Matrices: A Small Difference Makes a Big Impact

  • Thread starter Thread starter Try hard
  • Start date Start date
  • Tags Tags
    Desperate
Try hard
Messages
13
Reaction score
0
For an n*n matrix C=(cij) over R or C, we define v(C)=Max|cij|

a.Show that if A is invertible, then B is invertible if v(A-B) is sufficiently small.

b. Show that for any, not necessarily invertible, n*n matix A, there is a sequence Ak of invertible matrices with v(A - Ak) -> 0 .
 
Physics news on Phys.org
If v(X)<e, it appears that a result along the lines of det(XY) < e^n * det(Y) is true. If so, you can use this for part a.

part b looks a little harder.

does this v define a (metric) topology on the nxn matrices?
 
thanks for the hint on part a, the v in part b is the same as in part a
 

Thread 'Trouble understanding an online solution to an exercise in Dummit & Foote'

##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
View full post »

Thread 'Questions about non existence of GCDs vs (coimages, cokernels)'

The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
View full post »

Thread '##(A/\mathfrak{a})_{\mathfrak{p}/\mathfrak{a}}## and its isomorphism?'

I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
View full post »

Similar threads

MHB Proving or disproving this matrix V is invertible.
Replies
1
Views
1K
Determining invertibility of a matrix
Replies
10
Views
3K
MHB What are the properties of affine bases in $\mathbb{R}^n$?
Replies
15
Views
2K
Prove the identity matrix is unique
2
Replies
69
Views
8K
MHB Prove the statements : Vectors/Matrices
Replies
5
Views
2K
I Confused about small detail in rank-nullity theorem
Replies
1
Views
1K
MHB Proofs about invertible linear functions
Replies
8
Views
2K
Proving facts about matrices without determinants
Replies
20
Views
2K
A Structure of modulo-integer matrix group GL(r,Z(n))?
Replies
17
Views
6K
How to count the total # of non-invertible 2x2 matrices
Replies
7
Views
7K

Hot Threads

Recent Insights

Back
Top