Метрикалық кеңістіктегі ашық және тұйық жиындар


Пән: Математика, Геометрия
Жұмыс түрі:  Материал
Тегін:  Антиплагиат
Көлемі: 10 бет
Таңдаулыға:   
МАЗМҰНЫ

КІРІСПЕ5

1 МЕТРИКАЛЫҚ КЕҢІСТІК6

1. 1 Метрикалық кеңістік ұғымы8

1. 2 Метрикалық кеңістіктегі жинақтылық8

1. 3 Метрикалық кеңістіктегі ашық және тұйық жиындар9

2. ЖИНАҚТЫЛЫҚ11

2. 1 Жинақтылық ұғымы12

2. 2 Функционалдар мен элементтердің әлсіз жинақтылығы12

ҚОРЫТЫНДЫ. 16

ПАЙДАЛАНЫЛҒАН ӘДЕБИЕТТЕР ТІЗІМІ17

КІРІСПЕ

Жұмыстың өзектілігі: Математикалық анализдегі ең негізгі ұғымдардың бірі бұл шек және үзіліссіздік ұғымы. Бұл ұғымдарды анықтау үшін түзудің, жазықтықтың, кеңістіктің бойындағы екі нүктенің арақашықтығы ұғымын білу керек. «Арақашықтық» ұғымының мағынасы элементар үш аксиома (тепе-теңдік, симметриялық және үшбұрыш теңсіздігі) арқылы жақсы түсіндіріледі. «Арақашықтық» ұғымын жалпылау арқылы метрика ұғымына, сосын метрикалық кеңістік ұғымына келеміз. Метрика ұғымы тізбектердің, қатарлардың жинақталуын зерттеуге және функцияның үзіліссіздігін, дифференциалдануын зерттеуге көмектеседі.

Жұмыстың қысқаша құрылымы: «Метрикалық кеңістік» тақырыбында жазылған. Курстық жұмыс үш бөлімнен тұрады: кіріспе, негізгі бөлім, қорытынды.

«Метрикалық кеңістік анықтамасы және оған мысалдар» бөлімінде метрикалық кеңістіктің аксиомалары, метрикалық кеңістікке мысалдар келтірілген.

«Метрикалық кеңістіктегі жинақтылық» бөлімінде метрикалық кеңістікте жинақтылықты қалай енгізуге болатындығы туралы анықтамалар келтірілген.

«Метрикалық кеңістіктегі ашық және тұйық жиындар» бөлімінде жиынның ішкі, сыртқы және шекаралық нүктелерінің анықтамасы мысалдармен қарастырылған.

Жұмыстың мақсаты. Метрикалық кеңістіктің анықтамасын, метрикалық кеңістікте жинақтылықты қалай енгізетіндігі түсінік беріп, оларды мысалдар арқылы көрсету.

Метрикалық кеңістік
  1. Метрикалық кеңістік ұғымы

E E - кез келген бос емес жиын болсын.

Анықтама 1 . Егер E E жиынының кез келген х, у элементтерінің жұбына теріс емес нақты ρ E \rho_{E} ( x , y ) (x, y) саны сәйкес қойылса және төмендегі шарттарды

1. ρ E ( x , y ) \rho_{E}(x, y) \geq 0; ρ E ( x , y ) \rho_{E}(x, y) = = 0 < = > < = > x x = y y (тепе-теңдік аксиомасы) ;

2. ρ E ( x , y ) \rho_{E}(x, y) = = ρ E ( y , x ) \rho_{E}(y, x) (симметрия аксиомасы) ;

3. ( x , y , z E ) (\forall x, \ y, \ z\ \in E\ ) : ρ E \rho_{E} ( x , y ) (x, y) \leq ρ E \rho_{E} ( x , z ) (x, z) + + ρ E \rho_{E} ( z , y ) (z, y) (үшбұрыш аксиомасы) қанағаттандыратын болса, онда ρ E ( x , y ) \rho_{E}(x, y) санын E E жиынының x , y x, y элементтерінің ара қашықтығы немесе E E жиынының метрикасы және жоғарыдағы көрсетілген 1) -3) шарттарды метриканың аксиомалары деп атайды. Ал E E жиыны мен осы жиында анықталған ρ E ( x , y ) \rho_{E}(x, y) жұбын E E метрикалық кеңістігі деп атайды.

Алда E E кеңістігі нақты кеңістік болған жағдайда ρ E ( x , y ) \rho_{E}(x, y) - тің орнына деп жазамыз.

Метрикалық кеңістіктердің жиі кездесетін мысалдары:

  1. EE=RR- Евклид түзуі (нақты сандар жиыны) . (−∞; +∞) ( - \infty; + \infty) сан өсіндегі ара қашықтығын

ρ ( x , y ) \rho(x, y) = x y x - y

Түрінде анықтауға болады. ρ ( x , y ) \rho(x, y) метриканың барлық аксиомаларын қанағаттандырады. Шынында

  1. ρ(x, y) \rho(x, y) =x−y≥0x - y \geq 0; ρ(x, y) \rho(x, y) = 0<=>< = >x−y=0x - y = 0<=>< = >x=yx = y;
  2. ρ(x, y) \rho(x, y) =x−y=x - y =(−1) (y−x) \left ( - 1) (y - x) \right=y−xy - x=ρ(y, x) \rho(y, x) ;
  3. (∀x, y, z∈R) (\forall x, \ y, \ z\ \in R\ ) :ρ(x, y) \rho(x, y) =x−y=x - y =x−z+z−yx - z + z - y≤\leqx−zx - z++z−yz - y=ρ(x, z) \rho(x, z) ++ρ(z, y) \rho(z, y) .

Сондықтан R R кеңістігі - метрикалық кеңістік.

  1. Евклид жазықтығыEE=R2R^{2}болсын. A1(x1, y1) A_{1}\left( x_{1}, \ y_{1} \right) жәнеA2(x2, y2) ∈EA_{2}\left( x_{2}, \ y_{2} \right) \in E

нүктелерінің ара қашықтығын

ρ ( A 1 , A 2 ) \rho\left( A_{1}, \ A_{2} \right) = ( x 2 x 1 ) 2 + ( y 2 y 1 ) 2 \sqrt{\left( x_{2} - x_{1} \right) ^{2} + \left( y_{2} - y_{1} \right) ^{2}}

түрінде анықтауға болады. ρ ( A 1 , A 2 ) \rho\left( A_{1}, \ A_{2} \right) метриканың барлық аксиомаларын қанағаттандыратынын оңай көрсетуге болады. R 2 R^{2} жазықтығымен ρ ( A 1 , A 2 ) \rho\left( A_{1}, \ A_{2} \right) метрикасының жұбын екі өлшемді евклид кеңістігі деп атайды.

Дәл осы сияқты координаталары реттелген нақты сандардан тұратын нүктелер жиыны

ρ ( A 1 , A 2 ) \rho\left( A_{1}, \ A_{2} \right) = i = 1 n ( x i y i ) 2 \sqrt{\sum_{i = 1}^{n}\left( x_{i} - y_{i} \right) ^{2}} , ( A 1 ( x 1 , x 2 , , x n ) A_{1}\ \left( x_{1}, \ x_{2}, \ \ldots, \ x_{n} \right) , A 2 ( y 1 , y 2 , , y n ) A_{2}\ \left( y_{1}, \ y_{2}, \ \ldots, \ y_{n} \right) )

метрикасы арқылы n n - өлшемді Евклид кеңістігін анықтайды.

Метрикалық кеңістіктерде үшбұрыш аксиомасының орындалатынын тексергенде жиі қолданылатын теңсіздіктер:

1. Коши-Буняковский теңсіздігі:

.

және оның салдары:

.

2. Гельдер теңсіздігі:

1. 2 Метрикалық кеңістіктегі жинақтылық

E E метрикалық кеңістігінің элементтерінен тұратын { x n } \left\{ x_{n} \right\} тізбегін қарастырайық.

Анықтама 2. E E метрикалық кеңістігінің x x элементін { x n } \left\{ x_{n} \right\} тізбегінің шегі деп атайды, егер

( ε > 0 ) (\forall\varepsilon > 0) ( N ( ε ) ) \left( \exists N(\varepsilon) \right) ( n : n > [ N ( ε ) ] ) \left( \forall n:n > \left\lbrack N(\varepsilon) \right\rbrack \right) : ρ E ( x n , x ) < ε \rho_{E}\left( x_{n}, x \right) < \varepsilon

болса, және оны қысқаша былай белгілейді:

lim n x n = x \lim_{n \rightarrow \infty}x_{n} = x

Егер { x n } \left\{ x_{n} \right\} тізбегінің n n \rightarrow \infty кезде шегі бар болса, онда оны осы метрикалық кеңістіктің анықтамасы бойынша x E x \in E нүктесіне жинақталатын тізбек дейді. Ал егер { x n } \left\{ x_{n} \right\} тізбегі E E метрикалық кеңістігінің ешбір нүктесіне жинақталмайтын болса, онда оны жинақталмайтын тізбек деп атайды.

Кез келген метрикалық кеңістіктегі шек анықтамасын сандық тізбектің шегі туралы анықтамаға келтіруге болады.

Анықтама 3. E E метрикалық кеңістігінің x x элементін { x n } \left\{ x_{n} \right\} тізбегінің шегі деп атайды, егер ρ E ( x n , x ) \rho_{E}\left( x_{n}, x \right) сандық тізбегі n n \rightarrow \infty кезде нөлге ұмтылатын болса, яғни

lim n ρ E ( x n , x ) = 0 \lim_{n \rightarrow \infty}{\rho_{E}\left( x_{n}, x \right) } = 0

Мысал. C L 1 [ 0 , 1 ] C\ L_{1}\lbrack 0, 1\rbrack кеңістігінен алынған { x n ( t ) = t n } \left\{ x_{n}(t) = t^{n} \right\} функционалдық тізбегінің шегі θ ( t ) 0 \theta(t) \equiv 0 функциясына жинақталатынын көрсетіңдер.

Шынында да, бұл кеңістікте

ρ E ( x n , θ ) = 0 1 x n ( t ) θ ( t ) d t = 0 1 t n d t = 1 n + 1 \rho_{E}\left( x_{n}, \theta \right) = \int_{0}^{1}{\left x_{n}(t) - \theta(t) \rightdt} = \int_{0}^{1}{t^{n}dt} = \frac{1}{n + 1}

Сондықтан,

lim n ρ C L ( x n , θ ) = lim n 1 n + 1 = 0 \lim_{n \rightarrow \infty}{\rho_{CL}\left( x_{n}, \theta \right) } = \lim_{n \rightarrow \infty}{\frac{1}{n + 1} = 0}

Олай болса, 3 анықтама бойынша { t n } \left\{ t^{n} \right\} тізбегі C L 1 [ 0 , 1 ] C\ L_{1}\lbrack 0, 1\rbrack кеңістігінде жинақталатын тізбек және θ ( t ) 0 \theta(t) \equiv 0 функциясы оның шегі болып табылады.

Бірақ бұл тізбек C [ 0 , 1 ] C\ \lbrack 0, 1\rbrack кеңістігінде θ ( t ) 0 \theta(t) \equiv 0 функциясына жинақталмайды, өйткені

lim n ρ C ( x n , θ ) = lim n max t n = lim n 1 1 0 . \lim_{n \rightarrow \infty}{\rho_{C}\left( x_{n}, \theta \right) } = \lim_{n \rightarrow \infty}{\max\left t^{n} \right = \lim_{n \rightarrow \infty}{1 - 1 \nrightarrow 0}}.

1. 3 Метрикалық кеңістіктегі ашық және тұйық жиындар

α \alpha - жазықтығында берілген X X жиынын қарастырайық. Осы α \alpha жазықтығының барлық нүктелері X X жиынына қатысты 3 класқа бөлінеді. Мысалы, α \alpha нүктесі - ішкі, b b нүктесі - сыртқы, c c нүктесі шекаралық нүкте болады.

Дәл осылай сияқты метрикалық кеңістіктің кез келген ішкі жиынына қатысты оның кез келген нүктелерін классификациялауға болады.

X X жиыны E E метрикалық кеңістігінің қандай да бір ішкі жиыны болсын, яғни X X \subset E E .

Анықтама 4. E E метрикалық кеңістігінің a a нүктесін X X жиыны үшін ішкі нүкте деп атайды, егер ол өзінің қандай да бір маңайымен осы X X жиынында толығымен жататын болса, яғни

( S 1 ( a ) ) \left( \exists S_{1}(a) \right) : S 2 ( a ) S_{2}(a) \subset X X .

Анықтама 5. E E метрикалық кеңістігінің b b нүктесін X X жиыны үшін сыртқы нүкте деп атайды, егерде оның X X жиынымен қиылысуы бос болатын қандай да бір ε \varepsilon маңайы табылатын болса, яғни

( S ε ( b ) ) \left( \exists S_{\varepsilon}(b) \right) : S ε ( b ) S_{\varepsilon}(b) \cap X X = \varnothing .

Анықтама 6. E E метрикалық кеңістігінің c c нүктесін X X жиыны үшін шекаралық нүкте деп атайды, егерде c c нүктесінің кез келген ε \varepsilon маңайында X X жиынында жататын да, жатпайтын да нүктелер табылатын болса. X X жиынының барлық шекаралық нүктелер жиынын X X жиынының шекарасы деп атайды және X \partial X деп белгілейді.

Осы анықтамалардан мынандай қорытынды жасауға болады: E E метрикалық кеңістігінің кез келген нүктесі X X жиыны үшін не сыртқы, не ішкі, не шекаралық нүкте болады. Сонымен қатар, X X жиынының барлық ішкі нүктелері X X жиынында жатады, ал сыртқы нүктелері жатпайды. Шекаралық нүктелері өзінде жатуы да, жатпауы да мүмкін.

... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.
Ұқсас жұмыстар
Жинақтылық. Ашық және тұйық жиындар
КОМПАКТЫ ЖИЫНДАР ҰҒЫМЫ
Хаусдорф теоремасы
Жойылмалы эллиптік түрдегі оператордың бір класының өз-өзіне түйіндестігі
Жойылмалы эллиптік түрдегі оператордың бір класының оң анықталғандығы туралы
Жойылмалы эллиптік түрдегі теңдеулер үшін Дирихле есебі спектрінің дискреттілігі
Үшінші ретті дифференциалды операторлардың бір класының ядролығы
МЕТРИКАЛЫҚ КЕҢІСТІКТЕ ЖИНАҚТАЛАТЫН ТІЗБЕКТЕР
Кеңістіктер мен операторлар
Шектелген облыста берілген толқындық оператордың шешімі туралы
Пәндер



Реферат Курстық жұмыс Диплом Материал Диссертация Практика Презентация Сабақ жоспары Мақал-мәтелдер 1‑10 бет 11‑20 бет 21‑30 бет 31‑60 бет 61+ бет Негізгі Бет саны Қосымша Іздеу Ештеңе табылмады :( Соңғы қаралған жұмыстар Қаралған жұмыстар табылмады Тапсырыс Антиплагиат Қаралған жұмыстар kz