Sunday 12 July 2015

Functional Analysis Note 3 Space


Note 3

Space 

TANAKA Akio

1 Linear space (Vector space)
Complex number field or real number field     Φ
Set     X
When X satisfies next condition, X is called linear space over Φ.
It is also called vector space over Φ.
Arbitrary elements of X     xy
Sum of x and      y
(i)
Arbitrary elements of X     x, y, z
x + y = y + x
(x+y)+z = x+(y+z)
(ii)
There exists one element that is called 0 in X.
Arbitrary xX
x+0 = x
(iii)
Arbitrary xX
There exists one element that is called –in X.
x+(-x) = 0
(iiii)
Arbitrary αΦ
Arbitrary xX
αx that is called product of α and is uniquely defined.
Arbitrary αβΦ
Arbitrary xyX
1x = x
(v)
(αβ)x = α(βx)
(vi)
α(x+y) = αx+αy
(α+β)x = αx+βx
1-1 Complex linear space
When Φ is complex number field, linear space over Φ is called complex linear space.
1-2 Real linear space
When Φ is real number field, linear space over Φ is called real linear space.

2 Linear subspace
Linear space     X
Subset that is not empty in X     M
M that satisfies next condition is called linear subspace of X.
(i)
xM
yM
x+yM
(ii)
xM
Arbitrary αΦ
αxM

3 Linear subspace spanned (Linear subspace generated)
Linear space     X
Element of X     xiX ( i = 1, 2, …, n)
α1x12x2+…+αnx(αiΦ= 1, 2, …, n) is called linear combination of x1x2, …, xn.
Subset that is not empty in X     S
All the sets of linear combinations of arbitrary finite elements     M
M is called linear subspace spanned by S.
It is also called linear subspace generated by S.

4 Normed space
Linear space     X
Element of X    x
Real number     ||x||
||x|| that satisfies next condition is called norm of x.
X is called normed space.
(i)
||x|| 0
||x|| = 0  = 0
(ii)
Arbitrary αΦ
Arbitrary x, yX
||αx|| =|α| ||x||
(iii)
||x+y|| ||x||+||y||
4-1 Complex normed space
When Φ is complex number field, normed space over Φ is called complex normed space.
4-2 Real normed space
When Φ is real number field, normed space over Φ is called real normed space.

5 Distance space
Normed space     X
X’s element is also called point.
Arbitrary points of X     x, y
When d(xy) = ||x-y|| is defined, d(xy) satisfies next 3 conditions for distance.
X is distance space.
(i)
d(xy0,
d(xy) = 0  x = y
(ii)
d(xy) = d(yx)
(iii)
d(xyd(xz) = d(zy)

6 Linear subspace
Normed space     X
Linear subspace of     M
M is called linear subspace of normed space X.
6-1 Closed linear subspace
When M is linear subspace of normed space X and closed set, M is called closed linear subspace.

7 Closed linear subspace spanned (Closed linear subspace generated)
Normed space     X
Subset that is not empty in X     S
Linear subspace spanned by S     M
Closure of M is called closed linear subspace spanned by S.
It is also called closed linear subspace generated by S.

8 Banach space
Sequence {xn} of normed space X satisfied limm, n →∞ = 0, {xn} is called Cauchy sequence.
When in normed space X, arbitrary Cauchy sequence is convergent to X’s point, X is called complete.
Complete normed space is called Banach space.
8-1 Complex Banach space
When X is complex normed space, Banach space is complex Banach space
8-2 Real Banach space
When X is real normed space, Banach space is real Banach space

9 Sequence space
Set that is consisted from all of real numbers’ group (ξ1ξ2, …, ξn)     Vn
Two elements of Vn     x = (ξ1ξ2, …, ξn)   y = (η1η2, …, ηn)
x+y := (ξ1+η1, ξ2+η2, …ξn+ηn)
Real number     α
Element of Vn       x = (ξ1ξ2, …, ξn)
αx := (αξ1αξ2, …, αξn)
Vbecomes real linear space.

10 Euclid space
Set that is consisted from all of real numbers’ group (ξ1ξ2, …, ξn)     Vn
x = (ξ1ξ2, …, ξn)Vn
||x|| := 
Vn becomes complete eral normed space, i.e. real Banach space.
Vis called n dimensional Euclid space. Notation is Rn.

11 Unitary space
Set that is consisted from all of complex numbers’ group (ξ1ξ2, …, ξn)     Kn
In Kn, 2 points x and y, sum x+y, product αx and norm ||x|| is similarly defined as Rn.
Kbecomes complex Banach space.
Kis called n dimensional unitary space.

12 Functional space
Bounded closed interval     [ab]
Real valued continuous function defined at [ab]     x(t)
All of x(t)     C[ab]
By norm and completeness, C[ab] is real Banach space.
Complex valued continuous function defined at [ab]   x(t)
All of x(t)     C[ab]
By operation, norm and completeness, C[ab] is complex Banach space.

13 p power Lebesgue integrable real valued function
Interval     (ab)
Real valued measurable function at (ab)     x(t)
x(t) satisfies next condition, x(t) is called p power Lebesgue integrable.
ba| x(t)|pdt < 
All of x(t)     LP(ab)
By operation, norm completeness, LP(ab) is real Banach space.
All of complex valued measurable functions at (ab) is complex Banach space.

14 Essentially bounded real valued function
Interval     (ab)
Real valued measurable function at (ab)     x(t)
Set of measure 0     N(ab)
Complement of N at (ab)     (a, b)N
When x(t) is supt(ab)N | x(t)| < x(t) is essentially bounded.
All of measurable at (a, b) and essentially bounded real valued functions      L(ab)
By operation, norm completeness, L (ab) is real Banach space.
All of measurable at (a, b) and essentially bounded complex valued functions is complex Banach space.

15 Inner product space
Complex linear space    X
Arbitrary 2 elements pair of X    {xy}
Complex corresponded with {xy}     (x, y)
When (x, y) satisfied next condition, (x, y) is called inner product between x and y.
(i) (xx)0 ; x=0 and only itself (xx) = 0
(ii) (xy) = 
(iii) (x+zy) = (xy) + (zy)
(iiii) (axy) = a (xy) (a; complex number)
Space defined by inner product is called inner product space.
When at (iiii) is real number and corresponded number pair is real number (xy), X is called real product space.

16 Hilbert space
When inner product space is complete on norm ||x|| = , X is called Hilbert space.
When X is real inner product space, X is called real Hilbert space.

Tokyo May 23, 2008
Sekinan Research Field of Language
www.sekinan.org

No comments:

Post a Comment