相关知识

Strong connectivity

\(\quad\)强连通性。图形拓扑的基本概念之一，一个图的每一个顶点(Vertex)如果能到达图中的其余任何顶点，那么这个图就是强连通的。

Closed Convex Function

\(\quad\)闭凸函数。在数学中，对于每一个\(\alpha\)，子水平集\(\{x\in dom f | f(x)\le \alpha \}\)是闭合的，那么就称这个凸函数是闭合凸函数。

\(\quad\)一般而言，一个proper convex function是闭合的，当且仅当这个函数是下半连续的(lower semi-continuous).

性质：
Tp:  函数\(f\)是连续函数且\(dom f\)是闭合集，则\(f\)是闭合函数。

Lipschitz continuity

\(\quad\)利普希茨连续，一个比普通连续更强的光滑性条件。直觉上，利普希茨连续函数限制了函数改变的速度，符合利普希茨条件的函数的斜率，必小于一个称为利普希茨常数的实数（该常数依函数而定）。

\(\quad\)对于在实数集的子集的函数\(f:D\subseteq R \to R\)若存在常数\(K\)，使得$$|f(a)-f(b)| \le K |a-b|$$ 则称为利普希茨条件，\(K\)称为利普希茨常数。

度量空间上的利普希茨条件：

给定的度量空间\((M,d_M),(N,d_N),U\subseteq M\).对于函数\(f:U\to N\)，存在常数\(K\)，使得$$d_N(f(a),f(b))\le Kd_M(a,b),\forall a,b \in U$$

Null space and Linear span

\(\quad\)核(kernal)空间又称为零空间(null space)。一个算子\(A\)的零空间是方程\(Av=0\)的所有解\(v\)的集合，称为\(A\)的核。

\(\quad\)对于矩阵\(A\)来讲，它的零空间就是所有向量的空间的线形子空间。这个线形子空间的维度叫做\(A\)的零化度。有规则：矩阵的秩+零化度=矩阵纵列数。

\(A\)的零空间可以用来找到\(Ax=b\)的所有解。如果\(x_0\)是一个特殊解，那么\(x_0\)加上任何的零空间的向量就是完全解。证明容易。

\(\quad\)线形生成空间(Linear span)。给定域\(K\)上的向量空间\(V\)，集合\(S\)的生成空间定义为所有包含\(S\)的线形子空间\(V\)的交集\(W\)，则称\(W\)是\(S\)的生成子空间。

$$span\{A\}=\{y \in \mathbb{R}^m|y=Ax,\forall x \in \mathbb{R}^n\}$$

\(\quad\)如果\(S\)的生成空间是\(V\)，则称\(S\)是\(V\)的生成集合(spanning ser).\(V\)的一个生成集合不必是\(V\)的一组基(但是必定可以表示这个空间)，因为期不必是线形无关的。但是，最小生成集合一定是一组基。

Uniform Continuity

\(\quad\)一致连续，一种比连续更苛刻的连续性条件。一致连续必然连续，但反之不成立。连续刻画函数局部的性质，而已知连续刻画函数整体的性质。

\(\quad\)直观上，一致连续可以理解为，当自变量x在足够小的范围内变动时，函数值y的变动也会被限制在足够小的范围内。

定义： 在欧几里得空间度量下，对任意的\(\epsilon >0\)，存在\(\delta >0\)，使得任意的\(\Vert x-y \Vert <\delta\)，就有\(\Vert f(x)-f(y)\Vert <\epsilon\)，函数称一致连续。

转载于:https://www.cnblogs.com/sybear/p/10850086.html