Aksioma zamene. Aksioma dobre zasnovanosti. Aksioma dobre zasnovanosti Svaki neprazan skup A sadrži skup a takav da je A a = 0.
|
|
- Ἀριστομάχη Παπαϊωάννου
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Aksioma zamene Aksioma zamene opisuje sledeće: ako je P (x, y) neko svojstvo parova skupova (x, y) takvo da za svaki skup x postoji tačno jedan skup y takav da par (x, y) ima svojstvo P, tada za svaki skup A postoji skup B čiji su jedini elementi oni skupovi y za koje postoji skup x A takav da par (x, y) ima svojstvo P. Taj skup označavamo sa {y postoji x A za koji važi P (x, y)}. Neformalno, aksioma zamene dozvoljava da u svakom skupu A svaki njegov element x zamenimo skupom y koji je dobijen od skupa x odredjenom procedurom (P ). Nešto detaljnija diskusija, kao i preciznija formulacija, može se naći u [MP], str. 19. Aksioma dobre zasnovanosti Aksioma dobre zasnovanosti Svaki neprazan skup A sadrži skup a takav da je A a = 0. Stav 1.22 [MP] Važi sledeće: (a) Ne postoji skup x takav da x x. (b) Ne postoje skupovi x i y takvi da važi x y x. (v) Ne postoje skupovi x i y takvi da važi (x, y) x. Stav 1.23 [MP] Ako su skupovi x i y takvi da je x {x} = y {y}, tada je x = y. Aksioma beskonačnosti Sledbenik skupa x je skup x {x} koji označavamo sa x. Podsetimo da smo definisali: O = 1, 1 = 2, 2 = 3,... Proveriti da važi: 2 = {0, 1}, 3 = {0, 1, 2}, 4 = {0, 1, 2, 3}... 1
2 Za skup A kažemo da je induktivan ako zadovoljava sledeća dva uslova: (1) 0 A; (2) Ako x A, onda i x A. Aksioma beskonačnosti. Postoji induktivan skup. Lema Presek induktivnih skupova je induktivam skup. Prethodna lema nam omogućuje da dokažemo da postoji najmanji (u smislu inkluzije) induktivan skup, a to je onaj koji je sadržan u svakom drugom induktivnom skupu. Teorema 2.1 [MP] Postoji tačno jedan induktivan skup ω za koji važi: Ako je C ω induktivan skup, tada je C = ω. Skup ω iz prethodnog tvrdjenja je skup prirodnih brojeva. Iz dokaza prethodne teoreme sledi: za svaki induktivan skup I važi ω I. Prema tome skup ω je najmanji (u smislu inkluzije) induktivan skup. Prirodan broj je skup koji pripada skupu ω. Primetimo da je nula prirodan broj: 0 ω. koristimo za skup pozitivnih prirodnih brojeva. Uobičajenu oznaku N U sledećem tvrdjenju je motivisana formalna definicija (uobičajenog) uredjenja skupa prirodnih brojeva. Stav [MP] Neka su m, n prirodni brojevi. (1) m n ako i samo ako m n. (2) Važi tačno jedno od: m n, m = n i n m. Posledica prethodnog stava je da je uuobičajeno linearno uredjenje skupa prirodnih brojeva definisano sa m < n ako i samo ako m n. 2
3 Indukcija Sabiranje prirodnih brojeva je definisano tako da je m = m + 1; formalne definicije binarnih operacija sabiranja i množenja mogu se naći u [MP] str Matematička indukcija je metod dokazivanja tvrdjenja u kojima figuriše i prirodan broj n. Zasnovan je na minimalnosti skupa ω u klasi induktivnih skupova, koja je posebno naglašena u sledećem tvrdjenju. Teorema 2.2 [MP] Ako skup C ω zadovoljava uslove: (1) 0 ω; i (2) Za svaki n ω: ako n C, tada i n C, tada je C = ω. Neka je P n neko tvrdjenje u kome figuriše prirodan broj n. Ako važe sledeće dve stavke: Tvrdjenje P 0 je tačno; i Za svaki n ω iz tačnosti tvrdjenja P n sledi tačnost P n+1 tada je tvrdjenje P n tačno za svaki prirodan broj n. Primer 1. Broj n 3 + 5n je deljiv sa 6 za svaki prirodan broj n. Zadaci 1. Dokazati da ako skup A ima n elemenata, tada P(A) ima 2 n elemenata. 2. Γ-domina se dobija iz kvadratne 2 2 tablice izbacivanjem jednog (1 1) polja. Dokazati da ako iz kvadratne tablice dimenzija 2 n 2 n izbacimo jedno polje, tada je preostali deo moguće prekriti Γ-dominama. 3. U ravni je nacrtano nekoliko krugova i pravih, koji dele ravan na oblasti. Dokazati da je svaku od oblasti moguće obojiti jednom od dve boje (crvenom i belom) tako da su svake dve oblasti koje imaju zajednički deo granice (bar dve tačke) imaju različitu boju. 3
4 4. U ravni je dato 2n tačaka takvih da nikoje tri nisu kolinearne. Dokazati da ih možemo podeliti u n parova, takvih da su duži odredjene tim parovima medjusobno disjunktne. Varijante indukcije Neka je P n neko tvrdjenje o prirodnom broju n i n 0 ω. Pretpostavimo da važe sledeće dve stavke: Tvrdjenje P n0 je tačno; i Iz tačnosti tvrdjenja P n sledi tačnost P n+1 za svaki n n 0. Tada je tvrdjenje P n tačno za svaki prirodan broj n n 0. Primer Ako je ρ A tranzitivna relacija na skupu A, n 2 i (a 1,..., a n ) put u digrafu (A < ρ), tada (a 1, a n ) ρ. Potpuna indukcija. Neka je P n neko tvrdjenje o prirodnom broju n. Ako važe sledeće dve stavke: Tvrdjenje P 0 je tačno; i Za svaki prirodan broj n, iz tačnosti tvrdjenja P 0,..., P n sledi tačnost tvrdjenja P n+1, tada je tvrdjenje P n tačno za svaki prirodan broj n. Primer 1. Svaki prirodan broj n 2 je deljiv nekim prostim brojem. 2. (Euklid) Postoji beskonačno mnogo prostih brojeva. Princip dobrog uredjenja prirodnih brojeva Linearno uredjenje (ω, <) zadovoljava sledeći uslov: Svaki neprazan skup C ω sadrži najmanji element. 4
5 (Ovde najmanji znači najmanji u C; formalno, takav element je najmanji u indukovanom uredjenju (C, < C ), gde je < C =< (C C). Linearno uredjenje (A, <) je dobro ako svaki njegov neprazan podskup ima najmanji element. Primer. 1. Uredjenje (ω + 1, ) je dobro (ovde je ω + 1 = ω = ω {ω}). Intuitivno, ovo uredjenje se dobija iz uredjenja prirodnih brojeva dodavanjem jednog beskonačno velikog elementa. 2. Uredjenje celih brojeva nije dobro, kao ni uredjenja tacionalnih i realnih brojeva. Dobra uredjenost skupa prirodnih brojeva se može koristiti u dokazima umesto (potpune) indukcije... Primer: Euklid... Zadaci 1. Pretpostavimmo da je a realan broj takav da je a + 1 a Dokazati da je a n + 1 a n prirodan broj za svaki n N. prirodan broj. 2. Dokazati da kvadrat možemo rastaviti pravolinijskim rezovima na n 5 kvadrata. 3. Dokazati da se svaki prirodan broj n 2 može napisati kao proizvod prostih brojeva. 4. Dokazati da svaki skup A {1, 2,..., 2n} koji ima n + 1 element sadrži dva različita elementa od kojih je jedan deljiv drugim. 5. Poznato je da se svaki prirodan broj n izmedju 33 i 73 može predstaviti kao zbir (ne obavezno različitih) prirodnih brojeva čiji je zbir recipročnih vrednosti jednak 1. Dokazati da je svaki prirodan broj moguće predstaviti kao takav zbir. 5
6 O rekurziji Rekurzija je metod za definisanje skupova; obično su to funkcije i nizovi. Primer je definicija Fibonačijevog niza. Stav Postoji jedinstvena funkcija F : ω Z koja zadovoljava uslove: F (0) = F (1) = 1; Za svaki n ω važi: F (n + 2) = F (n) + F (n + 1). Dokaz egzistencije funkcije koja zadovoljava uslove prethodnog stava nije jednostavan; dokaz jedinstvenosti je lak: indukcijom se pokaže da za svake dve funkcije F, G koje zadovoljavaju gornje uslove važi: F (n) = G(n) za svako n ω. Rekurzijom se član niza definiše preko prethodno definisanih članova. Tvrdjenja o rekurzivno definisanim skupovima se obično dokazuju indukcijom! Funkcije čiji je domen rekurzivno definisan skup se obično definišu rekurzivno. Zadaci 1. Ako je a 0 = 1, a 1 = 2 i za svaki n ω važi a n+2 = 2 a n +a n+1, dokazati da je a n = 2 n za svaki n ω. 2. U ravni se nalazi n pravih u opštem položaju (svake dve se seku, nikoje tri nemaju zajedničku tačku). Na koliko oblasti je ravan podeljena? 3. U ravni se nalazi n krugova tako da svaka dva imaju tačno dve zajedničke tačke i da nikoja tri nemaju zajedničku tačku. Na koliko oblasti je ravan podeljena? 4. Skakavac se nalazi u tački A i skace duž prave p kojoj A pripada. U svakom momentu on može da skoči ili 1 ili 2 metra udesno. Na koliko različitih načina on može da dodje u tačku B na pravi p koja se nalazi 10 metara udesno od A. 6
7 5. Gost dolazi u hotel. On nema novca ali oko vrata nosi dugačak zlatan lanac sastavljen od alki. Vlasnik hotela pristaje da gost svakog jutra plati boravak za taj dan jednom alkom. Koliko najduže dana gost može ostati u hotelu a da pri tom ne preseče više od 10 alki? 7
Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju
RAČUN OSTATAKA 1 1 Prsten celih brojeva Z := N + {} N + = {, 3, 2, 1,, 1, 2, 3,...} Osnovni primer. (Z, +,,,, 1) je komutativan prsten sa jedinicom: sabiranje (S1) asocijativnost x + (y + z) = (x + y)
Διαβάστε περισσότεραTeorijske osnove informatike 1
Teorijske osnove informatike 1 9. oktobar 2014. () Teorijske osnove informatike 1 9. oktobar 2014. 1 / 17 Funkcije Veze me du skupovima uspostavljamo skupovima koje nazivamo funkcijama. Neformalno, funkcija
Διαβάστε περισσότερα3.1 Granična vrednost funkcije u tački
3 Granična vrednost i neprekidnost funkcija 2 3 Granična vrednost i neprekidnost funkcija 3. Granična vrednost funkcije u tački Neka je funkcija f(x) definisana u tačkama x za koje je 0 < x x 0 < r, ili
Διαβάστε περισσότεραIskazna logika 3. Matematička logika u računarstvu. novembar 2012
Iskazna logika 3 Matematička logika u računarstvu Department of Mathematics and Informatics, Faculty of Science,, Serbia novembar 2012 Deduktivni sistemi 1 Definicija Deduktivni sistem (ili formalna teorija)
Διαβάστε περισσότεραDISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović
DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović Novi Sad April 17, 2018 1 / 22 Teorija grafova April 17, 2018 2 / 22 Definicija Graf je ure dena trojka G = (V, G, ψ), gde je (i) V konačan skup čvorova,
Διαβάστε περισσότεραZadaci iz Osnova matematike
Zadaci iz Osnova matematike 1. Riješiti po istinitosnoj vrijednosti iskaza p, q, r jednačinu τ(p ( q r)) =.. Odrediti sve neekvivalentne iskazne formule F = F (p, q) za koje je iskazna formula p q p F
Διαβάστε περισσότεραSISTEMI NELINEARNIH JEDNAČINA
SISTEMI NELINEARNIH JEDNAČINA April, 2013 Razni zapisi sistema Skalarni oblik: Vektorski oblik: F = f 1 f n f 1 (x 1,, x n ) = 0 f n (x 1,, x n ) = 0, x = (1) F(x) = 0, (2) x 1 0, 0 = x n 0 Definicije
Διαβάστε περισσότεραa M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A.
3 Infimum i supremum Definicija. Neka je A R. Kažemo da je M R supremum skupa A ako je (i) M gornja meda skupa A, tj. a M a A. (ii) M najmanja gornja meda skupa A, tj. ( ε > 0)( a A) takav da je a > M
Διαβάστε περισσότεραPID: Domen P je glavnoidealski [PID] akko svaki ideal u P je glavni (generisan jednim elementom; oblika ap := {ab b P }, za neko a P ).
0.1 Faktorizacija: ID, ED, PID, ND, FD, UFD Definicija. Najava pojmova: [ID], [ED], [PID], [ND], [FD] i [UFD]. ID: Komutativan prsten P, sa jedinicom 1 0, je integralni domen [ID] oblast celih), ili samo
Διαβάστε περισσότεραBinarne relacije. Definicija. Uopštena binarna relacija je uredjena trojka (A, B, ρ) gde je ρ A B; (A, B) je tip ove binarne relacije.
Binarne relacije Definicija. Uopštena binarna relacija je uredjena trojka (A, B, ρ) gde je ρ A B; (A, B) je tip ove binarne relacije. Kaže se i da je ρ binarna relacija sa skupa A u skup B (kao u [MP]).
Διαβάστε περισσότεραZadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu
Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu Trigonometrijske jednačine i nejednačine. Zadaci koji se rade bez upotrebe trigonometrijskih formula. 00. FF cos x sin x
Διαβάστε περισσότεραM086 LA 1 M106 GRP. Tema: Baza vektorskog prostora. Koordinatni sustav. Norma. CSB nejednakost
M086 LA 1 M106 GRP Tema: CSB nejednakost. 19. 10. 2017. predavač: Rudolf Scitovski, Darija Marković asistent: Darija Brajković, Katarina Vincetić P 1 www.fizika.unios.hr/grpua/ 1 Baza vektorskog prostora.
Διαβάστε περισσότεραFunkcije. Predstavljanje funkcija
Funkcije narna relacija f je funkcionalna relacija ako važi: ( ) za svaki a postoji jedinstven element b takav da (a, b) f. Definicija. Funkcija 1 je uredjena trojka (,, f) gde f zadovoljava uslov: Činjenicu
Διαβάστε περισσότεραOperacije s matricama
Linearna algebra I Operacije s matricama Korolar 3.1.5. Množenje matrica u vektorskom prostoru M n (F) ima sljedeća svojstva: (1) A(B + C) = AB + AC, A, B, C M n (F); (2) (A + B)C = AC + BC, A, B, C M
Διαβάστε περισσότερα1 Svojstvo kompaktnosti
1 Svojstvo kompaktnosti 1 Svojstvo kompaktnosti U ovoj lekciji će se koristiti neka svojstva realnih brojeva sa kojima se čitalac već upoznao tokom kursa iz uvoda u analizu. Na primer, važi Kantorov princip:
Διαβάστε περισσότεραELEKTROTEHNIČKI ODJEL
MATEMATIKA. Neka je S skup svih živućih državljana Republike Hrvatske..04., a f preslikavanje koje svakom elementu skupa S pridružuje njegov horoskopski znak (bez podznaka). a) Pokažite da je f funkcija,
Διαβάστε περισσότερα(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k.
1 3 Skupovi brojeva 3.1 Skup prirodnih brojeva - N N = {1, 2, 3,...} Aksiom matematičke indukcije Neka je N skup prirodnih brojeva i M podskup od N. Ako za M vrijede svojstva: 1) 1 M 2) n M (n + 1) M,
Διαβάστε περισσότεραKontrolni zadatak (Tačka, prava, ravan, diedar, poliedar, ortogonalna projekcija), grupa A
Kontrolni zadatak (Tačka, prava, ravan, diedar, poliedar, ortogonalna projekcija), grupa A Ime i prezime: 1. Prikazane su tačke A, B i C i prave a,b i c. Upiši simbole Î, Ï, Ì ili Ë tako da dobijeni iskazi
Διαβάστε περισσότερα1 Aksiomatska definicija skupa realnih brojeva
1 Aksiomatska definicija skupa realnih brojeva Definicija 1 Polje realnih brojeva je skup R = {x, y, z...} u kojemu su definirane dvije binarne operacije zbrajanje (oznaka +) i množenje (oznaka ) i jedna binarna
Διαβάστε περισσότερα1. zadatak , 3 Dakle, sva kompleksna re{ewa date jedna~ine su x 1 = x 2 = 1 (dvostruko re{ewe), x 3 = 1 + i
PRIPREMA ZA II PISMENI IZ ANALIZE SA ALGEBROM. zadatak Re{avawe algebarskih jedna~ina tre}eg i ~etvrtog stepena. U skupu kompleksnih brojeva re{iti jedna~inu: a x 6x + 9 = 0; b x + 9x 2 + 8x + 28 = 0;
Διαβάστε περισσότεραSume kvadrata. mn = (ax + by) 2 + (ay bx) 2.
Sume kvadrata Koji se prirodni brojevi mogu prikazati kao zbroj kvadrata dva cijela broja? Propozicija 1. Ako su brojevi m i n sume dva kvadrata, onda je i njihov produkt m n takoder suma dva kvadrata.
Διαβάστε περισσότεραKlasifikacija blizu Kelerovih mnogostrukosti. konstantne holomorfne sekcione krivine. Kelerove. mnogostrukosti. blizu Kelerove.
Klasifikacija blizu Teorema Neka je M Kelerova mnogostrukost. Operator krivine R ima sledeća svojstva: R(X, Y, Z, W ) = R(Y, X, Z, W ) = R(X, Y, W, Z) R(X, Y, Z, W ) + R(Y, Z, X, W ) + R(Z, X, Y, W ) =
Διαβάστε περισσότεραGeometrija (I smer) deo 1: Vektori
Geometrija (I smer) deo 1: Vektori Srdjan Vukmirović Matematički fakultet, Beograd septembar 2013. Vektori i linearne operacije sa vektorima Definicija Vektor je klasa ekvivalencije usmerenih duži. Kažemo
Διαβάστε περισσότεραKOMUTATIVNI I ASOCIJATIVNI GRUPOIDI. NEUTRALNI ELEMENT GRUPOIDA.
KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI NEUTRALNI ELEMENT GRUPOIDA 1 Grupoid (G, ) je asocijativa akko važi ( x, y, z G) x (y z) = (x y) z Grupoid (G, ) je komutativa akko važi ( x, y G) x y = y x Asocijativa
Διαβάστε περισσότεραPRAVA. Prava je u prostoru određena jednom svojom tačkom i vektorom paralelnim sa tom pravom ( vektor paralelnosti).
PRAVA Prava je kao i ravan osnovni geometrijski ojam i ne definiše se. Prava je u rostoru određena jednom svojom tačkom i vektorom aralelnim sa tom ravom ( vektor aralelnosti). M ( x, y, z ) 3 Posmatrajmo
Διαβάστε περισσότεραSkupovi, relacije, funkcije
Chapter 1 Skupovi, relacije, funkcije 1.1 Skup, torka, multiskup 1.1.1 Skup Pojam skupa ne definišemo eksplicitno. Intuitivno skup prihvatamo kao konačnu ili beskonačnu kolekciju objekata (ili elemenata)u
Διαβάστε περισσότεραAPROKSIMACIJA FUNKCIJA
APROKSIMACIJA FUNKCIJA Osnovni koncepti Gradimir V. Milovanović MF, Beograd, 14. mart 2011. APROKSIMACIJA FUNKCIJA p.1/46 Osnovni problem u TA Kako za datu funkciju f iz velikog prostora X naći jednostavnu
Διαβάστε περισσότερα18. listopada listopada / 13
18. listopada 2016. 18. listopada 2016. 1 / 13 Neprekidne funkcije Važnu klasu funkcija tvore neprekidne funkcije. To su funkcije f kod kojih mala promjena u nezavisnoj varijabli x uzrokuje malu promjenu
Διαβάστε περισσότεραUniverzitet u Nišu, Prirodno-matematički fakultet Prijemni ispit za upis OAS Matematika
Univerzitet u Nišu, Prirodno-matematički fakultet Prijemni ispit za upis OAS Matematika Rešenja. Matematičkom indukcijom dokazati da za svaki prirodan broj n važi jednakost: + 5 + + (n )(n + ) = n n +.
Διαβάστε περισσότερα5. Karakteristične funkcije
5. Karakteristične funkcije Profesor Milan Merkle emerkle@etf.rs milanmerkle.etf.rs Verovatnoća i Statistika-proleće 2018 Milan Merkle Karakteristične funkcije ETF Beograd 1 / 10 Definicija Karakteristična
Διαβάστε περισσότεραIspitivanje toka i skiciranje grafika funkcija
Ispitivanje toka i skiciranje grafika funkcija Za skiciranje grafika funkcije potrebno je ispitati svako od sledećih svojstava: Oblast definisanosti: D f = { R f R}. Parnost, neparnost, periodičnost. 3
Διαβάστε περισσότεραGlava 1. Realne funkcije realne promen ive. 1.1 Elementarne funkcije
Glava 1 Realne funkcije realne promen ive 1.1 Elementarne funkcije Neka su dati skupovi X i Y. Ukoliko svakom elementu skupa X po nekom pravilu pridruimo neki, potpuno odreeni, element skupa Y kaemo da
Διαβάστε περισσότεραUNIVERZITET U NIŠU ELEKTRONSKI FAKULTET SIGNALI I SISTEMI. Zbirka zadataka
UNIVERZITET U NIŠU ELEKTRONSKI FAKULTET Goran Stančić SIGNALI I SISTEMI Zbirka zadataka NIŠ, 014. Sadržaj 1 Konvolucija Literatura 11 Indeks pojmova 11 3 4 Sadržaj 1 Konvolucija Zadatak 1. Odrediti konvoluciju
Διαβάστε περισσότερα1 Uvodni pojmovi kombinatorike, I deo
1 Uvodni pojmovi kombinatorike, I deo 1 Uvodni pojmovi kombinatorike, I deo U predavanju se osvrćemo na osnovne principe kombinatorike i njihovu primenu na rešavanje elementarnih kombinatornih problema.
Διαβάστε περισσότεραOsnovne teoreme diferencijalnog računa
Osnovne teoreme diferencijalnog računa Teorema Rolova) Neka je funkcija f definisana na [a, b], pri čemu važi f je neprekidna na [a, b], f je diferencijabilna na a, b) i fa) fb). Tada postoji ξ a, b) tako
Διαβάστε περισσότεραNeka su A i B proizvoljni neprazni skupovi. Korespondencija iz skupa A u skup B definiše se kao proizvoljan podskup f Dekartovog proizvoda A B.
Korespondencije Neka su A i B proizvoljni neprazni skupovi. Korespondencija iz skupa A u skup B definiše se kao proizvoljan podskup f Dekartovog proizvoda A B. Pojmovi B pr 2 f A B f prva projekcija od
Διαβάστε περισσότεραElementi spektralne teorije matrica
Elementi spektralne teorije matrica Neka je X konačno dimenzionalan vektorski prostor nad poljem K i neka je A : X X linearni operator. Definicija. Skalar λ K i nenula vektor u X se nazivaju sopstvena
Διαβάστε περισσότεραDvanaesti praktikum iz Analize 1
Dvaaesti praktikum iz Aalize Zlatko Lazovi 20. decembar 206.. Dokazati da fukcija f = 5 l tg + 5 ima bar jedu realu ulu. Ree e. Oblast defiisaosti fukcije je D f = k Z da postoji ula fukcije a 0, π 2.
Διαβάστε περισσότερα2 tg x ctg x 1 = =, cos 2x Zbog četvrtog kvadranta rješenje je: 2 ctg x
Zadatak (Darjan, medicinska škola) Izračunaj vrijednosti trigonometrijskih funkcija broja ako je 6 sin =,,. 6 Rješenje Ponovimo trigonometrijske funkcije dvostrukog kuta! Za argument vrijede sljedeće formule:
Διαβάστε περισσότερα7 Algebarske jednadžbe
7 Algebarske jednadžbe 7.1 Nultočke polinoma Skup svih polinoma nad skupom kompleksnih brojeva označavamo sa C[x]. Definicija. Nultočka polinoma f C[x] je svaki kompleksni broj α takav da je f(α) = 0.
Διαβάστε περισσότεραPismeni ispit iz matematike Riješiti sistem jednačina i diskutovati rješenja sistema u zavisnosti od parametra: ( ) + 1.
Pismeni ispit iz matematike 0 008 GRUPA A Riješiti sistem jednačina i diskutovati rješenja sistema u zavisnosti od parametra: λ + z = Ispitati funkciju i nacrtati njen grafik: + ( λ ) + z = e Izračunati
Διαβάστε περισσότεραZadaci iz trigonometrije za seminar
Zadaci iz trigonometrije za seminar FON: 1. Vrednost izraza sin 1 cos 6 jednaka je: ; B) 1 ; V) 1 1 + 1 ; G) ; D). 16. Broj rexea jednaqine sin x cos x + cos x = sin x + sin x na intervalu π ), π je: ;
Διαβάστε περισσότεραAlgebarske strukture
i operacije Univerzitet u Nišu Prirodno Matematički Fakultet februar 2010 Istraživačka stanica Petnica i operacije Operacije Šta je to algebra i apstraktna algebra? Šta je to algebarska struktura? Cemu
Διαβάστε περισσότεραIZVODI ZADACI ( IV deo) Rešenje: Najpre ćemo logaritmovati ovu jednakost sa ln ( to beše prirodni logaritam za osnovu e) a zatim ćemo
IZVODI ZADACI ( IV deo) LOGARITAMSKI IZVOD Logariamskim izvodom funkcije f(), gde je >0 i, nazivamo izvod logarima e funkcije, o jes: (ln ) f ( ) f ( ) Primer. Nadji izvod funkcije Najpre ćemo logarimovai
Διαβάστε περισσότεραSKUPOVI I SKUPOVNE OPERACIJE
SKUPOVI I SKUPOVNE OPERACIJE Ne postoji precizna definicija skupa (postoji ali nama nije zanimljiva u ovom trenutku), ali mi možemo koristiti jednu definiciju koja će nam donekle dočarati šta su zapravo
Διαβάστε περισσότεραUvod u teoriju brojeva
Uvod u teoriju brojeva 2. Kongruencije Borka Jadrijević Borka Jadrijević () UTB 2 1 / 25 2. Kongruencije Kongruencija - izjava o djeljivosti; Teoriju kongruencija uveo je C. F. Gauss 1801. De nicija (2.1)
Διαβάστε περισσότεραNeka je data korespondencija f A B. Tada korespondenciju f 1 B A definisanu sa. f 1 = {(b, a) B A (a, b) f}
Inverzna korespondencija Neka je data korespondencija f A B. Tada korespondenciju f 1 B A definisanu sa f 1 = {(b, a) B A (a, b) f} nazivamo inverznom korespondencijom korespondencije f. A f B A f 1 B
Διαβάστε περισσότεραFUNKCIJE - 2. deo. Logika i teorija skupova. 1 Logika FUNKCIJE - 2. deo
FUNKCIJE - 2. deo Logika i teorija skupova 1 Logika FUNKCIJE - 2. deo Inverzna korespondencija Neka je data korespondencija f A B. Tada korespondenciju f 1 B A definisanu sa f 1 = {(b, a) B A (a, b) f}
Διαβάστε περισσότεραINTEGRALNI RAČUN. Teorije, metodike i povijest infinitezimalnih računa. Lucija Mijić 17. veljače 2011.
INTEGRALNI RAČUN Teorije, metodike i povijest infinitezimalnih računa Lucija Mijić lucija@ktf-split.hr 17. veljače 2011. Pogledajmo Predstavimo gornju sumu sa Dodamo još jedan Dobivamo pravokutnik sa Odnosno
Διαβάστε περισσότεραMATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15
MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15 Matrice - osnovni pojmovi (Matrice i determinante) 2 / 15 (Matrice i determinante) 2 / 15 Matrice - osnovni pojmovi Matrica reda
Διαβάστε περισσότερα41. Jednačine koje se svode na kvadratne
. Jednačine koje se svode na kvadrane Simerične recipročne) jednačine Jednačine oblika a n b n c n... c b a nazivamo simerične jednačine, zbog simeričnosi koeficijenaa koeficijeni uz jednaki). k i n k
Διαβάστε περισσότεραAlgebarske strukture sa jednom operacijom (A, ): Ako operacija ima osobine: zatvorenost i asocijativnost, onda je (A, ) polugrupa
Binarne operacije Binarna operacija na skupu A je preslikavanje skupa A A u A, to jest : A A A. Pišemo a b = c. Označavanje operacija:,,,. Poznate operacije: sabiranje (+), oduzimanje ( ), množenje ( ).
Διαβάστε περισσότεραOn predstavlja osnovni pojam, poput pojma tačke ili prave u geometriji. Suštinsko svojstvo skupa je da se on sastoji od elemenata ili članova.
Pojam skupa U matematici se pojam skup ne definiše eksplicitno. On predstavlja osnovni pojam, poput pojma tačke ili prave u geometriji. Suštinsko svojstvo skupa je da se on sastoji od elemenata ili članova.
Διαβάστε περισσότεραJednodimenzionalne slučajne promenljive
Jednodimenzionalne slučajne promenljive Definicija slučajne promenljive Neka je X f-ja def. na prostoru verovatnoća (Ω, F, P) koja preslikava prostor el. ishoda Ω u skup R realnih brojeva: (1)Skup {ω/
Διαβάστε περισσότεραIZVODI ZADACI (I deo)
IZVODI ZADACI (I deo) Najpre da se podsetimo tablice i osnovnih pravila:. C`=0. `=. ( )`= 4. ( n )`=n n-. (a )`=a lna 6. (e )`=e 7. (log a )`= 8. (ln)`= ` ln a (>0) 9. = ( 0) 0. `= (>0) (ovde je >0 i a
Διαβάστε περισσότερα1. Dušan Adnad ević i Zoran Kadelburg, Matematička analiza I, Naučna knjiga, Beograd, 1990.
PREDGOVOR Predavanja su namenjena studentima koji polažu ispit iz predmeta Matematička analiza. Materijal je u nastajanju, iz nedelje u nedelju se dodaju novi sadržaji, moguće su i izmene u prethodno unešenom
Διαβάστε περισσότεραMatematiqki fakultet. Univerzitet u Beogradu. Domai zadatak
Matematiqki fakultet Univerzitet u Beogradu Domai zadatak Zlatko Lazovi 30. decembar 2016. verzija 1.1 Sadraj 1 METRIQKI PROSTORI 2 1 1 METRIQKI PROSTORI a) Neka je (M, d) metriqki prostor i neka je (x
Διαβάστε περισσότεραČetrnaesto predavanje iz Teorije skupova
Četrnaesto predavanje iz Teorije skupova 27. 01. 2006. Kratki rezime prošlog predavanja: Dokazali smo teorem rekurzije, te primjenom njega definirali zbrajanje ordinalnih brojeva. Prvo ćemo navesti osnovna
Διαβάστε περισσότεραU raznim oblastima se često javlja potreba da se izmed u izvesnih objekata uspostave izvesne veze, odnosi ili relacije.
Šta je to relacija? U raznim oblastima se često javlja potreba da se izmed u izvesnih objekata uspostave izvesne veze, odnosi ili relacije. Na primer, često se javlja potreba da se izvesni objekti uporede
Διαβάστε περισσότεραVerovatnoća i Statistika I deo Teorija verovatnoće (zadaci) Beleške dr Bobana Marinkovića
Verovatnoća i Statistika I deo Teorija verovatnoće zadaci Beleške dr Bobana Marinkovića Iz skupa, 2,, 00} bira se na slučajan način 5 brojeva Odrediti skup elementarnih dogadjaja ako se brojevi biraju
Διαβάστε περισσότεραDISKRETNA MATEMATIKA
DISKRETNA MATEMATIKA OSNOVE KOMBINATORIKE I TEORIJE GRAFOVA Dragan Stevanović, Miroslav Ćirić Prirodno-matematički fakultet u Nišu Slobodan Simić Matematički institut u Beogradu Vladimir Baltić Ekonomski
Διαβάστε περισσότεραTRIGONOMETRIJSKE FUNKCIJE I I.1.
TRIGONOMETRIJSKE FUNKCIJE I I Odredi na brojevnoj trigonometrijskoj kružnici točku Et, za koju je sin t =,cost < 0 Za koje realne brojeve a postoji realan broj takav da je sin = a? Izračunaj: sin π tg
Διαβάστε περισσότεραRelacije poretka ure denja
Relacije poretka ure denja Relacija na skupu A je relacija poretka na A ako je ➀ refleksivna ➁ antisimetrična ➂ tranzitivna Umesto relacija poretka često kažemo i parcijalno ured enje ili samo ured enje.
Διαβάστε περισσότεραSOPSTVENE VREDNOSTI I SOPSTVENI VEKTORI LINEARNOG OPERATORA I KVADRATNE MATRICE
1 SOPSTVENE VREDNOSTI I SOPSTVENI VEKTORI LINEARNOG OPERATORA I KVADRATNE MATRICE Neka je (V, +,, F ) vektorski prostor konačne dimenzije i neka je f : V V linearno preslikavanje. Definicija. (1) Skalar
Διαβάστε περισσότεραx n +m = 0. Ovo proširenje ima svoju manu u tome da se odričemo relacije poretka - no ne možemo imati sve...
1 Kompleksni brojevi Kompleksni brojevi Već veoma rano se pokazalo da je skup realnih brojeva preuzak čak i za neke od najosnovnijih jednačina. Primjer toga je x n +m = 0. Pokazat ćemo da postoji logično
Διαβάστε περισσότεραCauchyjev teorem. Postoji više dokaza ovog teorema, a najjednostvniji je uz pomoć Greenove formule: dxdy. int C i Cauchy Riemannovih uvjeta.
auchyjev teorem Neka je f-ja f (z) analitička u jednostruko (prosto) povezanoj oblasti G, i neka je zatvorena kontura koja čitava leži u toj oblasti. Tada je f (z)dz = 0. Postoji više dokaza ovog teorema,
Διαβάστε περισσότεραDeljivost. 1. Ispitati kada izraz (n 2) 3 + n 3 + (n + 2) 3,n N nije deljiv sa 18.
Deljivost 1. Ispitati kada izraz (n 2) 3 + n 3 + (n + 2) 3,n N nije deljiv sa 18. Rešenje: Nazovimo naš izraz sa I.Važi 18 I 2 I 9 I pa možemo da posmatramo deljivost I sa 2 i 9.Iz oblika u kom je dat
Διαβάστε περισσότερα1. Pojam fazi skupa. 2. Pojam fazi skupa. 3. Funkcija pripadnosti, osobine i oblici. 4. Funkcija pripadnosti, osobine i oblici
Meko računarstvo Student: Indeks:. Poja fazi skupa. Vrednost fazi funkcije pripadnosti je iz skupa/opsega: a) {0, b) R c) N d) N 0 e) [0, ] f) [-, ] 2. Poja fazi skupa 2. Na slici je prikazan grafik: a)
Διαβάστε περισσότεραPRIRODNI I CELI BROJEVI
1 PRIRODNI I CELI BROJEVI Prvo matematičko znanje koje stičemo je znanje o prirodnim brojevima. U toku školovanja, u osnovnoj i srednjoj školi, stečeno znanje ne podvrgavamo kritici. Radimo sa nekim konkretnim
Διαβάστε περισσότεραNeka su A i B skupovi. Kažemo da je A podskup od B i pišemo A B ako je svaki element skupa A ujedno i element skupa B. Simbolima to zapisujemo:
2 Skupovi Neka su A i B skupovi. Kažemo da je A podskup od B i pišemo A B ako je svaki element skupa A ujedno i element skupa B. Simbolima to zapisujemo: A B def ( x)(x A x B) Kažemo da su skupovi A i
Διαβάστε περισσότεραnumeričkih deskriptivnih mera.
DESKRIPTIVNA STATISTIKA Numeričku seriju podataka opisujemo pomoću Numeričku seriju podataka opisujemo pomoću numeričkih deskriptivnih mera. Pokazatelji centralne tendencije Aritmetička sredina, Medijana,
Διαβάστε περισσότεραInženjerska grafika geometrijskih oblika (5. predavanje, tema1)
Inženjerska grafika geometrijskih oblika (5. predavanje, tema1) Prva godina studija Mašinskog fakulteta u Nišu Predavač: Dr Predrag Rajković Mart 19, 2013 5. predavanje, tema 1 Simetrija (Symmetry) Simetrija
Διαβάστε περισσότεραANALIZA SA ALGEBROM I razred MATEMATI^KA LOGIKA I TEORIJA SKUPOVA. p q r F
ANALIZA SA ALGEBROM I razred MATEMATI^KA LOGIKA I TEORIJA SKUPOVA. Istinitosna tablica p q r F odgovara formuli A) q p r p r). B) q p r p r). V) q p r p r). G) q p r p r). D) q p r p r). N) Ne znam. Date
Διαβάστε περισσότερα5 Ispitivanje funkcija
5 Ispitivanje funkcija 3 5 Ispitivanje funkcija Ispitivanje funkcije pretodi crtanju grafika funkcije. Opšti postupak ispitivanja funkcija koje su definisane eksplicitno y = f() sadrži sledeće elemente:
Διαβάστε περισσότεραIspit održan dana i tačka A ( 3,3, 4 ) x x + 1
Ispit održan dana 9 0 009 Naći sve vrijednosti korjena 4 z ako je ( ) 8 y+ z Data je prava a : = = kroz tačku A i okomita je na pravu a z = + i i tačka A (,, 4 ) Naći jednačinu prave b koja prolazi ( +
Διαβάστε περισσότεραIskazna logika 1. Matematička logika. Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia.
Matematička logika Department of Mathematics and Informatics, Faculty of Science,, Serbia oktobar 2012 Iskazi, istinitost, veznici Intuitivno, iskaz je rečenica koja je ima tačno jednu jednu istinitosnu
Διαβάστε περισσότεραRačunarska grafika. Rasterizacija linije
Računarska grafika Osnovni inkrementalni algoritam Drugi naziv u literaturi digitalni diferencijalni analizator (DDA) Pretpostavke (privremena ograničenja koja se mogu otkloniti jednostavnim uopštavanjem
Διαβάστε περισσότεραMinistarstvo prosvete i sporta Republike Srbije Druxtvo matematiqara Srbije Prvi razred A kategorija
18.02006. Prvi razred A kategorija Dokazati da kruжnica koja sadrжi dva temena i ortocentar trougla ima isti polupreqnik kao i kruжnica opisana oko tog trougla. Na i najve i prirodan broj koji je maƭi
Διαβάστε περισσότεραGranične vrednosti realnih nizova
Graiče vredosti realih izova Fukcija f : N R, gde je N skup prirodih brojeva a R skup realih brojeva, zove se iz realih brojeva ili reala iz. Opšti čla iza f je f(), N, i običo se obeležava sa f, dok se
Διαβάστε περισσότερα4.7. Zadaci Formalizam diferenciranja (teorija na stranama ) 343. Znajući izvod funkcije x arctg x, odrediti izvod funkcije x arcctg x.
4.7. ZADACI 87 4.7. Zadaci 4.7.. Formalizam diferenciranja teorija na stranama 4-46) 340. Znajući izvod funkcije arcsin, odrediti izvod funkcije arccos. Rešenje. Polazeći od jednakosti arcsin + arccos
Διαβάστε περισσότεραDRUGI KOLOKVIJUM IZ MATEMATIKE 9x + 6y + z = 1 4x 2y + z = 1 x + 2y + 3z = 2. je neprekidna za a =
x, y, z) 2 2 1 2. Rešiti jednačinu: 2 3 1 1 2 x = 1. x = 3. Odrediti rang matrice: rang 9x + 6y + z = 1 4x 2y + z = 1 x + 2y + 3z = 2. 2 0 1 1 1 3 1 5 2 8 14 10 3 11 13 15 = 4. Neka je A = x x N x < 7},
Διαβάστε περισσότεραASIMPTOTE FUNKCIJA. Dakle: Asimptota je prava kojoj se funkcija približava u beskonačno dalekoj tački. Postoje tri vrste asimptota:
ASIMPTOTE FUNKCIJA Naš savet je da najpre dobro proučite granične vrednosti funkcija Neki profesori vole da asimptote funkcija ispituju kao ponašanje funkcije na krajevima oblasti definisanosti, pa kako
Διαβάστε περισσότεραKONAČNA MATEMATIKA Egzistencija kombinatornih konfiguracija Dirichlet-ov i Ramseyev teorem
Природно-математички факултет, Универзитет у Нишу, Србија http://www.pmf.ni.ac.yu/mii Математика и информатика 1 (3) (2009), 19-24 KONAČNA MATEMATIKA Egzistencija kombinatornih konfiguracija Dirichlet-ov
Διαβάστε περισσότερα2log. se zove numerus (logaritmand), je osnova (baza) log. log. log =
( > 0, 0)!" # > 0 je najčešći uslov koji postavljamo a još je,, > 0 se zove numerus (aritmand), je osnova (baza). 0.. ( ) +... 7.. 8. Za prelazak na neku novu bazu c: 9. Ako je baza (osnova) 0 takvi se
Διαβάστε περισσότεραO SKUPOVIMA. Do pojma skupa može se vrlo lako doći empirijskim putem, posmatrajući razne grupe,
O SKUPOVIM Do pojma skupa može se vrlo lako doći empirijskim putem, posmatrajući razne grupe, skupine, mnoštva neke vrste objekata, stvari, živih bića i dr. Tako imamo skup stanovnika nekog grada, skup
Διαβάστε περισσότερα6 Polinomi Funkcija p : R R zadana formulom
6 Polinomi Funkcija p : R R zadana formulom p(x) = a n x n + a n 1 x n 1 +... + a 1 x + a 0, gdje su a 0, a 1,..., a n realni brojevi, a n 0, i n prirodan broj ili 0, naziva se polinom n-tog stupnja s
Διαβάστε περισσότεραDimenzija vektorskog prostora
UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Marija Delić Dimenzija vektorskog prostora -master rad- Mentor: Akademik Prof. dr Stevan Pilipović Novi Sad,
Διαβάστε περισσότεραVeleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika. Monotonost i ekstremi. Katica Jurasić. Rijeka, 2011.
Veleučilište u Rijeci Stručni studij sigurnosti na radu Akad. god. 2011/2012. Matematika Monotonost i ekstremi Katica Jurasić Rijeka, 2011. Ishodi učenja - predavanja Na kraju ovog predavanja moći ćete:,
Διαβάστε περισσότεραSKRIPTE IZ MATEMATIKE 1 ZA STUDENTE OSNOVNIH STRUKOVNIH STUDIJA SOFTVERSKIH I INFORMACIONIH TEHNOLOGIJA. Maja i Ljubo Nedović
SKRIPTE IZ MATEMATIKE 1 ZA STUDENTE OSNOVNIH STRUKOVNIH STUDIJA SOFTVERSKIH I INFORMACIONIH TEHNOLOGIJA Maja i Ljubo Nedović 27. oktobar 2014 Sadržaj 1 Logika, skupovi i relacije 7 2 Funkcije 2 Kombinatorika
Διαβάστε περισσότεραKardinalni brojevi i Lebegova mera
Prirodno-matematički fakultet, Univerzitet u Nišu, Srbija http://wwwpmfniacyu/mii Matematika i informatika 1 (1-2) (2008), 41-50 Kardinalni brojevi i Lebegova mera Dragan S Dor dević U ovom radu prikazujemo
Διαβάστε περισσότερα3.1. Granične vrednosti funkcija
98 3. FUNKCIJE: GRANIČNE VREDNOSTI I NEPREKIDNOST 3.1. Granične vrednosti funkcija 3.1.1. Definicija i osnovne osobine Da bismo motivisali definiciju granične vrednosti funkcija, dajemo dva primera. Posmatrajmo
Διαβάστε περισσότεραMetrički prostori i Riman-Stiltjesov integral
Metrički prostori i Riman-Stiltjesov integral Dragan S. Djordjević Niš, 2009. 0 Sadržaj Predgovor 3 1 Metrički prostori 5 1.1 Primeri metričkih prostora................. 5 1.2 Konvergencija nizova i osobine
Διαβάστε περισσότερα10 Iskazni račun - deduktivni sistem za iskaznu logiku
10 Iskazni račun - deduktivni sistem za iskaznu logiku Definicija 20 Iskazni račun je deduktivni sistem H = X, F orm, Ax, R, gde je X = S {,, (, )}, gde S = {p 1, p 2,..., p n,... }, F orm je skup iskaznih
Διαβάστε περισσότερα1 Afina geometrija. 1.1 Afini prostor. Definicija 1.1. Pod afinim prostorom nad poljem K podrazumevamo. A - skup taqaka
1 Afina geometrija 11 Afini prostor Definicija 11 Pod afinim prostorom nad poljem K podrazumevamo svaku uređenu trojku (A, V, +): A - skup taqaka V - vektorski prostor nad poljem K + : A V A - preslikavanje
Διαβάστε περισσότεραSistemi veštačke inteligencije primer 1
Sistemi veštačke inteligencije primer 1 1. Na jeziku predikatskog računa formalizovati rečenice: a) Miloš je slikar. b) Sava nije slikar. c) Svi slikari su umetnici. Uz pomoć metode rezolucije dokazati
Διαβάστε περισσότερα1 Algebarske operacije i algebraske strukture
1 Algebarske operacije i algebraske strukture Defnicija 1.1 Neka su I i A skupovi. I-familija elemenata skupa A, ili familija elemenata iz A indeksirana skupom I, je funkcija a : I A koju radije zapisujemo
Διαβάστε περισσότεραMatematička analiza 1 dodatni zadaci
Matematička analiza 1 dodatni zadaci 1. Ispitajte je li funkcija f() := 4 4 5 injekcija na intervalu I, te ako jest odredite joj sliku i inverz, ako je (a) I = [, 3), (b) I = [1, ], (c) I = ( 1, 0].. Neka
Διαβάστε περισσότεραELEMENTARNA MATEMATIKA 1
Na kolokviju nije dozvoljeno koristiti ni²ta osim pribora za pisanje. Zadatak 1. Ispitajte odnos skupova: C \ (A B) i (A C) (C \ B). Rje²enje: Neka je x C \ (A B). Tada imamo x C i x / A B = (A B) \ (A
Διαβάστε περισσότεραEUKLIDSKA GEOMETRIJA
EUKLIDSKA GEOMETRIJA zadaci za vežbe AKSIOMATSKO ZASNIVANJE EUKLIDSKE GEOMETRIJE 1. Ako dve razne ravni imaju zajedničku tačku tada je njihov presek prava. Dokazati. 2. Za svake dve prave koje se seku
Διαβάστε περισσότερα1 Pojam funkcije. f(x)
Pojam funkcije f : X Y gde su X i Y neprazni skupovi (X - domen, Y - kodomen) je funkcija ako ( X)(! Y )f() =, (za svaki element iz domena taqno znamo u koji se element u kodomenu slika). Domen funkcije
Διαβάστε περισσότερα