Math 2.0

Operator theory Definition

Partial isometry

Builds on Hilbert spaceOrthogonal complementKernel of a linear map

Definition

Let HH and KK be Hilbert spaces and let V ⁣:H→KV \colon H \to K be a bounded linear operator. The operator VV is a partial isometry when ∥Vx∥=∥x∥for all x∈(ker⁡V)⊥,\norm{Vx} = \norm{x} \quad \text{for all } x \in (\ker V)^\perp, where ker⁡V\ker V is the kernel of VV and (ker⁡V)⊥(\ker V)^\perp is its orthogonal complement. The space (ker⁡V)⊥(\ker V)^\perp is the initial space of VV, and the range of VV is its final space.

Remarks

Example: the backward shift V(x0,x1,x2,…)=(x1,x2,…)V(x_0, x_1, x_2, \ldots) = (x_1, x_2, \ldots) on ℓ2(ℕ)\ell^2(\N) has kernel spanned by (1,0,0,…)(1, 0, 0, \ldots). A vector orthogonal to the kernel has x0=0x_0 = 0, and then ∥Vx∥2=∑n≥1∣xn∣2=∥x∥2\norm{Vx}^2 = \sum_{n \ge 1} \abs{x_n}^2 = \norm{x}^2; so VV is a partial isometry.

Non-example: T=2IT = 2I on ℂ\C has kernel {0}\set{0}, so its initial space is ℂ\C, but ∥T1∥=2≠1\norm{T 1} = 2 \ne 1.

Equivalent forms: VV is a partial isometry if and only if V∗VV^*V is an orthogonal projection. Then V∗VV^*V is the projection onto the initial space and VV∗VV^* is the projection onto the final space. Another equivalent condition is VV∗V=VVV^*V = V. The final space of a partial isometry is closed.

Reading path

To understand this page from the ground up, read these 9 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Hilbert space concept
  2. Vector space definition
  3. Inner product definition
  4. Linear map definition
  5. Linear subspace definition
  6. Orthogonal vectors definition
  7. Kernel of a linear map definition
  8. Orthogonal complement definition
  9. Partial isometry definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Partial_isometry
About this page
Tag4D8CDGZNHE
URIm2://4D8CDGZNHE
Kinddefinition
WritingW0 stub
MSC47B02, 47A05
DefinesPartial isometry
UsesHilbert space, Orthogonal complement, Kernel of a linear map
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.