(adsbygoogle = window.adsbygoogle || []).push({});

I'm reading a book and am stuck. Here's an excerpt:

(ByTheWay- this is an introduction to nonstandard analysis and we are defining an equivalence relation which we will use to construct the hyperreals from the rationals via Cauchy sequences (I think ))

"<" and ">" will enclose subscripts

"[" and "]" will enclose the English description of the symbol

BEGINNING OF EXCERPT

"Let r = (r<1>, r<2>, r<3>, ...) and s = (s<1>, s<2>, s<3>, ...) be real-valued sequences. We are going to say that r and s are equivalent if they agree at a "large" number of places, i.e., if their 'agreement set'

E<rs> = {n : r<n> = s<n>}

is large in some sense that is to be determined. Whatever "large" means, there are some properties we will want it to have:

1) N = {1, 2, 3, ...} must be large, in order to ensure that any sequence will be equivalent to itself.

2) Equivalence is to be a transitive relation, so if E<rs> and E<st> are large, then E<rt> must be large. Since E<rs> [intersection] E<st> [proper subset] E<rt>, this suggests the following requirement:

If A and B are large sets, and A [intersection] B [proper subset] C, then C is large.

In particular, this entails that if A and B are large, then so is their intersection A [intersection] B, while if A is large, then so is any of its supersets C [proper superset] A."

END OF EXCERPT

Where I'm stuck: "Since E<rs> [intersection] E<st> [proper subset] E<rt>"

I see that E<rt> can NOT be a proper subset of the intersection of E<rs> and E<st>. I see that the intersection of E<rs> and E<st> CAN be a proper subset of E<rt>, but I can't see why the intersection of E<rs> and E<st> MUST be a proper subset of E<rt>. Why can't they be equal?

(ByTheWayAgain the book is "Lectures on the Hyperreals" by Robert Goldblatt)

Many thanks for any help.

Rachel

I don't have a cool tag line

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Nonstandard Analysis

Loading...

Similar Threads for Nonstandard Analysis | Date |
---|---|

Can the existence of nonstandard hyperreal extensions be proved? | Feb 23, 2012 |

Sequences in nonstandard analysis(basic question) | Aug 18, 2009 |

Nonstandard integral | Feb 17, 2008 |

Nonstandard Analysis models using non-well-founded sets | Feb 13, 2008 |

Nonstandard Analysis | Oct 30, 2003 |

**Physics Forums - The Fusion of Science and Community**