Finite intersection of open sets is open

In summary, the book says that to prove that the finite intersection of open sets is open, one must first prove that any union of open sets is open, then show that a finite intersection of open sets is open, and finally show that an infinite intersection of open sets is not necessarily open.
  • #1
cappygal
9
0
In my multivariable calc class, we're asked to prove that the finite intersection of open sets is open. I've tried to find help on the internet but couldn't find anything to help. I understand somewhat the idea of "nesting sets" that some proofs use .. can anyone help me understand this to prove it? Thanks!
 
Physics news on Phys.org
  • #2
It would help if you could provide some context. What is the space you are working in and how are open sets defined? In purely abstract situations, the set of open sets is closed under finite intersections and all unions by definition.
 
  • #3
clarification

It is a purely abstract situation. The book says: "Prove the following statements for open subsets of R^n (where R is the Reals):
a) any union of open sets is open.
b) A finite intersection of open sets is open
c) An infinite intersection of open sets is not necessarily open. "

I can prove a and c, but not b. My book is Vector Calculus, Linear Algebra, and Differential Forms, by John H and Barbara Burke Hubbard. Since it is not a topography book, it does not explain any of this within the context of the chapter reading. I hope this helps clarify.
 
  • #4
That's not a purely abstract situation. That's a very specific situation, where your space is Rn. Normally, open sets of some set X are defined to be the elements of a topology T, where T is a collection of subsets of X satisfying the following properties:

1) the empty set and X itself are both elements of T
2) every arbitrary union of elements of T is itself an element of T
3) every finite intersection of elements of T is itself an element of T

So topologically speaking, by definition, a finite intersection of open sets is open, since "being open" just means "being an element of the topology." Note that a set X (where X might be some Rn, or possibly anything else) can have various different topogies. You are studying the standard topology, I assume.

You are probably defining an open set to be a set U such that for each x in U, there is an open ball B such that x is in B and B is a subset of U. This is an even more specific case (less abstract) since you're working within a specific topology. Moreover, you're probably appealing to a metric (open balls around x are the set of points that are within some given distance from x). In general, you don't need a metric to define a topology. Even more specific is that you're dealing with a particular metric, the Euclidean metric. So open balls around x will really "look like" balls. With other metrics, they can look like other things, like cubes perhaps. In fact, you might be dealing with open rectangles instead of open balls.

Well you can prove this by induction. If you can prove that the intersection of two open sets is open, then you can prove that a finite intersection is open. If you're working with open balls, you want to prove that if x is in two balls U and V, then there is some open ball centered at x which is contained in both U and V. So if you think about drawing two overlapping circles, then at any point where they overlap, you can draw a tiny circle around that point so that this tiny circle is entirely contained in the overlapping region. If you're dealing with rectangles, its even easier because the overlapping region is itself a rectangle, so its very easy to choose the rectangle (just choose the intersection!). Now this should give you an intuitive feel for what you should be trying to prove. But you will have to keep in mind that you're dealing with Rn[/sub], not just R², so you'll have to generalize these ideas. You'll have to show rigourously that the intersection of two open rectangles is again an open rectangle. If you're dealing with open balls, you have to explicitly choose a radius r for your tiny ball to ensure that it is contained in the intersection of U and V. These things are easy to do once you have a clear picture of what you're trying to do.
 

1. What does it mean for a set to be open?

In topology, a set is considered open if it does not contain its boundary points. In other words, every point in the set must have a neighborhood that is also contained within the set.

2. What is a finite intersection of open sets?

A finite intersection of open sets refers to the intersection of a finite number of sets that are all considered open according to the above definition. This means that for a finite intersection of open sets to be open, every point in the resulting set must have a neighborhood that is contained within all of the original sets.

3. Why is the finite intersection of open sets important?

The finite intersection of open sets is important in topology because it allows us to define and prove the openness of more complex sets. It is also a fundamental concept in the study of topological spaces and their properties.

4. How is the finite intersection of open sets different from the infinite intersection of open sets?

The main difference between the finite and infinite intersection of open sets is the number of sets involved. As discussed earlier, a finite intersection involves a finite number of sets, while an infinite intersection involves an infinite number of sets. This difference is crucial because the properties and behavior of infinite sets can be very different from finite sets.

5. Can a finite intersection of open sets ever be closed?

No, a finite intersection of open sets can never be closed. This is because the openness of a set implies that its complement (the set of all points not contained within the set) is closed. Therefore, if a finite intersection of open sets were to be closed, it would contradict the definition of openness.

Similar threads

  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
15
Views
887
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
6
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
721
  • Calculus and Beyond Homework Help
Replies
9
Views
4K
  • Calculus and Beyond Homework Help
Replies
3
Views
6K
Replies
1
Views
2K
  • Calculus and Beyond Homework Help
Replies
2
Views
4K
  • Calculus and Beyond Homework Help
Replies
3
Views
5K
Back
Top