Download presentation
Presentation is loading. Please wait.
1
Quantum Foundations Lecture 2
January 31, 2018 Dr. Matthew Leifer HSC112
2
2) Mathematical Background
Vector Spaces Convex Cones Convex Sets Convex Polytopes Inner Products Dual Spaces
3
2.i) Vector Spaces A vector space consists of:
A set of vectors ๐, ๐, ๐,โฏ. A set of scalars ๐,๐,๐,โฏ. In this section, the scalars will usually be the real numbers. Later, quantum theory makes heavy use of complex vector spaces. A rule of the addition of vectors: ๐+๐ A rule for multiplying a vector by a scalar: ๐๐
4
Vector addition rules The addition rule must satisfy:
If ๐ and ๐ are vectors, then ๐+๐ is a vector. Commutativity: ๐+๐=๐+๐. Associativity: ๐+๐ +๐=๐+(๐+๐). There exists a vector ๐ such that, for all vectors ๐ ๐+๐=๐+๐=๐. For each vector ๐, there exists a unique vector โ๐, such that ๐+ โ๐ = โ๐ +๐=๐.
5
Scalar Multiplication Rules
The scalar multiplication rule must satisfy: For every scalar ๐ and every vector ๐, ๐๐ is a vector. This implies ๐๐+๐๐ is always a vector for any scalars ๐,๐ and any vectors ๐,๐. Distributivity: ๐ ๐+๐ =๐๐+๐๐ and ๐+๐ ๐=๐๐+๐๐. Associativity: ๐ ๐๐ = ๐๐ ๐. There exists a unit scalar 1 and a zero scalar 0 such that, for all vectors ๐, 1๐=๐ and ๐=๐.
6
Examples of vector spaces
โ ๐ : The set of ๐-dimensional column vectors with real components. โ ๐ : The set of ๐-dimensional column vectors with complex components. ๐= ๐ 1 ๐ 2 โฎ ๐ ๐ Addition is component-wise addition. Scalars are the real numbers for โ ๐ and complex numbers for โ ๐ .
7
Examples of vector spaces
โ โ and โ โ : The set of infinite dimensional real or complex column vectors. The set of real or complex-valued functions of a real number ๐ฅ. Addition is ๐+๐ ๐ฅ =๐ ๐ฅ +๐(๐ฅ). Scalars are real or complex numbers with ๐๐ ๐ฅ =๐๐(๐ฅ)
8
Dimension and bases A set of ๐ nonzero vectors ๐ 1 , ๐ 2 ,โฏ, ๐ ๐ is linearly independent iff the only solution to the equation ๐=1 ๐ ๐ ๐ ๐ ๐ =0 is ๐ 1 = ๐ 2 =โฏ= ๐ ๐ =0. Otherwise the vectors are linearly dependent, and one of the vectors can be written as a sum of the others: ๐ ๐ = ๐=1 ๐โ1 ๐ ๐ ๐ ๐ + ๐=๐+1 ๐ ๐ ๐ ๐ ๐ with ๐ ๐ =โ ๐ ๐ ๐ ๐
9
Dimension and bases The dimension ๐ of a vector space is the maximum number of linearly independent vectors. A basis ๐ 1 , ๐ 2 ,โฏ, ๐ ๐ for a vector space is a linearly independent set of maximum size. All vectors can be written as: ๐= ๐=1 ๐ ๐ ๐ ๐ ๐ for some components ๐ ๐ .
10
Examples For โ ๐ and โ ๐ , the vectors ๐ ๐ = 0 0 โฎ 0 1 0 โฎ 0
๐ ๐ = โฎ โฎ 0 are a basis, but not the only one. E.g. for โ 2 and โ 2 1 0 , is also a basis. ๐ th component
11
Examples โ ๐ and โ ๐ have dimension ๐.
โ โ and โ โ have dimension (countable) infinity. The space of functions of a real variable has dimension (uncountable) infinity.
12
2.ii) Convex Cones A convex cone ๐ถ is a subset of a real vector space such that, if ๐,๐โ๐ถ then ๐ผ๐+๐ฝ๐โ๐ถ for any positive (or zero) scalars ๐ผ,๐ฝโฅ0. Note: A convex cone always includes the origin. A convex cone is salient if, for every ๐โ๐ถ, โ๐โ๐ถ. We will always work with salient convex cones, so when I say โconeโ, that is what I mean. Example: The set of vectors with positive components.
13
Examples ๐ถ
14
Extremal Rays A vector ๐ is called an extreme point of ๐ถ if, whenever
๐=๐ผ๐+๐ฝ๐ for ๐ฒ,๐โ๐ถ and ๐ผ,๐ฝโฅ0, then ๐=๐พ๐ and ๐=๐ฟ๐ for ๐พ,๐ฟโฅ0. An extremal ray of a cone ๐ถ is the set of points ๐ผ๐ for ๐ผโฅ0 where ๐ is an extreme point.
15
Conic Hulls Given a set ๐ of vectors in โ ๐ , the conic hull of ๐ is a convex cone, denoted cone(๐), consisting of the set of all points of the form ๐ ๐ผ ๐ ๐ ๐ for ๐ผ ๐ โฅ0 and ๐ ๐ โ๐
16
Carathรฉodoryโs Theorem for Cones
Theorem: Let ๐ be a set of vectors in โ ๐ . Every ๐โcone(๐) can be written as a positive combination of vectors ๐ 1 , ๐ 2 ,โฆ, ๐ ๐ โ๐ that is linearly independent, so, in particular, ๐โค๐. Proof: Let ๐โcone(๐) and let ๐ be the smallest integer such that ๐= ๐=1 ๐ ๐ผ ๐ ๐ ๐ for ๐ผ ๐ โฅ0 and ๐ ๐ โ๐. If the vectors were linearly dependent, there would exist ๐ 1 , ๐ 2 โฆ, ๐ ๐ with at least one ๐ ๐ positive such that ๐=1 ๐ ๐ ๐ ๐ ๐ =0.
17
Carathรฉodoryโs Theorem for Cones
Let ๐ฝ be the largest positive number such that ๐พ ๐ = ๐ผ ๐ โ๐ฝ ๐ ๐ โฅ0 for all ๐. At least one of the ๐พ ๐ โs is zero and ๐= ๐=1 ๐ ๐พ ๐ ๐ ๐ This has ๐โ1 nonzero terms, so contradicts the assumption that ๐ was the smallest possible integer.
18
Krein-Milman theorem for cones
Theorem: Every convex cone ๐ถ in โ ๐ is the conic hull of its extreme points. Let Ext ๐ถ be the set of extreme points of ๐ถ. Then, the theorem says ๐ถ=cone(Ext ๐ถ ) Corollary: Every ๐โ๐ถ can be written as a positive combination of at most ๐ extreme points.
19
๐ผ๐+๐ฝ๐โ๐ for all ๐ผ,๐ฝโฅ0, ๐ผ+๐ฝ=1.
2.iii) Convex Sets A convex set ๐ in โ ๐ is a set of vectors such that, whenever ๐,๐โ๐ then ๐ผ๐+๐ฝ๐โ๐ for all ๐ผ,๐ฝโฅ0, ๐ผ+๐ฝ=1. Note that we will always be interested in bounded, closed convex sets. Bounded means that all the components of ๐ satisfy ๐ฅ ๐ <๐ for some positive, but arbitrarily large ๐. Closed means that, for any convergent sequence of vectors in ๐, the limit point is also in ๐. All closed convex sets are bounded. We will see that salient cones are related to bounded convex sets.
20
Examples
21
Examples
22
Convex Combinations If we can write ๐= ๐=1 ๐ ๐ผ ๐ ๐ ๐ for ๐ผ ๐ โฅ0 and ๐ ๐ผ ๐ =1 then ๐ is called a convex combination of the ๐ ๐ โs. Proposition: For a convex set ๐, any convex combination of vectors in ๐ is in ๐. Proof: Consider ๐= ๐=1 ๐ ๐ผ ๐ ๐ ๐ where ๐ ๐ โ๐. Define ๐ผ 2 โฒ = ๐ผ 1 + ๐ผ 2 and ๐ 2 โฒ = ๐ผ 1 ๐ผ 2 โฒ ๐ 1 + ๐ผ 2 ๐ผ 2 โฒ ๐ 2 . ๐ 2 โฒ is in ๐ by definition and ๐ผ 2 โฒ + ๐=3 ๐ ๐ผ ๐ =1, so ๐= ๐ผ 2 โฒ ๐ 2 โฒ + ๐=3 ๐ ๐ผ ๐ ๐ ๐ is a convex combination of ๐โ1 terms in ๐. Proceeding by induction, we can reduce this to two terms, which is in ๐ by definition.
23
Extreme Points A vector ๐ is called an extreme point of ๐ if whenever
๐=๐ผ๐+๐ฝ๐ for ๐,๐โ๐, ๐ผ,๐ฝโฅ0, ๐ผ+๐ฝ=1, then ๐=๐=๐. Extreme points always lie on the boundary of ๐, but boundary points are not necessarily extreme.
24
Convex Hulls Given a set ๐ of vectors in โ ๐ , the convex hull of ๐, denoted conv(๐) is the set of all vectors of the form ๐= ๐ ๐ผ ๐ ๐ ๐ where ๐ ๐ โ๐, ๐ผ ๐ โฅ0, and ๐ ๐ผ ๐ =1.
25
Converting a Convex Set Into a Convex Cone
A convex set of dimension ๐ can be lifted to form a convex cone of dimension ๐+1. There are many ways to do this. We will define the standard lifting as follows: For every vector ๐ in the convex set ๐โ โ ๐ , define the vector ๐ โฒ = 1 ๐ฅ 1 ๐ฅ 2 โฎ ๐ฅ ๐ โ โ ๐+1 Let ๐ be the set of such vectors and define the cone ๐ถ=cone ๐ .
26
Examples The convex set ๐ is embedded as a cross-section of the cone ๐ถ. If ๐ is an extreme point of ๐ then ๐ผ๐โฒ is an extremal ray of ๐ถ, i.e. ๐ผ ๐ผ ๐ฅ 1 ๐ผ ๐ฅ 2 โฎ ๐ผ ๐ฅ ๐ is extremal.
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.