Zmienna – symbol oznaczający wielkość, która może przyjmować rozmaite wartości. Wartości te na ogół należą do pewnego zbioru, który jest określony przez naturę rozważanego problemu. Zbiór ten nazywamy zakresem zmiennej.
Przeciwieństwem zmiennej jest stała – symbol oznaczający wielkość, której wartość nie może się zmieniać – konkretna liczba, wektor, macierz.
W logice zmienna, właściwie symbole zmienne stanowią drugi obok symboli stałych typ znaków charakteryzujących alfabet języka teorii sformalizowanej.
Pojęcie zmiennej jest także fundamentalne w rachunku różniczkowym i całkowym. Zazwyczaj, funkcja wiąże dwie zmienne, i reprezentujące odpowiednio wartość i argument funkcji. Termin „zmienna” pochodzi od faktu, że kiedy argument zmienia się, to wartość również odpowiednio się zmienia[1].
W informatyce, zmienną określa się nazwę reprezentującą pewną wartość znajdującą się w pamięci komputera.
Geneza pojęcia
Pod koniec XVI wieku, François Viète wysunął ideę reprezentowania znanych liczb i niewiadomych za pośrednictwem liter, współcześnie nazywanych zmiennymi, i przeprowadzania na nich obliczeń na takich samych zasadach jak na liczbach, by ostateczny wynik otrzymać poprzez proste podstawienie. Viete używał spółgłoski dla znanych wartości, a samogłosek dla niewiadomych[2].
W 1637 roku, Kartezjusz po raz pierwszy zastosował konwencję używania dla niewiadomych, a dla stałych. Nazewnictwo to, w przeciwieństwie do nazewnictwa Viete’a, jest wciąż powszechnie stosowane[3].
Również w XVII wieku, Isaac Newton i Gottfried Wilhelm Leibnitz niezależnie rozwinęli rachunek różniczkowy i całkowy, który w zasadzie polega na rozważaniu, jak infinitezymalna zmiana zmiennej wielkości powoduje odpowiednią zmianę innej wielkości, która jest funkcją pierwszej zmiennej (wielkości)[4]. W XVIII wieku, Leonhard Euler usystematyzował notację rachunku różniczkowego i całkowego, wprowadzając notację dla funkcji jej zmiennej i wartości [5]. Do końca XIX wieku, słowo zmienna było używane praktycznie wyłącznie w kontekście argumentów i wartości funkcji.
W drugiej połowie XIX wieku, Karl Weierstrass zastąpił intuicyjne pojęcie granicy formalną definicją. Dawna intuicja brzmiała: „kiedy zmienna zmienia się i dąży do to dąży do ”. Weierstrass wprowadził precyzyjną definicję nie posługując się pojęciem „zmienności” i „dążenia”: [6].
To „statyczne” sformułowanie doprowadziło do współczesnego pojęcia zmiennej, jako symbolu reprezentującego matematyczny obiekt, który albo jest niewiadomy (np. w równaniu), albo może być zastąpiony dowolnym elementem danego zbioru (np. we wzorze).
Notacja
W matematyce zmienne zazwyczaj zapisuje się używając pojedynczej litery, często również z indeksem dolnym, np. Indeks ten może być liczbą, inną zmienną słowem lub jego skrótem ( lub ) czy wyrażeniem matematycznym. Można też spotkać zmienne nazwane używając kilku liter i cyfr.
Według konwencji wprowadzonej przez Kartezjusza w XVII wieku, początkowe litery alfabetu, np. używa się do nazwania znanych wartości, współczynników i parametrów, natomiast litery z końca, np. oraz t – do określenia niewiadomych i zmiennych w funkcjach[3].
Dla przykładu, ogólne równanie funkcji kwadratowej można zapisać następująco: gdzie i są współczynnikami (nazywanymi także stałymi, gdyż są funkcjami stałymi), a jest zmienną funkcji.
Poszczególne gałęzie i zastosowania matematyki często mają też własne konwencje co do nazywania zmiennych. Zmienne o podobnych rolach i znaczeniach często są przypisane kolejnym literom alfabetu lub tej samej literze z różnymi indeksami. Przykładowo, trzy osie w trójwymiarowym układzie współrzędnych, są zwyczajowo nazywane W fizyce, nazwy zmiennych głównie zależą od wielkości fizycznej, którą opisują.
Poniżej znajdują się często spotykane konwencje:
Symbol |
Znaczenie
|
|
współczynniki wielomianów
|
|
alternatywne oznaczenie kiedy ilość współczynników wymagałaby użycia zbyt dużej ilości różnych liter
|
|
-ty wyraz ciągu lub szeregu
|
|
funkcje
|
|
pewne zmienne liczba całkowitych lub indeksy w rodzinie indeksowanej
|
|
stała liczbę całkowitą, na przykład ilość obiektów lub stopień równania
|
|
wymiary macierzy
|
|
liczbę pierwsza lub prawdopodobieństwo
|
|
potęga liczby pierwszej lub pewien iloraz
|
|
reszta z dzielenia
|
|
czas
|
|
trzy współrzędne kartezjańskie punktu na płaszczyźnie euklidesowej, a także odpowiadające im osiom, kolejne argumenty funkcji
|
|
liczba zespolona
|
|
wartości kątów
|
|
dowolnie mała liczba dodatnia, często w kontekście dokładności
|
Przykłady
- W równaniu symbol jest zmienną. W zależności od sytuacji zmienna ta może przyjmować rozmaite wartości: rzeczywiste, zespolone, wektorowe, funkcyjne.
- We wzorze Newtona opisującym siłę przyciągania mamy zmienne i które mogą przyjmować wartości rzeczywiste. Symbolem oznaczono tutaj wielkość stałą.
Zobacz też
Przypisy
- ↑ Syracuse University: Appendix One Review of Constants and Variables. cstl.syr.edu. [zarchiwizowane z tego adresu (2014-10-10)]. (ang.).
- ↑ John B. Fraleigh: A First Course in Abstract Algebra. Wyd. IV. Stany Zjednoczone: Addison-Wesley, 1989, s. 276. ISBN 0-201-52821-5. (ang.).
- ↑ a b Tom Sorell: Descartes: A Very Short Introduction. Nowy Jork: Oxford University Press, 2000, s. 19. DOI: 10.1093/actrade/9780192854094.001.0001. [dostęp 2015-11-15]. (ang.).
- ↑ Donald Allen: Calculus. www.math.tamu.edu, 1997-04-10. [dostęp 2015-11-15]. (ang.).
- ↑ William Dunham: Euler: The Master of Us All. The Mathematical Association of America, 1999, s. 17, 18. ISBN 978-0883853283. (ang.).
- ↑ Bertrand Russell: History of Western Philosophy. Londyn: George Allen & Unwin Ltd, 1946, s. 857. ISBN 0-415-32505-6. Cytat: „The great mathematicians of the seventeenth century were optimistic and anxious for quick results; consequently they left the foundations of analytical geometry and the infinitesimal calculus insecure. Leibniz believed in actual infinitesimals, but although this belief suited his metaphysics it had no sound basis in mathematics. Weierstrass, soon after the middle of the nineteenth century, showed how to establish the calculus without infinitesimals, and thus at last made it logically secure”.. (ang.).