2023年3月5日日曜日

227: ステレオグラフィックプロジェクションはホメオモーフィズム(位相同形写像)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ステレオグラフィックプロジェクションはホメオモーフィズム(位相同形写像)であることの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のステレオグラフィックプロジェクションはホメオモーフィズム(位相同形写像)であるという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。


本体


1: 記述


任意のn-スフィア(球)SnRn+1に対して、ステレオグラフィックプロジェクションf:Sn{pn}Rn、ここで、pnSnのノースポール、はホメオモーフィズム(位相同形写像)である。


2: 証明


pnと任意のpSnを通過するラインはpn+(ppn)t、ここで、tR。対応するポイントqRnq=pn+(ppn)t、ここで、qn+1=0、によって決定される。pn=(0,0,...,1)であるので、0=1+(pn+11)tt=(1pn+1)1qi=(1pn+1)1piq12+q22+...+qn2=(1pn+1)2(p12+p22+...+pn2)=(1pn+1)2(1pn+12)=(1pn+1)1(1+pn+1)(1pn+1)(q12+q22+...+qn2)=1+pn+1q12+q22+...+qn21=pn+1(1+q12+q22+...+qn2), pn+1=(1+q12+q22+...+qn2)1(1+q12+q22+...+qn2)pi=(1pn+1)qi=(1(1+q12+q22+...+qn2)1(1+q12+q22+...+qn2))qi

T:={pRn+1|pn+1<1}Rn+1のサブスペース(部分空間)として考えよう。TRn+1上でオープン(開)であるから、(T,id)、ここで、idはアイデンティティマップ(写像)id:TT、はTCアトラスである。f:TRn,pq,(f(p))i=(1pn+1)1piを考えよう。任意のCマニフォールドたち間マップ(写像)に対して、そのコンティヌアス(連続)性の、トポロジー上の意味におけるものは、そのコンティヌアス(連続)性の、コーディネイト(座標)ファンクション(関数)たちに対するノルムの意味におけるもの、と同値であることの命題によって、fはコンティニュアス(連続)である。f=f|Sn{pn}であるから、任意のコンティヌアス(連続)マップ(写像)の、ドメイン(定義域)およびコドメイン(余域)についてのリストリクション(制限)はコンティヌアス(連続)であるという命題によって、fはコンティニュアス(連続)である。

fはバイジェクション(全単射)である、リバースマップ(写像)f1:RnSn{pn},qp,pi=(1(1+q12+q22+...+qn2)1(1+q12+q22+...+qn2))qi for in, pn+1=(1+q12+q22+...+qn2)1(1+q12+q22+...+qn2)が既に見つかっているから。f1:RnTを考えよう。任意のCマニフォールドたち間マップ(写像)に対して、そのコンティヌアス(連続)性の、トポロジー上の意味におけるものは、そのコンティヌアス(連続)性の、コーディネイト(座標)ファンクション(関数)たちに対するノルムの意味におけるもの、と同値であることの命題によって、f1はコンティニュアス(連続)である。任意のコンティヌアス(連続)マップ(写像)の、ドメイン(定義域)およびコドメイン(余域)についてのリストリクション(制限)はコンティヌアス(連続)であるという命題によって、f1は、コドメイン(余域)を制限したものとしてコンティニュアス(連続)である。


3: 注


Tff1が、任意のCマニフォールドたち間マップ(写像)に対して、そのコンティヌアス(連続)性の、トポロジー上の意味におけるものは、そのコンティヌアス(連続)性の、コーディネイト(座標)ファンクション(関数)たちに対するノルムの意味におけるもの、と同値であることの命題を利用するために導入されないといけない、なぜなら、x1,x2,...,xn+1Sn{pn}のコーディネート(座標)チャートではない。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>