12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Monday May 06, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives (view source)
Revision as of 18:01, 6 May 2009
, 18:01, 6 May 2009→Commentary Note 12.5
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
| <math>(\mathfrak{S}^\mathfrak{L})^\mathfrak{W} ~=~ \mathfrak{S}^{\mathfrak{L}\mathfrak{W}}</math>
| <math>(\mathfrak{S}^\mathfrak{L})^\mathfrak{W} ~=~ \mathfrak{S}^{\mathfrak{L}\mathfrak{W}}</math>
|}
If <math>\mathfrak{A}</math> and <math>\mathfrak{B}</math> are two square matrices over the same index set <math>X,\!</math> then <math>\mathfrak{A} = \mathfrak{B}</math> if and only if <math>\mathfrak{A}_{uv} = \mathfrak{B}_{uv}</math> for all <math>u, v \in X.</math> Therefore, a routine way to check whether <math>(\mathfrak{S}^\mathfrak{L})^\mathfrak{W} = \mathfrak{S}^{\mathfrak{L}\mathfrak{W}}</math> is to check whether the equation holds for an arbitrary pair of indices <math>u, v \in X.</math>
{| align="center" cellspacing="6" width="90%"
| <math>((\mathfrak{S}^\mathfrak{L})^\mathfrak{W})_{uv} ~=~ (\mathfrak{S}^{\mathfrak{L}\mathfrak{W}})_{uv}</math>
|}
|}
