「コンパクト化」の版間の差分

削除された内容 追加された内容
LUE=42 (会話 | 投稿記録)
編集の要約なし
タグ: モバイル編集
LUE=42 (会話 | 投稿記録)
編集の要約なし
タグ: モバイル編集
14行目:
また文脈から<math>i</math>が自明な時は<math>i</math> を略して<math>K</math>を''X'' のコンパクト化という。
 
例えば''X'' を<math>\mathbb{R}^n</math>上の縁を含まない単位円盤<math>\{x \mid |x|<1\}</math>としたとき、縁を含んだ単位円盤<math>\{x \mid |x|\le 1\}</math>は恒等包含写像を埋め込み写像とする''X'' のコンパクト化である。一方半径3の縁を含んだ円盤<math>\{x \mid |x|\le 3\}</math>を''K'' とすると、''X'' は''K''の中で稠密ではないので、''K''は恒等包含写像に対する''X'' のコンパクト化ではない。
 
位相空間 <math>X</math> のコンパクト化 <math>(K_0,i_0)</math> 、<math>(K_1,i_1)</math> に対し、同相写像 <math>j:K_0\to K_1</math> が存在し、 <math>i_1=j\circ i_0</math> となるとき <math>(K_0,i_0)</math> と <math>(K_1,i_1)</math> は'''同値'''であるという。