Extensions of pure states

Size: px
Start display at page:

Download "Extensions of pure states"

Transcription

1 Extensions of pure M. Anoussis 07/ 2016

2 1 C algebras

3 C -algebras Definition Let A be a Banach algebra. An involution on A is a map a a on A s.t. (a + b) = a + b (λa) = λa, λ C a = a (ab) = b a

4 Definition A C -algebra is a Banach algebra with an involution wich satisfies a a = a 2.

5 Examples C(X), for X compact. g = sup x X g(x), g(x) = g(x) B(H), for H Hilbert space T = sup x H, x 1 Tx Tx, y = x, T y

6 Theorem Let A be a C -algebra. Then A is isometrically isomorphic to a closed subalgebra of B(H) for some Hilbert space H.

7 C algebras Definition Let A be a C -algebra. An element a A is selfadjoint if a = a. Definition Let A be a C -algebra. An element a A is positive if it selfadjoint and σ(a) R +.

8 Theorem Let A be a C -algebra and a A. The following are equivalent: a is positive a = b 2 for some positive b A a = b b for some b A If A B(H), ax, x 0, x H

9 Definition Let A be a C -algebra. A linear form on A is positive if f(a a) 0 a A. Lemma Let f be a positive linear form on A. Then 1 f(b a) = f(a b) 2 f(b a) 2 f(a a)f(b b) 3 f(a ) = f(a) 4 f(a) 2 f(e)f(a a)

10 Lemma Let f be a positive linear form on A. Then f is bounded and f = f(e). proof If not take a positive element a n such that, a n 1 and f(a n ) 2 n. Then f( a n 2 n ) 1. Set We have a 2 and a = n=0 a n 2 n.

11 N 1 N f( which is a contradiction. From Lemma n=0 a n 2 ) f( n n=0 a n 2 n ) f(a), f(a) 2 f(e)f(a a) f(e) f a a = f(e) f a 2 f(a) 2 a 2 f(e) f f f(e)

12 Lemma Let f be a bounded linear form on A. Then f is positive iff f = f(e). proof We show that if f = f(e), then f is positive. Replacing f by f/f(e) we may assume f = f(e) = 1. We show first that if a is selfadjoint, then f(a) R. Let a A, a = a with a 1. Set f(a) = γ + iδ. We show that δ = 0. We may assume that δ 0. We have f(a ine) 2 (a ine) 2 = (a + ine)(a ine) = a 2 + n 2 e 1 + n 2

13 We also have f(a ine) 2 = γ + δi in 2 = γ 2 + (δ n) 2 and hence If δ 0, γ 2 + (δ n) n 2 2δn 1 γ 2 δ 2. which is absurde. n 1 γ2 δ 2 2δ

14 Now, let a A, a 0 and a 1. Then e a is selfadjoint and e a 1. Hence, f(e a) 1, and 1 f(a) 1 f(a) 0.

15 Definition Let A be a C -algebra. A state is a linear form on A which is positive and satisfies f(e) = 1.

16 Theorem (GNS) Let f be a state on A. There exists a representation ρ f of A on a Hilbert space H and ξ H, such that f(a) = ρ f (a)ξ, ξ.

17 The set of S(A) of a C -algebra A is a w -compact set of the dual of A. It is convex, hence by the Krein-Milman theorem it has extreme points. Definition A state is pure if it is an extreme point of S(A).

18 Examples C(X), for X compact. A state on C(X) is a probability measure. A pure state is a Dirac measure. B(H) for a Hilbert space H. If ξ H, f(a) = aξ, ξ is a state. These are called vector.

19 Theorem Let A, B be C -algebras such that A B and e A. Let f be a state on A. Then there exists a state g on B which extends f. proof Let g be a Hahn-Banach extension of f. Then g = f = f(e) = g(e) and hence g is a state.

20 Let A, B be C -algebras such that A B and e A. Let f be a state on A and E(f) be the set of of B that extend f. Theorem If f is pure, the extreme points of E(f) are pure on B. proof Let g be an extreme point of E(f). If it is not a pure state of B, there are g 1, g 2 and α (0, 1) such that g = αg 1 + (1 α)g 2. We restrict to A and obtain f = αg 1 A + (1 α)g 2 A. Since f is pure, g 1 A and g 2 A are proportional to f, hence g 1, g 2 belong to E(f).

21 Corollary If f is a pure state on A, then it has an extension which is a pure state on B.

22 Examples Let D be the C -algebra of 2 2 diagonal complex matrices. A linear form on D is of the form (( )) a 0 f = xa + yd 0 d for some x, y C. f is a state if and only if x + y = 1 and xa + yd 0 when a 0 and d 0. That is x 0 and y 0.

23 Examples f is pure iff x = 0 or y = 0. Indeed if f = (1, 0) and f 1 = (x 1, y 1 ), f 2 = (x 2, y 2 ), α (0, 1) are such that f = αf 1 + (1 α)f 2 we obtain (( )) a 0 f = (αx 1 + (1 α)x 2 )a + (αy 1 + (1 α)y 2 )d = a. 0 d It follows that αy 1 + (1 α)y 2 = 0 which implies that y 1 = y 2 = 0 and f 1 = f 2 = f.

24 Examples If f = (x, y), with x 0, y 0, then f = xf 1 + yf 2 where f 1 = (1, 0) and f 2 = (0, 1).

25 Examples Let A be the C -algebra of 2 2 complex matrices. A linear form on A is of the form (( )) a b f = xa + yb + zc + wd c d for some ( x, y, z, ) w C, which is equal to tr(ga) where x z G =. y w

26 Examples f is a state if and only if tr G = 1 and G is hermitian positive semidefinite. (A hermitian positive semidefinite v Av 0, v C 2.) Indeed if G is hermitian positive semidefinite, then f(b B) = tr(gb B) = tr(bgb ). But BGB is hermitian positive semidefinite and hence has positive trace. Hence f(b B) 0. Conversely if f is positive, then f(vv ) 0, v C 2, which implies v Gv 0.

27 Examples Consider f on D defined by f = (1, 0). We show that f has a unique extension to A. Let g be an extension of f to A. Then g is determined by a hermitian positive semidefinite matrix G. We have )) (( )) x y g (( a 0 0 d = tr z w ) ( a 0 0 d = a xa + wd = a for every a and d. Hence x = 1 and w = 0. Now, G is positive semidefinite, and has determinant 0. Thus yz 0 y = z = 0, since y = z. Hence f has a unique extension.

28 Examples Consider f on D defined by f = (1, 1)/2. Then f is a state and is not pure. Let g be the linear form on A defined by (( )) a b g = (a + b + c + d)/2. c d g is determined by the matrix 1 2 ( which is hermitan positive semidefinite with trace 1, hence it is a state. )

29 Examples Let h be the linear form on A defined by (( )) a b h = (a + d)/2. c d Then h is determined by the matrix 1 2 ( which is hermitian positive semidefinite with trace 1, hence it is a state. )

30 Examples g and h both extend f.

31 C algebras Definition Let X be a set. A filter F on X is a collection of subsets of X s.t. X F / F A F, B F A B F A F, A B B F

32 Examples Let X be a topological space and x 0 X. The collection of all neighbourhoods of x 0 is a filter. Let X be a set and x 0 X. Then F = {A X, x 0 A} is a filter. X = N. Set F = {A N : N A is finite}. Then F is a filter.

33 Definition Let X be a set. An ultrafilter F on X is a filter which is maximal. Example Let X be a set and x 0 X. Then F = {A X, x 0 A} is an ultrafilter. These are called principal.

34 Definition The set of all of N is denoted by βn. remark Let F = {A N : N A is finite}. There is not principal ultrafilter that contains F. Hence βn N. There exists a topology on βn such that βn is a compact Hausdorff space N (i.e. the principal ) is dense in βn. The space βn is the Stone-Čech compactification of N.

35 Definition Let (a n ) be a sequence in l and U an ultrafilter in βn. We say that x is a U-limit of (a n ) if for every neighbourhood S of x, the set {n N : a n S} is in U. Proposition Let (a n ) be a sequence in l and U an ultrafilter in βn. Then there exists an x which is the U-limit of (a n ). We denote x = lim U a n.

36 Proposition Let (a n ), (b n ) be sequences in l and U an ultrafilter in βn. Then lim U (a n + b n ) = lim U a n + lim U b n lim U (λa n ) = λ lim U a n for λ C. lim U (a n ) = (lim U (a n )) lim U (a n b n ) = lim U a n lim U b n

37 Theorem The spaces l and C(βN) are isometrically isomorphic. proof If a = (a n ) l, define g a : βn C by g a (U) = lim U a n If g C(βN), define a g l : a g = (a g n ), where a g n = g(u n )

38 Let D be the C -algebra of diagonal operators on l 2. Theorem The C -algebra D is isometrically isomorphic to C(βN). We have the following: Definition Let U be an ultrafilter in βn. Define f U : l C by f U (a n ) = lim U a n

39 Theorem The pure of D are the linear functionals of the form f U, for U βn. a = (a n ) g a g a (U) = f U (a n )

40 The Kadison-Singer problem Let D be the C -algebra of diagonal operators on l 2. Let f be a pure state on D. The Kadison-Singer problem is the following: Problem Does f has a unique extension on B(l 2 )?

41 Let E be the map that sends an operator to its diagonal part. E(A)e n, e n = Ae n, e n E(A)e n, e m = 0, if n m. The map E : B(l 2 ) D is bounded, positive, E 2 = E and E(I) = I. Let f be a state on D. Define: f : B(l2 ) C, by f(a) = f(e(a)). Then f is a state and extends f. So, the question becomes: Problem Let f be a pure state on D. Is f the only extension of f?

42 Definition A diagonal projection is an orthogonal projection on l 2 which lies in D. Note that P is a diagonal projection iff there exists a subset S of N such that P is the orthogonal projection on the subspace of l 2 spanned by {e n : n S}. Example If S = {n = 2k : k N}, then the matrix of P is a diagonal matrix (p nn ) s.t. p nn = 1 if n = 2k and p nn = 0 if n = 2k + 1.

43 conjecture (P1) Let A B(l 2 ) with 0 diagonal and ɛ > 0. There exist r N and r pairwise orthogonal diagonal projections P 1, P 2,..., P r such that r i=1 P i = 1 and r P i AP i ɛ A conjecture (P1 ) i=1 Let A B(l 2 ) and ɛ > 0. There exist r N and r pairwise orthogonal diagonal projections P 1, P 2,..., P r such that r i=1 P i = 1 and r P i AP i E(A) ɛ A i=1

44 conjecture (P2) Let ɛ > 0. There exists r N such that for every A B(l 2 ) with E(A) = 0 there exist r pairwise orthogonal diagonal projections P 1, P 2,..., P r such that r i=1 P i = 1 and r P i AP i ɛ A i=1

45 Theorem P1 P2 proof P2 implies P1. We show P1 P2. Assume not. Then there exists ɛ > 0 such that for every r N, there exists A r B(l 2 ), with E(A r ) = 0 such that if P 1, P 2,..., P r are r pairwise orthogonal diagonal projections with r i=1 P i = 1 then r P i A r P i > ɛ A r. i=1 Rescaling the operators A r, we may assume that A r = 1, r N. Set A = A r. Then A B(l 2 ) and E(A) = 0.

46 It follows from the assumption that there exists s N, and s pairwise orthogonal diagonal projections P 1, P 2,..., P s, s.t. s i=1 P i = 1 and In particular which is absurde. s P i AP i ɛ A. i=1 s P i A s P i ɛ A ɛ A s, i=1

47 Theorem KS is true iff every extension g of a pure state f on D satisfies E(A) = 0 g(a) = 0. proof Let f be a pure state on D and f its canonical extension. Assume g is another extension. We have E(A E(A)) = 0, hence g(a E(A)) = 0. Since g(a E(A)) = g(a) g(e(a)) = g(a) f(e(a)) = g(a) f(a), we obtain g(a) = f(a).

48 Theorem P1 is equivalent to KS. proof We show P1 KS. Let f be a pure state on D and g an extension of f. Let A B(l 2 ) with E(A) = 0. We have to show that g(a) = 0. Let ɛ > 0 and P 1, P 2,..., P r be pairwise orthogonal diagonal projections such that r i=1 P i = 1 and r P i AP i ɛ A. i=1

49 We have g(p i X) g(p i )g(x X) for every X B(l 2 ). Similarly g(xp j ) g(x X)g(P j ) for every X B(l 2 ). Since f is multiplicative, we have: f(p i ) = 0 or f(p i ) = 1 for all i. Since f is a state there exists i 0 s.t. f(p i0 ) = 1 and f(p i ) = 0 for all i i 0. It follows that g(a) = g( r i=1 r P i AP j ) = g(p i0 AP i0 ) ɛ A. j=1

50 conjecture (P3) Let ɛ > 0. There exists r N such that for every n N and every A B(l n 2 ) with E(A) = 0, there exist r pairwise orthogonal diagonal projections such that r i=1 P i = 1 and r P i AP i ɛ A i=1

51 Theorem P3 P2 proof Let ɛ > 0. Let A B(l 2 ) with E(A) = 0. Set Q n the orthogonal projection onto the subspace spanned by the vectors e 1, e 2,..., e n. Then Q n AQ n B(l n 2 ) and E(Q naq n ) = 0. There exist r N such that for every n N there are r pairwise orthogonal diagonal projections P1 n, Pn 2,..., Pn r s.t. r i=1 Pn i = I and r i=1 P n i Q n AQ n P n i ɛ Q n AQ n ɛ A

52 The space {P D : P projection} is stronly compact. By a diagonal argument we find an increasing sequence (n k ) and diagonal projections P 1, P 2,..., P r s.t. P nk i P i for every i = 1, 2,..., r. The projections P i are pairwise orthogonal and r i=1 P i = I. Then and hence r i=1 P nk i Q nk AQ nk P nk i sot r P i AP i i=1 r P i AP i ɛ A i=1

53 C algebras A nest N is a totally ordered family of closed subspaces of a Hilbert space H containing {0} and H, which is closed under intersection and closed span. If N a nest on H, then the nest algebra AlgN is the algebra of all operators T such that T(N) N for all N N. AlgN = {A B(H) : PAP = AP, for all P N }

54 Let {e n } n=1 be an orthonormal basis of H, and set P n = [e k : 1 k n]. We consider the nest N = {P n : n N} {H} {{0}}. Then AlgN consists of the operators of the form:

55

56 Let S be the set of strictly upper triangular matrices, and D the set of diagonal matrices. Proposition The map J J D is a bijection between ideals of AlgN containing S and ideals of D, with inverse I I + S. Proposition Let I be a maximal ideal of D. Then I + S is a a maximal ideal of AlgN.

57 question Is every maximal ideal of AlgN of this form? Theorem Yes proof Let J be a maximal ideal which does not contain S. Let X S, X / J. Then the ideal generated by J and X is AlgN. Let I be the identity operator. We have k I = B + C i XD i i=1 for some B J, k N and C i, D i AlgN. Then Y = k i=1 C ixd i S.

58 Let ɛ > 0. There exist r N and r pairwise orthogonal diagonal projections P 1, P 2,..., P r such that r i=1 P i = 1 and r P i YP i ɛ Y i=1 r r P i (I B)P i = I P i BP i ɛ Y. i=1 i=1 It follows that I J, which is a contradiction.

Entanglement, games and quantum correlations

Entanglement, games and quantum correlations Entanglement, and quantum M. Anoussis 7th Summerschool in Operator Theory Athens, July 2018 M. Anoussis Entanglement, and quantum 1 2 3 4 5 6 7 M. Anoussis Entanglement, and quantum C -algebras Definition

More information

An introduction to the Kadison-Singer Problem and the Paving Conjecture

An introduction to the Kadison-Singer Problem and the Paving Conjecture An introduction to the Kadison-Singer Problem and the Paving Conjecture Nicholas J. A. Harvey Department of Computer Science University of British Columbia nickhar@cs.ubc.ca July 11, 2013 Abstract We give

More information

Stone-Čech compactification of Tychonoff spaces

Stone-Čech compactification of Tychonoff spaces The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological

More information

A Brief Introduction to Functional Analysis

A Brief Introduction to Functional Analysis A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi sunglee@usm.edu July 5, 2007 Definition 1. An algebra A is a vector space over C with

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

The second dual of a C*-algebra

The second dual of a C*-algebra The second dual of a C*-algebra The main goal is to expose a short proof of the result of Z Takeda, [Proc Japan Acad 30, (1954), 90 95], that the second dual of a C*-algebra is, in effect, the von Neumann

More information

Semenov E. M. Banach limits and their applications. Banach limits... Semenov E. M. 1 / 22

Semenov E. M. Banach limits and their applications. Banach limits... Semenov E. M. 1 / 22 Semenov E. M. Banach limits and their applications Banach limits... Semenov E. M. 1 / 22 Joint work with E. A. Alekhno, F. A. Sukochev, A. S. Usachev. This work is supported by RNF, grant 16 11 101 25.

More information

Set theory and C*-algebras

Set theory and C*-algebras Advertisement Workshop on Set theory and C*-algebras January 23 to January 27, 2012 American Institute of Mathematics, Palo Alto, California organized by Ilijas Farah (York) and David Kerr (Texas A&M)

More information

C* ALGEBRAS AND THEIR REPRESENTATIONS

C* ALGEBRAS AND THEIR REPRESENTATIONS C* ALGEBRAS AND THEIR REPRESENTATIONS ILIJAS FARAH The original version of this note was based on two talks given by Efren Ruiz at the Toronto Set Theory seminar in November 2005. This very tentative note

More information

MTH 503: Functional Analysis

MTH 503: Functional Analysis MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................

More information

Filters in Analysis and Topology

Filters in Analysis and Topology Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into

More information

Orthogonal Pure States in Operator Theory

Orthogonal Pure States in Operator Theory Orthogonal Pure States in Operator Theory arxiv:math/0211202v2 [math.oa] 5 Jun 2003 Jan Hamhalter Abstract: We summarize and deepen existing results on systems of orthogonal pure states in the context

More information

SPECTRAL THEORY EVAN JENKINS

SPECTRAL THEORY EVAN JENKINS SPECTRAL THEORY EVAN JENKINS Abstract. These are notes from two lectures given in MATH 27200, Basic Functional Analysis, at the University of Chicago in March 2010. The proof of the spectral theorem for

More information

Functional Analysis I

Functional Analysis I Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker

More information

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator

More information

We know that S is a weak* compact convex subset of N and here are some sample questions where the answers are much less clear. 1.

We know that S is a weak* compact convex subset of N and here are some sample questions where the answers are much less clear. 1. Extending a normal state from a MASA of a von Neumann algebra by Charles Akemann David Sherman and I are just finishing a closely related paper titled Conditional Expectations onto Maximal Abelian Subalgebras

More information

THEOREMS, ETC., FOR MATH 516

THEOREMS, ETC., FOR MATH 516 THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition

More information

Upper triangular forms for some classes of infinite dimensional operators

Upper triangular forms for some classes of infinite dimensional operators Upper triangular forms for some classes of infinite dimensional operators Ken Dykema, 1 Fedor Sukochev, 2 Dmitriy Zanin 2 1 Department of Mathematics Texas A&M University College Station, TX, USA. 2 School

More information

THE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY

THE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY THE SEMIGROUP βs If S is a discrete space, its Stone-Čech compactification βs can be described as the space of ultrafilters on S with the topology for which the sets of the form A = {p βs : A p}, where

More information

Lecture 1 Operator spaces and their duality. David Blecher, University of Houston

Lecture 1 Operator spaces and their duality. David Blecher, University of Houston Lecture 1 Operator spaces and their duality David Blecher, University of Houston July 28, 2006 1 I. Introduction. In noncommutative analysis we replace scalar valued functions by operators. functions operators

More information

LECTURES ON THE KADISON-SINGER PROBLEM FALL 2007

LECTURES ON THE KADISON-SINGER PROBLEM FALL 2007 LECTURES ON THE KADISON-SINGER PROBLEM FALL 2007 VERN I. PAULSEN Abstract. These notes cover various topics in C*-algebras and functional analysis related to the Kadison-Singer Problem[13]. They are intended

More information

Preliminaries on von Neumann algebras and operator spaces. Magdalena Musat University of Copenhagen. Copenhagen, January 25, 2010

Preliminaries on von Neumann algebras and operator spaces. Magdalena Musat University of Copenhagen. Copenhagen, January 25, 2010 Preliminaries on von Neumann algebras and operator spaces Magdalena Musat University of Copenhagen Copenhagen, January 25, 2010 1 Von Neumann algebras were introduced by John von Neumann in 1929-1930 as

More information

Functional Analysis II held by Prof. Dr. Moritz Weber in summer 18

Functional Analysis II held by Prof. Dr. Moritz Weber in summer 18 Functional Analysis II held by Prof. Dr. Moritz Weber in summer 18 General information on organisation Tutorials and admission for the final exam To take part in the final exam of this course, 50 % of

More information

Problem Set 6: Solutions Math 201A: Fall a n x n,

Problem Set 6: Solutions Math 201A: Fall a n x n, Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series

More information

Functional Analysis HW #1

Functional Analysis HW #1 Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X

More information

Finite-dimensional representations of free product C*-algebras

Finite-dimensional representations of free product C*-algebras Finite-dimensional representations of free product C*-algebras Ruy Exel Terry A. Loring October 28, 2008 preliminary version Department of Mathematics and Statistics University of New Mexico Albuquerque,

More information

Frame expansions in separable Banach spaces

Frame expansions in separable Banach spaces Frame expansions in separable Banach spaces Pete Casazza Ole Christensen Diana T. Stoeva December 9, 2008 Abstract Banach frames are defined by straightforward generalization of (Hilbert space) frames.

More information

I teach myself... Hilbert spaces

I teach myself... Hilbert spaces I teach myself... Hilbert spaces by F.J.Sayas, for MATH 806 November 4, 2015 This document will be growing with the semester. Every in red is for you to justify. Even if we start with the basic definition

More information

Spectral Theory, with an Introduction to Operator Means. William L. Green

Spectral Theory, with an Introduction to Operator Means. William L. Green Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps

More information

Maximal Ideals of Triangular Operator Algebras

Maximal Ideals of Triangular Operator Algebras Maximal Ideals of Triangular Operator Algebras John Lindsay Orr jorr@math.unl.edu University of Nebraska Lincoln and Lancaster University May 17, 2007 John L. Orr (Univ. Nebr.) Maximal Ideals of Triangular

More information

Real Analysis Chapter 4 Solutions Jonathan Conder

Real Analysis Chapter 4 Solutions Jonathan Conder 2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

OPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic

OPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic OPERATOR THEORY ON HILBERT SPACE Class notes John Petrovic Contents Chapter 1. Hilbert space 1 1.1. Definition and Properties 1 1.2. Orthogonality 3 1.3. Subspaces 7 1.4. Weak topology 9 Chapter 2. Operators

More information

The essential numerical range and the Olsen problem

The essential numerical range and the Olsen problem The essential numerical range and the Olsen problem Lille, 2010 Definition Let H be a Hilbert space, T B(H). The numerical range of T is the set W (T ) = { Tx, x : x H, x = 1}. Definition Let H be a Hilbert

More information

Errata Applied Analysis

Errata Applied Analysis Errata Applied Analysis p. 9: line 2 from the bottom: 2 instead of 2. p. 10: Last sentence should read: The lim sup of a sequence whose terms are bounded from above is finite or, and the lim inf of a sequence

More information

I will view the Kadison Singer question in the following form. Let M be the von Neumann algebra direct sum of complex matrix algebras of all sizes,

I will view the Kadison Singer question in the following form. Let M be the von Neumann algebra direct sum of complex matrix algebras of all sizes, THE KADISON-SINGER QUESTION FOR TYPE II 1 FACTORS AND RELATED QUESTIONS by Charles Akemann, with help from Sorin Popa, David Sherman, Joel Anderson, Rob Archbold, Nik weaver, Betul Tanbay (and no doubt

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, ETC., FOR MATH 515 THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every

More information

A non-commutative notion of separate continuity

A non-commutative notion of separate continuity A non-commutative notion of separate continuity Matthew Daws Leeds November 2014 Matthew Daws (Leeds) Separate continuity November 2014 1 / 22 Locally compact spaces Let X be a locally compact (Hausdorff)

More information

Professor Carl Cowen Math Fall 17 PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

Professor Carl Cowen Math Fall 17 PROBLEMS. (b) (Polarization Identity) Show that in any inner product space 1 Professor Carl Cowen Math 54600 Fall 17 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization

More information

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It

More information

Math 203A - Solution Set 1

Math 203A - Solution Set 1 Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in

More information

Weak Topologies, Reflexivity, Adjoint operators

Weak Topologies, Reflexivity, Adjoint operators Chapter 2 Weak Topologies, Reflexivity, Adjoint operators 2.1 Topological vector spaces and locally convex spaces Definition 2.1.1. [Topological Vector Spaces and Locally convex Spaces] Let E be a vector

More information

ULTRAFILTER AND HINDMAN S THEOREM

ULTRAFILTER AND HINDMAN S THEOREM ULTRAFILTER AND HINDMAN S THEOREM GUANYU ZHOU Abstract. In this paper, we present various results of Ramsey Theory, including Schur s Theorem and Hindman s Theorem. With the focus on the proof of Hindman

More information

5 Compact linear operators

5 Compact linear operators 5 Compact linear operators One of the most important results of Linear Algebra is that for every selfadjoint linear map A on a finite-dimensional space, there exists a basis consisting of eigenvectors.

More information

DAVIS WIELANDT SHELLS OF NORMAL OPERATORS

DAVIS WIELANDT SHELLS OF NORMAL OPERATORS DAVIS WIELANDT SHELLS OF NORMAL OPERATORS CHI-KWONG LI AND YIU-TUNG POON Dedicated to Professor Hans Schneider for his 80th birthday. Abstract. For a finite-dimensional operator A with spectrum σ(a), the

More information

Problem Set 2: Solutions Math 201A: Fall 2016

Problem Set 2: Solutions Math 201A: Fall 2016 Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that

More information

Exercise Solutions to Functional Analysis

Exercise Solutions to Functional Analysis Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n

More information

Analysis Preliminary Exam Workshop: Hilbert Spaces

Analysis Preliminary Exam Workshop: Hilbert Spaces Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H

More information

The projectivity of C -algebras and the topology of their spectra

The projectivity of C -algebras and the topology of their spectra The projectivity of C -algebras and the topology of their spectra Zinaida Lykova Newcastle University, UK Waterloo 2011 Typeset by FoilTEX 1 The Lifting Problem Let A be a Banach algebra and let A-mod

More information

Dual Spaces. René van Hassel

Dual Spaces. René van Hassel Dual Spaces René van Hassel October 1, 2006 2 1 Spaces A little scheme of the relation between spaces in the Functional Analysis. FA spaces Vector space Topological Space Topological Metric Space Vector

More information

Biholomorphic functions on dual of Banach Space

Biholomorphic functions on dual of Banach Space Biholomorphic functions on dual of Banach Space Mary Lilian Lourenço University of São Paulo - Brazil Joint work with H. Carrión and P. Galindo Conference on Non Linear Functional Analysis. Workshop on

More information

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space 1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization

More information

THE ALTERNATIVE DUNFORD-PETTIS PROPERTY FOR SUBSPACES OF THE COMPACT OPERATORS

THE ALTERNATIVE DUNFORD-PETTIS PROPERTY FOR SUBSPACES OF THE COMPACT OPERATORS THE ALTERNATIVE DUNFORD-PETTIS PROPERTY FOR SUBSPACES OF THE COMPACT OPERATORS MARÍA D. ACOSTA AND ANTONIO M. PERALTA Abstract. A Banach space X has the alternative Dunford-Pettis property if for every

More information

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

Introduction to Functional Analysis

Introduction to Functional Analysis Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture

More information

Lectures on Analysis John Roe

Lectures on Analysis John Roe Lectures on Analysis John Roe 2005 2009 1 Lecture 1 About Functional Analysis The key objects of study in functional analysis are various kinds of topological vector spaces. The simplest of these are the

More information

The Measure Problem. Louis de Branges Department of Mathematics Purdue University West Lafayette, IN , USA

The Measure Problem. Louis de Branges Department of Mathematics Purdue University West Lafayette, IN , USA The Measure Problem Louis de Branges Department of Mathematics Purdue University West Lafayette, IN 47907-2067, USA A problem of Banach is to determine the structure of a nonnegative (countably additive)

More information

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem 56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi

More information

INTRODUCTION TO C*-ALGEBRAS. Introduction Good references for the contents (and way beyond) are [Mur90, Ped79].

INTRODUCTION TO C*-ALGEBRAS. Introduction Good references for the contents (and way beyond) are [Mur90, Ped79]. INTRODUCTION TO C*-ALGEBRAS TRON OMLAND AND NICOLAI STAMMEIER Abstract. These are lectures notes for an introductory course on C -algebras held in Autumn 2016 at the University of Oslo. Introduction Good

More information

Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7

Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Prof. Wickerhauser Due Friday, February 5th, 2016 Please do Exercises 3, 6, 14, 16*, 17, 18, 21*, 23*, 24, 27*. Exercises marked

More information

Notes on Banach Algebras and Functional Calculus

Notes on Banach Algebras and Functional Calculus Notes on Banach Algebras and Functional Calculus April 23, 2014 1 The Gelfand-Naimark theorem (proved on Feb 7) Theorem 1. If A is a commutative C -algebra and M is the maximal ideal space, of A then the

More information

Elliott s program and descriptive set theory I

Elliott s program and descriptive set theory I Elliott s program and descriptive set theory I Ilijas Farah LC 2012, Manchester, July 12 a, a, a, a, the, the, the, the. I shall need this exercise later, someone please solve it Exercise If A = limna

More information

CHAPTER 4. βs as a semigroup

CHAPTER 4. βs as a semigroup CHAPTER 4 βs as a semigroup In this chapter, we assume that (S, ) is an arbitrary semigroup, equipped with the discrete topology. As explained in Chapter 3, we will consider S as a (dense ) subset of its

More information

Contents. Index... 15

Contents. Index... 15 Contents Filter Bases and Nets................................................................................ 5 Filter Bases and Ultrafilters: A Brief Overview.........................................................

More information

THE PROBLEMS FOR THE SECOND TEST FOR BRIEF SOLUTIONS

THE PROBLEMS FOR THE SECOND TEST FOR BRIEF SOLUTIONS THE PROBLEMS FOR THE SECOND TEST FOR 18.102 BRIEF SOLUTIONS RICHARD MELROSE Question.1 Show that a subset of a separable Hilbert space is compact if and only if it is closed and bounded and has the property

More information

MATH 113 SPRING 2015

MATH 113 SPRING 2015 MATH 113 SPRING 2015 DIARY Effective syllabus I. Metric spaces - 6 Lectures and 2 problem sessions I.1. Definitions and examples I.2. Metric topology I.3. Complete spaces I.4. The Ascoli-Arzelà Theorem

More information

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify

More information

Elementary linear algebra

Elementary linear algebra Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The

More information

Convex Geometry. Carsten Schütt

Convex Geometry. Carsten Schütt Convex Geometry Carsten Schütt November 25, 2006 2 Contents 0.1 Convex sets... 4 0.2 Separation.... 9 0.3 Extreme points..... 15 0.4 Blaschke selection principle... 18 0.5 Polytopes and polyhedra.... 23

More information

REPRESENTATION THEORY WEEK 7

REPRESENTATION THEORY WEEK 7 REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable

More information

Notes for Functional Analysis

Notes for Functional Analysis Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) November 6, 2015 1 Lecture 18 1.1 The convex hull Let X be any vector space, and E X a subset. Definition 1.1. The convex hull of E is the

More information

Summary of Real Analysis by Royden

Summary of Real Analysis by Royden Summary of Real Analysis by Royden Dan Hathaway May 2010 This document is a summary of the theorems and definitions and theorems from Part 1 of the book Real Analysis by Royden. In some areas, such as

More information

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever

More information

C.6 Adjoints for Operators on Hilbert Spaces

C.6 Adjoints for Operators on Hilbert Spaces C.6 Adjoints for Operators on Hilbert Spaces 317 Additional Problems C.11. Let E R be measurable. Given 1 p and a measurable weight function w: E (0, ), the weighted L p space L p s (R) consists of all

More information

1.2 Fundamental Theorems of Functional Analysis

1.2 Fundamental Theorems of Functional Analysis 1.2 Fundamental Theorems of Functional Analysis 15 Indeed, h = ω ψ ωdx is continuous compactly supported with R hdx = 0 R and thus it has a unique compactly supported primitive. Hence fφ dx = f(ω ψ ωdy)dx

More information

2.2 Annihilators, complemented subspaces

2.2 Annihilators, complemented subspaces 34CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS 2.2 Annihilators, complemented subspaces Definition 2.2.1. [Annihilators, Pre-Annihilators] Assume X is a Banach space. Let M X and N X. We

More information

Analysis III Theorems, Propositions & Lemmas... Oh My!

Analysis III Theorems, Propositions & Lemmas... Oh My! Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In

More information

7 Complete metric spaces and function spaces

7 Complete metric spaces and function spaces 7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m

More information

Math 209B Homework 2

Math 209B Homework 2 Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact

More information

Normed Vector Spaces and Double Duals

Normed Vector Spaces and Double Duals Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces

More information

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space. Chapter 1 Preliminaries The purpose of this chapter is to provide some basic background information. Linear Space Hilbert Space Basic Principles 1 2 Preliminaries Linear Space The notion of linear space

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that

More information

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Boolean Algebras, Boolean Rings and Stone s Representation Theorem Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to

More information

Exercise Sheet 1.

Exercise Sheet 1. Exercise Sheet 1 You can download my lecture and exercise sheets at the address http://sami.hust.edu.vn/giang-vien/?name=huynt 1) Let A, B be sets. What does the statement "A is not a subset of B " mean?

More information

Extreme points of compact convex sets

Extreme points of compact convex sets Extreme points of compact convex sets In this chapter, we are going to show that compact convex sets are determined by a proper subset, the set of its extreme points. Let us start with the main definition.

More information

On positive maps in quantum information.

On positive maps in quantum information. On positive maps in quantum information. Wladyslaw Adam Majewski Instytut Fizyki Teoretycznej i Astrofizyki, UG ul. Wita Stwosza 57, 80-952 Gdańsk, Poland e-mail: fizwam@univ.gda.pl IFTiA Gdańsk University

More information

Spring -07 TOPOLOGY III. Conventions

Spring -07 TOPOLOGY III. Conventions Spring -07 TOPOLOGY III Conventions In the following, a space means a topological space (unless specified otherwise). We usually denote a space by a symbol like X instead of writing, say, (X, τ), and we

More information

Vector Spaces and Linear Transformations

Vector Spaces and Linear Transformations Vector Spaces and Linear Transformations Wei Shi, Jinan University 2017.11.1 1 / 18 Definition (Field) A field F = {F, +, } is an algebraic structure formed by a set F, and closed under binary operations

More information

Real Analysis. Jesse Peterson

Real Analysis. Jesse Peterson Real Analysis Jesse Peterson February 1, 2017 2 Contents 1 Preliminaries 7 1.1 Sets.................................. 7 1.1.1 Countability......................... 8 1.1.2 Transfinite induction.....................

More information

SYMPLECTIC GEOMETRY: LECTURE 1

SYMPLECTIC GEOMETRY: LECTURE 1 SYMPLECTIC GEOMETRY: LECTURE 1 LIAT KESSLER 1. Symplectic Linear Algebra Symplectic vector spaces. Let V be a finite dimensional real vector space and ω 2 V, i.e., ω is a bilinear antisymmetric 2-form:

More information

Spectral theory for compact operators on Banach spaces

Spectral theory for compact operators on Banach spaces 68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy

More information

Spectral theorems for bounded self-adjoint operators on a Hilbert space

Spectral theorems for bounded self-adjoint operators on a Hilbert space Chapter 10 Spectral theorems for bounded self-adjoint operators on a Hilbert space Let H be a Hilbert space. For a bounded operator A : H H its Hilbert space adjoint is an operator A : H H such that Ax,

More information

UNITARIES IN BANACH SPACES

UNITARIES IN BANACH SPACES Illinois Journal of Mathematics Volume 48, Number 1, Spring 2004, Pages 339 351 S 0019-2082 UNITARIES IN BANACH SPACES PRADIPTA BANDYOPADHYAY, KRZYSZTOF JAROSZ, AND T. S. S. R. K. RAO Abstract. We study

More information

von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)

von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr

More information

Lecture Notes on C -algebras. Ian F. Putnam

Lecture Notes on C -algebras. Ian F. Putnam Lecture Notes on C -algebras Ian F. Putnam July 28, 2016 2 Contents 1 Basics of C -algebras 5 1.1 Definition............................. 5 1.2 Examples............................. 7 1.3 Spectrum.............................

More information

Reflexivity of Locally Convex Spaces over Local Fields

Reflexivity of Locally Convex Spaces over Local Fields Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric

More information

FROM THE DEFINITION OF A HILBERT SPACE TO THE PROOF OF SPECTRAL THEOREMS

FROM THE DEFINITION OF A HILBERT SPACE TO THE PROOF OF SPECTRAL THEOREMS FROM THE DEFINITION OF A HILBERT SPACE TO THE PROOF OF SPECTRAL THEOREMS Maciej Horowski Institute of Physics, Warsaw University Division 15-424 Bialystok, Lipowa 41, Poland 1 Hilbert spaces 1.1 Let H

More information

Overview of normed linear spaces

Overview of normed linear spaces 20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural

More information

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using

More information

APPROXIMATE WEAK AMENABILITY OF ABSTRACT SEGAL ALGEBRAS

APPROXIMATE WEAK AMENABILITY OF ABSTRACT SEGAL ALGEBRAS MATH. SCAND. 106 (2010), 243 249 APPROXIMATE WEAK AMENABILITY OF ABSTRACT SEGAL ALGEBRAS H. SAMEA Abstract In this paper the approximate weak amenability of abstract Segal algebras is investigated. Applications

More information