A Nonmetric Indecomposable Homogeneous Continuum Every Proper Subcontinuum of which is an ARC
We construct a nonmetric indecomposable homogeneous continuum with the property that each of its proper subcontinua is an arc.In [5] the second author showed that in the metric case, homogeneous indecomposable continua having only arcs as proper subcontinua are solenoids.In [4] the first author defined a continuum that is indecomposable, nonmetrizable, having only arcs for proper subcontinua.Here we show that this continuum is homogeneous.This answers a question that the first author asked at the Warsaw Geometric Topology Conference in 1978.Let us start by redefining the example.Let S = {elt: t is a real number and i s= v7-1} denote the unit circle in the complex plane.If a = etr and b b= ets, then [a, b) denotes the set {c G S : c = elt and r < t < s}, and (a, b] = ([a, b)u{b})\{a).Let P = Sx{0,l} and let the topology on D be defined by pairs of half-open intervals [a, b) X {1} U (a, b] X {0}, where a, b G S. The space D is sometimes called the double arrow space.Let f:D - D be a homeomorphism defined by f(elt,j) = (elt+l,j).The quotient space K obtained from the space D X [0,1] by identification of points (d, 0) with (f(d), 1), for each d G D, is, as shown in [4], an indecomposable continuum.The same result can be obtained using theorems proved in [3].Let qf be the quotient map from V X [0,1] onto K.We will show that every proper subcontinuum of K is an arc.This argument also will give us another proof that K is indecomposable.Let M be a properbe an open set in K\M such that 0 < u < v < 1 and for some point q(p,r) of M, p does not belong to [a,b] X {0,1}.Assume without loss of generality that p G S X {1}.Let m be the smallest positive integer such that fm(p) G [a, b) X {!}-Let n be the smallest positive integer such that f~n(p) G [a, b) X {1}.Let L be the arc 1f({f-n(p)}X[0,u} U (J {{/fc(p)} X [0,1] : k == -n + 1,..., m -1} U {fm(p)} X [v, 1]) in K\U from qf(f~n(p),u) to qf(fm(p),v).Next we show that M is a subarc of L. To accomplish this let z be a point of K\(L U U).There is a closed-open set D in D such that p G D and f~n(D) (J
Read more