SlideShare a Scribd company logo
1 of 2
N を正の整数全体の集合とし, X := N ∪ {0} とする. X の部分集合族 O を次の様に定
める: A ⊂ X について, A∈O ⇐⇒ A⊂N, またはX−AはNの有限部分集合。
このとき
(1) O は開集合の公理をみたすことを示せ。
(2) 位相空間 (X, O) はハウスドルフ空間であることを示せ. また, X の交わらない
2 つの閉集合 は開集合で分離されることを示せ。
(3) 位相空間 (X, O) はコンパクトか。
(4) Y = {0} ∪ { 1 | n ∈ N} を, 通常の位相をもつユークリッド空間 R の部分空間と
するとき, (X, O) と Y は同相であることを示せ。
N を正の整数全体の集合とし, X := N ∪ {0} とする. X の部分集合族 O を次の様に定める: A ⊂ X について, A∈O ⇐⇒
A⊂N, またはX−AはNの有限部分集合。
このとき
(1) O は開集合の公理をみたすことを示せ。
公理1 全体と空集合はOにはいる。
公理2 A,B∈O(2) ならばA,B⊂NならばA∩B⊂N X-A,X-B⊂NならばX-A∩X-B⊂N
A⊂N X-B⊂NならばA∩B=⊂N よって和集合はOにはいる。
公理3 A,B∈O(2) ならばA,B⊂NならばAUB⊂N X-A,X-B⊂NならばX-AUX-B⊂N
A⊂N X-B⊂NならばX-AUB=(X-A)∩(X-B)⊂N よって和集合はOにはいる。
(2) 位相空間 (X, O) はハウスドルフ空間であることを示せ. また, X の交わらない 2 つの閉集合 は開集合で分離
されることを示せ。
証明 x,y⊂Nである時、x⊂Aとなる開集合とy⊂Bとなる開集合でA∩B=空集合となるものを取れば良い。
証明
CD閉集合⇐⇒(C,D∩(X-N)≠空集合)または (C,DはNの有限部分集合)
A1=Nの中のCの元,A2=C-N, B1=Nの中のDの元,B2=C-Nとすればこれは開集合である。
(3) 位相空間 (X, O) はコンパクトか。
コンパクトでない。
証明 Nの任意の部分集合は開集合。よってNの1元集合は開集合であるのでそれらとX-Nで覆うとXの開被覆ができ
るが,1つでも取り除くと開被覆にならない。
(4) Y = {0} ∪ { 1 /n| n ∈ N} を, 通常の位相をもつユークリッド空間 R の部分空間とするとき, (X, O) と Y は同相て
゙あることを示せ。
F;X→YをF(0)=0 それ以外ではF(n)=1/nとする。 A⊂Nなる開集合に対してはF,𝐹−1
は開集合に移し0を含む開集合に対
しては F,𝐹−1
は有限集合を有限集合に写すので開集合に移す。

More Related Content

What's hot

コンパクトとハウスドルフの定義
コンパクトとハウスドルフの定義コンパクトとハウスドルフの定義
コンパクトとハウスドルフの定義nabeshimamasataka
 
(a,b]位相とコンパクト性
(a,b]位相とコンパクト性 (a,b]位相とコンパクト性
(a,b]位相とコンパクト性 政孝 鍋島
 
(a,b]位相とコンパクト性
(a,b]位相とコンパクト性(a,b]位相とコンパクト性
(a,b]位相とコンパクト性nabeshimamasataka
 
商位相とコンパクト化の問題
商位相とコンパクト化の問題商位相とコンパクト化の問題
商位相とコンパクト化の問題政孝 鍋島
 
商位相とコンパクト化の問題
商位相とコンパクト化の問題商位相とコンパクト化の問題
商位相とコンパクト化の問題nabeshimamasataka
 
有限個の点を取り付けた集合の位相
有限個の点を取り付けた集合の位相有限個の点を取り付けた集合の位相
有限個の点を取り付けた集合の位相政孝 鍋島
 
対角線上の位相
対角線上の位相対角線上の位相
対角線上の位相政孝 鍋島
 
積位相とコンパクト
積位相とコンパクト積位相とコンパクト
積位相とコンパクト政孝 鍋島
 
120531サブゼミ意思決定(7)
120531サブゼミ意思決定(7)120531サブゼミ意思決定(7)
120531サブゼミ意思決定(7)takemuralab
 
f(x)=0と極値の問題
f(x)=0と極値の問題f(x)=0と極値の問題
f(x)=0と極値の問題政孝 鍋島
 
距離空間とconcaveな写像
距離空間とconcaveな写像距離空間とconcaveな写像
距離空間とconcaveな写像政孝 鍋島
 
直積位相の問題
直積位相の問題直積位相の問題
直積位相の問題政孝 鍋島
 

What's hot (19)

R上の位相
R上の位相R上の位相
R上の位相
 
コンパクトとハウスドルフの定義
コンパクトとハウスドルフの定義コンパクトとハウスドルフの定義
コンパクトとハウスドルフの定義
 
(-∞,a)位相
(-∞,a)位相 (-∞,a)位相
(-∞,a)位相
 
(-∞,a)位相
(-∞,a)位相(-∞,a)位相
(-∞,a)位相
 
(a,b]位相とコンパクト性
(a,b]位相とコンパクト性 (a,b]位相とコンパクト性
(a,b]位相とコンパクト性
 
(a,b]位相とコンパクト性
(a,b]位相とコンパクト性(a,b]位相とコンパクト性
(a,b]位相とコンパクト性
 
商位相とコンパクト化の問題
商位相とコンパクト化の問題商位相とコンパクト化の問題
商位相とコンパクト化の問題
 
商位相とコンパクト化の問題
商位相とコンパクト化の問題商位相とコンパクト化の問題
商位相とコンパクト化の問題
 
円の位相
円の位相円の位相
円の位相
 
円の位相
円の位相円の位相
円の位相
 
有限個の点を取り付けた集合の位相
有限個の点を取り付けた集合の位相有限個の点を取り付けた集合の位相
有限個の点を取り付けた集合の位相
 
対角線上の位相
対角線上の位相対角線上の位相
対角線上の位相
 
積位相とコンパクト
積位相とコンパクト積位相とコンパクト
積位相とコンパクト
 
積位相とコンパクト
積位相とコンパクト積位相とコンパクト
積位相とコンパクト
 
120531サブゼミ意思決定(7)
120531サブゼミ意思決定(7)120531サブゼミ意思決定(7)
120531サブゼミ意思決定(7)
 
f(x)=0と極値の問題
f(x)=0と極値の問題f(x)=0と極値の問題
f(x)=0と極値の問題
 
f(x)=0と極値の問題
f(x)=0と極値の問題f(x)=0と極値の問題
f(x)=0と極値の問題
 
距離空間とconcaveな写像
距離空間とconcaveな写像距離空間とconcaveな写像
距離空間とconcaveな写像
 
直積位相の問題
直積位相の問題直積位相の問題
直積位相の問題
 

More from nabeshimamasataka

曲面の面積の計算と証明
曲面の面積の計算と証明曲面の面積の計算と証明
曲面の面積の計算と証明nabeshimamasataka
 
ゼータ関数と任意の正の数への収束
ゼータ関数と任意の正の数への収束ゼータ関数と任意の正の数への収束
ゼータ関数と任意の正の数への収束nabeshimamasataka
 
D上の関数の極値の問題
D上の関数の極値の問題D上の関数の極値の問題
D上の関数の極値の問題nabeshimamasataka
 
関数の各点収束と一様収束
関数の各点収束と一様収束関数の各点収束と一様収束
関数の各点収束と一様収束nabeshimamasataka
 
2次曲面の極値の問題
2次曲面の極値の問題2次曲面の極値の問題
2次曲面の極値の問題nabeshimamasataka
 
D上の関数の極値の問題
D上の関数の極値の問題D上の関数の極値の問題
D上の関数の極値の問題nabeshimamasataka
 
2つのトーラスの合体
2つのトーラスの合体2つのトーラスの合体
2つのトーラスの合体nabeshimamasataka
 
メビウスの帯とトーラス
メビウスの帯とトーラスメビウスの帯とトーラス
メビウスの帯とトーラスnabeshimamasataka
 
凸角形全体の位相の性質
凸角形全体の位相の性質凸角形全体の位相の性質
凸角形全体の位相の性質nabeshimamasataka
 
コンパクトとハウスドルフの問題
コンパクトとハウスドルフの問題コンパクトとハウスドルフの問題
コンパクトとハウスドルフの問題nabeshimamasataka
 

More from nabeshimamasataka (20)

双曲幾何学
双曲幾何学双曲幾何学
双曲幾何学
 
曲面の面積の計算と証明
曲面の面積の計算と証明曲面の面積の計算と証明
曲面の面積の計算と証明
 
ゼータ関数と任意の正の数への収束
ゼータ関数と任意の正の数への収束ゼータ関数と任意の正の数への収束
ゼータ関数と任意の正の数への収束
 
少し複雑な積分問題
少し複雑な積分問題少し複雑な積分問題
少し複雑な積分問題
 
D上の関数の極値の問題
D上の関数の極値の問題D上の関数の極値の問題
D上の関数の極値の問題
 
関数の各点収束と一様収束
関数の各点収束と一様収束関数の各点収束と一様収束
関数の各点収束と一様収束
 
積分と漸化式
積分と漸化式積分と漸化式
積分と漸化式
 
ガウス積分
ガウス積分ガウス積分
ガウス積分
 
2次曲面の極値の問題
2次曲面の極値の問題2次曲面の極値の問題
2次曲面の極値の問題
 
D上の関数の極値の問題
D上の関数の極値の問題D上の関数の極値の問題
D上の関数の極値の問題
 
発散と収束の証明
発散と収束の証明発散と収束の証明
発散と収束の証明
 
面積と長さの問題
面積と長さの問題面積と長さの問題
面積と長さの問題
 
ラプシアン作用素
ラプシアン作用素ラプシアン作用素
ラプシアン作用素
 
2つのトーラスの合体
2つのトーラスの合体2つのトーラスの合体
2つのトーラスの合体
 
メビウスの帯とトーラス
メビウスの帯とトーラスメビウスの帯とトーラス
メビウスの帯とトーラス
 
3つの球体の合体
3つの球体の合体3つの球体の合体
3つの球体の合体
 
凸角形全体の位相の性質
凸角形全体の位相の性質凸角形全体の位相の性質
凸角形全体の位相の性質
 
コンパクトとハウスドルフの問題
コンパクトとハウスドルフの問題コンパクトとハウスドルフの問題
コンパクトとハウスドルフの問題
 
関数列の極限
関数列の極限関数列の極限
関数列の極限
 
漸化式と微分積分
漸化式と微分積分漸化式と微分積分
漸化式と微分積分
 

Recently uploaded

リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライドリアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライドKen Fukui
 
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライドリアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライドKen Fukui
 
TEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdfTEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdfyukisuga3
 
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ssusere0a682
 
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライドリアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライドKen Fukui
 
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライドリアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライドKen Fukui
 
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライドリアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライドKen Fukui
 
【ゲーム理論入門】ChatGPTが作成した ゲーム理論の問題を解く #3 Slide
【ゲーム理論入門】ChatGPTが作成した ゲーム理論の問題を解く #3 Slide【ゲーム理論入門】ChatGPTが作成した ゲーム理論の問題を解く #3 Slide
【ゲーム理論入門】ChatGPTが作成した ゲーム理論の問題を解く #3 Slidessusere0a682
 

Recently uploaded (8)

リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライドリアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
リアル戦国探究in米沢 当日講座2スライド(スタッフ共有用)『人を致すも人に致されず』についてのスライド
 
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライドリアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
リアル戦国探究in米沢 当日講座1(スタッフ共有用)『兵は詐をもって立つ』についてのスライド
 
TEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdfTEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdf
 
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
 
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライドリアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
リアル戦国探究in米沢 事前講座2スライド(スタッフ共有用)『両雄の強さの秘密』についてのスライド
 
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライドリアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
リアル戦国探究in米沢 当日講座3スライド(スタッフ共有用)『糧は三度はさいせず』についてのスライド
 
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライドリアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
リアル戦国探究in米沢 事前講座1スライド(スタッフ共有用)『川中島の謎』についてのスライド
 
【ゲーム理論入門】ChatGPTが作成した ゲーム理論の問題を解く #3 Slide
【ゲーム理論入門】ChatGPTが作成した ゲーム理論の問題を解く #3 Slide【ゲーム理論入門】ChatGPTが作成した ゲーム理論の問題を解く #3 Slide
【ゲーム理論入門】ChatGPTが作成した ゲーム理論の問題を解く #3 Slide
 

位相と有限集合

  • 1. N を正の整数全体の集合とし, X := N ∪ {0} とする. X の部分集合族 O を次の様に定 める: A ⊂ X について, A∈O ⇐⇒ A⊂N, またはX−AはNの有限部分集合。 このとき (1) O は開集合の公理をみたすことを示せ。 (2) 位相空間 (X, O) はハウスドルフ空間であることを示せ. また, X の交わらない 2 つの閉集合 は開集合で分離されることを示せ。 (3) 位相空間 (X, O) はコンパクトか。 (4) Y = {0} ∪ { 1 | n ∈ N} を, 通常の位相をもつユークリッド空間 R の部分空間と するとき, (X, O) と Y は同相であることを示せ。
  • 2. N を正の整数全体の集合とし, X := N ∪ {0} とする. X の部分集合族 O を次の様に定める: A ⊂ X について, A∈O ⇐⇒ A⊂N, またはX−AはNの有限部分集合。 このとき (1) O は開集合の公理をみたすことを示せ。 公理1 全体と空集合はOにはいる。 公理2 A,B∈O(2) ならばA,B⊂NならばA∩B⊂N X-A,X-B⊂NならばX-A∩X-B⊂N A⊂N X-B⊂NならばA∩B=⊂N よって和集合はOにはいる。 公理3 A,B∈O(2) ならばA,B⊂NならばAUB⊂N X-A,X-B⊂NならばX-AUX-B⊂N A⊂N X-B⊂NならばX-AUB=(X-A)∩(X-B)⊂N よって和集合はOにはいる。 (2) 位相空間 (X, O) はハウスドルフ空間であることを示せ. また, X の交わらない 2 つの閉集合 は開集合で分離 されることを示せ。 証明 x,y⊂Nである時、x⊂Aとなる開集合とy⊂Bとなる開集合でA∩B=空集合となるものを取れば良い。 証明 CD閉集合⇐⇒(C,D∩(X-N)≠空集合)または (C,DはNの有限部分集合) A1=Nの中のCの元,A2=C-N, B1=Nの中のDの元,B2=C-Nとすればこれは開集合である。 (3) 位相空間 (X, O) はコンパクトか。 コンパクトでない。 証明 Nの任意の部分集合は開集合。よってNの1元集合は開集合であるのでそれらとX-Nで覆うとXの開被覆ができ るが,1つでも取り除くと開被覆にならない。 (4) Y = {0} ∪ { 1 /n| n ∈ N} を, 通常の位相をもつユークリッド空間 R の部分空間とするとき, (X, O) と Y は同相て ゙あることを示せ。 F;X→YをF(0)=0 それ以外ではF(n)=1/nとする。 A⊂Nなる開集合に対してはF,𝐹−1 は開集合に移し0を含む開集合に対 しては F,𝐹−1 は有限集合を有限集合に写すので開集合に移す。