• Support PF! Buy your school textbooks, materials and every day products Here!

Topology and order type problem

  • Thread starter g1990
  • Start date
  • #1
36
0

Homework Statement


Both {1,2}x Z+ and Z+ x {1,2} are well-ordered in the dictionary order. Are they of the same order type? Why or why not?


Homework Equations


To be of the same order type, we must be able to construct a bijection that preserves order, that is, x<y => f(x)<f(y). well-ordered means that every nonempty subset has a minimal element.


The Attempt at a Solution


I know I need to find a bijection between the two, but I can't seem to think of one. I can get a bijection from Z+ x {1,2} to Z+, but I can't find one from the other one to Z+
 

Answers and Replies

  • #2
36
0


oh yeah- Z+ is the set of positive integers
 
  • #3
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19


I know I need to find a bijection between the two,
Are you sure?
 
  • #4
36
0


well, I don't know how I can prove that there is no bijection. Again, I know I can find a bijection from Z+ to {1,2}xZ+, but listing the other set in order would entail TWO infinities. It would be (1,1),(1,2),(1,3)... (2,1),(2,2),(2,3)... is that enough to say that Z+ x {1,2} cannot be bijected into Z+ and therefore there is no bijection between them?
 
  • #5
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19


That's the basic idea.

However, given that you're just learning this stuff, your teacher probably expects you to both provide the basic idea and fill in the details to turn it into a proof.

e.g. why would having "two infinities" make a difference? Are you sure Z+ doesn't have "two infinities"?
 
  • #6
36
0


okay- thanks!!
 
  • #7
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19


Oh, and for the record -- you want the term "order isomorphism", not "bijection". While every order isomorphism is a bijection, not all bijections are order isomorphisms.
 

Related Threads on Topology and order type problem

  • Last Post
Replies
7
Views
827
Replies
3
Views
3K
  • Last Post
Replies
12
Views
3K
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
1
Views
945
Replies
2
Views
1K
Replies
1
Views
1K
  • Last Post
Replies
6
Views
1K
  • Last Post
Replies
11
Views
1K
Top