Matematika

Skupovi

Zadavanje skupa: nabrajanjem elemenata, definiranjem svojstva elemenata koja određuju pripadnost skupu pomoću predikata. Paradoksi teorije skupova. Doprinos Cantora i Zermela. Skupovi brojeva. Relacije među skupovima: relacija sadržavanja, jednakost skupova, pravi podskup. Partitivni skup. Operacije sa skupovima: unija, presjek, razlika, komplement, simetrična razlika. Svojstva skupovnih operacija: zakon idempotencije, komutativnost, asocijativnost, distributivnost, De Morganovi zakoni, zakon involucije, zakon identitete. Primjena tablice pripadnosti na dokazivanje. Kartezijev produkt skupova. Prikaz elemenata Kartezijevog skupa pomoću točaka u ravnini.

Binarna relacija

Definiranje binarne relacije. Primjeri relacija (diskretni i kontinuirani slučajevi). Prikazivanje relacije grafički pomoću čvorova i lukova. Matrica incidencije. Određivanje relacije obrata, relacije komplementa i dualne relacije za zadanu relaciju. Svojstva binarnih relacija: refleksivnost, simetričnost, tranzitivnost, irefleksivnost, antisimetričnost, kompletnost, stroga kompletnost... Posebne uređajne relacije. Svojstva relacije ekvivalencije. Primjeri relacije ekvivalencije: modularna ekvivalencija, jednakost na skupu, paralelnost na skupu pravaca ravnive, sukladnost trokuta na skupu svih trokuta. Dokazivanje da li je relacija relacija ekvivalencije. Upotreba relacije ekvivalencije. Povezivanje pojmova klasa ekvivalencije i kvocijentni skup s relacijom ekvivalencije.

Relacija parcijalnog uređaja. Funkcije kao relacije.

Svojstva relacije parcijalnog uređaja. Dokazivanje da li je relacija relacija parcijalnog uređaja. Najveći i najmanji element u parcijalno uređenom skupu. Teorem o jedinstvenosti najvećeg elementa. Linearno uređen skup ili lanac. Relacija dobrog uređaja. Grafička interpretacija svojstava binarnih relacija. Interpretacija svojstava u matrici incidencije. Uvođenje pojma funkcija preko relacije. Konstantna funkcija. Injekcija. Surjekcija. Bijekcija. Inverzna funkcija. Važnost bijekcije kod inverzne funkcije i jednakobrojnosti skupova. Grafički prikaz funkcija. Permutacija.