Вільні і зв'язані змінні

В математиці та в інших дисциплінах, які включають в себе формальні мови, включно з математичною логікою і інформатикою, вільна змінна це вид запису, який визначає місця в виразі де можуть відбутись заміни. Ідея пов'язана із позначкою-заповнювачем (Шаблон:Lang-en) (символ, який пізніше буде замінений на рядок), або байдужий символ який використовується для невизначеного символу.

Змінна x стає зв'язаною змінною, коли ми пишемо, наприклад:

'Для всіх x, (x + 1)² = x² + 2x + 1.'

або

'Існує x такий, що x² = 2.'

Для будь-якого з цих суджень, логічно не важливо використовуємо ми x або інший символ.

В програмуванні, вільна змінна це змінна використовна в підпрограмі, яка не є локальною змінною або аргументом.

Приклади

У виразі

$\sum _{k=1}^{10}f(k,n),$

n вільна змінна, а k зв'язана; отже значення цього виразу залежить від n, і не існує нічого на ім'я k , від чого залежить значення виразу.

У виразі

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{y-1}{e}^{-x}dx,$

y вільна змінна, а x зв'язана; отже значення цього виразу залежить від y, і не існує нічого на ім'я x , від чого залежить значення виразу.

У виразі

$\underset{h\to 0}{\lim }\frac{f(x+h)-f(x)}{h},$

x вільна змінна, а h зв'язана; отже значення цього виразу залежить від x, і не існує нічого на ім'я h , від чого залежить значення виразу.

У виразі

$\mathrm{\forall }x\mathrm{\exists }y\phi (x,y,z),$

z вільна змінна, а x і y зв'язані; звідси значення істинності цього виразу залежить від z, а не від x чи y.

Оператори зв'язування змінних

Наступні оператори

$\sum _{x\in S}\prod _{x\in S}\underset{0}{\overset{\mathrm{\infty }}{\int }}\cdots dx\underset{x\to 0}{\lim }\mathrm{\forall }x\mathrm{\exists }x\psi x$

є операторами зв'язування змінних. Кожен з них зв'язує x.

Іноді може бути зручно перейти до запису, що робить зв'язування явним, такого як

$\sum _{1\dots 10}(k\mapsto f(k,n))$

для сум або

$D(x\mapsto x^2+2x+1)$

для діференціювання.

Примітки

Шаблон:ВП-портали Шаблон:Без джерел Шаблон:Math-stub Шаблон:Compu-stub