A Brief Introduction to Functional Analysis

Size: px
Start display at page:

Download "A Brief Introduction to Functional Analysis"

Transcription

1 A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi July 5, 2007 Definition 1. An algebra A is a vector space over C with an additional operation : A A A; (a, b) a b, which is distributive over +: a(b + c) = ab + ac, (a + b)c = ac + bc, for all a, b, c A. Remark 1. In general, the product is not commutative, i.e., ab ba. Hereafter, we assume that A has a unit 1, i.e., 1 is the identity element for the product. Definition 2. The algebra A is called a -algebra if it admits an involution : A A with properties for all a, b A and α, β C. (a ) = a, (ab) = b a, (αa + βb) = ᾱa + βb, Definition 3. A normed algebra A is an algebra with a norm : A R + {0} which has the properties a = 0 a = 0, for all a, b A and α C. αa = α a, a + b a + b (triangle inequality), ab a b (product inequality) 1

2 If A is a normed algebra, the norm defines a metric d : A A R by d(x, y) = x y for x, y A. The topology induced by this metric is called the uniform topology. A sequence {a n } in a normed algebra A is said to be a Cauchy sequence if given ɛ > 0 there exists a positive integer N such that d(a m, a n ) = a m a n < ɛ for all m, n N. A Banach algebra is a normed algebra which is complete (i.e., every Cauchy sequence is a convergent sequence) in the uniform topology. A Banach -algebra A is a normed algebra -algebra which is complete and such that a = a (1) for a A. A C -algebra A is a Banach -algebra whose norm satisfies the additional identity a a = a 2 (2) for a A. Proposition 1. The identity (2) implies (1). Proof. For any a A, by the product inequality, This implies a 2 = a a a a. For any a A, a A. Then by the inequality (3), Therefore, a = a. a a. (3) a (a ) = a. Definition 4. A subspace I of the algebra A is a left ideal (resp. right ideal) if for any a A and b I, ab I (resp. ba I). If I is both left ideal and right ideal, it is called a two-sided ideal. Let A be a -algebra. An ideal I is called a -ideal if I I 1. Proposition 2. Let A be a -algebra and I a -ideal of A. Then I is a two-sided ideal. 1 In fact, this implies that I = I. 2

3 Proof. Assume that I is a left ideal. Let a A and b I. Then a A and b I. Since I is a left ideal, a b = (ba) I and so ba = ((ba) ) I. Let A be an algebra and I a two side ideal of A. Denote by A/I the set of all left (or right, since + is commutative) cosets of I in A, i.e., A/I = {a + I : a A}. Define +, scalar multiplication, and the product as follows: For any a + I, b + I A/I and α C, (a + I) + (b + I) := (a + b) + I, α(a + I) := αa + I, (a + I) (b + I) := ab + I. Then one can easily see that these operations are well-defined; hence A/I becomes an algebra over C with these operations. One will notice that in order for the product to be well-defined, I needs to be two-sided. Define : A/I R + {0} by a + I := inf a + b (4) b I for each a + I A/I. Clearly, a + I a. Then is a norm. Exercise 1. Show that defined as in (4) is a norm. If A is a Banach -algebra and I is a -ideal which is closed, then the quotient A/I can be made into a Banach -algebra. Furthermore, if A is a C*-algebra, then A/I is also a C*-algebra. Let A be an algebra with unit 1. The resolvant set r(a) of a A is r(a) = {λ C : a λ1is invertible}. For any λ r(a), the inverse (a λ1) 1 is the resolvant of a at λ. C \ r(a) is called the spectrum σ(a) of a. The spectral radius ρ(a) of a A is ρ(a) = sup{ λ : λ r(a)}. If A is a C*-algebra then ρ(a) = a for any a A. An element a A is called self-adjoint if a = a. Note that the spectrum of a self-adjoint element is real and that σ(a) [ a, a ], σ(a 2 ) [0, a 2 ]. An element a A is called positive if it is self-adjoint and its spectrum is a subset of [0, ). 3

4 Proposition 3. a A is positive if and only if a = b b for some b A. Let H be a complex vector space, i.e., a vector space over the complex field C. H is called an inner product space or unitary space if there is a mapping : H H C such that Some immediate consequences are: y x = x y (5) x + y z = x z + y z (6) αx y = α x y, x, y H, α C (7) x x 0, x H (8) x x = 0 iff x = 0. (9) 1. (7) implies that 0 y = 0 for all y H. 2. By (6) and (7), the mapping x x y for each y H is a linear functional on H. 3. By (5) and (7), 4. By (5) and (6), x αy = αy x = α y x = ᾱ y x = ᾱ x y. z x + y = x + y z = x z + y z = x z + y z = z x + z y. 5. By (8), we may define x, the norm of the vector x H: x := x x. Proposition 4. For any x, y H, the Cauchy-Schwarz inequality holds. x y x y (10) 4

5 Proposition 5. For any x, y H, the triangle inequality holds. x + y x + y Denote by H(1) the closed unit ball centered at 0 in H: H(1) := {x H : x 1}. For any subset S of H the closed linear subspace is the orthogonal space of S. S := {y H : x y = 0 for all x S} Proposition 6. Let S be a subset of H. Then 1. S (S ). 2. If S T then S T, for all S, T H. 3. If S is a linear subspace of H, then (S ) = S, the closure of S. For each x H, define ϕ x : H C by ϕ x (y) = x y for any y H. Then ϕ x is a continuous 2 linear functional. ϕ x is called the dual vector of x H. Exercise 2. Show that S = x S ϕ 1 x (0). Hence it is closed in H. If H is complete as a metric space, it is called a (complex) Hilbert space. Example 1. Let C n = {(ξ 1,, ξ n ) : ξ i C, i = 1,, n}, i.e., C n = C } C {{ C }. n copies For any x = (ξ 1,, ξ n ), y = (η 1,, η n ) C n, define x y = n ξ j η j. The inner product is called the hermitian product. C n with the hermitian product is a Hilbert space. 2 See Proposition 7. j=1 5

6 Example 2. Let (X, M, µ) be a measure space. L 2 (X, µ) = {ξ : X C : ξ(x) 2 dµ(x) < } is a Hilbert space with the inner product ξ η = ξηdµ(x). l 2 = {ξ = (ξ n ) n 0 : ξ n C and is a Hilbert space with the inner product ξ η = X X ξ i η i. n=0 ξ n 2 < 0} Example 3. Let C([0, 1]) := {f : [0, 1] C : f is continous.}. For each f, g C([0, 1]), define f g = 1 0 n=0 f(t)g(t)dt. C([0, 1]) with is not a Hilbert space. It is a prehilbert space, i.e., an inner product space which is not complete. Exercise 3. In Example 3, find a sequence {f n } in C([0, 1]) of which limit is a step function which is not continuous on [0, 1]. Proposition 7. Let H be a (pre)hilbert space. For any y H, the mappings are uniformly continuous. Proof. x x y, x y x, x x x 1 y x 2 y = x 1 x 2 y x 1 x 2 y by Cauchy-Schwarz inequality (10). Given ɛ > 0, choose any positive number if y = 0, δ = ɛ if y 0. y 6

7 Then x x y is uniformly continuous. It follows from the inequality x 1 x 2 x 1 x 2, that the mapping x x is uniformly continuous. Hereafter, H denotes a complex Hilbert space. Theorem 1 (Riesz Representation Theorem). If φ : H C is a continuous linear functional, then there exists uniquely ξ H such that for all η H. Moreover, φ(η) = ξ η ξ = sup{ φ(η) : η H(1)}. Remark 2. In quantum mechanics, states of a system form a complex Hilbert space H. State vectors in H are represented as kets ψ and dual vectors are represented as bras ψ. Using ket and bra notations, the Riesz Representation Theorem can be stated as: If φ : H C is a continuous linear functional, then there exists uniquely a bra ξ such that for all kets η H. Moreover, φ η = ξ η ξ = sup{ φ η : η H(1)}. Theorem 2. Let a : H H be a linear mapping. Then the following are equivalent: (i) a = sup{ aξ : ξ H(1)} (11) is bounded. (ii) a is continuous. (iii) a is continuous at one point of H. Definition 5. If a : H H satisfies (i)-(iii), a is said to be a bounded linear operator from H to H and a is said to be its norm. 7

8 Proposition 8. a : H H is a bounded linear operator if and only if there is a constant C > 0 such that aξ H C ξ H for all ξ H. Proof. Suppose that a : H H is a bounded linear operator. Since a is bounded, there exists a constant C > 0 such that a C. This implies that aξ H C for all ξ H(1). Let ψ( 0) H. Then ψ ψ H H(1). So, 1 ψ H aψ H = a ψ ψ H C. H This implies that The converse is clear. aψ H C ψ H. Denote by B(H, H ) the set of all bounded linear mappings from H to H. Then B(H, H ) is a Banach space with the norm in (i) of Theorem 2. B(H, H) is simply denoted by B(H), i.e., B(H) is the set of all bounded operators on H. Exercise 4. Show that B(H, H ) is a Banach space. Proposition 9. Let a B(H, H ) and b B(H, H ). Then ba B(H, H ). aξ Proof. For any ξ H, aξ H ( ) (1) and aξ b aξ = 1 aξ baξ. On the ( other hand, b aξ ) b. So for all ξ H, baξ b a. This implies that for all ξ H(1), Therefore, This implies that ba B(H, H ). baξ b aξ b a. ba b a. (12) Remark 3. Proposition 9 tells that B(H) is closed under function composition. Function composition can be regarded as a product operation on B(H). 8

9 Exercise 5. Show that B(H) is a Banach algebra. Proposition 10. For any bounded linear operator a : H H, there exists uniquely a bounded linear operator a : H H such that a η ξ = η aξ for all ξ H, η H. a is called the adjoint of a. Proof. For any η H, there is a continuous linear functional H C; ξ η aξ. By the Riesz Representation Theorem (Theorem 1), there exists uniquely ζ H such that ζ ξ = η aξ for any ξ H. Define a : H H by Then a is linear: a η = ζ. By the uniqueness of a (αη 1 + βη 2 ), αη 1 + βη 2 aξ = α η 1 aξ + β η 2 aξ = α ζ 1 ξ + β ζ 2 ξ = αζ 1 + βζ 2 ξ. a (αη 1 + βη 2 ) = αζ 1 + βζ 2 = αa η 1 + βa η 2. The boundedness of a follows from the following proposition. Proposition 11. a = sup{ η aξ : ξ H(1), η H (1)} = a. Proof. By Cauchy-Schwarz inequality (10), η aξ η aξ η a ξ for all ξ H, η H. So, for all ξ H(1), η H (1), η aξ a. 9

10 This implies that a sup{ η aξ : ξ H(1), η H (1)}. Assume that a 0 and choose 0 < ɛ < a 2. Then from the definition of a in (11). there exists ξ H(1) such that aξ a ɛ. Set η = aξ aξ H (1). Then η aξ = aξ a ɛ and so, Hence, Since a = a. sup{ η aξ : ξ H(1), η H (1)} a. a = sup{ η aξ : ξ H(1), η H (1)}. η aξ = a η ξ = ξ a η, Proposition 12. For a, b B(H, H ), λ, µ C, (a ) = a and (λa + µb) = λa + µb. Proof. Let ξ H. The operator (a ) : H H satisfies for all η H. So, (a ) ξ η = ξ a η = aξ η (a ) ξ aξ η = 0 for all η H. This implies that (a ) ξ aξ = 0. Since (a ) ξ = aξ for all ξ H, (a ) = a. Let a, b B(H, H ) and λ, µ C. Then (λa + µb) η ξ = η (λa + µb)ξ = η λaξ + η µbξ = λ η aξ + µ η bξ = λ a η ξ + µ b η ξ = λa η + µb η ξ = ( λa η + µb )η ξ for all ξ H, η H. Therefore, (λa + µb) = λa + µb. 10

11 Proposition 12 tells that defines an involution on B(H), i.e., B(H) is a -algebra. The following is a corollary to Proposition 11. Corollary 1. For any a B(H, H ), a a = a 2. Proof. By the product inequality (12), On the other hand, a a a a = a 2. a 2 = sup{ aξ 2 : ξ H(1)} = sup{ aξ aξ : ξ H(1)} = sup{ ξ a aξ : ξ H(1)} a a, since ξ a aξ a aξ for all ξ H(1). This completes the proof. Finally we can conclude that B(H) is a C*-algebra. Example 4 (Examples of C*-algebra). 1. The commutative algebra of C(M) of continuous functions on a Hausdorff space M (vanishing at infinity 3 if M is not compact) with denoting complex conjugation and the norm given by f = sup x M f(x). 2. Given an integer n 1 and the Hilbert space C n, the algebra B(C n ) can be identified with the matrix algebra The involution is given by M n (C) = {(a ij ) : a ij C, i, j = 1,, n}. (a ) ij = a ji, i, j = 1,, n, for every a M n (C). The norm is given by a a = sup aξ = max µ j, ξ C n, ξ 1 1 j n where µ 1,, µ n denote the eigenvalues of a a. 3 A real or complex valued function f on a locally compact Hausdorff space M is said to vanish at infinity if for every ɛ > 0 there exists a compact set K S such that f(x) < ɛ for x / K. 11

12 Exercise 6. Show that a a = a 2 for every a M n (C). Exercise 7. Show that for every a M n (C), a = max 1 j n µ j, where µ 1,, µ n denote the eigenvalues of a a. It is interesting to see that: Theorem 3. On the -algebra M n (C), the only norm ν such that ν(a a) = ν(a) 2 for every a M n (C) is the operator norm a a. Let A and B be C*-algebras. A -morphism π : A B is a C-linear map such that for all a, b A. π(ab) = π(a)π(b), π(a ) = π(a), Proposition 13. π is positive, namely if a A is positive then so is π(a). Proof. If a A is positive then by Proposition 3, a = b b for some b A. Now, π(a) = π(b b) = π(b )π(b) = π(b) π(b). Note that if π : A B is a -morphism then for any a A, π(a) B a A. This inequality implies that every -morphism is continuous. If π : A B (A and B are C*-algebras) is -morphism, then the image π(a) is C*-subalgebra of B. If -morphism is bijective then it is called a -isomorphism. Theorem 4 (Fundamental Morphism Theorem). Let A, B be C*- algebras and π : A B an onto -morphism. Then ker π = {a A : π(a) = 0} = π 1 (0) is a -ideal of A and A/ ker π is -isomorphic to B. Exercise 8. Prove Theorem 4. A representation of a C*-algebra A is a pair (H, π) where H is a Hilbert space and π is a -morphism π : A B(H), with B(H) the C*-algebra of bounded operators on H. The representation (H, π) is called faithful if ker π = 0, so that π is a -isomorphism between A and π(a). If a A is positive, we denote it by a > 0. 12

13 Proposition 14. A representation is faithful if and only if π(a) = a for any a A or π(a) > 0 for all a > 0. Exercise 9. Prove Proposition 14. The representation (H, π) is irreducible if the only closed subspace of H which are invariant under the action of π(a) are {0} and H. Two representations (H 1, π 1 ) and (H 2, π 2 ) are said to be (unitary) equivalent if there exists a unitary operator U : H 1 H 2 such that π 1 (a) = U π 2 (a)u for each a A. 13

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 following definition is fundamental.

The following definition is fundamental. 1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic

More information

MAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3. (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers.

MAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3. (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers. MAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3 (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers. (a) Define d : V V + {0} by d(x, y) = 1 ξ j η j 2 j 1 + ξ j η j. Show that

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

Lecture Notes on Operator Algebras. John M. Erdman Portland State University. Version March 12, 2011

Lecture Notes on Operator Algebras. John M. Erdman Portland State University. Version March 12, 2011 Lecture Notes on Operator Algebras John M. Erdman Portland State University Version March 12, 2011 c 2010 John M. Erdman E-mail address: erdman@pdx.edu Contents Chapter 1. LINEAR ALGEBRA AND THE SPECTRAL

More information

CHAPTER VIII HILBERT SPACES

CHAPTER VIII HILBERT SPACES CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)

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

CHAPTER II HILBERT SPACES

CHAPTER II HILBERT SPACES CHAPTER II HILBERT SPACES 2.1 Geometry of Hilbert Spaces Definition 2.1.1. Let X be a complex linear space. An inner product on X is a function, : X X C which satisfies the following axioms : 1. y, x =

More information

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint

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

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

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

Quantum Computing Lecture 2. Review of Linear Algebra

Quantum Computing Lecture 2. Review of Linear Algebra Quantum Computing Lecture 2 Review of Linear Algebra Maris Ozols Linear algebra States of a quantum system form a vector space and their transformations are described by linear operators Vector spaces

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

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

Hilbert space methods for quantum mechanics. S. Richard

Hilbert space methods for quantum mechanics. S. Richard Hilbert space methods for quantum mechanics S. Richard Spring Semester 2016 2 Contents 1 Hilbert space and bounded linear operators 5 1.1 Hilbert space................................ 5 1.2 Vector-valued

More information

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

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 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

Linear Algebra and Dirac Notation, Pt. 1

Linear Algebra and Dirac Notation, Pt. 1 Linear Algebra and Dirac Notation, Pt. 1 PHYS 500 - Southern Illinois University February 1, 2017 PHYS 500 - Southern Illinois University Linear Algebra and Dirac Notation, Pt. 1 February 1, 2017 1 / 13

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

Recitation 1 (Sep. 15, 2017)

Recitation 1 (Sep. 15, 2017) Lecture 1 8.321 Quantum Theory I, Fall 2017 1 Recitation 1 (Sep. 15, 2017) 1.1 Simultaneous Diagonalization In the last lecture, we discussed the situations in which two operators can be simultaneously

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

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

Linear Analysis Lecture 5

Linear Analysis Lecture 5 Linear Analysis Lecture 5 Inner Products and V Let dim V < with inner product,. Choose a basis B and let v, w V have coordinates in F n given by x 1. x n and y 1. y n, respectively. Let A F n n be the

More information

Mathematical Methods wk 1: Vectors

Mathematical Methods wk 1: Vectors Mathematical Methods wk : Vectors John Magorrian, magog@thphysoxacuk These are work-in-progress notes for the second-year course on mathematical methods The most up-to-date version is available from http://www-thphysphysicsoxacuk/people/johnmagorrian/mm

More information

Mathematical Methods wk 1: Vectors

Mathematical Methods wk 1: Vectors Mathematical Methods wk : Vectors John Magorrian, magog@thphysoxacuk These are work-in-progress notes for the second-year course on mathematical methods The most up-to-date version is available from http://www-thphysphysicsoxacuk/people/johnmagorrian/mm

More information

Spectral Mapping Theorem

Spectral Mapping Theorem Spectral Mapping Theorem Dan Sievewright Definition of a Hilbert space Let H be a Hilbert space over C. 1) H is a vector space over C. 2) H has an inner product, : H H C with the following properties.

More information

Lecture 5. Ch. 5, Norms for vectors and matrices. Norms for vectors and matrices Why?

Lecture 5. Ch. 5, Norms for vectors and matrices. Norms for vectors and matrices Why? KTH ROYAL INSTITUTE OF TECHNOLOGY Norms for vectors and matrices Why? Lecture 5 Ch. 5, Norms for vectors and matrices Emil Björnson/Magnus Jansson/Mats Bengtsson April 27, 2016 Problem: Measure size of

More information

l(y j ) = 0 for all y j (1)

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space. Hilbert Spaces Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space. Vector Space. Vector space, ν, over the field of complex numbers,

More information

The weak topology of locally convex spaces and the weak-* topology of their duals

The weak topology of locally convex spaces and the weak-* topology of their duals The weak topology of locally convex spaces and the weak-* topology of their duals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Introduction These notes

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

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

Introduction and Preliminaries

Introduction and Preliminaries Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis

More information

4 Linear operators and linear functionals

4 Linear operators and linear functionals 4 Linear operators and linear functionals The next section is devoted to studying linear operators between normed spaces. Definition 4.1. Let V and W be normed spaces over a field F. We say that T : V

More information

1 Definition and Basic Properties of Compa Operator

1 Definition and Basic Properties of Compa Operator 1 Definition and Basic Properties of Compa Operator 1.1 Let X be a infinite dimensional Banach space. Show that if A C(X ), A does not have bounded inverse. Proof. Denote the unit ball of X by B and the

More information

The spectrum of a self-adjoint operator is a compact subset of R

The spectrum of a self-adjoint operator is a compact subset of R The spectrum of a self-adjoint operator is a compact subset of R Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 Abstract In these notes I prove that the

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

FUNCTIONAL ANALYSIS-NORMED SPACE

FUNCTIONAL ANALYSIS-NORMED SPACE MAT641- MSC Mathematics, MNIT Jaipur FUNCTIONAL ANALYSIS-NORMED SPACE DR. RITU AGARWAL MALAVIYA NATIONAL INSTITUTE OF TECHNOLOGY JAIPUR 1. Normed space Norm generalizes the concept of length in an arbitrary

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

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

An introduction to some aspects of functional analysis

An introduction to some aspects of functional analysis An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms

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

1 Inner Product Space

1 Inner Product Space Ch - Hilbert Space 1 4 Hilbert Space 1 Inner Product Space Let E be a complex vector space, a mapping (, ) : E E C is called an inner product on E if i) (x, x) 0 x E and (x, x) = 0 if and only if x = 0;

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

10.1. The spectrum of an operator. Lemma If A < 1 then I A is invertible with bounded inverse

10.1. The spectrum of an operator. Lemma If A < 1 then I A is invertible with bounded inverse 10. Spectral theory For operators on finite dimensional vectors spaces, we can often find a basis of eigenvectors (which we use to diagonalize the matrix). If the operator is symmetric, this is always

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: ADJOINTS IN HILBERT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: ADJOINTS IN HILBERT SPACES FUNCTIONAL ANALYSIS LECTURE NOTES: ADJOINTS IN HILBERT SPACES CHRISTOPHER HEIL 1. Adjoints in Hilbert Spaces Recall that the dot product on R n is given by x y = x T y, while the dot product on C n is

More information

Chapter 1. Introduction

Chapter 1. Introduction Chapter 1 Introduction Functional analysis can be seen as a natural extension of the real analysis to more general spaces. As an example we can think at the Heine - Borel theorem (closed and bounded is

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

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

Categories and Quantum Informatics: Hilbert spaces

Categories and Quantum Informatics: Hilbert spaces Categories and Quantum Informatics: Hilbert spaces Chris Heunen Spring 2018 We introduce our main example category Hilb by recalling in some detail the mathematical formalism that underlies quantum theory:

More information

5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1

5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1 Robert Oeckl FA NOTES 5 19/05/2010 1 5 Banach Algebras 5.1 Invertibility and the Spectrum Suppose X is a Banach space. Then we are often interested in (continuous) operators on this space, i.e, elements

More information

Linear Algebra Massoud Malek

Linear Algebra Massoud Malek CSUEB Linear Algebra Massoud Malek Inner Product and Normed Space In all that follows, the n n identity matrix is denoted by I n, the n n zero matrix by Z n, and the zero vector by θ n An inner product

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

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

Compact operators on Banach spaces

Compact operators on Banach spaces Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact

More information

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.

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

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

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

CHAPTER 3. Hilbert spaces

CHAPTER 3. Hilbert spaces CHAPTER 3 Hilbert spaces There are really three types of Hilbert spaces (over C). The finite dimensional ones, essentially just C n, for different integer values of n, with which you are pretty familiar,

More information

1 Functional Analysis

1 Functional Analysis 1 Functional Analysis 1 1.1 Banach spaces Remark 1.1. In classical mechanics, the state of some physical system is characterized as a point x in phase space (generalized position and momentum coordinates).

More information

LECTURE 7. k=1 (, v k)u k. Moreover r

LECTURE 7. k=1 (, v k)u k. Moreover r LECTURE 7 Finite rank operators Definition. T is said to be of rank r (r < ) if dim T(H) = r. The class of operators of rank r is denoted by K r and K := r K r. Theorem 1. T K r iff T K r. Proof. Let T

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

Math 123 Homework Assignment #2 Due Monday, April 21, 2008

Math 123 Homework Assignment #2 Due Monday, April 21, 2008 Math 123 Homework Assignment #2 Due Monday, April 21, 2008 Part I: 1. Suppose that A is a C -algebra. (a) Suppose that e A satisfies xe = x for all x A. Show that e = e and that e = 1. Conclude that e

More information

Two-sided multiplications and phantom line bundles

Two-sided multiplications and phantom line bundles Two-sided multiplications and phantom line bundles Ilja Gogić Department of Mathematics University of Zagreb 19th Geometrical Seminar Zlatibor, Serbia August 28 September 4, 2016 joint work with Richard

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

Vector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.

Vector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms. Vector Spaces Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms. For each two vectors a, b ν there exists a summation procedure: a +

More information

Positivity in function algebras

Positivity in function algebras Graduate Theses and Dissertations Iowa State University Capstones, Theses and Dissertations 2015 Positivity in function algebras Jason Ekstrand Iowa State University Follow this and additional works at:

More information

COUNTABLE PRODUCTS ELENA GUREVICH

COUNTABLE PRODUCTS ELENA GUREVICH COUNTABLE PRODUCTS ELENA GUREVICH Abstract. In this paper, we extend our study to countably infinite products of topological spaces.. The Cantor Set Let us constract a very curios (but usefull) set known

More information

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India CHAPTER 9 BY Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India E-mail : mantusaha.bu@gmail.com Introduction and Objectives In the preceding chapters, we discussed normed

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

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32 Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak

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 note on the σ-algebra of cylinder sets and all that

A note on the σ-algebra of cylinder sets and all that A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In

More information

11. Spectral theory For operators on finite dimensional vectors spaces, we can often find a basis of eigenvectors (which we use to diagonalize the

11. Spectral theory For operators on finite dimensional vectors spaces, we can often find a basis of eigenvectors (which we use to diagonalize the 11. Spectral theory For operators on finite dimensional vectors spaces, we can often find a basis of eigenvectors (which we use to diagonalize the matrix). If the operator is symmetric, this is always

More information

2.3 Variational form of boundary value problems

2.3 Variational form of boundary value problems 2.3. VARIATIONAL FORM OF BOUNDARY VALUE PROBLEMS 21 2.3 Variational form of boundary value problems Let X be a separable Hilbert space with an inner product (, ) and norm. We identify X with its dual X.

More information

The Gram matrix in inner product modules over C -algebras

The Gram matrix in inner product modules over C -algebras The Gram matrix in inner product modules over C -algebras Ljiljana Arambašić (joint work with D. Bakić and M.S. Moslehian) Department of Mathematics University of Zagreb Applied Linear Algebra May 24 28,

More information

Introduction to Empirical Processes and Semiparametric Inference Lecture 22: Preliminaries for Semiparametric Inference

Introduction to Empirical Processes and Semiparametric Inference Lecture 22: Preliminaries for Semiparametric Inference Introduction to Empirical Processes and Semiparametric Inference Lecture 22: Preliminaries for Semiparametric Inference Michael R. Kosorok, Ph.D. Professor and Chair of Biostatistics Professor of Statistics

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

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

Notes for Functional Analysis

Notes for Functional Analysis Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) October 16, 2015 1 Lecture 11 1.1 The closed graph theorem Definition 1.1. Let f : X Y be any map between topological spaces. We define its

More information

Optimization Theory. A Concise Introduction. Jiongmin Yong

Optimization Theory. A Concise Introduction. Jiongmin Yong October 11, 017 16:5 ws-book9x6 Book Title Optimization Theory 017-08-Lecture Notes page 1 1 Optimization Theory A Concise Introduction Jiongmin Yong Optimization Theory 017-08-Lecture Notes page Optimization

More information

CHAPTER X THE SPECTRAL THEOREM OF GELFAND

CHAPTER X THE SPECTRAL THEOREM OF GELFAND CHAPTER X THE SPECTRAL THEOREM OF GELFAND DEFINITION A Banach algebra is a complex Banach space A on which there is defined an associative multiplication for which: (1) x (y + z) = x y + x z and (y + z)

More information

Fredholmness of Some Toeplitz Operators

Fredholmness of Some Toeplitz Operators Fredholmness of Some Toeplitz Operators Beyaz Başak Koca Istanbul University, Istanbul, Turkey IWOTA, 2017 Preliminaries Definition (Fredholm operator) Let H be a Hilbert space and let T B(H). T is said

More information

Unique ergodicity in C*-dynamical systems

Unique ergodicity in C*-dynamical systems Unique ergodicity in C*-dynamical systems by Daniël Willem van Wyk Submitted in partial fulfillment of the requirements for the degree Magister Scientiae in the Department of Mathematics and Applied Mathematics

More information

1 Basics of vector space

1 Basics of vector space Linear Algebra- Review And Beyond Lecture 1 In this lecture, we will talk about the most basic and important concept of linear algebra vector space. After the basics of vector space, I will introduce dual

More information

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces. Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,

More information

Extensions of pure states

Extensions of pure states Extensions of pure M. Anoussis 07/ 2016 1 C algebras 2 3 4 5 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

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

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2. ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n

More information

MATH 241B FUNCTIONAL ANALYSIS - NOTES SPECTRAL THEOREM

MATH 241B FUNCTIONAL ANALYSIS - NOTES SPECTRAL THEOREM MATH 241B FUNCTIONAL ANALYSIS - NOTES SPECTRAL THEOREM We present the material in a slightly different order than it is usually done (such as e.g. in the course book). Here we prefer to start out with

More information

Chapter 7: Bounded Operators in Hilbert Spaces

Chapter 7: Bounded Operators in Hilbert Spaces Chapter 7: Bounded Operators in Hilbert Spaces I-Liang Chern Department of Applied Mathematics National Chiao Tung University and Department of Mathematics National Taiwan University Fall, 2013 1 / 84

More information

1 The Projection Theorem

1 The Projection Theorem Several Important Theorems by Francis J. Narcowich November, 14 1 The Projection Theorem Let H be a Hilbert space. When V is a finite dimensional subspace of H and f H, we can always find a unique p V

More information

Factorization of unitary representations of adele groups Paul Garrett garrett/

Factorization of unitary representations of adele groups Paul Garrett   garrett/ (February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The result sketched here is of fundamental importance in

More information

On Fréchet algebras with the dominating norm property

On Fréchet algebras with the dominating norm property On Fréchet algebras with the dominating norm property Tomasz Ciaś Faculty of Mathematics and Computer Science Adam Mickiewicz University in Poznań Poland Banach Algebras and Applications Oulu, July 3 11,

More information

ASSIGNMENT - 1, DEC M.Sc. (FINAL) SECOND YEAR DEGREE MATHEMATICS. Maximum : 20 MARKS Answer ALL questions. is also a topology on X.

ASSIGNMENT - 1, DEC M.Sc. (FINAL) SECOND YEAR DEGREE MATHEMATICS. Maximum : 20 MARKS Answer ALL questions. is also a topology on X. (DM 21) ASSIGNMENT - 1, DEC-2013. PAPER - I : TOPOLOGY AND FUNCTIONAL ANALYSIS Maimum : 20 MARKS 1. (a) Prove that every separable metric space is second countable. Define a topological space. If T 1 and

More information

UNITIZATIONS AND CROSSED PRODUCTS

UNITIZATIONS AND CROSSED PRODUCTS UNITIZATIONS AND CROSSED PRODUCTS AIDAN SIMS Abstract. These are course notes for an honours course offered at the University of Wollongong in Spring of 2014. They are a modified and updated version of

More information

Chapter 8 Integral Operators

Chapter 8 Integral Operators Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,

More information