知识点

平面点集与邻域

定义

多元函数的自变量是平面上的点,定义域和极限都要在平面点集上讨论。本页用 P(x,y)P(x,y) 表示平面上的点,两点之间的距离取欧氏距离

d(P,P0)=(x−x0)2+(y−y0)2.d(P,P_0)=\sqrt{(x-x_0)^2+(y-y_0)^2}.

邻域与去心邻域

设 P0(x0,y0)P_0(x_0,y_0) 是平面上一点,δ>0\delta>0。满足

d(P,P0)<δd(P,P_0)<\delta

的点 PP 的全体称为 P0P_0 的 δ\delta 邻域,记作 U(P0,δ)U(P_0,\delta)。几何上它是 P0P_0 为圆心、δ\delta 为半径的圆盘内部,不含圆周。

在邻域中去掉中心点,得到的集合

0<d(P,P0)<δ0<d(P,P_0)<\delta

称为 P0P_0 的去心邻域,记作 U˚(P0,δ)\mathring U(P_0,\delta)。

点与点集的关系

设 EE 是平面点集,PP 是平面上一点。

  • 内点:存在 PP 的某个邻域 U(P)U(P),使 U(P)⊂EU(P)\subset E。
  • 外点:存在 PP 的某个邻域 U(P)U(P),使 U(P)∩E=∅U(P)\cap E=\varnothing。
  • 边界点:PP 的任何邻域内都既有属于 EE 的点,又有不属于 EE 的点。
  • 边界:EE 的全部边界点构成的集合,记作 ∂E\partial E。
  • 聚点:对任意 δ>0\delta>0,去心邻域 U˚(P,δ)\mathring U(P,\delta) 内总含有 EE 中的点。

聚点可以不属于集合

设

E={(x,y):0<x2+y2<1}.E=\{(x,y):0<x^2+y^2<1\}.

原点 OO 不属于 EE,但对任意 δ>0\delta>0,去心邻域 U˚(O,δ)\mathring U(O,\delta) 都含有 EE 中的点,所以 OO 是 EE 的聚点。EE 中的每一点也都是 EE 的聚点。

点集的分类

  • 开集:EE 中的点全是内点。
  • 闭集:EE 的补集是开集;等价地,EE 包含它的全部聚点。
  • 连通集:EE 不能分成两个非空、互不相交且在 EE 的相对拓扑中都开集的部分。对开集,连通等价于任意两点可用完全属于该集合的折线连接。
  • 区域(开区域):连通的开集。
  • 闭区域:开区域 DD 与它的边界之并,记作 Dˉ=D∪∂D\bar D=D\cup\partial D。
  • 有界集:存在以原点为圆心的圆盘,能把 EE 整个包含在内。
  • 无界集:不是有界集的点集。

性质

n维空间

设 nn 是正整数。全部 nn 元有序实数组 (x1,x2,…,xn)(x_1,x_2,\dots,x_n) 构成的集合,连同其中定义的加法、数乘,以及两点

P(x1,…,xn),Q(y1,…,yn)P(x_1,\dots,x_n),\qquad Q(y_1,\dots,y_n)

之间的距离

d(P,Q)=∑i=1n(xi−yi)2,d(P,Q)=\sqrt{\sum_{i=1}^n (x_i-y_i)^2},

构成的空间称为 nn 维空间,记作 Rn\mathbb R^n。n=2n=2 时它是坐标平面,n=3n=3 时它是通常的几何空间。以下只讨论二元函数,但极限与连续性的定义可以逐字推广到 Rn\mathbb R^n。

探索

单位开圆盘的内点与边界在哪里?

移动点并检查它与开圆盘的关系。

正在准备演示…

题集

练习

  1. E={(x,y):0<x2+y2<1}E=\{(x,y):0<x^2+y^2<1\} 具有哪些性质?

    题 point-set · choice
    参考解答

    EE 是挖去原点的单位圆盘,点全是内点,所以是开集;它被单位圆盘包含,所以有界;任意两点可用绕开原点的折线连接,所以连通。EE 不含边界点,不是闭集。