位相幾何学者の正弦曲線 From Wikipedia, the free encyclopedia 位相幾何学者の正弦曲線（いそうきかがくしゃのせいげんきょくせん、英: Topologist's sine curve）とは、半開区間 ( 0 , 1 ] {\displaystyle (0,1]} 上の関数 y = sin 1 x {\displaystyle y=\sin {\frac {1}{x}}} に原点 ( 0 , 0 ) {\displaystyle (0,0)} を加えた、座標平面上の曲線である。すなわち、位相幾何学者の正弦曲線 T {\displaystyle T} は、以下の式で与えられる。 T = { ( x , sin 1 x ) : x ∈ ( 0 , 1 ] } ∪ { ( 0 , 0 ) } . {\displaystyle T=\left\{\left(x,\sin {\frac {1}{x}}\right):x\in (0,1]\right\}\cup \{(0,0)\}.} この曲線は、数学、特に位相幾何学において、いくつかの興味深い性質を持つ位相空間の例としてしばしば取り上げられる。 x {\displaystyle x} が右から0に近づくにつれて 1 x {\displaystyle {\frac {1}{x}}} は大きくなり、正弦波の周期は急速に減少していく。 性質 位相幾何学者の正弦曲線 T {\displaystyle T} は連結であるが、局所連結でも弧状連結でもない。 T {\displaystyle T} は原点を含むが、原点と関数のグラフ上の点とを結ぶ弧を作ることはできないからである。 位相空間 T {\displaystyle T} は局所コンパクト空間の連続像である。実際、 V {\displaystyle V} を {−1} ∪ (0, 1] とし、 V {\displaystyle V} から T {\displaystyle T} への写像 f {\displaystyle f} を f ( x ) = { ( 0 , 0 ) : x = − 1 ( x , sin 1 x ) : 0 < x ≤ 1 {\displaystyle f(x)={\begin{cases}(0,0)&:\ x=-1\\(x,\sin {\frac {1}{x}})&:0<\ x\leq 1\end{cases}}} と定めればよい。しかし、 T {\displaystyle T} 自身は局所コンパクトではない。 T {\displaystyle T} のルベーグ被覆次元は1である。 亜種 位相幾何学者の正弦曲線の2つの亜種は、異なる興味深い性質を持つ。 閉じた位相幾何学者の正弦曲線は、位相幾何学者の正弦曲線に集積点の集合 { ( 0 , y ) ∣ y ∈ [ − 1 , 1 ] } {\displaystyle \{(0,y)\mid y\in [-1,1]\}} を加えたものとして定義される。この空間は有界閉集合なのでハイネ・ボレルの被覆定理によりコンパクトである。しかし、位相幾何学者の正弦曲線と同様に、連結ではあるが局所連結でも弧状連結でもない。 拡張された位相幾何学者の正弦曲線は、閉じた位相幾何学者の正弦曲線に集合 { ( x , 1 ) ∣ x ∈ [ 0 , 1 ] } {\displaystyle \{(x,1)\mid x\in [0,1]\}} を加えたものとして定義される。この空間は弧連結ではあるが、局所連結ではない。 参考文献 Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (Dover reprint of 1978 ed.), Mineola, NY: Dover Publications, Inc., pp. 137?138, ISBN 978-0-486-68735-3, MR1382863 Weisstein, Eric W. "Topologist's Sine Curve". mathworld.wolfram.com (英語). 関連項目 位相幾何学 正弦波 位相空間論 位相空間 極限 連結空間 連続 (数学) Related Articles
![{\displaystyle (0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e70f9c241f9faa8e9fdda2e8b238e288807d7a4)
![{\displaystyle T=\left\{\left(x,\sin {\frac {1}{x}}\right):x\in (0,1]\right\}\cup \{(0,0)\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c188bad1bd5484857ca8ee5dbd5e1354243bb0f9)
![{\displaystyle \{(0,y)\mid y\in [-1,1]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3dff9ac5c2a53868d76f8bf3f7a7a841876b3ca0)
![{\displaystyle \{(x,1)\mid x\in [0,1]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5327e8b84efd6909fc334b522974b34963cd7e8f)