This theorem gives us some view of the hyperbolic flow that decomposes the space
into two disjoint subspaces. One is contraction and the other is expansion. Therefore,
there is no element belonging to each subspace except the zero vector. And the
hyperbolic flow is generic.
Definition1: X E is open if x X , then there exists an open ball Br (x) =
y : y x r of x contained in X such that Br (x) X .
Definition2: X E is dense if every point of E can be approximated by X , i.e.
if x E , then y X y x < .
Remark: Equivalently, X U for every nonempty open set U E .
(Homework)
Proposition: Let X 1 , , X m be open dense sets in E , then X = X 1 X 2
X m is also open and dense.
Note that rational numbers are dense but not open in real. Therefore an open dense set
is a large set.
Proof:
(open) Let
xX x
X i , i=1,2,
,m . B
ri
(x)
X i , i=1,2,
,m.
X 1 U X 2
X3
Xm
U ( X1
X2
Xm ) .
Chapter 3
Next, we extend the previous discussion to nonlinear sinks. First, let us define x =
f (x ) , f : W R n R n where W is open and f is C 1 .
Definition: x W is an equilibrium point if f (x ) =0.
Definition: Let : R W W be the flow associated with x = f (x ) ; t
(t , x) t (x) is the solution passing through x when t =0.
Definition: Suppose f C 1 with 0 as the equilibrium point. If Df (0) = A have
f1
f1
f1
(x)
(x)
(x)
x2
xn
x1
Df (x )
f n ( x ) f n ( x ) f n ( x )
x
x2
xn
1
1
0
A=
1
0 with eigenvalues 1, 1 and the associated quadratic
1
form is x1 2 - x1 x x + x2 2 0. AB 0.
1
1/ 2
1/ 2
1/ 2
But A=
1
0 , B=
1/ 2
AB > 0.