Quick set builder notation question

Click For Summary

Discussion Overview

The discussion revolves around the use of set builder notation, specifically the differences and equivalences among various expressions representing the same set. Participants explore the implications of using logical versus set-theoretic symbols and the potential for ambiguity in interpretation.

Discussion Character

  • Debate/contested
  • Technical explanation

Main Points Raised

  • One participant notes the variety in set builder notation and questions if there is a standard form.
  • Another participant distinguishes between the first and second expressions, expressing a dislike for the third, which they claim to have never seen before.
  • A different participant asserts that the first and third expressions are equivalent, explaining the difference between using "or" and "U" as logical and set-theoretic symbols, respectively.
  • Another participant acknowledges a slight technical difference between the first and third expressions but reiterates their equivalence, highlighting the direct definition in the first expression versus the union of sets in the third.
  • One participant suggests that the interpretation of "or" can vary, proposing a preference for the third expression due to potential ambiguity.
  • Another participant emphasizes that the principle of set union applies, stating that both the first and third expressions are standard and necessary, and that both logical and set-theoretic symbols serve their purposes in different contexts.

Areas of Agreement / Disagreement

Participants express differing opinions on the correctness and preference of the various expressions. While some agree on the equivalence of the first and third expressions, others highlight the nuances in their definitions and contexts, indicating that no consensus is reached regarding a single "correct" form.

Contextual Notes

There are unresolved assumptions regarding the definitions of logical terms and the context in which different symbols are used, which may affect participants' interpretations of the expressions.

EProph
Messages
13
Reaction score
0
I've seen a lot of variety in the way different books/people use set builder notation. Is their any "standard"?

For example, I've seen:
{x | x < -2 or x > 2 }
And somtimes:
{x | x < -2 U x > 2 }
And also:
{x | x < -2 } U {x | x > 2}

Is anyone of these more "correct" than the others?
Thanks,
-EP
 
Physics news on Phys.org
There's a clear difference between the first & the second...I don't like the third,i've neve seen it b4.

Daniel.
 
The first and third expressions are equivalent. The word "or" is a logic term, while the "U" is the set theoretic analog. The second expression doesn't look right to me. I believe it should have a "V", which is the logic symbol for "or".
 
There is a slight technical difference between the first and third expression, although they are equivalent. In the first expression the set in question is defined directly. In the third expression, it is the union of two smaller sets.
 
Thanks, this makes sense. I see the diffence now. 1 and 3 both result in the same set, but they build it in different ways.

-EP
 
Actually it depends how you define the word or, when said out loud it can mean what we use mathematically as XOR, so I would tend towards using the 3rd.
 
it is absic principle that the set of elements such that either A or B is true, is the union of the set such that A is true, with thes et such that B is true.
\
So the first and third expressions are both standard and necessary, and it is a trivial theorem, that they are the same set.

but the symbol V for or is a logical symbol, whiler the symbol U is a set theoretic symbol, hence are used in different contexts, and probably no one would advocate discarding one in favor of the other. they are both useful.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
6K
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 21 ·
Replies
21
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
1
Views
2K