Results 1 to 9 of 9

Math Help - union/intersection

  1. #1
    Super Member
    Joined
    Feb 2008
    Posts
    535

    union/intersection

    Show that if A and B are distinct points, then the intersection of (ray(AB) and ray(BA)) = lineSegment(AB).

    Show that if A and B are distinct points, then the union of (ray(AB) and ray(BA)) = the whole line (AB).

    Can someone show these proofs. Thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    14,973
    Thanks
    1121
    what are the definitions of "ray" "segment", "line" as well as "intersection" and "union"?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,417
    Thanks
    718
    I see only one reason for proving statements that are generally clear to preschool children, and that is to justify the statements in a very specific way, according to carefully chosen definitions and laws of reasoning. This is what a quote by Bertrand Russell from this thread talks about.
    The most obvious and easy things in mathematics are not those that come logically at the beginning; they are things that, from the point of view of logical deduction, come somewhere the in middle. Just as the easiest bodies to see are those that are neither very near nor very far, neither very small nor very great, so the easiest conceptions to grasp are those that are neither very complex nor very simple (using "simple" in a logical sense). And as we need two sorts of instruments, the telescope and the microscope, for the enlargement of our visual powers, so we need two sorts of instruments for the enlargement of our logical powers, one to take us forward to the higher mathematics, the other to take us backward to the logical foundations of the things that we are inclined to take for granted in mathematics.
    So, to bring people on the same page, you need to describe what type of microscope and other instruments you are using.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member TheChaz's Avatar
    Joined
    Nov 2010
    From
    Northwest Arkansas
    Posts
    600
    Thanks
    2
    Mostly out of curiosity, I've tried to formalize the notion of "ray":

    Given distinct points A, B, we denote ray(AB) by
    \underset{AB}{\rightarrow}
    :=\begin{Bmatrix}<br />
A + T(B - A): 0 \leq T<br />
\end{Bmatrix}
    Similarly, we could arrive at segment AB by restricting T \leq 1 and a line would result from T ranging across the reals.

    Not that these will necessarily have anything to do with the OP's definitions... just wondering what you guys think about these proposed definitions!
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,391
    Thanks
    1476
    Awards
    1
    Quote Originally Posted by TheChaz View Post
    Mostly out of curiosity, I've tried to formalize the notion of "ray":
    Actually in axiomatic geometry (synthetic) we begin with a line segment \overline{AB}=\{X:X=A,~X=B\text{ or }A-X-B\}.
    Then proceed to define a ray \overrightarrow {AB} = \overline{AB}\cup\{X:A-B-X\} .
    That why Prof. Halls asked for definitions. If they are somewhat standard, as the one I gave then this a trivial question.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Super Member TheChaz's Avatar
    Joined
    Nov 2010
    From
    Northwest Arkansas
    Posts
    600
    Thanks
    2
    I am certainly in agreement that some semantic standards be met before proceeding.
    In your example, what is "A - X - B"? If it reads "X is between A and B", then how to we define betweenness?
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,391
    Thanks
    1476
    Awards
    1
    Quote Originally Posted by TheChaz View Post
    I am certainly in agreement that some semantic standards be met before proceeding. In your example, what is "A - X - B"? If it reads "X is between A and B", then how to we define betweenness?
    Betweenness is not defined.
    In the Hilbert/Moore axiom system the undefined terms are: point, line, lie on, between,& congruent..
    There are no numbers as such in synthetic geometry.

    Now Ed Moise was one of Moore's PhD students. In his book he does introduce a Ruler Postulate by which he defines between in terms of coordinates. I found that this works best with undergraduates , participially mathed majors.
    Last edited by Plato; March 8th 2011 at 08:01 AM.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Super Member
    Joined
    Feb 2008
    Posts
    535
    Plato is correct about the definiton of ray that we are using. And betweenness has been defined. So, can anyone show the proof?
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,391
    Thanks
    1476
    Awards
    1
    These two are very straightforward.
    Look at the definitions.
    \overrightarrow {AB}  = \overline {AB}  \cup \left\{ {X:A - B - X} \right\} and and \overrightarrow {BA}  = \overline {BA}  \cup \left\{ {X:B -A- X} \right\}

    You know that \overline{AB}=\overline{BA}.
    If X-A-B then X\notin\overrightarrow {AB}.

    Now you do something with \overrightarrow {AB}\cup\overrightarrow {BA} and \overrightarrow {AB}\cap\overrightarrow {BA}.
    Show us what you do.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. intersection of union
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: September 13th 2009, 02:25 AM
  2. intersection and union...
    Posted in the Statistics Forum
    Replies: 2
    Last Post: August 31st 2009, 07:43 PM
  3. Union & Intersection
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: July 16th 2009, 06:54 AM
  4. Union (u) and Intersection (n)
    Posted in the Algebra Forum
    Replies: 6
    Last Post: January 17th 2009, 06:39 AM
  5. intersection and union
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 8th 2007, 04:24 PM

Search Tags


/mathhelpforum @mathhelpforum