Fria och bundna variabler

Från Wikipedia
Hoppa till: navigering, sök

Inom matematiken, och andra relaterade områden, såsom predikatlogik, är en fri variabel ett ospecificerat uttryck, såsom x, för vilken inga restriktioner lagts. Om några restriktioner har lagts på variabeln kallas den bunden. Notera att ett uttryck kan innehålla både fria och bundna variabler.

Som exempel kan vi titta på definitionen av derivata:

\lim_{h\rightarrow 0}\frac{f(x+h)-f(x)}{h},

Här är x en fri variabel emedan h är bunden. Värdet av detta gränsvärde beror enbart på funktionen f och variabeln x. Variabeln h är betecknar ett uttryck som går mot ett bestämt värde, 0, bunden till själva formeln. Vi kan byta ut funktionen f och välja valfri punkt x att beräkna gränsvärdet i, men h är ingenting vi kan välja. Den variabeln definieras i formeln och saknar betydelse utanför den.

Litteratur[redigera | redigera wikitext]

Venn A intersect B.svg Matematikportalen – portalen för matematik på svenskspråkiga Wikipedia.