Funkcja
Z Wikipedii
Funkcja – intuicyjnie: sposób przyporządkowania każdemu elementowi danego zbioru X dokładnie jednego elementu pewnego zbioru Y.
Ściśle funkcja jest definiowana jako relacja pomiędzy elementami zbioru X (dziedziny) i elementami zbioru Y (przeciwdziedziny), o tej własności, że każdy element zbioru X jest w relacji z jednym i tylko jednym elementem zbioru Y.
Spis treści |
[edytuj] Przykłady
Załóżmy, że między dwoma liczbami całkowitymi i
zachodzi związek
. Ta zależność pozwala jednoznacznie wyznaczyć
mając dany
, np. dla
mamy
, dla
mamy
. Jest to zatem funkcja.
Każda funkcja przyporządkowuje argumentom (tutaj oznaczanym ) odpowiadające im wartości (tutaj oznaczane y). Oznaczając funkcję literą
, wartość dla argumentu x zapisuje się
(czyt. "f od x")[1]. Tak więc dla argumentu
wartością funkcji
jest
, czyli
.
Dziedziną funkcji nazywa się zbiór wszystkich argumentów, a zbiorem wartości zbiór wszystkich wartości przyjmowanych przez funkcję; w tym przykładzie dziedziną jest zbiór liczb całkowitych, a zbiorem wartości zbiór liczb parzystych. Często wymaga się podania przeciwdziedziny, która zawiera zbiór wartości, lecz nie musi być mu równa[2]. Jeżeli w przykładzie za przeciwdziedzinę obierzemy zbiór liczb całkowitych, to liczby nieparzyste nie będą w zbiorze wartości.
Zdanie "f jest funkcją o dziedzinie i przeciwdziedzinie
" zapisuje się
, zbiór wszystkich funkcji
zapisuje się
.
Funkcje nie muszą odnosić się do liczb. Przykłady:
- przyporządkowanie każdemu ciału fizycznemu jego środka ciężkości,
- przyporządkowanie każdemu mieszkańcowi miasta jego pierwszego imienia,
- symetria względem prostej,
- symetria względem punktu.
[edytuj] Nazwa
W matematyce określenia: funkcja, przekształcenie, odwzorowanie, transformacja, operator, działanie, itd. są zwykle synonimami. Jednakże w różnych dyscyplinach matematycznych preferowane jest używanie niektórych z nich, znaczenie niektórych zostało zaś zawężone. Użycie konkretnej nazwy podyktowane jest dzisiaj przede wszystkim względami historycznymi.
Choć w analizie matematycznej rozpatruje się przede wszystkim funkcje, to w geometrii, algebrze liniowej mówi się o przekształceniach (przekształceniach liniowych), w algebrze uniwersalnej rozważa się z kolei działania, zaś w analizie funkcjonalnej bada się własności operatorów, czy funkcjonałów.
[edytuj] Sposoby określenia funkcji
Jeżeli dziedzina jest skończona, wystarczy wymienić wszystkie pary argument – wartość. Można to zrobić za pomocą grafu (przykład obok).
Najczęściej funkcje definiuje się wzorem lub ogólniej – algorytmem[3], tj. metodą pozwalającą znaleźć dla danego
. Możliwe jest użycie rekursji, rozwinięcia w szereg potęgowy itp.
Oczywiście powyższe metody nie wykluczają opisu słownego, który bywa niekiedy wygodniejszy, np. "każdej liczbie całkowitej dodatniej przyporządkowujemy
-tą liczbę pierwszą".
W matematyce stosowanej funkcje często określa się za pomocą tabeli lub wykresu. Nie pozwala to na ogół ustalić dokładnej zależności, lecz przy pewnych założeniach możliwa jest ich interpolacja (przybliżanie), całkowanie numeryczne itp.
[edytuj] Pojęcia
[edytuj] Złożenie. Iteracja
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Mając dwie funkcje i
można utworzyć funkcję złożoną
, określoną wzorem
.
Wielokrotne złożenie funkcji nosi nazwę iteracji. Ściśle: n-tą iteracją funkcji f nazywa się funkcję
[edytuj] Funkcja różnowartościowa
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Funkcję nazywa się funkcją różnowartościową (iniekcją), gdy jej wartości dla różnych argumentów są różne. Symbolicznie:
dla
Przykładem funkcji różnowartościowej jest funkcja określona wzorem .
[edytuj] Funkcja "na"
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Funkcję nazywa się funkcją "na" (suriekcją), jeżeli jej przeciwdziedzina Y jest równocześnie jej zbiorem wartości.Oznacza to, że dla każdego
istnieje co najmniej jedno
takie, że f(x) = y.
[edytuj] Funkcja wzajemnie jednoznaczna
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Funkcję będącą jednocześnie różnowartościową i "na" nazywa się funkcją wzajemnie jednoznaczną (bijekcją). Innymi słowy, bijekcja przyporządkowuje każdemu dokładnie jedno
(i na odwrót). Bijekcja
może istnieć tylko wtedy, gdy zbiory X i Y mają tyle samo elementów (są równej mocy). Bijekcję
nazywa się permutacją.
[edytuj] Funkcja odwrotna
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Dla każdej funkcji wzajemnie jednoznacznej można określić funkcję taką, że
, którą nazywa się wówczas funkcją odwrotną.
[edytuj] Punkt stały
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Jeżeli dla pewnego zachodzi f(x) = x, wtedy x nazywa się punktem stałym funkcji f. Przykładowo, jeżeli Sl jest symetrią względem prostej l, to dla punktów P leżących na l zachodzi Sl(P) = P.
[edytuj] Niezmiennik
Jeżeli funkcja nie zmienia pewnej cechy obiektów, to tę cechę nazywa się niezmiennikiem funkcji. Przykładowo, niezmiennikiem funkcji jest wartość bezwzględna liczby rzeczywistej. Istotnie: | f(x) | = | − x | = | x | . Niezmiennikiem funkcji f(x) = 2x jest znak liczby: wartość funkcji dla liczby dodatniej jest liczbą dodatnią, dla zera jest równa zeru, dla liczby ujemnej jest liczbą ujemną.
[edytuj] Zawężenie
Mając daną funkcję można określić jej zawężenie (obcięcie) do zbioru
. Jest to funkcja
taka, że g(x) = f(x) dla każdego
.
[edytuj] Obraz
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Obrazem zbioru poprzez funkcję
nazywa się podzbiór elementów
, dla których istnieje
że f(x) = y. Symbolicznie:
,
Przykładowo, obrazem zbioru liczb dodatnich poprzez funkcję f(x) = − x jest zbiór liczb ujemnych. Obrazem dziedziny funkcji poprzez tę funkcję jest jej zbiór wartości nazywany również obrazem funkcji.
[edytuj] Przeciwobraz
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Przeciwobrazem zbioru nazywa się zbiór argumentów
, którym są przyporządkowane elementy zbioru B:
.
[edytuj] Wykres
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Wykresem funkcji f na zbiorze nazywa się zbiór par uporządkowanych
dla
.
.
Wykres funkcji Wf(A) nie jest tym samym co jej obraz f(A): pierwszy z nich jest zbiorem par uporządkowanych elementów dziedziny i przeciwdziedziny (argumentów i ich obrazów), drugi zaś wyłącznie podzbiorem przeciwdziedziny.
[edytuj] Funkcje w analizie matematycznej
Funkcją rzeczywistą zmiennej rzeczywistej nazywa się każdą funkcję gdzie
. Podobnie definiuje się funkcję zespoloną zmiennej zespolonej. Funkcje te są rozważane głównie w działach analizy matematycznej: analizie rzeczywistej i analizie zespolonej.
Na takich funkcjach można wykonywać działania:
- (fg)(x) = f(x)g(x)
dla
o ile tylko x należy zarówno do dziedziny f jak i dziedziny g.
Matematycznym modelem zbioru funkcji z określonymi działaniami jest przestrzeń funkcyjna.
[edytuj] Rodzaje
Niektóre szczególne rodzaje funkcji wraz z nieścisłym opisem:
- funkcje monotoniczne – wartości dla kolejnych argumentów są coraz większe, mniejsze, nie mniejsze, nie większe lub stałe,
- funkcje ograniczone – zbiór wartości jest ograniczony,
- funkcje parzyste i nieparzyste – wykres jest symetryczny względem osi OY bądź początku układu współrzędnych;
- funkcje okresowe – wartości "powtarzają się" co pewną ustaloną wartość nazwaną okresem,
- funkcje ciągłe – można nakreślić ich wykres bez odrywania ołówka od kartki,
- funkcje różniczkowalne - mające pochodną w każdym punkcie swojej dziedziny.
Zobacz też: funkcje elementarne, funkcje specjalne, badanie przebiegu zmienności funkcji
[edytuj] Definicja formalna
Nieformalna definicja funkcji jako przyporządkowania jest używana również dzisiaj, np. w podręcznikach wprowadzających do analizy matematycznej. Jest ona wystarczająca dla dużej liczby zastosowań, lecz używa pojęcia "przyporządkowania", którego sens trudno oddać w ścisły sposób.
Funkcją ze zbioru X w zbiór Y nazywa się podzbiór iloczynu kartezjańskiego (relację dwuargumentową) spełniający warunki
,
,
czyli
- każdy element zbioru X musi być w relacji z dokładnie jednym elementem zbioru Y.
Zbiór X nazywa się dziedziną funkcji, zbiór Y jej przeciwdziedziną. Zbiór W nazywa się wykresem funkcji.
Jeżeli to mówimy, że wartością funkcji dla x jest y, co zapisuje się f(x) = y. Z definicji wynika, że y jest wyznaczone jednoznacznie. Dla
symbol f(x) jest nieokreślony.
Przy określaniu funkcji należy podać przeciwdziedzinę, ponieważ nie wyznacza jej zbiór W. Jednak często (np. w teorii mnogości) funkcje i ich wykresy są utożsamiane; wówczas podanie przeciwdziedziny nie jest wymagane. Niekiedy funkcję definiuje się jako trójkę uporządkowaną ; przy takiej definicji, funkcje o różnych przeciwdziedzinach są różne.
[edytuj] Funkcje jako struktury
Funkcje odgrywają ważną rolę w matematyce jako środki pomocnicze do tworzenia większych struktur (układów).
- Przykład
- Zapiszmy liczby 4,5,6,7 w tabeli
.
- Taką tabelę można przedstawić w postaci funkcji, która przyporządkowuje każdemu miejscu w tabeli jedną z liczb. Poszczególne miejsca będą reprezentowane jako pary (i,j) oznaczające numer wiersza i kolumny:
- Ogólnie każdą taką tabelę można zapisać w postaci funkcji
- wtedy będą znajdować się w niej liczby a11, a12, a21 i a22.
W taki sposób definiuje się obiekty takie jak ciągi i macierze. Należy pamiętać o różnicach w nomenklaturze: mimo że ciągi i macierze są funkcjami, to mówi się o "wyrazach" i "wskaźnikach", a nie "wartościach" i "argumentach" ciągu, "elementach", a nie "wartościach" macierzy.
[edytuj] Równania funkcyjne
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Równanie funkcyjne to równanie, w którym niewiadomą jest funkcja. Przykładami mogą być równania różniczkowe i równania całkowe.
[edytuj] Uogólnienia
[edytuj] Funkcje wielu zmiennych
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Jeżeli dziedziną funkcji jest zbiór par uporządkowanych (x,y), to można mówić o funkcji dwóch zmiennych. Przykładowo, jeżeli każdej parze (x,y) liczb całkowitych przyporządkujemy ich iloczyn xy, można mówić o funkcji
- f((x,y)) = xy
definiującej działanie mnożenia w tym zbiorze, zwykle jednak stosuje się notację
- f(x,y) = xy
W geometrii przykładem funkcji dwóch zmiennych jest odległość. W analogiczny sposób definiuje się funkcje większej liczby zmiennych.
[edytuj] Funkcje wielowartościowe
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Zwykle rozważa się funkcje jednowartościowe i nazywa się je po prostu funkcjami. Niekiedy, np. w kontekście liczb zespolonych bada się funkcje wielowartościowe (multifunkcje), takie jak lnx, argx, arcsinx, x1 / 2. Każda funkcja wielowartościowa ze zbioru X w Y może być przedstawiona jako funkcja jednowartościowa ze zbioru X w zbiór potęgowy . Za funkcję wielowartościową można uważać także operator całkowania,
,
którego wartościami są rodziny funkcji pierwotnych.
[edytuj] Funkcje częściowe
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
[edytuj] Dystrybucje
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
[edytuj] Morfizmy
![](../../../../images/shared/thumb/3/35/Information_icon.svg/15px-Information_icon.svg.png)
Na funkcję można patrzeć jako na przekształcenie
jednego obiektu w drugi. Ten punkt widzenia uogólnia teoria kategorii przez pojęcie morfizmu.
Przykładowo, obiekty a i b mogą być zbiorami, a f funkcją ; a i b mogą być zbiorami uporządkowanymi, a f funkcją monotoniczną; a i b strukturami algebraicznymi, a f homomorfizmem; a i b formułami, a f wyprowadzeniem (dowodem) b z a; a i b liczbami naturalnymi, a f macierzą
. We wszystkich przypadkach dla każdego obiektu mamy morfizm identycznościowy (np. identyczność, dowód pusty, macierz jednostkowa) i składanie morfizmów (składanie funkcji, składanie dowodów, mnożenie macierzy). Za pomocą właśności morfizmów możemy określić wiele pojęć bez odwoływania się do "wnętrza" obiektów, np. możemy zdefiniować produkt, który w zależności od kategorii może być iloczynem kartezjańskim zbiorów, iloczynem grup, koniunkcją formuł itd.
[edytuj] Rys historyczny
Poszukiwaniem wzajemnych zależności między różnymi wielkościami zajmowali się już starożytni Grecy, jednak pierwszą ogólną definicję funkcji podał dopiero w 1718 r. matematyk szwajcarski Jan Bernoulli.
Pełną definicję funkcji (jako przyporządkowania) pierwszy sformułował matematyk niemiecki Peter Gustav Lejeune Dirichlet w 1837 r. Dzisiaj pojęcie funkcji jest jednym z najważniejszych pojęć matematyki.
Przypisy
- ↑ Przy często używanych funkcjach nawias jest pomijany:
lub
. W niektórych wypadkach symbol funkcji pisze się po argumencie, np.
(czyt. "n silnia")
- ↑ W niektórych źródłach, wyraz "przeciwdziedzina" uważa się za synonim słowa "zbiór wartości", w innych zaś nie. Dlatego w matematyce wyższej nie używa się pojęcia "zbioru wartości", a "obrazu" (objaśnione poniżej)
- ↑ Taki algorytm musi być deterministyczny, tj. wyjścia dla takich samych wejść powinny być równe.