n维欧几里得空间
n维欧氏空间
科普中国 | 本词条由“科普中国”科学百科词条编写与应用工作项目审核
n维欧几里得空间(n-dimensional Euclidean space)是现实空间的抽象与推广，简称n维欧氏空间。n维欧氏空间在代数中是定义了内积的n维线性空间，记为Rn，其元素是n维向量，即n元有序(实)数值，并利用内积规定向量x的模|x|是其与自身的内积的平方根|x|=√∑ni=1x2i。在几何中，借用普通空间中点坐标与其向径作为以原点为起点的向量的坐标相同之例，也把n维欧氏空间的向量看做点而把n维欧氏空间Rn看做点空间，因而也可讨论Rn中的几何图形，如直线、超平面等。在数学分析中，经常借用代数和几何中n维欧氏空间的概念，特别是常使用Rn的向量(元素)x的模|x|的另一名称范数的概念。在提到x∈Rn时常只说x是n元数组而不一定提到它是n维欧氏空间的元素，因而还常把x的模，即范数|x|特别称为x的欧几里得范数[1]。
中文名
n维欧几里得空间
外文名
n-dimensional Euclidean space
所属学科
数学
简称
n维欧氏空间
简介
现实空间的抽象与推广
基本介绍相关概念及性质TA说
基本介绍
在解析几何和数学分析中，我们对一维欧几里得空间R1(即R，实直线)，二维欧几里得空间R2(即实平面)和三维欧几里得空间R3(即现实的三维立体空间)有了比较深入的了解。现在，我们讨论n维欧几里得空间。
定义1 设n是正整数，由n个实数构成的有序数组
的全体组成的集合，称为n维点集或n维欧几里得空间，记作Rn，即[2]
相关概念及性质
为了深入研究行维点集Rn中邻域、有界集、点列收敛等概念，需要对Rn中的点之间定义距离。为了使问题讨论适用于更广泛的情形，我们对一般的集合给出距离的概念[2]。
定义2 设X是一个非空集合，如果对于X中任何两个元素x和y，都有一个确定的实数，记为ρ(x，y)，与之对应，且满足下面三个条件，则称ρ是X上的一个距离，称ρ(x，y)是x和y之间的距离，而称X是以ρ为距离的距离空间(或度量空间)，记为(X，ρ)。这三个条件是：
(1)非负性，ρ(x，y)≥0，而且ρ(x，y)=0当且仅当x=y；
(2)对称性，ρ(x，y)=ρ(y，x)；
(3)三角不等式，ρ(x，y)≤ρ(x，z)+ρ(z，y)，这里z也是X中的任意一个元素。
对于Rn中的任意两点
定义实函数
，则ρ(x，y)满足距离的三个条件(1)，(2)，(3)，称ρ为Rn上的欧几里得距离，称(Rn，ρ)为n维欧几里得空间。
定义3设P0∈Rn是一固定点，δ>0为一实数，则集合{P|ρ(P，P0)<δ)称为以P0为中心的δ邻域，记作U(P0，δ)。
P0称为邻域的中心，δ称为邻域的半径，某邻域当不需要指出半径时，可以简单地说是P0的某邻域，记作U(P0)，显然，在R，R2，R3中的邻域U(P0，δ)，就分别是以P0为中心以δ为半径的开区间、开圆和开球。
容易证明邻域具有如下基本性质：
(1)对于Q∈U(P)，存在U(Q)
U(P)；
(2)对于P≠Q，存在U(P)和U(Q)，使U(P)∩U(Q)=∅。
定义4设{Pk)是Rn中一个点列，P0∈Rn，如果当k→∞时，有ρ(Pk，P0)→0，则称点列{Pk}收敛于P0，记为
或
。
用邻域的语言来说，就是：
对P0的任意邻域U(P0)，存在K∈N+，使当k>K时，Pk∈U(P0)．
用“ε一N”语言来说，就是：
对任意的ε>0，存在K∈N+，使当k>K时，ρ(Pk，P0)<ε．
定义5设A，B是两个非空点集，A与B的距离定义为[2]欧几里得空间
特殊的向量空间
欧氏空间 一般指本词条
欧几里得空间（Euclidean space），是指一类特殊的向量空间，对通常3维空间V3中的向量可以讨论长度、夹角等几何性质。
中文名
欧几里得空间
外文名
Euclidean space
相关视频
被广义相对论背书的非欧几里德空间究竟是一种怎样的存在
12.3万播放|04:58
一类特殊的向量空间。对通常3维空间V3中的向量可以讨论长度、夹角等几何性质。若a＝（a1，a2，a3），β＝（b1，b2，b3)，则a的长度a与β的内积a与β的夹角a，β=arccos(假定a，β均非零向量)。推广之，在n维向量空间Rn中，若a＝（a1，……，an），β＝（b1，……，bn），规定
它具有类似的几何性质。Rn连同运算＜，＞，称为一个欧几里得空间。更一般地，若V是R上向量空间，称V×V到R的一个满足一定条件的映射为内积，带有内积的空间称为欧几里得空间。若＜a，β＞＝0，称a与β正交（垂直)。若V的一个基中的向量两两正交且长度为1，则称为标准正交基，V3中常用的直角坐标系就是标准正交基。每个n维欧几里得空间存在标准正交基，可由任意基改造而得。
京公网安备11010502036362号