Properties of Open Sets (and what are Indexing Sets?)

In summary: show that if the collection is an open set then it is also an intersection, whereas for an infinite collection you would need to show that the collection is an intersection and not just an open set.
  • #1
maverick280857
1,789
4

Homework Statement


Source: An Introduction to Complex Analysis (Classical and Modern Approaches) by Wolfgang Tutschke and Harkrishan L. Vasudeva (Champan and Hall/CRC)
Ref. page 17

Consider the metric space [itex](\mathbb{C}, d)[/itex]
1. If [itex]U_{1}[/itex], [itex]U_{2}[/itex],...,[itex]U_{n}[/itex] are open sets in [itex]\mathbb{C}[/itex], then so is [tex]\bigcap_{k = 1}^{n} U_{k}[/tex].
2. If {[itex]U_{\alpha} : \alpha \in \Lambda[/itex]} is a collection of open sets in [itex]\mathbb{C}[/itex], where [itex]\Lambda[/itex] is any indexing set, then [tex]U = \bigcup_{\alpha \in \Lambda} U_{\alpha}[/tex] is also open.

Homework Equations



(None...all data stated in the question above)

The Attempt at a Solution



I am able to understand the proof of (1) but the proposition (2) is not clear to me.

What does an indexing set mean? Also, why does one need an indexing set in part (2) and not (1)?
 
Last edited:
Physics news on Phys.org
  • #2
An index set is a set used to label the elements of another set, by means of introducing a surjective function from the index set, to the set being indexed.

An index set is not needed to describe the first example, since there are finitely many sets Ui. However, in the second example, there is no restriction on the set [itex]\{U_\alpha:\alpha\in\Lambda\}[/itex] to make it finite. For example, [itex]\Lambda[/itex] may be |N, in which case {Ua} would be countably infinite.

For (1) an intersection of finitely many open sets it open, whereas for (2) the union of any number of open sets is open.
 
  • #3
There's nothing really that special about the "indexing" set in this case. They could have just said "where [itex]\Lambda[/itex] is any set". Basically, they want you to prove that the union of [itex]|\Lambda |[/itex] open sets is open, where since [itex]\Lambda[/itex] can be any set, [itex]|\Lambda |[/itex] can be any cardinal number. More concisely, they want you to show that a union of any number of open sets is an open set.

In question 1, they could have talked about an indexing set. As you can see, they are using the indexing set {1, 2, ..., n}. If they were to talk about an indexing set, they would say "If {Ua : a is in L} is a collection of open sets in C, where L is any finite indexing set, then [itex]\cap _{a \in L}U_a[/itex] is also open."
 
  • #4
Sorry. but how does the OP conclude that 1) does not have an indexing set but 2) does?
 
  • #5
cristo said:
An index set is not needed to describe the first example, since there are finitely many sets Ui. However, in the second example, there is no restriction on the set [itex]\{U_\alpha:\alpha\in\Lambda\}[/itex] to make it finite. For example, [itex]\Lambda[/itex] may be |N, in which case {Ua} would be countably infinite.

For (1) an intersection of finitely many open sets it open, whereas for (2) the union of any number of open sets is open.

What about the set

[tex]U_{n} = D\left(0;\frac{1}{n}\right) = \left[z \in \mathbb{C} | |z| = \frac{1}{n}\right][/tex]

and the intersection of an arbitrarily large number of such sets, that is

[tex]\bigcap_{n = 1}^{\infty}U_{n} = \left[0\right][/tex]

which reduces to the singleton closed set.

(PS--How does one indicate parentheses { and } around sets?)
 
Last edited:
  • #6
maverick280857 said:
What about the set

[tex]U_{n} = D\left(0;\frac{1}{n}\right) = \left[z \in \mathbb{C} | |z| = \frac{1}{n}\right][/tex]

and the intersection of an arbitrarily large number of such sets, that is

[tex]\bigcap_{n = 1}^{\infty}U_{n} = \left[0\right][/tex]

which reduces to the singleton closed set.

I'm not sure that I understand your question. This example is showing that the intersection of infinitely many sets is not open.

(PS--How does one indicate parentheses { and } around sets?)

When writing in tex use the commands \{ and \} to obtain { and } respectively.
 
  • #7
matt grime said:
Sorry. but how does the OP conclude that 1) does not have an indexing set but 2) does?

He doesn't. He should not have said that there is not indexing set. What he should have said was that the indexing set in 1) is {1, 2, 3, ..., n}, the set of positive integers less than or equal to n. His point is that that is given in the notation of the problem. In problem 2) the indexing set can be any set. Not only "infinite" but possibly "uncountable".
 
  • #8
HallsofIvy said:
He doesn't. He should not have said that there is not indexing set. What he should have said was that the indexing set in 1) is {1, 2, 3, ..., n}, the set of positive integers less than or equal to n. His point is that that is given in the notation of the problem. In problem 2) the indexing set can be any set. Not only "infinite" but possibly "uncountable".

Okay to make my query more explicit, I want to understand why an indexing set is invoked at all and why only in the second part.
 
  • #9
Because the proof for a finite collection of open sets is different from the proof for a infinite collection of sets. For a finite collection you could use proof by induction. Just show that the union of two open sets is open and induction does the rest for you. That's why you can prove that the intersection of a finite number of open sets is open but not the intersection of an infinite number of opens sets.
 
  • #10
Thank you all :smile:
 
  • #11
maverick280857 said:
Okay to make my query more explicit, I want to understand why an indexing set is invoked at all and why only in the second part.

An index set is invoked in the first one. It is the set {1,2,..,n}. Call that S. The following are identical

[tex]\cup_{s \in S}U_s[/tex]

and

[tex]\cup_{i=1}^n U_i[/tex]

However, the latter notation only works for a well ordered index set. i.e. the second one takes the FIRST set, intersects it with the SECOND, then the THIRD,... . Not all index sets need to be well ordered so there is no concept of doing things first, second or third.
 
  • #12
Thank you! I think I see what you mean now. And I see that a similar theorem holds for closed subsets of [itex]\mathbb{C}[/itex] with the intersection and union interchanged.
 

1. What are open sets in topology?

Open sets in topology are sets that contain all their boundary points, meaning that none of their points are on the edge of the set. In other words, every point in an open set has some space around it that is also contained within the set.

2. How do you determine if a set is open or closed?

A set is open if it contains all its boundary points and is closed if it contains all its limit points. In topology, a set can be both open and closed, or neither. It depends on the specific set and its boundary/limit points.

3. What are some examples of open sets?

Examples of open sets include the set of all real numbers, the interior of a circle, and the interior of a sphere. In general, any set that does not contain its boundary points is considered an open set.

4. What is the definition of an indexing set?

An indexing set is a set that is used to label or index the elements of another set. It is commonly used in mathematics, especially in set theory and topology, to organize and keep track of the elements of a set.

5. How are indexing sets used in the study of properties of open sets?

Indexing sets are often used to define and study properties of open sets, such as the Hausdorff property or the compactness property. They allow for a systematic way of labeling and organizing open sets, making it easier to analyze and understand their properties.

Similar threads

  • Calculus and Beyond Homework Help
Replies
20
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
861
  • Calculus and Beyond Homework Help
Replies
1
Views
252
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
4
Views
849
  • Calculus and Beyond Homework Help
Replies
3
Views
503
  • Calculus and Beyond Homework Help
Replies
8
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
728
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
Back
Top