赋范线性空间定义的概念
开集: A subset SSS of a normed linear space (X,∥⋅∥)(X,\|\cdot\|)(X,∥⋅∥) isopenif for each s∈Ss \in Ss∈S there is an ϵ>0\epsilon>0ϵ>0 such that B(s,ϵ)⊂SB(s, \epsilon) \subset SB(s,ϵ)⊂S闭集:A subset FFF of a normed linear space (X,∥⋅∥)(X,\|\cdot\|)(X,∥⋅∥) isclosedif its complement X\FX \backslash FX\F is open闭包:Let SSS be a subset of a normed linear space (X,∥⋅∥).(X,\|\cdot\|) .(X,∥⋅∥). We define theclosureof S,S,S, denoted by Sˉ,\bar{S},Sˉ, to be the intersection of all closed sets containing SSS完备性:A metric space (X,d)(X, d)(X,d) is said to becompleteif every Cauchy sequence in XXX converges in XXX.闭包:包含S的最小的闭集,任意多个闭集的交集仍是闭集。
一个度量空间X中的所有柯西数列都会收敛到X 中的一点 ,那么X被称为是一个完备空间。注意此处的柯西序列一定要收敛到它的度量空间X中,否则就是不完备的。例如:有理数,我们定义一个柯西序列{xn},xn=∑1i2ni=1\{x_n\},x_n=\ \underset{i=1}{\overset{n}{\sum{\frac{1}{i^2}}}}{xn},xn=i=1∑i21n,对于这个序列,当n趋近于无穷大的时候,它的值是π26\frac {\pi^2}{6}6π2. 可以看到这个柯西序列中每一个元素都是有理数,但是它却收敛到无理数集中,所以有理数集不是完备的。
巴拿赫空间: A normed linear space that iscompletewith respect to the metric induced by the norm is called aBanach space.有界: A subset AAA of a normed linear space (X,∥⋅∥)(X,\|\cdot\|)(X,∥⋅∥) isboundedif A⊂B[x,r]A \subset B[x, r]A⊂B[x,r] for some x∈Xx \in Xx∈X and r>0r>0r>0数学及其相关领域中,一个对象具有完备性,即它不需要添加任何其他元素,这个对象也可称为完备的或完全的,例如实数就具有完备性,而有理数就不具有。
It is clear that AAA is bounded if and only if there is a C>0C>0C>0 such that ∥a∥≤C\|a\| \leq C∥a∥≤C for all a∈Aa \in Aa∈A.
完全有界:A subset AAA of a normed linear space (X,∥⋅∥)(X,\|\cdot\|)(X,∥⋅∥) istotally bounded(orprecompact) if for any ϵ>0\epsilon>0ϵ>0 there is a finite ϵ\epsilonϵ -net Fϵ⊂XF_{\epsilon} \subset XFϵ⊂X for AAA. That is, there is a finite set Fϵ⊂XF_{\epsilon} \subset XFϵ⊂X such that对于一个子集,如果存在某个大小的开球可以包住它,那么这个子集就是有界的。
A⊂⋃x∈FϵB(x,ϵ)A \subset \bigcup_{x \in F_{\epsilon}} B(x, \epsilon) A⊂x∈Fϵ⋃B(x,ϵ)
序列紧(列紧): A normed linear space (X,∥⋅∥)(X,\|\cdot\|)(X,∥⋅∥) issequentially compactif every sequence in XXX has a convergent subsequence.对于一个子集,如果多个任意大小的开球的并能够包住它,那么这个子集就是完全有界的。
子集A的每一个序列都有一个柯西子序列,那么A是完全有界的。
有限维赋范线性空间的范数都是等价的。有限维赋范线性空间都是完备的,都是闭合的。有限维赋范线性空间的闭合有界子集是列紧的。稠密集:给定拓扑空间X及其子集A,如果对于X中任一点x,x的任一邻域同A的交集不为空,则A称为在X中稠密。直观上,如果X中的任一点x可以被A中的点很好地逼近,则称A在X中稠密。可分空间:具有可数的处处稠密集的空间称为可分空间。每一个X中的序列都有一个收敛的子序列,那么X是列紧的。完全有界且完备→\rightarrow→列紧
如果觉得《泛函分析——赋范线性空间定义的概念》对你有帮助,请点赞、收藏,并留下你的观点哦!