Definicja sumy macierzy.

[bob1000]

Czy jest sens udowadniać sumę dwóch macierzy? Czy w ogóle coś takiego jest możliwe jeśli jest to po prostu zdefiniowane?

[miki999]

Moim zdaniem zależy od definicji macierzy. Jeżeli zakładasz, że istnieją takie byty jak macierze, które posiadają zdefiniowane działania na nich, to nie musisz. Jeżeli natomiast macierz jest reprezentacją czegoś, co można sumować, to rzeczywiście może istnieć potrzeba sprawdzenia, że suma tych bytów jest klasycznie zdefiniowaną sumą macierzy. Taki jest mój punkt widzenia.