in Set Theory & Algebra edited by
640 views
0 votes
0 votes
Let Q denote the set of rational numbers and S = {x | x belongs N ; N; x>=10}

Consider the Following POSETs

I. (Q ∩ [0, 1], ≤)

II. (S, ≤)

Which of the above POSETs are well ordered?
in Set Theory & Algebra edited by
640 views

1 comment

Both, right ?
0
0

1 Answer

2 votes
2 votes
Best answer

Only option B should be True not First Why ???

A well ordered set is a total ordered set in which every finite subset has a least element.

Now (Q ∩ [0, 1], ≤) will eventually give ([0,1],<=) wouldn't it ?

Now [0,1] basically contains a subset (0,1) which doesn't have least element , because here if you choose any number then i can always give you a smaller number than that.

selected by
by

12 Comments

@Shaik Masthan brother please Verify it ?

0
0
got it
thank you so much :)
0
0
that is closed interval, right ?
1
1

Finite sets which are Totally ordered sets are well ordered

0
0

@Na462

still you didn't reply to my comment, then what is the use of pinging me ?

0
0

@Shaik Masthan

That is closed interval I agree 

but by definition : Finite sets which are Totally ordered sets are well ordered

now Q denotes the set of rational numbers

now Q $\cap [0,1]$ <=

there's infinite numbers between 0 to 1 isn't ??

therefore it's not a finite set 

i:e 3.22 <= 3.23

3.23<= 3.24......goes on !!

0
0
between intersection operator, then 0 must be least number, right ?
0
0
Yeah there should exist a least number

And it's a   total order finite  set

If those Two conditions where satisfied

Then it's well - ordered
0
0
so, what you can conclude about this question ?
0
0
It's somewhat complex

That's why I'm leaving for now :p

Waiting for someone who properly explain
0
0
edited by

Sorry for late reply brother i was out.

In total ordered set we look for the whole set as well as all the subsets so cant i say (0,1) is a subset of [0,1] for which there is no least element ?

Its important to see for whole set and every finite subset of it :

https://en.wikipedia.org/wiki/Well-order

0
0
ok
0
0

Related questions