Results 1 to 4 of 4
Like Tree2Thanks
  • 1 Post By Plato
  • 1 Post By emakarov

Math Help - union and intersection of family sets

  1. #1
    Newbie
    Joined
    Mar 2012
    From
    Iran
    Posts
    2

    Solved! union and intersection of family sets

    Hi there

    I'm new here, but I guess I'm going to ask many questions in the future. I'm trying to study mathematics on my own, but I need some help to make sure I'm understanding the concepts correctly...

    Anyways, here is my first problem. I'm reading some book and it is mentioned:

    The concepts of union and intersection extend readily to large, possibly infinite, collections of sets. Suppose that "I" is some nonempty set (called an index set) and that for each i ∈ I we are given a set Ai ... The union of this family of sets (denoted ) is the set of elements that are in at least one of the sets Ai, that is:

    = {x|x ∈ Aj for some j ∈ I}

    Where did the "j" come from???

    I'm new to this kind of writing algebra and I guess my problem may be that I don't understand the "notation" perfectly. I mean, it's a bit vague. I think it is saying:

    The union of this family of sets is equal to all the x members which belong to Aj and this "j" belongs to the set "I".

    Now I don't understand; does this mean "the set of elements that are in at least one of the sets Ai"? And if yes, then what's the role of "j"? Where is the "at least" written?

    I'll highly appreciate if you give me some general info about the union and intersection of such a family of sets and the way the notation is supposed to be read. I can't establish a connection from the notation to the book's statement in my mind.

    This question may not belong here, but when I was searching the forum to find out if someone has asked the same question before, I noticed that almost all questions about sets are asked here.

    Thanks a lot
    Kindest Regards
    Koohyar
    Last edited by Koohyar; March 26th 2012 at 02:03 PM. Reason: Solved!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,820
    Thanks
    1711
    Awards
    1

    Re: union and intersection of family sets

    The union of a family of sets is a set to which x belongs if and only if x is in some member of that family.

    The intersection of a family of sets is a set to which x belongs if and only if x is in every member of that family.
    Thanks from Koohyar
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,551
    Thanks
    783

    Re: union and intersection of family sets

    A mathematical expression may contain variables. In general, the value of such expression can be determined only after all variables are given their concrete values. For example, to compute x + 2y one needs to provide the values of x and y. Similarly, given a sequence a_1=5, a_2=4, a_3=3, a_4=2 and a_5=1, to find the value of a_i one needs to know the value of i. Variables whose values determine an expression's value are called free.

    However, not all variables in an expression are free. Mathematics uses several so-called variable-binding constructs that turn free variables into bound ones, i.e., make variables cease to be free. For example, given the sequence a_i above, \sum_{i=1}^5 a_i=15; the value of i is not needed. Bound variables can be renamed without changing the value of an expression; thus, \sum_{i=1}^5 a_i=\sum_{j=1}^5 a_j. In other words, the variable i is no longer visible from outside of the expression \sum_{i=1}^5 a_i; it only serves to provide internal structure of the expression and is not the expression's input. Examples of other variable-binding constructs are \int_0^1 x^2\,dx, \bigcup_{i\in I}A_i, \bigcap_{i\in I}A_i and \{x\mid x^2+4x-2\le 0\}.

    Two important variable-binding constructs are quantifiers ∀ and ∃. If P is a property, or predicate, (e.g., "is positive"), then ∀x P(x) is true if P(x) holds for all x and is false otherwise. Similarly, ∃x P(x) is true iff P(x) is true for at least some x. Again, given a concrete P, the expressions ∀x P(x) and ∃x P(x) have fixed truth values and don't need x in order to be evaluated.

    The set-builder notation {x | P(x)} contains a predicate P that has one free variable x. However, P may also contain bound variables. In the case of \{x\mid x\in A_j\text{ for some }j\in I\}, P(x) is \exists j\,(j\in I\text{ and }x\in A_j). Thus, P(x) has a concrete truth value for each value of x: P(x) is true if there is some j ∈ I such that x\in A_i. To evaluate \bigcup_{i\in I}A_i, one takes all x for which P(x) is true and collects them into one set.
    Thanks from Koohyar
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Mar 2012
    From
    Iran
    Posts
    2

    Re: union and intersection of family sets

    Thanks a lot!

    I didn't expect such fast and detailed answers in such a short time. You helped me a lot. My eyes are now open on the subject.

    Thanks again.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Countable Union/Intersection of Open/Closed sets
    Posted in the Differential Geometry Forum
    Replies: 8
    Last Post: November 4th 2010, 02:11 PM
  2. A proof for the union of a family of sets..
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: October 20th 2010, 08:38 PM
  3. Replies: 20
    Last Post: October 15th 2008, 10:30 AM
  4. Intersection, Union, and Compliment of sets
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: October 7th 2008, 09:34 AM
  5. Union of directed family of subgroups is a group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: September 1st 2008, 11:45 AM

Search Tags


/mathhelpforum @mathhelpforum