POLUGRUPE. Stojan M. Bogdanović i Miroslav D. Ćirić. Univerzitet u Nišu. Prosveta, Niš

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "POLUGRUPE. Stojan M. Bogdanović i Miroslav D. Ćirić. Univerzitet u Nišu. Prosveta, Niš"

Transcript

1

2

3 POLUGRUPE Stojan M. Bogdanović i Miroslav D. Ćirić Univerzitet u Nišu Prosveta, Niš

4 Dr Stojan M. Bogdanović redovni profesor Univerziteta u Nišu Dr Miroslav D. Ćirić docent Univerziteta u Nišu POLUGRUPE prvo izdanje, urednik Dobrivoje Jevtić recenzent Dr Siniša Crvenković redovni profesor Univerziteta u Novom Sadu izdavač Prosveta, Niš za izdavača Božidar Marković, direktor štampa Prosveta, Niš Tiraž: primeraka ISBN

5 IN MEMORIAM Miodrag S. Bogdanović

6

7 Predgovor Ova knjiga je zamišljena kao viši kurs iz Teorije polugrupa i namenjena je prvenstveno specijalistima za ovu oblast i onima koji nameravaju da to postanu. Ona, svakako, može korisno poslužiti i onima iz drugih oblasti koji koriste rezultate ove teorije. Veći deo sadržaja ove knjige, deo je predavanja koja su autori držali na Seminaru za teoriju polugrupa u Nišu, koji radi u organizaciji Matematičkog instituta SANU. Takodje, deo materijala je izlagan i na brojnim medjunarodnim konferencijama. Teorija polugrupa je aktuelna oblast matematike. Nastala je uopštavanjem nekih drugih matematičkih teorija, u prvom redu Teorije grupa i Teorije prstena. Sa druge strane, ova teorija je izgradila sopstvene metode i razvija se prvenstveno kao algebarska apstrakcija slaganja relacija (preslikavanja) i spajanja reči. Kao takva, ona ima značajnu primenu u mnogim oblastima matematike. Rezultati Teorije polugrupa primenjuju se u Topologiji, Funkcionalnoj analizi, Diferencijalnoj geometriji, Teoriji diferencijalnih jednačina itd. Poseban je značaj Teorije polugrupa za Algebre računarskih jezika i Algebarsku teoriju automata. Početkom proučavanja polugrupa smatra se rad A.K.Suškeviča iz godine. Teorija polugrupa se poslednjih decenija intenzivno razvija, o čemu svedoči veći broj monografija koje pokrivaju razne njene oblasti i koje su, svaka na svoj način, usmeravale i inicirale istraživanja. Istaknimo autore nekih od njih: E.S.Ljapin (1960), A.H.Clifford i G.B.Preston (1961,1967), M.Petrich (1973, 1977, 1984), J.M.Howie (1976), G.Lallement (1979) i drugi. Od ogromonog značaja za razvoj ove teorije je i specijalizovani časopis Semigroup Forum. Teme koje će se obradjivati u ovoj knjizi deo su Opšte teorije polugrupa. Osnovni zadatak Opšte teorije polugrupa je izučavanje strukture polugrupa. Medju metodama za to najpoznatije su razlaganja i slaganja. Metoda razlaganja počiva na razbijanju polugrupe, opisivanju strukture svake od komponenti i ustanovljavanju veza izmedju njih. Metoda slaganja je obrnuta, i sastoji se od konstrukcije polugrupe željenih osobina iz unapred datih komponenti. Najčešći tipovi razlaganja i slaganja su tračna razlaganja i slaganja i idealske ekstenzije. Kod slaganja, jedno od najefikasnijih sredstava su homomofizmi. Centralno mesto u ovoj knjizi zauzima Teorija polumrežnih razlaganja. Poseban doprinos razvoju ove teorije dao je T.Tamura, zatim M.Petrich, i

8 ii PREDGOVOR M.S.Putcha, L.N.Ševrin i autori ove knjige. Jedan deo Teorije polumrežnih razlaganja je izložen u monografiji M.Petricha iz godine. Ovde će ova teorija, sobzirom na rezultate nastale u medjuvremenu, biti izložena potpunije, novim metodama koje objedinjuju ranije rezultate iz ove oblasti. Drugo važno pitanje koje tretira ova knjiga jesu razlaganja polugrupa sa nulom. Zbog specifičnosti svoje strukture, polugrupe sa nulom zahtevaju i posebne tipove razlaganja. Teorija razlaganja polugrupa sa nulom, izložena u ovoj knjizi, zasniva se na razlaganjima u desnu sumu polugrupa i na ortogonalnim razlaganjima. Kao treće važno pitanje ove knjige izdvajamo tračna slaganja polugrupa. Značajniji doprinos razvoju ove teorije dali su A.H.Clifford, M.Petrich, M.Yamada, B.M.Schein i autori ove knjige. U Glavi 1. izlažu se osnovni pojmovi i rezulatati Teorije polugrupa koji se koriste u daljem tekstu. U Glavi 2. daju se, uglavnom opšta, svojstva π-regularnih i potpuno π-regularnih polugrupa. Razna razlaganja ovih polugrupa sistematski će biti obradjivana tokom ove knjige. Strukturom (0)- Arhimedovih polugrupa bavićemo se u Glavi 3. Glava 4. biće posvećena polugrupama sa potpuno prostim jezgrom. U Glavi 5. izlaže se Teorija polumrežnih razlaganja. Biće reči o najvećem polumrežnom razlaganju i o raznim njegovim tipovima. Glava 6. je prirodan nastavak prethodne glave. U njoj će biti izložena Teorija polumrežnih razlaganja (potpuno ) π- regularnih polugrupa na potpuno Arhimedove komponente. Sadržaj Glave 7. čine rezultati o nil-ekstenzijama unija grupa, posebno o retraktivnim. U Glavi 8. obradjuju se najveća razlaganja polugrupe sa nulom u desnu sumu i ortogonalnu sumu. Dobijeni rezultati primenjuju se na razne posebne slučajeve, kao i na mreže ideala polugrupe sa nulom. Glava 9. bavi se tračnim slaganjima polugrupa. Prave se konstrukcije pomoću sistema homomorfizama i daju njihove veze sa poddirektnim proizvodima, posebno sa kičmenim proizvodima. Koristimo priliku da se zahvalimo našem učitelju, profesoru dr. Svetozaru Miliću, za savete koji su ugradjeni u ovaj rukopis. Zahvaljujemo se i svim učesnicima Seminara za teoriju polugrupa u Nišu, čije su diskusije, pitanja i predlozi doprineli da ovaj rukopis bude bolji. Posebna zahvalnost za ogromno strpljenje i stalnu podršku tokom pisanja ove knjige pripada gospodjama Gordani Bogdanović i Vesni Randjelović-Ćirić. Autori duguju zahvalnost i svom velikom prijatelju gospodinu Božidaru Markoviću, čije razumevanje za izdavačke muke naučnika ni ovaj put nije izostalo, bez čijeg velikog truda ovaj rukopis još ne bi bio dostupan javnosti. Avgusta 1993, Univezitet u Nišu. Autori

9 Sadržaj Predgovor Sadržaj Glava 1 Uvod Definicija polugrupe Polugrupe relacija i preslikavanja Kongruencije i homomorfizmi Maksimalne podgrupe i monogene polugrupe Uredjeni skupovi i mreže Ideali Idealske i retraktivne ekstenzije Greenove relacije Slobodne polugrupe Glava 2 π-regularne polugrupe Opšta svojstva Potpuno π-regularne polugrupe Unije grupa π-inverzne polugrupe Glava 3 (0-)Arhimedove polugrupe Potpuno 0-proste polugrupe Arhimedove polugrupe Arhimedove polugrupe Polugrupe u kojima su pravi ideali Arhimedovi Glava 4 Polugrupe sa potpuno prostim jezgrom Strukturna teorema Teorema o izomorfizmu Polugrupe sa potpuno prostim pravim levim idealima c-(m, n)-idealske polugrupe iii

10 iv SADRŽAJ Glava 5 Teorija polumrežnih razlaganja Najveće polumrežno razlaganje Polumreže σ n -prostih polugrupa Polumreže λ-prostih polugrupa Polumreže Arhimedovih polugrupa Glava 6 Polumreže potpuno Arhimedovih polugrupa Opšti slučaj Polumreže nil-ekstenzija pravougaonih grupa Trake π-grupa Glava 7 Nil-ekstenzije unije grupa Opšti slučaj Retraktivne nil-ekstenzije unije grupa Nil-ekstenzije unije grupa indukovane identitetima Glava 8 Teorija razlaganja polugrupa sa nulom Najveće razlaganje u desnu sumu Najveće ortogonalno razlaganje Ortogonalne sume 0-prostih i nul-polugrupa primitivne π-regularne polugrupe Ortogonalne sume 0-σ-prostih polugrupa Mreže ideala polugrupa sa nulom Glava 9 Slaganja u traku polugrupa Trake polugrupa i sistemi homomorfizama Jake trake polugrupa Kičmeni proizvod trake i polumreže polugrupa Normalne trake polugrupa Trake monoida Trake grupa Literatura Preface Contents Lista simbola Indeks

11 GLAVA 1 Uvod U ovoj glavi su izloženi osnovni pojmovi i rezulatati Teorije polugrupa koji će biti korišćeni u glavnom delu ove knjige. Takodje, dati su i neki pojmovi iz Opšte teorije mreža i Booleovih algebri. Za dodatne informacije čitaoca upućujemo na specijalizovane monografije iz ovih oblasti Definicija polugrupe. Neka je S neprazan skup. Preslikavanje Dekartovog proizvoda S S u skup S, koje svakom uredjenom paru (a, b) elemenata iz S pridružuje jedan element iz S, označen sa a b, nazivamo (binarna) operacija na skupu S, ili (binarna) operacija skupa S. Uredjen par (S, ) nazivamo grupoid. Operacija grupoida (S, ) je asocijativna ako je (a b) c = a (b c), za sve a, b, c S. U tom slučaju, par (S, ) je polugrupa. Radi jednostavnijeg pisanja, uvodimo sledeći dogovor: Operaciju grupoida označavamo sa, i nazivamo je množenje ili proizvod, i element a b nazivamo proizvod elemenata a i b. Bez opasnosti od zabune, par (S, ) označavamo kraće sa S, pa umesto grupoid (S, ), govorimo kraće grupoid S. Kao zamenu za izraz a b koristimo izraz ab. U slučajevima kada koristimo neke druge simbole za označavanje operacija, to će biti posebno naznačeno. Ustanoviti da li je operacija grupoida asocijativna često nije jednostavno. A.H.Clifford i G.B.Preston u svojoj knjizi The algebraic theory of semigroups I navode Lightov test za asocijativnost konačnih grupoida. On se sastoji u sledećem: Neka je (S, ) grupoid. Definišimo na S dve nove operacije i sa: x y = x (a y), x y = (x a) y, (x, y S), gde je a S fiksirani element. Jasno je da na S važi asocijativni zakon ako i samo ako su operacije i jednake za svaki a S. Oslikajmo ovaj postupak na jednom primeru. Neka je (S, ) grupoid dat tablicom: 1

12 2 GLAVA 1 UVOD α β α β α β α α Tada za a = α proizvod a y je u prvoj vrsti (αα), i za a = β proizvod a y je u drugoj vrsti (βα). Proširimo sada datu tablicu na desno najpre pomoću prve, a potom pomoću druge vrste, i izvršimo sva množenja pomoću elemenata iz S. Na taj način dobijamo operaciju za oba elementa grupoida S. Slično, proširimo tablicu na dole pomoću kolona iz S. Tako dobijamo operaciju za sve elemente iz S. α β α α β α α α α α α α α β β α β β α β α α α β β α α α α α α α Sada nije teško videti da se za a = α tablice za i ne poklapaju, jer je β β = β (α β) = β α = β, β β = (β α) β = β β = α, što se vidi u proširenoj tablici. Dakle, gornjom tablicom nije definisana polugrupa. Sa Z + ćemo označavati skup svih pozitivnih celih brojeva. Teorema 1.1. Svaka polugrupa S zadovoljava uopšteni asocijativni zakon, tj. za svaki n Z +, proizvod n elemenata iz S ne zavisi od rasporeda zagrada. Dokaz. Neka su a 1, a 2,..., a n S, i neka je a 1 a 2 a n = a 1 (a 2 (a 3 (a n 1 a n )... )). Tvrdjenje teoreme neposredno sledi za n = 1 i n = 2. Ono je, takodje, tačno za n = 3, jer po pretpostavci, S jeste polugrupa. Uzmimo da je n > 3 i da tvrdjenje teoreme važi za svaki r < n. Uzmimo da je u element iz S jednak proizvodu elemenata a 1, a 2,..., a n, sa proizvoljnim razmeštajem zagrada. Tada se u može zapisati u obliku u = vw, gde je v proizvod elemenata a 1, a 2,..., a r i w je proizvod elemenata a r+1, a r+2,..., a n, (sa nekim razmeštajima zagrada), gde je 1 r < n. Indukcijom dobijamo da je v = a 1 a 2 a r i w = a r+1 a r+2 a n, i u = vw = (a 1 a 2 a r )(a r+1 a r+2 a n ) = (a 1 (a 2 a r ))(a r+1 a r+2 a n ) = a 1 ((a 2 a r )(a r+1 a r+2 a n )) = a 1 (a 2 a r a r+1 a r+2 a n ) = a 1 a 2 a n.

13 1.1. DEFINICIJA POLUGRUPE 3 za r > 1, i u = vw = a 1 (a 2 a n ) = a 1 a 2 a n, za r = 1. Ovim je dokazano tvrdjenje teoreme. Drugim rečima, uopšteni asocijativni zakon tvrdi da proizvod n elemenata polugrupe ne zavisi od redosleda kojim ćemo taj proizvod izračunavati, već zavisi samo od redosleda (posmatrano sleva na desno) kojim se ti elementi javljaju u tom proizvodu. Uzimajući u obzir Teoremu 1.1, u polugrupi S možemo izostaviti sve zagrade u proizvodima elemenata iz S, pa ćemo proizvod elemenata a 1, a 2,..., a n S (tim redosledom) označavati prosto sa a 1 a 2 a n, (n Z + ). Ako je a i = a, za svaki i {1, 2,..., n}, tada proizvod a 1 a 2 a n označavamo sa a n, i nazivamo ga n-ti ste- elementa a S. Ako je A neprazan podskup polugrupe S, skup pen A = {x S ( n Z + ) x n A} nazivamo radikal skupa A. Neka je S polugrupa. Elementi a, b S komutiraju ako je ab = ba. Ako je A neprazan podskup polugrupe S, tada sa C(A) označavamo skup svih elemenata iz S koji komutiraju sa svakim elementom iz A. Skup C(S) nazivamo centar polugrupe S a njegove elemente centralni elementi. Polugrupa S je komutativna ako svaka dva njena elementa komutiraju. Polugrupa S je anti-komutativna ako za a, b S, iz ab = ba sledi a = b. Ako je S proizvoljna polugrupa, tada na skupu S možemo definisati još jednu operaciju sa: a b = ba. Skup S sa tako definisanom operacijom je polugrupa, koju nazivamo dualna polugrupa polugrupe S, u oznaci S. Polugrupa ne mora biti komutativna, tj. vrednost proizvoda zavisi od redosleda elemenata koji se u njemu javljaju, i kao posledica toga u izrazima koji se odnose na polugrupe, njihove podskupove ili elemente se često javljaju odrednice levi i desni. Dual izraza koji se odnosi na polugrupu, njene podskupove ili njene elemente je izraz koji dobijamo zamenom svake od odrednica levi sa desni i obratno, i zamenom svakog proizvoda ab sa ba. Ako neko tvrdjenje A povlači tvrdjenje B, tada dual od A povlači dual od B. Zbog toga, ako je B neko tvrdjenje koje smo dokazali i ako je C njegov dual, tada C često koristimo ravnopravno sa B, iako ga ne dokazujemo. Element a polugrupe S je idempotent (idempotentan) ako je a 2 = a. Skup svih idempotenata polugrupe S označavamo sa E(S). Polugrupa čiji svi elementi su idempotenti je traka. Komutativnu traku nazivamo polumreža. Polumreža S je lanac ako za sve a, b S je ab = a ili ab = b. Neka je S polugrupa i neka je a S. Element e S je leva (desna) jedinica elementa a ako je ea = a ( ae = a ), i e je jedinica elementa a ako je ae = ea = a. Ako je e S jedinica (leva jedinica, desna jedinica) za sve elemente iz S, tada je e jedinica (leva jedinica, desna jedinica) polugrupe

14 4 GLAVA 1 UVOD S. Prema definicji, svaka (leva, desna) jedinica polugrupe je idempotent. Neposredno se proverava da polugrupa može imati najviše jednu jedinicu. Polugrupu koja ima jedinicu nazivamo polugrupa sa jedinicom ili monoid. Neka je S polugrupa i neka je e element koji nije sadržan u S. Na skupu S {e} dodefinišimo množenje sa: ae = ea = a, (a S), ee = e (proizvod elemenata iz S ostaje isti). Tada S {e} sa tako definisanim množenjem jeste polugrupa sa jedinicom e, i nazivamo je jedinično proširenje polugrupe S pomoću elementa e. Ako je S polugrupa, tada sa S 1 označavamo polugrupu dobijenu iz S na sledeći način: ako S ima jedinicu, tada je S 1 = S, a ako S nema jedinicu, tada S 1 jeste jedinično proširenje od S pomoću elementa 1. Jedinicu polugrupe najčešće označavamo simbolom e ili 1. Koristeći jedinično proširenje polugrupe, proširujemo i definiciju stepena u polugrupi: ako je S polugrupa i a je element iz S, tada je a 0 jedinica monoida S 1. Neka je S polugrupa i neka je z S. Element z je leva (desna) nula od S ako je za = z ( az = z ), i z je nula od S ako z jeste leva i desna nula od S. Svaka (leva, desna) nula polugrupe je idempotent. Prema tome, polugrupa u kojoj je svaki element leva (desna) nula je traka, koju nazivamo levo (desno) nulta traka. Drugim rečima, polugrupa S je levo (desno) nulta traka ako je ab = a ( ab = b ), za sve a, b S. Neposredno se proverava da polugrupa može imati najviše jednu nulu. Polugrupu koja ima nulu nazivamo polugrupa sa nulom. Ako je S polugrupa i ako je z element koji nije sadržan u S, na skupu S {z} dodefinišemo množenje sa: az = za = z, (a S), zz = z (proizvodi elemenata iz S ostaju isti), i tada S {z} jeste polugrupa sa nulom z, koju nazivamo nulto proširenje od S pomoću elementa z. Ako je S polugrupa, tada sa S 0 označavamo polugrupu dobijenu iz S na sledeći način: ako S ima nulu, tada je S 0 = S, a ako S nema nulu, tada S 0 jeste nulto proširenje od S pomoću elementa 0. Nulu polugrupe obično označavamo simbolom 0, i često izraz {0} zamenjujemo izrazom 0. U skladu sa prethodnim oznakama, sa S = S 0 označavamo da je S polugrupa sa nulom 0. Ako je S = S 0 i A S, tada koristimo oznake: A 0 = A 0, A = A 0. Ako je S = S 0, element a S je delitelj nule ako postoji b S tako da je ab = 0 ili ba = 0. Polugrupu S = S 0 koja nema delitelja nule, tj. kod koje je S podpolugrupa, nazivamo polugrupa bez delitelja nule. Parcijalna (binarna) operacija nepraznog skupa S je preslikavanje nepraznog podskupa skupa S S u S. Neprazan skup snabdeven parcijalnom operacijom nazivamo parcijalni grupoid. Ako je S parcijalni grupoid sa parcijalnom operacijom, i za proizvoljne x, y, z S, proizvod x (y z) je definisan ako i samo ako je definisan proizvod (x y) z, i pri tome su

15 1.1. DEFINICIJA POLUGRUPE 5 ti proizvodi jednaki, tada je S parcijalna polugrupa. Jasno je da svaki podskup polugrupe jeste parcijalna polugrupa. Sa druge strane, ako je Q parcijalna polugrupa, i ako je 0 element koji nije sadržan u Q, tada Q {0} sa operacijom definisanom sa: { xy ako su x, y, xy Q x y =, 0 inače gde je xy proizvod u Q, jeste polugrupa koju označavamo sa Q 0, i nazivamo nulto proširenje parcijalne polugrupe Q. Ako je X neprazan skup, tada sa P(X) označavamo partitivni skup skupa X, tj. skup svih podskupova skupa X. Neka je S polugrupa. Na partitivnom skupu polugrupe S definišimo množenje sa: AB = {x S ( a A)( b B) x = ab}, ( A, B P(S) ). Tada u odnosu na ovu operaciju P(S) jeste polugrupa koju nazivamo partitivna polugrupa polugrupe S. Jasno je da je P(S) polugrupa sa nulom (prazan skup), bez delitelja nule. Definicije i oznake koje smo uveli za množenje elemenata polugrupe S, koristićemo i za množenje elemenata polugrupe P(S). Za element a polugrupe S, u proizvodima podskupova od S, često izraz {a} zamenjujemo izrazom a. Neprazan podskup polugrupe S je podpolugrupa od S ako je T zatvoren za operaciju polugrupe S, tj. ako je ab T, za sve a, b T. Ako je T podpolugrupa polugrupe S, tada kažemo i da je S nadpolugrupa od S. Neposredno se proverava da presek proizvoljne familije podpolugrupa polugrupe S, ukoliko je neprazan, jeste takodje podpolugrupa od S. Prema tome, ako je A neprazan podskup od S, tada presek svih podpolugrupa od S koje sadrže A jeste podpolugrupa od S, koju označavamo sa A i nazivamo je podpolugrupa od S generisana skupom A. Polugrupa A je, u odnosu na skupovnu inkluziju, najmanja podpolugrupa od S koja sadrži A. Ako je A = {a 1, a 2,..., a n }, tada pišemo a 1, a 2,..., a n umesto {a 1, a 2,..., a n }, i kažemo da je A generisana elementima a 1, a 2,..., a n. Podpolugrupu a polugrupe S generisanu jednoelementnim podskupom {a} od S nazivamo monogena ili ciklična podpolugrupa od S. Ako je A podskup polugrupe S takav da je A = S, tada kažemo da A generiše polugrupu S i da je A generatorni skup polugrupe S. Elemente iz A nazivamo generatorni elementi ili generatori od S. Polugrupu generisanu svojim jednoelementnim podskupom nazivamo monogena ili ciklična polugrupa. Dokaz sledećeg tvrdjenja je elementaran, pa ga izostavljamo: Propozicija 1.1. Neka je A neprazan podskup polugrupe S. Tada je A = n Z +A n.

16 6 GLAVA 1 UVOD Neka je A neprazan podskup polugrupe S. Element a S ima razlaganje u proizvod elemenata iz A ako postoje a 1, a 2,..., a n A tako da je a = a 1 a 2 a n. Prema Propoziciji 1.1, A je generatorni skup polugrupe S ako i samo ako svaki element iz S ima ralaganje u proizvod elemenata iz A. Element a S ima jedinstveno razlaganje u proizvod elemenata iz A ako iz a = a 1 a 2 a n i a = b 1 b 2 b m, a i, b j A, sledi da je n = m i a i = b i, za svaki i {1, 2,..., n}. Zadaci. 1. Ako je e leva jedinica (leva nula) i f je desna jedinica (desna nula) polugrupe S, tada je e = f i e je jedinica (nula) polugrupe S. 2. Dokazati da podpolugrupa monogene polugrupe ne mora biti monogena. 3. Polugrupa S je levo nulta traka ako i samo ako njena dualna polugrupa jeste desno nulta traka. 4. Navesti primer (konačne) polugrupe u kojoj idempotenti ne čine podpolugrupu. 5. Navesti primere polugrupa sa nulom, sa i bez delitelja nule Polugrupe relacija i preslikavanja. Neka je A neprazan skup. Svaki podskup Dekartovog proizvoda A A (uključujući i prazan) nazivamo (binarna) relacija skupa A, ili (binarna) relacija na A. Skup ɛ A = {(a, a) a A} nazivamo identička relacija (dijagonala ili jednakost) skupa A. Skup ω A = A A nazivamo univerzalna (puna) relacija skupa A. Ukoliko se zna na koji se skup misli, identičku i univerzalnu relacuju tog skupa označavamo kraće sa ɛ i ω, tim redom. Prazan podskup od A A nazivamo prazna relacija skupa A. Ako je ξ relacija skupa A, i ako je (a, b) ξ, tada kažemo da su a i b u relaciji ξ, i često izraz (a, b) ξ zamenjujemo sa a ξ b. Neka je A neprazan skup i neka je B(A) skup svih binarnih relacija na A. Za α, β B(A), proizvod relacija α i β je relacija αβ na A definisana sa: αβ = {(a, b) A A ( x A) (a, x) α, (x, b) β}. Skup B(A) sa ovako definisanim množenjem je polugrupa koju nazivamo polugrupa (binarnih) relacija skupa A. Za n Z +, sa ξ n označavamo n-ti stepen relacije ξ skupa A u polugrupi B(A). Neka je A neprazan skup i neka je ξ B(A). Skup domξ = {a A ( b A) a ξ b} nazivamo domen relacije ξ. Skup ranξ = {b A ( a A) a ξ b} nazivamo rang relacije ξ. Za a A, aξ = {x A a ξ x}, ξa = {x A x ξ a}, i za X A, Xξ = {aξ a X}, ξx = {ξa a X}. Relaciju ξ 1 = {(a, b) A A b ξ a} nazivamo inverzna relacija

17 1.2. POLUGRUPE RELACIJA I PRESLIKAVANJA 7 relacije ξ. Jasno je da je dom(ξ 1 ) = ranξ, ran(ξ 1 ) = domξ. Relaciju {(a, b) A A (a, b) / ξ} nazivamo suprotna relacija relacije ξ. Neka je A neprazan skup. Element φ B(A) je parcijalno preslikavanje (parcijalna transformacija) skupa A ako je aφ = 1, za svaki a domφ (sa X označavamo kardinalni broj skupa X), tj. ako za svaki a domφ postoji tačno jedan b A takav da je (a, b) φ. Pri ovakvoj definiciji, i prazna relacija na A je parcijalno preslikavanje skupa A. Skup PT (A) svih parcijalnih preslikavanja skupa A je podpolugrupa polugrupe B(A), koju nazivamo polugrupa parcijalnih preslikavanja (transformacija) skupa A. Za ϕ, ψ PT (A) je dom(ϕψ) = [ranϕ domψ]ϕ 1, ran(ϕψ) = [ranϕ domψ]ψ, i važi sledeći uslov: a(ϕψ) = (xϕ)ψ, za svaki a dom(ϕψ), koji se koristi kao ekvivalent definicije množenja parcijalnih preslikavanja. Neka su ϕ i ψ parcijalna preslikavanja skupa A takva da je ϕ ψ. Tada je domϕ domψ i ranϕ ranψ. Ako uvedemo oznake X = domϕ, Y = domψ, tada kažemo da je ϕ restrikcija od ψ na X, u oznaci ϕ = ψ X, i da je ψ proširenje od ϕ na Y. Neka su X i Y neprazni skupovi. Ako je φ parcijalno preslikavanje nekog skupa tako da je domφ = X i ranφ Y, tada kažemo da je φ preslikavanje skupa X u skup Y (ili da φ slika X u Y ), i pišemo φ : X Y. Prema definiciji parcijalnog preslikavanja, za svaki x X postoji tačno jedan y Y tako da je (x, y) φ, i tada pišemo y = xφ i φ : x y, i kažemo da φ slika x u y. Ako je φ : X Y, i ako je X = Y, tada kažemo da je φ preslikavanje skupa X (u sebe). Ako φ : X Y, U X i V Y, tada skup Uφ = {y Y ( u U) uφ = y} nazivamo slika podskupa U (u odnosu na φ), i skup V φ 1 = {x X xφ V } nazivamo inverzna slika podskupa V (u odnosu na φ). Neka su X i Y neprazni skupovi i φ : X Y. Preslikavanje φ je injekcija (injektivno, jedan-jedan) ako za a, b X, iz aϕ = bϕ sledi da je a = b. Preslikavanje φ je sirjekcija (sirjektivno, na) ako je Xϕ = Y, tj. ako za svaki y X postoji x X tako da je xφ = y. Ako je φ sirjekcija, tada kažemo da je φ preslikavanje iz X na Y ili da slika X na Y. Preslikavanje φ je bijekcija (bijektivno, obostrano jednoznačno) ako φ jeste injekcija i sirjekcija. Preslikavanje ι X : X X nepraznog skupa X definisano sa xι X = x, (x X), je identičko preslikavanje skupa X. Neka su X i Y neprazni skupovi i neka ϕ : X Y. Ako postoji ψ : Y X tako da je ϕψ = ι X, ψϕ = ι Y, tada kažemo da je ψ inverzno preslikavanje od ϕ. Posmatrajmo sada preslikavanje ϕ kao parcijalno preslikavanje nekog skupa A. Ako je ψ inverzno preslikavanje od ϕ, tada je ψ = ϕ 1, gde je ϕ 1 inverzna relacija od ϕ. Obratno, ako je ϕ 1 parcijalno preslikavanje skupa

18 8 GLAVA 1 UVOD A, tada ϕ 1 : Y X i ϕ 1 je inverzno preslikavanje od ϕ. Dokaz sledeće propozicije je elementaran. Propozicija 1.2. Neka su X i Y neprazni skupovi. Preslikavanje ϕ : X Y ima inverzno preslikavanje ako i samo ako ϕ jeste bijekcija. Neka je X neprazan skup. Za preslikavanje ϕ skupa X koristićemo dva načina označavanja. Prvi način je desno označavanje preslikavanja: ϕ : x xϕ, (x X). Pri ovakvom označavanju kažemo da je ϕ preslikavanje skupa X pisano zdesna. Proizvod preslikavanja α i β skupa X pisanih zdesna je preslikavanje αβ skupa X koje se definiše sa x(αβ) = (xα)β, (x X). Skup T r (X) svih preslikavanja skupa X pisanih zdesna sa ovom operacijom je polugrupa koju nazivamo puna polugrupa transformacija (preslikavanja) skupa X pisanih zdesna. Polugrupa T r (X) je podpolugrupa polugrupe PT (X). Drugi način označavanja je levo označavanje preslikavanja: ϕ : x ϕx, (x X). U ovom slučaju kažemo da je ϕ preslikavanje skupa A pisano sleva. Proizvod preslikavanja α i β skupa X pisanih sleva je preslikavanje αβ skupa X koje definišemo sa: (αβ)x = α(βx), (x X). Skup T l (X) svih preslikavanja skupa X pisanih sleva sa ovom operacijom je polugrupa koju nazivamo puna polugrupa transformacija (preslikavanja) skupa X pisanih sleva. Jasno, polugrupe T l (X) i T r (X) su dualne. Zbog toga, obično razmatramo samo jednu od tih polugrupa, najčešće polugrupu T r (X), pa ćemo tu polugrupu kraće nazivati puna polugrupa transformacija (preslikavanja) skupa X. Neka je a element polugrupe S. Preslikavanje λ a T r (S) definisano sa xλ a = ax, (x S), nazivamo unutrašnja leva translacija polugrupe S. Preslikavanje ϱ a T r (S) definisano sa xϱ a = xa, (x S), nazivamo unutrašnja desna translacija polugrupe S. Osim (parcijalnih) preslikavanja, interesantni su i neki drugi tipovi relacija, pre svega uredjenja i relacije ekvivalencije. Neka je A neprazan skup. Relacija ξ skupa A je: refleksivna ako je a ξ a, za svaki a S, tj. ako je ɛ ξ; simetrična ako za a, b A, iz a ξ b sledi b ξ a, tj. ako je ξ ξ 1 ; anti-simetrična ako za a, b A, iz a ξ b i b ξ a sledi da je a = b, tj. ako je ξ ξ 1 ɛ; tranzitivna ako za a, b, c A, iz a ξ b i b ξ c sledi a ξ c, tj. ako je ξ 2 ξ. Refleksivnu i tranzitivnu relaciju nazivamo kvazi-uredjenje. Refleksivnu, antisimetričnu i tranzitivnu relaciju nazivamo uredjenje (relacija poretka).

19 1.2. POLUGRUPE RELACIJA I PRESLIKAVANJA 9 Refleksivnu, simetričnu i tranzitivnu relaciju nazivamo relacija ekvivalencije, ili kraće ekvivalencija. O uredjenjima će biti reči u Tački 1.5. Ovde ćemo se više zadržati na relacijama ekvivalencije. Neka je ξ relacija ekvivalencije skupa A. Elementi a, b A su ξ- ekvivalentni ako je a ξ b. Skup aξ nazivamo klasa ekvivalencije elementa a (u odnosu na ξ), ili ξ-klasa elementa a. Jasno je da je u tom slučaju a aξ. Skup svih ξ-klasa označavamo sa A/ξ i nazivamo ga faktor skup skupa A. Preslikavanje ξ : a aξ skupa A na faktor skup A/ξ nazivamo prirodno preslikavanje skupa A odredjeno relacijom ekvivalencije ξ. Neka su A i B neprazni skupovi i φ : A B. Relaciju kerφ = {(x, y) A A xφ = yφ} skupa A nazivamo jezgro preslikavanja φ. Vezu izmedju relacija ekvivalencije i preslikavanja daje sledeća propozicija, čiji je dokaz elementaran, pa ga zbog toga izostavljamo. Propozicija 1.3. Neka je A neprazan skup. Ako je φ preslikavanje skupa A u skup B, tada kerφ jeste relacija ekvivalencije na A. Osim toga, ako je ξ relacija ekvivalencije na A, tada je ker(ξ ) = ξ. Familija {A i i I} podskupova skupa A je razbijanje skupa A ako je A i, za svaki i I, A = i I A i, i za sve i, j I je A i = A j ili A i A j =. Sledeća propozicija, čiji je dokaz elementaran, pa ga izostavljamo, daje nam vezu izmedju razbijanja skupa A i relacija ekvivalencija na tom skupu: Propozicija 1.4. Neka je ϖ = {A i i I} razbijanje skupa A. Tada relacija ξ ϖ skupa A definisana sa: a ξ ϖ b ( i I) a, b A i, (a, b A), jeste relacija ekvivalencije skupa A. Obratno, neka je ξ relacija ekvivalencije skupa A. Tada familija ϖ ξ = {aξ a A} jeste razbijanje skupa A. Osim toga, preslikavanja ϖ ξ ϖ i ξ ϖ ξ su uzajamno inverzne bijekcije iz skupa svih razbijanja skupa A na skup svih relacija ekvivalencije skupa A, i obratno. Neka je A neprazan skup. Presek proizvoljne familije tranzitivnih relacija na A, ukoliko je neprazan, je tranzitivna relacija na A. Ako je ξ relacija na A, presek svih tranzitivnih relacija na A koje sadrže ξ je tranzitivna relacija koju označavamo sa ξ. Neposredno se provarava da je ξ = n Z +ξ n. Relaciju ξ nazivamo tranzitivno zatvorenje relacije ξ. Presek proizvoljne familije relacija ekvivalencije skupa A je neprazan, jer sadrži identičku relaciju na A, i taj presek je relacija ekvivalencije na A. Ako je ξ

20 10 GLAVA 1 UVOD relacija skupa A, tada presek svih relacija ekvivalencije koje sadrže relaciju ξ nazivamo relacija ekvivalencije generisana relacijom ξ, i označavamo je sa ξ e. Neposredno se proverava da je ξ e = (ξ ξ 1 ɛ). Preslikavanje ϑ koje svakoj polugrupi S pridružuje jednu relaciju polugrupe S, koju označavamo sa ϑ S, nazivamo tip relacija, i kažemo da je ϑ S relacija tipa ϑ na S. U slučajevima kada razmatramo jednu fiksnu polugrupu, oznaku ϑ S zamenjujemo sa ϑ. Ako je ϑ neki tip relacija i ako je ϑ S relacija ekvivalencije, za svaku polugrupu S, tada kažemo da je ϑ tip relacija ekvivalencije. Neka je ϑ neki tip relacija ekvivalencije. Polugrupa S je ϑ-prosta ako je ϑ S univerzalna relacija na S, tj. ako S ima samo jednu ϑ S -klasu. Zadaci. 1. Prazna relacija skupa A je nula polugrupe B(A). 2. Neka je ξ kvazi-uredjenje skupa A. Dokazati da: (a) ξ = ξ ξ 1 je relacija ekvivalencije na A; (b) za α, β A/ ξ važi: ( a α)( b β) a ξ b ( a α)( b β) a ξ b; (c) relacija na A/ ξ definisana sa: α β ( a α)( b β) a ξ b, (α, β A/ ξ), je uredjenje na A/ ξ; (d) za a, b S, iz a ξ b sledi bξ aξ i ξa ξb; (e) za a, b S važi: a ξ b aξ = bξ, a ξ b ξa = ξb. 3. Neka je φ PT (A). Tada je kerφ = φφ Za φ PT (A), element a domφ je fiksna tačka parcijalnog preslikavanja φ ako je aφ = a. Skup svih fiksnih tačaka parcijalnog preslikavanja φ označavamo sa fixφ. Dokazati da je φ idempotent polugrupe PT (A) ako i samo ako je fixφ = ranφ. 5. Za beskonačan prebrojiv skup A, S = {α T r (A) A Aα je beskonačan skup} je podpolugrupa od T r (A) koju nazivamo Baer-Levijeva polugrupa. Dokazati da Baer-Levijeva polugrupa nema idempotenata. Literatura. Birkhoff [1], Howie [1], [2], Madarász i Crvenković [1], Schein [5], Tamura [20], Thierrin [8] Kongruencije i homomorfizmi. Neka je ξ relacija ekvivalencije polugrupe S. Relacija ξ je leva (desna) kongruencija ako za sve a, b, c S, a ξ b povlači ca ξ cb ( ac ξ bc ). Relacija ξ je kongruencija ako je istovremeno i leva i desna kongruencija. Neposredno se dokazuje sledeća lema:

21 Lema KONGRUENCIJE I HOMOMORFIZMI 11 Relacija ekvivalencije ξ polugrupe S je kongruencija ako i samo ako za sve a, b, c, d S, a ξ b i c ξ d povlači ac ξ bd. Neposredno se proverava da presek proizvoljne familije kongruencija polugrupe S jeste takodje kongruencija na S. Odavde dobijamo da za proizvoljnu relaciju ξ polugrupe S, presek svih kongruencija na S koje sadrže ξ jeste konguencija na S koju nazivamo kongruencija generisana relacijom ξ, i označavamo je sa ξ #. Neka je ξ relacija ekvivalencije polugrupe S. Tada je ξ = {(a, b) S S ( x, y S 1 ) (xay, xby) ξ}. Važna osobina relacije ξ data je sledećom teoremom: Teorema 1.2. Neka je ξ relacija ekvivalencije polugrupe S. Tada relacija ξ jeste kongruencija na S sadržana u ξ. Osim toga, za proizvoljnu kongruenciju η na S sadržanu u ξ je η ξ. Dokaz. Jasno je da je ξ relacija ekvivalencije na S. Takodje, ako je (a, b) ξ i c S, tada je (xcay, xcby) ξ, za sve x, y S 1. Dakle, (ca, cb) ξ. Slično dobijamo da je (ac, bc) ξ. Dakle, ξ je kongruencija. Jasno, ξ ξ. Neka je η proizvoljna kongruencija na S sadržana u ξ. Uzmimo (a, b) η. Kako je η kongruencija, to je (xay, xby) η, za sve x, y S 1, odakle je (xay, xby) ξ, za sve x, y S 1, pa je (a, b) ξ. Prema tome, η ξ. Neka su S i T polugrupe. Preslikavanje φ : S T je homomorfizam ako je (aφ)(bφ) = (ab)φ, za sve a, b S. Neka je φ homomorfizam polugrupe S u polugrupu T. Ako je φ injektivan, tada kažemo da je φ monomorfizam ili potapanje, i da se S može potopiti u T. Ako je φ sirjektivan, tada je φ epimorfizam. Ako je φ bijekcija, tada kažemo da je φ izomorfizam a da su polugrupe S i T izomorfne, i pišemo S = T. Lako se dokazuje da je inverzno preslikavanje izomorfizma takodje izomorfizam. Neformalno, dve polugrupe su izomorfne ako i samo ako se jedna od njih može dobiti iz druge drugačijim označavanjem elemenata. Zbog toga obično poistovećujemo izomorfne polugrupe. Homomorfizam polugrupe S u sebe nazivamo endomorfizam, a izomorfizam iz S u sebe nazivamo automorfizam. Ako je φ homomorfizam polugrupe S u polugrupu T, tada je Sφ podpolugrupa od T. Polugrupa T je homomorfna slika polugrupe S ako postoji epimorfizam iz S na T. Neka je A podpolugrupa polugrupa S i T. Homomorfizam φ : S T je A-homomorfizam ako je aφ = a, za svaki a A. Neka su S i T polugrupe. Preslikavanje φ : S T je antihomomorfizam ako je (ab)φ = (bφ)(aφ), za sve a, b S. Bijektivni

22 12 GLAVA 1 UVOD anti-homomorfizam nazivamo anti-izomorfizam. Polugrupe S i T su anti-izomorfne ako postoji anti-izomorfizam iz S na T. Jasno je da su polugrupe S i T anti-izomorfne ako i samo ako je S izomorfna polugrupi T Ṗreslikavanje φ : S T je parcijalni homomorfizam parcijalne polugrupe S u parcijalnu polugrupu T ako za sve a, b S važi: ako je proizvod ab definisan u S, onda je i proizvod (aφ)(bφ) definisan u T i (aφ)(bφ) = (ab)φ. Bijektivni parcijalni homomorfizam nazivamo parcijalni izomorfizam. Neka je ξ kongruencija polugrupe S. Tada faktor skup S/ξ sa množenjem definisanim sa: (aξ)(bξ) = (ab)ξ, jeste polugrupa koju nazivamo faktor polugrupa, ili kraće faktor, polugrupe S u odnosu na kongruenciju ξ. Neposredno se dokazuje sledeća propozicija koja daje vezu izmedju kongruencija i homomorfizama: Teorema 1.3. (Teorema o homomorfizmu) Ako je ξ kongruencija polugrupe S, tada je ξ homomorfizam iz S na S/ξ. Obratno, ako je φ homomorfizam polugrupe S u polugrupu T, tada je kerφ kongruencija na S i preslikavanje Φ : S/kerφ T definisano sa: (akerφ)φ = aφ, (a S), je izomorfizam. Za kongruenciju ξ, homomorfizam ξ nazivamo prirodni homomorfizam indukovan kongruencijom ξ, dok za homomorfizam φ, kongruenciju kerφ nazivamo jezgro homomorfizma φ. Sobzirom na Teoremu o homomorfizmu, nećemo praviti razlike izmedju pojmova faktor i homomorfna slika. Teorema 1.4. Neka su ξ i η kongruencije polugrupe S i ξ η. Tada η/ξ = {(aξ, bξ) S/ξ S/ξ (a, b) η} jeste kongruencija na S/ξ i (S/ξ)/(η/ξ) = S/η. Dokaz. Neka je φ : S/ξ S/η preslikavanje definisano sa: (aξ)φ = aη. Za aξ, bξ S/ξ, [(aξ)(bξ)]φ = [(ab)ξ]φ = (ab)η = (aη)(bη) = [(aξ)φ][(bξ)φ]. Prema tome, φ je homomorfizam. Osim toga, (aξ)φ = (bξ)φ ako i samo ako je aη = bη, tj. (a, b) η. Dakle, kerφ = η/ξ, pa je η/ξ kongruencija i prema Teoremi o homomorfizmu dobijamo da je (S/ξ)/(η/ξ) = S/η. Neka je {A i i I} familija skupova i neka je A = Π i I S i Dekartov proizvod familije {A i i I}. Elemente iz A označavaćemo sa (a i ) i I ( a i A i, za svaki i I ), ili kraće (a i ), ako se zna o kom skupu indeksa je reč. Za i I, preslikavanje π i : A A i definisano sa: aπ i = a i, ako je a = (a j ) j I, nazivamo i-ta projekcija), i element a i nazivamo i-ta koordinata elementa a.

23 1.3. KONGRUENCIJE I HOMOMORFIZMI 13 Neka je {S i i I} familija polugrupa i neka je S Dekartov proizvod familije {S i i I}. Definišimo množenje na S pokoordinatno, tj. sa: (a i ) i I (b i ) i I = (a i b i ) i I, za (a i ) i I, (b i ) i I S. Tada S sa ovom operacijom jeste polugrupa, i za svaki i I, projekcija π i je epimomorfizam. Svaku polugrupu izomorfnu polugrupi S nazivamo direktan proizvod familije polugrupa {S i, i I}. Polugrupa S je poddirektan proizvod familije polugrupa {S i, i I}, ako je S izomorfna nekoj podpolugrupi T direktnog proizvoda Π i I S i za koju važi: za svaki i I, T π i = S i. Kongruencija ξ polugrupe S razdvaja elemente a i b iz S ako su a i b u različitim ξ-klasama, tj. ako (a, b) / ξ. Familija {ξ i i I} neidentičkih kongruencija polugrupe S razdvaja elemente iz S ako za svaki par a i b različitih elemenata iz S postoji kongruencija te familije koja ih razdvaja. Lako se proverava da važi: Lema 1.2. Familija {ξ i i I} neidentičkih kongruencija polugrupe S razdvaja elemente iz S ako i samo ako je i I ξ i = ɛ. Teorema 1.5. Neka je polugrupa S poddirektan proizvod familije polugrupa {S i, i I}. Tada familija {ξ i i I} kongruencija na S koje odgovaraju kongruencijama kerπ i, i I, jeste familija kongruencija na S koja razdvaja elemente iz S. Obratno, ako {ξ i i I} jeste familija neidentičkih kongruencija polugrupe S koja razdvaja elemente iz S, tada je S poddirektan proizvod familije polugrupa {S/ξ i i I}. Dokaz. Neka je {ξ i i I} familija neidentičkih kongruencija polugrupe S koja razdvaja elemente iz S. Definišimo preslikavanje φ : S Π i I S i, sa: aφ = (aξ) i I, (a S). Neposredno se proverava da je φ homomorfizam i da je (Sφ)π i = S/ξ i, za svaki i I. Ako su a, b S različiti elementi, tada postoji i I tako da (a, b) / ξ i, tj. aξ i bξ i, pa je aφ bφ. Prema tome, φ je monomorfizam. Dakle, S je poddirektan proizvod familije {S/ξ i I}. Obrat se dokazuje neposredno. Sobzirom na Teoremu o homomorfizmu, Teorema 1.5. se može iskazati i na sledeći način: Posledica 1.1. Neka je S polugrupa i neka je {S i i I} familija polugrupa. Tada je S poddirektan proizvod familije {S i i I} ako i samo ako važe sledeći uslovi: (a) za svaki i I postoji epimorfizam ϕ i iz S na S i ; (b) za a, b S, a b, postoji i I tako da je aϕ i bϕ i. Iz Posledice 1.1. dobijamo

24 14 GLAVA 1 UVOD Posledica 1.2. Neka je polugrupa S poddirektan proizvod familije polugrupa {S α α Y }, i za svaki α Y neka je S α poddirektan proizvod familije polugrupa {T α i i I α }. Tada S jeste poddirektan proizvod familije polugrupa {T α i i I α, α Y }. Definišimo množenje na Dekartovom proizvodu I Λ nepraznih skupova I i Λ sa: (i, λ)(j, µ) = (i, µ), ((i, j I, λ, µ Λ). Tada I Λ sa tako definisanim množenjem jeste traka, I Λ je izomorfna direktnom proizvodu levo nulte i desno nulte trake. Svaku polugrupu izomorfnu direktnom proizvodu levo nulte i desno nulte trake nazivamo pravougaona traka. Neka je C neka klasa polugrupa. Kongruencija ξ polugrupe S je C-kongruencija na S ako je faktor S/ξ iz klase C. Razbijanje polugrupe S koje odgovara C-kongruenciji nazivamo C-razlaganje polugrupe S, a odgovarajuću faktor polugrupu nazivamo C-homomorfna slika od S. Ako je C klasa traka, tada kažemo: tračna kongruencija, tračno razlaganje odnosno tračna homomorfna slika. Ako je C klasa polumreža, tada kažemo: polumrežna kongruencija, polumrežno razlaganje odnosno polumrežna homomorfna slika. Ako je C klasa pravougaonih traka, tada kažemo: matrična kongruencija odnosno matrično razlaganje, a ako je C klasa levo (desno) nultih traka, tada kažemo: levo (desno) nulta kongruencija odnosno levo (desno) nulto razlaganje. Kongruencija ξ polugrupe S je tračna kongruencija ako i samo ako je a ξ a 2, za svaki a S, tj. ako i samo ako svaka ξ-klasa od S jeste podpolugrupa od S. Neka je ξ tračna kongruencija polugrupe S i neka je B = S/ξ. Za i B, neka je S i = i(ξ ) 1. Tada je S i podpolugrupa od S, za svaki i B, S = i B S i, i za sve i, j B je S i S j S ij, i kažemo da je S traka B polugrupa S i, i B. Polugrupe S i, i B, su komponente tog tračnog razlaganja. Ako je C neka klasa polugrupa i ako za svaki i B, S i je iz klase C, tada kažemo da je S traka B polugrupa S i, i B, iz klase C. Ako je pri tome B polumreža (lanac, pravougaona traka, levo nulta traka, desno nulta traka), tada je S polumreža (lanac, matrica, levo nulta traka, desno nulta traka) B polugrupa S i, i B, (iz klase C). Analogne definicije uvodimo i za druge tipove traka. Zadaci. 1. Svaka polugrupa S se može potopiti u polugrupu T r (S 1 ). 2. Neka su ϕ i ψ homomorfizmi polugrupe S na polugrupe T i U, tim redom, tako da je kerϕ kerψ. Tada postoji jedinstven homomorfizam θ iz T na U takav da je ϕθ = ψ.

25 1.4. MAKSIMALNE PODGRUPE I MONOGENE POLUGRUPE Ako je ξ relacija polugrupe S, tada je ξ # = (ξ c ) e = [ξ c (ξ c ) 1 ɛ S ], gde je η c = {(xay, xby) x, y S 1, (a, b) ξ}, za η B(S). 4. Polugrupa S je poddirektno nesvodljiva ako zadovoljava sledeći uslov: kad god je S poddirektan proizvod familije polugrupa {S i i I}, tada je π i izomorfizam, za neki i I. Sledeći uslovi za polugrupu S su ekvivalentni: (i) S je poddirektno nesvodljiva; (ii) presek proizvoljne familije neidentičkih kongruencija na S je neidentička kongruencija na S; (iii) S ima najmanju neidentičku kongruenciju. 5. Svaka polugrupa je poddirektan proizvod poddirektno nesvodljivih polugrupa. Literatura. Clifford [1], [4], Clifford and Preston [1], Howie [1], Petrich [16], Schein [4], Thierrin [8] Maksimalne podgrupe i monogene polugrupe. Polugrupa S je grupa ako S ima jedinicu e i ako za svaki a S postoji b S takav da je ab = ba = e. Element b je jedini element iz G sa takvom osobinom, označavamo ga sa a 1 i nazivamo ga grupni inverz od a, ili inverz od a u grupi G. Podpolugrupa G polugrupe S je podgrupa od S, ako je G grupa. Neposredno se proverava da neprazan podskup G polugrupe S jeste podgrupa od S ako i samo ako je ag = Ga = G, za svaki a G. Podgrupa G polugrupe S je maksimalna podgrupa od S ako ne postoji podgrupa H od S takva da je G H. Sledećom teoremom opisuju se maksimalne podgrupe polugrupe: Teorema 1.6. Neka je e idempotent polugrupe S. Tada postoji maksimalna podgrupa od S sa jedinicom e, koju označavamo sa G e, i važi: G e = {a S a = ea = ae, ( a S) e = aa = a a} = {a S a es Se, e as Sa}. Dokaz. Jasno je da je svaka podgrupa od S sa jedinicom e sadržana u prvom skupu i da je prvi skup sadržan u drugom. Prvi skup je podgrupa od S sa jedinicom e. Neka je a element drugog skupa. Tada je a = ex = ye, e = az = wa, za neke x, y, z, w S. Odavde sledi da je ea = eex = ex = a, i slično, ae = a. Dalje, eze = eeze = ewaze = ewee =

26 16 GLAVA 1 UVOD ewe, odakle je e = ee = aze = a(eze) i e = ee = ewa = (ewe)a. Dakle, e = aa = a a, gde je a = eze = ewe, pa je a element prvog skupa. Teorema 1.7. Ako su e i f različiti idempotenti polugrupe S, tada je G e G f =. Dokaz. Uzmimo da je a G e G f. Tada je a = ea = ae = fa = af, e = aa = a a i f = aa = a a, za neke a, a S. Odavde je e = aa = faa = fe = a ae = a a = f. Prema tome, iz e f sledi da je G e G f. Ako je S polugrupa sa jedinicom e, element a S je invertibilan ako postoji b S tako da je ab = ba = e. Maksimalnu podgrupu G e tada nazivamo grupa jedinice, a njeni elementi su svi invertibilni elementi polugrupe S. Lema 1.3. Element a polugrupe S sa jedinicom je invertibilan ako i samo ako je as = Sa = S. Sledeća teorema će biti vrlo korisna u daljim razmatranjima. Teorema 1.8. (Munnova lema) Neka je x element polugrupe S takav da je x n element neke podgrupe G od S, za neki n Z +. Ako je e jedinica od G, tada je (a) ex = xe G e ; (b) x m G e, za svaki m Z +, m n. Dokaz. (a) Neka je y inverz elementa x n u G. Tada je ex = yx n+1 = yxx n = yxx n e = yxx n x n y = yx 2n+1 y, i slično se dokazuje da je xe = yx 2n+1 y. Prema tome, ex = xe. Kako je ey = ye = y, to je xy = xey = exy = yx n xy = yxx n y = yxe = yex = yx, odakle indukcijom dobijamo da je x k y = yx k, za svaki k Z +. Uzmimo da je z = x n 1 y = yx n 1. Tada je zxe = yx n 1 xe = yx n e = e, i slično, exz = e. Dalje je e(ex) = (ex)e = ex, pa ex = xe G e. (b) Neka je m Z +, m > n. Uzmimo r Z + takav da je nr > m, i uzmimo da je y inverz elementa x n u G e. Tada je x nr m y r = y r x nr m, i ako stavimo da je w = x nr m y r, tada je wx m = y r x nr m x m = y r x nr = (yx n ) r = e. Slično dokazujemo da je x m w = e. Sa druge strane, ex m = ex n x m n = x n x m n = x m, i slično, x m e = x m. Dakle, prema Teoremi 1.6, x m G e. Neka je S polugrupa. Kardinalni broj S nazivamo red polugrupe S. Ako je S konačan broj, tada kažemo da je S konačnog reda ili

27 1.4. MAKSIMALNE PODGRUPE I MONOGENE POLUGRUPE 17 da je konačna. U suprotnom kažemo da je S beskonačnog reda ili da je beskonačna. Polugrupa S je trivijalna ako je S = 1. Za element a S, red elementa a je red monogene podpolugrupe a od S. Red elementa a označavamo sa r(a). Ako je a konačna polugrupa, tada je a element konačnog reda. U suprotnom je a element beskonačnog reda. Element a polugrupe S je periodičan ako postoje m, n Z + tako da je a m = a m+n. Neka je a periodičan element polugrupe S. Skup {m Z + ( n Z + ) a m = a m+n } je podskup skupa prirodnih brojeva, pa ima najmanji element koji nazivamo indeks elementa a (indeks polugrupe a ), i označavamo ga sa i(a). Najmanji element skupa {n Z + a i(a) = a i(a)+n } nazivamo period elementa a (period polugrupe a ), i označavamo ga sa p(a). Teorema 1.9. Neka je a element polugrupe S. Ako a nije periodičan element, tada je a beskonačnog reda i monogena podpolugrupa a od S je izomorfna aditivnoj polugrupi (Z +, +) prirodnih brojeva. Ako je a periodičan element, tada je a konačnog reda r(a) = i(a) + p(a) 1, K a = {a i(a), a i(a)+1,..., a i(a)+p(a) 1 } je maksimalna podgrupa od a, i K a je monogena grupa reda p(a). Dokaz. Ako je a neperiodičan element, tada je jasno da je a beskonačnog reda i preslikavanje φ : Z + a definisano sa nφ = a n, (n Z + ), je izomorfizam. Neka je a periodičan element. Prema definiciji indeksa i perioda elementa, jasno je da su a, a 2,..., a i(a)+p(a) 1 medjusobno različiti elementi. Uzmimo proizvoljan n Z +. Tada je n = kp(a) + m, 0 k, 0 m p(a) 1, pa je a i(a)+n = a i(a)+kp(a)+m = a i(a)+m K a. Prema tome, a = {a, a 2,..., a i(a)+p(a) 1 }, i a je reda r(a) = i(a) + p(a) 1. Jasno je da je K a grupa izomorfna aditivnoj grupi ostataka celih brojeva po modulu p(a), da je K a reda p(a) i da je K a maksimalna podgrupa od a. Prema prethodnoj teoremi, dve monogene polugrupe su izomorfne ako i samo ako su istog indeksa i perioda. Monogenu polugrupu indeksa i i perioda p označavamo sa M(i, p). Polugrupa S je periodična ako je svaki njen element periodičan. Zadaci. 1. Označimo sa S(X) skup svih bijektivnih preslikavanja skupa X. Tada je S(X) grupa jedinice monoida T r (X). Grupu S(X) nazivamo simetrična grupa ili grupa permutacija skupa X.

28 18 GLAVA 1 UVOD 2. Svaka grupa se može potopiti u grupu permutacija nekog skupa. 3. Element a polugrupe S je periodičan ako i samo ako postoji n Z + tako da je a n E(S). 4. Svaka konačna polugrupa je periodična. 5. Beskonačna monogena polugrupa je poddirektan proizvod konačnih monogenih polugrupa. Literatura. Bosák [1], Clifford and Miller [1], Clifford and Preston [1], Howie [1], Kimura [1], Munn [2], Schwarz [3] Uredjeni skupovi i mreže. Podsetimo se da refleksivnu, antisimetričnu i tranzitivnu relaciju skupa A nazivamo uredjenje. Najčešće, uredjenje označavamo sa. Skup A snabdeven uredjenjem nazivamo uredjen skup. Ako je uredjenje skupa A linearno, tj. ako za sve a, b A je a b ili b a, tada je A linearno uredjen skup ili lanac. Ako je uredjenje skupa A, tada sa < označavamo relaciju na A definisanu sa: a < b a b a b (a, b A), i sa i > označavamo inverzne relacije relacija i <, redom. Neka su A i B uredjeni skupovi i ϕ : A B. Preslikavanje ϕ je izotono (očuvava uredjenje) ako za a, b A, iz a b sledi da je aϕ bϕ. Preslikavanje ϕ je antitono ako za a, b S, iz a b sledi aϕ bϕ. Neka je A uredjen skup. Element a A je minimalan (maksimalan) element skupa A ako ne postoji x A tako da je x < a (x > a), tj. ako za x A, iz x a (x a) sledi x = a. Element a A je najmanji (najveći) element skupa S ako je a x (a x), za svaki x A. Najmanji (najveći) element skupa A, ukoliko takav postoji, je minimalan (maksimalan) element skupa A, dok obratno ne mora da važi. Skup A može imati proizvoljno mnogo minimalnih (maksimalnih) elemenata, dok može imati najviše jedan najmanji (najveći) element. Neka je X neprazan podskup uredjenog skupa A. Element a A je gornja granica (donja granica) skupa X ako je x a (x a), za svaki x X. Element a A je najmanja gornja granica ili supremum (najveća donja granica ili infimum) skupa X, u oznaci a = X ( a = X ), ako važi: (a) a je gornja (donja) granica skupa X; (b) ako je b A gornja (donja) granica skupa X, tada je a b (a b). Ako je X = {x i i I}, tada pišemo i I x i ( i I x i ) umesto X ( X ), i ako je I = {1, 2,..., n}, n Z +, n 2, tada pišemo x 1 x 2 x n ( x 1 x 2 x n )

29 1.5. UREDJENI SKUPOVI I MREŽE 19 umesto i I x i ( i I x i ). Uredjen skup A je gornja (donja) polumreža ako svaki dvoelementni podskup od A ima supremum (infimum). Indukcijom se dokazuje da u tom slučaju svaki konačan podskup od A ima supremum (infimum). Za beskonačne podskupove od A to ne mora da važi. Uredjen skup A je mreža ako je A gornja i donja polumreža. Ako je A gornja (donja) polumreža, tada je preslikavanje : A A A ( : A A A ) dato sa: (1) : (a, b) a b, (a, b A), ( : (a, b) a b, (a, b A) ), asocijativna i komutativna operacija skupa A. To nam omogućuje da pojam donje polumreže (gornje polumreže, mreže) definišemo i na drugi način. Podsetimo se da naziv polumreža koristimo u Teoriji polugrupa za označavanje komutativne trake. Objasnićemo vezu izmedju ovog pojma i pojma donje polumreže. Ako je S polugrupa, tada relacija skupa E(S) svih idempotenata iz S, definisana sa: e f ef = fe = e, ( e, f E(S) ), je uredjenje koje nazivamo prirodno uredjenje na E(S). Ako je S traka, tada imamo uredjenje na S. Ako je S komutativna traka, tada u odnosu na svoje prirodno uredjenje, S jeste donja polumreža. Obratno, ako je A donja polumreža, tada u odnosu na operaciju, A jeste komutativna traka. Operacije i nazivamo redom unija i presek. Možemo dati i drugu definiciju mreže: Ako je L neprazan skup i ako su i binarne operacije skupa L koje zadovoljavaju sledeće uslove: (L1) Idempotentnost: x x = x, x x = x, (L2) Komutativnost: x y = y x, x y = y x, (L3) Asocijativnost: x (y z) = (x y) z, x (y z) = (x y) z, (L4) Apsorpcija: x (x y) = x, x (x y) = x, za sve x, y, z L, tada kažemo da je L mreža. Ako je L mreža u smislu prve definicije, tada u odnosu na operacije i definisane u (1), L jeste mreža u smislu druge definicije. Obratno, ako je L mreža u smislu druge definicije, tada definišemo uredjenje na L sa a b a b = a, (a, b L), ili, što je ekvivalentno, sa a b a b = b, (a, b L), i u odnosu na to uredjenje, L je mreža u smislu prve definicije. U izučavanju mreža, ravnopravno i uporedo se koriste obe ove definicije. Neposredno se dokazuje da su ekvivalentne definicija lanca kao linearno uredjenog skupa i definicija lanca kao polumreže u kojoj je xy = x ili xy = y, za sve x, y. Podskup K mreže L je podmreža od S ako je x y, x y K, za sve

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

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

Διαβάστε περισσότερα

Operacije s matricama

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

Διαβάστε περισσότερα

Algebarske strukture

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

Διαβάστε περισσότερα

3.1 Granična vrednost funkcije u tački

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

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

SISTEMI NELINEARNIH JEDNAČINA

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

Διαβάστε περισσότερα

KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI. NEUTRALNI ELEMENT GRUPOIDA.

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

Διαβάστε περισσότερα

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:

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

Διαβάστε περισσότερα

Neka je data korespondencija f A B. Tada korespondenciju f 1 B A definisanu sa. f 1 = {(b, a) B A (a, b) f}

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

Διαβάστε περισσότερα

a M a A. Može se pokazati da je supremum (ako postoji) jedinstven pa uvodimo oznaku sup A.

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

Διαβάστε περισσότερα

FUNKCIJE - 2. deo. Logika i teorija skupova. 1 Logika FUNKCIJE - 2. deo

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}

Διαβάστε περισσότερα

Elementi spektralne teorije matrica

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

Διαβάστε περισσότερα

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.

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

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

Funkcije. Predstavljanje funkcija

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

Διαβάστε περισσότερα

1 Algebarske operacije i algebraske strukture

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

Διαβάστε περισσότερα

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

Διαβάστε περισσότερα

Skupovi, relacije, funkcije

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

Διαβάστε περισσότερα

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

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.

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

Relacije poretka ure denja

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.

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

Osnovne teoreme diferencijalnog računa

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

Διαβάστε περισσότερα

ELEKTROTEHNIČKI ODJEL

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,

Διαβάστε περισσότερα

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

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. zadatak , 3 Dakle, sva kompleksna re{ewa date jedna~ine su x 1 = x 2 = 1 (dvostruko re{ewe), x 3 = 1 + i

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;

Διαβάστε περισσότερα

IZVODI ZADACI (I deo)

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

Διαβάστε περισσότερα

SOPSTVENE VREDNOSTI I SOPSTVENI VEKTORI LINEARNOG OPERATORA I KVADRATNE MATRICE

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

Διαβάστε περισσότερα

Iskazna logika 1. Matematička logika. Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia.

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

Διαβάστε περισσότερα

1 Aksiomatska definicija skupa realnih brojeva

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

Διαβάστε περισσότερα

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

Διαβάστε περισσότερα

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

radni nerecenzirani materijal za predavanja R(f) = {f(x) x D} Matematika 1 Funkcije radni nerecenzirani materijal za predavanja Definicija 1. Neka su D i K bilo koja dva neprazna skupa. Postupak f koji svakom elementu x D pridružuje točno jedan element y K zovemo funkcija

Διαβάστε περισσότερα

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,

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, PARCIJALNI IZVODI I DIFERENCIJALI Sama definicija parcijalnog ivoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je, naravno, naučiti onako kako vaš profesor ahteva. Mi ćemo probati

Διαβάστε περισσότερα

Algebarske strukture sa jednom operacijom (A, ): Ako operacija ima osobine: zatvorenost i asocijativnost, onda je (A, ) polugrupa

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

Διαβάστε περισσότερα

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

Διαβάστε περισσότερα

41. Jednačine koje se svode na kvadratne

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

Διαβάστε περισσότερα

SKUPOVI I SKUPOVNE OPERACIJE

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

Διαβάστε περισσότερα

Zavrxni ispit iz Matematiqke analize 1

Zavrxni ispit iz Matematiqke analize 1 Građevinski fakultet Univerziteta u Beogradu 3.2.2016. Zavrxni ispit iz Matematiqke analize 1 Prezime i ime: Broj indeksa: 1. Definisati Koxijev niz. Dati primer niza koji nije Koxijev. 2. Dat je red n=1

Διαβάστε περισσότερα

18. listopada listopada / 13

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

Διαβάστε περισσότερα

1 Uvodni pojmovi kombinatorike, I deo

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.

Διαβάστε περισσότερα

Dvanaesti praktikum iz Analize 1

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.

Διαβάστε περισσότερα

5 Ispitivanje funkcija

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:

Διαβάστε περισσότερα

Aksioma zamene. Aksioma dobre zasnovanosti. Aksioma dobre zasnovanosti Svaki neprazan skup A sadrži skup a takav da je A a = 0.

Aksioma zamene. Aksioma dobre zasnovanosti. Aksioma dobre zasnovanosti Svaki neprazan skup A sadrži skup a takav da je A a = 0. 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

Διαβάστε περισσότερα

Ispitivanje toka i skiciranje grafika funkcija

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

Διαβάστε περισσότερα

5. Karakteristične funkcije

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

Διαβάστε περισσότερα

1. Dušan Adnad ević i Zoran Kadelburg, Matematička analiza I, Naučna knjiga, Beograd, 1990.

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

Διαβάστε περισσότερα

MATEMATIKA 2. Grupa 1 Rexea zadataka. Prvi pismeni kolokvijum, Dragan ori

MATEMATIKA 2. Grupa 1 Rexea zadataka. Prvi pismeni kolokvijum, Dragan ori MATEMATIKA 2 Prvi pismeni kolokvijum, 14.4.2016 Grupa 1 Rexea zadataka Dragan ori Zadaci i rexea 1. unkcija f : R 2 R definisana je sa xy 2 f(x, y) = x2 + y sin 3 2 x 2, (x, y) (0, 0) + y2 0, (x, y) =

Διαβάστε περισσότερα

Uvod u teoriju brojeva

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)

Διαβάστε περισσότερα

Dimenzija vektorskog prostora

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,

Διαβάστε περισσότερα

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ć 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

Διαβάστε περισσότερα

APROKSIMACIJA FUNKCIJA

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

Διαβάστε περισσότερα

7 Algebarske jednadžbe

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.

Διαβάστε περισσότερα

IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f

IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f IspitivaƬe funkcija: 1. Oblast definisanosti funkcije (ili domen funkcije) D f 2. Nule i znak funkcije; presek sa y-osom IspitivaƬe

Διαβάστε περισσότερα

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

Διαβάστε περισσότερα

1 Svojstvo kompaktnosti

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:

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

PREDAVANJA IZ TEORIJE GRUPA

PREDAVANJA IZ TEORIJE GRUPA UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Igor Dolinka PREDAVANJA IZ TEORIJE GRUPA NOVI SAD, 2018. Sadržaj 1 Definicija i primeri grupa 1 1.1 Definicija

Διαβάστε περισσότερα

ELEMENTARNA MATEMATIKA 1

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

Διαβάστε περισσότερα

Zadaci sa prethodnih prijemnih ispita iz matematike na Beogradskom univerzitetu

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: Uvod. Operacije s vektorima.

M086 LA 1 M106 GRP Tema: Uvod. Operacije s vektorima. M086 LA 1 M106 GRP Tema:.. 5. 10. 2017. predavač: Rudolf Scitovski, Darija Marković asistent: Darija Brajković, Katarina Vincetić P 1 www.fizika.unios.hr/grpua/ 1 2 M086 LA 1, M106 GRP.. 2/17 P 1 www.fizika.unios.hr/grpua/

Διαβάστε περισσότερα

1 ISKAZNA I PREDIKATSKA LOGIKA Zadaci Rešenja SKUPOVI Zadaci RELACIJE Zadaci Rešenja...

1 ISKAZNA I PREDIKATSKA LOGIKA Zadaci Rešenja SKUPOVI Zadaci RELACIJE Zadaci Rešenja... Sadržaj 1 ISKAZNA I PREDIKATSKA LOGIKA 3 1.1 Zadaci............................... 6 1.2 Rešenja.............................. 8 2 SKUPOVI 13 2.1 Zadaci............................... 16 2.2 Rešenja..............................

Διαβάστε περισσότερα

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

(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,

Διαβάστε περισσότερα

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

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},

Διαβάστε περισσότερα

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

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.

Διαβάστε περισσότερα

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

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:

Διαβάστε περισσότερα

Bulove jednačine i metodi za njihovo

Bulove jednačine i metodi za njihovo Matematički fakultet Univerzitet u Beogradu Bulove jednačine i metodi za njihovo rešavanje Master rad Mentor: Slavko Moconja Student: Nevena Dordević Beograd, 2017. Sadržaj 1 Uvod 2 2 Bulova algebra 3

Διαβάστε περισσότερα

Geometrija (I smer) deo 1: Vektori

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

Διαβάστε περισσότερα

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

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

Matematička logika. novembar 2012

Matematička logika. novembar 2012 Predikatska logika 1 Matematička logika Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia novembar 2012 1 različiti nazivi: predikatska logika, logika prvog

Διαβάστε περισσότερα

Riješeni zadaci: Nizovi realnih brojeva

Riješeni zadaci: Nizovi realnih brojeva Riješei zadaci: Nizovi realih brojeva Nizovi, aritmetički iz, geometrijski iz Fukciju a : N R azivamo beskoači) iz realih brojeva i ozačavamo s a 1, a,..., a,... ili a ), pri čemu je a = a). Aritmetički

Διαβάστε περισσότερα

KURS IZ MATEMATIKE I

KURS IZ MATEMATIKE I UČITELJSKI FAKULTET U SOMBORU dr Aleksandar Petojević KURS IZ MATEMATIKE I TEORIJA I REŠENI ZADACI Sombor, 2003. Glava 1 Matematička logika 1.1 Teorija Definicija 1. Iskazi su one rečenice o kojima ima

Διαβάστε περισσότερα

Algebarske strukture. Braslav Rabar. 5. srpnja 2007.

Algebarske strukture. Braslav Rabar. 5. srpnja 2007. Algebarske strukture Braslav Rabar 5. srpnja 2007. Def 1 Neka je S neprazni skup tada pod binarnom operacijom na skupu S razumijevamo svako preslikavanje : S S S, a ureden par (S, ) skupa i neke binarne

Διαβάστε περισσότερα

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

Matematika (PITUP) Prof.dr.sc. Blaženka Divjak. Matematika (PITUP) FOI, Varaždin Matematika (PITUP) FOI, Varaždin Dio III Umijeće postavljanja pravih pitanja i problema u matematici treba vrednovati više nego njihovo rješavanje Georg Cantor Sadržaj Matematika (PITUP) Relacije medu

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

REPREZENTACIJA ALGEBARSKIH MREŽA MREŽAMA SLABIH KONGRUENCIJA. master teza

REPREZENTACIJA ALGEBARSKIH MREŽA MREŽAMA SLABIH KONGRUENCIJA. master teza REPREZENTACIJA ALGEBARSKIH MREŽA MREŽAMA SLABIH KONGRUENCIJA master teza Autor: Dušan Radičanin Mentor: dr Branimir Šešelja Novi Sad, 2013. 2 Sadržaj Predgovor 1 1 Uvod 5 1.1 Razvoj problema povezanih

Διαβάστε περισσότερα

1 Afina geometrija. 1.1 Afini prostor. Definicija 1.1. Pod afinim prostorom nad poljem K podrazumevamo. A - skup taqaka

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

Διαβάστε περισσότερα

radni nerecenzirani materijal za predavanja

radni nerecenzirani materijal za predavanja Matematika 1 Funkcije radni nerecenzirani materijal za predavanja Definicija 1. Kažemo da je funkcija f : a, b R u točki x 0 a, b postiže lokalni minimum ako postoji okolina O(x 0 ) broja x 0 takva da je

Διαβάστε περισσότερα

Dijagonalizacija operatora

Dijagonalizacija operatora Dijagonalizacija operatora Problem: Može li se odrediti baza u kojoj zadani operator ima dijagonalnu matricu? Ova problem je povezan sa sljedećim pojmovima: 1 Karakteristični polinom operatora f 2 Vlastite

Διαβάστε περισσότερα

III VEŽBA: FURIJEOVI REDOVI

III VEŽBA: FURIJEOVI REDOVI III VEŽBA: URIJEOVI REDOVI 3.1. eorijska osnova Posmatrajmo neki vremenski kontinualan signal x(t) na intervalu definisati: t + t t. ada se može X [ k ] = 1 t + t x ( t ) e j 2 π kf t dt, gde je f = 1/.

Διαβάστε περισσότερα

Rang i idempotentni rang u nekim polugrupama transformacija

Rang i idempotentni rang u nekim polugrupama transformacija UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Ivana Ðurđev Rang i idempotentni rang u nekim polugrupama transformacija -master teza- Mentor: dr Igor Dolinka

Διαβάστε περισσότερα

DISKRETNA MATEMATIKA

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

Διαβάστε περισσότερα

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.

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.

Διαβάστε περισσότερα

2log. se zove numerus (logaritmand), je osnova (baza) log. log. log =

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

Διαβάστε περισσότερα

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ć 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

Διαβάστε περισσότερα

FUNKCIONALNO GUSTE RELACIONE ALGEBRE

FUNKCIONALNO GUSTE RELACIONE ALGEBRE UNIVERZITET U NOVOM SADU PRIRODNO-MATEMATIČKI FAKULTET DEPARTMAN ZA MATEMATIKU I INFORMATIKU Ivan Prokić FUNKCIONALNO GUSTE RELACIONE ALGEBRE -master teza- Novi Sad, 2014 Sadržaj Predgovor 1 1 Uvod 3 1.1

Διαβάστε περισσότερα

Četrnaesto predavanje iz Teorije skupova

Č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

Διαβάστε περισσότερα

Matematička analiza 1 dodatni zadaci

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

Διαβάστε περισσότερα

KVADRATNA FUNKCIJA. Kvadratna funkcija je oblika: Kriva u ravni koja predstavlja grafik funkcije y = ax + bx + c. je parabola.

KVADRATNA FUNKCIJA. Kvadratna funkcija je oblika: Kriva u ravni koja predstavlja grafik funkcije y = ax + bx + c. je parabola. KVADRATNA FUNKCIJA Kvadratna funkcija je oblika: = a + b + c Gde je R, a 0 i a, b i c su realni brojevi. Kriva u ravni koja predstavlja grafik funkcije = a + b + c je parabola. Najpre ćemo naučiti kako

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

Linearna algebra 2 prvi kolokvij,

Linearna algebra 2 prvi kolokvij, 1 2 3 4 5 Σ jmbag smjer studija Linearna algebra 2 prvi kolokvij, 7. 11. 2012. 1. (10 bodova) Neka je dano preslikavanje s : R 2 R 2 R, s (x, y) = (Ax y), pri čemu je A: R 2 R 2 linearan operator oblika

Διαβάστε περισσότερα

Diferencijabilnost funkcije više promenljivih

Diferencijabilnost funkcije više promenljivih Matematiči faultet Beograd novembar 005 godine Diferencijabilnost funcije više promenljivih 1 Osnovne definicije i teoreme, primeri Diferencijabilnost je jedan od centralnih pojmova u matematičoj analizi

Διαβάστε περισσότερα

DRŽAVNI UNIVERZITET U NOVOM PAZARU TOPOLOGIJA SA ODABRANIM ZADACIMA SKRIPTA NOVI PAZAR, 2014 (2011).

DRŽAVNI UNIVERZITET U NOVOM PAZARU TOPOLOGIJA SA ODABRANIM ZADACIMA SKRIPTA NOVI PAZAR, 2014 (2011). DRŽAVNI UNIVERZITET U NOVOM PAZARU dr. Dženis F. Pučić TOPOLOGIJA SA ODABRANIM ZADACIMA SKRIPTA NOVI PAZAR, 2014 (2011). Predgovor prvom izdanju Ova skripta nastala su kao rezultat potrebe da se studentima

Διαβάστε περισσότερα

XI dvoqas veжbi dr Vladimir Balti. 4. Stabla

XI dvoqas veжbi dr Vladimir Balti. 4. Stabla XI dvoqas veжbi dr Vladimir Balti 4. Stabla Teorijski uvod Teorijski uvod Definicija 5.7.1. Stablo je povezan graf bez kontura. Definicija 5.7.1. Stablo je povezan graf bez kontura. Primer 5.7.1. Sva stabla

Διαβάστε περισσότερα

ELEMENTARNE FUNKCIJE dr Jelena Manojlović Prirodno-matematički fakultet, Niš

ELEMENTARNE FUNKCIJE dr Jelena Manojlović Prirodno-matematički fakultet, Niš 1 1. Osnovni pojmovi ELEMENTARNE FUNKCIJE dr Jelena Manojlović Prirodno-matematički fakultet, Niš Jedan od najvažnijih pojmova u matematici predstavlja pojam funkcije. Definicija 1.1. Neka su X i Y dva

Διαβάστε περισσότερα

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

Strukture podataka i algoritmi 1. kolokvij 16. studenog Zadatak 1 Strukture podataka i algoritmi 1. kolokvij Na kolokviju je dozvoljeno koristiti samo pribor za pisanje i službeni šalabahter. Predajete samo papire koje ste dobili. Rezultati i uvid u kolokvije: ponedjeljak,

Διαβάστε περισσότερα