Actually is it's the opposite.
A < x is a upper half-line
x < B is a lower half-line
A < x < B is a finite segment but we can always represent it as the intersection of two half-lines.
A < x
and x < B ⇔ A < x < B
In the same way, a union of finite segments can be represented with "or"
A < x < B
or C < x < D
So for something in the form:
0 <= A < | x + B | < C we have:
− C − B < x < − A − B
or A − B < x < C − B
But 0 <= A < | x + B| has the solution in the form of the union of two (disjoint) half-lines:
x < − A − B
or A − B < x
I don't know if this is a prank... (elpisis means I was drunk)
You contradict what you posted (mathematica) as an aswer.
rpenner
5th March 2009 - 07:38 PM
I'm only contradicting your use of and/or versus intersection/union. You got the connection backwards.
Beer w/Straw
5th March 2009 - 07:43 PM
QUOTE (rpenner+Mar 5 2009, 07:38 PM)
I'm only contradicting your use of and/or versus intersection/union. You got the connection backwards.
Your wrong.
BTW I never like linguistic use of mathematics, I can use a big upside down U instead.
Argyll
5th March 2009 - 07:56 PM
QUOTE (Beer w/Straw+Mar 5 2009, 07:43 PM)
Your wrong.
You're wrong

Sorry, I'll leave you two to your discussion
rpenner
5th March 2009 - 08:00 PM
http://en.wikipedia.org/wiki/Intersection_(set_theory)"x is an element of A ∩ B if and only if x is an element of A
and x is an element of B."
http://en.wikipedia.org/wiki/Logical_conjunction"The intersection used in set theory is defined in terms of a logical conjunction: x ∈ A ∩ B if and only if ( x ∈ A ) ∧ ( x ∈ B ). "
http://us.metamath.org/mpegif/elin.html"Expansion of membership in an intersection of two classes. Theorem 12 of [Suppes] p. 25.
⊢ (A ∈ (B ∩ C) ↔ (A ∈ B ⋀ A ∈ C)) "
----
http://en.wikipedia.org/wiki/Union_(set_theory)"Formally, x is an element of A ∪ B ∪ C if and only if x is in A
or x is in B
or x is in C."
http://en.wikipedia.org/wiki/Logical_disjunction"The union used in set theory is defined in terms of a logical disjunction: x ∈ A ∪ B if and only if ( x ∈ A ) ∨ ( x ∈ B ). "
http://us.metamath.org/mpegif/elun.html"Expansion of membership in class union. Theorem 12 of [Suppes] p. 25.
⊢ (A ∈ (B ∪ C) ↔ (A ∈ B ⋁ A ∈ C))"
Suppes, Patrick, Axiomatic Set Theory, Dover Publications, Inc., 1972 [QA248.S959].
Beer w/Straw
5th March 2009 - 08:10 PM
You contradicted you previous post which said 'or.' Don't go ballistic on my ***.
In fact this is stupid, mathematics is a language other than English.
http://72.3.253.76:8080/webMathematica3/qu...;1/4&variable=x
rpenner
5th March 2009 - 08:42 PM
QUOTE (Beer w/Straw+Mar 4 2009, 07:55 PM)
Would it be the "-13/4<x<-11/4 INTERSECTION x does not equal -3"?
Yes -- -13/4< x < -11/4 AND x != -3
CODE
<--- -7/2 --- -13/4 --- -3 --- -11/4 --- -5/2 --->
. **************** -13/4 < x < -11/4
************************* ************************ x != -3
. ******** ******* -13/4 < x < -11/4 AND x != -3
another way to write this is:
-13/4 < x < -3 OR -3 < x < -11/4
CODE
<--- -7/2 --- -13/4 --- -3 --- -11/4 --- -5/2 --->
. ******** -13/4 < x < -3
. ******* -3 < x < -11/4
. ******** ******* -13/4 < x < -3 OR -3 < x < -11/4
Beer w/Straw
5th March 2009 - 08:47 PM
Stop it.
Next time I'll ask more mathematical questions that I can't answer.
PhysOrg scientific forums are totally dedicated to science, physics, and technology. Besides topical forums such as nanotechnology, quantum physics, silicon and III-V technology, applied physics, materials, space and others, you can also join our news and publications discussions. We also provide an off-topic forum category. If you need specific help on a scientific problem or have a question related to physics or technology, visit the PhysOrg Forums. Here you’ll find experts from various fields online every day.
To quit out of "lo-fi" mode and return to the regular forums, please click
here.