Connected components of invertibles, unitaries and isometries

[8/0%]
LaTeX

Prove that if UU is any unitary operator on H\mathcal{H}, then there is a continuous function u:[0,1]→B(H)u: [0, 1] \to \mathcal{B}(\mathcal{H}) such that u(t)u(t) is unitary for all tt, u(0)=Uu(0) = U, and u(1)=1u(1) = 1.

?

What are the components of the set of invertible elements in C(∂D)C(\partial \mathbb {D})?

?

If S=S = the unilateral shift, what are the components of the set of invertible elements of C∗(S)C^*(S)?

?

If UU and VV are isometries, show that there is a path consisting entirely of isometries connecting UU to VV if and only if dim⁡(ran U)⊥=dim⁡(ran V)⊥\dim (\mathrm{ran}\ U)^\perp = \dim (\mathrm{ran}\ V)^\perp.

?

Find the components of the set of partial isometries.

?

Let CRC_{R} be the algebra of all real continuous functions on [0,1][0,1], with the supremum norm. This satisfies all requirements of a Banach algebra, except that the scalars are now real.

?
(a)

If ϕ(f)=∫01f(t)dt\phi (f) = \int_{0}^{1} f(t) d t, then ϕ(1)=1\phi (1) = 1, and ϕ(f)≠0\phi (f) \neq 0 if ff is invertible in CRC_{R}, but ϕ\phi is not multiplicative.

(b)

If GG and G1G_{1} are defined in CRC_{R} as in Theorem 10.34, show that G/G1G / G_{1} is a group of order 2.

The analogues of Theorem 10.9 and (d) of Theorem 10.34 are thus false for real scalars. Exactly where would the proof of (d) of Theorem 10.34 break down?

Suppose A=C(T)A = C(T), the algebra of all continuous complex functions on the unit circle TT, with the supremum norm. Show that two invertible members of C(T)C(T) are in the same coset of G1G_{1} if and only if they are homotopic mappings of TT into the set of all nonzero complex numbers. Deduce from this that G/G1G / G_{1} is isomorphic to the additive group of the integers. (The notation is as in Theorem 10.34).

?

Suppose A=M(R)A = M(R), the convolution algebra of all complex Borel measures on the real line; see (e) of Example 10.3. Supply the details in the following proof that G/G1G / G_{1} is uncountable: If α∈R\alpha \in R, let δα\delta_{\alpha } be the unit mass concentrated at α\alpha. Assume δα∈G1\delta_{\alpha } \in G_{1}. Then δα=exp⁡(μα)\delta_{\alpha } = \exp \left(\mu_{\alpha }\right) for some μα∈M(R)\mu_{\alpha } \in M(R); hence, for −∞<t<∞-\infty < t < \infty,

−iαt=μ^α(t)+2kπi -i \alpha t = \hat{\mu }_{\alpha }(t)+2 k \pi i

where kk is an integer. Since μ^α\hat{\mu }_{\alpha } is a bounded function, α=0\alpha = 0. Thus δ0\delta_{0} is the only δα\delta_{\alpha } in G1G_{1}. No coset of G1G_{1} in GG contains therefore more than one δα\delta_{\alpha }.

?

References

[Con07] Conway J.B. A Course in Functional Analysis. 2nd ed., Springer, 2007.
[Rud91] Rudin W. Functional Analysis. 2nd ed., McGraw-Hill, 1991.