什么是变量？变量的形式化定义

“变量”在大多的数学教科书中变量被认为是一个不必定义的概念。本文在探讨了“变量”的形式化定义。

本文承认集合论与谓词逻辑中一切词语要么是定义过的，要么是不能再定义的。（注：集合论与谓词逻辑中并未使用变量这一概念，因此接下来并不存在循环定义的错误）

一个变量v的定义如下：设集合T,集合X,谓词合式公式p(t,x)（注：此处的t，x是个体变元，不是变量）。

其中符号“:=”表示“定义为”，“就是”。

以下我们用元语言也就是我们的自然语言来讨论下这个定义的某些意义（意义这个词并没有严谨的定义，因此往下的言论只能帮助理解而不能作为推理或研究的依据）：

其中的T我们可以把它叫做“变量v所在的过程”，注意此处所说过程可以是任何一个集合，而大多数时候“变量v所在的过程”是一段时间，时间是连续的时刻的集合。例如，讨论某物体的运动，表示该物体运动速度的变量v，这里的T表示的就是该物体运动的这个过程，而表示物理运动过程达到了什么程度用的就是时间。

X叫做变量的“变量v的域”。“变量v的域”限制了变量的单位，性质。比如若X是实数集那就有该变量就可执行实数的运算。

p 则刻画了v是在描述过程T中的什么性质，这里的t表示某个时刻，x则是变量v在时刻t时的值，注意这里的t不一定指的是时间。

 

这个定义告诉我们讨论一个变量不可分割的要且只要讨论如下三个要素：

1. 该变量是什么过程中的？也就是集合T。
2. 该变量具有哪些性质？也就是集合X。
3. 该变量描述了过程中的什么方面？也就是p(t,x)，通常在大多数学课本中更多的讨论这个p。

 

这里就有一个问题？通常所说的变量并不是一个集合，比如设变量x表示某运动速度，这个x显然是一个向量，而不是集合。在许多学科中讨论一个变量时更关注这个变量的值，而用一些更简洁的方式表达时刻，比如物理学一定会在描述某物体速度前强调这是在什么时刻。根据学科研究的方便，在不引起混淆的前提下，可以将变量v在t时刻的值x简称变量v=x，当然我们都知道集合v不大可能等于一个属于X的元素x的，换句话说

当在讨论某问题时若已经陈述了变量v所在的时刻t，那么v=x指的是变量v 在t时刻的值是v，而非指变量v（这是一个集合）等于属于X的某元素x。（当然，也可以构造出一种奇葩的集合，来使得v=x，但那是，至少目前绝对无意义的事情）。

本文接下来讨论几个出现在课本中的变量

编程的变量，T是算法的步骤集合，t∈T指的是某步骤，X是变量类型（如int ，float，bool[3]），p描述程序中某项变化。此变量指的是值。&是一个运算符，若变量x的值存在了地址为q的内存里那么&x的值就是q。若地址为q的内存保存的是变量x的值，那么*q的计算结果就是x。

复杂度，T是具有相同输入就有相同输出的算法集合，t是某算法，在研究需要的精度不同时X可以是渐进表达式、可以是整数。p是描述这些算法快慢的谓词公式，具体怎么描述具体问题具体分析。

随机变量，T是一个有单一元素t的集合，t表示一组条件，X是实数，p（t，x）：=“在t条件下，描述某性质的数值可能是x”。事实上这个变量确定了t以后就跟t没多大牵扯了。

随机过程， T是一个有多个（可无穷）元素t的集合，t表示一组条件，X是随机变量，p（t，x）：=“在t条件下，描述某性质的随机变量是X”。

强调，本文从第196个字开始就纯属废话，不能用于任何推理。

我有一观点：数学从哲学分支以后，以及产生了各种分支以后，术语习惯的改变就如同美国从英国独立以后的改变一样。但不同的习惯描述的仍然是这个世界。我在这莫名其妙做起了各种术语的统一工作~_~！，闲到了瞎研究，前196字如有不严谨，请指正。