1.4.

Himpunan Finit dan Infinit

Suatu himpunan yang berhingga atau himpunan yang tak terhingga. Secara intuitif ,suatu
himpunan dikatakan behingga jika himpunan itu beranggotakan elemen-elemen berbeda yang
banyaknya tertentu ( jika kita membilang banyak anggota yang berbeda dalam himpunan itu,
proses membilang yang kita lakukan akan berakhir). Himpunan yang tidak memenuhi syarat ini
disebut himpunan infinit(proses yang kita lakukan untuk membilang banyak anggota himpunan
tersebut tidak akan pernah berakhir). Untuk lebih jelasnya . perhatikan definisi-definisi dan
teorema-teorema yang disajikan berikut ini.

1.4.1. definisi

Himpunan kosong adalah himpunan yang mempunyai 0 elemen

jika n ∈ 𝑁 , himpunan S dikatakan memiliki elemen jika ada bijektif dari himpunan 𝑁𝑛 =
{1,2,3, … 𝑛} pada S

Himpunan S adalah finit jika 𝑆 = ∅, 𝑎𝑡𝑎𝑢 𝑆 mempunyai n elemen , n ∈ 𝑁.

Himpunan S ada lah infinit jika S tidak finit

karena inver fungsi bijektif adalah bijektif (latihan 1.1.14.9(b) maka mudah untuk melihat bahwa
himpunan S memiliki n elemen jika dan hanya jika terdapat suatu bijektif ari himpunan S kepada
himpunan (1,2,3….n) s

1.4.2 Teorema jika S merupakan himpunan finit , maka banyak elemen S adalah tunggal pada N

1.4.3. himpunan bilangan asli N adalah Finit

Bukti :

Andaikan N finit , maka ∃ 𝑛 ∈ 𝑁 sehingga 𝑁𝑛 ,onto N . Tetapi 𝑛 + 1 ∈ 𝑁 dan 𝑛 + 1 > 𝑛, yang

mengakibatkan 𝑁𝑛 tidak bijektif pada N . Jadi pengandaian salah , seharusnya N infinit

1.4.4. Teorema

a. Jika A adalah himpunan dengan m elemen , B adalah himpunan dengan n elemen dan 𝐴 ∩ 𝐵 =
∅ , maka 𝐴 ∪ 𝐵 mempunyai m + n = elemen ,
b. jika A adalah himpunan dengan 𝑚 ∈ 𝑁 elemen dan C  A adalah himpunan dengan sebuah

elemen , maka A B adalah himpunan dengan m-1 elemen .

c.jika C adalah himpunan infinit dan B adalah himpunan finit , maka C B adalah himpunan

infinit.

1.4.5. Teorema

misalkan S dan T adalah himpunan dan T  S

a. Jika S finit , maka T finit

b. Jika T infinit , maka S Infinit

Bukti : jika T

n   : 1  n  10dan  

B  1,2,5,7, B  2,3,4,5,6,7,8,9,10,
1 2

 I
Dan 
2
adalah finit

  4n : n  N

Dan   M \

  n : n  , M
1 2
 2n : n  ,

M 2

De

f n  2n, n  N