映射亦称函数。数学的基本概念之一。也是一种特殊的关系。设G是从X到Y的关系，G的定义域D(G)为X，且对任何x∈X都有惟一的y∈Y满足G(x，y)，则称G为从X到Y的映射。即关系G为映射时，应满足下列两个条件：

1.(x∈X)(y∈Y)(xGy).

2.(x∈X)(y∈Y)(z∈Y)((xGy∧xGz)→y=z).这个被x∈X所惟一确定的y∈Y，通常表示为y=f(x)(x∈X)。f(x)满足：

1) f(x)∈Y.

2) G(x，f(x))成立(x∈X).

3)z∈Y，G(x，z)→z=f(x).

关系G常使用另一些记号：f：X→Y或XY。f与G的关系是y=f(x)(x∈X)，当且仅当G(x，y)成立。可取变域X中的不同元素为值的变元称为自变元或自变量。同样可取变域Y中的不同元素为值的变元称为因变元或因变量。始集X称为映射f的定义域.记为D(f)或dom(f)。终集Y称为映射的陪域，记为C(f)或codom(f)。Y中与X中的元素有关系G的元素的组合{y|x(x∈X∧y=f(x)∈Y)}称为映射的值域，记为R(f)或ran(f)。当y=f(x)时，y称为x的象，而x称为y的原象。y的所有原象所成之集用f(y)表示。对于AX，所有A中元素的象的集合{y|x(x∈A∧y=f(x)∈Y)}或{f(x)|x∈A}称为A的象。记为f(A)。对于BY，所有B中元素的原象的集合{x|x∈X∧y(y∈B∧y=f(x))}称为B的原象。记为f(B)。显然：f(A)=f(x)，f(B)=f(y)。

相空间又称“相宇”。 经典统计物理学中为描述系统的微观状态 所采用的多维空间。如果只考虑微观粒子 的移动，则每一个粒子的运动状态可以由 空间位置x、y、z以及相应动量分量px、 py、pz来确定。对于N个粒子组成的系统， 如以N个粒子的x1、y1、z1、…、xN、yN、 zN、px1、py1、pz1、…、pxN、pyN、pzN为坐 标轴，组成6N维空间，则该空间中的每一 点，即代表系统的一个微观状态，点的运动 则代表微观状态的变化，这种空间称为“相 空间”或“γ空间”。如以x、y、z、px、py、 pz为坐标轴，组成6维空间，则空间中每一 点代表处于一定运动状态的一个粒于系 统的微观状态则由N个点的集合来代表，点集的运动则代表微观状态的变化，这种空间称为“子相空间”或“μ空间”。如果还 要考虑除移动以外其他的微观运动形态， 如转动、振动等，则相空间的维数相应增 加。

相图表示不均匀体系中“相”与成分、温度、压强等热力学参数之间关系。从被测定的相图的种类而言，有平衡图、亚稳图和表达某种特性的相图。其中以平衡图研究应用的最为广泛。

平衡图是表示不同温度、压力以及不同成分下物体系中各相热力学平衡关系的一种图解，也称作状态图。等温等压条件下，热力学平衡状态总是对应于系统总的Gibbs自由能G最低的状态。因此，原则上说，总是可以由已知各相在给定温度和压强下的自由能G随成分变化的相对关系求出平衡图，当今不少相图计算的工作就是基于这样的思想。平衡图更多是由实验测定的，常用的实验方法有热分析法、金相法、X射线法、电阻法、膨胀法以及磁性法、硬度法，热电势法等等。最常用的平衡图是在定压条件下用温度-成分表征的平衡图，如二元相图、三元相图等.二元相图指由二组元组成体系的相图，由于表征成分的独立变量只有一个(x1+x2=1)，常用横坐标表示成分(可以是重量百分数，也可以是原子百分数)，纵坐标表示温度.所以等压下的二元相图是一个平面图.最简单类型的二元相图有匀晶相图、共晶相图、包晶相图、形成化合物(或中间相)的相图、偏晶相图，以及有固态转变的共析、包析等的相图。从这些相图可以知道不同成分的合金，在某温度下的平衡状态有哪些相，温度改变时，可能发生哪些转变，在两相平衡区还可以利用杠杆定律知道各相的相对数量和相的成分等等。

实际固体材料中，不少相是处于亚稳状态，这种状态决定于温度、压力和其它条件的连续变化，因而构成了一个比平衡图更复杂的体系。图1为Al-Cu合金中G.P.区和θ″相溶解度的相图。G.P.区和θ″相都是亚稳相，所以这是一个亚稳相图。由于非晶材料、准晶材料和快冷技术的出现，亚稳相图的研究已成为一个值得重视的方向。

法国著名数学家、天文学家、物理学家和科学哲学家。1875年毕业于巴黎多科工艺学校，1879年以关于微分方程一般解的论文获得博士学位，同年到卡昂大学任教。1881年入巴黎大学任教授，直到去世。他一生写下了将近500篇科学论文和30部专著，这还不包括颇受欢迎的科学哲学著作和趣味盎然的科普著作。他的贡献几乎遍及了当时数学和物理学的全部领域。

庞加莱对数学的第一个重大贡献是在1880年以后创立了自守函数理论，解决了解析函数的单值化问题。

1884年法国《数学学报》连续发表了他关于这一课题的5篇论文，立即使他获得了世界性的声誉。他又是多复变解析函数论的创始人，并在1883年的一篇短文中首先研究整函数的格与其泰勒展开的系数或者函数的绝对值的增长率之间的关系，成为整函数与亚纯函数理论的开端。他最杰出的贡献是创立了微分方程定性理论，他于1880—1886年发表的四篇大论文，使这一分支在一开始就发展到了几乎完善的地步。1885年以后.他关于微分方程的论文都涉及天体力学，特别是三体问题，首创天体力学的严格处理方法，并因对三体问题的研究于1889年第一个获得瑞典国王奥斯卡二世为“n体问题”设立的奖金.为了进一步研究线性微分方程，他对发散级数进行了深入讨论，开创了渐近展开理论。在代数学中，他第一次引入了左理想与右理想的概念。1901年他的一篇数论论文成为有理数域(或代数数域)上的代数几何学的开端。1901—1911年他关于代数曲面F(x，y，z)=0中所含的代数曲线的几篇论文对代数几何作出了突出贡献。对代数拓扑学，他创造了单形的同调论的一整套方法，并由此引发了一系列重要结果.他又是数学基础的直觉主义学派的先驱之一.此外，他对相对论和量子理论做出了具有启发性的贡献.他的科学哲学思想对20世纪众多的科学家和哲学家产生了深远的影响.他被誉为“理性科学的活跃智囊”，“本世纪初唯一留下的全才”，是对数学和它的应用具有全面知识的一个人。