Giáo trình giải tích hàm số

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang	146
Dung lượng	1,22 MB

Nội dung

§¹i häc HuÕ Tr−êng §¹i häc S− ph¹m NGUYÔN HOµNG Vµ L£ V¡N H¹P Gi¸o tr×nh gi¶i tÝch hµm HuÕ - 2014 æ `.I NOI ´ D Û -` LO A ´ Va ò n˘ am 1932, Banach xuˆ a´t ba’n cuˆ oń sa ´ ch “Ly ´ thuyˆ e t toa ń ´ è ly òm nh˜ ´ e t qua’ d¯u o c biˆ ´ vˆ ´ tu’ ”, nˆ o.i dung bao gˆ u ng kˆ e t va ò th` o i d¯o ´ thuyˆ e t ca ´ c khˆ ong gian d¯i.nh chuˆ a’n, d¯˘ a.c biˆ e.t la ` ca ´ c d¯i.nh ly ´ cu’a Banach ˜ cˆ d¯a ong bˆ o´ ca ´ c ba ì ba ´ o t` u n˘ am 1922-1929 Cuˆ oń sa ´ ch na `y la `m oń sa ´ ch cu’a Van der Waerden cho Gia’i tı ćh `m co ´ mˆ o.t ta ´ c d¯ˆ o.ng nhu cuˆ è d¯a.i sˆ vˆ o´, d¯u.o c xuˆ a´t ba’n hai n˘ am tru.´ o.c d¯o ´ Ca ´ c nha ` gia’i tı ćh trˆ en ´t d¯ˆ àu nhˆ ´ a a.n th´ u c d¯u o c s´ ´ p m´ o i va ` u c ma.nh cu’a phu o ng pha thˆ e gi´ o i b˘ áp du.ng chu ´ ng va ò ca ´ c lıñh vu c kha ´ c nhau; ca ´ c ky ´ hiˆ e.u va ` thuˆ a.t ng˜ u ày d¯u’ ˜ i, khˆ cu’a Banach d¯u.o c chˆ a´p nhˆ a.n rˆ o.ng ong gian d¯i.nh chuˆ a’n d¯ˆ òi ch˘ ´ d¯u.o c go.i la ` khˆ ong gian Banach rˆ a’ng bao lˆ au, ly ´ thuyˆ e t na `y tro’ ´t buˆ àn b˘ tha `nh mˆ o.t phˆ a o.c chu.o.ng trı`nh d¯a.i ho.c J Dieudonne ´ (1981) Gia’i tıćh `m la` mô.t nga `nh cu’a gia’i tıćh toa ´ n ho.c nghiên c´ u.u ca ´ c d¯oˆí tu.o ng ong thu.ò.ng o’ng qua ´ t ho.n ca ´ c khˆ ong gian Rn thˆ va ` câú tru ´ c toa ´ n ho.c tr` u.u tu.o ng, tˆ èu nga ét qua’ va ´ p cu’a no ´ thˆ am nhˆ a.p va ò nhiˆ `nh kha ´ c nhu Ca ´ c kˆ ` phu.o.ng pha ét phu.o.ng trı`nh vi phˆ ét ly ´ thuyˆ an thu.` o.ng, phu.o.ng trı`nh d¯a.o `m riêng, ly ´ thuyˆ én phˆ ` biˆ an, phu o ng pha ´ p tıńh, Ra d¯o` i va ò nh˜ u ng n˘ am ca ´ c ba ì toa ´ n cu c tri va é ky’ 20, d¯´ên gia’i tıćh ˜ y d¯u o c nh˜ u ng tha `nh tu u quan d¯àû cu’a thˆ `m tıćh lu én `nh chuˆ a’n mu c viê.c nghiên c´ u u va ` trı`nh ba `y ca ´ c kiˆ tro.ng va ` no ´ d¯ã tro’ tha ´ n ho.c th´ u c toa - a.i ho.c Su pha.m, d¯u.o c viˆ ét ń D Gia ´ o trı`nh na `y da `nh cho sinh viên ca ´ c ló.p Toa - a.i ho.c Su `m d¯ã d¯o.c cho sinh viên khoa Toa ń D trên co so’ Baì gia’ng gia’i tıćh -ˆ é nh˜ àn b˘ ˜ ng la pha.m Huˆ u.ng n˘ am v` u.a qua D ay cu ` ho.c phˆ a´t buˆ o.c cuôí cu`ng è môn gia’i tıćh ma` sinh viên pha’i ho.c chıńh khoa vˆ ´ ét va àn hu.´ òm chu.o.ng ly ´ thuyˆ ` co ´ phˆ o.ng dˆ añ gia’i ba ì Nˆ o.i dung gia ´ o trı`nh gˆ én th´ `nh cho viê.c trı`nh ba `y nh˜ u ng kiˆ u c co tˆ a.p cu`ng phu lu.c Hai chu o ng d¯àû da ba’n, d¯a.i cu.o.ng cu’a khˆ ong gian d¯i.nh chuˆ a’n va ` mô.t sô´ d¯i.nh ly ´ quan cu’a gia’i én tıńh Ca `n la.i xe ´ t ca ´ c vâń d¯`ê cu thê’ ho.n nhu ca ć tıćh `m tuyˆ ´ c chu o ng co p én ong gian Hilbert va ` ca ´ c vâń d¯`ê liên quan d¯´ên toa ´ n tu’ tuyˆ khˆ ong gian L , khˆ o.i chu.o.ng trı`nh hiê.n `nh cu’a nga `nh toa ´ n ca ć tıńh Ca ´ c nˆ o.i dung na `y phu` ho p v´ Typeset by AMS-TEX tru.` o.ng su pha.m, d¯u.o c cho.n lo.c theo phu.o.ng chˆ am tinh gia’n va ` co ba’n giu ´ p sinh ´ i nhı`n thˆ ońg nhˆ a´t d¯oˆí v´ o.i nga `nh gia’i tıćh viên co ´ d¯u.o c ca én th´ àn gia’i tıćh é th` ` pha ´ t triê’n ca ´ c kiˆ u.c cu’a ca ´ c ho.c phˆ Mˆ on ho.c na `y kˆ u.a va àn oˆn la.i ca én th´ è khˆ o c d¯ó Do d¯ó sinh viên cˆ ´ c kiˆ u c vˆ ong gian mêtric, tô pˆ o, tru ´ ét d¯oˆ d¯o, tıćh phˆ ˜ ng nhu mô.t sô´ ky˜ n˘ ang tıńh toa ´ n cu’a gia’i tıćh cô’ ly ´ thuyˆ an cu - ê’ giu én th´ d¯iê’n D ´ p sinh viên tâ.p vˆ a.n du.ng kiˆ u.c d¯ã ho.c, cuôí mô˜i mu.c co ´ mô.t sô´ àn cuˆ ´ ng Phˆ oí co ´ hu ´ o ng dˆ añ va ` gia’i mô.t sô´ ca ´ c ba ì tˆ a.p nhu la ` ba ì tˆ a.p tu o ng u ´ thê’ ho.c tô´t ho.n nh˜ u.ng go i ý d¯ê’ sinh viên co ´ m o.n ca ´ c d¯òˆng nghiê.p o’ Tô’ Gia’i tıćh Khoa Toa ´ n, Ca ´ c ta ´ c gia’ xin d¯u.o c ca é d¯ã d¯ó ng go én va èu kiê.n d¯ê’ gia o ng d¯a.i ho.c Su pha.m Huˆ ´ p ý kiˆ ` ta.o d¯iˆ ´ o trı`nh Tru ` àn in ´ ng tˆ oi mong nhˆ a.n d¯u o c nh˜ u ng phê bı`nh, go ´ p ý d¯ê’ nh˜ u ng lˆ na `y d¯o` i Chu én tˆ o’ sung va ` ca’i tiˆ o´t ho.n sau gia ´ o trı`nh d¯u.o c bˆ Chu.o.ng ˆ ˆŃ TÍNH D ˆ’ N - I.NH CHUA KHONG GIAN TUYE Kh´ niê.m khˆ ong gian tuyêń t´ınh (hay khˆ ong gian vecto.) l` a mô.t nh˜ u.ng kh´ niê.m quan tro.ng v` a co ba’n cu’a to´ an ho.c hiê.n d¯a.i C´ ac vâń d¯`ê cu’a d¯a.i sô´ y thuyê´t d¯i.nh th´ u c, ma trˆ a.n, hê phu o ng tr`ınh tuyêń t´ınh, tuyêń t´ınh nhu l´ at biê’u v` a tr`ınh b` ay mô.t cách nhˆ a´t qu´ an trên ngôn ng˜ u v` a câú tr´ uc cu’a d¯u.o c ph´ n ung ta am to´ an trên các tâ.p R hay R ch´ khˆ ong gian vecto Trong gia’i tıćh, l` uc sô´ ho.c cu’a tˆ a.p n` ay Tuy nhiên bu ´ o c vào các l˜ınh kha ´ quen thuˆ o.c vó i câú tr´ ’ ac, ch˘ ang ha.n l´ y thuyê´t phu o ng tr`ınh vi phˆ an, phu o ng tr`ınh t´ıch phˆ an, vu c kh´ àn xˆ o ng xuyên l` am viê.c trên tâ.p c´ ac h` am sô´, ta cˆ ay du ng c´ ac câú pha’i thu ` én tıńh d¯ê’ thu c hiê.n ca ´ c phe ´ p toa ´ n d¯a.i sô´ trên tâ.p các hàm tr´ uc khˆ ong gian tuyˆ - `ˆ am to´ an gia’i t´ıch d¯u.o c trên các khˆ ong gian aˆý mô.t sô´ d¯o´ D ong th` o.i, d¯ê’ có thê’ l` ung ta pha’i d¯u a câú tr´ uc mêtric vào cho ch´ ung Tuy nhiên nêú cách tu nhiên ch´ uc khˆ ong gian vecto v` a câú tr´ uc khˆ ong gian mêtric th`ı nghiên c´ u.u riêng r˜e câú tr´ ` ng v´ èu g`ı mó i Chu ´ ng ta hy vo.ng r˘ a o.i su kê´t ho p nhˆ a´t ta s˜e khˆ ong thu d¯u o c d¯iˆ aú tr´ uc n` ay th`ı các vâń d¯`ê nghiên c´ u u c` ung nh˜ u ng kê´t qua’ mó.i d¯.inh gi˜ u a hai cˆ àn lu.o t tr`ınh b` èu ho.n C´ ac nˆ o.i dung d¯o´ s˜e d¯u.o c lˆ ay qua c´ ac s˜e xuˆ a´t hiê.n nhiˆ ao tr`ınh n` ay Mo’ d¯àû, mu.c §1 da `nh cho viê.c ôn la.i các kh´ niê.m chu o ng cu’a gi´ ét liên quan d¯êń khˆ ´ c mu.c kha ´ c la` nˆ o.i dung v` a t´ınh chˆ a´t d¯ã biˆ ong gian vecto Ca `y mó.i cu’a chu.o.ng na ˆ ˆŃ TÍNH §1 KHONG GIAN TUYE - i.nh ngh˜ıa Mˆ én tıńh hay khˆ 1.1 D o.t khˆ ong gian tuyˆ ong gian vecto X trên o.ng K l` a mô.t tˆ a.p ho p kh´ ac trˆ ońg X, có trang bi hai phép to´ an cô.ng (+) mô.t tru.` o ng) nghiê.m d¯u ´ ng các tiên d¯`ê sau: v` a phép nhân ngo` (nhˆ an vˆ o hu ´ àn tu’ (x, y) ∈ X × X 1) (X, +) l` a mô.t nh´ om Abel, ngh˜ıa l` a: v´ o.i mô˜i c˘a.p phˆ àn tu’ cu’a X k´ o.i mô.t phˆ y hiê.u x + y, go.i l` a tˆ o’ng cu’a x v` a y, thoa’ mãn cho u ´.ng v´ a x + y = y + x v´ o.i mo.i x, y ∈ X b (x + y) + z = x + (y + z) v´ o.i mo.i x, y, z ∈ X àn tu’ khˆ òn ta.i phˆ àn tu’ ∈ X, go.i l` a phˆ ong cho c Tˆ ∀x ∈ X, x + = + x = x òn ta.i mô.t phˆ àn tu’ k´ àn tu’ d¯ˆ d V´ o.i mo.i x ∈ X tˆ y hiê.u −x, go.i l` a phˆ oí cu’a x cho x + (−x) = o.ng trên X, t´ u.c là mô˜i c˘a.p (α, x) ∈ K × X u ´.ng 2) X c` ung phép nhân vˆ o hu.´ àn tu’ cu’a X, k´ y hiê.u αx, thoa’ mãn v´ o.i mô.t phˆ a α(x + y) = αx + αy v´ o.i mo.i α ∈ K, x, y ∈ X b (α + β)x = αx + βx v´ o.i mo.i α, β ∈ K, x ∈ X c α(βx) = (β α)x = αβx, α, β ∈ K, x ∈ X d ∀x ∈ X, 1x = x àn tu’ cu’a X go.i l` a các vecto., α ∈ K go.i l` a vˆ o hu.´ o.ng Trong gi´ ao Các phˆ o ng K l` a R (tru ` o ng c´ ac sô´ thu c) ho˘a.c C (tru ò ng tr`ınh n` ay ta chı’ l` am viê.c vó i tru ` các sô´ ph´ u c) V´ı du o.i các phép to´ Tˆ a.p ho p K n = K × × K v´ an cô.ng v` a nhˆ an vˆ o hu.ó.ng: àn n lˆ x + y = (x1 + y1 , , xn + yn ), αx = (αx1 , , αxn ) d¯o´ α ∈ K, x = (x1 , , xn ), y = (y1 , , yn ) ∈ K n l` a mô.t khˆ ong gian -˘ a.c biê.t n = th`ı K l` a mô.t khˆ ong gian vecto trên ch´ınh n´ o vecto D ac d¯a th´ u.c mô.t biêń thu c trên R, k´ y hiê.u l` a P v´ o.i phép cô.ng hai Tˆ a.p ho p c´ o.t sô´ v´ o.i d¯a th´ u.c d¯u.o c xác d¯i.nh theo c´ ach thˆ ong thu.ò.ng d¯a th´ u.c, phép nhân mˆ c˜ ung l` a mô.t khˆ ong gian vecto a´t ca’ các h` am sô´ thu c ho˘ a.c ph´ u.c xác d¯i.nh trên mô.t tˆ a.p A kh´ ac Tˆ a.p ho p tˆ an trˆ ońg v´ o i các phép to´ ∀x ∈ A, (f + g)(x) = f (x) + g(x), (λf )(x) = λf (x), l` a mô.t khˆ ong gian vecto., ta k´ y hiê.u l` a F(A) Tâ.p ho p c´ ac dãy sô´ thu c (ho˘ a.c ph´ u.c) v´ o.i các phép cô.ng v` a phép nhˆ an o.ng d¯u.o c xác d¯.inh theo c´ ach thˆ ong thu.` o.ng lˆ a.p th` anh khˆ ong gian vecto., k´ y vˆ o hu.´ o i N l` a tˆ a.p c´ ac sô´ tu hiê.u l` a s Thˆ a.t ra, theo k´ y hiê.u o’ v´ı du 3, ta có s = F(N), v´ nhiên -ˆ 1.2 D o.c lˆ a.p tuyˆ eń t´ınh-Co so’ a các vecto a mô.t khˆ ong gian vecto v` a x1 , x2 , , xn l` 1.2.1 Gia’ su’ X l` thuˆ o.c X Tˆ o’ng n α1 x1 + · · · + αn xn = αi xi , i=1 d¯o´ các αi ∈ K d¯u.o c go.i l` a mô.t tˆ o’ ho p tuyêń t´ınh cu’a các vecto x1 , , xn v´ o.i các hê sˆ o´ α1 , , αn Cho M l` a mô.t tˆ a.p cu’a X Ta go.i M l` a mô.t tˆ a.p ho p d¯ˆ o.c lˆ a.p tuyêń t´ınh àn tu’ {x1 , , xn } ⊂ M va ´ c phˆ ` ca ´ c sô´ α1 , , αn ∈ K, nêú mo.i tˆ a.p h˜ u.u ha.n ca éu nˆ n αi xi = th`ı αi = 0, i = 1, , n, i=1 d¯o´ n l` a sô´ tu nhiên bˆ a´t k` y Tru.` o.ng ho p M khˆ ong pha’i l` a d¯oˆ c lâ.p tuyêń t´ınh th`ı ta go.i M l` a phu thuˆ o.c tuyêń t´ınh 1.2.2 Cho B l` a mô.t tˆ a.p kh´ ac trˆ ońg cu’a khˆ ong gian vecto X Tâ.p B a mô.t co so’ ( hay co so’ Hamel ) cu’a X nêú: d¯u.o c go.i l` a) B l` a mô.t tˆ a.p ho p d¯oˆ c lâ.p tuyêń t´ınh a mô.t tˆ o’ ho p tuyêń t´ınh cu’a b) B sinh X, ngh˜ıa l` a v´ o.i mo.i x ∈ X, x l` àn tu’ cu’a B : ac phˆ mô.t sô´ h˜ u.u ha.n c´ n ∀x ∈ X ∃ α1 , , αn ∈ K; ∃ x1 , , xn ∈ B : x= αi xi (1.2) i=1 è Gia’ su’ B l` 1.2.3 Mˆ e.nh d ¯ˆ a mˆ o.t co so’ cu’ a khˆ ong gian vecto X Khi d¯´ o ac d¯.inh mˆ o.t c´ ach nhˆ a´t biê’u diˆ˜e n cu’ a vecto x ∈ X cho bo’.i (1.2) d¯u.o c x´ ` ng tˆ o.c r˘a o’ng (1.2) Ch´ u ý Trong ph´ at biê’u cu’a mê.nh d¯`ê n` ay ta qui u.´ ac t` u ng d¯oî mô.t; khˆ a ong co ´ m˘a.t các ha.ng tu’ da.ng 0xj v` các vecto xj kh´ u.a, tıńh chˆ a´t giao hoa ´ n cu’a phe ´ p + nên ta khˆ ong quan tˆ am d¯êń th´ u tu ho.n n˜ cu’a các ha.ng tu’ ˜e n kh´ Ch´ u.ng minh Gia’ su’ có hai c´ ach biê’u diˆ ac nhau: x = α1 x1 + · · · + αn xn = β1 y1 + · · · + βm ym , v´ o.i αi = 0, βj = 0, i = 1, , n, j = , m Ta loa.i bo’ các ha.ng tu’ αj xj v` a βk yk o’ hai vê´ nêú αj = βk v` a xj = yk L´ uc a βk yk còn la.i o’ hai vê´ s˜e xa’y ho˘ a.c nêú a.c xj = yk ho˘ d¯o´ các ha.ng tu’ αj xj v` è mô.t vê´ v` ac ha.ng tu’ d¯o´ vˆ a viê´t la.i th` anh xj = yk th`ı αj = βk Chuyê’n c´ µ1 v1 + · · · + µr vr = 0, < r ≤ n + m - iˆ èu n` Do B l` a mô.t tˆ a.p ho p d¯oˆ c lâ.p tuyêń t´ınh nên µ1 = · · · = µr = D ay a αj ho˘ a.c βk thı` kh´ ac khˆ ong ho˘ a.c αj − βk = vˆ o l´ y v`ı mô˜i µk pha’i l` Bây gi` o gia’ su’ B l` a mô.t co so’ cu’a khˆ ong gian vecto X v` a B l` a tˆ a.p h˜ u.u ha.n àn tu’ àn tu’ Khi d¯o´ mo.i tˆ a.p d¯oˆ c lâ.p tuyêń t´ınh cu’a X có tˆ oí d¯a k phˆ có k phˆ èu d¯o´ nhu la én th´ én tıńh!) ` ca ´ ch ˆ on la.i kiˆ u.c cu’a d¯a.i sô´ tuyˆ (H˜ ay ch´ u.ng minh d¯iˆ èu, sô´ phˆ àn tu’ cu’a B gˆ òm k phˆ àn tu’ L´ uc n` ay ta n´ oi X l` a khˆ ong gian h˜ u.u ha.n chiˆ èu cu’a X v` d¯u.o c go.i l` a sˆ o´ chiˆ a k´ y hiê.u l` a dim X = k Nêú X khˆ ong pha’i l` a khˆ ong èu th`ı ta go.i n´ èu v` o l` a khˆ ong gian vˆ o ha.n chiˆ a viê´t dim X = ∞ gian h˜ u u ha.n chiˆ - ê’ nhˆ Cho B l` a tˆ a.p cu’a X D a.n biê´t B l` a co so’ cu’a khˆ ong gian vecto X, ta còn có: - i.nh l´ ong gian vecto X v` a 1.2.4 D y Tˆ a.p ∅ = B ⊂ X l` a co so’ cu’ a khˆ o.c lˆ a.p tuyêń t´ınh tˆ oí d¯a.i (ngh˜ıa l` a B d¯oˆ c lâ.p tuyêń t´ınh v` a chı’ B l` a tˆ a.p ho p d¯ˆ nêú M B th`ı M phu thuˆ o.c tuyêń t´ınh) Ch´ u.ng minh - iˆ èu kiê.n cˆ àn Cho M a D B Gia’ su’ x ∈ M v` ax∈ / B Khi d¯o´ theo d¯i.nh ngh˜ıa co so’., pha’i có x1 , , xn ∈ B, α1 , , αn ∈ K cho n n x= αi xi − 1x = αi xi hay i=1 n=1 Hê {x1 , , xn , x} phu thuˆ o.c tuyêń t´ınh nên M phu thuˆ o.c tuyêń t´ınh - iˆ èu kiê.n d¯u’ V´ b D o.i x ∈ X, nêú x ∈ B th`ı x = 1x Nêú x ∈ / B th`ı òn ta.i mô.t tˆ B ∪ {x} phu thuˆ o.c tuyêń t´ınh nên tˆ o’ ho p tuyêń t´ınh α1 x1 + · · · + αn xn = ` cho tâ´t ca’ các α1 , , αn khˆ ong d¯òˆng th` o.i b˘ a ng khˆ ong Trong các vecto xi n` ay pha’i có m˘a.t vecto x, ch˘ a d¯o´ α1 = v`ı nêú khˆ ong pha’i a’ng ha.n x = x1 v` a.y th`ı B s˜e phu thuˆ o.c tuyêń t´ınh Do d¯o´ nhu vˆ −1 x = x1 = −(α−1 α2 x2 + · · · + α1 αn xn ) Vˆ a.y B l` a mô.t co so’ cu’a X - inh l´ a mˆ o.t khˆ ong gian vecto v` a M l` a mˆ o.t tˆ a.p ho p d¯ˆ o.c 1.2.5 D y Gia’ su’ X l` òn ta.i mˆ lˆ a.p tuyêń t´ınh X L´ uc d¯´ o tˆ o.t co so’ B cu’ a X cho B ⊃ M y hiê.u F l` a tˆ a.p ho p tˆ a´t ca’ các tâ.p ho p N d¯oˆ c lâ.p tuyêń t´ınh Ch´ u.ng minh K´ u tu trên X ch´ u.a M Khi d¯o´ F = ∅ v`ı M ∈ F Ta d¯i.nh ngh˜ıa quan hê th´ F nhu sau: v´ a chı’ N1 ⊂ N2 Gia’ su’ A ⊂ F l` o.i N1 , N2 ∈ F, N1 ≤ N2 v` a ` ng ho p cu’a tˆ a a´t ca’ các tâ.p N thuˆ o.c mô.t tˆ a.p s˘ a´p th˘ a’ng cu’a F Ta d¯a˘ t N0 b˘ a mô.t câ.n trên cu’a A Do F thoa’ mãn các gia’ thiê´t cu’a bˆ o’ d¯`ê A L´ uc d¯o´ N0 l` òn ta.i mô.t phˆ àn tu’ tˆ Zorn nên F tˆ oí d¯a.i B Vˆ a.y B l` a co so’ pha’i t`ım òn ta.i co so’ 1.2.6 Hˆ e qua’ Mo.i khˆ ong gian vecto X = {0} d¯`êu tˆ - i.nh l´ òi a´p du.ng D aý x ∈ X, x = v` a d¯a˘ t M = {x} rˆ y 1.2.5 Ch´ u.ng minh Lˆ 1.3 Khˆ ong gian vecto - i.nh ngh˜ıa Cho X l` a M l` a mô.t tˆ a.p 1.3.1 D a mô.t khˆ ong gian vecto v` an cô.ng v` a nhˆ an vˆ o hu ´ o ng trên X thu he.p kh´ ac trˆ ońg cu’a X Gia’ su’ các phép to´ a la.i trên M c˜ ung l` am cho M th` anh mˆ o.t khˆ ong gian vecto Khi d¯o´ ta go.i M l` a´t la ` khˆ ong gian con) cu’a X mô.t khˆ ong gian vecto (hay go.i t˘ - i.nh l´ - iˆ èu kiê.n cˆ àn v` 1.3.2 D y Cho M l` a mˆ o.t tˆ a.p kh´ ac trˆ ońg cu’ a X D a anh mˆ o.t khˆ ong gian cu’ a X l` a: d¯u’ d¯ê’ M tro’ th` a ∀ x, y ∈ M : x + y ∈ M b ∀x ∈ M, ∀α ∈ K : αx ∈ M - iˆ èu kiê.n cˆ àn hiê’n nhiên Do gia’ thiê´t, các phép to´ Ch´ u.ng minh D an cô.ng v` a o ng l` a k´ın trên M Ho n n˜ u a, các t´ınh chˆ a´t cu’a các phép to´ an n` ay vˆ añ nhˆ an vˆ o hu ´ àn tu’ cu’a M nên ta ´ m tiên d¯`ê cu’a mô.t khˆ ong còn d¯u ´ ng ta l` am viê.c vó.i các phˆ èu kiê.n d¯u’ u d¯aˆy cho phép ta suy d¯u o c d¯iˆ gian vecto d¯u o c nghiê.m d¯ú ng T` anh, d¯ê’ kiê’m tra mô.t tˆ a.p Y n` ao d¯o´ l` a khˆ ong gian Ch´ u y ´ Trong thu c h` òi o.i ta thu.` o.ng nh´ ung n´ o v` ao mô.t khˆ ong gian vecto d¯a˜ biê´t rˆ vecto., ngu.` èu kiê.n cu’a d¯i.nh l´ kiê’m tra các d¯iˆ y trên 1.3.3 V´ı du ∞ òm tâ´t ca’ các d˜ ay sô´ thu c ho˘ a.c ph´ u.c x = (xn )n cho Tâ.p ho p l1 gˆ |xn | < ∞ l` a mô.t khˆ ong gian cu’a khˆ ong gian s các dãy sô´ n=1 Tˆ a.p ho p c´ a ac h` am sô´ liên tu.c xác d¯i.nh trên d¯oa.n [a, b] k´ y hiê.u C[a,b] l` mô.t khˆ ong gian cu’a khˆ ong gian c´ ac hàm sô´ F([a, b]) ay sô´ thu c ho˘a.c Tˆ a.p ho p l∞ = {x = (xn )n ⊂ K : sup |xn | < ∞} các d˜ n∈N - ó la a.n c˜ ung l` a mô.t khˆ ong gian vecto D ph´ u.c x = (xn )n bi ch˘ ` khˆ ong gian cu’a ˜ y sô´ ´ c da khˆ ong gian vecto s ca - i.nh l´ T` u D y 1.3.2 ta c´ o mê.nh d¯`ê sau è Giao mˆ 1.3.4 Mˆ e.nh d ¯ˆ o.t ho tu`y ý c´ ac khˆ ong gian cu’ a X l` a mˆ o.t khˆ ong gian cu’ a X - ˘a.t Ch´ u.ng minh Gia’ su’ (Mi )i∈I l` a mô.t ho các khˆ ong gian cu’a X D Mi Ta có M kh´ ac trˆ ońg v`ı n´ o có ch´ u.a vecto Nêú x, y ∈ M, (t´ u.c M = i∈I l` a x, y ∈ Mi , ∀i ∈ I), α ∈ K th`ı x + y ∈ Mi , αx ∈ Mi v´ o.i mo.i i ∈ I Do d¯o´ x + y ∈ M v` a αx ∈ M Vˆ a.y M l` a khˆ ong gian cu’a X - i.nh ngh˜ıa Gia’ su’ A l` 1.3.5 D a mô.t tˆ a.p cu’a khˆ ong gian vecto X Luˆ on ’ òn ta.i mô.t khˆ ang ha.n ba’n thˆ an khˆ ong gian luˆ on tˆ ong gian cu’a X ch´ u a A (ch˘ ung l` a mô.t khˆ ong gian X) Giao cu’a ho tˆ a´t ca’ các khˆ ong gian ch´ u a A c˜ ong gian n` ay d¯u.o c goi l` a khˆ ong gian sinh bo’.i A hay l` a bao ch´ u.a A Khˆ y hiê.u l` a A ho˘ a.c span (A) Theo d¯i.nh ngh˜ıa, d¯aˆy tuyêń t´ınh cu’a A v` a d¯u o c k´ a.p A Ta có: l` a khˆ ong gian bé nhˆ a´t cu’a X ch´ u a tˆ è Bao tuyêń t´ınh cu’ a tˆ 1.3.6 Mˆ e.nh d ¯ˆ a.p A l` a tˆ a.p ho p tˆ a´t ca’ c´ ac tˆ o’ ho p àn tu’ thuˆ o.c A tuyêń t´ınh cu’ a c´ ac phˆ -˘ Ch´ u.ng minh D a.t M = n ˜ αi xi | αi ∈ K, xi ∈ A, n ∈ N Ro `ng theo - i.nh l´ D y 1.3.2, M l` a khˆ ong gian cu’a X Ho.n n˜ u.a t` u A ⊂ M suy A ⊂ M n M˘ a.t kh´ ac xi ∈ A nên αi xi ∈ A v`ı A l` a mô.t khˆ ong gian vecto Do d¯ó i=1 M ⊂ A v` a t` u d¯ó M = A i=1 - i.nh nghıã Gia’ su’ M v` 1.3.7 D a N l` a hai khˆ ong gian cu’a X Ta ky ´ hiê.u Z = M + N = {x + y : x ∈ M, y ∈ N } L´ uc d¯o´ Z c˜ ung l` a mô.t khˆ ong gian ˜e d` a tˆ o’ng cu’a M v` a N Ta dˆ ang suy ra: vecto cu’a X, d¯u.o c go.i l` M +N = M ∪N a tˆ o’ng tru c tiê´p cu’a M Nêú Z = M + N v` a M ∩ N = {0} th`ı Z d¯u.o c go.i l` v` a N , k´ y hiê.u Z = M ⊕ N Ta có: - i.nh l´ 1.3.8 D y Cho M, N l` a c´ ac khˆ ong gian vecto cu’ a X va ` d¯˘ a.t - iˆ èu kiê.n ˘ Z = M + N D a´t c´ o v` a d¯u’ d¯ê’ Z = M ⊕ N l` a v´ o.i mo.i z ∈ Z, z d¯u.o c o.i da.ng z = x + y v´ o.i x ∈ M, y ∈ N biê’u diˆ˜e n mˆ o.t c´ ach nhˆ a´t du.´ Ch´ u.ng minh - iˆ èu kiê.n cˆ àn Gia’ su’ Z = M ⊕ N v` D o.i x, x ∈ a z = x + y = x + y v´ uc d¯o´ x − x = y − y V`ı x − x ∈ M, y − y ∈ N nên x − x = M ; y, y ∈ N L´ a.y x = x v` ay=y y − y ∈ M ∩ N = {0} Vˆ - iˆ èu kiê.n d¯u’ Ta có Z = M + N Gia’ su’ x ∈ M ∩ N L´ D uc d¯o´ ta viê´t ˜e n, ta suy x = ngh˜ıa l` x = x + = + x Do t´ınh nhˆ a´t cu’a biê’u diˆ a M ∩ N = {0} hay Z = M ⊕ N ong gian vecto thu.o.ng 1.4 Khˆ ong gian vecto t´ıch–Khˆ a n khˆ ong gian vecto trên c` ung mˆ o.t tru.` o.ng K K´ y 1.4.1 Cho X1 , , Xn l` àn tu’ o i các phˆ hiê.u X l` a t´ıch Descartes cu’a các Xi : X = X1 × × Xn V´ o.c X v` a α ∈ K ta d¯i.nh ngh˜ıa x = (x1 , , xn ), y = (y1 , , yn ) thuˆ x + y = (x1 + y1 , , xn + yn ), αx = (αx1 , , αxn ) ˜e d` ` ng v´ L´ uc d¯o´ dˆ ang kiê’m tra d¯ê’ thˆ aý r˘ a o.i hai phép to´ an trên, X tro’ th` anh a X d¯u.o c go.i l` a t´ıch (hay t´ıch tru c tiê´p) cu’a n khˆ ong mô.t khˆ ong gian vecto v` gian vecto X1 , , Xn 1.4.2 Cho X l` a mô.t khˆ ong gian vecto v` a M l` a mô.t khˆ ong gian cu’a n´ o Ta d¯.inh ngh˜ıa quan hê sau: ∀ x, y ∈ X, x ≡ y (mod M ) ⇔ x − y ∈ M Rõ r` ang d¯aˆy l` a mô.t quan hê tu.o.ng d¯u.o.ng trên X Cho x ∈ X Nêú y ≡ x (mod M ) th`ı y − x ∈ M hay y ∈ x + M Ngu.o c la.i nêú z ∈ x + M th`ı z − x ∈ M a tˆ a.p y hiê.u x ch´ınh l` hay z ≡ y (mod M ) Do d¯o´ l´ o.p tu.o.ng d¯u.o.ng cu’a x, k´ a X/M = {x : x ∈ X} x + M = {x + m; m ∈ M } Ta k´ y hiê.u tˆ a.p thu.o.ng l` Ch´ uy ´ r˘ a` ng x ≡ x (mod M ) ⇐⇒ x − x ∈ M, y ≡ y (mod M ) ⇐⇒ y − y ∈ M, 131 Chu.o.ng §1 v` a §2 T` u gia’ thiê´t suy λµ x, y + µλ y, x = Cho.n µ ∈ R, λ = y, x yn ≤ xn ≤ T` u d¯o´ suy cˆ au a) M˘ a.t kh´ ac Ta có | xn , yn | ≤ xn xn − yn = xn + yn − xn , yn − xn , yn Cho n → ∞ ta suy cˆ au b a T` u d¯i.nh ngh˜ıa, ta c´ a.t kh´ ac (M ⊥ )⊥ l` a khˆ ong gian o M ⊂ (M ⊥ )⊥ M˘ d¯ońg Vˆ a.y M ⊂ M ⊂ (M ⊥ )⊥ ⊥ àn ch´ b Chı’ cˆ u.ng minh (M ⊥ )⊥ ⊂ M Ta có H = M ⊕ M = M ⊕ (M ⊥ ) é z = x − y ∈ o.i y ∈ M , z ∈ M ⊥ nên nhu thˆ Vó.i x ∈ (M ⊥ )⊥ , ta viê´t x = y + z v´ ⊥ ⊥ ⊥ a.y x = y ∈ M (M ) ∩ M = {0} Vˆ L Xét (fn )n ⊂ C[0,1] x´ ac d¯i.nh nhu sau: ⎧ ⎪ nêú x ∈ [0, ] ⎪ ⎪ ⎪ ⎨ 1 fn (x) = 2n(1/2 − x) + nêú x ∈ [ , + ] ⎪ 2 2n ⎪ ⎪ ⎪ 1 ⎩ nêú x ∈ [ + , 1] 2n Ta có fn+p − fn 1/2+1/2n = 1/2 = |fn+p (x) − fn (x)|2 dx (fn (x) − fn+p (x)) dx ≤ fn+p − fn < 1/2+1/2n 1/2 2n (n, p ∈ N) |fn |dx ≤ 2n 132 L L è f C[0,1] Vˆ a.y (fn ) l` a d˜ ay Cauchy C[0,1] Nêú fn hˆ o.i tu vˆ th`ı fn → f òn ta.i d˜ ay cu’a (fn )n c˜ ung k´ y hiê.u l` a (fn )n cho L [0, 1] Do d¯o´ tˆ àu kh˘ àu kh˘ (fn )n hˆ o.i tu hˆ a´p no i d¯êń f M˘ o.i tu hˆ a´p no.i d¯êń h` a.t kh´ ac fn hˆ am f : f (x) = 1, nêú x ∈ [0, 1/2) 0, nêú x ∈ (1/2, 1] àu kh˘ Vˆ a.y f = f Tuy nhiên khˆ ong co ´ `m liên tu.c naò trên [0, 1] ma` b˘ a` ng f hˆ a´p no i d¯u o c a khˆ ong gian d¯ońg cu’a H V`ı f = f ∈ H ∗ nên M = f −1 {0} l` òn ta.i x0 ∈ / M v´ o i f (x0 ) = Ta có x0 = y0 + z0 v´ o.i nên M = H Vˆ a.y tˆ y0 ∈ M ⊥ , z0 ∈ M Suy f (x0 ) = f (y0 ) = f (y) Nêú y ∈ M ⊥ , d¯a˘ t λ = th`ı ta có f (y0 ) f (y − λy0 ) = f (y) − λf (y0 ) = Vˆ a.y y − λy0 ∈ M ∩ M ⊥ = {0} hay y = λy0 Nhu thê´ M ⊥ l` a khˆ ong gian mˆ o.t èu chiˆ àn ch´ o.ng ho p x ∈ / L Khi d¯o´ x = y + z v´ o.i a Chı’ cˆ u.ng minh cho tru.` o.i u bˆ a´t k` y thuˆ o.c L, ta có y ∈ L, z ∈ L⊥ V´ x − u = (y − u) + z Vˆ a.y th`ı x−u = y−u M˘ a.t kh´ ac, lâý u = y ta có x − y 2 + z ≥ z = z Nhu thê´ z = min{ x − u : u ∈ L} (1) Bây gi` o v´ a´t d¯a˘’ ng o.i u ∈ L⊥ ta có x, u = y, u + z, u = z, u Theo bˆ th´ u c Schwarz ta có: | x, u | = | z, u | ≤ z u z , ta có | x, u | = Vˆ a.y | x, u | ≤ z v´ o.i mo.i u ∈ L⊥ , u = Lâý u = z z = z Vˆ a.y z, z z = max {| x, u | : u ∈ L⊥ , u = 1} èu cˆ àn ch´ T` u (1) v` a (2) ta suy d¯iˆ u.ng minh (2) 133 b Gia’ su’ x ∈ L⊥ v´ o.i mo.i u ∈ L ta có x−u 2 = x + −u ≥ x Ngu.o c la.i, gia’ su’ x ≤ x − u v´ o.i mo.i u ∈ L Ta ch´ u.ng minh x ∈ L⊥ Ta có o.i x0 ∈ L⊥ , y0 ∈ L Ta s˜e ch´ u.ng minh y0 = Thˆ a.t vˆ a.y x = x0 + y0 v´ x0 = x − y0 ≥ x = x0 + y0 Suy y0 = hay y0 = ˜ y M + N cho xn + yn → z ∈ H Khi ` mô.t da Cho (xn + yn )n la ˜ y co ba’n Ta á p du.ng d¯a˘’ ng th´ ` mô.t da u.c Pythagore thı` co ´ d¯u.o c d¯ó (xn + yn )n la xn + yn − (xm + ym ) = xn − xm + yn − ym é (xn )n , (yn )n la àn lu.o t nên ˜ y co ba’n M va M ⊥M Nhu thˆ ` ca ´ c da ` N lˆ è x ∈ M va hˆ o.i tu vˆ ` y ∈ N Vˆ a.y z = x + y nên z ∈ M + N √ a en = v´ o.i mo.i n ∈ N nên {en }n∈N V`ı en − em = nêú n = m v` l` a tˆ a.p d¯ońg, bi ch˘ a.n v` a khˆ ong c´ o d˜ ay n` ao hˆ o.i tu Vˆ a.y th`ı {en }n∈N khˆ ong àu d¯ońg d¯o n vi B ⊂ H l` a mô.t lˆ an câ.n khˆ ong compact compact Suy h`ınh cˆ ong compact d¯i.a phu o ng cu’a H, t´ u c là H khˆ Du`ng d¯i.nh ly ´ d¯òˆ thi d¯ó ng Gia’ su’ Thˆ a.t vˆ a.y, v´ o.i mo.i z ∈ H ta co ´ xn → x0 Axn → y0 ta ch´ u.ng minh Ax0 = y0 Ax0 , z = x0 , Az = lim xn , Az n lim Axn , z = y0 , z , n T` u d¯ó suy y0 = Ax0 10 ∀x ∈ H ta có x = ∞ k=1 x, ek ek Vâ.y ∞ lim Pn (x) = n→∞ x, ek ek = I(x) k=1 M˘ a.t kh´ ac vó.i n ∈ N v` a p ∈ N ta có Pn+p (en+1 ) − Pn (en+1 ) = Pn+p (en+1 ) = en+1 = 134 Vˆ a.y Pn+p − Pn = 1, ∀n, p ∈ N Nói cách kh´ ac (Pn ) khˆ ong pha’i l` a d˜ ay Cauchy L(H) nên khˆ ong hˆ o.i tu 11 a) ∞ |λn x, en en |2 ≤ (sup |λn |)2 x n n=1 ∞ Vˆ a.y λn x, en en hˆ o.i tu n=1 -˘ b R˜ o r` ang A l` a tuyêń t´ınh D a.t K = sup |λn | < ∞ Ta có n Ax ≤ K2 ∞ | x, en |2 ≤ K x n=1 Vˆ a.y A liên tu.c và A ≤ K M˘ a.t kh´ ac Aen = λn en = |λn |, ∀n ∈ N Do d¯o´ A = sup Ax ≥ |λn |, ∀n ∈ N Suy A ≥ K (3) (4) x =1 T` u (3) v` a (4) ta suy A = K = sup |λn | n∈N a´t d¯a˘’ ng th´ u.c 12 Tru.´ o.c hê´t ta mo’ rˆ o.ng A t` u M lên M Do bˆ Ax − Ay ≤ A x − y , x, y ∈ M, ta suy mˆ o˜i x = lim xn ∈ M , (xn )n ⊂ M, th`ı (Axn )n hˆ o.i tu Y v` a gi´ o.i ha.n anh xa A1 : M → Y chı’ phu thuˆ o.c vào x mà khˆ ong phu thuˆ o.c (xn ) Do d¯o´ ta có ´ ⊥ ˜e thˆ tuyêń t´ınh liên tu.c và A1 M = A Dˆ aý A1 = A M˘ a.t kh´ ac H = M ⊕ M ⊥ ˜ = A1 x1 th`ı A˜ -˘ nên v´ o.i mo.i x ∈ H, x = x1 + y1 , v´ o.i x1 ∈ M , y1 ∈ M D a.t Ax a.t vˆ a.y tuyêń t´ınh liên tu.c và A˜ = A1 = A Thˆ ˜ = A1 x ≤ A1 Ax Ho.n n˜ u.a A˜ = sup x =1 = ˜ ≥ Ax sup ˜ Ax x =1, x∈M sup x∈M, x , ( x1 ≤ x ) x =1 A1 x = A1 §3 v` a §4 òn ta.i a ∈ M cho x∗ (x) = x, a v´ o.i mo.i Theo d¯i.nh l´ y Riesz th`ı s˜e tˆ x ∈ M v` a x∗ = a 135 Xét x˜ : H → K x´ ac d¯i.nh nhu sau: x ˜(x) = x, a , ∀x ∈ H Ta có x ˜ ∈ H ∗ v` a x ˜ = a , ho.n n˜ u.a x ˜|M = x∗ Gia’ su’ có y˜ ∈ H ∗ cho: y˜|M = x∗ , y˜ = x∗ = a àn tu’ n` Nhu vˆ o.i mo.i x ∈ H v` a mô.t phˆ a.y y˜ pha’i có da.ng y˜(x) = x, a , v´ a a l` ao d¯o´ cu’a H d¯òˆng th` o i ta có y˜ = a = a Vó i x = m ∈ M th`ı y˜(m) = m, a = x(m) = m, a Lˆ aý m = a, ta có a = a, a Suy a , a = a, a = a, a = a M˘ a.t kh´ ac a−a = a − a ,a − a = a + a − a, a − a , a = N´ oi cách kh´ ac a = a hay y˜(x) = x˜(x) v´ o.i mo.i x ∈ H ∞ a Ax = (ηj )j = ( ajk ξk ), ta có a) V´ o.i x = (ξj )j ∈ l2 v` k=1 ∞ |ηj | ≤ ( ∞ |ajk | )( k=1 ∞ |ξk | ) ≤ k=1 x 2, k=1 j = 1.2 Vˆ a.y |ajk |2 Ax ≤ j |ajk | 1/2 x k ˜e thˆ Nhu vˆ a dˆ aý A l` a to´ an tu’ tuyêń t´ınh liên tu.c a.y Ax ∈ l2 v` b V´ o.i y = (ξj )j ∈ l2 , ta d¯a˘ t A∗ y = (ηj )j ∈ l2 Ta có A∗ y, en = y, Aen , ∀n ∈ N ∞ v` a en = (0, , 1n , ) Suy ηn = ξj ajn Vâ.y A∗ y = (ηn )j = j=1 Du`ng d¯a˘’ ng th´ u.c Ax, y = x, A∗ y , v´ o.i mo.i x, y ∈ L2 [0, 1] ∞ ajn ξj j=1 136 Nh` o d¯i.nh ly ´ Fubini, ta co ´: t 1 x(s)ds y(t)dt = Ax, y = 0 y(t)dt x(s)ds = x, A∗ y s Vˆ a.y (A∗ y)(s) = s y(t)dt, ∀ y ∈ L2 [0, 1] Gia’ su’ M l` a khˆ ong gian d¯ońg cu’a H v` a P : H → M l` a phép chiêú o.i x ∈ H, x = P x + z d¯o´ P x ∈ M v` a z ∈ M ⊥ Ta có tru c giao V´ P x, x = P x, P x + P x, z = P x, P x ≥ a) V´ o.i x = (ξn )n ∈ l2 , Ax = (an ξn )n ta có M = sup |an | < ∞ n∈N ∞ |an ξn | ≤ M ∞ n=1 |ξn |2 = M x n=1 Vˆ a.y Ax ∈ l2 v` a Ax ≤ M x ˜e d` Dˆ ang kiê’m ch´ u.ng A l` a A ≤ M a to´ an tu’ tuyêń t´ınh Vˆ a.y A ∈ L(l2 ) v` Nêú M = th`ı A = Nêú M > th`ı v´ o.i mo.i N > cho < òn ta.i n0 ∈ N cho N < |an0 | ≤ M Xét x0 = an0 en0 v´ o.i N < M s˜e tˆ a Ax0 = |an0 |2 Vâ.y en0 = (0, , 1n0 , 0, ) ta có x0 = |an0 | v` Ax0 = |an0 | |an0 | > N x0 , t´ u.c la` A > N Vˆ a.y A = M b) Sinh viên tu gia’i c Ta vâñ ky ´ hiê.u x, y nhu o’ a) Vı` A liên tu.c va` l2 la ` khˆ ong gian Hilbert - iˆ èu na ` chı’ A la ` song á nh D `y tu.o.ng nên A co ´ toa ´ n tu’ ngu.o c liên tu.c va ´ i ca ´ ch kha ´ c, ´ nghiê.m nhˆ a´t vo.i mo.i y ∈ l2 No d¯u.o.ng phu.o.ng trı`nh Ax = y co ´ nhˆ a´t nghiê.m vó i mo.i n ∈ N hay phu o ng trı`nh an ξn = ηn co an = 0, Khi d¯ó A−1 x = ξn an n ξn = , ηn an x = (ξn )n ∈ l2 ` ng toa o.i mo.i n ∈ N Co ´ thê’ thˆ aý r˘ a ´ n tu’ A du.o.ng va ` chı’ an ≥ v´ ˜ y gia’m ca ` da ´ c tâ.p ho p nên v´ o.i mo.i x ∈ H, dn (x) = d(x, En ) a) Do (En )n la éu òn ta.i limn→∞ dn (x) = d(x) ≤ +∞ Nˆ ˜ y t˘ la ` da ang ca ´ c sô´ khˆ ong aˆm Vâ.y tˆ 137 co ´ x0 ∈ H cho d(x0 ) < +∞ thı` lu ´ c d¯ó v´ o.i mo.i x ∈ H, ta co ´ dn (x) ≤ x − x0 + dn (x0 ) Suy d(x) < +∞ b) V´ o.i mo.i y ∈ A(x, , n) thı` dn (x) ≤ y − x ≤ d(x) + Cho y1 , y2 ∈ òi á p du.ng d¯a˘’ ng th´ ` chu ´ ý tıńh `nh cho y1 − x, y2 − x va A(x, , n) rˆ u.c hı`nh bı`nh òi cu’a ca lˆ ´ c tâ.p En ta suy y1 − y2 ≤ 4(d2 (x) − d2n (x) + (2d(x) + )) Suy δn → n → ∞ d¯ó δn = sup{ y1 − y2 , y1 , y2 ∈ (A(x, , n))} o.ng kıńh cu’a tˆ a.p A(x, , n) la ` d¯u.` c) Do (En )n la ` ca ´ c tâ.p d¯ó ng nên A(x, , n) la ` ca ´ c tâ.p d¯ó ng Ngoa ì ra, v´ o.i òn ta.i yn ∈ En cho x − yn = dn (x) < d(x) + Vˆ a.y A(x, , n) = ∅ n ∈ N, tˆ -ˆ àn khˆ ˜ y ca ay la ` da ´ c tâ.p d¯ó ng, kha ´ c trˆ ońg va ` th˘ a´t dˆ ong gian v´ o i mo.i n ∈ N D ∞ Hilbert nên theo nguyên ly ´ Cantor, ta suy E = V´ o.i x0 ∈ ∞ En ⊃ n=1 ∞ A(x, n1 , n) = ∅ n=1 A(x, n1 , n), ta co ´ n=1 d(x, E) ≤ x − x0 ≤ d(x) + n Vˆ a.y d(x, E) ≤ d(x) M˘ a.t kha ´ c, d(x, E) ≥ d(x, En ) = dn (x), nên d(x, E) ≥ d(x) T` u d¯ó d(x, E) = d(x) Chu.o.ng àu d¯o.n vi l2 Vı` l2 la ` khˆ ong gian Banach Ca ´ ch Cho S la ` hı`nh cˆ àn ch´ ` hoa `n toa `n bi ch˘ a.n Cho > ` ý Vı` nên ta chı’ cˆ u ng minh A(S) la ∞ ∞ àu d¯o.n vi U chuˆ o˜i hˆ o.i tu nên lˆ aý n0 cho < /2 H`ınh cˆ 2 n n n=1 n=n0 +1 òn ta.i mô.t lu.´ a compact nên tˆ o.i o.i /2 h˜ u.u ha.n a∗1 , a∗2 , , a∗k ∈ Rn0 v´ Rn0 l` n0 ) Nêú x = (x , x , ) ∈ S th`ı x2 ≤ t´ u.c là x∗ = a∗ = (a , , a m m1 mn0 a∗m n0 a∗m i=1 i ∗ -˘ R cho −x < /2 D a.t am = (x1 , , xn0 ) ∈ U Do d¯o´ có a mô.t -lu ´ o i compact cu’a A(S) (am1 , , amn0 , 0, , ) Khi d¯o´ a1 , , ak l` Ca ´ ch V´ o.i x = (x1 , x2 , , ) ∈ l2 ta d¯a˘ t An x = ( x11 , x22 , , xnn , ) Khi èu va ` toa ´ n tu’ h˜ u.u ha.n chiˆ ` An − A → n → ∞ d¯ó An la V`ı (en )n l` a co so’ tru c chuâ’n H nên v´ o.i mo.i x ∈ H ta có d¯a˘’ ng th´ u.c Parseval: ∞ x = n=1 | x, en |2 138 w Vˆ a.y lim x, en = hay en → Do A compact nên Aen → n→∞ òn ta.i / σ(A) Nhu thê´ (A − λI) l` a phép d¯òˆng phˆ oi nên tˆ a) Gia’ su’ λ ∈ m > d¯ê’ m x ≤ (A − λI)x - iˆ èu n` L´ uc d¯o´ m xn ≤ (A − λI)xn → D ay vˆ o l´ y v`ı xn = v´ o.i mo.i n ∞ ∞ X v´ o.i X = B (0, n) nên R(A) = A(X) = A(X ) Ta có X = n=1 n n n=1 n òn ta.i tˆ a compact tu.o.ng d¯oˆí nên tˆ Mˆ o˜i tˆ a.p A(Xn ) l` a.p Bn d¯ê´m d¯u.o c tr` u mˆ a.t ∞ A(Xn ) L´ uc d¯o´ B = Bn d¯ê´m d¯u.o c và tr` u mˆ a.t R(A) n=1 èu nên tˆ òn ta.i mô.t d˜ o ha.n chiˆ ay (xn )n d¯oˆ c lâ.p tuyêń t´ınh Gia’ su’ N (Aλ ) vˆ -˘ a.t Xn = {x1 , , xn } l` a các khˆ ong gian d¯ońg cu’a X V`ı N (Aλ) D òn a Xn = Xn+1 , n = 1, nên a´p du.ng Bˆ o’ d¯`ê Riesz ta thˆ aý tˆ Xn ⊂ Xn+1 v` àn tu’ zn ∈ Xn : zn = 1, zn − x > 1/2 v´ o i mo.i x ∈ Xn−1 V`ı ta.i các phˆ Azn = λzn nên Azn − Azm = |λ| zn − zm > 1/2|λ| Vâ.y khˆ ong thê’ có d˜ ay cu’a d˜ ay (Azn )n hˆ o.i tu d¯u.o c, tr´ v´ o.i gia’ thiê´t A compact àn èu nên tˆ òn ta.i mô.t d˜ V`ı X l` a khˆ ong gian Banach vˆ o ha.n chiˆ ay (zn ) các phˆ -˘ a´ ap du.ng Bˆ o’ d¯`ê Riesz (Bˆ o’ d¯`ê 4.5 a.t Zn = {z1 , , zn } v` tu’ d¯oˆ c lâ.p tuyêń t´ınh D òn ta.i d˜ aý tˆ ay (yn )n cho yn = 1, yn − ym ≥ 1/2, m = n Chu o ng 1), ta thˆ o.i tu X L´ uc V`ı A compact nên có mô.t d˜ ay cu’a (yn )n cho (Ayn )n hˆ -˘ a.t n` ay Ayn+1 − Ayn = A(yn+1 − yn ) → 0, (n → ∞) D xn = Axn = yn+1 − yn yn+1 − yn yn+1 − yn th`ı xn = v` a A(yn+1 − yn ) ≤ Ayn+1 − Ayn Vˆ a.y Axn → n → ∞ Ta có H = N (A∗λ ) ⊕ R(Aλ ) òn ta.i x = cho (A∗ − a Nêú R(Aλ ) = H th`ı N (A∗λ ) = {0} Suy tˆ λ I)x = hay Ax = λx v`ı A = A∗ Ho.n n˜ u.a A tu liên hiê.p nên λ = λ ∈ R Vâ.y λ l` a mô.t gi´ a tri riêng cu’a A 139 b Nêú R(Aλ ) = H v` a N (A∗λ ) = {0} th`ı suy Aλ l` a d¯o.n ańh nhu.ng khˆ ong to` an ańh Vˆ a.y λ ∈ σ(A) o l` a phép d¯òˆng phˆ oi, ngh˜ıa c Nêú H = R(Aλ ) th`ı Aλ song ańh liên tu.c nên n´ l` a λ ∈ ρ(A) 140 Phu lu.c ˜ NG KIE ˆŃ THU ´ C ON ˆ LA NHU I éu cu’a Phu lu.c na `y co ´ mu.c d¯ćh ı nh˘ ać la.i mô.t sô´ kha ´ i niê.m va` d¯i.nh ly ´ chu’ yˆ àn tru ´ én àn co so’ gia’i tıćh ma` sinh viên d¯ã d¯u o c ho.c o’ ca ´ c ho.c phˆ o c Ca ´ c kiˆ phˆ `y d¯u.o c du`ng kha ´ thu.` o.ng xuyên gia ´ o trı`nh th´ u.c na è Zorn Bˆ o’ d ¯ˆ Gia’ su’ G l` a mô.t tˆ a.p ho p bˆ a´t k` y, trên d¯o´ có mô.t quan hê th´ u tu bˆ o phˆ a.n k´ y hiê.u ≤, ngh˜ıa l` a ≤ thoa’ mãn a ∀x ∈ G : x ≤ x (t´ınh pha’n xa b ∀x, y ∈ G nêú x ≤ y v` a y ≤ x th`ı x = y (t´ınh pha’n x´ u.ng) àu) c ∀x, y, z ∈ G, nêú x ≤ y v` a y ≤ z th`ı x ≤ z (t´ınh b˘ ać cˆ Gia’ su’ A l` a mô.t tˆ a.p kh´ ac trˆ ońg cu’a G Tˆ a.p A d¯u.o c go.i l` a tˆ a.p s˘ a´p th˘ a’ ng o.i mo.i a ∈ A, b ∈ A ta có (hay s˘ a´p tuyêń t´ınh ) theo quan hê th´ u tu ≤ nêú v´ àn tu’ bˆ a´t k` y cu’a A d¯`êu c´ o thê’ so sánh v´ o.i a ≤ b ho˘ a.c b ≤ a (ngh˜ıa l` a v´ o.i hai phˆ nhau) àn tu’ x0 ∈ G d¯u.o c go.i l` a cˆ a.n trên (t.u , cˆ a.n du.´ o.i) cu’a tˆ a.p A nêú v´ o.i – Phˆ mo.i a ∈ A ta có a ≤ x0 (t.u , x0 ≤ a) àn tu’ x0 ∈ G d¯u.o c go.i l` àn tu’ tˆ – Phˆ a mô.t phˆ oí d¯a.i cu’a G nêú v´ o.i mo.i x ∈ G àn tu’ tˆ a mô.t phˆ oí d¯a.i cu’a G v` a z ∈ G th`ı: mà x0 ≤ x th`ı x0 = x Do d¯o´ nêú x0 l` • ho˘ a.c z khˆ ong so sánh d¯u.o c vó.i x0 • ho˘ a.c z so sánh d¯u.o c vó.i x0 th`ı z ≤ x0 è Zorn Gia’ su’ G l` Bˆ o’ d ¯ˆ a mˆ o.t tˆ a.p ho p kh´ ac trˆ ońg, trên d¯´ o c´ o mˆ o.t quan hˆ.e o phˆ a.n ≤ Nêú mo.i tˆ a.p s˘ a´p th˘ a’ ng cu’ a G d¯`êu c´ o cˆ a.n trên th`ı th´ u tu bˆ àn tu’ tˆ oí d¯a.i G c´ o ´ıt nhˆ a´t mˆ o.t phˆ o.i mô.t tiên d¯`ê, có tên l` a tiên d¯`ê cho.n Bô’ d¯`ê n` ay tu.o.ng d¯u.o.ng v´ è pha.m tru Ca ć d ¯i.nh ly ´ vˆ ` Baire - i.nh ngh˜ıa D 141 • Cho M l` a mô.t tˆ a.p cu’a khˆ ong gian mêtric X Ta go.i M l` a tˆ a.p khˆ ong o khˆ ong tr` u mˆ a.t bˆ a´t k`ı d¯ˆ au tr` u mˆ a.t (hay c` on go.i l` a tˆ a.p ho p thu a) nêú n´ àu n` h`ınh cˆ ao ca’ N´ oi mô.t cách tu o ng d¯u o ng: ◦ (M ⊂ X l` a tˆ a.p khˆ ong d¯aû tr` u mˆ a.t) ⇔ (M = ∅) • Gia’ su’ A l` a mô.t tˆ a.p cu’a khˆ ong gian mêtric X Ta go.i A l` a tˆ a.p thuˆ o.c òn ta.i mô.t d˜ pha.m tr` u I X nêú tˆ ay các tâ.p khˆ ong d¯aû tr` u mˆ a.t A1 , A2 , , ∞ Ai cho A = i=1 a thuˆ o.c pha.m tr` u II nêú n´ o khˆ ong pha’i l` a tˆ a.p thuˆ o.c Tâ.p A ⊂ X d¯u.o c go.i l` pha.m tr` u I - i.nh l´ı (Baire) Gia’ su’ X l` a mˆ o.t khˆ ong gian mêtric d¯`ˆ ay d¯u’ Khi d¯´ o X l` a D tˆ a.p thuˆ o.c pha.m tr` u II a d˜ ay c´ ac a mˆ o.t khˆ ong gian mêtric d¯`ˆ ay d¯u’ v` a (An )n l` Hˆ e qua’ Gia’ su’ X l` tˆ a.p cu’ a X cho X = ∞ ◦ òn ta.i n0 ∈ N cho An = ∅ An Khi d¯´ o tˆ n=1 ` Xˆ a´p xı’ h` am liˆ en tu.c b˘ a ng d ¯a th´ u.c a khˆ ong gian mêtric các h` am sô´ liên tu.c trên [a, b] v´ o.i mêtric Gia’ su’ C[a,b] l` ac d¯i.nh trên [a, b] có da.ng g(x) = d = “ max ” K´ı hiê.u W l` a tˆ a.p c´ ac d¯a th´ u.c g x´ n a0 + a1 x + · · · + an x - i.nh l´ı Weierstrass I Mˆ a gi´ o.i ha.n cu’ a mˆ D o˜i h` am sˆ o´ liên tu.c f ∈ C[a,b] l` o.t o.i tu d¯`êu d˜ ay d¯a th´ u c hˆ N´ oi cách kh´ ac, v´ o.i mo.i f ∈ C[a,b] , ta có ∀ > 0, ∃ g ∈ W : d(f, g) = max |f (x) − g(x)| < x∈[a,b] òn ta.i d¯a th´ Hˆ e qua’ V´ o.i mo.i f ∈ C[a,b] v` a mo.i > d¯`êu tˆ u.c g ∗ ∈ W v´ o.i hê sˆ o´ h˜ u.u tı’ cho d(f, g ∗ ) = max |f (x) − g ∗ (x)| < x∈[a,b] - i.nh l´ı Weierstrass II V´ àn ho` D o.i mˆ o˜i h` am sˆ o´ liên tu.c f trên R, tuˆ an theo òn ta.i mˆ o˜i sˆ o´ du o ng , s˜e tˆ o.t d¯a th´ u c lu o ng gi´ ac chu k`ı 2π v` a v´ o i mˆ 142 a0 s(x) = + n (ak cos kx + bk sin kx) k=1 cho v´ o.i mo.i x ∈ R ta c´ o |f (x) − s(x)| < - i.nh l´ı Ascoli- Azel` D a Cho A l` a mô.t tˆ a.p cu’a khˆ ong gian d¯i.nh chuˆ a’n C[a,b] v´ o.i chuˆ a’n “max” Ta nh˘ ać la.i các kh´ niê.m sau d¯aˆy o K > cho vó.i mo.i Tˆ a.p A d¯u.o c go.i l` a bi ch˘ a.n ta.i x0 ∈ [a, b] nêú c´ a bi ch˘ a.n t` u.ng d¯iê’m (t.u , bi ch˘ a.n f ∈ A ta có |f (x0 )| ≤ K Tâ.p A d¯u.o c go.i l` o.i d¯`êu) trên [a, b] nêú A bi ch˘ a.n ta.i mo.i d¯iê’m x ∈ [a, b] (t.u , (∃M > 0) cho v´ mo.i f ∈ A, x ∈ [a, b] th`ı |f (x)| ≤ M ) òn ta.i δ > a d¯`ˆ ong liên tu.c ta.i x0 ∈ [a, b] nêú mo.i > tˆ Tˆ a.p A d¯u.o c go.i l` cho vó i mo.i x ∈ [a, b], mo.i f ∈ A, nêú |x − x0 | < δ th`ı |f (x) − f (x0 )| < Nêú A d¯òˆng liên tu.c ta.i mo.i x ∈ [a, b] th`ı ta n´ oi A l` a d¯`ˆ ong liên tu.c trên [a, b] òn ta.i Tˆ a.p A d¯u.o c go.i l` a d¯`ˆ ong liên tu.c d¯`êu trên [a, b] nêú v´ o.i mo.i > tˆ δ > cho vó i mo.i x, y ∈ [a, b], mo.i f ∈ A, nêú |x−y| < δ th`ı |f (x)−f (y)| < - i.nh l´ı Gia’ su’ A l` o tˆ a.p A a mˆ o.t tˆ a.p compact tu.o.ng d¯ˆ oí C[a,b] Khi d¯´ D bi ch˘ a.n d¯`êu v` a d¯`ˆ ong liên tu.c d¯`êu trên [a, b] èu an hai d¯iˆ a mˆ o.t tˆ a.p cu’ a khˆ ong gian C[a,b] thoa’ m˜ Ngu.o c la.i, cho A l` ` d¯`ˆ ong liên tu.c trên [a, b] Khi d¯´ o A l` a mˆ o.t tˆ a.p ho p kiê.n la ` A bi ch˘ a.n t` u ng d¯iê’m va oí C compact tu.o.ng d¯ˆ [a,b] 143 ’O ` LIE ˆ U THAM KHA TAI - a.i ho.c và Trung ho.c chuyên -u am, T.1, Nxb D [ 1] Phan D ´.c Ch´ınh, Gia’i t´ıch h` nghiê.p, H` a nˆ o.i 1978 am v` a gia’i t´ıch h` am, T.1,2 (ba’n [ 2] Cˆ onmˆ ogˆ orˆ o´p, Phˆ omin, Co so’ l´ı thuyê´t h` di.ch tiêńg Viê.t), Nxb Gi´ ao du.c, Hà nˆ o.i 1971 - a.i [ 3] Dieudonné, Co so’ gia’i tich hiê.n d¯a.i, T.1, (ba’n di.ch tiêńg Viê.t), Nxb D ho.c và Trung ho.c chuyên nghiê.p, H` a nˆ o.i 1973 - i.nh, Nguyˆ ˜e n D ˜e n Hoa én sô´ thu c, Nxb Gia ´ o du.c, 1999 [ 4] Nguyˆ `ng, Ha `m sô´ biˆ ˜e n Xuˆ [ 5] Nguyˆ an Liêm, Gia’i tıćh `m, NXB Gi´ ao du.c, Hà nˆ o.i, 1994 [ 6] Ho` ang Tu.y, Gia’i t´ıch hiê.n d¯a.i, T.2,3 Nxb Gi´ ao du.c, 1978 144 MU C LU C àu L` o.i n´ oi d ¯ˆ Chu.o.ng ´ Khˆ ong gian tuyˆ en tı ńh d ¯i.nh chuˆ a’n én tıńh §1 Khˆ ong gian tuyˆ §2 Khˆ ong gian d¯i.nh chuˆ a’n 11 ´ én tıńh liên tu.c §3 Anh xa tuyˆ 22 èu 31 §4 Khˆ ong gian d¯i.nh chuˆ a’n h˜ u.u ha.n chiˆ en ly ´ cu’a gia’i tı ćh `m-Khˆ ong gian liˆ en hiˆ e.p Chu.o.ng Ba nguyˆ §1 Nguyên ly ´ bi ch˘ a.n d¯`êu §2 Nguyên ly ´ á nh xa mo’ 36 38 - i.nh ly §3 D ´ Hahn-Banach 42 §4 Khˆ ong gian liên hiê.p 48 56 éu §5 Hˆ o.i tu yˆ Chu.o.ng Ca ´ c khˆ ong gian Lp (E, µ) §1 Ca ´ c bˆ a´t d¯a˘’ ng th´ u.c quan tro.ng §2 Ca ´ c khˆ ong gian Lp (E, µ) 59 62 65 68 69 §3 Tıńh kha’ ly cu’a khˆ ong gian Lp (E, µ) §4 Khˆ ong gian L∞ (E, µ) §5 Khˆ ong gian liên hiê.p cu’a khˆ ong gian Lp (E, µ) Chu.o.ng Khˆ ong gian Hilbert §1 Kha ´ i niê.m khˆ ong gian Hilbert éu §2 Kha ´ i niê.m tru c giao-Hı`nh chiˆ 72 78 §3 Khˆ ong gian liên hiê.p ong gian Hilbert §4 Toa ´ n tu’ liên hiê.p khˆ 93 96 145 Chu.o.ng Toa ´ n tu’ compact va ` phˆ o’ cu’a toa ´ n tu’ §1 Toa ´ n tu’ compact 102 §2 Phˆ o’ cu’a toa ´ n tu’ liên tu.c ong gian Hilbert §3 Toa ´ n tu’ compact tu liên hiê.p khˆ ñ va Hu.´ o.ng dˆ a ` gia’i ba ì tˆ a.p 104 108 117 T` liˆ e.u tham kha’o 142 Mu.c lu.c 143

Ngày đăng: 25/08/2017, 22:42

Xem thêm