高等代数 1 定义与基本性质.pptVIP

上页 下页 返回 结束 §1 定义与基本性质 前面对线性空间的研究仅限于对其代数结构的 研究.但我们以几何空间中的向量作为线性空间理 论的一个具体模型，仅限于对代数结构的研究是不 够的，还需要研究向量的度量性质，如长度、夹角 等. 为此，我们需要在线性空间中引入一种新的结 构，这就是“内积”. 定义1 设V是实数域R上一线性空间，在V 上定义了一 个二元实函数，称为内积，记作 它具有以下 性质： （对称性） 当且仅当 时 （线性性） （正定性） 其中 是V 中任意的向量， k是任意实数，这样的线性空间称为欧几里得(Euclid) 空间. 简称欧氏空间. 欧氏空间即为带有内积的线性空间. 对线性空间 的维数并无要求，可以是有限维的，也可以是无限维 的. 本课程研究的是有限维的欧氏空间. 例1 在线性空间Rn中，对于向量 定义内积 显然，内积(1)适合定义中的条件.这样，Rn就成为 (1) 一个欧氏空间. 当n = 3时，(1)式就是几何空间中向量的内积在 直角坐标系中的坐标表达式. 例2 在闭区间[a, b]上的所有实连续函数所成的 空间C[a, b]中，对于函数 f (x), g(x)定义内积 由定积分的性质不难证明，对于内积(2)，C[a, b]构成 构成一欧几里得空间. 类似地，线性空间R[x], R[x]n，对于内积(2)也构 成欧几里得空间. 欧几里得空间