| Time: | 3:30pm - 4:30 pm |
| Room: |
Wean Hall 8220
|
| Speaker: |
Garrett Ervin Department of Mathematical Sciences CMU |
| Title: |
Decomposing the real line into two everywhere isomorphic pieces
|
| Abstract: |
A dense linear order is said to be homogeneous if it is isomorphic to its restriction to any of its open intervals. The set of rationals ℚ is an example of a homogeneous order, as is the set of irrationals ℝ ∖ ℚ. In general, if X is a homogeneous suborder of the real line ℝ, then ℝ ∖ X is also homogeneous, and there are many examples where both X and ℝ ∖ X are of size continuum. However, it turns out that a homogeneous X can never be isomorphic to ℝ ∖ X. In fact, if ℝ = A ∪ B is any decomposition of ℝ into two disjoint pieces, there is an open interval I such that A restricted to I is not isomorphic to B restricted to I. We will prove this theorem and discuss some related results. |