Konačnost i aksiomi prirodnih brojeva

Abstract

U ovom diplomskom radu proučavali smo skup prirodnih brojeva te pojam konačnog i prebrojivog skupa. U prvom smo poglavlju, krenuvši od aksioma, uveli osnovne pojmove vezane uz skup prirodnih brojeva kao što su zbrajanje prirodnih brojeva i uređaj na skupu prirodnih brojeva te smo dokazali neke činjenice vezane uz to. Također, iskazali smo i dokazali princip definicije indukcijom. U drugom smo poglavlju uveli pojam konačnog skupa te dokazali osnovne činjenice vezane uz to. Nadalje, proučavali smo beskonačne skupove te dokazali da je skup beskonačan ako i samo ako je ekvipotentan svom pravom podskupu. Pojam prebrojivog skupa je bio središnji pojam trećeg poglavlja. Ispitivali smo razna svojstva ovoga pojma te smo dokazali da je unija prebrojive familije prebrojivih skupova i sama prebrojiva. Navedeni pojmovi imaju važnu ulogu u teoriji skupova, što je prikazano i u ovom diplomskom radu.In this thesis we studied a set of natural numbers and the concept of a finite and a countable set. In the first chapter, starting with the axioms, we introduced basic concepts related to a set of natural numbers such as the addition of natural numbers and the order on the set of natural numbers, and we have proven the facts related to it. We also demonstrated and proved the principle of definition by induction. In the second chapter, we introduced the concept of a finite set and we proved the basic facts related to it. Furthermore, we have studied infinite sets and we proved that a set is infinite if and only if it is equipotent to its proper subset. The countable set was the central notion of the third chapter. We examined the various properties of this concept and we proved that the union of a countable family of countable sets is countable. These notions have significant role in the theory of sets, which is shown in this thesis