Turn on thread page Beta
    • Thread Starter
    Offline

    3
    ReputationRep:
    Hey everyone.

    I'm starting this area of maths and I don't understand why the relation,  \in , is a linear/total order.

    How does this relation satisfy irreflexivity and trichotomy?

    Thanks.
    • PS Helper
    Offline

    14
    PS Helper
    I don't think it is a total order... what set are you working on? I mean, 3 \in \{ 3 \} and \{3 \} \in \{ \{ 3 \} \} but 3 \not \in \{ \{ 3 \} \}, so it's not transitive. I'll probably find out that I've misunderstood your question.
    • Thread Starter
    Offline

    3
    ReputationRep:
    (Original post by nuodai)
    I don't think it is a total order... what set are you working on? I mean, 3 \in \{ 3 \} and \{3 \} \in \{ \{ 3 \} \} but 3 \not \in \{ \{ 3 \} \}, so it's not transitive. I'll probably find out that I've misunderstood your question.
    Well it's dealing with ordinals I believe. It's a side-note in my notes; if x is an ordinal, then so is S(x).
    I'm not entirely sure what S(x) means, but I have written that  S(x) = x \cup \{x\} .

    I tried proving transitivity with: If  y \in x, x\in S(x) \Rightarrow y \in S(x)

    Thanks for the help, I'll rep afterwards.
    • PS Helper
    Offline

    14
    PS Helper
    (Original post by Shadow!)
    Well it's dealing with ordinals I believe. It's a side-note in my notes; if x is an ordinal, then so is S(x).
    I'm not entirely sure what S(x) means, but I have written that  S(x) = x \cup \{x\} .

    I tried proving transitivity with: If  y \in x, x\in S(x) \Rightarrow y \in S(x)
    Ah alright, this is out of my realm of knowledge I'm afraid (until early December-ish when I get round to studying ordinals, but you'll probably want an answer before then).
    • Thread Starter
    Offline

    3
    ReputationRep:
    (Original post by nuodai)
    Ah alright, this is out of my realm of knowledge I'm afraid (until early December-ish when I get round to studying ordinals, but you'll probably want an answer before then).
    Ah well thanks for the intention to help anyway!
 
 
 
Reply
Submit reply
Turn on thread page Beta
Updated: April 11, 2011
The home of Results and Clearing

2,790

people online now

1,567,000

students helped last year

University open days

  1. Bournemouth University
    Clearing Open Day Undergraduate
    Wed, 22 Aug '18
  2. University of Buckingham
    Postgraduate Open Evening Postgraduate
    Thu, 23 Aug '18
  3. University of Glasgow
    All Subjects Undergraduate
    Tue, 28 Aug '18
Poll
How are you feeling about GCSE results day?
Useful resources

Make your revision easier

Maths

Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

Equations

How to use LaTex

Writing equations the easy way

Student revising

Study habits of A* students

Top tips from students who have already aced their exams

Study Planner

Create your own Study Planner

Never miss a deadline again

Polling station sign

Thinking about a maths degree?

Chat with other maths applicants

Can you help? Study help unanswered threads

Groups associated with this forum:

View associated groups

The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.

Register Number: 04666380 (England and Wales), VAT No. 806 8067 22 Registered Office: International House, Queens Road, Brighton, BN1 3XE

Write a reply...
Reply
Hide
Reputation gems: You get these gems as you gain rep from other members for making good contributions and giving helpful advice.