Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Topic: Transitive
Replies: 4   Last Post: Apr 27, 2014 5:15 AM

 Messages: [ Previous | Next ]
 David C. Ullrich Posts: 3,555 Registered: 12/13/04
Re: Transitive
Posted: Apr 26, 2014 2:24 PM

On Sat, 26 Apr 2014 02:09:36 -0700, William Elliot <marsh@panix.com>
wrote:

>On Sat, 26 Apr 2014, quasi wrote:
>> William Elliot wrote:
>
>> >If A is a set, T a transitive set and A in T, is A transitive?
>> Not necessarily.
>
>> Let x be an atom.
>> Let T = {x,{x},{{x}}} and let A = {{x}}.
>> Then T is transitive, and A is in T, but A is not transitive.

>
>Let x be the empty set. A isn't transitive. If y in A, then
>y = {x} and y isn't a subset of A, because x in y but x not in A.
>
>So the answer is not always.
>
>Ordinals are hereditarily transitive.
>Are there other hereditarily transitve sets?

http://en.wikipedia.org/wiki/Transitive_set

>
>An hereditarily transitive set is a set for which every element
>is an hereditarily transitive set.

Not quite...

> Is there a formal definition?

http://en.wikipedia.org/wiki/Transitive_set

>
>An hereditary set is a set for which every element
>is an hereditary set. Is there a formal definition?

Date Subject Author
4/26/14 William Elliot
4/26/14 quasi
4/26/14 William Elliot
4/26/14 David C. Ullrich
4/27/14 William Elliot