ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Operation
N-operation
Binary operation
Enclosed binary operation
Groupoid
Ringoid
Semiring
Ring
Left ring action
Module
Linear combination
Linear map
Eigenvector
Matrix eigenvector
Complex matrix eigenvector
Complex matrix eigenvector sequence
Definition D5860
Complex matrix eigenmatrix
Formulation 0
Let $A \in \mathbb{C}^{N \times N}$ be a D6159: Complex square matrix such that
(i) $z_1, \, \ldots, \, z_N \in \mathbb{C}^{N \times 1} \setminus \{ \boldsymbol{0} \}$ is a D6213: Complex matrix eigenvector sequence for $A$
The eigenmatrix for $A$ is the D6159: Complex square matrix \begin{equation} \begin{bmatrix} z_1 & z_2 & \cdots & z_N \end{bmatrix} \end{equation}