U matematici, niz je uređena lista objekata (ili događaja). Kao i skup, niz sadrži članove (ili elemente), a njihov broj (koji može da bude beskonačan) se naziva dužinom niza. Za razliku od skupa, redosled članova niza je bitan, a isti element može da se pojavljuje više puta na različitim pozicijama u nizu.
Na primer, (D, V, H) je niz slova koji se razlikuje od niza (H, V, D), jer se gleda uređenje. Nizovi mogu da budu konačni, kao u ovom primeru, ili beskonačni, kao što je niz svih parnihpozitivnihcelih brojeva (2, 4, 6, ...).
Beskonačan niz realnih brojeva (plavo). Ovaj niz nije ni rastući ni opadajući, ni konvergentan, niti Košijev. Međutim on jeste ograničen.
Primeri i notacija
Niz može da se označi kao (a1, a2, ...). Radi kraćeg zapisa, koristi se i notacija (an).
Formalnija definicija konačnog niza čiji su članovi u skupu S je funkcija iz {1, 2, ..., n} u S za neko n ≥ 0. Beskonačan niz članova skupa S je funkcija iz {1, 2, ...} (skupa prirodnih brojeva bez 0) u S.
Indeksi nizova mogu da počinju i od 0, pa je tada prvi element niza a0.
niz fiksne dužine, n se takođe naziva i n-torkom. Konačni nizovi uključuju i prazan niz (), koji nema elemenata.
Funkcija iz skupa svih celih brojeva u neki skup se ponekad naziva i bi-beskonačnim nizom, jer može da se posmatra kao niz indeksiran negativnim brojevima na koji je nalepljen niz indeksiran pozitivnim brojevima.
Tipovi i svojstva nizova
Podniz datog niza je niz formiran od datog niza brisanjem nekih elemenata bez promene relativnih položaja preostalih elemenata.
Ako su članovi niza podskup nekog uređenog skupa, onda je monotono rastući niz onaj niz kod koga je svaki član veći ili jednak od prethodnog; ako je svaki član strogo veći od prethodnog, onda se radi o strogo monotono rastućem nizu. Monotono opadajući niz je definisan na sličan način. Svaki niz koji ispunjava svojstvo monotonosti se naziva monotonim. Ovo je specijalni slučaj opštijeg pojma monotone funkcije.
Izrazi neopadajući i nerastući se koriste kako bi se izbegla zabuna sa strogo neopadajućim i strogo nerastućim nizovima.
Ako S poseduje topologiju, onda je moguće da se razmatra konvergencija beskonačnih nizova u S. Takva razmatranja uključuju koncept limesa niza.
Nizovi u analizi
U analizi, kada se govori o nizovima, obično se luka peisc
or
što znači, beskonačni nizovi, indeksirani prirodnim brojevima.
Može da bude zgodno da indeks niza ne počinje od 1 ili 0. Na primer, niz definisan kao xn = 1/log(n) bi bio definisan samo za n ≥ 2.
Kada se govori o takvim beskonačnim nizovima, obično je dovoljno (i ne menja mnogo njihovo proučavanje) pretpostaviti da su članovi niza definisani za sve dovoljno velike, to jest, veće od nekog datog N.)
Većina elementarnih tipova nizova su numeričkog tipa, to jest nizovi realnih ili kompleksnih brojeva.
Ovaj tip može da se uopšti u nizove elemenata nekog vektorskog prostora. U analizi, proučavani vektorski prostori su često prostori funkcija. Još opštije, mogu da se proučavaju nizovi čiji elementi su iz nekog topološkog prostora.
Zbir članova niza je red. Preciznije, ako je (x1, x2, x3, ...) niz, mogu da se posmatraju parcijalne sume (S1, S2, S3, ...), gde je
Formalno, ovaj par nizova čini red sa elementima x1, x2, x3, ..., što se označava kao
ako je niz parcijalnih suma konvergentan, takođe se koristi notacija beskonačne sume za njegov limes. Za detaljnije objašnjenje videti članak red.
Beskonačni nizovi u teorijskom računarstvu
Beskonačni nizovi cifara ili karaktera iz konačneazbuke su od posebnog značaja u teorijskom računarstvu. Često se nazivaju jednostavno nizovima (umesto konačnih niski). Beskonačni binarni nizovi, na primer, su beskonačni nizovi bitova (karaktera iz azbuke {0, 1}). Skup C = {0, 1}∞ svih beskonačnih binarnih nizova se ponekad naziva Kantorovim prostorom.
Beksonačan binarni niz može da se predstavi formalnim jezikom (skupom niski) postavljanjem n tog bita niza na 1 ako i samo ako je n ta niska deo jezika. Stoga, proučavanje klasa kompleksnosti, koje su skupovi jezika, može da se posmatra kao proučavanje skupova beskonačnih nizova.
Beskonačan niz iz azbuke {0, 1, ..., b−1} takođe može da es predstavi ako realan broj u osnovi -b. Ova ekvivalencija se često koristi da se tehnike realne analize uvedu u proučavanje klasa kompleksnosti.
Specifično, izraz prostor niza se obično odnosi na linerani potprostor skupa svih mogućih beskonačnih nizova sa elemenetima iz .
Dvostrano-beskonačni nizovi
Obično izraz beskonačan niz podrazumeva niz koji je beskonačan u jednom smeru - ima prvi element ali nema poslednji element (jednostrano-beskonačni niz). Dvostrano-beskonačni niz je beskonačan u oba smera - nema ni prvi ni poslednji element. Jednostrano-beskonačni nizovi su funkcije iz skupa prirodnih brojeva (N) u neki skup, dok su dvostrano-beskonačni nizovi funkcije iz skupa celih brojeva (Z) u neki skup.
Nizovi i automati
Automati ili mašine konačnih stanja se obično posmatraju kao uređeni grafovi čije su grane obeležene nekom specifičnom azbukom Σ. Većina uobičajenih tipova automata prelaze iz jednog u drugo stanje čitanjem ulaznih slova iz azbuke Σ, i prateći grane sa odgovarajućim natpisima; uređeni ulaz za takav automat formira niz koji se naziva reč (ili ulazna reč). Niz stanja kroz koja automat prolazi dok procesira reč se naziva prolazom. Nedeterministički automat može da ima neoznačene izlazne grane ili da ima više izlaznih grana sa istom oznakom, što daje više od jednog stanja za neka ulazna slova. Ovo se uglavnom posmatra kao pravljenje više mogućih prolaza za datu reč, od kojih svaki predstavlja niz pojedinačnih stanja, a ne kao pravljenje jednog prolaza koji ima niz skupa stanja; međutim izraz prolaz se nekad koristi i u ovom drugom značenju.
