Zvezna funkcija
Zvézna fúnkcija je v matematiki funkcija, pri kateri majhna sprememba podatka povzroči majhno spremembo funkcijske vrednosti. Graf zvezne funkcije je nepretrgan.
Matematična definicija
urediZveznost nas po navadi zanima pri realnih funkcijah realne spremenljivke. Zveznost funkcije v okolici točke a definiramo z definicijo epsilon-delta, ki jo je vpeljal Augustin Louis Cauchy:
Funkcija f je v točki a zvezna, če za poljubno majhno pozitivno število ε obstaja pozitivno število δ, tako da velja:
(Razlaga: če se x za manj kot δ razlikuje od a, potem se f(x) za manj kot ε razlikuje od f(a).)
Zveznost lahko definiramo tudi z limito funkcije: Funkcija je v točki a zvezna, če in samo če je limita v tej točki enaka funkcijski vrednosti, tj.:
Zgledi
urediZgledi zveznih funkcij:
- Vsak polinom je povsod zvezna funkcija (vključno z linearno in kvadratno funkcijo). To pomeni, da se graf polinoma nikjer ne pretrga.
- Racionalna funkcija je zvezna povsod, kjer je definirana. Opomba: Tu velja poseben poudarek na besedah »kjer je definirana«. Racionalna funkcija ni definirana v polih, zato se graf v polih pretrga.
- Potenčna in korenska funkcija sta zvezni povsod, kjer sta definirani.
- Eksponentna in logaritemska funkcija sta zvezni povsod, kjer sta definirani.
- Trigonometrične funkcije so zvezne povsod, kjer so definirane.
Za zgled nezveznosti si oglejmo funkcijo signum (funkcijo predznaka), ki je definirana kot:
Ta funkcija je sicer povsod definirana, vendar pa v točki 0 ni zvezna - graf se tam pretrga.
Zgodovina
urediObliko definicije (ε, δ) zveznosti je prvi podal Bernard Bolzano leta 1817. Cauchy je pri definiciji zveznosti funkcije upošteval, da neskončno majhni prirastek neodvisne spremenljivke zmeraj povzroči neskončno majhno spremembo odvisne spremenljivke y. (glej npr. Cours d'Analyse, str. 34). Neskončno majhne količine je definiral s pomočjo spremenljivih količin, njegova definicija zveznosti ustreza sodobni definiciji infinitezimal (glej mikrozveznost). Formalno definicijo in razliko med zveznostjo po točkah in enakomerno zveznostjo je prvi podal Bolzano v 1830-ih, vendar njegovo delo ni bilo objavljeno do 1930-ih. Eduard Heine je pripravil prvo objavljeno definicijo enakomerne zveznosti leta 1872, ki je temeljila na zamislih iz predavanj o določenih integralih Johanna Petra Gustava Lejeunea Dirichleta leta 1854.[1]
Opombe in sklici
urediViri
uredi- Rusnock, P.; Kerr-Lawson, A. (2005). »Bolzano and uniform continuity«. Historia Mathematica. Zv. 32, št. 3. str. 303–311.