• Nie Znaleziono Wyników

EXTREME POINTS

N/A
N/A
Protected

Academic year: 2021

Share "EXTREME POINTS"

Copied!
2
0
0

Pełen tekst

(1)

C O L L O Q U I U M M A T H E M A T I C U M

VOL. 74 1997 NO. 1

EXTREME POINTS

OF THE CLOSED UNIT BALL IN C

-ALGEBRAS

BY

RAINER B E R N T Z E N (M ¨ UNSTER)

In this short note we give a short and elementary proof of a characteri- zation of those extreme points of the closed unit ball in C

-algebras which are unitary. The result was originally proved by G. K. Pedersen using some methods from the theory of approximation by invertible elements.

Let A be a C

-algebra with unit 1, i.e. a unital Banach algebra A with involution

fulfilling the so called C

-condition ka

ak = kak

2

. R. V.

Kadison proved the following characterization of the extreme points of the closed unit ball:

Theorem ([Kad, Pe1]). Let A be a unital C

-algebra. Then the extreme points of the closed unit ball of A are precisely those elements v of A for which (1 − v

v)A(1 − vv

) = {0}. In this case v is a partial isometry, i.e.

v

v and vv

are projections.

Clearly, all unitary elements are extreme points (where unitary means u

u = uu

= 1). We use the above result to give a short proof of the characterization of those extreme points which are unitary. This character- ization is due to G. K. Pedersen who uses techniques from the theory of approximation by invertible and unitary elements.

Proposition ([Pe2]). Let A be a (unital ) C

-algebra, and suppose v is an extreme point of the closed unit ball. Then v is unitary if and only if dist(v, A

−1

) < 1. (Here, A

−1

denotes the set of all invertible elements of A.)

P r o o f. The implication (1)⇒(2) is trivial since u is invertible. For (2)⇒(1) suppose that dist (v, A

−1

) < 1, i.e. there exists an invertible ele- ment a ∈ A with ka − vk < 1. Then

kv

va

−1

(1 − vv

)k = kv

va

−1

(1 − vv

) − v

(1 − vv

)k

≤ kv

k · kv − ak · ka

−1

(1 − vv

)k.

1991 Mathematics Subject Classification: Primary 46L05.

[99]

(2)

100

R. B E R N T Z E N

If vv

6= 1 then this implies kv

va

−1

(1 − vv

)k < ka

−1

(1 − vv

)k, i.e.

v

va

−1

(1 − vv

) 6= a

−1

(1 − vv

). Hence, 0 6= (1 − v

v)a

−1

(1 − vv

) ∈ (1 − v

v)A(1 − vv

), contradicting v ∈ ex(A)

1

. Thus, we get vv

= 1, and similarly v

v = 1, i.e. v is a unitary.

As an immediate corollary one gets the following:

Corollary. Let A be a unital C

-algebra. If the invertible elements are dense in A then the extreme points of the closed unit ball are precisely the unitary elements.

REFERENCES

[Kad] R. V. K a d i s o n, Isometries of operator algebras, Ann. of Math. 54 (1951), 325–338.

[Pe1] G. K. P e d e r s e n, C

-Algebras and Their Automorphism Groups, London Math.

Soc. Monographs 13, Academic Press, London, 1979.

[Pe2] —, The λ-function in operator algebras, J. Operator Theory 26 (1991), 345–382.

Mathem. Institut der WWU M¨ unster Einsteinstr. 62

48149 M¨ unster, Germany

E-mail: berntze@math.uni-muenster.de

Received 2 December 1996

Cytaty

Powiązane dokumenty

Na podstawie zaproponowanej koncepcji oddziaływania BIZ na kreację i destrukcję w warunkach różnych rozmiarów luki technologicznej wyprowadzono hipotezę badawczą, zgodnie z

To, co w 1979 roku było prawie niewyobrażalne, dzisiaj jest rzeczywistością, jest wielkim darem Ducha Świętego spełnionych Zielonych Świąt nie tylko narodów słowiańskich,

(1) (c) State if the converse is true or false and give an example to justify your answer... (b) Consider the

3 In a youth camp, each participant must take part in at least one of the following activities: chess, backgammon or dominoes.. Show the above information in

[r]

duces a Koebe function was by shown Pfluger (8), who made use of the fact that the omitted arc of any support point of S has an asymptotic line at °°.) In any case terminal support

The corresponding generalized cohomology theory U*(') is called cobordism... Homology and cohomology of the spectrum

The reviewer holds the book in high esteem, describing it as a research and scholarly achievement of import to several disciplines in the humanities that tend to