Three classical compactification procedures are presented with nonstandard flavour. This is to illustrate the applicability of Nonstandard analytic tool to beginners interested in Nonstandard analytic methods. The gen...Three classical compactification procedures are presented with nonstandard flavour. This is to illustrate the applicability of Nonstandard analytic tool to beginners interested in Nonstandard analytic methods. The general procedure is as follows: A suitable equivalence relation is defined on an enlargement <sup>*</sup><em>X </em>of the space <em>X</em> which is a completely regular space or a locally compact Hausdorff space or a locally compact Abelian group. Accordingly, every <em>f</em> in <em>C</em>(<em>X</em>,<em>R</em>) (the space of bounded continuous real valued functions on <em>X</em>) or <em>Cc</em>(<em>X</em>,<em>R</em>) (the space of continuous real valued functions on <em>X</em> with compact support) or the dual group <span style="white-space:nowrap;">Γ </span>of the locally compact Abelian group <em>G</em> is extended to the set <img alt="" src="Edit_b9535172-924d-44f0-bab3-c49db17a3b7a.png" /> of the above mentioned equivalence classes. A compact topology on <img alt="" src="Edit_9d7962a3-b8a3-4693-b62a-078c8c4b4853.png" /> is obtained as the weak topology generated by these extensions of <em>f</em>. Then <em>X</em> is naturally imbedded densely in <img alt="" src="Edit_f7d403b2-eff3-4555-b8e7-1b106e06d2e7.png" />.展开更多
文摘Three classical compactification procedures are presented with nonstandard flavour. This is to illustrate the applicability of Nonstandard analytic tool to beginners interested in Nonstandard analytic methods. The general procedure is as follows: A suitable equivalence relation is defined on an enlargement <sup>*</sup><em>X </em>of the space <em>X</em> which is a completely regular space or a locally compact Hausdorff space or a locally compact Abelian group. Accordingly, every <em>f</em> in <em>C</em>(<em>X</em>,<em>R</em>) (the space of bounded continuous real valued functions on <em>X</em>) or <em>Cc</em>(<em>X</em>,<em>R</em>) (the space of continuous real valued functions on <em>X</em> with compact support) or the dual group <span style="white-space:nowrap;">Γ </span>of the locally compact Abelian group <em>G</em> is extended to the set <img alt="" src="Edit_b9535172-924d-44f0-bab3-c49db17a3b7a.png" /> of the above mentioned equivalence classes. A compact topology on <img alt="" src="Edit_9d7962a3-b8a3-4693-b62a-078c8c4b4853.png" /> is obtained as the weak topology generated by these extensions of <em>f</em>. Then <em>X</em> is naturally imbedded densely in <img alt="" src="Edit_f7d403b2-eff3-4555-b8e7-1b106e06d2e7.png" />.