Все публикации

The determinant via permutations

The determinant as a product of eigenvalues

The trace is basis-invariant

The trace and the eigenvalues

Properties of the Riesz element

An abstract explicit isomorphism between vector spaces

Stating and applying the complex spectral theorem

A normal operator that is not self-adjoint

A property of the image of a self-adjoint operator

Determining self-adjointness from the matrix

The adjoint of a composition

Finding the image of the adjoint map

Invertible diagonal matrix with indistinct diagonal entries

Finding the matrix of the operator given an eigenvalue

Explicitly finding the orthogonal complement

Orthogonal complements reverse subset containment

Proof of the Existence of Riesz elements

Applying the (modified) Gram–Schmidt method

Upper-triangular with respect to an orthonormal basis

Finding eigenvalues and eigenvectors at the same time

Pulling a scalar out of a norm

Orthogonality of the orthogonal decomposition

Verifying the inner-product axioms

The transpose is a linear isomorphism