Chapter 18

Cyclic Vectors

[9/100%]
Show
LaTeX
Problem 160

If UU is a unilateral shift of multiplicity not greater than ℵ0\aleph_0, then U∗U^{*} has a cyclic vector.

?
Remark.
?

An operator AA on a Hilbert space H\mathbf{H} has a cyclic vector ff if the vectors f,Af,A2f,…f, Af, A^{2}f, \ldots span H\mathbf{H}; equivalently, ff is a cyclic vector for AA in case the set of all vectors of the form p(A)fp(A)f, where pp varies over all polynomials, is dense in H\mathbf{H}.

A unilateral shift of multiplicity pp (where pp is a cardinal number, 1≤p≤ℵ01 \leq p \leq \aleph_0) is the direct sum of pp copies of the simple unilateral shift UU on l2l^{2}, i.e., the operator ⟨ξ0(1),ξ1(1),…⟩⊕⟨ξ0(2),ξ1(2),…⟩⊕⋯\left\langle \xi_0^{(1)}, \xi_1^{(1)}, \ldots \right\rangle \oplus \left\langle \xi_0^{(2)}, \xi_1^{(2)}, \ldots \right\rangle \oplus \cdots acting coordinatewise by the simple shift on each summand.

Problem 161

If dim⁡H=ℵ0\dim \mathbf{H} = \aleph_0, is the set of cyclic operators on H\mathbf{H} dense?

?
Remark.
?

It is convenient to say that if an operator has a cyclic vector, then it is a cyclic operator.

Problem 162

Is the unilateral shift a limit of non-cyclic operators?

?
Problem 163

Is U⊕U∗U \oplus U^{*} cyclic?

?
Problem 164

If ff is a cyclic vector for a normal operator AA, does it follow that ff is cyclic for A∗A^{*}?

?
Problem 165

What are all the cyclic vectors of the position operator on L2((0,1))L^{2}\left((0,1)\right)?

?
Remark.
?

If μ\mu is a Borel measure with compact support in the complex plane, then the position operator AA on L2(μ)L^{2}\left(\mu \right) is defined by (Af)(z)=zf(z)(Af)(z) = zf(z).

Problem 166

Is there an operator for which the span of the set of cyclic vectors is a non-trivial subspace (that is, different from both 00 and the whole space)?

?
Problem 167
?
(a)

If an operator has a matrix that is triangular +1+1 and is such that none of the entries on the diagonal just below the main one is zero (αij≠0\alpha_{ij} \neq 0 when i=j+1i = j+1), then it is cyclic.

(b)

Is the converse true?

Remark.
?

A matrix ⟨αij⟩\left\langle \alpha_{ij} \right\rangle is triangular (specifically, upper triangular) if every entry below the main diagonal is zero (that is, αij=0\alpha_{ij} = 0 whenever i>ji > j). A matrix is triangular +1+1 if every entry more than one step below the main diagonal is zero (that is, αij=0\alpha_{ij} = 0 whenever i>j+1i > j+1).

Problem 168

Is there an operator AA on a Hilbert space H\mathbf{H} and a vector ff in H\mathbf{H} such that the orbit of ff under AA is dense in H\mathbf{H}?

?
Remark.
?

The orbit of ff is the set of all vectors of the form AnfA^{n}f, n=0,1,2,…n = 0, 1, 2, \ldots, with no scalar multiples and no sums allowed.