2.3.

1 Definisi Misalkan S subset tak kosong dari R

(a) Himpunan S dikatakan terbatas di atas jika ada sejumlah u E IR sehingga s :::; u untuk semua
s E S. Setiap angka seperti u disebut batas atas S.
(b) Himpunan S dikatakan dibatasi di bawah ini jika ada sejumlah w E IR sehingga w :::; s untuk
semua s E S. Setiap angka seperti w disebut batas bawah dari S.
(c) himpunan A dikatakan dibatasi jika kedua dibatasi atas dan bawah dibatasi. Himpunan A
adalah dikatakan terbatas jika tidak dibatasi.
Misalnya, himpunan S: = {x E IR: x <2} dibatasi di atas; nomor 2 dan setiap jumlah yang lebih
besar dari 2 adalah batas atas S. set ini memiliki batas tidak lebih rendah, sehingga set ini tidak
dibatasi di bawah ini. Oleh karena itu tak terbatas (meskipun dibatasi di atas). Jika set memiliki
satu batas atas, maka ia memiliki tak terhingga banyaknya batas atas, karena jika u adalah batas
atas S, maka nomor u + 1, u + 2,. . . juga batas atas dari S. (A mirip Pengamatan ini berlaku
untuk batas bawah. ) Aku n set batas atas dari S dan set batas bawah dari S, kita keluar tunggal
setidaknya mereka dan elemen terbesar, masing-masing, untuk perhatian khusus dalam definisi
berikut. (Lihat Gambar 2.3. 1.)
2.3.2 Definisi Misalkan S subset tak kosong dari R
(a) Jika S dibatasi di atas, maka nomor u dikatakan menjadi supremum (atau
setidaknya atas terikat) dari s jika memenuhi kondisi:
(1) u adalah batas atas dari S, dan
(2) jika v adalah setiap batas atas S, maka u :::; v.
(b) Jika S dibatasi di bawah ini, kemudian nomor w dikatakan menjadi infimum (atau
lebih rendah terbesar terikat) dari S jika memenuhi kondisi:
(1 ') w adalah batas bawah dari S, dan
(2) jika t adalah setiap batas bawah dari S, maka t :::; w.
Hal ini tidak sulit untuk melihat bahwa ada bisa ia hanya satu supremum dari subset
yang diberikan S ofr
(Kemudian kita dapat merujuk pada supremum dari satu set bukannya supremum
a.) Untuk, anggaplah bahwa u1 dan u2 keduanya suprema S. Jika u1 <u2, maka
hipotesis yang u2 adalah supremum menyiratkan bahwa u 1 tidak bisa menjadi
batas atas S. Demikian pula, kita melihat bahwa u2 <u 1 tidak mungkin. Oleh
karena itu, kita harus memiliki u1 = u2. Argumen yang sama dapat diberikan untuk
menunjukkan bahwa infimum dari set unik ditentukan. Jika supremum atau infimum
dari satu set S ada, kami akan menunjukkan mereka dengan sup S dan inf S.

Kami juga mengamati bahwa jika u 'adalah sewenang-wenang batas atas dari tidak
kosong set S, maka sup S ::; u '.
Hal ini karena sup S adalah yang paling dari batas atas dari S.
Pertama-tama, perlu ditekankan bahwa dalam rangka untuk tidak kosong set S di IR

'. memiliki supremum, ia harus memiliki batas atas. Dengan demikian, tidak setiap
bagian dari IR '. memiliki supremum sebuah; sama, tidak setiap bagian dari IR '.
memiliki infimum. Memang, ada empat kemungkinan untuk tak kosong bagian S
dari R itu bisa
(i) memiliki kedua supremum dan infimum,
(ii) memiliki supremum tapi tidak ada infimum,
(iii) memiliki infimum tapi tidak ada supremum,
(iv) tidak memiliki sebuah supremum atau sebuah infimum.
Kami juga ingin menekankan bahwa untuk menunjukkan bahwa u = sup S untuk
beberapa bagian non kosong S IR '., kita perlu menunjukkan bahwa kedua (1) dan
(2) dari Definisi 2.3 0,2 (a) terus. Ini akan menjadi pelajaran untuk merumuskan
pernyataan ini.
Definisi u = sup S menegaskan bahwa u adalah batas atas dari S sehingga u ::; v
untuk setiap
atas v terikat S. Hal ini berguna untuk memiliki cara-cara alternatif untuk
mengekspresikan gagasan bahwa u adalah "Setidaknya" dari batas atas S. Salah
satu cara adalah untuk mengamati bahwa sejumlah kecil dari u adalah tidak batas
atas S. Artinya, jika z <u, maka z bukan merupakan batas atas dari S. Tapi untuk
mengatakan bahwa z tidak batas atas dari S berarti terdapat unsur Sz di S sehingga
z <S2 Demikian pula, jika r; > 0, maka u - B lebih kecil dari u dan dengan
demikian gagal menjadi batas atas S.
Berikut laporan tentang u batas atas dari himpunan S adalah sama:
(1) jika v adalah setiap batas atas S, maka u ::; v,
(2) jika z <u, maka z bukan merupakan batas atas dari S,
(3) jika z <u, maka terdapat Sz ES sehingga z <s2,
(4) jika r; > 0, maka ada s, E S sehingga u - r; <S,.
Oleh karena itu, kita dapat menyatakan dua formulasi alternatif untuk supremum
tersebut.
2.3.3 Lema Sejumlah u adalah supremum dari non kosong bagian S dari! R
'. jika dan hanya jika u
memenuhi kondisi:
(1) s: =; u untuk semua s E S,
(2) jika v <u, maka ada s 'ES sehingga v <s
'
.
Untuk pekerjaan di masa depan dengan batas, hal ini berguna untuk kondisi ini
telah dinyatakan dalam
r; > 0. Hal ini dilakukan dalam lemma berikutnya.
2.3.4 Lema Sebuah atas terikat u dari tidak kosong set S di IR '. adalah supremum
dari S jika dan
hanya jika untuk setiap <:> 0 ada sebuah s, ES sehingga u - r; <S,.
Bukti. Jika u adalah batas atas dari S yang memenuhi kondisi yang dinyatakan dan

jika v <u, maka kita

menempatkan r; :. = U - v Kemudian D> 0, sehingga terdapat s, ES sehingga v = u 8 <s ,. Oleh karena itu, v adalah bukan batas atas S, dan kami menyimpulkan
bahwa u = sup S.
Sebaliknya, misalkan u = sup S dan membiarkan > 0. Karena u - 8 <u, maka u - 8
bukan merupakan
batas atas S. Oleh karena itu, beberapa elemen s, S harus lebih besar dari u - 8; itu
adalah,
u - 8 <s,. (Lihat Gambar 2.3.2.) Q.E.D.
Adalah penting untuk menyadari bahwa supremum dari set mungkin atau tidak
mungkin unsur set. Kadang-kadang dan kadang-kadang tidak, tergantung pada set
tertentu. Kita pertimbangkan beberapa contoh.
2.3.5 Contoh (a) Jika tidak kosong set S1 memiliki jumlah terbatas elemen, maka
dapat
menunjukkan bahwa S 1 memiliki elemen terbesar u dan elemen paling w.
Kemudian u = sup S 1 dan w = inf S 1, dan mereka berdua anggota S 1 (ini jelas
jika S 1 hanya memiliki satu elemen, dan dapat dibuktikan dengan induksi pada
jumlah elemen di S1; lihat Latihan 1 2 dan 1 3.)
(b) Himpunan s2: = {X: 0 :::; X :::; 1} jelas memiliki 1 untuk batas atas. Kami
membuktikan bahwa 1 adalah yang supremum sebagai berikut. Jika v <1, terdapat
unsur s 'E S2 sehingga v <s'. (Sebutkan satu
elemen seperti s '.) Oleh karena itu v bukan merupakan batas atas dari S2 dan,
karena v adalah jumlah yang sewenang-wenang v <I, kami menyimpulkan bahwa
sup S2 = I. Hal ini sama menunjukkan bahwa inf S2 = 0 Perhatikan bahwa kedua
supremum dan infimum dari S2 yang terkandung di S2.
(c) Himpunan s3: = {X: 0 <X <I} jelas memiliki 1 untuk batas atas. Menggunakan
sama
Argumen seperti yang diberikan dalam (b), kita melihat bahwa sup S3 = 1. Dalam
hal ini, set S3 tidak mengandung nya supremum. Demikian pula, inf S3 = 0 tidak
terdapat dalam S3. D
Kelengkapan Properti IR '.
Hal ini tidak mungkin untuk membuktikan atas dasar bidang dan ketertiban sifat IR
'. yang dibahas dalam Bagian 2. 1 bahwa setiap bagian tak kosong dari IR '. yang
dibatasi di atas memiliki supremum di R Namun, itu adalah properti yang mendalam
dan mendasar dari sistem bilangan real bahwa ini memang terjadi. Kami akan
memanfaatkan sering dan penting dari properti ini, terutama dalam diskusi kita
tentang proses membatasi. Pernyataan berikut tentang Keberadaan suprema adalah
asumsi akhir kita tentang R demikian, kita mengatakan bahwa IR '. adalah lengkap
memerintahkan lapangan.
2.3.6 Kelengkapan Properti IR '. Setiap set tidak kosong dari bilangan real yang
memiliki

batas atas juga memiliki supremum di R. Properti ini juga disebut supremum
Properti R Properti analog untuk infima dapat disimpulkan dari Kelengkapan Properti
sebagai berikut. Misalkan S adalah bagian tak kosong dari IR '. yang dibatasi di
bawah ini. Kemudian set tidak kosong S: = {-s: s E S} adalah dibatasi di atas, dan
supremum Properti menyiratkan bahwa u: = sup S ada di R Pembaca harus
memverifikasi secara detail bahwa u adalah infimum S.
Bagian 2.4 Aplikasi dari supremum Properti
Sekarang kita akan membahas bagaimana bekerja dengan suprema dan infima.
Kami juga akan memberikan beberapa sangat aplikasi penting dari konsep-konsep
ini untuk mendapatkan sifat dasar R Kita mulai dengan contoh-contoh yang
menggambarkan teknik yang berguna dalam menerapkan ide-ide dan supremum
infimum.
2.4.1 Contoh (a) Ini adalah fakta penting bahwa mengambil suprema dan infima set
adalah
kompatibel dengan sifat aljabar dari R Sebagai contoh, kami menyajikan sini
kompatibilitas mengambil suprema dan penambahan. Misalkan S subset non kosong
IM yang dibatasi di atas, dan biarkan menjadi nomor apapun dalam R
Mendefinisikan set a + S: = {a + s: s E S}. Kami akan membuktikan bahwa
sup (a + S) = a + sup S.
Jika kita membiarkan u: = sup S, maka x :::; u untuk semua x E S, sehingga + x :::; a
+ u. Oleh karena itu, + u adalah batas atas untuk satu set + S; akibatnya, kita
memiliki sup (a + S) :::; a + u.
Sekarang jika v adalah setiap batas atas menetapkan + S, maka + x :::; v untuk
semua x E S.
Akibatnya x :::; v - untuk semua x ES, sehingga v itu - adalah batas atas S. Oleh
karena itu, u = sup S :::; v - a, yang memberi kami + u :::; v. Karena v adalah setiap
atas terikat dari + S, kita bisa mengganti v dengan sup (a + S) untuk mendapatkan
+ u :::; sup (a + S). Menggabungkan ketidaksetaraan ini, kami menyimpulkan
bahwa
sup (a + S) = a + u = a + sup S.
Untuk hubungan yang sama antara suprema dan infima set dan operasi
penjumlahan dan perkalian, melihat latihan.
(b) Jika suprema atau infima dari dua set yang terlibat, itu sering perlu untuk
membangun
hasil dalam dua tahap, bekerja dengan satu set pada suatu waktu. Berikut adalah
contoh.
Misalkan A dan B adalah himpunan bagian tak kosong dari IR '. yang memenuhi
properti:
Kami akan membuktikan bahwa
a: S: b untuk semua E A dan semua b E B.
sup A: S: inf B.

Untuk, diberikan b EB, kita memiliki: S: b untuk semua E A. Ini berarti bahwa b
adalah batas atas dari A, sehingga
bahwa sup A: S: b. Berikutnya, sejak ketidaksetaraan terakhir berlaku untuk semua
b EB, kita melihat bahwa nomor
sup A adalah batas bawah untuk set B. Oleh karena itu, kami menyimpulkan bahwa
sup A: S: inf B. 0
Fungsi
Ide batas atas dan batas bawah diterapkan untuk fungsi dengan
mempertimbangkan rentang
dari fungsi. Mengingat fungsi f:. D - + IR ', kita katakan bahwa f dibatasi atas jika set
f (D) = {f (x): x E D} dibatasi atas dalam IR '.; yaitu, terdapat B E IR '. thatf seperti
(x): S:
B untuk semua x E D. Demikian pula, fungsi / dibatasi bawah jika setf (D) dibatasi di
bawah ini.
Kita mengatakan thatfis dibatasi jika dibatasi atas dan di bawah; ini setara dengan
mengatakan bahwa
terdapat B E IR '. sehingga Jika (x) I: S: B untuk semua x E D.
Contoh berikut menggambarkan bagaimana bekerja dengan suprema dan infima
fungsi.
2.4.2 Contoh Misalkan f dan g adalah fungsi bernilai real dengan domain umum
D C ::: R Kami berasumsi bahwa f dan g dibatasi.
(a) IFF (x): S: g (x) untuk semua x ED, maka sup f (D): S: sup g (D), yang kadangkadang ditulis:
supf (x): S: sup g (x).
Xed yang tetap
Kami pertama catatan thatf (x): S: g (x): S: sup g (D), yang menyiratkan bahwa g
jumlah sup (D) adalah
sebuah atas menuju / (D). Oleh karena itu, sup f (D] - ::::: sup g (D).
(b) Kami mencatat bahwa f hipotesis (x): S: g (x) untuk semua x ED pada bagian (a)
tidak menyiratkan
hubungan antara sup / (D) dan inf g (D).
Misalnya, IFJ (x): = x2 dan g (x): = x dengan D = {x: 0: S: x: S: Saya}, thenf (x): S: g
(x)
untuk semua x E D. Namun, kami melihat bahwa sup f (D) = 1 dan inf g (D) = 0.
Karena sup g (D) = I,
kesimpulan dari (a) memegang.
(c) Jika / (x): S: g (y) untuk semua x, y ED, maka kita dapat menyimpulkan bahwa
supf (D): S: infg (D), yang
kita dapat menulis sebagai:
supf (x): S: inf g (y).
xed YED
(Perhatikan bahwa fungsi dalam (b) tidak memenuhi hipotesis ini.)
Buktinya hasil dalam dua tahap seperti pada Contoh 2.4.l (b). Pembaca harus
menulis

rincian argumen. 0
Hubungan lebih lanjut antara suprema dan infima fungsi yang diberikan dalam
latihan.

The Archimedean Properti --------------------Karena keakraban Anda dengan set IR '. dan gambar adat dari garis nyata, mungkin
tampak jelas bahwa himpunan N bilangan tidak dibatasi dalam R Bagaimana kita bisa
membuktikan ini
42 BAB 2 THE REAL ANGKA
"jelas" Bahkan? Bahkan, kita tidak dapat melakukannya dengan hanya menggunakan aljabar dan
Ketertiban Properti
diberikan dalam Bagian 2. 1. Memang, kita harus menggunakan Kelengkapan Properti dari IM
serta
Induktif Properti N (yaitu, jika n EN, maka n + 1 EN).
Tidak adanya batas atas untuk N berarti diberi nomor nyata x terdapat
bilangan n (tergantung pada x) sehingga x <n.
2.4.3 Archimedean Properti Jika x E IM, maka ada nx EN sehingga x :::; nx.
Bukti. Jika pernyataan salah, maka n :::; x untuk semua n E N; Oleh karena itu, x adalah batas
atas
N. Oleh karena itu, dengan Kelengkapan Properti, set non kosong N memiliki supremum u ER
Mengurangkan 1 dari u memberikan sejumlah u - 1, yang lebih kecil dari supremum u N.
Oleh karena itu u - 1 bukan merupakan batas atas dari N, sehingga terdapat m EN dengan u - I
<m. Menambahkan
Saya memberikan u <M + I, dan karena m + IEN, ketimpangan ini bertentangan dengan fakta
bahwa u adalah
batas atas N. Q.E.D.
2.4.4 Akibat Jika S: = {I Dalam: n EN}, maka inf S = 0.
Bukti. Sejak S -1- 0 dibatasi bawah oleh 0, ia memiliki infimum dan kita membiarkan w: = inf S.
Hal ini
jelas bahwa w 0. Untuk setiap c; > 0, Archimedean Properti menyiratkan bahwa ada n EN
sehingga 1 saya c; <N, yang berarti saya Dalam <B. Oleh karena itu kita harus
0 :::; w :::; Saya LN <c.
Tapi karena > 0 adalah sewenang-wenang, maka dari Teorema 2. 1 0,9 yang w = 0.
2.4.5 Akibat Jika t> 0, terdapat n1 EN sehingga 0 <II n1 <t.
Q.E.D.
Bukti. Sejak inf {I Dalam: n EN} = 0 dan t> 0, maka t bukan batas bawah untuk mengatur
{L di: n E N}. Dengan demikian terdapat n1 E N sedemikian sehingga 0 <I LN1 <t. Q.E.D.
2.4.6 Akibat Jika y> 0, terdapat ny EN sehingga ny - 1 :::; y :::; ny.
Bukti. The Archimedean Properti memastikan bahwa Ey bagian: = {m EN: y <m} dari
N tidak kosong. Dengan Sumur-Pengurutan Properti 1. 2. 1, Ey memiliki elemen setidaknya,
yang
kita dilambangkan dengan ny- Kemudian ny - Aku bukan milik E), dan karenanya kita harus
ny - Aku :::; y <nv. Q.E.D.
Secara kolektif, akibat wajar 2.4.4-2.4.6 kadang-kadang disebut sebagai Archimedean
Properti R

Keberadaan J2 ----------------------Pentingnya supremum Properti terletak pada kenyataan bahwa itu menjamin
adanya
bilangan real di bawah hipotesis tertentu. Kita akan memanfaatkannya dengan cara
ini berkali-kali. Di
saat ini, kita akan menggambarkan penggunaan ini dengan membuktikan
keberadaan bilangan real positif x
sehingga x2 = 2; yaitu, akar kuadrat positif dari 2. Hal ini ditunjukkan sebelumnya
(lihat Teorema
2. Saya 0,4) bahwa seperti x suatu tidak dapat menjadi bilangan rasional; dengan
demikian, kita akan menurunkan keberadaan
setidaknya satu nomor irasional.
2.4 APLIKASI DARI supremum PROPERTI 43
2.4.7 Teorema Ada ada sejumlah positif yang nyata x sehingga x2 = 2.
Bukti. Biarkan S: = {s E IM: 0 ::; s, s2 <2}. Sejak 1 E S, himpunan tidak kosong.
Juga, S adalah
dibatasi atas oleh 2, karena jika t> 2, maka t2> 4 sehingga t rt S. Oleh karena itu
supremum
Properti menyiratkan bahwa himpunan S memiliki supremum di IM, dan kami
membiarkan x: = sup S. Perhatikan bahwa x> 1.
Kami wiII membuktikan bahwa x2 = 2 dengan mengesampingkan dua kemungkinan
lain: x2 <2 dan x2> 2.
Pertama menganggap bahwa x2 <2. Kami akan menunjukkan bahwa asumsi ini
bertentangan dengan fakta bahwa
x = sup S dengan mencari n EN sehingga x + 1 Dalam ES, sehingga menyiratkan
bahwa x bukan atas
menuju S. Untuk melihat bagaimana memilih n, diketahui bahwa II n2 ::; 1 Di
sehingga (1) 2 2x 1 x 1 + - = x2 + - + 2 ::; x2 + - (2x + 1).
nnnn
Oleh karena itu jika kita bisa memilih n sehingga
-1 (2x + 1) <2 - x2,
n
maka kita mendapatkan (x + 1 Dalam) 2 <x2 + (2 - x2) = 2. Dengan asumsi kita
memiliki 2 - x2> 0, sehingga
(2 - x2) I (2x + 1)> 0 Oleh karena itu Properti Archimedean (2.4.5 Akibat) dapat
digunakan untuk
memperoleh n E N seperti yang
1 2 - x2
- <.
n 2x + 1
Langkah-langkah ini dapat dibalik untuk menunjukkan bahwa untuk pilihan ini n kita
memiliki x + 1 Dalam ES, yang

bertentangan dengan fakta bahwa x adalah batas atas S. Oleh karena itu kita tidak
bisa memiliki x2 <2.
Sekarang asumsikan bahwa x2> 2. Kami akan menunjukkan bahwa itu maka
kemungkinan untuk menemukan m EN sehingga
x - l im juga merupakan batas atas dari S, bertentangan dengan. Fakta bahwa x =
sup S. Untuk melakukan hal ini, catatan
bahwa
Oleh karena itu jika kita bisa memilih m sehingga
-2x 2 <x - 2
m'
2x
m
kemudian (x - 1 lm) 2> x2 - (x2 - 2) = 2. Sekarang dengan asumsi kita memiliki x2 2> 0, sehingga
(x2 - 2) 12x> 0 Oleh karena itu, dengan Archimedean Properti, terdapat m EN
sehingga
1 x2 - 2
- <. m 2x
Langkah-langkah ini dapat dibalik untuk menunjukkan bahwa untuk pilihan ini m
kita memiliki (x - II m) 2> 2.
Sekarang jika s ES, maka: P <2 <(x - 1 lm) 2, dari mana ia mengikuti dari 2. 1. 1 3
(a) yang
s <x - 1 I m. Ini berarti bahwa LLM x- merupakan batas atas untuk S, yang
bertentangan dengan
Fakta bahwa x = sup S. Oleh karena itu kita tidak bisa memiliki x2> 2.
Karena kemungkinan x2 <2 dan x2> 2 telah dikeluarkan, kita harus memiliki
x2 = 2. Q.E.D.
Dengan sedikit memodifikasi argumen sebelumnya, pembaca dapat menunjukkan
bahwa jika a> 0, maka
ada b unik> 0 sehingga b2 = a. Kami menyebutnya b akar kuadrat positif dari dan
menunjukkan
dengan b = Ja atau b = a 112. A sedikit lebih rumit argumen yang melibatkan
binomial teorema dapat dirumuskan untuk membangun eksistensi akar n positif
yang unik dari,
dilambangkan dengan Y'A atau a1 fn, untuk setiap n E N.
Jika berkomentar di bukti Teorema 2.4.7 kita ganti set S oleh himpunan rasional
nomor T: = {r E <Q: 0 :::; r, r2 <2}, argumen kemudian memberikan kesimpulan
bahwa y: =
sup T memenuhi i = 2. Karena kita telah melihat di Teorema 2. 1 0,4 yang y tidak
bisa menjadi rasional
nomor, maka bahwa T set yang terdiri dari bilangan rasional tidak memiliki
supremum sebuah
milik set <Q. Jadi memerintahkan bidang <Q dari bilangan rasional tidak memiliki

satu
Properti kelengkapan.
Kepadatan Bilangan Rasional di IR '.
Kita sekarang tahu bahwa ada setidaknya satu bilangan real irasional, yaitu; / 2.
Sebenarnya ada
"lebih" bilangan irasional dari bilangan rasional dalam arti bahwa himpunan rasional
angka adalah dihitung (seperti yang ditunjukkan dalam Bagian 1 0,3), sedangkan
himpunan bilangan irasional adalah
terhitung (lihat Bagian 2.5). Namun, kami selanjutnya menunjukkan bahwa terlepas
dari perbedaan jelas ini,
himpunan bilangan rasional adalah "padat" di IR '. dalam arti bahwa diberi dua
bilangan real ada
adalah bilangan rasional antara mereka (pada kenyataannya, ada tak terhingga
banyaknya bilangan rasional seperti).
2.4.8 The Density Teorema Jika x dan y adalah bilangan nyata dengan x <y, maka
ada
ada yang rasional sejumlah r E <Q sehingga x <r <y.
Bukti. Hal ini tidak kehilangan umum (? Mengapa) untuk mengasumsikan bahwa x>
0. Karena y - x> 0, maka
Akibat dari 2.4.5 bahwa ada n EN seperti yang saya Dalam <y - x. Oleh karena itu,
kita harus
nx + I <ny. Jika kita menerapkan Akibat 2.4.6 untuk NX> 0, kita memperoleh m EN
dengan
m - Aku :::; nx <m. Oleh karena itu, m :::; nx + 1 <ny, mana nx <m <ny. Dengan
demikian, rasional
jumlah r: = memenuhi min x <r <y. Q.E.D.
Untuk melengkapi diskusi dari jalinan bilangan rasional dan irasional, kami
memiliki sama "betweenness properti" untuk himpunan bilangan irasional.
2.4.9 Akibat Jika x dan y adalah bilangan real dengan x <y, maka terdapat suatu
irasional
jumlah z sehingga x <z <y.
Bukti. Jika kita menerapkan Density Teorema 2.4.8 ke nomor xl nyata; / 2 dan y I; /
2, kita
mendapatkan nomor rasional r -1- 0 (mengapa?) seperti yang
; (iX y <r <
;/2
.
Kemudian z: = r; / 2 adalah irasional (mengapa?) Dan memenuhi x <z <y.
Latihan untuk Bagian 2.4
1. Menunjukkan bahwa sup {I - I Pada: n E N} = 1.
2. Jika S: = {l di - 1 Im: n, m EN}, cari S inf dan sup S.
3. Let S c;;; IM menjadi tidak kosong. Buktikan bahwa jika sejumlah u di IM memiliki
sifat: (i) untuk setiap n EN yang

Jumlah u - Aku Di bukan batas atas dari S, dan (ii) untuk setiap nomor n EN nomor u
+ 1 Dalam
merupakan batas atas S, maka u = sup S. (ini adalah kebalikan dari Latihan 2.3.9.)
4. Misalkan S tidak kosong yang dibatasi diatur dalam JR.
(a) Mari a> 0, dan biarkan aS: = {sebagai: s E S}. Buktikan bahwa
inf (aS) = a inf S, sup (aS) = a sup S.
(b) Biarkan b <0 dan membiarkan bS = {bs: s E S}. Buktikan bahwa
inf (bS) = b sup S, sup (bS) = b inf S.
5. Biarkan S menjadi himpunan bilangan real nonnegatif yang dibatasi atas dan
membiarkan T: = {x2: x ES}.
Buktikan bahwa jika u = sup S, maka u2 = sup T. Berikan contoh yang menunjukkan
kesimpulan mungkin
false jika pembatasan terhadap angka negatif akan dihapus.
6. Misalkan X menjadi satu set tidak kosong dan membiarkan f: X ......, telah
dibatasi rentang JR. Jika E JR. menunjukkan bahwa
Misalnya 2.4.l (a) menyiratkan bahwa
sup {a + f (x): x E X} = a + sup {f (x): x E X}.
Menunjukkan bahwa kami juga memiliki
inf {a + f (x): x E X} = a + inf {f (x): x E X}.
7. Misalkan A dan B akan dibatasi subset tak kosong dari JR. dan biarkan A + B: =
{a + b: E A, b E B}. Membuktikan
bahwa sup (A + B) = sup A + sup B dan inf (A + B) = inf A + inf B.
8. Misalkan X menjadi set tidak kosong, dan letf dan g didefinisikan pada X dan
telah dibatasi rentang di JR. Menunjukkan bahwa
sup {f (x) + g (x): x E X} :::; sup {f (x): x E X} + {sup g (x): x E X}
dan itu
inf {f (x): x EX} + {inf g (x): x EX}: S: inf {f (x) + g (x): x EX}.
Berikan contoh untuk menunjukkan bahwa masing-masing i nequalities canbe baik
kesamaan-kesamaan atau ketat
ketidaksetaraan.
9. Misalkan X = Y: = {x E : 0 <x <1}. Tentukan h: X x Y ......, oleh h (x, y): = 2x +
y.
(a) Untuk setiap x EX, menemukan f (x): = sup {h (x, y): y EY}; kemudian
menemukan inf {f (x): x E X}.
(b) Untuk setiap y EY, menemukan g (y): = inf {h (x, y): x EX}; kemudian
menemukan sup {g (y): y E Y}. Membandingkan
dengan hasil yang ditemukan di bagian (a).
1 0 Lakukan perhitungan di (a) dan (b) dari latihan sebelumnya untuk fungsi h: X x Y
......,
didefinisikan oleh
h (x, y): = { jika x <y,
jika X 2: y.
Saya saya. Biarkan X dan Y menjadi set tidak kosong dan biarkan h: X x Y ......,

telah dibatasi rentang JR. Letf: X ......,

dan g: Y ......, didefinisikan oleh
Buktikan bahwa
f (x): = sup {h (x, y): y EY}, g (y): = inf {h (x, y): x EX}.
sup {g (y): y E Y}: S: inf {f (x): x E X}.
Kita kadang-kadang mengungkapkan hal ini b y menulis
sup inf h (x, y) :::; inf sup h (x, y).
yXXy
Perhatikan bahwa Latihan 9 dan 1 0 menunjukkan bahwa ketidaksamaan dapat
berupa kesetaraan atau ketat
ketidaksetaraan.
1 2. Let X dan Y menjadi set tidak kosong dan membiarkan h: X x Y -. JR. telah
dibatasi rentang R Let F: X -. JR.
dan G: Y -. JR. didefinisikan oleh
F (x): = sup {h (x, y): y EY}, G (y): = sup {h (x, y): x EX}.
Menetapkan Prinsip dari iterasi Suprema:
sup {h (x, y): x EX, y EY} = {sup F (x): x EX} = {sup G (y): y EY}
Kadang-kadang kita mengungkapkan hal ini dalam simbol-simbol oleh
sup h (x, y) = sup sup h (x, y) = sup sup h (x, y).
X,) 'X)' y X
. 1 3. Mengingat setiap x E JR, menunjukkan bahwa ada yang unik n EZ sehingga n I ::; x <n.
1 4. Jika y> 0, menunjukkan bahwa ada n EN seperti yang saya / 2 "<y.
1 5. Memodifikasi argumen dalam Teorema 2.4.7 untuk menunjukkan bahwa ada
bilangan real positif y seperti
bahwa i = 3.
1 6. Memodifikasi argumen dalam Teorema 2.4.7 untuk menunjukkan bahwa jika a>
0, maka ada sebuah real positif
jumlah z sehingga z2 = a.
Saya 7. Memodifikasi argumen dalam Teorema 2.4. 7 menunjukkan bahwa ada
bilangan real positif u seperti
yang u3 = 2.
1 8. Lengkapi bukti Density Teorema 2.4.8 dengan menghilangkan asumsi bahwa x>
0.
1 9. Jika u> 0 adalah setiap bilangan real dan x <y, menunjukkan bahwa ada
bilangan rasional r sedemikian sehingga
x <ru <y. (Oleh karena itu set {ru: r E IQ} padat di R)
Bagian 2.5 Interval
Orde Rel asi pada IR menentukan koleksi alami subset disebut "interval."
Notasi dan terminologi untuk ini set khusus akan akrab dari sebelumnya
kursus. Jika, h E IR memuaskan <h, maka interval terbuka ditentukan oleh a dan b
adalah

set
(a, b): = {x E IR: a <x <b}.
Poin dan h disebut titik akhir dari interval; Namun, titik akhir tidak
termasuk dalam interval terbuka. Jika kedua titik akhir yang disatukan ke interval
terbuka ini, maka kita
mendapatkan interval tertutup ditentukan oleh a dan b; yaitu, set
[a, b]: = {x E IR: ::: a; x :::; b}.
Dua (ditutup setengah atau) interval setengah terbuka ditentukan oleh a dan b
adalah [a, b), yang
termasuk titik akhir, dan (a, b], yang meliputi titik akhir b.
Masing-masing empat interval ini dibatasi dan telah panjang didefinisikan oleh b - a.
Jika a = b, yang
sesuai interval terbuka adalah himpunan kosong (a, a) = 0, sedangkan sesuai yang
ditutup
Interval adalah tunggal mengatur [a, a] = {a}.
Ada lima jenis interval tak terbatas yang simbol oo (atau + oo) dan
digunakan sebagai kenyamanan notasi di tempat titik akhir. Interval terbuka yang
tak terbatas adalah
set formulir
(a, oo): = {x E IR: x> a} dan (, b): = {x E IR: x <b}.
Set pertama tidak memiliki batas atas dan yang kedua memiliki batas tidak lebih
rendah. Berdampingan
endpoint memberi kita terbatas ditutup interval:
[a, oo): = {x E JR. : A x} dan (- oo, b]:. = {X E JR: x b}.
Hal ini sering nyaman untuk memikirkan seluruh set JR. sebagai selang waktu yang
tak terbatas; dalam kasus ini, kita menulis
(, oo): = R ada titik adalah titik akhir dari (, oo).
Peringatan Harus ditekankan bahwa oo dan - oo tidak unsur JR, tetapi hanya.
simbol nyaman.
Karakterisasi Interval
Properti jelas interval adalah bahwa jika dua poin x, y dengan x <y milik interval /,
maka setiap titik yang terletak di antara mereka juga milik /. Artinya, jika x <t <y,
maka titik t
milik interval sama dengan x dan y. Dengan kata lain, jika x dan y milik interval /,
maka interval [x, y] terkandung dalam /. Kami sekarang menunjukkan bahwa subset
dari JR. memiliki ini
properti harus selang.
2.5.1 Karakterisasi Teorema Jika S adalah himpunan bagian dari JR. yang berisi
setidaknya dua titik
dan memiliki properti
(1) jika x, y E S dan x <y, maka [x, y] S,
maka S adalah interval.
Bukti. Ada empat kasus yang perlu dipertimbangkan: (i) S dibatasi, (ii) S dibatasi di

atas tetapi tidak

bawah, (iii) S dibatasi di bawah ini tapi tidak di atas, dan (iv) S yang tidak dibatasi di
atas atau
di bawah ini.
Kasus (i): Biarkan: = inf S dan b: = sup S. Kemudian S [a, b] dan kami akan
menunjukkan bahwa
(a, b) S.
Jika <z <b, maka z bukan batas bawah dari S, sehingga terdapat x ES dengan x <z.
Juga, z
bukan merupakan batas atas dari S, sehingga terdapat y ES dengan z <y. Oleh
karena itu z E [x, y], sehingga properti
(1) menunjukkan bahwa z E S. Sejak z merupakan elemen sewenang-wenang (a, b),
kita menyimpulkan bahwa (a, b) S.
Sekarang jika E S dan b E S, maka S = [a, b]. (Mengapa?) Jika f. S dan b f. S, maka S
= (a, b).
Kemungkinan lain menyebabkan baik S = (a, b] atau S = [a, b).
Kasus (ii): Biarkan b: = sup S. Kemudian S (- oo, b] dan kami akan menunjukkan
bahwa (, b) S. Untuk,
jika z <b, maka terdapat x, y ES sehingga z E [x, y] S. (Mengapa?) karena itu (,
b) S.
Jika b ES, maka S = (- oo, b], dan jika b f S, maka S = (-. Oo, b).
Kasus (iii) dan (iv) ditinggalkan sebagai latihan. Q.E.D
Interval bersarang
Kami mengatakan bahwa urutan interval Dalam, n EN, bersarang jika rantai berikut
inklusi
memegang (lihat Gambar 2.5 1.):
Saya 1:;;:> [z:;;:> :;;:> Dalam:;;:> Dalam + 1:;;:>
Sebagai contoh, jika pada: = [0, 1 / n] untuk n EN, kemudian Dalam:;;:> ln + l untuk
setiap n EN sehingga ini
urutan interval bersarang. Dalam hal ini, elemen 0 milik semua di dan
Archimedean 2.4.3 Properti dapat digunakan untuk menunjukkan bahwa 0 adalah
titik hanya umum seperti.
(Buktikan ini.) Kami menunjukkan ini dengan menulis n 1 ln = {0}.
Adalah penting untuk menyadari bahwa, secara umum, urutan bersarang interval
tidak perlu memiliki
titik yang sama. Sebagai contoh, jika ln: = (0, 1 / n) untuk n EN, maka ini urutan
interval adalah
bersarang, tetapi tidak ada titik umum, karena untuk setiap diberikan x> 0,
terdapat (mengapa?)
m E N sehingga 1 / m <x sehingga x tf lm. Demikian pula, urutan interval
K n: = (n, oo), n EN, bersarang tetapi tidak memiliki titik yang sama. (Mengapa?)
Namun, itu adalah properti penting dari IM bahwa setiap urutan bersarang tertutup,

interval dibatasi tidak memiliki titik yang sama, seperti yang kita sekarang akan
membuktikan. Perhatikan bahwa
kelengkapan IM memainkan peran penting dalam membangun properti ini.
2.5.2 Bersarang Interval Properti Jika Dalam = [an, bn], n EN, adalah urutan
bersarang ditutup
interval dibatasi, maka ada sejumlah E IM sehingga E In untuk semua n E N.
Bukti Karena interval bersarang, kita memiliki Dalam <;;; Saya 1 untuk semua n E
N, sehingga seorang :::; b1 untuk semua
n E N. Oleh karena itu, tidak kosong set {sebuah: n EN} dibatasi di atas, dan kami
membiarkan menjadi yang
supremum. Jelas merupakan :::; untuk semua n E N.
Kami mengklaim juga bahwa :::; bn untuk semua n. Ini didirikan dengan
menunjukkan bahwa untuk setiap
khususnya n, jumlah bn adalah batas atas untuk set {ak: k EN}. Kami
mempertimbangkan dua
kasus. (i) Jika n :::; k, maka sejak Dalam h. kami telah ak :::; bk :::; bn. (ii) Jika k
<n, maka sejak
h Dalam, kita harus ak :::; sebuah :::; bn. (Lihat Gambar 2.5.2.) Dengan demikian,
kami menyimpulkan bahwa ak :::; bn untuk semua
k, sehingga miliar adalah batas atas dari himpunan {ak: k EN}. Oleh karena itu,
:::; bn untuk setiap n E N. Sejak
sebuah :::; :::; bn untuk semua n, kita harus E In untuk semua n E NQED
1 ---- Ik ---------Gambar 2.5.2 Jika k <n, maka Dalam C ::: h
2.5.3 Teorema fin:! = [An, BNJ, n EN, merupakan urutan bersarang ofclosed, dibatasi
interval
sehingga panjang miliar - sebuah In memuaskan
inf {bn - an: n E N} = 0,
maka nomor terkandung dalam In untuk semua n EN unik.
Bukti Jika 1J: = inf {bn: n EN}, maka argumen mirip dengan bukti 2.5.2 dapat
digunakan
untuk menunjukkan bahwa :::; 1J untuk semua n, dan karenanya yang :::; 1J.
Bahkan, itu adalah latihan (lihat Latihan 1 0) untuk
menunjukkan bahwa x E In untuk semua n EN jika dan hanya jika :::; x :::; 1]. Jika
kita memiliki inf {bn - an: n E N} = 0,

maka untuk setiap e> 0, ada sebuah m EN sehingga 0 ::; 17 - ::; bm - am <c. Karena ini
berlaku untuk semua e> 0, maka dari Teorema 2. 1 0,9 bahwa 17 - = 0. Oleh karena itu, kita
menyimpulkan
yang = 17 adalah titik hanya milik Dalam setiap n E NQED
The Uncountability dari IM
Konsep set dihitung telah dibahas dalam Bagian 1 0,3 dan akuntabilitas dari himpunan
Q dari bilangan rasional didirikan di sana. Sekarang kita akan menggunakan Bersarang Interval
Properti

untuk membuktikan bahwa himpunan IM adalah set terhitung. Buktinya diberikan oleh Georg
Cantor di 1 874
di pertama kertas pada set terbatas. Dia kemudian menerbitkan bukti bahwa menggunakan
desimal
representasi dari bilangan real, dan bukti yang akan diberikan kemudian dalam bagian ini.
2.5.4 Teorema mengatur IM The bilangan real tidak dihitung.
Bukti Kami akan membuktikan bahwa interval unit I: = [0, 1] adalah serangkaian terhitung. Ini
berarti
bahwa himpunan IM adalah seperangkat tak terhitung, karena jika IM dpt dihitung, maka bagian
saya akan juga menjadi
dihitung. (Lihat Teorema 1 0,3 0,9 (a).)
Buktinya adalah dengan kontradiksi. Jika kita berasumsi bahwa saya adalah dihitung, maka kita
dapat menghitung
set seperti yang saya = {x 1, x2, . , Xn,. . . }. Kami pertama kali memilih sub interval tertutup I
1 I seperti yang
x 1 rf: I1, kemudian pilih sub interval tertutup / 2 dari saya 1 sehingga x2 rf: / z, dan sebagainya.
Dengan cara ini, kita
mendapatkan tidak kosong ditutup interval
Aku, :: 2 Iz :: 2 :: 2 Dalam :: 2
sehingga Dalam saya dan Xn rf: Dalam untuk semua n. The Bersarang Interval Properti 2.5.2
menyiratkan bahwa ada
ada titik EI sehingga E In untuk semua n. Oleh karena itu = 1- Xn untuk semua n E N,
sehingga
pencacahan I bukanlah daftar lengkap dari elemen saya, seperti yang diklaim. Oleh karena itu,
saya adalah
set terhitung. Q.E.D.
Fakta bahwa IM himpunan bilangan real adalah tak terhitung dapat dikombinasikan dengan fakta
bahwa
set Q bilangan rasional adalah terhitung untuk menyimpulkan bahwa himpunan IM \ Q dari
bilangan irasional
adalah terhitung. Memang, sejak penyatuan dua set dihitung adalah dihitung (lihat 1 0,3 0,7 (c)),
jika
IM \ Q adalah dihitung, maka sejak IM = QU (IM \ Q), kami menyimpulkan bahwa IM juga satu
set dihitung,
yang merupakan kontradiksi. Oleh karena itu, himpunan bilangan irasional IM \ Q adalah
himpunan tak terhitung.
Catatan: Himpunan bilangan real juga dapat dibagi menjadi dua himpunan bagian dari bilangan
disebut
nomor aljabar dan transendental numpers. Sejumlah nyata disebut aljabar jika itu adalah
solusi dari persamaan polinomial P (x) = 0 dimana semua koefisien dari polinomial P
adalah bilangan bulat. Sejumlah nyata disebut transendental jika tidak jumlah aljabar. Itu bisa
dibuktikan bahwa himpunan bilangan aljabar adalah countably tak terbatas, dan akibatnya set
nomor transendental adalah tak terhitung. Nomor n dan e adalah bilangan transendental,
tetapi bukti dari fakta-fakta yang sangat dalam. Untuk pengenalan topik ini, kami merujuk
pembaca yang tertarik dengan buku oleh Ivan Niven tercantum dalam Referensi.
i Binary Representasi -----------------------

Kami akan ngelantur sebentar untuk membahas secara informal biner (dan desimal) representasi
nyata
nomor. Ini akan cukup untuk mempertimbangkan bilangan real antara 0 dan 1, sejak representasi
untuk bilangan real lainnya kemudian dapat diperoleh dengan menambahkan angka positif atau
negatif.
Jika x E [0, 1], kita akan menggunakan prosedur pembelahan berulang untuk
mengasosiasikan urutan (an) dari
Os dan 1 s sebagai berikut. Jika x = 1-! milik sub interval kiri [0,!] kita mengambil
a1: = 0, sedangkan jika
x milik hak sub interval [! , 1] kita mengambil a1 = 1. Jika x =!, Maka kita dapat
mengambil a1 ke
berupa 0 atau 1. Dalam kasus apapun, kita harus
a1 a1 + 1
- <X <-. 2 - - 2
Kita sekarang membagi dua interval [! a1,! (a1 + 1)]. Jika x bukan titik pembelahan
dan milik
sub interval meninggalkan kita mengambil a2: = 0, dan jika x milik sub interval
yang tepat kita ambil a2: = I. Jika
x = atau x = 'kita dapat mengambil a2 menjadi 0 atau 1. Dalam kasus apapun,
kita harus
a1 a2 a1 a2 + 1
- + - <X <- + -. 2 22 - - 2 22
Kami terus prosedur pembelahan ini, menugaskan pada tahap n nilai sebuah: = 0
jika x adalah
bukan titik pembelahan dan terletak di sub interval kiri, dan menempatkan nilai
a11: = 1 jika x
terletak di sub interval yang tepat. Dengan cara ini kita mendapatkan urutan (a11)
dari Os atau 1 s yang
sesuai dengan urutan bersarang interval yang mengandung titik x. Untuk setiap n,
kita memiliki
ketidaksamaan
(2)
Jika x adalah titik pembelahan pada tahap n, maka x = m / 211 m dengan aneh.
Dalam hal ini, kita mungkin
memilih baik kiri atau sub interval yang tepat; Namun, setelah sub interval ini yang
dipilih,
maka semua subinterval berikutnya dalam prosedur pembelahan ditentukan.
[Misalnya, jika
kita memilih sub interval kiri sehingga a11 = 0, maka x adalah titik akhir hak semua
berikutnya
subinterval, dan karenanya ak = I untuk semua k 2 ': n + 1. Di sisi lain, jika kita
memilih yang benar

sub interval sehingga a11 = I, maka x adalah titik akhir kiri semua subinterval
berikutnya, dan
karenanya "= 0 untuk semua k 2 ':. n + I Misalnya, jika x = ' maka dua urutan
yang mungkin untuk
x adalah I, 0, I, 1, 1,. . . dan 1, 1, 0, 0, 0,. . . .]
Untuk meringkas: Jika x E [0, 1], maka terdapat urutan (an) dari Os dan 1 s
sehingga
ketidaksetaraan (2) berlaku untuk semua n E N. Dalam hal ini kita menulis
(3)
dan panggilan (3) representasi biner o f x. Representasi ini adalah unik kecuali bila
x = m / 211 m untuk aneh, dalam hal x memiliki dua representasi
x = (.a1 a2 an- 1 1 000 ) z = (.a1 a2 an- 1 0 1 1 1 ) z,
satu ending di Os dan akhir lainnya dalam 1 s.
Sebaliknya, setiap urutan Os dan Is adalah representasi biner dari nyata unik
nomor dalam [0, 1]. Ketimpangan yang sesuai dengan (2) menentukan interval
tertutup dengan
Panjang I / 211 dan urutan interval ini bersarang. Oleh karena itu, Teorema 2.5.3
menyiratkan
bahwa ada bilangan real yang unik x memuaskan (2) untuk setiap n E N. Akibatnya,
x memiliki
representasi biner (.a1 a2 a11 ) z.
Ucapan Konsep representasi biner sangat penting di era digital
komputer. Sejumlah dimasukkan dalam komputer digital pada "bit," dan setiap bit
dapat dimasukkan ke dalam
salah satu dari dua negara-baik itu akan berlalu saat ini atau tidak akan. Kedua
negara sesuai dengan
nilai-nilai saya dan 0, masing-masing. Dengan demikian, representasi biner dari
nomor dapat disimpan
di komputer digital pada string bit. Tentu saja, dalam prakteknya, karena hanya
finitely
banyak bit dapat disimpan, representasi biner harus dipotong. Jika n digit biner
adalah 2,5 INTERVAL 51
digunakan untuk sejumlah x E [0, 1], maka akurasi paling 1/211 Misalnya, untuk
menjamin akurasi fourdecimal, perlu untuk menggunakan setidaknya saya 5 digit
biner (1 atau 5 bit).
. Representasi desimal
Representasi desimal bilangan real mirip dengan representasi biner, kecuali bahwa
kita membagi interval menjadi sepuluh subinterval yang sama, bukan dua.
Dengan demikian, mengingat x E [0, saya], jika kita membagi [0, 1] menjadi
sepuluh subinterval yang sama, maka x milik sub interval a [b1 / 1 0, (b 1 + 1) / 1 0]
untuk suatu bilangan bulat b 1 di {0, 1,. . . , 9}. Prosiding seperti dalam kasus biner,
kita memperoleh urutan (b11) dari bilangan bulat dengan 0 ::; b11 ::; 9 untuk
semua n E N sehingga x memenuhi

-b 1 b2 b, b1 b2 bn + 1 + - +. . . + - <X <- + - +. . . + -. 1 0 1 1 02 011 - - 1 0 1 02

1 011 (4)
Dalam hal ini kita mengatakan bahwa x memiliki representasi desimal yang
diberikan oleh
X = .b J bz miliar .
Jika x; :::: 1 dan jika B E N adalah seperti yang B ::; x <B + 1, maka x = B.b1 b2
b11 di mana representasi desimal x - BE [0, saya] adalah seperti di atas.
Angka negatif diperlakukan sama.
Fakta bahwa setiap desimal menentukan bilangan real unik Teorema
2.5.3, karena masing-masing desimal menentukan urutan bersarang interval
dengan panjang 1/1011
Representasi desimal x E [0, 1] adalah unik kecuali bila x adalah titik pembagian
pada tahap tertentu, yang dapat dilihat terjadi ketika x = m / 1 011 untuk beberapa
m, n EN, 1 ::; m ::; 1 011
(Kami juga mungkin menganggap m yang tidak habis dibagi oleh 1 0) Ketika x
adalah titik subdivisi pada tahap n, satu pilihan untuk hn sesuai dengan memilih
sub interval kiri, yang menyebabkan semua digit berikutnya menjadi 9, dan pilihan
lainnya sesuai dengan memilih sub interval yang tepat, yang menyebabkan semua
digit berikutnya menjadi 0. [Misalnya, jika x = 1 maka x = 0,4999 = 0,5000 , dan
jika y = 38/100 maka y =. 37.999 = 0,38000 . ]
Desimal periodik
Sebuah desimal B .b1 b2 miliar dikatakan periodik (atau harus mengulang), jika
terdapat k, n EN sehingga hn = bn + m untuk semua n 2 ': k. Dalam hal ini, blok
angka bkbk + l bk + m- 1 diulang setelah digit k tercapai. Terkecil jumlah m
dengan properti ini disebut periode desimal. Misalnya, 1 9/88 =. 2 1 59090 90
memiliki periode m = 2 dengan mengulangi blok 90 mulai k = 4. desimal
terminating adalah desimal periodik dimana blok diulang hanyalah digit 0.
Kami akan memberikan bukti informal asser..tion: Sebuah bilangan real positif
adalah rasional jika
dan hanya jika representasi desimal adalah periodik.
Misalkan x = pjq mana p, q EN tidak memiliki faktor bilangan bulat umum. Untuk
kenyamanan kami juga akan menganggap bahwa 0 <p <q. Kami mencatat bahwa
proses "panjang
Pembagian "dari q ke p memberikan representasi desimal pjq. Setiap langkah di
divisi
Proses menghasilkan sisa yang adalah bilangan bulat dari 0 sampai q - 1. Oleh
karena itu, setelah paling langkah q, beberapa sisanya akan terjadi untuk kedua
kalinya dan, pada saat itu, angka di quotient akan mulai berulang dalam siklus. Oleh
karena itu, representasi desimal dari bilangan rasional tersebut adalah periodik.
Sebaliknya, jika desimal adalah periodik, maka itu merupakan bilangan rasional. Ide
bukti yang terbaik diilustrasikan oleh contoh. Misalkan x = 7.3 1 4 1 4 14 . Kita
kalikan dengan kekuatan 1 0 untuk memindahkan titik desimal ke blok berulang
pertama; di sini
52 BAB 2 THE REAL ANGKA

memperoleh l Ox = 73. 14 14 . Kami sekarang kalikan dengan kekuatan 10 untuk

bergerak satu blok ke
kiri titik desimal; di sini mendapatkan 1 OOOx = 73 14. 1414 . Kita sekarang
kurangi untuk mendapatkan
integer; di sini mendapatkan saya OOOx - l Ox = 73 14-73 = 724 1, mana x = 724
1/990, sebuah
bilangan rasional.
Cantor 's Bukti Kedua ----------------------Kami sekarang akan memberikan bukti kedua Cantor dari uncountability R ini
adalah elegan
"diagonal" argumen berdasarkan representasi desimal dari bilangan real.
2.5.5 Teorema Unit interval [0, 1]: = {x E JR. : 0: 0 ::: x: 0 ::: 1} tidak dihitung.
Bukti. Buktinya adalah dengan kontradiksi. Kami akan menggunakan fakta bahwa
setiap bilangan real x E [0, 1]
memiliki desimal representasi x = Ob, bzb3 , di mana hi = 0, 1,. . . , 9. Misalkan ada
is
pencacahan x1, x2, x3 dari semua nomor di [0, 1], yang kami tampilkan sebagai:
XJ O.b, J b1 2b 1 3 b Yoh ,
Xz O.b2 1 hnb2 3 B2N ,
X3 O.b3 1 b32b33 b3n ,
Kita sekarang mendefinisikan nyata sejumlah y: = Oy 1Yzy3 Yn dengan
menetapkan y 1: 2 = jika b 1 1 2 ': 5 dan
y 1: = 7 jika b 1 1: 0 ::: 4; secara umum, kita membiarkan
jika BNN 2 ': 5,
jika BNN: 0 ::: 4.
Kemudian y E [0, 1]. Perhatikan bahwa jumlah y tidak sama dengan salah satu
nomor dengan dua desimal
representasi, karena Yn - / = - 0, 9 untuk semua n E N. Selanjutnya, karena y dan Xn
berbeda dalam n yang
desimal, maka y - / = - Xn untuk setiap n E N. Oleh karena itu, y tidak termasuk
dalam pencacahan
[0, 1], bertentangan hipotesis. Q.E.D.