Problem with null indexed family of subsets.

  • Thread starter inquire4more
  • Start date
  • Tags
    Subsets
In summary, the author is trying to understand an assertion he is not familiar with and has difficulty grasping. An explanation is requested, but the author doubts his own reasoning. It seems to him that the union of no sets is itself a set (the null set), but apparently this is not the case. DeMorgan's Law and the fact that for any proposition P, \forall x \in \varnothing: P(x) is true, and \exists x \in \varnothing: P(X) is false explain why the union of a collection of sets is the set
  • #1
inquire4more
45
0
I have been reviewing my set theory and topology and recently came across an assertion I was not familiar with, and frankly have trouble grasping. In words,
let I be a set (which is to serve as the set of indices), then for each [itex]\alpha \in I[/itex] let [itex]A_\alpha[/itex] be a subset of some set S. Now, assuming I to be the null set:

[tex]\cup_{\alpha \in \emptyset} A_\alpha = \emptyset[/tex]
[tex]\cap_{\alpha \in \emptyset} A_\alpha =[/tex] S.

If someone could explain this to me, I would be grateful (only moderately grateful, mind you, so don't get any ideas). Or perhaps, point out the flaw in my reasoning, which follows. It seems to me that the union of, perhaps non-existent, subsets indexed by the empty set would be the empty set. However, assuming I followed that correctly, it seems to me that the intersection of these subsets would also be empty, yet apparently this is not the case, as the above asserts it is in fact S. Maybe I'm just horribly lost.
 
Last edited:
Physics news on Phys.org
  • #2
To me, the idea that the union of no sets is itself a set (the null set) seems a little strange. However, if a union is, by definition, a set (regardless of what it is the union of), then we can see why this is the case. If a union of a collection of sets is the set which contains every element that occurs in one of your sets in the collection, then you can see why the union would be the null set. On the other hand, I might think that taking the union of nothing, or a collection of sets indexed by the empty set, should not even be considered well-defined. What is the sum of zero numbers? It certainly shouldn't be zero.

Anyways, if you accept that [itex]\cup _{\alpha \in \emptyset}A_{\alpha} = \emptyset[/itex] then consider the following:

[tex]S = \emptyset ^C = \left (\cup _{\alpha \in \emptyset}A_{\alpha}\right )^C = \cap _{\alpha \in \emptyset}A_{\alpha}^C\right = \cap _{\alpha \in \emptyset}A_{\alpha}[/tex]

The third equality follows from DeMorgan's Law. The fourth follows from the fact:

[tex](\forall \alpha \in \emptyset)(A_{\alpha} = A_{\alpha}^C)[/tex]
 
Last edited:
  • #3
What is the sum of zero numbers? It certainly shouldn't be zero.
Actually, under most circumstances, we do define it to be zero!
As for the original post, really you just need to work through the definition -- it all traces back to vacuous truth. For any proposition P, [itex]\forall x \in \varnothing: P(x)[/itex] is true, and [itex]\exists x \in \varnothing: P(X)[/itex] is false.
 
  • #4
You could put it that way, defining a union of some sets indexed by I by:

[tex](\forall x \in S)\left ((\exists \alpha \in I)(x \in A_{\alpha}) \Leftrightarrow x \in \bigcup _{\alpha \in I}A_{\alpha}\right )[/tex]

or

[tex]\bigcup _{\alpha \in I}A_{\alpha} = \{x \in S| (\exists \alpha \in I)(x \in A_{\alpha})\}[/tex]

and defining intersection by:

[tex](\forall x \in S)\left ((\forall \alpha \in I)(x \in A_{\alpha}) \Leftrightarrow x \in \bigcap _{\alpha \in I}A_{\alpha}\right )[/tex]

or

[tex]\bigcap _{\alpha \in I}A_{\alpha} = \{x \in S| (\forall \alpha \in I)(x \in A_{\alpha})\}[/tex]

EDIT: fixed as per Hurkyl's suggestion.
 
Last edited:
  • #5
AKG, Hurkyl, thanks both for your responses. They have given me several things to consider. I still have a few reservations/considerations.

AKG, yes, I should have seen that, assuming [itex]\cup_{\alpha \in \emptyset} A_\alpha = \emptyset[/itex] to be true, [itex]\cap_{\alpha \in \emptyset} A_\alpha = S[/itex] would follow by DeMorgan's Law. I feel like something of an idiot for missing that before posting. Thanks for pointing that out. Though the union being empty does make sense to me, I'm going to keep searching for some proper justification for this, I simply do not trust my own reasoning here, I may be making assumptions regarding the empty set and unions.

Hurkyl, I have two questions for you, if you do not mind. Firstly, as we are not dealing with elements of the empty set, but rather subsets indexed by elements of the empty set ([itex]A_\alpha[/itex] rather than [itex]\alpha[/itex] itself) does this change the validity of your statement regarding the vacuous truth? Secondly, assuming that it does not change, and all properties follow, may I then assert that [itex]\cap_{\alpha \in \emptyset} A_\alpha = \emptyset[/itex] and use DeMorgan's Law to arrive at [itex]\cup_{\alpha \in \emptyset} A_\alpha = S[/itex]?

Let me know, either of you, what you think.
 
Last edited:
  • #6
My claim is that when you write out the definition given in your book, it will involve phrases like [itex]\forall \alpha \in \emptyset: P(\alpha)[/itex], or equivalently, something like [itex]\forall \alpha: \alpha \in \emptyset \implies P(\alpha)[/itex]. (This is also vacuous truth: recall that [False==>True]=True)

If your book doesn't have a formal definition, then you'll have to get one from someplace. AKG's looks good to me, except that he should have [itex]\{ x \in S | \cdots[/itex] instead of [itex]\{ x | \cdots[/itex], since these unions and intersections are presumably supposed to be living inside your space. (In the set theoretic case, the empty intersection isn't a set: it's the class of all sets)

By the way, an indexed family of things is just a fancy way of speaking about functions: A is simply a map from I to Set.
 
Last edited:
  • #7
inquire4more said:
AKG, yes, I should have seen that, assuming [itex]\cup_{\alpha \in \emptyset} A_\alpha = \emptyset[/itex] to be true, [itex]\cap_{\alpha \in \emptyset} A_\alpha = S[/itex] would follow by DeMorgan's Law. I feel like something of an idiot for missing that before posting. Thanks for pointing that out. Though the union being empty does make sense to me, I'm going to keep searching for some proper justification for this, I simply do not trust my own reasoning here, I may be making assumptions regarding the empty set and unions.
Do you know why it follows from DeMorgan's Law? Like I pointed out, one of the equalities in my proof used DeMorgan's Law, another used the "vacuous truth":

[tex](\forall \alpha \in \emptyset)(A_{\alpha} = A_{\alpha}^C)[/tex]

I could have put any sentence in the second brackets, and the above sentence would be true, which makes it vacuous.
Firstly, as we are not dealing with elements of the empty set, but rather subsets indexed by elements of the empty set ([itex]A_\alpha[/itex] rather than [itex]\alpha[/itex] itself) does this change the validity of your statement regarding the vacuous truth?
Why would it? A sentence about the set indexed by [itex]\alpha[/itex] is still a sentence about [itex]\alpha[/itex], i.e. it can still be formalized in the form [itex]P(\alpha )[/itex].
Secondly, assuming that it does not change, and all properties follow, may I then assert that [itex]\cap_{\alpha \in \emptyset} A_\alpha = \emptyset[/itex] and use DeMorgan's Law to arrive at [itex]\cup_{\alpha \in \emptyset} A_\alpha = S[/itex]?
Go back to the definitions of union and intersection. I believe the ones I gave in my previous post are suitable definitions. By these definitions, you will find that you cannot just assert that the intersection is 0. In fact, you will be able to derive that the union is 0 and the intersection is S directly from the definitions, you don't need to derive one fact from the other like I did.
 
  • #8
Ok, you'll have to forgive my stubbornness or stupidity, I'm just having trouble with the idea of sets indexed by the empty set. I continue to go over the definitions, but to little avail. Proceeding simply from the definitions,

[tex]\bigcup _{\alpha \in I}A_{\alpha} = \{x \in S| (\exists \alpha \in I)(x \in A_{\alpha})\}[/tex]

does indeed make sense to me. Allowing [itex]\alpha \in \emptyset[/itex] seems to imply that [itex]\nexists x \in S[/itex] s.t. [itex]x \in A_\alpha[/itex] for some [itex]\alpha[/itex]. And yet, looking again at the definition of intersection,

[tex]\bigcap _{\alpha \in I}A_{\alpha} = \{x \in S| (\forall \alpha \in I)(x \in A_{\alpha})\}[/tex]

seems to imply that [itex]\forall x \in S, x \in A_\alpha[/itex] for all [itex]\alpha[/itex]. If in fact, the interestion is [itex]S[/itex].

It seems like something of a contradiction to me, even after considering the definitions. I apologize if this conversation makes you feel as though you are beating your head against a wall. :redface:
 
Last edited:
  • #9
inquire4more said:
seems to imply that [itex]\forall x \in S, x \in A_\alpha[/itex] for all [itex]\alpha[/itex]
Yes, exactly. For all x in S, x is in Aα for all α in ø. This is true vacuously.
 
  • #10
Alright then, so as to clarify the situation, and thereby muddle my understanding, according to the definition of union, no x in S are elements of any A? And according to the definition of intersection, all x in S are elements of every A?

No x in S are elements of any A, according to [itex]\cup_{\alpha \in \emptyset} A_\alpha = \emptyset[/itex].
All x in S are elements of every A, according to [itex]\cap_{\alpha \in \emptyset} A_\alpha = S[/itex].

Does this not strike you as just a tad bit contradictory?

Frustration does not begin to describe my feeling at the moment.
 
  • #11
inquire4more said:
Alright then, so as to clarify the situation, and thereby muddle my understanding, according to the definition of union, no x in S are elements of any A? And according to the definition of intersection, all x in S are elements of every A?
No x in S are elements of any A, according to [itex]\cup_{\alpha \in \emptyset} A_\alpha = \emptyset[/itex].
All x in S are elements of every A, according to [itex]\cap_{\alpha \in \emptyset} A_\alpha = S[/itex].
Does this not strike you as just a tad bit contradictory?
No, it's not contradictory. It seems contradictory because it seems to say, x is in every A but it is not in any A. Both these statements are true, they don't contradict each other. But they are true in a strange way. x is in every A, since there are no A to speak of. x is not in any A, because there are no A to speak of. For all A, x is not in A, and for all A, x is in A. So for all A, x is in A and is not in A. This would be contradictory ONLY IF there were some A. What we're really saying is not just "for all A" but "for all A in {Aa}a in {}" which is to say, "for all A in {}". Clearly, there are no A in {}, so the following is true:

[tex](\forall A \in \emptyset )(x \in A \wedge x \notin A)[/tex]

It may be easier to believe if you interpret the above as:

[tex](A \in \emptyset )\ \Rightarrow \ (x \in A \wedge x \notin A)[/tex]

You know that if the antecedent is false, then the whole conditional is true (even if the consequent is false), and the antecedent of this sentence is ALWAYS false (nothing is ever in {}).

In general, a sentence of the form:

[tex](\forall v_1 \in \emptyset )(P)[/tex]

is always true regardless of what P is. Sentences of the form:

[tex](\exists v_1 \in \emptyset )(P)[/tex]

are always false regardless of what P is.
 
Last edited:
  • #12
AKG, gotcha. As the subsets we speak of are nonexistent all things may follow, the vacuous truth. That part I understand, I believe. The problem this presents for me then is that it seems I could assert, as I stated above, that:

[tex]\cap _{\alpha \in \emptyset} A_\alpha = \emptyset[/tex]
[tex]\cup _{\alpha \in \emptyset} A_\alpha = S[/tex]

assuming of course that all may follow from premises involving the empty set. And if this IS the case (and I do not insist that it is, it merely seems to me), then it seems the above would be just as true as the initial assertions:

[tex]\cup _{\alpha \in \emptyset} A_\alpha = \emptyset[/tex]
[tex]\cap _{\alpha \in \emptyset} A_\alpha = S[/tex],

and then I wonder at the point of including this, or any statement regarding the empty set. Not to be a bother (I'm afraid I've already been that, harping on this point), but are these two sets of assertions equally valid, given the involvement, as a set of indices, of the empty set?

Thanks
 
  • #13
AKG, my apologies, I believe I was typing my response as you were editing yours, so that my last post was ill placed. Once edited, so as to include

[tex](\exists v_1 \in \emptyset )(P)[/tex]

as false, your point, and the truth of the initial statements, immediately became clear. I am contented and grateful to you for the explanation of what must have seemed to you to be a very basic point. Thank you so much.
 
  • #14
For what it's worth, and if anybody cares, I yesterday found my Munkres' topology text, and he had something interesting to say, somewhat justifying my initial dissatisfaction with the definition of the empty intersection. Regarding [itex]\cap_{A \in \alpha} A = X[/itex] for [itex]\alpha = \emptyset[/itex], Munkres states [p. 8]:

---
On the other hand, every x satisfies (vacuously) the defining property for
the intersection of the elements of [itex]\alpha[/itex]. The question is,
every x in what set? If one has a given large set X that is specified at the
outset of the discussion to be one's "universe of discourse," and one
considers only subsets of X throughout, it is reasonable to let

[tex]\cap_{A \in \alpha} A = X[/tex]

when [itex]\alpha[/itex] is empty. Not all mathematicians follow this
convention, however. To avoid difficulty, we shall not define the
intersection when
[itex]\alpha[/itex] is empty.

Munkres, James R. Topology: A First Course. Englewood Cliffs, NJ:
Prentice Hall, 1975.
---

His italicized emphasis, not mine. Just food for thought.
 
Last edited:

FAQ: Problem with null indexed family of subsets.

What is a null indexed family of subsets?

A null indexed family of subsets is a collection of sets that are indexed by the natural numbers, starting from 0. This means that each element in the collection is associated with a unique natural number, and this number is used to label or identify the element. The term "null indexed" refers to the fact that the indexing starts at 0 instead of 1.

What is the problem with null indexed families of subsets?

The main problem with null indexed families of subsets is that they can lead to confusion and errors when working with them. This is because the indexing starts at 0, which goes against our natural understanding of counting and indexing. This can make it difficult to keep track of the elements and their corresponding indices, and can result in mistakes when performing operations on the subsets.

How does the problem with null indexed families of subsets affect scientific research?

The problem with null indexed families of subsets can have a significant impact on scientific research, particularly in fields that heavily rely on data analysis and statistics. This is because the incorrect use of indices can lead to errors in data interpretation and analysis, which can ultimately affect the validity and reliability of research findings.

Are there any ways to overcome the problem with null indexed families of subsets?

Yes, there are some strategies that can be used to overcome the problem with null indexed families of subsets. One approach is to clearly label and organize the subsets with their corresponding indices, and to double check all operations and calculations involving the subsets. Another solution is to use a different indexing system, such as starting from 1 or using letters instead of numbers, to avoid confusion and errors.

Is it common for scientists to encounter this problem with null indexed families of subsets?

Yes, it is a common issue that scientists may encounter when working with data sets or conducting experiments. However, with proper awareness and attention to detail, this problem can be avoided or minimized. It is important for scientists to be mindful of the indexing system they are using and to double check their work to ensure the accuracy and reliability of their research findings.

Similar threads

Replies
6
Views
1K
Replies
1
Views
1K
Replies
2
Views
1K
Replies
1
Views
1K
Replies
1
Views
2K
Replies
8
Views
783
Back
Top