Question about subset

  • #1
PhysicsGente
89
3
Hello, I was looking into this proof

http://www.proofwiki.org/wiki/Lipschitz_Equivalent_Metrics_are_Topologically_Equivalent

and I was wondering how they concluded that

[tex]
N_{h\epsilon}(f(x);d_2) \subseteq N_{\epsilon}(x;d_1)[/tex]
[tex]
N_{\frac{\epsilon}{k}}(f(x);d_1) \subseteq N_{\epsilon}(x;d_2)
[/tex]

Couldn't it also be that

[tex]
N_{h\epsilon}(f(x);d_2) \supseteq N_{\epsilon}(x;d_1)[/tex]
[tex]
N_{\frac{\epsilon}{k}}(f(x);d_1) \supseteq N_{\epsilon}(x;d_2)
[/tex]


Thanks!
 

Answers and Replies

  • #2
micromass
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
22,178
3,316
You have proven that if [itex]y\in N_{h\varepsilon}(f(x);d_2)[/itex], then [itex]y\in N_\varepsilon(x;d_1)[/itex]. This implies that [itex]N_{h\varepsilon}(f(x);d_2)\subseteq N_\varepsilon(x;d_1)[/itex].

Indeed, saying that [itex]A\subseteq B[/itex] means exactly that all [itex]y\in A[/itex] also have [itex]y\in B[/itex].
 
  • #3
PhysicsGente
89
3
Thanks ;)
 

Suggested for: Question about subset

  • Last Post
Replies
1
Views
819
  • Last Post
Replies
1
Views
908
  • Last Post
Replies
32
Views
1K
Replies
2
Views
931
  • Last Post
Replies
3
Views
1K
Replies
5
Views
1K
  • Last Post
Replies
4
Views
1K
Replies
4
Views
1K
  • Last Post
Replies
1
Views
871
  • Last Post
Replies
1
Views
878
Top