Definition of orthogonal complement of a subspace

Created almost 9 years ago, updated about 8 hours ago

The orthogonal complement of $W\subseteq V$ is $W^\perp=\{x\in V:\langle w,x\rangle=0\text{ for every }w\in W\}$. It is a subspace. In a finite-dimensional inner-product space, $\dim W^\perp=\dim V-\dim W$ and $V=W\oplus W^\perp$.

Like how this is organised?

Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.