- ベストアンサー
距離空間の問題:Bd1とBd2の境界について
rabbit_catの回答
> x∈Xが「どんなr>0に対しても、Bd(x;r)はAに含まれない、かつ、Bd(x;r)∩A≠φ」 それでは、 {x∈X|d(x,p)=r} という集合が、Bd1(p;r)、Bd2(p;r) の境界であることを、この定義にしたがって確かめればよいのでは。 ・ {x∈X|d(x,p)=r}上の点が全て境界の定義を満たす ・ {x∈X|d(x,p)=r}上にない点全ては、境界の定義を満たさない という2つことを確かめればよいです。
関連するQ&A
- 距離空間でどのように開集合族をとれば位相空間になる?
よろしくお願い致します。 距離空間Xはその距離によって定められる開集合族をGとすればXは位相空間になると本に書いてあったのですが いまいち文意が分かりません。 距離d:X^2→Rに於いて、具体的にどのようにGを定めればいいのでしょうか?
- ベストアンサー
- 数学・算数
- 距離空間と位相空間について
距離空間(A,d)において、dに関する開集合全体をAdとおくとき、(A,Ad)は位相空間であることを示せ。 この問題なのですが、位相空間の定義は理解しているのですが、そこから進まなくて困っています。 どうかご教授お願いします。
- ベストアンサー
- 数学・算数
- 距離空間についての問題です。
距離空間についての問題です。 (A,d) を距離空間とし、B⊂A をコンパクト集合とする。1点b∈¬B に対し、次の3つの条件をみたす開集合 U,V が存在することを証明しなさい。( b は B の元ではないという意味です) B⊂U, b∈V ,U∩V=φ この証明問題が解けずに困っています。 よろしければ回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- 数学の距離空間について。
Xを任意の集合とし、 d(x,y)=0(x=y)、1(x≠y) で、関数d:X × X →Rを定める。 Xの任意の部分集合は距離dに関して開集合、閉集合であることを示せ。特に、一点である{x}、x ∈Xは開集合である。 という問題がわかりません。 ご指導よろしくお願いします。
- 締切済み
- 数学・算数
- 位相空間の問題なんですが…
(X,d)距離空間とし、X=A∪Bにおいて 連続写像 f:(A,d)→(Y,ρ) g:(B,d)→(Y,ρ)であり 写像 h:(X,d)→(Y,ρ) f(x) if x∈A h(x)={ と定義する。 g(x) if x∈B このときA、B共に(X,d)の開集合(閉集合)ならば、hは連続であることを証明せよ。 という問題です。わかる方、証明のアイデアだけでも結構です。宜しくお願いします。
- ベストアンサー
- 数学・算数
- 位相の問題(距離空間)について
以下の問題のヒントをくださいm(、、)m 距離空間(X,d)の点aのε近傍U(a;ε), 点bのδ近傍U(b;δ) について. (1) d(a,b)≧ε+δ ⇒ U(a;ε)∩U(b;δ) =φ を示せ. (2) d(a,b)<ε+δ ⇒ U(a;ε)∩U(b;δ) ≠φ であるといえるか? 証明または反例を示せ. (3) U(a;ε)はXの開集合であることを証明せよ. (1) U(a;ε) = {x∈R^n | ||a-x||<ε} U(b;δ) = {y∈R^n | ||b-y||<δ} とかける z∈U(a;ε)∩U(b;δ) をとると ||a-z||<εかつ ||b-z||<δ をみたす このとき d(a,b) = ||a-b|| = ||a-z+z-b|| ≦ ||a-z||+||z-b|| <ε+δ ∴ε+δ>d(a,b) よって,ε+δ≦d(a,b) ⇒ U(a;ε)∩U(b;δ) =φ ■ (2) 成り立つとおもうのですが証明がどうすればいいのか‥‥ (3) 近傍の定義より明らか? よろしくおねがいします。
- ベストアンサー
- 数学・算数
- 位相(開集合を示す問題です)
問 (X,d)を距離空間とする。 r>0、x₀∊X、Br(x₀):={y∊X|d(y,x₀)<r}と置く。 このとき、Br(x₀)は開集合であることを示せ。 開集合を示すから、Br(x₀)の要素aを任意に取ることをかんがえましたが、そのあとの解答の筋道、方針が分りません。ご教授願います。
- ベストアンサー
- 数学・算数
- 位相空間論の問題です
Aをn次元ユークリッド空間(R^n,d(n))の開集合とし、 部分位相空間(A,O(A))とするとき、次の(i)(ii)を示して下さい。 (i)Aの弧状連結成分は開集合であること (ii)Aは連結ならば弧状連結であること どなたか教えてください。よろしくお願いします。
- 締切済み
- 数学・算数
- 開空間かどうかの判定?
難しい論理記号はよくわかりません。 座標空間R^3の標準的な距離について、 B(a,ε)、ε>0は開集合か判定したいです。 (問題はまったく解いたことがありません) 質問1 開集合の定義から 「x∈B(a,ε)である任意の元xに対して、B(x,ε)⊂B(a,ε)となるεが少なくとも1つ存在する」・・・・(※) ことを示せばいいんでしょうか? 質問2 ※のεは、適当なものを具体的に当てはめてみればいいんですか?(意味不明でしたら無視してください) 結局この問題はどう解けばいいでしょうか・・・? 質問3(できれば答えて欲しい質問です) B(x,ε)のεと、B(a,ε)のεは別物ですよね?ならどちらかのεは別の記号(βとか)で書いて、β近傍とでも呼べばいいんですか? 長くなりましたが、緊急で非常に困ってますのでどうか教えてください。よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
何とか解けました ありがとうございます