• Nie Znaleziono Wyników

Analiza matematyczna I

N/A
N/A
Protected

Academic year: 2021

Share "Analiza matematyczna I"

Copied!
4
0
0

Pełen tekst

(1)

Analiza matematyczna I

Michał Tryniecki

popr. i uzup. Łukasz Pawelec 20 lutego 2007

Założenia wstępne

Zakłada się znajomość materiału szkoły średniej oraz pierwszego roku przedmiotów "Mate- matyka" i ”Logika” wykładanych na SGH. W szczególności:

• Rachunek zbiorów i kwantyfikatorów

• Wiadomości z zakresu analizy matematycznej : ciąg, szeregi - badanie zbieżności, funk- cje jednej zmiennej rzeczywistej - rachunek różniczkowy i całkowy; funkcje wielu zmien- nych - granica, ekstrema

• Wiadomości z zakresu algebry liniowej - przestrzeń liniowa, baza, odwzorowanie liniowe.

Wykład 1 Zanim przystąpimy do właściwej części wykładu wypada przytoczyć trzy nierów- ności, które znać się po pierwsze powinno a po drugie, ułatwiają one często wiele rozumowań.

Nie przedstawiam tu ich dowodów, gdyż nie stanowią one głównych tematów naszych rozwa- żań.

Twierdzenie 0.1 (Nierówność Jensena) Niech f - funkcja wypukła, p i > 0, x i ∈ domf , p 1 + . . . p n = 1. Wtedy zachodzi:

f (p 1 x 1 + . . . + p n x n ) 6 p 1 f (x 1 ) + . . . + p n f (x n )

przy czym dla f ściśle wypukłej równośc zachodzi wtedy i tylko wtedy gdy x 1 = x 2 = . . . = x n . Twierdzenie 0.2 (Nierównośc Höldera) Niech p, q > 0, 1 p + 1 q = 1. Wtedy zachodzi:

n

X

i=1

x i y i 6

n

X

i=1

|x i | p

! 1/p n

X

i=1

|y i | q

! 1/q

Twierdzenie 0.3 (Nierównośc Minkowskiego) Niech p > 1. Wtedy

n

X

i=1

|x i + y i | p

! 1/p

6

n

X

i=1

|x i | p

! 1/p

+

n

X

i=1

|y i | p

! 1/p

1

(2)

1 Przestrzenie metryczne

Definicja 1.1 (metryka) Niech X będzie niepustym zbiorem. Funkcja d : X × X → R +

spełniająca warunki:

1 o d(x, y) = d(y, x) (symetria)

2 o d(x, y) + d(y, z) > d(x, z) (nierówność trójkąta) 3 o d(x, y) = 0 ⇔ x = y

nazywa się metryką. Gdy spełnione są jedynie warunki 1 o i 2 o , wtedy d nazywa się półmetryką.

Parę (X, d) nazywamy przestrzenią metryczną.

Przykłady:

• metryka euklidesowa(R n , d), gdzie d(x, y) = ( P n i=1 (x i − y i ) 2 ) 1/2

Nierównośc trójkąta wynika bezpośrednio z nierówności Minkowskiego.

• metryka miasto (R n , d), gdzie d(x, y) = P n i=1 |x i − y i | Nierównośc trójkąta w zasadzie oczywista

• metryka dyskretna (X, d), gdzie

d(x, y) =

( 0 dla x = y 1 dla x 6= y

• metryka supremum (zbieżności jednostajnej).

Zanim zaprezentujemy tę metrykę potrzebne będą nam trzy definicje.

Definicja 1.2 (średnica zbioru) Średnicą zbioru A ⊂ X gdzie (X, d) - przestrzeń metryczna definiujemy jako:

diam A = sup

x,y∈X

d(x, y)

W przypadku gdy supremum to nie jest skończone mówimy, że zbiór ma średnicę nie- skończoną.

Definicja 1.3 (zbiór ograniczony) Zbiór A ⊂ X nazywamy ograniczonym, jeśli diam A < ∞.

Definicja 1.4 Przekształcenie f : X → Y , gdzie Y - przestrzeń metryczna nazywamy ograniczonym jeśli zbiór f (X) (czyli obraz przekształcenia f ) jest ograniczony. Zbiór przekształceń ograniczonych z przestrzeni X do przestrzeni metrycznej (Y, d Y ) oznacza- my B(X, Y ).

2

(3)

Niech f, g ∈ B(X, Y ). Określamy:

d(f, g) = sup

x∈X

d Y (f (x), g(x))

Wtedy (B(X, R), d) jest przestrzenią metryczną. W szczególności, gdy za Y przyjmiemy R z metryką euklidesową otrzymamy B(X, R) - zbiór funkcji o wartościach rzeczywi- stych ograniczonych określonych na przestrzeni X. Metryka przyjmuje wówczas postać:

d(f, g) = sup

x∈X

|f (x) − g(x)| dla f, g ∈ B(X, R).

• iloczyn kartezjański przestrzeni metrycznych. Jeśli (X i , d i ), dla i = 1, . . . n są przestrze- niami metrycznymi, to (X, d) gdzie

X =

n

Y

i=1

X i , d =

n

X

i=1

d 2 i (x i , y i )

! 1/2

jest również przestrzenią metryczną. Nierównośc trójkąta wynika z nierówności Min- kowskiego.

Zbiory w przestrzeni metrycznej

Definicja 1.5 (kula) Kulą (otwartą) o środku w punkcie o i promieniu r (ozn. K(o, r), B(o, r)) definiujemy:

B(o, r) = {x ∈ X : d(o, x) < r}.

Definicja 1.6 (wnętrze zbioru) Niech A ⊂ X. Punkt a ∈ A nazywamy punktem we- wnętrznym zbioru A jeśli istnieje kula o środku w tym punkcie zawarta w zbiorze A. Zbiór wszystkich punktów wewnętrznych zbioru A nazywamy wnętrzem zbioru A i oznaczamy int A.

Mamy oczywiście int A ⊂ A dla każdego zbioru A.

Definicja 1.7 (zbiór otwarty) Zbiór U ⊂ X nazywamy otwartym jeśli int U = U . Uwaga:

zbiór pusty traktujemy jako otwarty.

Stwierdzenie 1.1 Kula otwarta jest zbiorem otwartym w sensie powyższej definicji.

Uwaga; proszę się zastanowić, że to faktycznie wymaga dowodu. Dowód pozostawiam jako ćwiczenie.

Twierdzenie 1.1 Dla dowolnego zbioru A zbiór int A jest zbiorem otwartym.

Twierdzenie 1.2 Suma dowolnej rodziny zbiorów otwartych jest zbiorem otwartym. Prze- cięcie skończonej rodziny zbiorów otwartych jest zbiorem otwartym.

3

(4)

Dowód:

Niech U = S i∈I U i , gdzie każdy ze zbiorów U i jest otwarty. Ustalmy punkt x należący do zbioru U . Z definicji U mamy, że dla pewnego i punkt x ∈ U i . Ponieważ U i jest otwarty więc x ∈ int U i . Istnieje więc kula K zawarta w U i zawierająca x. Wobec tego K ⊂ U ⊃ U i , więc x ∈ int U , więc U jest otwarty.

Niech teraz U = T n i=1 U i , gdzie U i jak wyżej. Niech x ∈ U . Wobec tego dla wszystkich i mamy x ∈ U i . Ponieważ U i są otwarte więc x ∈ int U i . Istnieją więc kule K i zawarte w U i o środku w x. Niech K 0 będzie kulą o najmniejszym promieniu spośród wszystkich kul K i . Wobec tego ∀ i K 0 ⊂ U i , stąd K 0 T U i co daje x ∈ K 0 ⊂ U , więc x ∈ int U , więc U jest otwarty.

Definicja 1.8 (otoczenie) Otoczeniem (otwartym) punktu x ∈ X nazywamy dowolny zbiór otwarty U taki, że x ∈ U .

Definicja 1.9 (domknięcie zbioru) Punkt x ∈ X nazywamy punktem skupienia zbioru A ⊂ X jeśli dla każdego otoczenia U punktu x mamy: U ∩ A \ {x} 6= ∅. Jeśli x ∈ A oraz x nie jest punktem skupienia zbioru A to x nazywamy punktem izolowanym zbioru A. Domknięciem zbioru A nazywamy zbiór złożony z wszystkich jego punktów skupienia i punktów izolowanych i oznaczamy cl A.

Mamy oczywiście A ⊂ cl A dla każdego zbioru A.

Definicja 1.10 (zbiór domknięty) Zbiór F ⊂ X nazywamy domkniętym jeśli cl F = F . Uwaga: zbiór pusty traktujemy jako domknięty.

Twierdzenie 1.3 Dla dowolnego zbioru A zbiór cl A jest zbiorem domkniętym.

Twierdzenie 1.4 Niech A ⊂ X. Wtedy A otwarty wtedy i tylko wtedy gdy A 0 = X \ A jest domknięty.

Dowód:

Załóżmy, że zbiór A jest otwarty. Przeprowadzimy dowód nie wprost. Załóżmy więc, że zbiór A 0 nie jest domknięty, czyli zgodnie z definicją domkniętości mamy: A 0 6= cl A 0 . Ponieważ na pewno A 0 ⊂ cl A 0 , więc musimy mieć: cl A 0 * A 0 . Stąd mamy:

x∈clA

0

x / ∈ A 0 . Równoważnie:

x∈clA

0

x ∈ A.

Z otwartości zbioru A otrzymujemy:

x∈clA

0

x ∈ int A.

To daje:

x∈clA

0

U −otwarty x ∈ U ∧ U ⊂ A.

Co oznacza, że U \ {x} ∩ A 0 = ∅ i dostajemy sprzeczność z definicją domknięcia zbioru, bo x ∈ clA 0 . To kończy dowód implikacji w jedną stronę. Dowód drugiej implikacji jest podobny - polecam jako ćwiczenie.

Definicja 1.11 (brzeg zbioru) Brzegiem zbioru A ⊂ X nazywamy zbiór bdA = clA\intA.

Wniosek: Brzeg dowolnego zbioru jest zbiorem domkniętym. Wynika to z tego, że bdA = clA ∩ (X \ intA); zbiór clA jest domknięty, a intA jest otwarty.

4

Cytaty

Powiązane dokumenty

Metodę diagramów Venna można wykorzystać również do badania wnioskowań ze zdaniami kategorycznymi, w których liczba przesłanek nie jest ograniczona do dwóch, a liczba predykatów

A jeśli zapanuje demokracja, to już zaraz będzie dobrobyt, o ile oczywiście przeprowadzi się lustrację. Polska

Logika w rozwiniętej postaci wyłoniła się z refleksji filozoficznej Zachodu.. Obecnie wszystkie jej działy posługują się

Katarzyna Paprzycka  Samouczek logiki zda« i logiki kwantykatorów; tematy 1522, pliki dost¦pne na stronie: http://kpaprzycka.swps.edu.pl/xSamouczek/xSamouczek.html Jerzy Pogonowski

То есть предприятие может убрать все свои точки доступа в Интернет, сделать одну или несколько главных точек, один большой канал –

W czasie jednej ustalonej godziny, stojąc na przystanku, odnotowujemy momen- ty przyjazdu dwóch pierwszych

192 [X.18].. Jednak najpierw musimy się upewnić, czy całka ta w ogóle jest określona. Oczywiście f jest mierzalna jako funkcja ciągła, nie jest jednak nieujemna, a zatem

Twierdzenie III.2 (o warunku koniecznym zbieżności szeregu). użyć twierdzenia III.1, ale można inaczej. Szereg o wyrazach nieujemnych posiada sumę nieujemną rzeczywistą lub