Connected components of invertibles, unitaries and isometries
[8/0%]Prove that if is any unitary operator on , then there is a continuous function such that is unitary for all , , and .
What are the components of the set of invertible elements in ?
If the unilateral shift, what are the components of the set of invertible elements of ?
If and are isometries, show that there is a path consisting entirely of isometries connecting to if and only if .
Find the components of the set of partial isometries.
Let be the algebra of all real continuous functions on , with the supremum norm. This satisfies all requirements of a Banach algebra, except that the scalars are now real.
If , then , and if is invertible in , but is not multiplicative.
If and are defined in as in Theorem 10.34, show that 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 , the algebra of all continuous complex functions on the unit circle , with the supremum norm. Show that two invertible members of are in the same coset of if and only if they are homotopic mappings of into the set of all nonzero complex numbers. Deduce from this that is isomorphic to the additive group of the integers. (The notation is as in Theorem 10.34).
Suppose , 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 is uncountable: If , let be the unit mass concentrated at . Assume . Then for some ; hence, for ,
where is an integer. Since is a bounded function, . Thus is the only in . No coset of in contains therefore more than one .