„Egységmátrix” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
30. sor:
Ez azt is jelenti, hogy <math>I_n</math> az ''n'' &times; ''n''-es mátrixok multiplikatív csoportjának (a GL(n,''T'') csoportnak) egységeleme, illetve hogy az ''M''<sub>''n''</sub>(''T'') algebra egységelemes.
 
Általában, a ''T'' test feletti bármilyen mátrixon halmazában (melyben az összeadás és a szorzás csak parciálisan értelmezett, hisz csak a megfelelő alakú mátrixokkal végezhetők el) igaz, hogyaz egyetlen olyan (<math>I</math><sub>''n''</sub>, <math>I</math><sub>''m''</sub>) &isin; ''M''<sub>''n''</sub>(''T'')&times;''M''<sub>''m''</sub>(''T'') mátrixpár vanegységmátrixokra, hogy minden ''A'' -val jelölt ''m'' &times; ''n''-es és ''B'' -val jelölt ''n'' &times; ''m''-es mátrixra:
:<math>I_mA = AI_n = A\,</math>
és
:<math>BI_m = I_nB = B\,</math>
minden ''A'' -val jelölt ''m'' &times; ''n''-es és ''B'' -val jelölt ''n'' &times; ''m''-es mátrixra.
Ez ugyanis az előző tulajdonságból következik.
 
==Mint lineáris leképezés==