image of adjoint equals orthogonal complement of kernel
45998
The range of $T^*$ is the orthogonal complement of $\ker(T)$
38266
How to prove that exponential kernel is positive definite?
37665
Convolution of two Gaussians is a Gaussian
48524
Existence proof of the tensor product using the Adjoint functor theorem.
155317
Norm of adjoint operator in Hilbert space
25335
Orthogonal matrix over cross product
88206
Image of a line in $\mathbb{P}^2$ under Veronese embedding
103923
Double orthogonal complement is equal to topological closure
114524
Proof Verification: the orthogonal complement of the column space is the left nullspace
43170
inverse image of fiber product of scheme
113326
Proving orthogonality of vectors in a complex vector space
37794
Proving the two given vectors are orthogonal
90192
Kernel and Image of a group homomorphism
76619
Computing kernels of a matrix in distinct cases
128361
The kernel and range of the powers of a self-adjoint operator
32420
A complete orthonormal system contained in a dense sub-space.
140756
Image of closed unit ball under a compact operator