Kelompok 1 HIMPUNAN
Kelompok 1 HIMPUNAN
Kelompok 1
Anggota :
No Nama NIM Kelas
1 Muhammad Fahri 11220940000042 3B
2 Miranita Anisah Rohmah 11220940000055 3B
3 Abilea Hamzah Dwi Allaesh Tiningrum 11220940000061 3B
Ganjil 2023
Pada PowerPoint ini dijelaskan (Subbab 1.1 Buku [1] mulai dari De…nisi
1.1.1 sampai dengan De…nisi 1.1.5).
Himpunan.
Himpunan adalah koleksi objek berbeda yang terde…nisi dengan baik.
1 Objek pada suatu himpunan disebut juga unsur atau elemen dari
himpunan tersebut.
2 Himpunan yang tidak mempunyai unsur disebut himpunan kosong.
3 Suatu Himpunan dinotasikan dengan huruf kapital. Anggota-anggota
dari suatu himpunan ditulis dengan huruf kecil atau angka-angka dan
berada di dalam tanda kurawal.
4 Jika x suatu unsur dari A, maka dapat ditulis x 2 A. Jika x bukan
unsur dari A, maka dapat ditulis x 2
/ A.
5 Banyaknya anggota dari himpunan A disebut dengan kardinalitas dari
A, ditulis n(A) atau jAj.
No Nama NIM Kelas
1 Muhammad Fahri 11220940000042 3B
Anggota :, Dosen Pengampu : Dr. Suma’inna M.Si. (UIN JKT) Ganjil 2023 3 / 32
Himpunan dan Fungsi
De…nition (D1.1.1,[1])
Dua Himpunan A dan B dikatakan sama, dan dapat kita tulis A = B, jika
mereka memuat unsur-unsur yang sama. Dengan demikian, untuk
membuktikan himpunan A dan B adalah sama, kita harus menunjukkan
bahwa
A B dan B A
fx 2 S : P (x )g
Untuk himpunan semua elemen x di S bersifat P benar. Jika himpunan S
dipahami dari konteks, maka itu sering diabaikan dalam notasi ini.
Example (E1.1.2,[1])
(a) Himpunan
fx 2 N : x 2 3x + 2 = 0g
menyatakan himpunan semua bilangan asli yang memenuhi
x 2 3x + 2 = 0. Karena solusi dari persamaan kuadrat tersebut
adalah x = 1 dan x = 2, maka himpunan tersebut dapat pula kita
tuliskan dengan f1, 2g
(b) Suatu bilangan asli n adalah genap jika memiliki bentuk n = 2k
untuk beberapa k 2 N. Himpunan bilangan asli genap dapat ditulis
f2k : k 2 Ng
f2k 1 : k 2 Ng
No Nama NIM Kelas
1 Muhammad Fahri 11220940000042 3B
Anggota :, Dosen Pengampu : Dr. Suma’inna M.Si. (UIN JKT) Ganjil 2023 7 / 32
Himpunan dan Fungsi
A [ B := fx jx 2 A atau x 2 B g
A \ B := fx jx 2 A dan x 2 B g
AnB := fx jx 2 A dan x 2
/ Bg
Theorem (T1.1.4,[1])
Misalkan A, B, C adalah himpunan, maka :
1 An(B [ C ) = (AnB ) \ (AnC )
2 An(B \ C ) = (AnB ) [ (AnC )
Proof.
Untuk membuktikan (T1.1.4, [1]) bagian (1)
An(B [ C ) = (AnB ) \ (AnC ) kita akan menggunakan de…nisi 1.1.1, jadi
kita harus membuktikan An(B [ C ) (AnB ) \ (AnC ) dan
(AnB ) \ (AnC ) An(B [ C )
Proof 1.
Akan ditunjukkan bahwa An(B [ C ) (AnB ) \ (AnC )
a. Ambil sembarang x 2 An(B [ C ) akan dibuktikan
x 2 (AnB ) \ (AnC ).
b. Karena x 2 An(B [ C ), maka x 2 A tetapi x 2
/ B [ C.
c. Ini berarti x 2 A tetapi (x 2
/ B dan x 2
/ C)
Proof 1.
d. Oleh karena itu, x 2 A tapi x 2
/ B dan x 2 A tapi x 2
/C
e. Dengan demikian x 2 AnB dan x 2 AnC
f. Jadi x 2 (AnB ) \ (AnC )
g. Karena untuk sebarang x 2 An(B [ C ) berlaku x 2 (AnB ) \ (AnC )
h. Maka dapat disimpulkan 8x 2 An(B [ C ) berlaku
x 2 (AnB ) \ (AnC )
i. Maka dengan demikian terbukti bahwa An(B [ C ) (AnB ) \ (AnC )
Proof 2.
Akan ditunjukkan bahwa (AnB ) \ (AnC ) An(B [ C )
a. Ambil sembarang x 2 (AnB ) \ (AnC ) akan dibuktikan x 2
An(B [ C )
b. Karena x 2 (AnB ) \ (AnC ), maka x 2 AnB dan x 2 AnC
c. Ini berarti x 2 A tapi x 2
/ B dan x 2 A tapi x 2
/C
Proof 2.
d. Oleh karena itu, x 2 A tetapi (x/
2 B dan x/
2 C)
e. Dengan demikian, x 2 A tetapi x 2
/ (B [ C )
f. Jadi x 2 An(B [ C )
g. Karena untuk sebarang x 2 (AnB ) \ (AnC ) berlaku x 2 An(B [ C )
h. Maka dapat disimpulkan x 2 (AnB ) \ (AnC ) berlaku x 2 An(B [ C )
i. Maka dengan demikian terbukti bahwa (AnB ) \ (AnC ) An(B [ C )
Proof.
Karena An(B [ C ) (AnB ) \ (AnC ) dan (AnB ) \ (AnC ) An(B [ C ),
Maka terbukti bahwa An(B [ C ) = (AnB ) \ (AnC )
A B := f(a, b ) : a 2 A, b 2 B g
Example
Misalkan A = f1, 2g dan B = fa, b, c g, maka
Exercise 1.
Misalkan A := fk 2 N, k 20g, B := f3k 1, k 2 Ng, dan
C := f2k + 1 : k 2 Ng. Tentukan himpunan :
a A\B \C
b (A \ B )nC
c (A \ C )nB
Proof.
Ambil nilai k 2 N, misal k = 1, 2, 3, ...
A = f1, 2, 3, 4, 5, 6, 7, 8, 9, 10, ..., 20g
B = f2, 5, 8, 11, 14, 17, 20, ...g
C = f3, 5, 7, 9, 11, 13, 15, 17, 19, ...g
maka :
A \ B \ C = f5, 11, 17g
(A \ B )nC = f2, 8, 14, 20, ...g
(A \ C )nB = f3, 7, 9, 13, 15, 19, ...g
Exercise 2.
Gambarlah diagramnya untuk menyederhanakan dan mengidenti…kasi
himpunan tersebut.
a An(B nA)
b A(AnB )
c A \ (B nA)
Proof.
[a.]
Proof.
[b.]
Proof.
[c.]
Exercise 3.
Buktikan dari (T1.1.4(2), [1]) An(B \ C ) = (AnB ) [ (AnC )
Proof 1.
Akan ditunjukkan bahwa An(B \ C ) (AnB ) [ (AnC )
a. Ambil sembarang x 2 An(B \ C ) akan dibuktikan
x 2 (AnB ) [ (AnC ).
b. Karena x 2 An(B \ C ), maka x 2 A tapi x 2
/ (B \ C )
c. Ini berarti x 2 A tapi (x 2
/ B dan x 2
/ C)
Proof 1.
d. Oleh karena itu, x 2 A tapi x 2
/ B atau x 2 A tapi x 2
/C
e. Dengan demikian, x 2 (AnB ) atau x 2 (AnC )
f. Jadi, x 2 (AnB ) [ (AnC )
g. Karena untuk sebarang x 2 An(B \ C ) berlaku x 2 (AnB ) [ (AnC )
h. Maka dapat disimpulkan x 2 An(B \ C )berlaku x 2 (AnB ) [ (AnC )
i. Maka dengan demikian terbukti bahwa An(B \ C ) (AnB ) [ (AnC )
Proof 2.
Akan dibuktikan (AnB ) [ (AnB ) An(B \ C )
a. Ambil sembarang x 2 (AnB ) [ (AnB ) akan dibuktikan
x 2 An(B \ C )
b. Karena x 2 (AnB ) [ (AnB ), maka x 2 (AnB ) atau x 2 (AnC )
c. Ini berarti x 2 A tapi x 2
/ B atau x 2 A tapi x 2
/C
Proof 2.
d. Oleh karena itu, x 2 A tapi (x 2
/ B dan x 2
/ C)
e. Dengan demikian, x 2 A tapi x 2
/ (B \ C )
f. Jadi, x 2 An(B \ C )
g. Karena untuk sebarang x 2 (AnB ) [ (AnC ) berlaku x 2 An(B \ C )
h. Maka dapat disimpulkan x 2 (AnB ) [ (AnC ) berlaku x 2 An(B \ C )
i. Maka dengan demikian terbukti bahwa (AnB ) [ (AnB ) An(B \ C )
Proof.
Karena terbukti An(B \ C ) (AnB ) [ (AnC ) dan
(AnB ) [ (AnB ) An(B \ C ) Maka An(B \ C ) = (AnB ) [ (AnC )
R.G. Bartle and D.R. Sherbert. Introduction to Real Analysis, 4th Ed.
John Wiley & Sons. New York.