Closed set, compact set, and a definition of distance between sets

In summary, the conversation discusses the definition of distance between two non-empty subsets of R^n and provides an example of two closed sets that satisfy the given distance formula but do not intersect. It also asks to prove that the intersection of two compact sets with a distance of 0 cannot be a null set, and suggests using a sequence to demonstrate this. An example of such a sequence is given, using the graphs of 1/x^2 and -1/x^2.
  • #1
txy
15
0

Homework Statement



Let E and F be 2 non-empty subsets of [tex]R^{n}[/tex]. Define the distance between E and F as follows:

d(E,F) = [tex]inf_{x\in E , y\in F} | x - y |[/tex]

(a). Give an example of 2 closed sets E and F (which are non-empty subsets of R^n) that satisfy d(E,F) = 0 but the intersection of E and F is a null set.

(b). If E and F (non-empty subsets of R^n) are compact sets and d(E,F) = 0, prove that the intersection of E and F cannot be the null set.


Homework Equations



The Attempt at a Solution



Part (b) of the question suggests that the closed sets in part (a) are not bounded. But I still can't find these 2 sets with d(E,F) = 0 and yet they don't intersect.

For part (b), maybe I can find a sequence of points [tex]x_{k}[/tex] in E and another sequence [tex]y_{k}[/tex] in F such that as k increases, the distance between [tex]x_{k}[/tex] and [tex]y_{k}[/tex] decreases. Then since E and F are compact, therefore these 2 sequences must converge. And since d(E,F) = 0, hence these 2 sequences must converge to the same point. And then since E and F are compact, this limit point must lie in both E and F, thus E and F share at least one common point.
 
Physics news on Phys.org
  • #2
For part (b), think about the graphs of 1/x2 and -1/x2 as an example.

That looks like a pretty good sketch argument. Only thing is that only a subsequence of each of those must converge, but it amounts to the same result here
 

What is a closed set?

A closed set is a set of points in a mathematical space that includes all of its limit points. This means that if a sequence of points within the set converges, the limit point must also be within the set.

What is a compact set?

A compact set is a set that is both closed and bounded. This means that the set includes all of its limit points and can be contained within a finite region.

What is the definition of distance between sets?

The distance between two sets is defined as the greatest lower bound of the distances between all pairs of points, where each point is from a different set. In other words, it is the smallest possible distance between any two points from the two sets.

How do you calculate the distance between sets?

The distance between sets can be calculated by finding the smallest distance between any two points from the two sets. This can be done by first finding the distance between all pairs of points and then selecting the smallest of these distances.

Why are closed and compact sets important in mathematics?

Closed and compact sets are important in mathematics because they have many useful properties and are essential for understanding continuity, convergence, and other mathematical concepts. They also have applications in fields such as analysis, topology, and geometry.

Similar threads

  • Calculus and Beyond Homework Help
Replies
14
Views
2K
  • Calculus and Beyond Homework Help
Replies
13
Views
951
  • Calculus and Beyond Homework Help
Replies
11
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
402
  • Calculus and Beyond Homework Help
Replies
4
Views
2K
  • Calculus and Beyond Homework Help
Replies
5
Views
2K
  • Set Theory, Logic, Probability, Statistics
Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
8
Views
1K
Back
Top