No.3ベストアンサー
- 回答日時:
通常は、まず、開集合を定義して、これをもとに閉集合を定義します。
Xの開集合全体の集合uは次の3つを満たす。(定義)
1)Φ∈u,X∈u
2)n∈Nとする。もしU1,U2,…,Un∈uならば∩(k=1~n)Uk∈u
3){Uλ}λ∈∧を集合∧で添え字づけられた開集合族とすると、∪(λ∈∧)Uλ∈u
Xの閉集合とは、ある開集合の補集合となっていることである。(定義)
つまり、FがXの閉集合であるとは、あるU∈uに対して、F=X-Uとなって
いることである。
よって、
1)Φ=X-X∈f, X=X-Φ∈f
2)は、Fk=X-Uk、3)は、Fλ=X-Uλと表して、集合の演算を使えば
できます。(ド・モアブルの定理を使う)
No.2
- 回答日時:
No.1 のヒントに沿って…
質問文中の 1)~3) は、「閉集合」を定義する公理群なので、
証明は、「定義より自明」で完了。
この公理によって、X に付随する閉集合族 f を定義すると、
(X,f) のペアを位相空間とみなすことができる。
このようにして、X に位相を導入すると、位相に関連する
諸概念も定義できるようになる。 例えば、開集合とは、
X の部分集合のうち、補集合が閉集合であるもののこと。
No.1
- 回答日時:
基本的な問題なので、位相に関する教科書を見れば、載っていると思います。
位相の定義は何を使っていますか。
定義によっても、解答の方向が違ってきますよ。
この回答への補足
回答ありがとうございます。
定義:Xを空でない集合とする.Xの部分集合の族uで次の条件を満たすものが与えられているとき、uはX上に位相を定めるという.
1、Φ,X∈u
2、U1,U2∈u⇒U1∩U2∈u
3、uの元からなる任意の集合族{Uλ}λ∈∧に対し∪λUλ∈u
位相空間Xの部分集合Fは、その補集合X-Fが開集合となるとき閉集合という.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 数学の集合の問題です。わからないので教えて頂けませんか。 問題は2つです。 1,各集合を, 空集合, 3 2023/06/19 22:17
- 数学 「FFTの基本は、DFTはサンプル数Nが偶数なら 2つのDFTに分解できるということ。 分解するとD 3 2022/03/31 21:01
- 数学 代数学 環 1 2022/10/11 00:04
- 数学 開集合・閉集合について 4 2022/11/04 13:53
- 数学 代数学のわからない問題を教えて頂きたいです。 つぎのn次正方行列の集合Hはn次一般線形群GL(n,R 5 2022/11/19 20:47
- Excel(エクセル) Excel2007での条件付き書式について 6 2023/05/02 10:56
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- Excel(エクセル) SUMIFのIF分岐について 4 2023/04/15 12:57
- 数学 局所コンパクト空間になることの必要十分条件についての質問 3 2022/03/24 16:17
- Excel(エクセル) 【Excel質問】別シートにある複数の同型の表から、同じ行項目にある数字を集計する 4 2023/02/16 00:14
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
なにしてるかわからない。。
-
皆さん定義を教えてください 「...
-
自然数 整数 有理数 実数 加法 ...
-
無限から無限を引いたら何にな...
-
マイナス7は素数ですか?
-
「logx^2=2logx」が間違って...
-
普通の人は人を激しい責めます...
-
ネットストーカーの定義 最近SN...
-
環の乗法に関して左(右)逆元...
-
「互いに素」の定義…「1と2は互...
-
数学の両辺2乗と√について教え...
-
eの0乗は1ってどういう原理です...
-
なぜ、直角三角形ではないのにs...
-
数学で、未定義の
-
A二乗のルート=絶対値Aになり...
-
数字の1とは何なのか?
-
ヘシアンが0の場合どうやって極...
-
ノートンのウイルス定義のバー...
-
べき乗
-
0次元多様体
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
無限から無限を引いたら何にな...
-
1未満と1以下の違い
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
数字の1とは何なのか?
-
「互いに素」の定義…「1と2は互...
-
変数の宣言の名称を教えてくだ...
-
ACCESS VBAでインポート定義の場所
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
Excelファイルの「数式」タブ→...
-
e<3の証明を教えてください。
-
なぜ小数は自然数ではないので...
-
ヘシアンが0の場合どうやって極...
-
2進数の符号ビットの入った数...
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
フーリエ級数展開の初項はなぜa...
おすすめ情報