§5. Definicja liczb rzeczywistych. Moc zbioru: zbiory przeliczalne i nieprzeliczalne.
5.1 Zasada abstrakcji.
Relacje R nazywamy relacją równoważności jeżeli:
xRx - zwrotność
xRy ⇒ yRx - symetria
(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 wtedy elementami zbioru X ≠ ∅ oraz jeżeli każdemu elementowi x∈X przyporządkowuje zbiór Ax = { y∈X : x~y}, to:
Ax ≠ Ø
każdy element zbioru X należy do pewnego zbioru Ax
[(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:
oraz dwuelementowy zbiór wartości {1, -1}
Definicja liczb rzeczywistych.
Zakładamy, że jest znana arytmetyka licz 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 | < ε ,
| 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 ⇔
| wn - vn | < ε.
Relacja ta jest relacją, równoważności gdyż:
| wn - vn | = |0| = 0 < ε czyli x ~ x,
| wn - vn | = | -( wn - vn )| = | vn - wn | < ε czyli x ~ y, to y ~ x
dla x = (wn), y = (vn), z = (un) ∈ X mamy x ~ y, y ~ z, x ~ z tzn.
| wn - vn | <
oraz
| vn - un | <
zatem
| wn - vn | = |( wn - vn ) = ( vn - un )| ≤ | wn - vn | +
+| vn - un | <
+
= ε 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.
α + β = γ ⇔
x + y = z
przy czym równość x + y = z oznacza, że gdy x = (wn), y = (vn), z = (un) to
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:
α • β = γ
x • y = z
przy czym dla x = (wn), y = (vn), z = (un) zapis x • y = z oznacza, że:
wn • vn = un
Również iloczyn jest określony jednoznacznie. Nierówność ≤ w zbiorze liczb rzeczywistych określamy przyjmując dla liczb rzeczywistych α, β
α ≤ β ⇔
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
.
Przykłady:
Liczbą kardynalną wszystkich zbiorów, które mają n elementów jest liczba naturalna n
Zbiory liczb naturalnych N = {1, 2, 3, ...} jest równoliczny np. ze zbiorami:
zbiór liczb parzystych dodatnich
zbiór liczb nieparzystych dodatnich
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):
f(x) = 2x
f(x) = 2x - 1
f(x) = 8x + 2
Przedział
, cała oś rzeczywista ±* są zbiorami równolicznymi, gdyż funkcja
f(x) = tgx dla x ∈ (
) odwzorowuje wzajemnie jednoznacznie (
) na
(-* , +* ).
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 ≠ * wtedy
=
.
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:
Zbiory liczb parzystych
Zbiory liczb nieparzystych
Zbiory liczb całkowitych
Zbiory liczb wymiernych
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:
Zdanie p(1) jest prawdziwe
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
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
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:
Zdanie p(n) jest prawdziwe dla liczby całkowitej n0
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ą.
„ro”
ρ : X × X →
Przy czym:
ρ (x, y) ⇔ x = y
ρ (x, y) = ρ (y, x)
ρ (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
Przykład przestrzeni metrycznych:
Przestrzeń liczb rzeczywistych R z metryką ρ (x, y) = |x-y| : <R, II>
Przestrzeń liczb zespolonych C z metryką ρ (z1, z2) = | z1, z2| : <C, II>
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ż:
|x - y| = 0 ⇔ x - y = ) ⇔ x = y
|x - y| = |-(x - y)| = |y - x|
|x - y| = |(x - z) + (z - y)| ≤ |x - z| + |z - y|
1.2 Kresy
niech E ⊂ R, E ≠ ∅
Zbiór E jest ograniczony z góry (z dołu), jeżeli:
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, *) jest ograniczony z dołu, a przedział (-*, 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:
M jest ograniczeniem górnym zbioru E.
Jeżeli x < M to x nie jest ograniczeniem górnym. Piszemy wtedy M = supE
Definicja.
Nich zbiór E będzie ograniczony z dołu. Mówimy, że liczba m jest kresem dolnym (intimum) zbioru E jeżeli:
m jest ograniczeniem dolnym zbioru E
jeżeli x > m to x nie jest ograniczeniem dolnym zbioru E. Piszemy wtedy m = infE
Można napisać
M = supE *
m = infE*
Przykład:
Niech E = { n: n = 1, 2, 3, ...} wtedy infE = 1. Zbiór E jest nieograniczony z góry.
Niech E = {-
: 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 = -
y = -
> M - ε = 0 - ε = - ε ⇔
< ε ⇔
< n czyli
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).
1.2 Prosta rozszerzona
Rozszerzonym zbiorem liczby rzeczywistej nazywamy zbiór składający się z liczb rzeczywistych oraz z elementów oznaczanych symbolami: -*, +*, przy czym przyjmujemy:
Jeżeli x jest liczbą rzeczywistą to -*< x < +*
oraz
x + (+*) = +*
x + (-*) = -*
(+*) + (+*) = +*
(-*) + (-*) = -*
Jeżeli x > 0 to:
x • (-*) = -*
x • (+*) = +*
Jeżeli x < 0 to:
x • (-*) = +*
x • (+*) = -*
Rozszerzony zbiór liczb rzeczywistych oznaczamy symbolem:
Nich zbiór E ⊂
. Jeżeli zbiór E jest nieograniczony z góry, to znaczy dla
, to supremum zbioru E supE = +* kres dolny zbioru E ⊂
, który nie jest ograniczony z dołu, określamy następująco infE = -*.
W przestrzeni
wyróżniamy przedziały półdomknięte (półotwarte):
<a, b) = {x ∈
: a ≤ x < b}
(a, b> = {x ∈
: 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 x0 ∈
nazywamy punktem skupienia zbioru E. E ⊂
, jeżeli każde otoczenie punktu xo zawiera element zbioru E różny od x0. Przykład:
Zbiór E = {
: n = 1, 2, 3, ...} ma punkt skupienia xo = 0.
1
25
C = {±1, ±2, ±3, ...}
N +{1, 2, 3, ..}
R - zbiór liczb rzeczywistych
W = zbiory licz wymiernych