Nuprl Definition : invertible-matrix

invertible-matrix(r;n;A) ==  ∃B:Matrix(n;n;r). ((A*B) = I ∈ Matrix(n;n;r))


Definitions occuring in Statement :  identity-matrix: I,  matrix-times: (M*N),  matrix: Matrix(n;m;r),  exists: ∃x:A. B[x],  equal: s = t ∈ T
Definitions occuring in definition :  exists: ∃x:A. B[x],  equal: s = t ∈ T,  matrix: Matrix(n;m;r),  matrix-times: (M*N),  identity-matrix: I
FDL editor aliases :  invertible-matrix
Latex:
invertible-matrix(r;n;A)  ==    \mexists{}B:Matrix(n;n;r).  ((A*B)  =  I)


Date html generated: 2018_05_21-PM-09_39_52
Last ObjectModification: 2017_12_14-PM-01_18_00

Theory : matrices


Home Index