Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
matrix [2014/03/21 11:11] 127.0.0.1 external edit |
matrix [2015/10/18 17:55] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Matrix ===== | ===== Matrix ===== | ||
| ==== Set ==== | ==== Set ==== | ||
| - | | @#55CCEE: context | @#55CCEE: $X$ | | + | | @#55CCEE: context | @#55CCEE: $X$ ... set | |
| | @#55CCEE: context | @#55CCEE: $n,m\in \mathbb N$ | | | @#55CCEE: context | @#55CCEE: $n,m\in \mathbb N$ | | ||
| - | |||
| | @#FFBB00: definiendum | @#FFBB00: $ A\in \mathrm{Matrix}(n,m,X) $ | | | @#FFBB00: definiendum | @#FFBB00: $ A\in \mathrm{Matrix}(n,m,X) $ | | ||
| - | + | | @#55EE55: postulate | @#55EE55: $$ A\in\mathrm{FinSequence}(\mathrm{FinSequence}(X)) $$ | | |
| - | | @#55CCEE: context | @#55CCEE: $ A\in\mathrm{FinSequence}(\mathrm{FinSequence}(X)) $ | | + | |
| | @#DDDDDD: range | @#DDDDDD: $ 1\ge i\ge m$ | | | @#DDDDDD: range | @#DDDDDD: $ 1\ge i\ge m$ | | ||
| - | |||
| | @#55EE55: postulate | @#55EE55: $\mathrm{length}(A)=n$ | | | @#55EE55: postulate | @#55EE55: $\mathrm{length}(A)=n$ | | ||
| | @#55EE55: postulate | @#55EE55: $\mathrm{length}(A_i)=m$ | | | @#55EE55: postulate | @#55EE55: $\mathrm{length}(A_i)=m$ | | ||
| - | ==== Discussion ==== | + | ----- |
| - | We write $A_{ij}\equiv (A_i)_j$ | + | === Discussion === |
| - | ==== Parents ==== | + | We write |
| + | |||
| + | $A_{ij}\equiv (A_i)_j$ | ||
| + | |||
| + | ----- | ||
| === Subset of === | === Subset of === | ||
| [[Finite sequence]] | [[Finite sequence]] | ||
