01　绪论开云kaiyun体育

人所共知，数学的一个伏击特色便是轮廓．其实从小学驱动，大略说，东谈主类发明发展的着手，数学便是轮廓的．最通俗的计数：最早的结绳记数，便是一种轮廓：不论是个东谈主，个苹果，只老虎，齐是用默示．

轮廓是数学的上风．举例，咱们只需要学习，而不需要把个东谈主个东谈主个东谈主、个苹果个苹果个苹果等等齐学一遍．

02　公理化

“公理化”是数学的轮廓的一种高等体式．公理化是从少数基本假定和划定开赴，逻辑地构建起扫数这个词表面．偶而辰咱们会在某个数学对象取得某个论断，这个论断仅仅由这个数学对象的一些性质就不错阐述出来，那么称心这些性质的其他数学对象，也不错平行地得出相应的论断．

这是不是有点像“个东谈主+个东谈主个东谈主”，相应的论断便是“个苹果个苹果个苹果”？要是把这种情况也轮廓成肖似于""这么的论断，便是数学中的公理化本事．

底下咱们以向量为例，通俗意识一下公理化本事．

03　几何向量及轮廓化

几何向量有这些性质(默示实数，默示向量)：

；

；

存在零元素，使得对每一个向量齐配置；

每一个向量齐存在一个负元素,使得， 是指(3)中的零元素；

；

；

；

．

几何向量有一个内积运算，内积运算称心以下性质：

；

；

,且只好那时，才会等于．

这些性质对于几何向量齐是很彰着的．接下来，轮廓的操作来了：

要是有某个鸠集，它的元素(及运算)也称心到，那么这个鸠集就叫作念(实)向量空间，这些元素也叫作念向量．要是还能称心到，那么这个鸠集就叫作念内积空间．(要是这个内积空间加一个叫作念"完备"的条款的话，便是大名鼎鼎的空间．)

在这个界说之下，几何向量是向量，但向量不一定是几何向量．

举个例子，函数也不错是向量．不？“函数”和阿谁“有大小有所在的量”八竿子打不着的相关，能是一趟事吗？然而要是你把上头到中的和看作是函数，还真便是称心的．是以说，函数还确凿不错是一种向量．

那么，函数空间是不是内积空间呢？这个时辰，咱们需要先界说一个内积运算．咱们把函数的界说域局限在一个闭区间上，为了便于盘考，假定函数齐是纠合的．这个时辰，咱们界说两个函数的内积：

这么的话，到亦然很容易考据称心的．举例，便是

是以说，函数空间也不错看作是一个内积空间．

04 不等式

看到这里，可能好多东谈主会念念，把向量的一堆基人性质附会到函数何处去，花里胡梢的少量实用好奇齐莫得．这就要回到著述一驱动所说的：偶而辰咱们会在某个数学对象取得某个论断，这个论断仅仅由这个数学对象的一些性质就不错阐述出来，那么称心这些性质的其他数学对象，也不错平行地得出相应的论断．

举例：我用到和到阐述不等式．

在几何向量中，由很容易就证出，其中默示向量的模．其实，要是只用前边的性质到和到，亦然不错证出这个不等式的．底下给出苟简的阐述，注重，因为只用到到和到，是以提到的向量不错是几何向量，也不错是其他轮廓的向量．

略证：要是有一个是零向量，论断是配置的，咱们不错假定它们齐不是零向量．

领先，不错阐述，最多只好一个实数能使．要是存在的话,咱们不错说共线．这一论断不难阐述，要是有需要的话，不错在这里划线．

然后，琢磨对于的方程．凭证，要是共线的话，这个方程有且只好一个解，要是不共线，这个方程就无解．

利用化简，这个方程不错化为

这是一个二次方程，凭证前边的分析，这个方程最多只好一个解，是以判别式，即，证毕．

注重，这个阐述仅依赖于到和到,也便是说，对于多样各类的向量齐配置，这便是不等式．行为例子，咱们将其应用于函数空间，就取得

很神奇有莫得？咱们仅仅考据了积分运算称心通俗的性质到和到，然后再也莫得效到积分运算的妙技，却取得了一个积分不等式，况兼这个不等式在物理和筹谋机等限制有世俗应用．这便是公理化的力量，数学的轮廓之好意思．

05　终末

数学上还有无数的例子能称心这些性质，不错念念象，不等式不错毫无压力地平移到相应的向量空间去．

以上是向量的例子，而这种公理化本事在当代数学中无数愚弄，轮廓之好意思，遍布数学寰球的每一个边缘．

在撰写论文《》时，笔者用到了上头界说的函数内积的不等式．有兴致不错了解笃定。

作 者 ： 陈 日 辉

编 辑 ： 陈 日 繁

物理需要用到数学开云kaiyun体育，数学充满轮廓好意思