Documente Academic
Documente Profesional
Documente Cultură
=
eU
1
3.
N
i
i
U
=
eU
( Closure under arbitrary unions. )
( Closure under finite intersections. )
Elements U
i
of Y are called open sets.
A topological space is the minimal structure on which concepts of
neighborhood, continuity, compactness, connectedness
can be defined.
Trivial topology: Y = { C, X }
every function on X is dis-continuous
Discrete topology: Y = 2
X
every function on X is continuous
Exact choice of topology is usually not very important:
2 topologies are equivalent if there exists an homeomorphism
(bi-continuous bijection) between them.
Tools for classification of topologies:
topological invariances, homology, homotopy,
= Set of all ordered n-tuples of real numbers
( )
{ }
1
, ,
n n i
x x x = = e x R R
~ Prototype of an n-D continuum
Distance function (Euclidean metric):
:
n n
d R R R
( ) ( ) { }
,
r
d r = < x y y x N
( ) ( )
( )
2
, ,
i i
i
d x y =
x y x y
(Open) Neighborhood / ball of radius r at x :
A set S is open if
( ) ( )
, . .
r r
S s t N S e - c x x x N
Real number P = complete Archimedian ordered field.
A set S is discrete if ( ) ( ) { } ( )
, . . \
r r
S s t S e - = C x x x x N N
Usual topology of P
n
= Topology with open balls as open sets
Metric-free version:
Define neighborhoods N
r
(x) in terms of open intervals / cubes.
Preview: Continuity of functions will be defined in terms of open sets.
Hausdorff separated: Distinct points possess disjoint neighborhoods.
E.g., P
n
is Hausdorff separated.
1.2. Mappings
: f X Y
by
( )
x y f x =
Map f from set X into set Y, denoted,
associates each xeX uniquely with y = f (x) eY.
( )
Domain f X =
Domain of f =
( )
Range f Y _
Range of f =
Image of M under f = ( ) ( )
{ }
f M f x x M = e
Inverse image of N under f = ( ) ( ) { }
1
f N x f x N
= e
f
1
exists iff f is 1-1 (injective):
f is onto (surjective) if f (X) = Y.
f is a bijection if it is 1-1 onto.
( ) ( )
f x f x x x ' ' = =
( )( )
x z g f x =
: f X Y
: g Y Z
: g f X Z
by
f g
g f
X Y Z
Composition
Given by
( )
x y f x =
by
( )
y z g y =
The composition of f & g is the map
( ) ( )
g f x = ( )
g y =
Elementary calculus version:
Let f : P P. Then f is continuous at x
0
if
( ) ( )
0 0
0 0 . . s t f x f x x x c o c o > - > < <
Open ball version: Let ( )
{ }
0 0
x x x x
o
o = < N
Then f is continuous at x
0
if
( ) ( ) ( ) ( )
0 0
0 0 . . s t f x f x x x
c o
c o > - > e e N N
Continuity
( ) ( ) ( ) ( )
0 0
0 0 . . s t f x f x
o c
c o > - > e N N
i.e.,
Open set version:
f continuous: Open set in
domain (f ) is mapped to open
set in codomain (f ).
f discontinuous: Open set in
domain (f ) is mapped to set
not open in codomain (f ).
Counter-example:
f continuous but
Open M half-closed f(M)
f is continuous if every open set in domain (f ) is
mapped to an open set in codomain (f ) ?
Wrong!
Correct criterion:
f is continuous if every open set in codomain( f)
has an open inverse image.
Open N half-closed f
1
(N)
Continuity at a point:
f : X Y is continuous at x if the inverse image of any open
neighborhood of f (x) is open,
i.e., f
1
( N[f(x)] ) is open.
Continuity in a region:
f is continuous on M _ X if f is continuous xeM,
i.e., the inverse image of every open set in M is open.
Differentiability of f : P
n
P
( )
( )
1
, ,
exists & is continuous if 1, ,
k n
k
k
j
f x x
x
f C j n e =
c
c
0
means is continuous f C f e
means i anal t s y ic f C f
e
e
i.e., Taylor expansion exists.
f is smooth k = whatever value necessary for problem at hand.
:
n n
f R R
by
( ) ( )
( ) ( )
( )
1 1 1
, , , , , ,
n n n
x x y y f f = x x
( )
= x y f x
( )
j j i
y f x =
Inverse function theorem :
f is invertible in some neighborhood of x
0
if
( )
( )
1
1
, ,
det 0
, ,
n
i
j n
y
J
y
y
x x x
c
c
= =
c c
= ( Jacobian )
Let
:
n
h R R
then
( ) ( )
( )
n n
M f M
h J d H d =
} }
x x y y where ( ) ( ) ( )
h H = x y x
Let
1.3. Real Analysis
: f R R is analytic at x
0
if f (x) has a Taylor series at x
0
f C
e
e
if f is analytic over Domain( f)
( ) ( )
0
0
0
1
!
n
n
n
n
x
d f
f x x x
n d x
=
=
2
1
exp but is not analytic at 0 f C x
x
| |
= e =
|
\ .
~ C C convergence
e
+
:
n
g R R
is square integrable on S c P
n
if
( )
2
n
S
g d
}
x x
exists.
A square integrable function g can be approximated by an
analytic function f s.t.
( ) ( ) ( )
2
n
S
f g d c <
}
x x x
for any given 0 c >
An operator on functions defined on P
n
maps functions to functions.
E.g.,
( )
D f
f
x
=
c
c
( ) ( )( ) ( ) ( )
0
,
x
G f x f y g x y dy =
}
( )
3
2
3
f
f f
x
E
c
c
= +
Commutator of operators:
| |
, A B AB BA =
s.t.
| |( ) ( )( )
, A B f AB BA f =
( ) ( ) ( ) ( )
A B f B A f
A & B commute if
| |
, 0 A B =
E.g., | |( ) ( )
, ,
d d
A B f x f
dx dx
(
=
(
d d f d d f
x x
dx dx dx dx
| | | |
=
| |
\ . \ .
d f
dx
=
Domain (AB) e C
2
but Domain ([A , B ]) e C
1
1.4. Group Theory
A group (G, ) is a set G with an internal operation : GG G that
is
( ) ( )
, , x y z x y z x y z x y z G = = e 1. Associative:
2. Endowed with an identity element:
s.t. e G x e e x x x G - e = = e
1 1 1
s.t. x G x x x x e x G
- e = = e
3. Endowed with an inverse for each element:
A group (G, +) is Abelian if all of its elements commute:
, x y y x x y G + = + e
( Identity is denoted by 0 )
Examples:
(P,+) is an Abelian group.
The set of all permutations of n objects form the permutation group S
n
.
All symmetries / transformations are members of some groups.
Its common practice to refer to group (G, ) simply as group G.
(S, ) is a subgroup of group (G, ) if S _ G.
Rough definition:
A Lie group is a group whose elements can be continuously parametrized.
~ continuous symmetries.
E.g., The set of all even permutations is a subgroup of S
n
.
But the set of all odd permutations is not a subgroup of S
n
(no e).
Groups (G,) is homomorphic to (H,*) if - an onto map f : G H s.t.
( ) ( ) ( )
* , f x y f x f y x y G = e
It is an isomorphism if f is 1-1 onto.
(P
+
,) & (P,+) are isomorphic with f = log so that
( )
log log log , x y x y x y
+
= + eR
1.5. Linear Algebra
( ) ( )
x y z x y z x y z = =
Ring ( R, , + ) is a field if
1. - eeR s.t. ex = xe = x xeR.
2. - x
1
eR s.t. x
1
x = x x
1
= e xeR except 0.
( R, , + ) is a ring if
1. ( R, + ) is an Abelian group.
2. is associative & distributive wrt + , i.e., x,y,z eR,
( )
x y z x y x z + = +
( )
x y z x z y z + = +
E.g., The set of all nn matrices is a ring (no inverse).
The function space is also a ring (no inverse).
E.g., P & X are fields under algebraic multiplication & addition.
See Choquet, Chap 1
or Aldrovandi, Math.1.
( V, + ; R ) is a module if
1. ( V, + ) is an Abelian group.
2. R is a ring.
3. The scalar multiplication RVV by (a,v) o a v satisfies
( )
a a a + = + v u v u
, & , a b R V e e u v
Module ( V, + ; F ) is a linear (vector) space if F is a field.
( )
a b a b + = + v v v
( ) ( )
ab a b = v v
4. If R has an identity e, then ev = v veV.
Well only use
F = K = P or X.
( A, , + ; R ) is an algebra over ring R if
1. ( A, , + ) is a ring.
2. ( A, + ; R ) is a module s.t.
( ) ( ) ( )
a a a = = v u v u v u
& , a R A e e u v
Examples will be
given in Chap 3
For historical reasons, the term linear algebra denotes the study of linear
simultaneous equations, matrix algebra, & vector spaces.
Mathematical justification:
( M, , + ; K ) , where M is the set of all nn matrices, is an algebra .
Linear combination: where &
i i i i
i
a a V e e
v v K
{ v
i
} is linearly independent if
0
i i i
i
a a i = =
v 0
A basis for V is a maximal linearly independent set of vectors in V.
The dimension of V is the number of elements in its basis.
An n-D space V is sometimes denoted by V
n
.
Given a basis { e
i
}, we have
1
n
i i
i i
i
n
v v V
=
e =
v v e e
v
i
are called the components of v.
Einsteins
notation
{ } { }
i i
V span span e = = e
A subspace of V is a subset of V that is also a vector space.
Elements of vector space V are denoted either by bold faced or over-barred letters.
A norm on a linear space V over field K = P or X is a mapping
( )
: by n V n = v v v R
s.t.
, & V a e e u v K
( )
3. 0 n > v
( ) ( ) ( )
1. n n n + s + v u v u
( )
( )
2
i
i
n x =
x
( ) ( )
2. n a a n = v v
( )
4. 0 n = = v v 0
( Triangular inequality )
( Positive semi-definite )
( Linearity )
n is a semi- (pseudo-) norm if only 1 & 2 hold.
A normed vector space is a linear space V endowed with a norm.
Examples:
( )
{ } ( )
max
i
n x ' = x
Euclidean norm
An inner product on a linear space (V, + ; K) is a mapping
| 0 = v u
1. | | | + = + v u w v w u w
, , & V a e e u v w K
| : V V K
s.t.
| . | 2 a a = v u v u
*
3. | | = v u u v
4. | 0 > v v
or, for physicists, | | a a = v u v u
5. | 0 = = v v v 0
u & v are orthogonal
Sometimes this is called a sesquilinear product and the term
inner product is reserved for the case ( v | u ) = ( u | v ).
( )
, | = v u v u v u
by
Inner Product Spaces
Inner product space = linear space endowed with an inner product.
An inner product ( | ) induces a norm || || by
2 2 2
2 cos u = + + v u v u v u
1. | s v u v u
( )
2 2 2
2 cos t u + = + + v u v u v u
| = v v v
Properties of an inner product space:
( Cauchy-Schwarz inequality )
2. + s + v u v u
( Triangular inequality )
( )
2 2 2 2
3. 2 + + = + v u v u v u ( Parallelogram rule )
The parallelogram rule can be derived from the cosine rule :
( = angle between u & v )
1.6 . The Algebra of Square Matrices
A linear transformation T on vector space (V, + ; K) is a map
: T V V
( ) ( ) ( )
T a b a T bT + = + v u v u
, & , a b V e e v u K
s.t.
If { e
i
} is a basis of V, then
i
i
x = x e
( )
( )
i
i
T T x = x e ( )
i
i
x T = e
( )
i j
j i
T x T = x e Setting
( )
j
i j i
T T = e e we have
( )
j
j
T = x e
( )
j
j i
i
T T x = x
T
j
i
= (j,i)-element of matrix T
Writing vectors as a column matrix, we have
( )
T = x T x
( = matrix multiplication )
In linear algebra, linear operators are associative, then
( ) ( ) ( )
( ) ( ) ( )
A B C AB C = x x
( )( ) ( )
A BC = x
( ) ( ) ( ) ( )
= A B C x A B C x
( ) ( )
= A B C x
( ) ( ) ( )
AB A B x x
k j i
k j i
A B x = e
( )
k
i
k
i
AB x = e
( )
k
k j
j i
i
AB A B =
= AB A B
~
( )
j i
j i
A B x = e
( )( )
AB x
i.e., linear associative operators can be represented by matrices.
~
Similarly,
Well henceforth drop the symbol
In general:
= AB BA
Transpose:
( )
i
T j
i
j
A = A
Adjoint:
( )
*
i
j
i
j
A
+
= A
Unit matrix:
( )
i
i
j
j
o = I
Inverse:
1 1
= = A A AA I
A is non-singular if A
-1
exists.
The set of all non-singular nn matrices forms the group GL(n,K).
Determinant:
1
1
1
det
n
n
i i
i i n
A a a c =
1
1
1
1 is an even permutation of 1
1 is an odd permutation of 1
0 otherwise
n
n
i i n
i i n
if i i n c
+
Cofactor: cof(A
i
j
) = (-)
i+j
determinant of submatrix obtained
by deleting the i-th row & j-th column of A.
( )
det
i i
j j
i
A A cof A =
Laplace expansion:
j arbitrary
( )
( )
1
det
j
i
i
j
cof A
A
= A
( )
det
i i
j k j k
i
A cof A A o =
See T.M.Apostol, Linear Algebra , Chap 5, for proof.
Trace:
i
i
Tr A = A
Similarity transform of A by non-singular B:
1
A B AB
1
A B AB ~
Det & Tr are invariant under a similarity transform:
( )
1
det det
= B AB A
( )
1
Tr Tr
= B AB A
Miscellaneous formulae
( )
T
T T
= AB B A
( )
1
1 1
= AB B A
det det
T
= A A
( ) ( ) ( )
det det det = AB A B
is an eigenvalue of A if - v = 0 s.t.
( )
A = v v
= A v v
~
For an n-D space, satifies the secular equation:
det 0 = A I
v is then called the eigenvector belonging to .
There are always n complex eigenvalues and m eigenvectors with m s n.
det
i
i
=
[
A
i
i
Tr =
A
Eigenvalues of A & A
T
are the same.