TheoremBase

Identity Matrix and Standard Basis Vectors

The n x n identity matrix has entries deltaijdelta_ij (1 on the diagonal, 0 elsewhere); the k-th standard basis vector of RnR^n is its k-th column.

Statement

In the setting of Metric Spaces: Balls, the Metric Topology, and the Real and Complex Numbers as Metric Spaces, let n∈Nn\in\mathbb{N}, with real matrices and their entries, and points of Rn\mathbb{R}^{n} with components as in Euclidean Space Rn\mathbb{R}^n: n-Tuples of Real Numbers with Their Componentwise Operations (ii).

The identity matrix In∈Mn(R)I_{n}\in\mathcal{M}_{n}(\mathbb{R}) is the matrix EE of The Matrix Product, Matrix-Vector Product, Transpose, Trace, Identity Matrix and Standard Basis Vectors Exist and Are Unique (v); its entries are written δij=(In)ij\delta_{ij}=(I_{n})_{ij}, so that δij=1\delta_{ij}=1 if i=ji=j and δij=0\delta_{ij}=0 if i≠ji\neq j (i,j∈[n]i,j\in[n]). It is not the constant map 11 of Pointwise Operations on Real-Valued Maps (ii).

For k∈[n]k\in[n], the kk-th standard basis vector ek∈Rne_{k}\in\mathbb{R}^{n} is the point ee of The Matrix Product, Matrix-Vector Product, Transpose, Trace, Identity Matrix and Standard Basis Vectors Exist and Are Unique (vi), so that (ek)i=δik(e_{k})_{i}=\delta_{ik} for i∈[n]i\in[n].

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…