Pembuktian Sifat Operasi Matriks

A+B = B+A

[ ][ ]
a 11 a12 … a1 n b11 b12 … b 1n
a21 a 22 … a2 n b b22 … b 2n
+ 21 =¿
⋮ ⋮ ⋱ ⋮ ⋮ ⋮ ⋱ ⋮
am 1 am 2 … amn b m 1 bm 2 … bmn

[ ]
a11 + b11 a12+ b12 … a 1n +b 1 n
a21 +b 21 a 22+b 22 … a 2n + b1 n
⋮ ⋮ ⋱ ⋮
am 1 +b m 1 am 2 +b m 2 … a mn+b mn

[ ][ ]
b 11 b 12 … b1 n a11 a12 … a 1n
b b 22 … b2 n a a22 … a 2n
 21 + 21
⋮ ⋮ ⋱ ⋮ ⋮ ⋮ ⋱ ⋮
bm 1 bm 2 … b mn a m 1 am 2 … amn

Terbukti bahwa sifat komutatif berlaku pada operasi penjumlahan A+B = B+A dengan syarat A, B berordo sama (mxn)

A+(B+C) = (A+B)+C

[ ] ([ ][ ])
a 11 a12 … a1 n b 11 b12 … b1 n c 11 c 12 … c 1 n
a21 a 22 … a2 n b b 22 … b2 n c c 22 … c 2 n
+ 21 + 21 =¿
⋮ ⋮ ⋱ ⋮ ⋮ ⋮ ⋱ ⋮ ⋮ ⋮ ⋱ ⋮
am 1 am 2 … amn bm 1 bm 2 … b mn c m 1 cm 2 … c mn
 [ ][ ]
a 11 a12 … a1 n b 11 +c 11 b12+ c12 … b1 n+ c 1 n
a21 a 22 … a2 n b +c b 22+c 22 … b1 n+ c 2 n
+ 21 21
⋮ ⋮ ⋱ ⋮ ⋮ ⋮ ⋱ ⋮
am 1 am 2 … amn b m 1+ c m1 bm 2 +c m 2 … b mn+ c mn

[ ]
a 11 +b11 + c 11 a12+ b12+ c12 … a1 n +b1 n +c 1 n
a21 +b21 +c 21 a22 +b22 +c 22 … a2 n +b1 n +c 2 n
⋮ ⋮ ⋱ ⋮
am 1 +b m 1+ c m 1 am 2 +b m 2+ c m 2 … amn +b mn+ c mn

[ ][ ]
a11 + b11 a12+ b12 … a 1n +b 1 n c 11 c12 … c 1 n
a21 +b 21 a 22+b 22 … a 2n + b1 n c c 22 … c 2 n
+ 21
⋮ ⋮ ⋱ ⋮ ⋮ ⋮ ⋱ ⋮
am 1 +b m 1 am 2 +b m 2 … a mn+b mn c m 1 c m 2 … c mn

([ ][ ]) [ ]
a 11 a12 … a1 n b11 b12 … b1 n c11 c 12 … c 1 n
a 21 a 22 … a2 n b b22 … b2 n c c 22 … c 2 n
 + 21 + 21
⋮ ⋮ ⋱ ⋮ ⋮ ⋮ ⋱ ⋮ ⋮ ⋮ ⋱ ⋮
am 1 am 2 … a mn b m1 bm 2 … b mn cm1 cm2 … cmn

Terbukti bahwa sifat asosiatif berlaku pada operasi penjumlahan A+(B+C) = (A+B)+C dengan syarat A, B, C berordo sama (mxn)

A(BC) = (AB)C

[ ] ([ ][ ])
a11 ⋯ a1n b 11 ⋯ b1 n c 11 ⋯ c 1 n
⋮ ⋱ ⋮ x ⋮ ⋱ ⋮ x ⋮ ⋱ ⋮ =¿
am 1 ⋯ amn b m 1 ⋯ b mn c m 1 ⋯ c mn
 [ ][ ]
a11 ⋯ a 1 n b11 . c 11 + …+b1 n . cm 1 ⋯ b11 . c 1 n+ …+b1 n . c mn
 ⋮ ⋱ ⋮ x ⋮ ⋱ ⋮
am 1 ⋯ amn bm 1 . c11 + …+b mn . c m 1 ⋯ b m 1 . c 1 n+ …+b mn . c mn

[ ]
a 11 (b 11 . c 11 + …+b1 n . c m1 )+…+ a1 n ( b m 1 . c 11 + …+bmn . c m 1)
⋯ a11 ( b11 . c 1 n+ …+b 1n . c mn ) +…+ a1 n ( b m 1 . c 1 n +…+b mn . c mn )
 ⋮ ⋱ ⋮
am 1 (b 11 . c11 + …+b 1n . c m 1)+…+ amn ( bm 1 . c11 + …+b mn . c m 1 ) ⋯ am 1 (b 11 .c 1 n +…+ b1 n . c mn )+ …+a mn ( b m 1 . c 1 n+ …+b mn . c mn )

[ ]
( a11 . b11 . c 11 +…+ a11. b 1n . c m 1 )+ …+ ( a1 n . b m1 . c 11 +…+ a1 n . b mn . c m 1 )
⋯ ( a11 . b11 . c 1 n +…+a 11 .b 1 n . c mn ) +…+ ( a1 n .b m 1 . c 1 n +…+a 1 n . bmn . c mn )
 ⋮ ⋱ ⋮
( a m1 . b11 . c 11 +…+ am 1 .b 1 n . c m 1 ) +…+ ( amn .b m 1 . c 11 +…+ amn . bmn .c m 1 ) ⋯ ( a m 1 . b11 . c 1 n+ …+a m 1 . b1 n . c mn) + …+ ( a mn . b m1 . c 1n + …+amn . bmn . c mn)

[ ]
( a11 . b11 . c 11 +…+ a1 n . bm 1 . c 11 ) +…+ ( a11. b1 n . c m 1 +…+ a1 n . b mn . c m 1 )
⋯ ( a11 . b11 . c 1 n +…+a 1 n . bm 1 . c 1n ) + …+ ( a 11 .b 1 n . c mn +…+a 1 n . bmn . c mn )
 ⋮ ⋱ ⋮
( a m1 . b11 . c 11 +…+ amn .b m 1 . c 11 ) + …+ ( a m 1 . b1 n . cm 1 +…+ amn . bmn .c m 1 ) ⋯ ( a m 1 . b11 . c 1 n+ …+a mn . bm 1 . c 1n ) + …+ ( a m 1 . b1 n . c mn+ …+amn . bmn . c mn)

[ ]
( a11 . b11 +…+ a1 n .b m 1 ) c11 + …+ ( a11. b 1n + …+a1 n . bmn ) c m 1 ⋯ ( a11 . b11 +…+ a1 n .b m 1 ) c 1n +…+ ( a11 . b1 n +…+ a1 n .b mn ) c mn
 ⋮ ⋱ ⋮
( a m1 . b11 + …+amn . bm 1 ) c 11 +…+ ( am 1 . b1 n+ …+a mn . bmn ) c m 1 ⋯ ( am 1 . b11 +…+ amn .b m 1 ) c 1n +…+ ( a m1 . b1 n +…+ amn . b mn ) cmn

[ ][ ]
a 11 .b 11 +…+ a1 n . b m 1 ⋯ a11 . b1 n +…+ a1 n .b mn c11 ⋯ c1 n
 ⋮ ⋱ ⋮ x ⋮ ⋱ ⋮
am 1 . b11 +…+ amn . bm 1 ⋯ am 1 . b 1n + …+amn . bmn c m 1 ⋯ c mn

([ ][ ]) [ ]
a11 ⋯ a 1n b 11 ⋯ b1 n c 11 ⋯ c 1 n
 ⋮ ⋱ ⋮ x ⋮ ⋱ ⋮ x ⋮ ⋱ ⋮
am 1 ⋯ amn bm 1 ⋯ b mn c m 1 ⋯ c mn
Terbukti bahwa sifat asosiatif berlaku pada operasi perkalian A(BC) = (AB)C dengan syarat A, B, C berordo sama (mxn)

Ax(B+C) = AB + AC

[ ] ([ ][ ])
a11 ⋯ a1n b 11 ⋯ b1 n c 11 ⋯ c 1 n
⋮ ⋱ ⋮ x ⋮ ⋱ ⋮ + ⋮ ⋱ ⋮ =¿
am 1 ⋯ amn b m 1 ⋯ b mn c m 1 ⋯ c mn

[ ][ ]
a11 ⋯ a1n b 11 +c 11 ⋯ b 1 n +c 1 n
⋮ ⋱ ⋮ x ⋮ ⋱ ⋮
am 1 ⋯ amn bm 1 +c m 1 ⋯ b mn +c mn

[ ]
a 11 ( b11 + c11 ) +…+ a1 n (bm 1 +c m 1 ) ⋯ a11 ( b 1 n+ c 1n ) + …+a1 n (bmn +c mn)
⋮ ⋱ ⋮
am 1 ( b11 + c 11 ) +…+ amn (b m 1+ c m1 ) ⋯ am 1 ( b1 n +c 1 n ) +…+a mn (bmn +c mn )

[ ][ ]
a 11 b11 +…+ a1 n bm 1 ⋯ a11 b1 n +…+ a1 n b mn a11 c11 + …+a1 n c m 1 ⋯ a 11 c1 n +…+ a1 n c mn
⋮ ⋱ ⋮ + ⋮ ⋱ ⋮
am 1 b11 + …+a mn b m 1 ⋯ am 1 b1 n +…+ amn bmn am 1 c 11 +…+a mn cm 1 ⋯ am 1 c 1n + …+amn c mn

Terbukti bahwa sifat distributif berlaku pada operasi penjumlahan A(B+C) = AB+AC dengan syarat A, B, C berordo sama (mxn)