Definition:Multiindex
 | This page has been identified as a candidate for refactoring of advanced complexity. In particular: The definitions define different things in different contexts. This needs to be sorted and possibly solved by transclusion/splitting as appropriate. Until this has been finished, please leave {{Refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code. |
Definition
Definition 1
Let $\ds m = \prod_{j \mathop \in J} X_j^{k_j}$ be a monomial in the indexed set $\set {X_j: j \mathop \in J}$.
Such a monomial can be expressed implicitly and more compactly by referring only to the sequence of indices:
- $k = \sequence {k_j}_{j \mathop \in J}$
and write $m = \mathbf X^k$ without explicit reference to the indexing set.
Such an expression is called a multiindex (or multi-index).
Definition 2
Let $J$ be a set.
A $J$-multiindex is a sequence of natural numbers indexed by $J$:
- $\ds k = \sequence {k_j}_{j \mathop \in J}$
with only finitely many of the $k_j$ non-zero.
Definition 3
A multiindex is an element of $\Z^J$, the free $\Z$-module on $J$, an abelian group of rank over $\Z$ equal to the cardinality of $J$.
Modulus
Let $k = \sequence {k_j}_{j \mathop \in J}$ be a multiindex.
The modulus of such a multiindex $k$ is defined by:
- $\ds \size k = \sum_{j \mathop \in J} k_j$
Also known as
Some sources hyphenate for clarity: multi-index.
Also see
Linguistic Note
The plural of multiindex (or multi-index) is multiindices (or multi-indices).
Sources
 | There are no source works cited for this page. Source citations are highly desirable, and mandatory for all definition pages. Definition pages whose content is wholly or partly unsourced are in danger of having such content deleted. To discuss this page in more detail, feel free to use the talk page. |