Professional Documents
Culture Documents
Matematika Usmeni Definicije
Matematika Usmeni Definicije
Matematika Usmeni Definicije
pri čemu je i brojač kojeg možemo označiti bilo kojim drugim slovom (u ovom slučaju brojač ne bi bilo
dobro označiti slovom n jer je ono već rezervirano u početnom izrazu).
VRSTE DOKAZA:
-Direktan dokaz (niz ekvivalentnih tvrdnji)
- Indirektni dokaz(dokaz kontrapozicijom i „reductio ad absurdum“
-Protuprimjerom
-Matematička indukcija
Teoremi u matematici imaju oblik implikacije A ⇒ B. Izraz A ⇒ B ˇčita se ”A povlaci B”, ”A implicira B”,
”iz A slijedi B”, ”ako je A, tada je B”, ”B je nužan uvjet za A”, ”B proizlazi iz A”, ”B je logiˇcka posljedica
od A”. (pretpostavka premisa hipoteza antecedenta ) A ⇒ B (posljedica konkluzija teza konzekventa )
A ⇒ B teorem
B → A obrat teorema
A → B suprotan teorem
B ⇒ A obrat suprotnog teorema (kontrapozicija)
PROPOZICIJSKA LOGIKA-osnovna logika
Kvantifikacijkska logika- nadopunjuje propozicijsku logiku s predikatima i tzv.
kategoričkim tvrdnjama koje zapisujemo pomoću kvantifikatora.
Sud ili propozicija je deklarativna izjava koja ima svojstvo istinitosti – ima posve određenu, jednu i
samo jednu vrijednost istinitosti: sud istinit ili lažan (neistinit).
Propozicijske formule A i B su logički ekvivalentne ako za svaku valuaciju v vrijedi v(A) = v(B).
Pišemo A ≡ B.
Involucija ¬ ¬(¬A) ≡ A
Idempotentnost ∧, ∨
A∧A ≡ A A∨A ≡ A
Komutativnost ∧, ∨
Asocijativnost ∧, ∨
De Morganovi zakoni
Distributivnost ∧ i ∨
A∧(B∨C) ≡ (A∧B)∨(A∧C)
A∨(B∧C) ≡ (A∨B)∧(A∨C)
Kvantifikacijska logika
izrazavanje kategoricke tvrdnje
dodajemo predikate i kvantifikatore
..... je grčki filozof (nazivamo predikat ili otvorena rečenica-izostavljanje
subjekta)(pisati cemo s x je grčki filozof) (predikatski simboli P(x), P(x,y)...
X je parametar odnosno slobodna varijabla
G. Peano Kvantifikatori ∃ i ∀ i jedinstvena egz. ∃!
Odredivanje granica varijabli u predikatu :Kvantifikatori i univerzum
razmatranja(moguci subjekti)
SKUPOVI
m
N(prirodni), Z(cijeli), Q( n m∈ Z , n ∈ N ), R(realnih brojeva Q ∪ I) C = {x + yi |
x, y ∈ R, i2 = −1}
KARDINALNI BROJ
Skupa A je broj elemenata koje skup A sadrzi (k(A), card A, |A|)
PARTITIVNI SKUP
Partitivni skup skupa A je skup svih podskupova od A.
Partitivni skup skupa A označavamo sa P(A).
P(A) = {X : X ⊆ A}
OPERACIJE SA SKUPOVIMA:
UNIJA:
SKUP koji sadrži A ∪ B = {x : x ∈ A ∨ x ∈ B}
Presjek:
SKUP koji sadrži A ∩ B = {x : x ∈ A ∧ x ∈ B} / disjunktivni ako
nemaju zaj. Elemnta A ∩ B = ∅.
Razlika:
SKUP koji sadrži A \ B = {x : x ∈ A ∧ x /∈ B}
Komplement skupa:
SKUP koji sadrži A c = U \ A = {x : x ∈ U ∧ x /∈ A}
Zakon involucije (A c ) c = A
Zakon identitete
A ∪ ∅ = A, A ∩ ∅ = ∅
A ∪ U = U, A ∩ U = A
Simetrična razlika dvaju skupova A i B je skup A Δ B koji sadrži elemente koji pripadaju uniji skupova A
i B, a istovremeno nisu sadržani u presjeku skupova A i B.
A Δ B (A ∪ B) \ (A ∩ B)
A Δ B B = (A \ B) ∪ (B \ A)
KARTEZIJEV PRODUKT SKUPA:
Kartezijev produkt skupova A i B je skup A × B koji se sastoji od svih uredenih
parova čija prva komponenta pripada skupu A, a druga skupu B. A × B = (x, y) : x
∈ A, y ∈ B
Kartezijev produkt A × A zapisujemo kratko A2 i zovemo ga Kartezijevim
kvadratom skupa A.
A2 = A × A Kartezijev produkt skupova može se proširiti i na konačno mnogo
skupova. Neka su A1, A2, . . . , An neprazni skupovi. Kartezijev produkt skupova
A1, A2, . . . , An je skup:
A1 × A2 × · · · × An = {(a1, a2 . . . , an) : ai ∈ Ai , i = 1, . . . , n}
(a1, a2, . . . , an) zovemo uredenom n-torkom i kod nje je važan poredak
elemenata. Element ai zove se i-ta komponenta n-torke.
BINARNE RELACIJE
Svaki podskup ρ od A × B zovemo relacija iz A u B. Ako je (a, b) ∈ ρ, tada kratko
pišemo a ρ b i kažemo da je a u relaciji ρ sa b. Ako je (a, b) ∈/ ρ, tada pišemo a ρ-
b i kažemo da a nije u relaciji ρ sa b
OBRAT
(a, b) ∈ ρ- ⇔ (b, a) ∈ ρ
KOMPLEMENT
(a, b) ∈ ρC⇔ (a, b) ∈/ ρ
DUALNA RELACIJA
(a, b) ∈ ρd ⇔ (b, a) ∈/ ρ
SVOJSTVA BINARNIH RELACIJA
Refleksivna: (∀x ∈ A) ((x, x) ∈ ρ )
Simetricna (∀x, y ∈ A) { (x, y) ∈ ρ ⇒ (y, x) ∈ ρ }
Tranzitivna (∀x, y, z ∈ A) {(x, y) ∈ ρ ∧ (y, z) ∈ ρ ⇒ (x, z) ∈ ρ}
Antisimetricna (∀x, y ∈ A) {(x, y) ∈ ρ ∧ (y, x) ∈ ρ ⇒ x = y }
Ili (∀x, y ∈ A) (x, y) ∈ ρ ∧ x 6= y ⇒ (y, x) ∈ ρc
Irefleksivna (∀x ∈ A) (x, x) ∈/ ρ
Asimetricna (∀x, y ∈ A) { (x, y) ∈ ρ ⇒ (y, x) ∈ ρc }
Kompletna (∀x, y ∈ A, x 6= y) {(x, y) ∈ ρ ∨ (y, x) ∈ ρ}
Strogo kompletna (∀x, y ∈ A) { (x, y) ∈ ρ ∨ (y, x) ∈ ρ}
KONGURENCIJA: a ≡ b (mod k) ⇐⇒ ∃n ∈ Z, a − b = nk
PARCIJALNI UREDAJ:
refleksivna, tj. (∀x ∈ A) x ρ x
antisimetrična, tj. (∀x, y ∈ A) {x ρ y ∧ y ρ x ⇒ x = y}
SARRUSOVO PRAVILO:
Nadopisemo prva dva stupca desno od determinante i zatim formiramo
produkte u smjeru glavne dijagonale i zatim oduzmemo produkte
elemenata u smjeru sporedne dijagonale (samo za det 3 reda)
SVOJSTVA DETERMINANTI:
Det A=Det A (transponirano)
Ako su svi elementi stupca/retka nula, determinanta je 0
Ako su dva stupca ili retka jednaki onda je det 0
Det jedinične matrice je 1
Det gornje ili donjetrokutaste je jednaka produktu elemenata na glavnoj
dijagonali
Zamjenom dva stupca det mijenja predznak(vrijedi i za retke)
-za Gaussov postupak ako se pojavi neki redak koji se sastoji od samih nula s
lijeve strane, a na desnoj strani je neki broj različit od nule, tada je sustav
kontradiktoran.
KRONECKER-CAPELLIJEV TEOREM:
Uvjeti koje trebaju zadovoljiti matrice A i B da bi sustav imao rjesenje, tj. da bi
bio konzistentan.
-Sustav linearnih jednadžbi ima rješenje akko rang matrice sustava jednak
rangu proširene matrice sustava, tj. r(A) = r(Ap).
Proširena matrica sustava AX = B je matrica Ap koja dobijemo kada matrici A s desne strane dodamo
jednostupcanu matricu B, tj. Ap = [A |B].
KOROLAR:
Roucheov teorem:
Homogeni sustav AX = O u kojemu je broj jednadžbi jednak broju nepoznanica
ima i netrivijalnih rješenja akko det A = 0.
Homogeni sustav-linearni sustav kod kojeg su svi slobodni koef. Jednaki nula
Trivijalno rjesenje- barem jedno rjesenje homogenog sustava (0,0,0....0)
NEJEDNADZBE:
Linearna nejednadžba s n varijabli je izraz oblika a1x1 + a2x2 + · · · + AnXn < ∗ b
pri čemu umjesto znaka < može stajati , <jednako ili jednako>
Nadalje, a1, a2, . . . , An ∈ R su koeficijenti varijabli, b ∈ R je slobodni koeficijent.
Rješenje nejednadžba je svaka uredena n-torka realnih brojeva koja je
zadovoljava.
Rješenju svake od nejednadžbi pripada jedna poluravnina. U presjeku tih
poluravnina nalaze se točke koje zadovoljavaju sve tri nejednadžbe. Taj se skup
zove poliedar rješenja!