 | 遅くなりましてすいません。
大変参考にさせていただいております。以下のように定義してみました。
『Bは位相空間(X*,T*)の部分集合Aの開被覆である』
の定義は
『T* の部分集合Bに於いて、A⊂∪[b∈B]b』
『位相空間(X*,T*)の部分集合Aはコンパクトである』
の定義は
『X*
の部分集合Aの任意の開被覆B(⊂T*)に対し、∃{b1,b2,…,bn}
⊂B (n∈N) such that A⊂∪[i=1 to n]bi』
『位相空間(X*,T*)はコンパクト空間をなす』
の定義は
『位相空間(X*,T*)の部分集合X* はコンパクトである』
『位相空間(X,T)が位相空間(X*,T*)の中で稠密である』
の定義は
『X⊂X* 且つ φ≠∀A∈T* に対して,A∩X≠φ』
『位相空間(X*,T*)は位相空間(X,T)のコンパクト化である』
の定義は
『X* はコンパクト空間 且つ XはX* の中で稠密である』
従って、『x→∞』の定義は『xをa∈X* に近づける』を意味す
るので
εとδを使わせてもらいますと、
2つの位相空間 (X,T)、(Y,S) と map f: X → Y があり、位
相空間(X*,T*)は(X,T)のコンパクト化である時、
L:={b∈Y;∀ε∈nbhd(b,(Y,S)),∃δ∈nbhd(a,(X,T)) such that
f(
δ)⊂ε}(a∈X*)に於いて、
L≠φ の時、f(x)はLに収束するといい
lim f(x):=L
x→a
と表記し、
L=φの時、f(x)は発散すると言う。
例:実数体RではX*はR∪{+∞,-∞}に相当し、a∈{+∞,-∞}
と定義してみたのですが、
どんな位相空間(X,T)やコンパクト化(X*,T*)では良いという訳ではなく、
夫々に何らかの条件を付け加えねばならないようです。
うーん、難しいですね。
|
