3913


0x08 graphic
5. Definicja liczb rzeczywistych. Moc zbioru: zbiory przeliczalne i nieprzeliczalne.

0x01 graphic

5.1 Zasada abstrakcji.

Relacje R nazywamy relacją równoważności jeżeli:

  1. 0x01 graphic
    xRx - zwrotność

  2. 0x01 graphic
    xRy ⇒ yRx - symetria

  3. 0x01 graphic
    (xRy ∧ yRz) ⇒ xRz - przechodność

Relacje równoważności oznaczamy symbolem „~”

Np. relacjami równoważności są :

Równość liczb rzeczywistych,

Równość zbiorów,

Równoległość prostych.

Zachodzi twierdzenie 1) zwane zasadą abstrakcji..

Jeżeli „~” jest relację równoważności między elementami zbioru X ≠ ∅ oraz jeżeli każdemu elementowi x∈X przyporządkowuje zbiór Ax = { y∈X : x~y}, to:

  1. 0x01 graphic
    Ax ≠ Ø

  2. każdy element zbioru X należy do pewnego zbioru Ax

  3. 0x01 graphic
    [(Ax1 = Ax2) ∨ (Ax1 ∩ Ax2) = Ø)]

Dowód

Ponieważ relacja równoważności ~ jest zwrotna więc x ~ x, a stąd wynika, że x ∈ Ax.

Zatem zachodzi: a), b)

Dowodzimy c):

Przypuśćmy, że c) nie zachodzi tzn. dla pewnych elementów x1, x2 należących do X mamy (*) Ax1 ≠ Ax2 oraz Ax1 ∩ Ax2 ≠ Ø.

Czyli istnieje y należące do X takie, że y ∈ Ax1 ∩ Ax2.

Wykażemy, że Ax1 = Ax2.

Niech a ∈ Ax1 wtedy x1 ~ a ⇒ a ~ x1, otrzymujemy [(x1 ~ y) ∧ (a ~ x1)] ⇒ (a ~ y) ponad to x2 ~ y ⇒ y ~ x2, jest prawdziwe [(a ~ y) ∧ (y ~ x2)] ⇒ (a ~ x2) ⇒ (a2 ~ a) czyli a ∈ Ax2. Zatem Ax1 ⊂ Ax2.

Analogicznie otrzymujemy Ax2 ⊂ Ax1 stąd Ax1 = Ax2 sprzeczność(*) dowodzi c).

Relacja równoważności ~ dzieli zbiór X ≠ Ø na pewną ilość podzbiorów niepustych i parami rozłącznych. Podzbiory te nazywamy klasami abstrakcji lub klasami równoważności.

Przykład.

Niech X oznacza zbiory wszystkich prostych na płaszczyźnie, wtedy dla prostych p1, p2 ∈X relacja p1 ~ p2 ⇔ p1 ║ p2 jest relacją równoważności.

Natomiast klasy abstrakcji są to wtedy podzbiory prostych wzajemnie równoległych. Proste równoległe na płaszczyźnie wyznaczają kierunki na płaszczyźnie. Kierunkami na płaszczyźnie nazywamy kasy abstrakcji prostych równoległych na płaszczyźnie ze względu na relację równoległości.

Ciągiem nazywamy funkcję f określoną na zbiorze liczb naturalnych N.

Jeżeli F(n) = an dla n ∈ N, to funkcję f oznaczamy symbolem (an).

Wartości funkcji (an) dla kolejnych liczb naturalnych to jest elementy an nazywamy, n ∈ N wyrazami ciągu.

W przypadku ciągu (an) rozróżniamy zbiory wyrazów ciągu (an) oraz zbiór wartości ciągu (an0 jako funkcji.

Np.: ciąg ((-1)n+1) ma zbiór wyrazów postaci:

0x01 graphic
0x01 graphic

oraz dwuelementowy zbiór wartości {1, -1}

Definicja liczb rzeczywistych.

Zakładamy, że jest znana arytmetyka liczb wymiernych.

Ciąg x = (wn) o wyrazach będących liczbami wymiernymi nazywamy zbieżnym gdy dla każdej liczby wymiernej ε > 0 istnieje wskaźnik N > 0 taki, że dla wszystkich m, n > N zachodzi nierówność:

| wn - wm | < ε ,

0x01 graphic
| wn - wm | < ε.

Niech X będzie zbiorem wszystkich zbieżnych ciągów liczb wymiernych. Dla x, y ∈ X gdzie x = (wn), y = (vn) określonych relację x ~ y ⇔ 0x01 graphic
| wn - vn | < ε.

Relacja ta jest relacją równoważności gdyż:

  1. 0x01 graphic
    | wn - wn | = |0| = 0 < ε czyli x ~ x,

  2. 0x01 graphic
    | wn - vn | = | -( wn - vn )| = | vn - wn | < ε czyli x ~ y, to y ~ x

  3. dla x = (wn), y = (vn), z = (un) ∈ X mamy x ~ y, y ~ z, x ~ z tzn.

0x01 graphic
| wn - vn | < 0x01 graphic
0x01 graphic

oraz

0x01 graphic
| vn - un | <0x01 graphic

zatem

0x01 graphic
| wn - un | = |( wn - vn ) + ( vn - un )| ≤ | wn - vn | +

+| vn - un | < 0x01 graphic
+ 0x01 graphic
= ε czyli x ~ z

Klasy abstrakcji, na które dzielimy relacja ~ zbiór X wszystkich zbieżnych ciągów liczb wymiernych nazywamy liczbami rzeczywistymi.

Oznaczamy przez α, β, γ ... liczby rzeczywiste. Wtedy sumę α + β definiujemy następująco.

α + β = γ ⇔ 0x01 graphic
x + y = z

przy czym równość x + y = z oznacza, że gdy x = (wn), y = (vn), z = (un) to

0x01 graphic
wn + vn = un

Suma α + β jest określona jednoznacznie, to znaczy nie zależy od tego, które ciągi x∈α, y∈β zostaną wybrane.

Iloczyn liczb rzeczywistych α, β określamy przyjmując:

α • β = γ 0x01 graphic
x • y = z

przy czym dla x = (wn), y = (vn), z = (un) zapis x • y = z oznacza, że: 0x01 graphic
wn • vn = un

Również iloczyn jest określony jednoznacznie. Nierówność ≤ w zbiorze liczb rzeczywistych określamy przyjmując dla liczb rzeczywistych α, β

α ≤ β ⇔ 0x01 graphic
wn ≤ vn

α < β ⇔ (α ≤ β ∧ α ≠ β)

Liczbą rzeczywistą wymierną nazywamy liczbę rzeczywistą α taką, że {w}={w, w, w, w, ...} ∈ α, gdzie w jest liczb wymierną.

Istnieje wzajemnie jednoznaczne odwzorowanie f zbioru liczb wymiernych W na zbiór liczb rzeczywistych wymiernych, określonych przez funkcję.

α = f(w) ⇔ {w}∈ α

Można sprawdzić, że

f(w+v) = f(w) + f(v),

f(w•v) = f(w) • f(v)

w ≤ v ⇒ f(w) ≤ f(v)

Ponieważ odwzorowanie f zachowuje działania asymetryczne dodawania i mnożenia oraz relacje nierówności, więc można nie rozróżniać liczb wymiernych oraz liczb rzeczywistych wymiernych. Wtedy zbiór liczb rzeczywistych można uważać za rozszerzenie zbioru liczb wymiernych.

Powyższa definicja należy do G. Cantora.

Oprócz tej definicji znana jest również definicja liczb rzeczywistych przy pomocy przekrojów pochodzące do Ryszarda Dedekind'a oraz z aksjomatyczna definicja liczb rzeczywistych.

5.2 Równoliczność zbiorów.

Zbiory A oraz B nazywamy równolicznymi, lub równej mocy jeżeli jest określona funkcja odwzorowujące jeden z nich wzajemnie jednoznacznie na drugi. Piszemy wtedy A ~ B. Rownoliczność jest relacją równoważności. Relacja ta dzieli zbiory na klasy abstrakcji zbiorów równolicznych.

Klasy te nazywamy mocami zbiorów lub liczbami kardynalnymi. Moc zbioru oznaczamy symbolem 0x01 graphic
.

Przykłady:

  1. Liczbą kardynalną wszystkich zbiorów, które mają n elementów jest liczba naturalna n

  2. Zbiór liczb naturalnych N = {1, 2, 3, ...} jest równoliczny np. ze zbiorami:

  1. zbiór liczb parzystych dodatnich

  2. zbiór liczb nieparzystych dodatnich

  3. zbiór liczb naturalnych postaci 3n = 2, n ∈ N

Gdyż istnieją funkcje wzajemnie jednoznaczne odwzorowujące zbiór n na jego podzbiory wymienione kolejno w a), b), c):

  1. f(x) = 2x

  2. f(x) = 2x - 1

  3. f(x) = 8x + 2

  1. Przedział 0x01 graphic
    , cała oś rzeczywista ±* są zbiorami równolicznymi, gdyż funkcja

f(x) = tgx dla x ∈ (0x01 graphic
) odwzorowuje wzajemnie jednoznacznie (0x01 graphic
) na

(-niesk , +niesk ).

Zachodzi twierdzenie 2 (Cantor - Bernstein)

Jeżeli zbiór A jest równy mocy z częścią zbioru B, a zbiór B jest równej mocy z częścią zbioru A to zbiory A oraz B są równej mocy.

Zbiór A nazywamy nieskończonym, jeżeli jest równej mocy z pewnym swoim podzbiorem właściwym B, tzn. A ⊃B, A ≠ B, B ≠zb. pusty , wtedy 0x01 graphic
= 0x01 graphic
.

Zbiór A nazywamy skończonym, jeżeli A nie jest nieskończony.

5.3 Zbiory przeliczalne.

Zbiór nazywamy przeliczalnym, jeżeli jest skończony lub jest równej mocy ze zbiorem liczb naturalnych. Liczbę kardynalną zbioru liczb naturalnych oznaczamy literą alfabetu hebrajskiego „alef” z indeksem 0:

S0

Przykład zbiorów przeliczalnych:

  1. Zbiory liczb parzystych

  2. Zbiory liczb nieparzystych

  3. Zbiory liczb całkowitych

  4. Zbiory liczb wymiernych

  5. Zbiory liczb pierwszych tzn. maja tylko dwa dzielniki 1 i siebie.

Twierdzenie 3 (zasada indukcji zupełnej)

Niech każdej liczbie naturalnej n będzie przyporządkowane zdanie p(n).

Jeżeli:

  1. Zdanie p(1) jest prawdziwe

  2. Jeżeli p(n) jest zdaniem prawdziwym, to zdanie p(n+1) jest prawdziwe dla każdego n = 1, 2, 3,....

Dowód. Skorzystamy z następującej własności liczb naturalnych.

W każdym niepustym podzbiorze zbioru liczb naturalnych istnieje najmniejsza.

Przypuśćmy, że założenie a, b, są spełnione oraz, że istnieje liczba naturalna n, dla której p(n) nie zachodzi. Oznaczmy przez A zbiór tych liczb naturalnych n, dla których p(n) jest zdaniem fałszywym.

Zgodnie z zaprzeczeniem tezy zbiór A jest niepusty, a więc zawiera liczbę najmniejszą. Oznaczmy ją przez n0. Z założenia a) wynika, że p(1) jest zdaniem prawdziwym a więc n0-1 jest liczbą naturalną. Ponieważ n0 jest najmniejszą liczbą w zbiorze A, więc n0-1 0x01 graphic
A, czyli zdanie p(n0-1) jest prawdziwe.

Z założenia b) wynika, że jest prawdziwe zdanie p(n0), co jest sprzeczne z definicją n0∈ A.

Ponieważ przypuszczenie, że istnieją liczby naturalne n, dla których p(n) nie zachodzi doprowadziło do sprzeczności, więc zdanie p(n) jest prawdziwe dla n = 1, 2, 3, ...

Wniosek

Jeżeli:

  1. Zdanie p(n) jest prawdziwe dla liczby całkowitej n0

  2. Z prawdziwości p(n) dla liczby całkowitej k wynika prawdziwość p(n) dla k+1, gdzie

k ≥ n0 to p(n) jest prawdziwe dla wszystkich liczb całkowitych n ≥ n0.

Zbiory nieprzeliczalne.

Zbiór A, który nie jest przeliczalny, nazywamy nieprzeliczalnym.

Twierdzenie 4 : Zbiór liczb rzeczywistych jest nieprzeliczalnym. Zbiory równej mocy ze zbiorami liczb rzeczywistych nazywamy zbiorami mocy continuum, a ich liczbę kardynalną oznaczamy małą gotycką literą (c).

Np.: zbiór liczb rzeczywistych przedziału (a, b) gdzie b - a > 0 jest mocą continuum.

Rozdział II Przestrzenie metryczne.

Niepusty zbiór X nazywamy przestrzenią metryczną jeżeli określony jest funkcjonał (tzn. funkcja o wartościach liczbowych rzeczywistych lub zespolonych) zwany metryką.

0x01 graphic
„ro”

ρ : X × X → 0x01 graphic

Przy czym:

  1. ρ (x, y)=0 ⇔ x = y

  2. ρ (x, y) = ρ (y, x)

  3. ρ (x, y) ≤ ρ (x, z) + ρ (z, y) - warunek trójkąta dla dowolnych x, y, z ∈ X

Wtedy ρ (x, y) nazywamy odległością x od y. Przestrzeń metryczną oznaczamy symbolem 0x01 graphic

Przykład przestrzeni metrycznych:

  1. Przestrzeń liczb rzeczywistych R z metryką ρ (x, y) = |x-y| : <R, II>

  2. Przestrzeń liczb zespolonych C z metryką ρ (z1, z2) = | z1, z2| : <C, II>

  3. Przestrzeń funkcji ciągłych na przedziale domkniętym <a, b> z metryką ρ (f, g) =

= max |f(x) - g(x)| : x ∈ <a, b> C (<a, b>).

1. Przestrzeń liczb rzeczywistych.

Przestrzeń liczb rzeczywistych <R, II> jest to zbiór R liczb rzeczywistych z metryką ρ (x, y) = |x - y| dla x, y ∈ R, gdyż:

  1. |x - y| = 0 ⇔ x - y = 0 ⇔ x = y

  2. |x - y| = |-(x - y)| = |y - x|

  3. |x - y| = |(x - z) + (z - y)| ≤ |x - z| + |z - y|

Wykazać, że funkcjonał 0x01 graphic
spełnia aksjomaty metryki. Rozwiązanie:

1. 0x01 graphic

2. 0x01 graphic

3. Nierówność trójkąta:

0x01 graphic

0x01 graphic

1.2 Kresy

niech E ⊂ R, E ≠ ∅

Zbiór E jest ograniczony z góry (z dołu), jeżeli:

0x01 graphic

Wtedy y nazywamy ograniczeniem góry (dolnym) zbiory E.

Jeżeli zbiór E jest ograniczony z góry oraz z dołu to nazywamy go zbiorem ograniczonym.

Np.: przedział <a, niesk) jest ograniczony z dołu, a przedział (-niesk, b> jest ograniczony z góry.

Przedział domknięty <a, b> jest ograniczony.

Definicja.

Niech zbiór E będzie ograniczony z góry. Mówimy, że liczba M jest kresem górnym (supremum) zbioru E jeżeli:

  1. M jest ograniczeniem górnym zbioru E.

  2. Jeżeli x < M to x nie jest ograniczeniem górnym. Piszemy wtedy M = supE

Definicja.

Niech zbiór E będzie ograniczony z dołu. Mówimy, że liczba m jest kresem dolnym (infimum) zbioru E jeżeli:

  1. m jest ograniczeniem dolnym zbioru E

  2. jeżeli x > m to x nie jest ograniczeniem dolnym zbioru E. Piszemy wtedy m = infE

Można napisać

M = supE * 0x01 graphic

m = infE* 0x01 graphic

Przykład:

  1. Niech E = { n: n = 1, 2, 3, ...} wtedy infE = 1. Zbiór E jest nieograniczony z góry.

  2. Niech E = {-0x01 graphic
    : n = 1, 2, 3, ...} wtedy supE = 0 ∉E

infE = -1

Rzeczywiście obierzmy dowolne ε>0 wtedy supE = M = 0, gdyż dla każdego x∈ E mamy

x< 0 bo x = -0x01 graphic

y = -0x01 graphic
> M - ε = 0 - ε = - ε ⇔ 0x01 graphic
< ε ⇔ 0x01 graphic
< n czyli 0x01 graphic

Twierdzenie 1

Jeżeli E jest niepustym zbiorem liczb rzeczywistych ograniczonym z góry (ograniczonym z dołu) to istnieje kres górny zbioru E ( kres dolny zbioru E) należący do R.

1.2 Prosta rozszerzona

Rozszerzonym zbiorem liczby rzeczywistej nazywamy zbiór składający się z liczb rzeczywistych oraz z elementów oznaczanych symbolami: - niesk, + niesk, przy czym przyjmujemy:

  1. Jeżeli x jest liczbą rzeczywistą to - niesk < x < + niesk

oraz

x + (+niesk) = +niesk

x + (-niesk) = - niesk

0x01 graphic

(+niesk) + (+niesk) = + niesk

(-niesk) + (-niesk) = - niesk

  1. Jeżeli x > 0 to:

x • (-niesk) = - niesk

x • (+niesk) = + niesk

  1. Jeżeli x < 0 to:

x • (-niesk) = + niesk

x • (+niesk) = - niesk

Rozszerzony zbiór liczb rzeczywistych oznaczamy symbolem: 0x01 graphic

Nich zbiór E ⊂ 0x01 graphic
. Jeżeli zbiór E jest nieograniczony z góry, to znaczy dla 0x01 graphic
, to supremum zbioru E supE = + niesk kres dolny zbioru E ⊂ 0x01 graphic
, który nie jest ograniczony z dołu, określamy następująco infE = - niesk.

W przestrzeni 0x01 graphic
wyróżniamy przedziały półdomknięte (półotwarte):

<a, b) = {x ∈ 0x01 graphic
: a ≤ x < b}

(a, b> = {x ∈ 0x01 graphic
: a < x ≤ b},

a także zbiory:

otoczenie punktu x0 o promieniu r > 0

Vr (x0) = (x0 - r, x0 + r)

Sąsiedztwo punktu x0 o promieniu r >o

S (x0) = Vr (x0) \ {x0}

Punkt x00x01 graphic
nazywamy punktem skupienia zbioru E. E ⊂ 0x01 graphic
, jeżeli każde otoczenie punktu xo zawiera element zbioru E różny od x0. Przykład:

Zbiór E = {0x01 graphic
: n = 1, 2, 3, ...} ma punkt skupienia xo = 0.

1

7

0x01 graphic



Wyszukiwarka

Podobne podstrony:
02 OperowanieDanymiid 3913 ppt
3913
200412 3913
3913
3913
02 OperowanieDanymiid 3913 ppt

więcej podobnych podstron