ELEMENTARNA MATEMATIKA 1

Σχετικά έγγραφα
a M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A.

Teorem 1.8 Svaki prirodan broj n > 1 moºe se prikazati kao umnoºak prostih brojeva (s jednim ili vi²e faktora).

(P.I.) PRETPOSTAVKA INDUKCIJE - pretpostavimo da tvrdnja vrijedi za n = k.

INTEGRALNI RAČUN. Teorije, metodike i povijest infinitezimalnih računa. Lucija Mijić 17. veljače 2011.

Matematička analiza 1 dodatni zadaci

ELEKTROTEHNIČKI ODJEL

Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju

Linearna algebra 2 prvi kolokvij,

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:

Uvod u teoriju brojeva

Zadaci iz Osnova matematike

Sume kvadrata. mn = (ax + by) 2 + (ay bx) 2.

M086 LA 1 M106 GRP. Tema: Baza vektorskog prostora. Koordinatni sustav. Norma. CSB nejednakost

Operacije s matricama

Mjera i Integral Vjeºbe

TRIGONOMETRIJSKE FUNKCIJE I I.1.

VJEŽBE IZ MATEMATIKE 1

2 tg x ctg x 1 = =, cos 2x Zbog četvrtog kvadranta rješenje je: 2 ctg x

DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović

Iskazna logika 3. Matematička logika u računarstvu. novembar 2012

1. zadatak , 3 Dakle, sva kompleksna re{ewa date jedna~ine su x 1 = x 2 = 1 (dvostruko re{ewe), x 3 = 1 + i

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D}

radni nerecenzirani materijal za predavanja

Riješeni zadaci: Nizovi realnih brojeva

Četrnaesto predavanje iz Teorije skupova

1 Aksiomatska definicija skupa realnih brojeva

Matematika (PITUP) Prof.dr.sc. Blaženka Divjak. Matematika (PITUP) FOI, Varaždin

3.1 Granična vrednost funkcije u tački

Linearna algebra 2 prvi kolokvij,

Neka je a 3 x 3 + a 2 x 2 + a 1 x + a 0 = 0 algebarska jednadžba trećeg stupnja. Rješavanje ove jednadžbe sastoji se od nekoliko koraka.

1.4 Tangenta i normala

Kontrolni zadatak (Tačka, prava, ravan, diedar, poliedar, ortogonalna projekcija), grupa A

Dvanaesti praktikum iz Analize 1

π π ELEKTROTEHNIČKI ODJEL i) f (x) = x 3 x 2 x + 1, a = 1, b = 1;

Riješeni zadaci: Limes funkcije. Neprekidnost

7 Algebarske jednadžbe

9. GRANIČNA VRIJEDNOST I NEPREKIDNOST FUNKCIJE GRANIČNA VRIJEDNOST ILI LIMES FUNKCIJE

( x) ( ) ( ) ( x) ( ) ( x) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

Teorijske osnove informatike 1

Relacije poretka ure denja

MJERA I INTEGRAL 2. kolokvij 30. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!)

18. listopada listopada / 13

Binarne relacije. Definicija. Uopštena binarna relacija je uredjena trojka (A, B, ρ) gde je ρ A B; (A, B) je tip ove binarne relacije.

SISTEMI NELINEARNIH JEDNAČINA

LINEARNA ALGEBRA 1, ZIMSKI SEMESTAR 2007/2008 PREDAVANJA: NENAD BAKIĆ, VJEŽBE: LUKA GRUBIŠIĆ I MAJA STARČEVIĆ

IZVODI ZADACI ( IV deo) Rešenje: Najpre ćemo logaritmovati ovu jednakost sa ln ( to beše prirodni logaritam za osnovu e) a zatim ćemo

PRAVA. Prava je u prostoru određena jednom svojom tačkom i vektorom paralelnim sa tom pravom ( vektor paralelnosti).

PARCIJALNI IZVODI I DIFERENCIJALI. Sama definicija parcijalnog izvoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je,

MATEMATIKA 1 8. domaća zadaća: RADIJVEKTORI. ALGEBARSKE OPERACIJE S RADIJVEKTORIMA. LINEARNA (NE)ZAVISNOST SKUPA RADIJVEKTORA.

VJEŽBE IZ MATEMATIKE 1

KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI. NEUTRALNI ELEMENT GRUPOIDA.

k a k = a. Kao i u slučaju dimenzije n = 1 samo je jedan mogući limes niza u R n :

VJEŽBE IZ MATEMATIKE 1

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 ).

DRUGI KOLOKVIJUM IZ MATEMATIKE 9x + 6y + z = 1 4x 2y + z = 1 x + 2y + 3z = 2. je neprekidna za a =

Funkcija gustoće neprekidne slučajne varijable ima dva bitna svojstva: 1. Nenegativnost: f(x) 0, x R, 2. Normiranost: f(x)dx = 1.

U raznim oblastima se često javlja potreba da se izmed u izvesnih objekata uspostave izvesne veze, odnosi ili relacije.

Funkcije dviju varjabli (zadaci za vježbu)

UNIVERZITET U NIŠU ELEKTRONSKI FAKULTET SIGNALI I SISTEMI. Zbirka zadataka

41. Jednačine koje se svode na kvadratne

Slučajni procesi Prvi kolokvij travnja 2015.

KONVEKSNI SKUPOVI. Definicije: potprostor, afin skup, konveksan skup, konveksan konus. 1/5. Back FullScr

Elementi spektralne teorije matrica

Strukture podataka i algoritmi 1. kolokvij 16. studenog Zadatak 1

ZBIRKA ZADATAKA IZ TEORIJE SKUPOVA

LINEARNA ALGEBRA 1 skripta za nastavni ke studije na PMF-MO. Zrinka Franu²i, Juraj iftar

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu

Numerička matematika 2. kolokvij (1. srpnja 2009.)

Lokalni ekstremi funkcije vi²e varijabla

Osnovne teoreme diferencijalnog računa

Klasifikacija blizu Kelerovih mnogostrukosti. konstantne holomorfne sekcione krivine. Kelerove. mnogostrukosti. blizu Kelerove.

KONAČNA MATEMATIKA Egzistencija kombinatornih konfiguracija Dirichlet-ov i Ramseyev teorem

6 Polinomi Funkcija p : R R zadana formulom

Seminar 11 (Ispitivanje domene i globalnih svojstava funkcije)

16 Lokalni ekstremi. Definicija 16.1 Neka je A R n otvoren, f : A R i c A. Ako postoji okolina U(c) od c na kojoj je f(c) minimum

Zadaci iz trigonometrije za seminar

Teorija skupova. Matko Males Split. lipanj 2003.

Deljivost. 1. Ispitati kada izraz (n 2) 3 + n 3 + (n + 2) 3,n N nije deljiv sa 18.

Apsolutno neprekidne raspodele Raspodele apsolutno neprekidnih sluqajnih promenljivih nazivaju se apsolutno neprekidnim raspodelama.

21. ŠKOLSKO/OPĆINSKO/GRADSKO NATJECANJE IZ GEOGRAFIJE GODINE 8. RAZRED TOČNI ODGOVORI

1 Promjena baze vektora

Ministarstvo prosvete i sporta Republike Srbije Druxtvo matematiqara Srbije Prvi razred A kategorija

Pismeni ispit iz matematike Riješiti sistem jednačina i diskutovati rješenja sistema u zavisnosti od parametra: ( ) + 1.

RIJEŠENI ZADACI I TEORIJA IZ

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.

4 Funkcije. 4.1 Pojam funkcije

Glava 1. Realne funkcije realne promen ive. 1.1 Elementarne funkcije

MATRICE I DETERMINANTE - formule i zadaci - (Matrice i determinante) 1 / 15

Kaskadna kompenzacija SAU

SKUPOVI I SKUPOVNE OPERACIJE

Matematika 4. t x(u)du + 4. e t u y(u)du, t e u t x(u)du + Pismeni ispit, 26. septembar e x2. 2 cos ax dx, a R.

TRIGONOMETRIJA TROKUTA

1 Pojam funkcije. f(x)

Skupovi, relacije, funkcije

SEMINAR IZ KOLEGIJA ANALITIČKA KEMIJA I. Studij Primijenjena kemija

Diferencijalni i integralni račun I. Prirodoslovno matematički fakultet

Zavrxni ispit iz Matematiqke analize 1

RADIJVEKTORI. ALGEBARSKE OPERACIJE S RADIJVEKTORIMA. LINEARNA (NE)ZAVISNOST SKUPA RADIJVEKTORA.

APROKSIMACIJA FUNKCIJA

Više dokaza jedne poznate trigonometrijske nejednakosti u trokutu

Transcript:

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 B). Dakle x C i vrijedi x / A B ili x A B. Imamo dva slu aja: (1) x / A B Tada x / A i x / B, pa zbog x C i x / B imamo x C \ B, pa zaklju ujemo x (A C) (C \ B). (2) x A B Tada x A i x B, pa zbog x C i x A slijedi x A C, pa vidimo da je opet x (A C) (C \ B). Dokazali smo C \ (A B) (A C) (C \ B). Obratna inkluzija ne vrijedi. Uzmimo primjerice A = C = {1}, B =. Tada je C \ (A B) = {1} \ {1} =, (A C) (C \ B) = {1} ({1} \ ) = {1}. Kako {1}, vidimo da (A C) (C \ B) C \ (A B).

Zadatak 2. defnirana s Na partitivnom skupu skupa prirodnih brojeva P(N) zadana je relacija ϱ AϱB ( n N)(B = A {n}). (a) Odredite je li relacija ρ reeksivna, simetri na, antisimetri na, tranzitivna. svoje tvrdnje dokaºite. Sve (b) Moºe li se ϱ nadopuniti do relacije parcijalnog urežaja? Obrazloºite. Rje²enje: (a) reeksivnost ϱ nije reeksivna jer je P(N), no za niti jedan n N ne vrijedi = {n}, pa (, ) / ϱ. simetri nost ϱ nije simetri na jer je primjerice (, {1}) ϱ, ali ({1}, ) / ϱ. antisimetri nost Pretpostavimo da vrijedi (A, B), (B, A) ϱ, za neke A, B P(N). Tada postoje n, m N takvi da je B = A {n} i A = B {m}. Iz ovoga slijedi redom A B i B A, pa je A = B. Dakle ϱ je antisimetri na. tranzitivnost ϱ nije tranzitivna jer imamo (, {1}), ({1}, {1, 2}) ϱ, no (, {1, 2}) / ϱ (u suprotnom bi dvo lan skup {1, 2} mogli prikazati kao prazan skup unija neki jedno lan skup, ²to je o ito nemogu e). (b) Ispitujemo postoji li relacija parcijalnog urežaja ϱ takva da vrijedi ϱ ϱ. Uo imo da vrijedi implikacija AϱB A B. Dakle vidimo da je relacija ϱ sadrºana u relaciji, a znamo da je relacija parcijalnog urežaja. Dakle, odgovor na pitanje je da.

Zadatak 3. Neka je x pozitivan, a y negativan realan broj takav da je x + y > 0. Matemati kom indukcijom dokaºite da za sve prirodne brojeve n ve e od 1 vrijedi x n + ( 1) n+1 y n > n (x + y) ( 1) n 1 y n 1. Rje²enje: Uvedimo supstituciju a = x, b = y. Tada su a i b pozitivni realni brojevi i vrijedi a > b. Treba dokazati da za sve prirodne brojeve ve e od 1 vrijedi a n b n > n (a b)b n 1. Baza indukcije: n = 2. Treba dokazati a 2 b 2 > 2 (a b)b. Budu i je a b > 0, dovoljeno je dokazati a + b > 2b, odnosno a > b, a to je ispunjeno po uvjetu zadatka. Pretpostavimo da tvrdnja vrijedi za neki prirodni broj n 2. Korak indukcije: Po pretpostavci imamo: a n b n > n (a b)b n 1. Ako tu nejednakost pomnoºimo s b > 0, dobivamo a n b b n+1 > n (a b)b n. Dodamo li toj nejednakosti (a b)b n s lijeve i desne strane, dobivamo Sada je dovoljno dokazati da vrijedi ²to je ekvivalentno nejednakosti: a n b + ab n 2b n+1 > (n + 1) (a b)b n. a n+1 b n+1 > a n b + ab n 2b n+1, a n+1 > a n b + ab n b n+1, odnosno tj. a n (a b) b n (a b) > 0, (a n b n )(a b) > 0, a to vrijedi za sve pozitivne realne brojeve a i b takve da je a > b.

Zadatak 4. (a) Neka je relacija denirana na skupu A. Koriste i kvantikatore i logi ke veznike iskaºite tvrdnju da je simetri na relacija. Rje²enje: ( x A)( y A) x y y x. Napi²ite negaciju gornje tvrdnje, tako da se ne pojavljuje logi ki veznik (smije se pojaviti ili ). Rje²enje: ( x A)( y A) x y y x. (b) Nadopunite relaciju ρ {1, 2, 3, 4} {1, 2, 3, 4} na donjoj slici tako da ona postane relacija ekvivalencije, ali tako da ne sadrºi ba² sve urežene parove iz {1, 2, 3, 4} {1, 2, 3, 4}. 4 3 2 1 1 2 3 4 Za relaciju koju ste nacrtali, odredite [1], [2], [3], [4]. Rje²enje: Na slici su manjim krugovima ozna eni dodani ureženi parovi: zbog reeksivnosti dodajemo (1, 1), (2, 2), (3, 3), (4, 4); zbog simetri nosti (4, 3) i (1, 4); zbog tranzitivnosti jo² i (1, 3) i (3, 1). Slijedi: [1] = [3] = [4] = {1, 3, 4}, [2] = {2}. (c) Neka je A = {2, 3, 5, 8}, te F = {{5, 3, 8}, {2}}. Zakruºite tvrdnje koje su istinite: (1) F je particija od A (2) P(A) je particija od A (3) F P(A). Rje²enje: Istinita je samo tvrdnja (1). (d) Neka je A skup koji ima 10 elemenata, a ρ relacija ekvivalencije na A takva da kvocijentni skup A / ima to no 2 elementa. Koliko najvi²e elemenata ima skup ρ? ρ Rje²enje: Neka je A / ρ = {[x], [y]}. Ozna imo sa n x i n y broj elemenata od [x] i [y], redom; moºemo uzeti da je n x n y. Svi elementi skupa [x] su mežusobno u relaciji, kao i svi elementi skupa [y]. Stoga ρ ima n 2 x + n 2 y elemenata. Kako A ima 10 elemenata, mogu e su samo sljede e kombinacije: (n x, n y ) {(9, 1), (8, 2), (7, 3), (6, 4), (5, 5)}. Najve u sumu kvadrata ima par (9, 1), pa ρ moºe imati najvi²e 9 2 + 1 2 = 82 elementa.

Zadatak 5. (a) Denirajte sljede e pojmove: relacija parcijalnog urežaja, supremum. Rje²enje: Relacija parcijalnog urežaja: Neka je ρ relacija na skupu A. Kaºemo da je ρ relacija parcijalnog urežaja ako je reeksivna, antisimetri na i tranzitivna. Supremum: Neka je ρ relacija parcijalnog urežaja na skupu A, te neka je B A. Za element a A kaºemo da je gornja meža skupa B ako za sve b B vrijedi b ρ a. Element s A je supremum skupa B ako vrijedi: (1) s je gornja meža skupa B, te (2) za svaku gornju mežu a skupa B vrijedi s ρ a. (b) Koriste i samo Peanove aksiome, deniciju zbrajanja i urežaja na N, dokaºite da za sve n N vrijedi 1 n. Rje²enje: Po deniciji, za a, b N vrijedi a b ako je a = b ili postoji c N takav da je a + c = b. Koriste i tu deniciju, te deniciju zbrajanja (konkretno: 1 + 1 = s(1), te 1 + s(c) = s(1 + c)) pokaºimo indukcijom da za sve n N vrijedi 1 n. (baza) n = 1. Po deniciji odmah slijedi 1 n. (korak) Pretpostavimo da za neko n N vrijedi 1 n, te pokaºimo da tada takožer vrijedi 1 s(n). Po deniciji, 1 n vodi na dvije mogu nosti. Prva mogu nost je da vrijedi 1 = n. Tada s(1) = s(n), pa po deniciji zbrajanja imamo 1 + 1 = s(n), iz ega po deniciji slijedi 1 s(n). Druga mogu nost je da postoji c N takav da je 1+c = n. Tada s(1+c) = s(n), pa po deniciji zbrajanja imamo 1 + s(c) = s(n), pa ponovno po deniciji slijedi 1 s(n). (c) Neka je S skup, te neka je na P(S) denirana relacija parcijalnog urežaja (biti podskup). Nadalje, neka je A n P(S) za svaki n N. Ozna imo F := {A n : n N} P(S). ƒemu je jednako sup F? Dokaºite! Rje²enje: Supremum emo lako odrediti kada vidimo ²to mora zadovoljavati gornja meža. Neka je X neka gornja meža skupa F. Kako je zadana relacija urežaja, to zna i ( A F) A X, odnosno, ( n N) A n X. Vidimo da U := n=1 A n zadovoljava ovo svojstvo, tj. da je to jedna gornja meža. Pokaºimo i da je skup U supremum. Neka je X bilo koja gornja meža skupa F. Trebamo pokazati da vrijedi U X. Neka je a U proizvoljan. Tada, po deniciji unije, postoji n N takav da je a A n. No kako je X gornja meža, vrijedi A n X, pa onda i a X. Ovim smo pokazali da vrijedi U X, pa je sup F = U = n=1 A n. Sve svoje tvrdnje precizno iskaºite i dokaºite!

Na kolokviju nije dozvoljeno koristiti ni²ta osim pribora za pisanje. Zadatak 1. Ispitajte odnos skupova: (A B) (B \ C) i B \ (A C). Rje²enje: Neka je x B\(A C). Tada imamo x B i x / A C = (A C)\(A C). Dakle x B i vrijedi x / A C ili x A C. Imamo dva slu aja: (1) x / A C Tada x / A i x / C, pa zbog x B i x / C imamo x B \ C, pa zaklju ujemo x (A B) (B \ C). (2) x A C Tada x A i x C, pa zbog x B i x A slijedi x A B, pa vidimo da je opet x (A B) (B \ C). Dokazali smo B \ (A C) (A B) (B \ C). Obratna inkluzija ne vrijedi. Uzmimo primjerice A = B = {1}, C =. Tada je B \ (A C) = {1} \ {1} =, (A B) (B \ C) = {1} ({1} \ ) = {1}. Kako {1}, vidimo da (A B) (B \ C) B \ (A C).

Zadatak 2. defnirana s Na partitivnom skupu skupa cijelih brojeva P(Z) zadana je relacija τ AτB ( n Z)(A = B {n}). (a) Odredite je li relacija τ reeksivna, simetri na, antisimetri na, tranzitivna. svoje tvrdnje dokaºite. Sve (b) Moºe li se τ nadopuniti do relacije parcijalnog urežaja? Obrazloºite. Rje²enje: (a) reeksivnost τ nije reeksivna jer je P(Z), no za niti jedan n Z ne vrijedi = {n}, pa (, ) / τ. simetri nost τ nije simetri na jer je primjerice ({1}, ) τ, ali (, {1}) / τ. antisimetri nost Pretpostavimo da vrijedi (A, B), (B, A) τ, za neke A, B P(Z). Tada postoje n, m Z takvi da je A = B {n} i B = A {m}. Iz ovoga slijedi redom B A i A B, pa je A = B. Dakle τ je antisimetri na. tranzitivnost τ nije tranzitivna jer imamo ({1, 2}, {1}), ({1}, ) τ, no ({1, 2}, ) / τ (u suprotnom bi dvo lan skup {1, 2} mogli prikazati kao prazan skup unija neki jedno lan skup, ²to je o ito nemogu e). (b) Ispitujemo postoji li relacija parcijalnog urežaja τ takva da vrijedi τ τ. Uo imo da vrijedi implikacija AϱB A B. Dakle vidimo da je relacija τ sadrºana u relaciji, a znamo da je relacija parcijalnog urežaja. Dakle, odgovor na pitanje je da.

Zadatak 3. Neka su a i b pozitivni realni brojevi takvi da je a > b. Matemati kom indukcijom dokaºite da za sve prirodne brojeve n ve e od 1 vrijedi a n b n > n (a b) b n 1. Rje²enje: Baza indukcije: n = 2. Treba dokazati a 2 b 2 > 2 (a b)b. Budu i je a b > 0, dovoljeno je dokazati a + b > 2b, odnosno a > b, a to je ispunjeno po uvjetu zadatka. Pretpostavimo da tvrdnja vrijedi za neki prirodni broj n 2. Korak indukcije: Po pretpostavci imamo: a n b n > n (a b)b n 1. Ako tu nejednakost pomnoºimo s b > 0, dobivamo a n b b n+1 > n (a b)b n. Dodamo li toj nejednakosti (a b)b n s lijeve i desne strane, dobivamo Sada je dovoljno dokazati da vrijedi ²to je ekvivalentno nejednakosti: odnosno tj. a n b + ab n 2b n+1 > (n + 1) (a b)b n. a n+1 b n+1 > a n b + ab n 2b n+1, a n+1 > a n b + ab n b n+1, a n (a b) b n (a b) > 0, (a n b n )(a b) > 0, a to vrijedi za sve pozitivne realne brojeve a i b takve da je a > b.

Zadatak 4. (a) Neka je relacija denirana na skupu A. Koriste i kvantikatore i logi ke veznike iskaºite tvrdnju da je tranzitivna relacija. Rje²enje: ( x A)( y A)( z A) (x y y z) x z. Napi²ite negaciju gornje tvrdnje, tako da se ne pojavljuje logi ki veznik (smije se pojaviti ili ). Rje²enje: ( x A)( y A)( z A) x y y z x z. (b) Nadopunite relaciju ρ {1, 2, 3, 4} {1, 2, 3, 4} na donjoj slici tako da ona postane relacija ekvivalencije, ali tako da ne sadrºi ba² sve urežene parove iz {1, 2, 3, 4} {1, 2, 3, 4}. 4 3 2 1 1 2 3 4 Za relaciju koju ste nacrtali, odredite [1], [2], [3], [4]. Rje²enje: Na slici su manjim krugovima ozna eni dodani ureženi parovi: zbog reeksivnosti dodajemo (1, 1), (2, 2), (3, 3), (4, 4); zbog simetri nosti (4, 1) i (2, 4); zbog tranzitivnosti jo² i (1, 2) i (2, 1). Slijedi: [1] = [2] = [4] = {1, 2, 4}, [3] = {3}. (c) Neka je A = {2, 3, 5, 8}, te F = {{3}, {2, 5}, {8}}. Zakruºite tvrdnje koje su istinite: (1) F P(A) (2) F je particija od A (3) F je particija od P(A) Rje²enje: Istinite su tvrdnje (1) i (2). (d) Neka je A skup koji ima 9 elemenata, a ρ relacija ekvivalencije na A takva da kvocijentni skup A / ima to no 2 elementa. Koliko najmanje elemenata ima skup ρ? ρ Rje²enje: Neka je A / ρ = {[x], [y]}. Ozna imo sa n x i n y broj elemenata od [x] i [y], redom; moºemo uzeti da je n x n y. Svi elementi skupa [x] su mežusobno u relaciji, kao i svi elementi skupa [y]. Stoga ρ ima n 2 x + n 2 y elemenata. Kako A ima 9 elemenata, mogu e su samo sljede e kombinacije: (n x, n y ) {(8, 1), (7, 2), (6, 3), (5, 4)}. Najmanju sumu kvadrata ima par (5, 4), pa ρ moºe imati najvi²e 5 2 + 4 2 = 41 element.

Zadatak 5. (a) Denirajte sljede e pojmove: relacija totalnog urežaja, inmum. Rje²enje: Relacija totalnog urežaja: Neka je ρ relacija na skupu A. Kaºemo da je ρ relacija totalnog urežaja ako je reeksivna, antisimetri na i tranzitivna, te vrijedi: ( x A)( y A) xρy yρx. Inmum: Neka je ρ relacija parcijalnog urežaja na skupu A, te neka je B A. Za element a A kaºemo da je donja meža skupa B ako za sve b B vrijedi a ρ b. Element i A je inmum skupa B ako vrijedi: (1) i je donja meža skupa B, te (2) za svaku donju mežu a skupa B vrijedi a ρ i. (b) Koriste i samo Peanove aksiome, deniciju zbrajanja i urežaja na N, dokaºite da za sve n N vrijedi 1 n. Rje²enje: Po deniciji, za a, b N vrijedi a b ako je a = b ili postoji c N takav da je a + c = b. Koriste i tu deniciju, te deniciju zbrajanja (konkretno: 1 + 1 = s(1), te 1 + s(c) = s(1 + c)) pokaºimo indukcijom da za sve n N vrijedi 1 n. (baza) n = 1. Po deniciji odmah slijedi 1 n. (korak) Pretpostavimo da za neko n N vrijedi 1 n, te pokaºimo da tada takožer vrijedi 1 s(n). Po deniciji, 1 n vodi na dvije mogu nosti. Prva mogu nost je da vrijedi 1 = n. Tada s(1) = s(n), pa po deniciji zbrajanja imamo 1 + 1 = s(n), iz ega po deniciji slijedi 1 s(n). Druga mogu nost je da postoji c N takav da je 1+c = n. Tada s(1+c) = s(n), pa po deniciji zbrajanja imamo 1 + s(c) = s(n), pa ponovno po deniciji slijedi 1 s(n). (c) Neka je S skup, te neka je na P(S) denirana relacija parcijalnog urežaja (biti podskup). Nadalje, neka je A n P(S) za svaki n N. Ozna imo F := {A n : n N} P(S). ƒemu je jednako inf F? Dokaºite! Rje²enje: Inmum emo lako odrediti kada vidimo ²to mora zadovoljavati donja meža. Neka je X neka donja meža skupa F. Kako je zadana relacija urežaja, to zna i ( A F) X A, odnosno, ( n N) X A n. Vidimo da P := n=1 A n zadovoljava ovo svojstvo, tj. da je to jedna donja meža. Pokaºimo i da je skup P inmum. Neka je X bilo koja donja meža skupa F. Trebamo pokazati da vrijedi X P. Neka je a X proizvoljan. Kako je X donja meža, za svaki n N vrijedi X A n, pa onda za svaki n N vrijedi a A n. No po deniciji presjeka, to zna i a P. Ovim smo pokazali da vrijedi X P, pa je inf F = P = n=1 A n. Sve svoje tvrdnje precizno iskaºite i dokaºite!